Related papers: Symmetries between two Ramsey properties

We present pairwise fairness metrics for ranking models and regression models that form analogues of statistical fairness notions such as equal opportunity, equal accuracy, and statistical parity. Our pairwise formulation supports both…

In this paper we study dual bases functions in subspaces. These are bases which are dual to functionals on larger linear space. Our goal is construct and derive properties of certain bases obtained from the construction, with primary focus…

We initiate a systematic study of intrinsic dimensional versions of classical functional inequalities which capture refined properties of the underlying objects. We focus on model spaces: Euclidean space, Hamming cube, and manifolds of…

This paper investigates a well-posedness property of parametric constraint systems named here Robinson stability. Based on advanced tools of variational analysis and generalized differentiation, we derive first-order and second-order…

In the 1995 paper entitled "Noncommutative symmetric functions," Gelfand, et. al. defined two noncommutative symmetric function analogues for the power sum basis of the symmetric functions, along with analogues for the elementary and the…

Dualities are hidden symmetries that map seemingly unrelated physical systems onto each other. The goal of this work is to systematically construct families of Hamiltonians endowed with a given duality and to provide a universal description…

We introduce the notion of joint torsion for several commuting operators satisfying a Fredholm condition. This new secondary invariant takes values in the group of invertibles of a field. It is constructed by comparing determinants…

The paper is to prove the Gaussian correlation conjecture stating that, under the standard Gaussian measure, the measure of the intersection of any two symmetric convex sets is greater than or equal to the product of their measures.…

We study Dirichlet forms and Laplacians on self-similar sets with overlaps. A notion of "finitely ramified of finite type($f.r.f.t.$) nested structure" for self-similar sets is introduced. It allows us to reconstruct a class of self-similar…

Boyer and Moore have discussed a recursive function that puts conditional expressions into normal form [1]. It is difficult to prove that this function terminates on all inputs. Three termination proofs are compared: (1) using a measure…

Quasisymmetric functions have recently been used in time series analysis as polynomial features that are invariant under, so-called, dynamic time warping. We extend this notion to data indexed by two parameters and thus provide warping…

We study the Ramsey property for vector spaces over finite fields with bilinear forms. We prove that symplectic spaces over finite fields do not have the Ramsey property. We also describe vector spaces with skew symmetric bilinear forms and…

We show that the well-partial orderedness of the finite downwards closed subsets of $\mathbb{N}^k$ ,ordered by inclusion, is equivalent to the well-foundedness of the ordinal $\omega^{\omega^\omega}$. This was conjectured to be the case by…

We prove a duality relation for generalized basic hypergeometric functions. It forms a $q$-extension of a recent result of the second and the third named authors and generalizes both a $q$-hypergeometric identity due to the third named…

The floor and ceiling functions appear often in mathematics and manipulating sums involving floors and ceilings is a subtle game. Fortunately, the well-known textbook Concrete Mathematics provides a nice introduction with a number of…

We introduce and study a family of axioms that closely follows the pattern of parametrized diamonds, studied by Moore, Hru\v{s}\'ak, and D\v{z}amonja in [13]. However, our approach appeals to model theoretic / forcing theoretic notions,…

We consider the problem of characterizing entrywise functions that preserve the cone of positive definite matrices when applied to every off-diagonal element. Our results extend theorems of Schoenberg [Duke Math. J. 9], Rudin [Duke Math. J.…

We obtain a relatively simple criterion for when a forcing has the ${<}\,\delta$-approximation property, generalizing a result of Unger. Afterwards we apply this criterion to construct variants of Mitchell Forcing in order to answer…

Double descent is a phenomenon of over-parameterized statistical models such as deep neural networks which have a re-descending property in their risk function. As the complexity of the model increases, risk exhibits a U-shaped region due…

We give a simple and natural proof for the compatibility of the Hasse invariant with duality. We then study a $p$-divisible group with an action of the ring of integers of a finite ramified extension of $\mathbb{Q}_p$. We suppose that it…