English
Related papers

Related papers: The Euler-Glaisher Theorem over Totally Real Numbe…

200 papers

We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets…

Logic · Mathematics 2010-12-01 Ayhan Gunaydin , Philipp Hieronymi

Given any collection F of computable functions over the reals, we show that there exists an algorithm that, given any L_F-sentence \varphi containing only bounded quantifiers, and any positive rational number \delta, decides either "\varphi…

Logic in Computer Science · Computer Science 2012-05-01 Sicun Gao , Jeremy Avigad , Edmund Clarke

Euler's classic partition identity states that the number of partitions of $n$ into odd parts equals the number of partitions of $n$ into distinct parts. We develop a new generalization of this identity, which yields a previous…

Number Theory · Mathematics 2024-10-24 Gabriel Gray , David Hovey , Brandt Kronholm , Emily Payne , Holly Swisher , Ren Watson

For a square-free integer $t$, Byeon \cite{byeon} proved the existence of infinitely many pairs of quadratic fields $\mathbb{Q}(\sqrt{D})$ and $\mathbb{Q}(\sqrt{tD})$ with $D > 0$ such that the class numbers of all of them are indivisible…

Number Theory · Mathematics 2020-12-07 Jaitra Chattopadhyay , Anupam Saikia

We present a new tool to compute the number $\phi_\A (\b)$ of integer solutions to the linear system $$ \x \geq 0 \qquad \A \x = \b $$ where the coefficients of $\A$ and $\b$ are integral. $\phi_\A (\b)$ is often described as a \emph{vector…

Combinatorics · Mathematics 2007-05-23 Matthias Beck

In this paper, we introduce a new generalization of the perfect numbers, called $\mathcal{S}$-perfect numbers. Briefly stated, an $\mathcal{S}$-perfect number is an integer equal to a weighted sum of its proper divisors, where the weights…

Number Theory · Mathematics 2025-12-05 Tyler Ross

For many completely positive maps repeated compositions will eventually become entanglement breaking. To quantify this behaviour we develop a technique based on the Schmidt number: If a completely positive map breaks the entanglement with…

Quantum Physics · Physics 2019-06-18 Matthias Christandl , Alexander Müller-Hermes , Michael M. Wolf

The purpose of this paper is to investigate the distribution of zeros of entire functions which can be represented as the Fourier transforms of certain admissible kernels. The principal results bring to light the intimate connection between…

Complex Variables · Mathematics 2014-02-24 George Csordas

We show that integer partitions, the fundamental building blocks in additive number theory, detect prime numbers in an unexpected way. Answering a question of Schneider, we show that the primes are the solutions to special equations in…

Number Theory · Mathematics 2024-07-11 William Craig , Jan-Willem van Ittersum , Ken Ono

We give a definition of partition C*-algebras: To any partition of a finite set, we assign algebraic relations for a matrix of generators of a universal C*-algebra. We then prove how certain relations may be deduced from others and we…

Operator Algebras · Mathematics 2017-10-18 Moritz Weber

Schmidt's theorem is significantly generalized, to partitions in which periodic but otherwise arbitrary subsets of parts are counted or uncounted. The identification of such sets of partitions with colored partitions satisfying certain…

Combinatorics · Mathematics 2022-07-15 George E. Andrews , William J. Keith

Say that mu is a ``subpartition'' of an integer partition lambda if the multiset of parts of mu is a submultiset of the parts of lambda, and define an integer partition lambda to be ``wide'' if for every subpartition mu of lambda, mu >= mu'…

Combinatorics · Mathematics 2007-05-23 Timothy Y. Chow , C. Kenneth Fan , Michel X. Goemans , Jan Vondrak

A problem of completing a linear map on C*-algebras to a completely positive map is analyzed. It is shown that whenever such a completion is feasible there exists a unique minimal completion. This theorem is used to show that under some…

Operator Algebras · Mathematics 2024-05-28 B. V. Rajarama Bhat , Arghya Chongdar

We construct certain entire function $\lambda(s)$ which for integer s coincides with the well-known Keiper-Li coefficients, i.e. $\lambda(n)={\lambda}_{n}$. This is an even function ${\lambda}(s)={\lambda}(-s)$ and has an infinitude of…

Number Theory · Mathematics 2023-01-02 Krzysztof Maślanka

Let G be a connected and simply connected real Lie group with Lie algebra g. Semialgebraic subsets of the unitary dual of G are defined and a strict Positivstellensatz for positive elements of the universal enveloping algebra of g is…

Algebraic Geometry · Mathematics 2007-05-23 Konrad Schmuedgen

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…

Number Theory · Mathematics 2023-08-25 Victor Fadinger , Sophie Frisch , Daniel Windisch

We consider systems of $n$ diagonal equations in $k$th powers. Our main result shows that if the coefficient matrix of such a system is sufficiently non-singular, then the system is partition regular if and only if it satisfies Rado's…

Number Theory · Mathematics 2020-03-25 Jonathan Chapman

Let $\mathscr{S}$ denote the set of integer partitions into parts that differ by at least $3$, with the added constraint that no two consecutive multiples of $3$ occur as parts. We derive trivariate generating functions of Andrews--Gordon…

Combinatorics · Mathematics 2021-10-27 George E. Andrews , Shane Chern , Zhitai Li

The monopole-dimer model introduced recently is an exactly-solvable signed generalisation of the dimer model. We show that the partition function of the monopole-dimer model on a graph invariant under a fixed-point free involution is a…

Combinatorics · Mathematics 2020-06-16 Arvind Ayyer

The main result is that for lambda strong limit singular failing the continuum hypothesis (i.e. 2^lambda > lambda^+), a polarized partition theorem holds.

Logic · Mathematics 2009-09-25 Saharon Shelah