English
Related papers

Related papers: Higher arity stability and the functional order pr…

200 papers

We study optimization problems in which a linear functional is maximized over probability measures that are dominated by a given measure according to an integral stochastic order in an arbitrary dimension. We show that the following four…

Theoretical Economics · Economics 2026-03-13 Frank Yang , Kai Hao Yang

An articulation point (AP) in a network is a node whose deletion would split the network component on which it resides into two or more components. APs are vulnerable spots that play an important role in network collapse processes, which…

Disordered Systems and Neural Networks · Physics 2018-12-06 Ido Tishby , Ofer Biham , Reimer Kühn , Eytan Katzav

We prove various results involving arcs - which generalise test configurations - within the theory of K-stability. Our main result characterises coercivity of the Mabuchi functional on spaces of Fubini-Study metrics in terms of uniform…

Algebraic Geometry · Mathematics 2024-09-23 Ruadhaí Dervan , Rémi Reboulet

The Fourier Entropy-Influence (FEI) conjecture of Friedgut and Kalai [FK96] seeks to relate two fundamental measures of Boolean function complexity: it states that $H[f] \leq C Inf[f]$ holds for every Boolean function $f$, where $H[f]$…

Computational Complexity · Computer Science 2013-04-05 Ryan O'Donnell , Li-Yang Tan

We systematically apply density functional theory to determine the kind of inhomogeneities that spontaneously develop in a homogeneous gapless phase of neutral two-flavor superfluid quark matter. We consider inhomogeneities in the quark and…

High Energy Physics - Phenomenology · Physics 2009-11-11 Kei Iida , Kenji Fukushima

We develop further the consequences of the irreducible-Boolean classification established in Ref. [9]; which have the advantage of allowing strong statistical calculations in disordered Boolean function models, such as the…

Mathematical Physics · Physics 2012-08-03 Martha Takane , Federico Zertuche

The Guarded Fragment (GF) is a well-established decidable fragment of first-order logic. We study an extension of GF with nested equivalence relations, namely a family of distinguished binary predicates $E_1, E_2, \dots$ interpreted as…

Logic in Computer Science · Computer Science 2026-05-15 Oskar Fiuk

In this paper, exact rate of approximation of functions by linear means of Fourier series and Fourier integrals and corresponding $K$-functionals are expressed via special moduli of smoothness. . Introduction is given in $\S 1$. In $\S2$…

Classical Analysis and ODEs · Mathematics 2016-06-27 R. M. Trigub

We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…

K-Theory and Homology · Mathematics 2023-12-06 Victor Saunier

This article explores an operational model for transition amplitudes between measurements proposed by Goyal et al. within the quantum reconstruction program. To classify suitable amplitude algebras, we distinguish mathematical axioms,…

Quantum Physics · Physics 2026-04-28 Jens Köplinger , Michael Habeck , Philip Goyal

We prove that, when $n$ goes to infinity, the expression, with respect to the dual Kazhdan-Lusztig basis, of the product $\hat{\underline{H}}_x\underline{H}_y$ of elements of the dual and the usual Kazhdan-Lusztig bases in the Hecke algebra…

Representation Theory · Mathematics 2025-04-09 Samuel Creedon , Volodymyr Mazorchuk

A first principles density functional based linear response theory (the so called Density Functional Perturbation theory \cite{dfpt}) has been combined separately with two recently developed formalism for a systematic study of the lattice…

Materials Science · Physics 2013-12-25 Aftab Alam , Subhradip Ghosh , Abhijit Mookerjee

Pfister and Sullivan proved that if a topological dynamical system $(X,T)$ satisfies almost product property and uniform separation property, then for each nonempty compact %convex subset $K$ of invariant measures, the entropy of saturated…

Dynamical Systems · Mathematics 2021-07-28 Xiaobo Hou , Xueting Tian , Yiwei Zhang

Let $n,s,k$ be three positive integers such that $1\leq s\leq(n-k+1)/k$ and let $[n]=\{1,\ldots,n\}$. Let $H$ be a $k$-graph with vertex set $\{1,\ldots,n\}$, and let $e(H)$ denote the number of edges of $H$. Let $\nu(H)$ and $\tau(H)$…

Combinatorics · Mathematics 2021-05-26 Mingyang Guo , Hongliang Lu , Dingjia Mao

Let $N$ be a positive integer and let $f$ be a meromorphic modular function of level $N$ with rational Fourier coefficients. For a prime $p$, define a function $f_p$ on the complex upper half-plane $\mathbb{H}$ by \begin{equation*}…

Number Theory · Mathematics 2026-05-14 Ho Yun Jung , Ja Kyung Koo , Dong Hwa Shin

Given a number field $k$, and a quadratic rational function $f(x) \in k(x)$, the associated arboreal representation of the absolute Galois group of $k$ is a subgroup of the automorphism group of a regular rooted binary tree. Boston and…

Number Theory · Mathematics 2025-04-21 Özlem Ejder

Measuring how quickly iterative methods converge is essential in computational mathematics, but current approaches have significant limitations. Q-order analysis requires strict smoothness conditions, while R-order analysis lacks precision…

Numerical Analysis · Mathematics 2025-04-09 Xiangmin Jiao , Hongji Gao

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

Topological entanglement entropy is a topological invariant which can detect topological order of quantum many-body ground state. We assume an existence of such order parameter at finite temperature which is invariant under smooth…

Quantum Physics · Physics 2013-05-30 Isaac H. Kim

This paper establishes model-theoretic properties of $\mathrm{FOE}^{\infty}$, a variation of monadic first-order logic that features the generalised quantifier $\exists^\infty$ (`there are infinitely many'). We provide syntactically defined…

Logic in Computer Science · Computer Science 2018-09-11 Facundo Carreiro , Alessandro Facchini , Yde Venema , Fabio Zanasi