English
Related papers

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

200 papers

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…

Logic · Mathematics 2022-01-19 Itay Kaplan , Ori Segel , Saharon Shelah

We investigate the interplay of generalized global symmetries in 2+1 dimensions in a lattice model that couples a $\mathbb{Z}_N$ clock model to a $\mathbb{Z}_N$ gauge theory via a topological interaction. This coupling binds the charges of…

Strongly Correlated Electrons · Physics 2025-05-16 Benjamin Moy , Eduardo Fradkin

The free boundary for the Signorini problem in $\mathbb{R}^{n+1}$ is smooth outside of a degenerate set, which can have the same dimension ($n-1$) as the free boundary itself. In [FR21] it was shown that generically, the set where the free…

Analysis of PDEs · Mathematics 2023-09-19 Xavier Fernández-Real , Clara Torres-Latorre

The Erd\H{o}s--Ko--Rado (EKR) theorem and its generalizations can be viewed as classifications of maximum independent sets in appropriately defined families of graphs, such as the Kneser graph $K(n,k)$. In this paper, we investigate the…

Combinatorics · Mathematics 2024-06-25 Karen Gunderson , Karen Meagher , Joy Morris , Venkata Raghu Tej Pantangi , Mahsa N. Shirazi

We introduce some properties describing dependence in indiscernible sequences: $F_{ind}$ and its dual $F_{Mb}$, the definable Morley property, and $n$-resolvability. Applying these properties, we establish the following results: We show…

Logic · Mathematics 2026-04-29 John Baldwin , James Freitag , Scott Mutchnik

Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order…

Logic · Mathematics 2015-08-14 Artem Chernikov , Itay Kaplan , Saharon Shelah

The $n$ integrals in involution for the motion on the $n$-dimensional ellipsoid under the influence of a harmonic force are explicitly found. The classical separation of variables is given by the inverse momentum map. In the quantum case…

High Energy Physics - Theory · Physics 2008-11-26 Petre Dita

This paper investigates a connection between the ordering triangleleft^ast among theories in model theory and the (N)SOP_n hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP_2 and…

Logic · Mathematics 2011-04-18 Mirna Džamonja , Saharon Shelah

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

Logic · Mathematics 2012-02-14 Artem Chernikov , Pierre Simon

Exponential averages that appear in integral fluctuation theorems can be recast as a sum over moments of thermodynamic observables. We use two examples to show that such moment series can exhibit non-uniform convergence in certain singular…

Statistical Mechanics · Physics 2022-05-31 Hila Katznelson , Saar Rahav

We study a broad class of qudit stabilizer codes, termed $\mathbb{Z}_N$ bivariate-bicycle (BB) codes, arising either as two-dimensional realizations of modulated gauge theories or as $\mathbb{Z}_N$ generalizations of binary BB codes. Our…

Strongly Correlated Electrons · Physics 2026-05-08 Siyu He , Hao Song

This paper explores the relationship between convexity and sum sets. In particular, we show that elementary number theoretical methods, principally the application of a squeezing principle, can be augmented with the Elekes-Szab\'{o} Theorem…

Combinatorics · Mathematics 2024-01-17 Oliver Roche-Newton , Elaine Wong

We investigate $N$-extended supersymmetry in one-dimensional quantum mechanics on a circle with point singularities. For any integer $n$, $N=2n+1$ supercharges are explicitly constructed in terms of discrete transformations, and a class of…

High Energy Physics - Theory · Physics 2009-11-11 Tomoaki Nagasawa , Makoto Sakamoto , Kazunori Takenaga

Let $n, m$ be positive integers, $n\geq m$. We make several remarks on the relationship between approximate differentiability of higher order and Morse-Sard properties. For instance, among other things we show that if a function…

Functional Analysis · Mathematics 2017-05-17 Daniel Azagra , Miguel García-Bravo

A distinctive problem of harmonic analysis on $\R$ with respect to a Borel probability measure $\mu$ is identifying all $t\in\R$ such that both \[\left\{e^{-2\pi i\lambda x}: \lambda\in\Lambda\right\}\quad\text{and}\quad \left\{e^{-2\pi…

Classical Analysis and ODEs · Mathematics 2025-06-03 Zi-Chao Chi , Xing-Gang He , Zhi-Yi Wu

We introduce a spin ladder with discrete symmetries designed to emulate a two-dimensional spin-1/2 boson system at half-filling. Using global properties, such as the structure of topological defects, we establish a correspondence between…

Strongly Correlated Electrons · Physics 2024-12-25 Bo Han , David F. Mross

An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a…

Quantum Physics · Physics 2022-01-24 Giacomo Mauro D'Ariano , Marco Erba , Paolo Perinotti

We investigate N-extended supersymmetry in one-dimensional quantum mechanics on a circle with point singularities. For any integer n, N=2n supercharges are explicitly constructed and a class of point singularities compatible with…

High Energy Physics - Theory · Physics 2009-11-10 Tomoaki Nagasawa , Makoto Sakamoto , Kazunori Takenaga

We prove the Moore and the Myhill property for strongly irreducible subshifts over right amenable and finitely right generated left homogeneous spaces with finite stabilisers. Both properties together mean that the global transition…

Group Theory · Mathematics 2017-06-20 Simon Wacker

Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $\Delta_0$-separation and set foundation. This paper studies the relative strength of…

Logic · Mathematics 2019-01-11 Zachiri McKenzie