English
Related papers

Related papers: Parametric Presburger arithmetic: logic, combinato…

200 papers

Let $\R$ be a real closed field, $ {\mathcal Q} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], $ with $ \deg_{Y}(Q) \leq 2, \deg_{X}(Q) \leq d, Q \in {\mathcal Q}, #({\mathcal Q})=m,$ and $ {\mathcal P} \subset \R[X_1,...,X_k] $ with $\deg_{X}(P)…

Algebraic Geometry · Mathematics 2010-10-21 Saugata Basu , Dmitrii V. Pasechnik , Marie-Francoise Roy

Motivated by applications to multiplicity formulas in index theory, we study a family of distributions $\Theta(m;k)$ associated to a piecewise quasi-polynomial function $m$. The family is indexed by an integer $k \in \mathbb{Z}_{>0}$, and…

Classical Analysis and ODEs · Mathematics 2022-05-03 Yiannis Loizides , Paul-Emile Paradan , Michele Vergne

Let $f,g\in\mathbb{C}[z]\setminus\mathbb{C}$ and $c\in\mathbb{C}[z]$. Suppose that $\mathrm{deg}(c)=1$ if $\mathrm{deg}(f)=\mathrm{deg}(g)=1$. Using the theory of Presburger arithmetic, we prove that the rank-two recurrence set…

Dynamical Systems · Mathematics 2026-05-27 Geng-Rui Zhang

For $G$ a semisimple, simply-connected complex algebraic group and two dominant integral weights $\lambda, \mu$, we consider the dimensions of weight spaces $V_\lambda(\mu)$ of weight $\mu$ in the irreducible, finite-dimensional highest…

Representation Theory · Mathematics 2025-02-07 Marc Besson , Sam Jeralds , Joshua Kiers

The diagonal of a multivariate power series F is the univariate power series Diag(F) generated by the diagonal terms of F. Diagonals form an important class of power series; they occur frequently in number theory, theoretical physics and…

Symbolic Computation · Computer Science 2015-10-16 Alin Bostan , Louis Dumont , Bruno Salvy

The Hilbert function of a module over a positively graded algebra is of quasi-polynomial type (Hilbert--Serre). We derive an upper bound for its grade, i.e. the index from which on its coefficients are constant. As an application, we give a…

Commutative Algebra · Mathematics 2007-05-23 Winfried Bruns , Bogdan Ichim

It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, to define a new class of van Kampen diagrams, which represent groups as quotients of…

We study the ring of quasisymmetric polynomials in $n$ anticommuting (fermionic) variables. Let $R_n$ denote the polynomials in $n$ anticommuting variables. The main results of this paper show the following interesting facts about…

Combinatorics · Mathematics 2022-11-29 Nantel Bergeron , Kelvin Chan , Farhad Soltani , Mike Zabrocki

Logarithmic perturbation theory (LPT) is developed and applied to quasinormal modes (QNMs) in open systems. QNMs often do not form a complete set, so LPT is especially convenient because summation over a complete set of unperturbed states…

Mathematical Physics · Physics 2009-10-30 P. T. Leung , Y. T. Liu , W. M. Suen , C. Y. Tam , K. Young

Let G be a finite simple group. We show that the commutator map $a : G \times G \to G$ is almost equidistributed as the order of G goes to infinity. This somewhat surprising result has many applications. It shows that for a subset X of G we…

Group Theory · Mathematics 2010-03-16 Shelly Garion , Aner Shalev

Our results can be viewed as applications of algebraic combinatorics in random matrix theory. These applications are motivated by the predictive power of random matrix theory for the statistical behavior of the celebrated Riemann…

Combinatorics · Mathematics 2018-05-21 Helen Riedtmann

For a given sequence $\mathbf{\alpha} = [\alpha_1,\alpha_2,\dots,\alpha_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbf{\alpha})(t)$ that counts the nonnegative integer solutions of the equation…

We examine combinatorial counting functions with two parameters, $n$ and $q$. For fixed $q$, these functions are (quasi-)polynomial in $n$. As $q$ varies, the degree of this polynomial is itself polynomial in $q$, as are the leading…

Combinatorics · Mathematics 2025-07-14 Tristram Bogart , Kevin Woods

Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique solutions of equations using the operations of union and addition $S+T=\makeset{m+n}{m \in S, \: n \in T}$ and…

Formal Languages and Automata Theory · Computer Science 2013-10-28 Artur Jeż , Alexander Okhotin

We present a natural multiplicative theory of integer partitions (which are usually considered in terms of addition), and find many theorems of classical number theory arise as particular cases of extremely general combinatorial structure…

Number Theory · Mathematics 2016-07-07 Robert Schneider

We compute the Hilbert series of the space of $n=3$ variable quasi-invariant polynomials in characteristic $2$ and $3$, capturing the dimension of the homogeneous components of the space, and explicitly describe the generators in the…

Representation Theory · Mathematics 2025-07-15 Frank Wang , Eric Yee

This is a survey of a new type of relativistic space-time framework; the so-called quasi-metric framework. The basic geometric structure underlying quasi-metric relativity is quasi-metric space-time; this is defined as a 4-dimensional…

General Relativity and Quantum Cosmology · Physics 2024-03-20 Dag Østvang

The origin of this study is based on not only explicit formulas of finite sums involving higher powers of binomial coefficients, but also explicit evaluations of generating functions for this sums. It should be emphasized that this study…

Number Theory · Mathematics 2021-04-19 Yilmaz Simsek

With the aim of derive a quasi-monomiality formulation in the context of discrete hypercomplex variables, one will amalgamate through a Clifford-algebraic structure of signature $(0,n)$ the umbral calculus framework with Lie-algebraic…

Complex Variables · Mathematics 2014-10-02 Nelson Faustino

The theory of quasi-arithmetic means is a powerful tool in the study of covariance functions across space-time. In the present study we use quasi-arithmetic functionals to make inferences about the permissibility of averages of functions…

Probability · Mathematics 2007-06-13 E. Porcu , J. Mateu , G. Christakos