相关论文: Decidable fan theorem and uniform continuity theor…

By pretraining on trillions of tokens, an LLM gains the capability of text generation. However, to enhance its utility and reduce potential harm, SFT and alignment are applied sequentially to the pretrained model. Because SFT and alignment…

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…

Douglas and Rudin proved that any unimodular function on the unit circle $\T$ can be uniformly approximated by quotients of inner functions. We extend this result to the operator-valued unimodular functions defined on the boundary of the…

Density functional theory (DFT) is a powerful theoretical tool widely used in such diverse fields as computational condensed matter physics, atomic physics, and quantum chemistry. DFT establishes that a system of $N$ interacting electrons…

The conventional paradigm of quantum computing is discrete: it utilizes discrete sets of gates to realize bitstring-to-bitstring mappings, some of them arguably intractable for classical computers. In parameterized quantum approaches, the…

The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a…

Effective field theories (EFTs) provide a powerful framework to parametrise unknown aspects of possible ultraviolet (UV) physics. For scalar fields in de Sitter space, however, new emergent phenomena can arise when the cut-off scale of the…

A d.c. (delta-convex) function on a normed linear space is a function representable as a difference of two continuous convex functions. We show that an infinite dimensional analogue of Hartman's theorem on stability of d.c. functions under…

Conformal field theories (CFTs) in Euclidean signature satisfy well-accepted rules, such as conformal invariance and the convergent Euclidean operator product expansion (OPE). Nowadays, it is common to assume that CFT correlators exist and…

We introduce a notion of localization for dyadic functions, i.e. functions defined on the Cantor group. Localization is characterized by functional $UC_d$ similar to the Heisenberg uncertainty constant used for real-line functions. We are…

We show that certain determinantal functions of multiple matrices, when summed over the symmetries of the cube, decompose into functions of the original matrices. These are shown to be true in complete generality; that is, no properties of…

Fundamental Measure Theory (FMT) is a successful and versatile approach for describing the properties of the hard-sphere fluid and hard-sphere mixtures within the framework of classical density functional theory (DFT). Lutsko [Phys. Rev. E…

Lusin's Theorem states that, for every Borel-measurable function $\bf{f}$ on $\mathbb R$ and every $\epsilon>0$, there exists a continuous function $\bf{g}$ on $\mathbb R$ which is equal to $\bf{f}$ except on a set of measure $<\epsilon$.…

Brouwer's fixed point theorem states that any continuous function from a closed $n$-dimensional ball to itself has a fixed point. In 1961, Klee showed that if such a function has discontinuities that are bounded, then it has a point that is…

We extend the classical Lebesgue and Fubini differentiation theorems to functions of several variables, using the notions of joint derivative and joint monotonicity. Our first main result shows that for a function $f$ of bounded variation,…

We prove that the theorems of TDDFT can be applied to a class of qubit Hamiltonians that are universal for quantum computation. The theorems of TDDFT applied to universal Hamiltonians imply that single-qubit expectation values can be used…

The concept of metastable convergence was identified by Tao;it allows converting theorems about convergence into stronger theorems about uniform convergence. The Uniform Metastability Principle (UMP) states that if $T$ is a theorem about…

Perdew et al. [Phys. Rev. Lett 49, 1691 (1982)] discovered and proved two different properties of exact Kohn-Sham density functional theory (DFT): (i) The exact total energy versus particle number is a series of linear segments between…

We study closed choice principles for different spaces. Given information about what does not constitute a solution, closed choice determines a solution. We show that with closed choice one can characterize several models of…

As an application of Brouwer's fixed-point theorem we prove that a continuously differentiable convex function with gradient of constant norm is an affine mapping. It is a first-order characterization of affine mappings among continuously…