Related papers: Higher arity stability and the functional order pr…
Local consistency arises in diverse areas, including Bayesian statistics, relational databases, and quantum foundations, and so does the notion of functional dependence. We adopt a general approach to study logical inference in a setting…
The k-th Fitting ideal of the Alexander invariant B of an arrangement A of n complex hyperplanes defines a characteristic subvariety, V_k(A), of the complex algebraic n-torus. In the combinatorially determined case where B decomposes as a…
We construct Grothendieck pairs witnessing that the following are not profinite invariants: stable commutator length, quasimorphisms (answering a question of Echtler and Kammeyer), property NL (which obstructs actions on hyperbolic spaces),…
In orbital-free density functional theory the kinetic potential (KP), the functional derivative of the kinetic energy density functional, appears in the Euler equation for the electron density and may be more amenable to simple…
We study the structure of the normal matrix model (NMM). We show that all correlation functions of the model with axially symmetric potentials can be expressed in terms of holomorphic functions of one variable. This observation is used to…
Consider a subset $A$ of $\mathbb{F}_p^n$ and a decomposition of its indicator function as the sum of two bounded functions $1_A=f_1+f_2$. For every family of linear forms, we find the smallest degree of uniformity $k$ such that assuming…
The arithmetic regularity lemma for $\mathbb{F}_p^n$, proved by Green in 2005, states that given a subset $A\subseteq \mathbb{F}_p^n$, there exists a subspace $H\leq \mathbb{F}_p^n$ of bounded codimension such that $A$ is Fourier-uniform…
We prove that, given $\epsilon>0$ and $k\geq 1$, there is an integer $n$ such that the following holds. Suppose $G$ is a finite group and $A\subseteq G$ is $k$-stable. Then there is a normal subgroup $H\leq G$ of index at most $n$, and a…
A theory is NIP (resp. stable) if and only if every formula with parameters in two single variables is NIP (resp. does not have the order property).
In this paper we propose an approximation method for high-dimensional $1$-periodic functions based on the multivariate ANOVA decomposition. We provide an analysis on the classical ANOVA decomposition on the torus and prove some important…
The new notion of operator/matrix $k$-tone functions is introduced, which is a higher order extension of operator/matrix monotone and convex functions. Differential properties of matrix $k$-tone functions are shown. Characterizations,…
We prove that on any log Fano pair of dimension $n$ whose stability threshold is less than $\frac{n+1}{n}$, any valuation computing the stability threshold has a finitely generated associated graded ring. Together with earlier works, this…
Entanglement entropy provides a powerful characterization of two-dimensional gapped topological phases of quantum matter, intimately tied to their description by topological quantum field theories (TQFTs). Fracton topological orders are…
$k$-submodular functions, introduced by Huber and Kolmogorov, are functions defined on $\{0, 1, 2, \dots, k\}^n$ satisfying certain submodular-type inequalities. $k$-submodular functions typically arise as relaxations of NP-hard problems,…
We consider the effect of geometric confinement on the steady-state properties of a one-dimensional active suspension subject to thermal noise. The random active force is modeled by an Ornstein-Uhlenbeck process and the system is studied…
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…
Fast-growing hierarchies are sequences of functions obtained through various processes similar to the ones that yield multiplication from addition, exponentiation from multiplication, etc. We observe that fast-growing hierarchies can be…
The representation for the sharp constant ${\rm K}_{n, p}$ in an estimate of the modulus of the $n$-th derivative of an analytic function in the upper half-plane ${\mathbb C}_+$ is considered. It is assumed that the boundary value of the…
Recent work highlighted the importance of higher-order correlations in quantum dynamics for a deeper understanding of quantum chaos and thermalization. The full Eigenstate Thermalization Hypothesis, the framework encompassing correlations,…
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…