Related papers: D-finiteness, rationality, and height
An FI- or an OI-module $\mathbf{M}$ over a corresponding noetherian polynomial algebra $\mathbf{P}$ may be thought of as a sequence of compatible modules $\mathbf{M}_n$ over a polynomial ring $\mathbf{P}_n$ whose number of variables depends…
Power series are introduced that are simultaneously convergent for all real and p-adic numbers. Our expansions are in some aspects similar to those of exponential, trigonometric, and hyperbolic functions. Starting from these series and…
We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given…
Let $\sum a_nx^n\in\bar{\mathbb{Q}}[[x]]$ be the power series representation of a rational function and let $f:\ \{0,1,\ldots\}\rightarrow \bar{\mathbb{Q}}$ be a so-called almost quasi-polynomial. Under a necessary stability condition, we…
We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…
Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The…
We show that the n-fold integrals $\chi^{(n)}$ of the magnetic susceptibility of the Ising model, as well as various other n-fold integrals of the "Ising class", or n-fold integrals from enumerative combinatorics, like lattice Green…
A result of Graber, Harris, and Starr shows that a rationally connected variety defined over the function field of a curve over the complex numbers always has a rational point. Similarly, a separably rationally connected variety over a…
The manuscript reviews Dirichlet Series of important multiplicative arithmetic functions. The aim is to represent these as products and ratios of Riemann zeta-functions, or, if that concise format is not found, to provide the leading…
It is well known that any power series over a finite field represents a rational function if and only if its sequence of coefficients is ultimately periodic. The famous Christol's Theorem states that a power series over a finite field is…
A rational function $f(x)$ is rationally summable if there exists a rational function $g(x)$ such that $f(x)=g(x+1)-g(x)$. Detecting whether a given rational function is summable is an important and basic computational subproblem that…
We describe those unipotent representations of a finite group of Lie type which are defined over the rational numbers.
Fix positive integers $n,r,d$. We show that if $n,r,d$ satisfy a suitable inequality, then any smooth hypersurface $X\subset \mathbb{P}^n$ defined over a finite field of characteristic $p$ sufficiently large contains a rational $r$-plane.…
Sawin recently gave an axiomatic characterization of multiple Dirichlet series over the function field $\mathbb{F}_{q}(T)$ and proved their existence by exhibiting the coefficients as trace functions of specific perverse sheaves. However,…
The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.
We study the relationship between Bell states, finite groups and complete sets of bases. We show how to obtain a set of N+1 bases in which Bell states are invariant. They generalize the X, Y and Z qubit bases and are associated to groups of…
Toric ideals to hierarchical models are invariant under the action of a product of symmetric groups. Taking the number of factors, say m, into account, we introduce and study invariant filtrations and their equivariant Hilbert series. We…
Let $k$ be a field of characteristic zero, let $R$ be the ring of formal power series in $n$ variables over $k$ and let $D(R,k)$ be the ring of $k-$linear differential operators in $R$. If $M$ is a finitely generated $D(R,k)-$module then…
We study the relations between the finite generation of Cox ring, the rationality of Euler-Chow series and Poincar\'e series and Zariski's conjecture on dimensions of linear systems. We prove that if the Cox ring of a smooth projective…
Multilinear varieties, defined as the sets of rational points of varieties cut out by multilinear functions, were first introduced and studied by Gowers and Mili\'{c}evi\'{c}[Proc. Edinb. Math. Soc., 2021] for finite $\mathbb{K}$. In this…