相关论文: Proof of Brlek-Reutenauer conjecture
We consider a measure of similarity for infinite words that generalizes the notion of asymptotic or natural density of subsets of natural numbers from number theory. We show that every overlap-free infinite binary word, other than the…
Under conditions of Levinson-Smith type, we prove the existence of a $\tau$-periodic solution for the perturbed generalized Li\'enard equation u''+\phi(u,u')u'+\psi(u)=\epsilon\omega(\frac{t}{\tau},u,u') with periodic forcing term. Also we…
We investigate the equational theory for Kleene algebra terms with variable complements and constant complements -- (language) complement where it applies only to variables or constants -- w.r.t. languages. While the equational theory…
We investigate the homology representation of the symmetric group on rank-selected subposets of subword order. We show that the homology module for words of bounded length, over an alphabet of size $n,$ decomposes into a sum of tensor…
A cylinder $C^1_u$ is the set of infinite words with fixed prefix $u$. A double-cylinder $C^2_{[1,u]}$ is "the same" for bi-infinite words. We show that for every word $u$ and any automorphism $\varphi$ of the free group $F$ the image…
Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Ap\'ery-like numbers. In this paper, we use Beukers' method to prove some conjectures…
Let p_n denote the sequence of all primes and let d_n=p_n-p_{n-1} denote the sequence of all gaps between consecutive primes. In 1948 Erd\H{o}s and Tur\'an showed that d_{n+1}-d_n changes sign infinitely often and together with P\'olya…
In a recent work, Andrews gave analytic proofs of two conjectures concerning some variations of two combinatorial identities between partitions of a positive integer into odd parts and partitions into distinct parts discovered by Beck.…
We prove the conjecture of Friedlander et al. about sums over Littelmann patterns for the the root system of type $G_2$, which is an analogue of Tokuyama's theorem for root systems of type $A_r$. We use elementary means to show that the…
In 1982 Macdonald published his now famous constant term conjectures for classical root systems. This paper begins with the almost trivial observation that Macdonald's constant term identities admit an extra set of free parameters, thereby…
G{\"o}del's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many theories-in particular, of the theory U itself-as well as it forbids to prove the normalization property for these theories, since this…
We show how the techniques of Voevodsky's proof of the Milnor conjecture and the Voevodsky- Rost proof of its generalization the Bloch-Kato conjecture can be used to study counterexamples to the classical L\"uroth problem. By generalizing a…
An infinite word generated by a substitution is rigid if all the substitutions which fix this word are powers of a same substitution. Sturmian words as well as characteristic Arnoux-Rauzy words are known to be rigid. In the present paper,…
We prove that, for every rational $d\ne 0,\pm 1$ and every compact set $K\subset\{s\in\mathbb{C}:1/2<\Re(s)<1\}$ with connected complement, any analytic non-vanishing functions $f_1,f_2$ on $K$ can be approximated, uniformly on $K$, by the…
Given an abelian, CM extension K of any totally real number field k, we consider two conjectures `of Stark type'. The `Integrality Conjecture' concerns the image of a p-adic map `\mathfrak{s}_{K/k,S}' determined by the minus-part of the…
Two finite words $u$ and $v$ are called abelian equivalent if each letter occurs equally many times in both $u$ and $v$. The abelian closure $\mathcal{A}(\mathbf{x})$ of an infinite word $\mathbf{x}$ is the set of infinite words…
In this paper, we study the relation between periodicity of two-dimensional words and their abelian pattern complexity. A pattern $\cal{P}$ in $\mathbb{Z}^n$ is the set of all translations of some finite subset $F$ of $\mathbb{Z}^n$. An…
The relation between the trace and R-current anomalies in 4D supersymmetric theories implies that the U(1)$_R$F$^2$, U(1)$_R$ and U(1)$^3_R$ anomalies which matched in studies of N=1 Seiberg duality satisfy positivity constraints. These…
We prove two positivity conjectures proposed by Guo for alternating sums and factorial ratios built from Gaussian coefficients. The first result proves the positivity of the odd $q$-super Catalan numbers \[…
In correspondence with Goldbach, Euler began investigating series of the form $\sum_{k \geq 1} k^{-m}\left(1 + 2^{-n} + \cdots + k^{-n}\right)$, which are known today as Euler sums. For the case where $n=1$ and $m \geq 2$, Euler was able to…