sequence
6845 papers tagged with this keyword
Cryptarithmically unique terms in integer sequences
A cryptarithm (or alphametic) is a mathematical puzzle in which numbers are represented with words in such a way that identical letters stand for equal digits and distinct letters for unequal digits. An alphametic puzzle is usually given in the form of an equation that needs to be solved, such as SEND + MORE = MONEY. Alternatively, here we will consider cryptarithms constrained not by an equation but by a particular subsequence of natural numbers, for example perfect squares or primes. Such a cryptarithm has a unique solution if there is exactly one term in the sequence that has the corresponding pattern of digits. We will call such terms cryptarithmically unique. Here we estimate the density of such terms in an arbitrary sequence for which the overall density of terms among integers is known. In particular, among all perfect squares below 10^12, slightly less than one half are cryptarithmically unique, their density increasing toward larger numbers. Cryptarithmically unique prime numbers, however, are initially very scarce. Combinatorial estimates suggest that their density should drop below 10^-300 for decimal lengths of approximately 1829 digits, but then it recovers and is asymptotic to unity for very large primes. Finally, we introduce and discuss primonumerophobic digit patterns that no prime number happens to have.
Centralizers in the plactic monoid
Let u be a word over the positive integers. Motivated in part by a question from representation theory, we study the centralizer set of u which is C(u) = {w | uw is Knuth-equivalent to wu}. In particular, we give various necessary conditions for w to be in C(u). We also characterize C(u) when u has few letters, when it has a single repeated entry, or when it is a certain type of decreasing sequence. We consider c_{n,m}(u), the number of w in C(u) of length n with max w at most m. We prove that for |u| = 1 the value of this function depends only on the relative sizes of u and m and not on their actual values. And for various u we use Stanley's theory of poset partitions to show that, for fixed n, c_{n,m}(u) is a polynomial in m with certain degree and leading coefficient. We end with various conjectures and directions for further research.
Garsia--Remmel $q$-rook numbers are not always unimodal
We show by an explicit example that the Garsia--Remmel $q$-rook numbers of Ferrers boards do not all have unimodal sequences of coefficients. This resolves in the negative a question from 1986 by the aforementioned authors.
Counting independent sets in regular graphs with bounded independence number
An $n$-vertex, $d$-regular graph can have at most $2^{n/2+o_d(n)}$ independent sets. In this paper we address what happens with this upper bound when we impose the further condition that the graph has independence number at most $α$.
We give upper and lower bounds that in many cases are close to each other. In particular, for each $0 < c_{\rm ind} \leq 1/2$ we exhibit a constant $k(c_{\rm ind})$ such that if $(G_n)_{n \in {\mathbb N}}$ is a sequence of graphs with $G_n$ $d$-regular on $n$ vertices and with maximum independent set size at most $α$, with $d\rightarrow \infty$ and $α/n \rightarrow c_{\rm ind}$ as $n \rightarrow \infty$, then $G_n$ has at most $k(c_{\rm ind})^{n+o(n)}$ independent sets, and we show that there is a sequence $(G_n)_{n \in {\mathbb N}}$ of graphs with $G_n$ $d$-regular on $n$ vertices ($d \leq n/2$) and with maximum independent set size at most $α$, with $α/n \rightarrow c_{\rm ind}$ as $n \rightarrow \infty$ and with $G_n$ having at least $k(c_{\rm ind})^{n+o(n)}$ independent sets. We also consider the regime $1/2 < c_{\rm ind} < 1$. Here for each $0 < c_{\rm deg} \leq 1-c_{\rm ind}$ we exhibit a constant $k(c_{\rm ind},c_{\rm deg})$ for which an analogous pair of statements can be proven, except that in each case we add the condition $d/n \rightarrow c_{\rm deg}$ as $n \rightarrow \infty$.
Our upper bounds are based on graph container arguments, while our lower bounds are constructive.
On maximal almost balanced non-overlapping codes and non-overlapping codes with restricted run-lengths
Published
• View Publication
• BIB
This paper concerns non-overlapping codes, block codes motivated by synchronisation and DNA-based storage applications. Most existing constructions of these codes do not account for the restrictions posed by the physical properties of communication channels. If undesired sequences are not avoided, the system using the encoding may start behaving incorrectly. Hence, we aim to characterise all non-overlapping codes satisfying two additional constraints. For the first constraint, where approximately half of the letters in each word are positive, we derive necessary and sufficient conditions for the code's non-expandability and improve known bounds on its maximum size. We also determine exact values for the maximum sizes of polarity-balanced non-overlapping codes having small block and alphabet sizes. For the other constraint, where long sequences of consecutive equal symbols lead to undesired behaviour, we derive bounds and constructions of constrained non-overlapping codes. Moreover, we provide constructions of non-overlapping codes that satisfy both constraints and analyse the sizes of the obtained codes.
Growth of recurrences with mixed multifold convolutions
Generalizing some popular sequences like Catalan's number, Schröder's number, etc, we consider the sequence $s_n$ with $s_0=1$ and for $n\ge 1$, \begin{multline*}
s_n=\sum_{x_1+\dots+x_{\ell_1}=n-1} κ_1 s_{x_1}\dots s_{x_{\ell_1}} + \dots +\sum_{x_1+\dots+x_{\ell_{t'}}=n-1} κ_{t'} s_{x_1}\dots s_{x_{\ell_{t'}}}+\\ \max_{x_1+\dots+x_{\ell_{t'+1}}=n-1} κ_{t'+1} s_{x_1}\dots s_{x_{\ell_{t'+1}}} + \dots + \max_{x_1+\dots+x_{\ell_t}=n-1} κ_t s_{x_1}\dots s_{x_{\ell_t}}, \end{multline*} where $x_i$ are nonnegative integers, $\ell_1,\dots,\ell_t$ are positive integers, and $κ_1,\dots,κ_t$ are positive reals. We show that it is possible to compute the growth rate $λ$ of $s_n$ to any precision. In particular, for every $n\ge 2$,
\[
\sqrt[n]{\frac{κ^*}{\mathcal L(n-1) s_1} s_n} \le λ\le \sqrt[n]{3^{18\log 3 + 2\log\frac{s_1\mathcal L^2}{κ^*}} n^{3\log n + 12\log 3 + \log\frac{s_1\mathcal L^2}{κ^*}} s_n},
\]where $\mathcal L=\max_i \ell_i$ and $κ^*=κ_i$ for some $i$ with $\ell_i\ge 2$, and the logarithm has the base $\frac{\mathcal L+1}{\mathcal L}$. The constants in the inequalities are not very well optimized and serve mostly as a proof of concept with the ratio of the upper bound and the lower bound converging to $1$ as $n$ goes to infinity.
Asymptotic Normality and Concentration Inequalities of Statistics of Core Partitions with Bounded Perimeters
Core partitions have attracted much attention since Anderson's work (2002) on the number of $(s,t)$-core partitions for coprime $s,t$. Recently, there has been a growing interest in studying the limiting distributions of the sizes of random simultaneous core partitions. In this paper, we prove the asymptotic normality of certain statistics of uniform random core partitions with bounded perimeters in the Kolmogorov and Wasserstein $W_1$ distances, including the length and size of a random (strict) $n$-core partition, the length of the Durfee square and the size of a random self-conjugate $n$-core partition. Accordingly, we prove that these statistics are subgaussian. This contrasts with the asymptotic behavior of the size of a random $(s, t)$-core partition for coprime $s,t$ studied by Even-Zohar (2022), which converges in law to Watson's $U^2$ distribution. Our results show that the distribution of the size of a random strict $(n, dn+1)$-core partition is asymptotically normal when $d \ge 3$ is fixed and $n$ tends to infinity, which is an analog of Zaleski's conjecture (2017) and covers Komlós, Sergel, and Tusnády's result (2020) as a special case. Our proof integrates a variety of combinatorial and probabilistic tools, including Stein's method based on Hoeffding decomposition, Hoeffding's combinatorial central limit theorem, the Efron-Stein inequalities on product spaces and slices, and asymptotics of Pólya frequency sequences. Furthermore, our approach is potentially applicable to the study of the asymptotic normality of functionals of random variables with certain global dependence structures that can be decomposed into appropriate mixture forms.
Limits of sparse hypergraphs
We generalize ultraproducts and local-global limits of graphs to hypergraphs and other structures. We show that the local statistics of an ultraproduct of a sequence of hypergraphs are the ultralimits of the local statistics of the hypergraphs. Using some standard results from model theory, we conclude that the space of (equivalence classes of) pmp hypergraphs with the topology of local-global convergence is compact, and that any countable set of local statistics for a pmp hypergraph can be realized as the statistics of a set of labellings (rather than just approximated) in a local-global equivalent hypergraph.
We give two applications. First, we characterize those structures where any solution to the corresponding CSP can be turned into a measurable solution. These turn out to be the width-1 structures. We can also use the limit machinery to extract from this theorem a purely finitary characterizations of width-1 structures involving asymptotic solutions.
Second, we prove two measurable versions of the Frankl--Rödl matching theorem using measurable nibble and differential equation arguments. The measurable proofs are much softer than the purely finitary results. And, we can recover the finitary theorems using the limit machinery.
Faber-Krahn type inequality for supertrees
The Faber-Krahn inequality states that the first Dirichlet eigenvalue among all bounded domains is no less than a Euclidean ball with the same volume in $\mathbb{R}^n$ \cite{Chavel FB}. Bıyıkoğlu and Leydold (J. Comb. Theory, Ser. B., 2007) demonstrated that the Faber-Krahn inequality also holds for the class of trees with boundary with the same degree sequence and characterized the unique extremal tree. Bıyıkoğlu and Leydold (2007) also posed a question as follows: Give a characterization of all graphs in a given class $\mathcal{C}$ with the Faber-Krahn property. In this paper, we address this question specifically for $k$-uniform supertrees with boundary. We introduce a spiral-like ordering (SLO-ordering) of vertices for supertrees, an extension of the SLO-ordering for trees initially proposed by Pruss [ Duke Math. J., 1998], and prove that the SLO-supertree has the Faber-Krahn property among all supertrees with a given degree sequence. Furthermore, among degree sequences that have a minimum degree $d$ for interior vertices, the SLO-supertree with degree sequence $(d,\ldots,d, d', 1, \dots, 1)$ possesses the Faber-Krahn property.
Average-case matrix discrepancy: satisfiability bounds
Given a sequence of $d \times d$ symmetric matrices $\{\mathbf{W}_i\}_{i=1}^n$, and a margin $Δ> 0$, we investigate whether it is possible to find signs $(ε_1, \dots, ε_n) \in \{\pm 1\}^n$ such that the operator norm of the signed sum satisfies $\|\sum_{i=1}^n ε_i \mathbf{W}_i\|_{\rm op} \leq Δ$. Kunisky and Zhang (2023) recently introduced a random version of this problem, where the matrices $\{\mathbf{W}_i\}_{i=1}^n$ are drawn from the Gaussian orthogonal ensemble. This model can be seen as a random variant of the celebrated Matrix Spencer conjecture and as a matrix-valued analog of the symmetric binary perceptron in statistical physics. In this work, we establish a satisfiability transition in this problem as $n, d \to \infty$ with $n / d^2 \to τ> 0$. First, we prove that the expected number of solutions with margin $Δ=κ\sqrt{n}$ has a sharp threshold at a critical $τ_1(κ)$: for $τ< τ_1(κ)$ the problem is typically unsatisfiable, while for $τ> τ_1(κ)$ the average number of solutions is exponentially large. Second, combining a second-moment method with recent results from Altschuler (2023) on margin concentration in perceptron-type problems, we identify a second threshold $τ_2(κ)$, such that for $τ>τ_2(κ)$ the problem admits solutions with high probability. In particular, we establish that a system of $n = Θ(d^2)$ Gaussian random matrices can be balanced so that the spectrum of the resulting matrix macroscopically shrinks compared to the semicircle law. Finally, under a technical assumption, we show that there exists values of $(τ,κ)$ for which the number of solutions has large variance, implying the failure of the second moment method. Our proofs rely on establishing concentration and large deviation properties of correlated Gaussian matrices under spectral norm constraints.
Caterpillars with given degree sequence, small Energy and small Hosoya index
The energy $En(G)$ of a graph $G$ is defined as the sum of the absolute values of its eigenvalues. The Hosoya index $Z(G)$ of a graph $G$ is the number of independent edge subsets of $G$, including the empty set. For any given degree sequence $D$, we characterize the caterpillar $\mathcal{S}(D)$ that has the minimum $Z$ and $En$. %and maximum $σ$. In $\mathcal{S}(D)$, as we move along the internal path towards the center, large and small degrees alternate. We also compare $\mathcal{S}(D)$ with $\mathcal{S}(Y)$, for a degree sequence $Y$ majorized by a degree sequence $D$. Suppose $Y=(y_1,\dots ,y_n)$ and $D=(d_1,\dots ,d_n)$ are degree sequences such that $Y$ is majorized by $D$ and$$\sum_{i=1}^{n}y_i=\sum_{i=1}^{n}d_i,$$then $Z(\mathcal{S}(D))<Z(\mathcal{S}(Y))$ and $En(\mathcal{S}(D))<En(\mathcal{S}(Y))$.
Sequences of odd length in strict partitions II: the $2$-measure and refinements of Euler's theorem
The number of sequences of odd length in strict partitions (denoted as $\mathrm{sol}$), which plays a pivotal role in the first paper of this series, is investigated in different contexts, both new and old. Namely, we first note a direct link between $\mathrm{sol}$ and the $2$-measure of strict partitions when the partition length is given. This notion of $2$-measure of a partition was introduced quite recently by Andrews, Bhattacharjee, and Dastidar. We establish a $q$-series identity in three ways, one of them features a Franklin-type involuion. Secondly, still with this new partition statistic $\mathrm{sol}$ in mind, we revisit Euler's partition theorem through the lens of Sylvester-Bessenrodt. Two new bivariate refinements of Euler's theorem are established, which involve notions such as MacMahon's 2-modular Ferrers diagram, the Durfee side of partitions, and certain alternating index of partitions that we believe is introduced here for the first time.
Seminorm estimates and joint ergodicity for pairwise independent Hardy sequences
We develop a robust structure theory for multiple ergodic averages of commuting transformations along Hardy sequences of polynomial growth. We then apply it to derive a number of novel results on joint ergodicity, recurrence and convergence. In particular, we prove joint ergodicity for (a) pairwise independent Hardy sequences and weakly mixing transformations, (b) strongly independent Hardy sequences and ergodic transformations, (c) strongly irrationally independent Hardy sequences and totally ergodic transformations. We use these joint ergodicity results to provide new recurrence results for multidimensional patterns along strongly independent Hardy sequences, showing for instance that all subsets of $\mathbb{Z}^2$ of positive upper density contain patterns of the form
$$ (m_1, m_2),\; (m_1 + \lfloor n^{\sqrt{2}}\rfloor, m_2),\; (m_1, m_2 + \lfloor n^{\sqrt{2}} + n^{1/2}\rfloor).$$
Last but not least, we positively resolve the joint ergodicity classification problem for pairwise independent Hardy sequences, of which the aforementioned families are special cases.
While building on recent technical advances (e.g. PET coefficient tracking schemes and joint ergodicity criteria), our work introduces a number of technical developments of its own. We construct a suitable generalization of Host-Kra and box seminorms that quantitatively control ergodic averages along Hardy sequences.
We subsequently use them to obtain Host-Kra seminorm estimates for averages along all pairwise independent Hardy sequences. Furthermore, we develop an ergodic version of the quantitative concatenation argument that has recently found extensive use in combinatorics, number theory and harmonic analysis. Lastly, we obtain new simultaneous Taylor approximations for Hardy sequences, a crucial ingredient to deal with the aforementioned classes of Hardy sequences.
The $O(1/n^{85})$ Asymptotic expansion of OEIS sequence A85
One of the most important sequences in enumerative combinatorics is OEIS sequence A85, the number of involutions of length n. In the Art of Computer Programming, vol. 3, Don Knuth derived the O(1/n) asymptotic formula for these numbers. In this modest tribute to our two heroes, Neil Sloane who just turned 85, and Don Knuth who was 85 a year ago, we go all the way to an $O(1/n^{85})$ asymptotic formula.
Subdivision method in the Laplacian matching polynomial
As a bridge connecting the matching polynomial and the Laplacian matching polynomial of graphs, the subdivision method is expected to be useful for investigating the Laplacian matching polynomial. In this paper, we study applications of the method from three aspects. We prove that the zero sequence of the Laplacian matching polynomial of a graph majorizes its degree sequence, establishing a dual relation between the Laplacian matching polynomial and the characteristic polynomial of the signless Laplacian matrix of graphs. In addition, from different viewpoints, we give a new combinatorial interpretations for the coefficients of the Laplacian matching polynomial.
An algebraic interpretation of Eulerian polynomials, derangement polynomials, and beyond, via Gröbner methods
Motivated by the question of whether Chow polynomials of matroids have only real roots, this article revisits the known relationship between Eulerian polynomials and the Hilbert series of Chow rings of permutohedral varieties. This is done using a quadratic Gröbner basis associated to a new presentation of those rings, which is obtained by iterating the semi-small decomposition of Chow rings of matroids. This Gröbner basis can also be applied to compute certain principal ideals in these rings, and ultimately reestablish the known connection between derangement polynomials and the Hilbert series of Chow rings for corank 1 uniform matroids. More broadly, this approach enables us to express the Hilbert series of Chow rings for any uniform matroid as polynomials related to the ascent statistics on particular sets of inversion sequences.
On generating $k$-factorable graphic sequences with connected (resp.no connected) $k$-factors
In this note, we consider the problem of generating $k$-factorable graphic sequences with connected (resp. no connected) $k$-factors.
Relative position in binary substitutions
Given an infinite word ${\bf w}$ on a finite alphabet, an immediate question arises:~can we understand the frequency of letters in ${\bf w}$\,? For words that are the fixed points of substitutions, the answer to this question is often `yes' -- the details and methods of these answers have been well-documented. In this paper, toward a better-understanding of the fixed points of binary substitutions, we delve deeper by investigating, in fine detail, the position of letters by defining various position functions and proving results about their behavior. Our analysis reveals new information about the Fibonacci substitution and the extended Pisa family of substitutions, as well as a new characterization of the Thue--Morse sequence.
On Vu's theorem in Waring's problem for thinner sequences
Let $k\in \mathbb{N}$ and $s\geq k(\log k+3.20032)$. Let $\mathbb{N}_{0}^{k}$ be the set of $k$-th powers of nonnegative integers. Assume that $ψ$ is an increasing function tending to infinity with $ψ(x)=o(\log x)$ and satifying some regularity conditions. Then, there exists a subsequence $\mathfrak{X}_{k}=\mathfrak{X}_{k}(s)\subset\mathbb{N}_{0}^{k}$ for which the number of representations $R_{s}(n;\mathfrak{X}_{k})$ of each $n\in\mathbb{N}$ as $$n=x_{1}^{k}+\ldots+x_{s}^{k}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x_{i}^{k}\in\mathfrak{X}_{k}$$ satisfies the asymptotic formula $$ R_{s}(n;\mathfrak{X}_{k})\sim \mathfrak{S}(n)ψ(n)$$ for almost all natural numbers $n$, with $\mathfrak{S}(n)$ being the singular series associated to Waring's problem. If moreover $s\geq k(\log k+4.20032)$ the above conclusion holds for almost all $n\in [X,X+\log X]$ as $X\to\infty$.
Let $T(k)$ be the least natural number for which it is known that all large integers are the sum of $T(k)$ $k$-th powers of natural numbers. We also show for $k\geq 14$ and every $s\geq T(k)$ the existence of a sequence $\mathfrak{X}_{k}'\subset \mathbb{N}_{0}^{k}$ satisfying $$R_{s}(n;\mathfrak{X}_{k}')\asymp \log n$$ for every sufficiently large $n$. The latter conclusion sharpens a result of Wooley and addresses a question of Vu.
Regions of Level $\ell$ of Catalan/Semiorder-Type Arrangements
In 1996, Stanley extended the classical Catalan arrangement and semiorder arrangement, which are called the Catalan-type arrangement $\mathcal{C}_{n,A}$ and the semiorder-type arrangement $\mathcal{C}_{n,A}^*$ in this paper. By establishing a labeled Dyck path model for the regions of $\mathcal{C}_{n,A}$ and $\mathcal{C}_{n,A}^*$, this paper explores several enumerative problems related to the number of regions of level $\ell$, denoted as $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$, which includes:
(1) proving a Stirling convolution relation between $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$, refining a result by Stanley and Postnikov;
(2) showing that the sequences$\left(r_\ell{(\mathcal{C}_{n,A})}\right)_{n\geq 0}$ and $(r_\ell {(\mathcal{C}_{n,A}^*)})_{n\geq 0}$ exhibit properties of binomial type in the sense of Rota;
(3) establishing the transformational significance of $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$ under Stanley's ESA framework: they can be viewed as transition matrices from binomial coefficients to their characteristic polynomials respectively.
Further, we present two applications of the theories and methods: first, we provide a hyperplane arrangement counting interpretation of the two-parameter generalization of Fuss--Catalan numbers, which is closely related to the number of regions of level $\ell$ in the $m$-Catalan arrangement. Second, using labeled Dyck paths to depict the number of regions in the $m$-Catalan arrangement, we algorithmically provide the inverse mapping of the Fu, Wang, and Zhu mapping.