English
Related papers

Related papers: Universality criterion sets for quadratic forms ov…

200 papers

A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…

Logic · Mathematics 2020-11-09 Noam Greenberg , Matthew Harrison-Trainor , Ludovic Patey , Dan Turetsky

A theorem of Hunter ensures that the complete homogeneous symmetric polynomials of even degree are positive definite functions. A probabilistic interpretation of Hunter's theorem suggests a broad generalization: the construction of…

Functional Analysis · Mathematics 2024-03-18 Ludovick Bouthat , Ángel Chávez , Stephan Ramon Garcia

In this paper the kernel for the spectral correlation functions of the invariant chiral random matrix ensembles with real ($\beta =1$) and quaternion real ($\beta = 4$) matrix elements is expressed in terms of the kernel of the…

High Energy Physics - Theory · Physics 2016-09-06 M. K. Sener , J. J. M. Verbaarschot

The purpose of these notes is to collect in one place some facts on the category of finite totally ordered sets and some related categories. More specifically, we collect some results on them which will be useful for the study of iteratedly…

Category Theory · Mathematics 2025-12-29 Takuo Matsuoka

In this paper, we generalize the construction method of schemes to other algebraic categories, and show that the category of coherent schemes can be characterized by a universal property, if we fix the class of Grothendieck topology. Also,…

Algebraic Geometry · Mathematics 2012-06-12 Satoshi Takagi

The arithmetic of natural numbers has a natural and simple encoding within sets, and the simplest set whose structure is not that of any natural number extends this set-theoretic representation to positive and negative integers. The…

Logic · Mathematics 2019-05-17 Ruadhan O'Flanagan

The theory of finitely supported algebraic structures represents a reformulation of Zermelo-Fraenkel set theory in which every construction is finitely supported according to the action of a group of permutations of some basic elements…

Logic · Mathematics 2019-09-05 Andrei Alexandru , Gabriel Ciobanu

We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel. Physically, quantum channels…

Quantum Physics · Physics 2019-01-30 Mathieu Huot , Sam Staton

A set of $n$ coherent states is introduced in a quantum system with $d$-dimensional Hilbert space $H(d)$. It is shown that they resolve the identity, and also have a discrete isotropy property. A finite cyclic group acts on the set of these…

Quantum Physics · Physics 2023-11-20 A. Vourdas

The sine process is a rigid point process on the real line, which means that for almost all configurations $X$, the number of points in an interval $I = [-R,R]$ is determined by the points of $X$ outside of $I$. In addition, the points in…

Probability · Mathematics 2022-10-05 Arno B. J. Kuijlaars , Erwin Miña-Díaz

A bivariate quartic form is a homogeneous bivariate polynomial of degree four. A criterion of positivity for such a form is known. In the present paper this criterion is reformulated in terms of pseudotensorial invariants of the form.

Algebraic Geometry · Mathematics 2015-07-28 Ruslan Sharipov

We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of…

Number Theory · Mathematics 2018-07-05 Valentin Blomer , Vítězslav Kala

De Finetti theorems tell us that if we expect the likelihood of outcomes to be independent of their order, then these sequences of outcomes could be equivalently generated by drawing an experiment at random from a distribution, and…

Quantum Physics · Physics 2023-11-16 Sam Staton , Ned Summers

We give a new proof of universality properties in the bulk of spectrum of the hermitian matrix models, assuming that the potential that determines the model is globally $C^{2}$ and locally $C^{3}$ function (see Theorem \ref{t:U.t1}). The…

Mathematical Physics · Physics 2009-11-13 L. Pastur , M. Shcherbina

We relate the computational complexity of finite strings to universal representations of their underlying symmetries. First, Boolean functions are classified using the universal covering topologies of the circuits which enumerate them. A…

Information Theory · Computer Science 2011-09-20 John Scoville

A method is given for quantitatively rating the social acceptance of different options which are the matter of a complete preferential vote. Completeness means that every voter expresses a comparison (a preference or a tie) about each pair…

Optimization and Control · Mathematics 2012-03-09 Rosa Camps , Xavier Mora , Laia Saumell

We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…

Algebraic Geometry · Mathematics 2026-04-24 Shou Yoshikawa

We review and compare five ways of assigning totally ordered sizes to subsets of the natural numbers: cardinality, infinite lottery logic with mirror cardinalities, natural density, generalised density, and $\alpha$-numerosity. Generalised…

Logic · Mathematics 2024-08-08 Sylvia Wenmackers

We improve a recent result by giving the optimal conclusion possible both to the frequent universality criterion and the frequent hypercyclicity criterion using the notion of A-densities, where A refers to some weighted densities sharper…

Functional Analysis · Mathematics 2018-07-12 Romuald Ernst , A Mouze

The well known binary and decimal representations of the integers, and other similar number systems, admit many generalisations. Here, we investigate whether still every integer could have a finite expansion on a given integer base b, when…

Number Theory · Mathematics 2008-10-03 Christiaan van de Woestijne