English
Related papers

Related papers: On the properties $\mathrm{SOP}_{2^{n+1}+1}$

200 papers

We study the determination of new physics (NP) parameters using the optimal observable technique (OOT) in situations where the standard model (SM) dominates over the NP effects, and when the NP dominates over the SM contribution, using the…

High Energy Physics - Phenomenology · Physics 2025-11-14 Subhaditya Bhattacharya , Sahabub Jahedi , Jose Wudka

This paper investigates what can be inferred about an arbitrary continuous probability distribution from a finite sample of $N$ observations drawn from it. The central finding is that the $N$ sorted sample points partition the real line…

Machine Learning · Statistics 2025-07-30 Urban Eriksson

The de Finetti theorem and its extensions concern the structure of multipartite probability distributions with certain symmetry properties, the paradigmatic original example being permutation symmetry. These theorems assert that such…

High Energy Physics - Theory · Physics 2017-10-11 Javier M. Magan

In this paper we study the noncommutative supersymmetric $CP^{(N-1)}$ model in 2+1 dimensions, where the basic field is in the fundamental representation which, differently to the adjoint representation already studied in the literature,…

High Energy Physics - Theory · Physics 2008-11-26 A. F. Ferrari , A. C. Lehum , A. J. da Silva , F. Teixeira

We add one condition to the theorem of Proth to extend its applicability to $N=k2^n+1$ where $2^n>N^{1/3}$ as opposed to the former constraint of $2^n>k$. This additional condition adds barely any complexity or time to the test and can…

Number Theory · Mathematics 2019-01-01 Tejas R. Rao

We define the continuous modeling property for first-order structures and show that a first-order structure has the continuous modelling property if and only if its age has the embedding Ramsey property. We use generalized indiscernible…

Logic · Mathematics 2024-05-31 Adrián Portillo Fernández

Standard results in descriptive set theory provide sufficient conditions for a Borel set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has "small" sections or "large"…

Logic · Mathematics 2025-08-26 Alexander S. Kechris , Michael Wolman

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork…

Logic · Mathematics 2009-01-29 Ehud Hrushovski , Anand Pillay

Let $\mathbb{F}$ be a non-archimedean local field of positive characteristic different from 2. We consider distributions on $\mathrm{GL}(n+1,\mathbb{F})$ which are invariant under the adjoint action of $\mathrm{GL}(n,\mathbb{F})$. We prove…

Representation Theory · Mathematics 2020-11-02 Dor Mezer

In this article we study various forms of $\ell$-independence (including the case $\ell=p$) for the cohomology and fundamental groups of varieties over finite fields and equicharacteristic local fields. Our first result is a strong form of…

Number Theory · Mathematics 2019-02-20 Bruno Chiarellotto , Christopher Lazda

Considered are the large $N$, or large intensity, forms of the distribution of the length of the longest increasing subsequences for various models. Earlier work has established that after centring and scaling, the limit laws for these…

Mathematical Physics · Physics 2022-06-09 Peter J. Forrester , Anthony Mays

We study expansions of NSOP$_1$ theories that preserve NSOP$_1$. We prove that if $T$ is a model complete NSOP$_1$ theory eliminating the quantifier $\exists^{\infty}$, then the generic expansion of $T$ by arbitrary constant, function, and…

Logic · Mathematics 2018-09-18 Alex Kruckman , Nicholas Ramsey

We demonstrate that the soft supersymmetry-breaking terms in a N=1 theory can be linked by simple renormalisation group invariant relations which are valid to all orders of perturbation theory. In the special case of finite N=1 theories,…

High Energy Physics - Phenomenology · Physics 2009-10-30 I. Jack , D. R. T. Jones , A. Pickering

We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear case. In particular, after proving a quantifier elimination result, we show that for an NIP field K, the theory of infinite dimensional non-degenerate…

Logic · Mathematics 2025-04-01 Artem Chernikov , Nadja Hempel

Symmetry acting on a (2+1)$D$ topological order can be anomalous in the sense that they possess an obstruction to being realized as a purely (2+1)$D$ on-site symmetry. In this paper, we develop a (3+1)$D$ topological quantum field theory to…

Strongly Correlated Electrons · Physics 2023-07-13 Weicheng Ye , Liujun Zou

We use the large $N$ self consistency method to compute the critical exponents of the fields and coupling of the supersymmetric CP(N) sigma model at leading order in $1/N$ in various dimensions. We verify that the correction to the critical…

High Energy Physics - Theory · Physics 2009-10-28 Massimiliano Ciuchini , J. A. Gracey

Consider the expansion $T_S$ of a theory $T$ by a predicate for a submodel of a reduct $T_0$ of $T$. We present a setup in which this expansion admits a model companion $TS$. We show that the nice features of the theory $T$ transfer to…

Logic · Mathematics 2019-11-01 Christian d'Elbée

The applicability of the highly idealized secondary infall model to `realistic' initial conditions is investigated. The collapse of proto-halos seeded by $3\sigma$ density perturbations to an Einstein--de Sitter universe is studied here for…

Astrophysics · Physics 2009-10-28 Saleem Zaroubi , Avi Naim , Yehuda Hoffman

We give a general framework for approximations to combinatorial assemblies, especially suitable to the situation where the number $k$ of components is specified, in addition to the overall size $n$. This involves a Poisson process, which,…

Probability · Mathematics 2016-07-06 Richard Arratia , Stephen DeSalvo

The main purpose of this paper is to present a new and more uniform model-theoretic/combinatorial proof of the theorem ([5]): The randomization $T^{R}$ of a complete first-order theory $T$ with $NIP$ is a (complete) first-order continuous…

Logic · Mathematics 2026-01-01 Karim Khanaki , Massoud Pourmahdian