Related papers: Parametric Presburger arithmetic: logic, combinato…

We reexamine different examples of reduction chains $\mathfrak{g} \supset \mathfrak{g}'$ of Lie algebras in order to show how the polynomials determining the commutant with respect to the subalgebra $\mathfrak{g}'$ leads to polynomial…

In this work, we consider the satisfiability problem in a logic that combines word equations over string variables denoting words of unbounded lengths, regular languages to which words belong and Presburger constraints on the length of…

In this paper, we study greedy variants of quasi-Newton methods. They are based on the updating formulas from a certain subclass of the Broyden family. In particular, this subclass includes the well-known DFP, BFGS and SR1 updates. However,…

A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right…

We establish a poset structure on combinatorial bases of multivariate polynomials defined by positive expansions, and study properties common to bases in this poset. Included are the well-studied bases of Schubert polynomials, Demazure…

We extend past results on a family of formal power series $K_{n, \Lambda}$, parameterized by $n$ and $\Lambda \subseteq [n]$, that largely resemble quasisymmetric functions. This family of functions was conjectured to have the property that…

For $X(n)$ a Rademacher or Steinhaus random multiplicative function, we consider the random polynomials $$ P_N(\theta) = \frac1{\sqrt{N}} \sum_{n\leq N} X(n) e(n\theta), $$ and show that the $2k$-th moments on the unit circle $$ \int_0^1…

Parametric families in the centre ${\bf Z}({\bf C}[S_n])$ of the group algebra of the symmetric group are obtained by identifying the indeterminates in the generating function for Macdonald polynomials as commuting Jucys-Murphy elements.…

Evaluating or finding the roots of a polynomial $f(z) = f_0 + \cdots + f_d z^d$ with floating-point number coefficients is a ubiquitous problem. By using a piecewise approximation of $f$ obtained with a careful use of the Newton polygon of…

We consider the group $(\mathcal{G},*)$ of unitized multiplicative functions in the incidence algebra of non-crossing partitions, where ``$*$'' denotes the convolution operation. We introduce a larger group $(\widetilde{\mathcal{G}},*)$ of…

We study the point pair function in subdomains $G$ of $\mathbb{R}^n$. We prove that, for every domain $G\subsetneq\mathbb{R}^n$, the this function is a quasi-metric with the constant less than or equal to $\sqrt{5}\slash2$. Moreover, we…

In this paper, we construct families of polynomials defined by recurrence relations related to mean-zero random walks. We show these families of polynomials can be used to approximate $z^n$ by a polynomial of degree $\sim \sqrt{n}$ in…

We explore families of pairs of quadratic polynomials $f(x)=x^2+c\in \mathbb{Q}$ and $a\in \mathbb{Q}$ with $a$ being a strictly preperiodic point of $f$ to provide infinitely many new examples for which the associated arboreal Galois…

Let ${\mathbf P}$ be the class of polynomial-time decision problems and $\mathbf{NP}$ be the class of nondeterministic polynomial time decision problems. We prove the following: Theorem 3. The classes ${\mathbf P}$ and $\mathbf{NP}$ are…

If P is a rational polytope in R^d, then $i_P(t):=#(tP\cap Z^d)$ is a quasi-polynomial in t, called the Ehrhart quasi-polynomial of P. A period of i_P(t) is D(P), the smallest positive integer D such that D*P has integral vertices. Often,…

We study a family of monic orthogonal polynomials which are orthogonal with respect to the varying, complex valued weight function, $\exp(nsz)$, over the interval $[-1,1]$, where $s\in\mathbb{C}$ is arbitrary. This family of polynomials…

The present article introduces ptarithmetic (short for "polynomial time arithmetic") -- a formal number theory similar to the well known Peano arithmetic, but based on the recently born computability logic (see…

Given a bounded valence, bushy tree T, we prove that any cobounded quasi-action of a group G on T is quasiconjugate to an action of G on another bounded valence, bushy tree T'. This theorem has many applications: quasi-isometric rigidity…

We introduce two families of symmetric functions with an extra parameter t that specialize to Schubert representatives for cohomology and homology of the affine Grassmannian when t = 1. The families are defined by a statistic on…

In this paper we introduce an equivalence relation on the classes of almost periodic functions of a real or complex variable which is used to refine Bochner's result that characterizes these spaces of functions. In fact, with respect to the…