Related papers: A Theorem of Eakin and Sathaye and Green's Hyperpl…

Given a convergence theorem in analysis, under very general conditions a model-theoretic compactness argument implies that there is a uniform bound on the rate of metastability. We illustrate with three examples from ergodic theory.

Let $P$ be a set of $n$ points in real projective $d$-space, not all contained in a hyperplane, such that any $d$ points span a hyperplane. An ordinary hyperplane of $P$ is a hyperplane containing exactly $d$ points of $P$. We show that if…

We prove a version of the Chevalley Restriction Theorem for the action of a real reductive group G on a topological space X which locally embeds into a holomorphic representation. Assuming that there exists an appropriate quotient X//G for…

We establish analogues of the Hawking and Penrose singularity theorems based on (a) averaged energy conditions with exponential damping; (b) conditions on local stress-energy averages inspired by the Quantum Energy Inequalities satisfied by…

In our previous paper \cite{FTD1}, we derived the almost sure convergence of the global density of eigenvalues of random matrices of the SYK model. In this paper, we will prove the central limit theorem for the linear statistic of…

An analogue of the theory of integral closure and reductions is developed for a more general class of closures, called Nakayama closures. It is shown that tight closure is a Nakayama closure by proving a ``Nakayama lemma for tight…

Existence theorem is proven for the generating equations of the split involution constraint algebra. The structure of the general solution is established, and the characteristic arbitrariness in generating functions is described.

The superposition principle lies at the heart of many non-classical properties of quantum mechanics. Motivated by this, we introduce a rigorous resource theory framework for the quantification of superposition of a finite number of linear…

In this article we fully describe the domain of the infinitesimal generator of the optimal state semigroup which arises in the theory of the linear-quadratic problem for a specific class of boundary control systems. This represents an…

The generating function for elements of the Bethe subalgebra of Hecke algebra is constructed as Sklyanin's transfer-matrix operator for Hecke chain. We show that in a special classical limit q -> 1 the Hamiltonians of the Gaudin model can…

Promoting a theory with a finite number of terms into an effective field theory with an infinite number of terms worsens simplicity, predictability, falsifiability, and other attributes often favored in theory choice. However, the…

A simple example is used to show that renormalization group limit cycles of effective quantum theories can be studied in a new way. The method is based on the similarity renormalization group procedure for Hamiltonians. The example contains…

In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan's theorem on a superstable theory.

We consider the links between Ramsey theory in the integers, based on van der Waerden's theorem, and (boolean, CNF) SAT solving. We aim at using the problems from exact Ramsey theory, concerned with computing Ramsey-type numbers, as a rich…

This paper is partly a survey of certain kinds of results and proofs in additive combinatorics, and partly a discussion of how useful the finite-dimensional Hahn-Banach theorem can be. The most interesting single result is probably a…

We prove a Ramsey theorem for finite sets equipped with a partial order and a fixed number of linear orders extending the partial order. This is a common generalization of two recent Ramsey theorems due to Soki\'c. As a bonus, our proof…

It is well known that equilibrium in a thermodynamic system results from a competition or balance between lowering the energy and increasing the entropy, or at least the product of the temperature and entropy. This is remarkably similar to…

We provide a simple and short proof of the Karush-Kuhn-Tucker theorem with finite number of equality and inequality constraints. The proof relies on an elementary linear algebra lemma and the local inverse theorem.

This short note establishes an abstract Hales--Jewett theorem for semigroups equipped with a finite family of retractions. The proof relies on the interplay between retractions and tensor products of ultrafilters.

We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals…