Related papers: The Barwise-Schlipf Theorem

Compared with only pursuing recommendation accuracy, the explainability of a recommendation model has drawn more attention in recent years. Many graph-based recommendations resort to informative paths with the attention mechanism for the…

Galles and Pearl claimed that "for recursive models, the causal model framework does not add any restrictions to counterfactuals, beyond those imposed by Lewis's [possible-worlds] framework." This claim is examined carefully, with the goal…

In this paper we give a complete characterization of the scaling limit of the critical Interacting Partially Directed Self-Avoiding Walk (IPDSAW) introduced in Zwanzig and Lauritzen (1968). As the system size $L$ diverges, we prove that the…

Inspired by an example of Grebogi et al [1], we study a class of model systems which exhibit the full two-step scenario for the nonautonomous Hopf bifurcation, as proposed by Arnold [2]. The specific structure of these models allows a…

For an arbitrary integer N that is at least 2, this paper gives a construction of a strictly stationary, N-tuplewise independent sequence of (non-degenerate) bounded random variables such that the Central Limit Theorem fails to hold. The…

We consider the statistical inverse problem of recovering an unknown function $f$ from a linear measurement corrupted by additive Gaussian white noise. We employ a nonparametric Bayesian approach with standard Gaussian priors, for which the…

Simpson showed that every countable model $\mathcal{M} \models \mathsf{PA}$ has an expansion $(\mathcal{M}, X) \models \mathsf{PA}^*$ that is pointwise definable. A natural question is whether, in general, one can obtain expansions of a…

In [3, Theorem 6.7B], the authors use the Main Theorems of Brauer to give a proof of Burnside's Normal $p$-complement Theorem. Unfortunately, the proof contains an error. We take this opportunity to give a proof along similar lines,…

In a smooth semiparametric estimation problem, the marginal posterior for the parameter of interest is expected to be asymptotically normal and satisfy frequentist criteria of optimality if the model is endowed with a suitable prior. It is…

Pairwise Markov Random Fields (MRFs) or undirected graphical models are parsimonious representations of joint probability distributions. Variables correspond to nodes of a graph, with edges between nodes corresponding to conditional…

The classic Schneider-Lang theorem in transcendence theory asserts that there are only finitely many points at which algebraically independent complex meromorphic functions of finite order of growth can simultaneously take values in a…

The remarkable generalization performance of large-scale models has been challenging the conventional wisdom of the statistical learning theory. Although recent theoretical studies have shed light on this behavior in linear models and…

A 1965 result of Crapo shows that every elementary lift of a matroid $M$ can be constructed from a linear class of circuits of $M$. In a recent paper, Walsh generalized this construction by defining a rank-$k$ lift of a matroid $M$ given a…

As our main theorem, we prove that a Lipschitz map from a compact Riemannian manifold $M$ into a Riemannian manifold $N$ admits a smooth approximation via immersions if the map has no singular points on $M$ in the sense of F.H. Clarke,…

This work is devoted to a vast extension of Sanov's theorem, in Laplace principle form, based on alternatives to the classical convex dual pair of relative entropy and cumulant generating functional. The abstract results give rise to a…

We consider sub-critical configuration models and show that the central limit theorem for any additive statistic holds when the statistics satisfies a fourth moment assumption, a variance lower bound and the degree sequence of graph…

Let $M$ be a submanifold of ${\Bbb P}^N$ of dimension $n>2$. Suppose that $(M,{\Cal O}_M(1))\cong{\Bbb P}({\Cal E}),{\Cal O}(1))$ for some vector bundle ${\Cal E}$ on a surface $S$. Then $N\ge 2n-1$ by Barth-Lefschetz Theorem. We are…

We consider the regular balanced model of formula generation in conjunctive normal form (CNF) introduced by Boufkhad, Dubois, Interian, and Selman. We say that a formula is $p$-satisfying if there is a truth assignment satisfying…

We construct renormalised models of regularity structures by using a recursive formulation for the structure group and for the renormalisation group. This construction covers all the examples of singular SPDEs which have been treated so far…

We consider a product of $2 \times 2$ random matrices which appears in the physics literature in the analysis of some 1D disordered models. These matrices depend on a parameter $\epsilon >0$ and on a positive random variable $Z$. Derrida…