English
Related papers

Related papers: The Barwise-Schlipf Theorem

200 papers

Current continuous generative models (e.g., Diffusion Models, Flow Matching) implicitly assume that locally consistent causal mechanisms naturally yield globally coherent counterfactuals. In this paper, we prove that this assumption fails…

Machine Learning · Computer Science 2026-03-19 Rui Wu , Hong Xie , Yongjun Li

We prove the following version of the first incompleteness theorem that simultaneously strengthens Mostowski's theorem and Vaught's theorem: For any c.e. family $\{ T_i \}_{i \in \omega}$ of consistent extensions of Tarski, Mostowski and…

Logic · Mathematics 2023-08-15 Taishi Kurahashi

This paper revisits the work of Rauch et al. (1965) and develops a novel method for recursive maximum likelihood particle filtering for general state-space models. The new method is based on statistical analysis of incomplete observations…

Methodology · Statistics 2022-11-10 Budhi Arta Surya

The Sand Pile Model (SPM) and its generalization, the Ice Pile Model (IPM), originate from physics and have various applications in the description of the evolution of granular systems. In this article, we deal with the enumeration and the…

Combinatorics · Mathematics 2015-11-19 Wenjie Fang , Roberto Mantaci

The requirement of ${\cal N}=1$ supersymmetry for M-theory backgrounds of the form of a warped product ${\cal M}\times_{w}X$, where $X$ is an eight-manifold and ${\cal M}$ is three-dimensional Minkowski or AdS space, implies the existence…

High Energy Physics - Theory · Physics 2009-11-11 Dimitrios Tsimpis

There has been significant progress in Bayesian inference based on sparsity-inducing (e.g., spike-and-slab and horseshoe-type) priors for high-dimensional regression models. The resulting posteriors, however, in general do not possess…

Econometrics · Economics 2025-12-11 Qihui Chen , Zheng Fang , Ruixuan Liu

We settle a conjecture by Bik and Marigliano stating that the degree of a one-dimensional discrete model with rational maximum likelihood estimator is bounded above by a linear function in the size of its support, therefore showing that…

Statistics Theory · Mathematics 2026-03-04 Carlos Améndola , Viet Duc Nguyen , Janike Oldekop

Regression analysis based on many covariates is becoming increasingly common. However, when the number of covariates $p$ is of the same order as the number of observations $n$, maximum likelihood regression becomes unreliable due to…

Methodology · Statistics 2023-09-06 Emanuele Massa , Marianne Jonker , Kit Roes , Anthony Coolen

We prove that the Yangian associated to an untwisted symmetric affine Kac-Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed by the authors in arXiv:1407.7994 as an algebraic formalism of…

Representation Theory · Mathematics 2018-04-13 Yaping Yang , Gufang Zhao

We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…

Logic · Mathematics 2013-12-25 Saharon Shelah

Let $(M, g)$ be a real analytic Kaehler manifold. We say that a smooth map $E_p:W\to M$ from a neighborhood $W$ of the origin of $T_pM$ into $M$ is a {\em diastatic exponential} at $p$ if it satisfies $$(d \E_p)_0=\id_{T_pM},$$ $$D_p(\E_p…

Symplectic Geometry · Mathematics 2019-08-27 Andrea Loi , Roberto Mossa

We prove the uniqueness of the martingale problem associated to some degenerate operators. The key point is to exploit the strong parallel between the new technique introduced by Bass and Perkins (From Probability to Geometry, vol. in honor…

Probability · Mathematics 2010-11-09 Stephane Menozzi

Haas' theorem describes all partchworkings of a given non-singular plane tropical curve $C$ giving rise to a maximal real algebraic curve. The space of such patchworkings is naturally a linear subspace $W_C$ of the…

Algebraic Geometry · Mathematics 2023-06-22 Benoît Bertrand , Erwan Brugallé , Arthur Renaudineau

We consider Markovian dynamics modeling open mesoscopic systems which are driven away from detailed balance by a nonconservative force. A systematic expansion is obtained of the stationary distribution around an equilibrium reference, in…

Mathematical Physics · Physics 2015-05-27 Matteo Colangeli , Christian Maes , Bram Wynants

The present paper studies a quantitative version of the transversality theorem. More precisely, given a continuous function $f\in \mathcal{C}([0,1]^d,\mathbb{R}^m)$ and a manifold $W\subset \mathbb{R}^m$ of dimension $p$, a sharpness result…

Functional Analysis · Mathematics 2023-01-03 Andrew Murdza , Khai T. Nguyen

We study the Second Main Theorem in non-archimedean Nevanlinna theory, giving an improvement to the non-archimedean Second Main Theorems of Ru and An in the case where all the hypersurfaces have degree greater than one and all intersections…

Complex Variables · Mathematics 2013-03-19 Aaron Levin

Lacunary trigonometric and Walsh series satisfy limiting results that are typical for i.i.d. random variables such as the central limit theorem (Salem, Zygmund 1947), the law of the iterated logarithm (Weiss 1959) and several probability…

Probability · Mathematics 2018-05-14 Freddy Delbaen , Emma Hovhannisyan

Motivated by the probabilistic methods for nonlinear differential equations introduced by McKean (1975) for the Kolmogorov-Petrovski-Piskunov (KPP) equation, and by Le Jan and Sznitman (1997) for the incompressible Navier-Stokes equations,…

Probability · Mathematics 2022-10-04 Radu Dascaliuc , Tuan N. Pham , Enrique Thomann , Edward C. Waymire

Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete. This is a fundamental problem in general, and of particular interest for Bayesian networks. Recently,…

Artificial Intelligence · Computer Science 2007-05-23 Gert de Cooman , Marco Zaffalon

In Part I we gave a polynomial growth lower-bound for the number of nodal domains of a Hecke-Maass cuspform in a compact part of the modular surface, assuming a Lindel\"of hypothesis. That was a consequence of a topological argument and…

Number Theory · Mathematics 2022-01-19 Amit Ghosh , Andre Reznikov , Peter Sarnak