sequence
6966 papers tagged with this keyword
A finite totally nonnegative Grassmannian
We introduce totally nonnegative Grassmannians over finite fields where an element of a finite field is nonnegative if it is a square of an element of the finite field. Explicit point counts are given in some special cases where we find new interpretations of sequences in the On-Line Encyclopedia of Integer Sequences (OEIS). We compare and contrast the theory of totally nonnegative Grassmannians over a finite field with the traditional case of the field of real numbers.
Universality for roots of derivatives of entire functions via finite free probability
A universality conjecture of Farmer and Rhoades [Trans. Amer. Math. Soc., 357(9):3789--3811, 2005] and Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022] asserts that, under some natural conditions, the roots of an entire function should become perfectly spaced in the limit of repeated differentiation. This conjecture is known as Cosine Universality. We establish this conjecture for a class of even entire functions with only real roots which are real on the real line. Along the way, we establish a number of additional universality results for Jensen polynomials of entire functions, including the Hermite Universality conjecture of Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022]. Our proofs are based on finite free probability theory. We establish finite free probability analogs of the law of large numbers, central limit theorem, and Poisson limit theorem for sequences of deterministic polynomials under repeated differentiation, under optimal moment conditions, which are of independent interest.
On a Conjecture about Ron Graham's Sequence
Ron Graham's Sequence is a surprising bijection from non-negative integers to non-negative, non-prime integers that was introduced by Ron Graham in the June 1986 "Problems" column of $\textit{Mathematics Magazine}$, and which later appeared in Problem A2 of the 2013 William Lowell Putnam Mathematical Competition. We describe some properties of this function, give an algorithm for computing its values in pseudo-polynomial time, and prove a 22 year-old conjecture about an upper bound for the function.
Many cliques with small degree powers
Suppose $0 < p \le \infty$. For a simple graph $G$ with a vertex-degree sequence $d_1, \dots, d_n$ satisfying $(d_1^p + \dots + d_n^p)^{1/p} \le C$, we prove asymptotically sharp upper bounds on the number of $t$-cliques in $G$. This result bridges the $p = 1$ case, which is the notable Kruskal--Katona theorem, and the $p = \infty$ case, known as the Gan--Loh--Sudakov conjecture, and resolved by Chase. In particular, we demonstrate that the extremal construction exhibits a dichotomy between a single clique and multiple cliques at $p_0 = t - 1$. Our proof employs the entropy method.
On minimizing the Wiener index of unicyclic graphs with fixed girth and given degree sequence
The Wiener index of a graph is the sum of all the distances between any pair of vertices. We aim to describe graphs which minimize the Wiener index among all unicyclic graphs with fixed girth and given degree sequence. Depending on where the centroid of the graph is, we will present three candidates for the minimization, namely the greedy unicyclic graph, the cycle-centered graph and the out-greedy unicyclic graph.
Misere Connect Four is Solved
Published
• View Publication
• BIB
Connect Four is a two-player game where each player attempts to be the first to create a sequence of four of their pieces, arranged horizontally, vertically, or diagonally, by dropping pieces into the columns of a grid of width seven and height six, in alternating turns. Misere Connect Four is played by the same rules, but with the opposite objective: do not connect four. This paper announces that Misere Connect Four is solved: perfect play by both sides leads to a second-player win. More generally, this paper also announces that Misere Connect $k$ played on a $w \times h$ board is also solved, but the outcome depends on the game's parameters $k$, $w$, and $h$, and may be a first-player win, a second-player win, or a draw. These results are constructive, meaning that we provide explicit strategies, thus enabling readers to impress their friends and foes alike with provably optimal play in the misere form of a table-top game for children.
Log-Concave Sequences in Coding Theory
Published
• View Publication
• BIB
We introduce the notion of logarithmically concave (or log-concave) sequences in Coding Theory. A sequence $a_0, a_1, \dots, a_n$ of real numbers is called log-concave if $a_i^2 \ge a_{i-1}a_{i+1}$ for all $1 \le i \le n-1$. A natural sequence of positive numbers in coding theory is the weight distribution of a linear code consisting of the nonzero values among $A_i$'s where $A_i$ denotes the number of codewords of weight $i$. We call a linear code log-concave if its nonzero weight distribution is log-concave. Our main contribution is to show that all binary general Hamming codes of length $2^r -1$ ($r=3$ or $r \ge 5$), the binary extended Hamming codes of length $2^r ~(r \ge 3)$, and the second order Reed-Muller codes $R(2, m)~ (m \ge 2)$ are all log-concave while the homogeneous and projective second order Reed-Muller codes are either log-concave, or 1-gap log-concave. Furthermore, we show that any MDS $[n, k]$ code over $\mathbb F_q$ satisfying $3 \leqslant k \leqslant n/2 +3$ is log-concave if $q \geqslant q_0(n, k)$ which is the larger root of a quadratic polynomial. Hence, we expect that the concept of log-concavity in coding theory will stimulate many interesting problems.
On a combinatorial puzzle arising from the theory of Lascoux polynomials
Published
• View Publication
• BIB
Lascoux polynomials are a class of nonhomogeneous polynomials which form a basis of the full polynomial ring. Recently, Pan and Yu showed that Lascoux polynomials can be defined as generating polynomials for certain collections of diagrams consisting of unit cells arranged in the first quadrant generated from an associated ``key diagram" by applying sequences of ``$K$-Kohnert moves". Within diagrams generated in this manner, certain cells are designated as special and referred to as ``ghost cells". Given a fixed Lascoux polynomial, Pan and Yu established a combinatorial algorithm in terms of ``snow diagrams" for computing the maximum number of ghost cells occurring in a diagram defining a monomial of the given polynomial; having this value allows for one to determine the total degree of the given Lascoux polynomial. In this paper, we study the combinatorial puzzle which arises when one replaces key diagrams by arbitrary diagrams in the definition of Lascoux polynomials. Specifically, given an arbitrary diagram, we consider the question of determining the maximum number of ghost cells contained within a diagram among those formed from our given initial one by applying sequences of $K$-Kohnert moves. In this regard, we establish means of computing the aforementioned max ghost cell value for various families of diagrams as well as for diagrams in general when one takes a greedy approach.
Additive word complexity and Walnut
In combinatorics on words, a classical topic of study is the number of specific patterns appearing in infinite sequences. For instance, many works have been dedicated to studying the so-called factor complexity of infinite sequences, which gives the number of different factors (contiguous subblocks of their symbols), as well as abelian complexity, which counts factors up to a permutation of letters. In this paper, we consider the relatively unexplored concept of additive complexity, which counts the number of factors up to additive equivalence. We say that two words are additively equivalent if they have the same length and the total weight of their letters is equal. Our contribution is to expand the general knowledge of additive complexity from a theoretical point of view and consider various famous examples. We show a particular case of an analog of the long-standing conjecture on the regularity of the abelian complexity of an automatic sequence. In particular, we use the formalism of logic, and the software Walnut, to decide related properties of automatic sequences. We compare the behaviors of additive and abelian complexities, and we also consider the notion of abelian and additive powers. Along the way, we present some open questions and conjectures for future work.
Convergence of distributions on paths
Published in In: Fernau, H., Jansen, K. (eds) Fundamentals of Computation Theory. FCT 2023. Lecture Notes in Computer Science, vol 14292. Springer
• View Publication
• BIB
We study the convergence of distributions on finite paths of weighted digraphs, namely the family of Boltzmann distributions and the sequence of uniform distributions. Targeting applications to the convergence of distributions on paths, we revisit some known results from reducible nonnegative matrix theory and obtain new ones, with a systematic use of tools from analytic combinatorics. In several fields of mathematics, computer science and system theory, including concurreny theory, one frequently faces non strongly connected weighted digraphs encoding the elements of combinatorial structures of interest; this motivates our study.
Isomorphisms of graphs of Hyperbinary Expansions and Efficient Algorithms for Stern's Diatomic Sequence
Published
• View Publication
• BIB
To investigate hyperbinary expansions of a nonnegative integer~$n$, an edge-labeled directed graph $A(n)$ has recently been introduced. After pointing out some new simple facts about its cyclomatic number, we give a relatively simple description of its structure and prove that if $m,n$ are even numbers for which $A(n)$ and $A(m)$ are isomorphic as edge-labeled graphs, then $m=n$. From the structure of $A(n)$ we also derive a formula related to Stern's diatomic sequence, and in the same vein discuss some algorithms that recently appeared in the literature.
Word length, bias and bijections in Penney's ante
Published
• View Publication
• BIB
Fix two words over the binary alphabet $\{0,1\}$, and generate iid Bernoulli$(p)$ bits until one of the words occurs in sequence. This setup, commonly known as Penney's ante, was popularized by Conway, who found (in unpublished work) a simple formula for the probability that a given word occurs first. We study win probabilities in Penney's ante from an analytic and combinatorial perspective, building on previous results for the case $p = \frac{1}{2}$ and words of the same length. For words of arbitrary lengths, our results bound how large the win probability can be for the longer word. When $p = \frac{1}{2}$ we characterize when a longer word can be statistically favorable, and for $p \neq \frac{1}{2}$ we present a conjecture describing the optimal pairs, which is supported by computer computations. Additionally, we find that Penney's ante often exhibits symmetry under the transformation $p \to 1-p$. We construct new explicit bijections that account for these symmetries, under conditions that can be easily verified by examining auto- and cross-correlations of the words.
Extremal number of arborescences
Published
• View Publication
• BIB
In this paper we study the following extremal graph theoretic problem: Given an undirected Eulerian graph $G$, which Eulerian orientation minimizes or maximizes the number of arborescences? We solve the minimization for the complete graph $K_n$, the complete bipartite graph $K_{n,m}$, and for the so-called double graphs, where there are even number of edges between any pair of vertices.
In fact, for $K_n$ we prove the following stronger statement. If $T$ is a tournament on $n$ vertices with out-degree sequence $d_1^+,\dots ,d^+_n$, then $$\mathrm{allarb}(T)\geq \frac{1}{n}\left(\prod_{k=1}^n(d^+_k+1)+\prod_{k=1}^nd^+_k\right),$$ where $\mathrm{allarb}(T)$ is the total number of arborescences. Equality holds if and only if $T$ is a locally transitive tournament.
We also give an upper bound for the number of arborescences of an Eulerian orientation for an arbitrary graph $G$. This upper bound can be achieved on $K_n$ for infinitely many $n$.
Number of Eulerian orientations for Benjamini--Schramm convergent graph sequences
For a graph $G$ let $\varepsilon(G)$ denote the number of Eulerian orientations, and $v(G)$ denote the number of vertices of $G$. We show that if $(G_n)_n$ is a sequence of Eulerian graphs that are convergent in Benjamini--Schramm sense, then $\lim\limits_{n\to \infty}\frac{1}{v(G_n)}\ln \varepsilon(G_n)$ is convergent.
Enumerating all geodesics
By "geodesic" we mean any sequence of vertices $(v_1,v_2,...,v_k)$ of a graph $G$ that constitute a shortest path from $v_1$ to $v_k$. We propose a novel, natural algorithm to enumerate all geodesics of $G$, and pit it (using Mathematica) against the standard procedure for the task. The distance matrix $D(G)$ plays a crucial role in this. In fact, part of our article is devoted to survey its many uses in related tasks.
Counting Triangles in Triangles
We give a formula for counting the triangles in a picture consisting of the three sides of a triangle and some cevians. This lets us prove statements that are claimed without proof in the Online Encyclopedia of Integer Sequences and some popular YouTube videos, and also prove some new results. We also give formulas that apply when the cevians cut each side into equal-length pieces.
A character theoretic formula for base size
Published
• View Publication
• BIB
A base for a permutation group $G$ acting on a set $Ω$ is a sequence $\mathcal{B}$ of points of $Ω$ such that the pointwise stabiliser $G_{\mathcal{B}}$ is trivial. The base size of $G$ is the size of a smallest base for $G$. We derive a character theoretic formula for the base size of a class of groups admitting a certain kind of irreducible character. Moreover, we prove a formula for enumerating the non-equivalent bases for $G$ of size $l\in\mathbb{N}$. As a consequence of our results, we present a very short, entirely algebraic proof of the formula of Mecenero and Spiga~\cite{MeSp} for the base size of the symmetric group $\mathrm{S}_n$ acting on the $k$-element subsets of $\{1,2,3,\dots,n\}$. Our methods also provide a formula for the base size of many product-type permutation groups.
Independent set sequence of some linear hypertrees
The independent set sequence of trees has been well studied, with much effort devoted to the (still open) question of Alavi, Malde, Schwenk and Erdős on whether the independent set sequence of a tree is always unimodal.
Much less attention has been given to the independent set sequence of hypertrees. Here we study some natural first questions in this realm. We show that the strong independent set sequences of linear hyperpaths and of linear hyperstars are unimodal (actually, log-concave). For uniform linear hyperpaths we obtain explicit expressions for the number of strong independent sets of each possible size, both via generating functions and via combinatorial arguments. We also consider the uniform linear hypercomb with $n$ edges on the spine, and show that its strong independent set sequence is unimodal except possibly for a portion of length $o(n)$.
A Further Investigation on Complete Complementary Codes from $q$-ary Functions
This research focuses on constructing $q$-ary functions for complete complementary codes (CCCs) with flexible parameters. Most existing work has primarily identified sufficient conditions for $q$-ary functions related to $q$-ary CCCs. To the best of the authors' knowledge, this study is the first to establish both the necessary and sufficient conditions for $q$-ary functions, encompassing most existing CCCs constructions as special cases. For $q$-ary CCCs with a length of $q^m$ and a set size of $q^{n+1}$, we begin by analyzing the necessary and sufficient conditions for $q$-ary functions defined over the domain $\mathbb{Z}_q^m$. Additionally, we construct CCCs with lengths given by $L = \prod_{i=1}^k p_i^{m_i}$, set sizes given by $K = \prod_{i=1}^k p_i^{n_i+1}$, and an alphabet size of $ν= \prod_{i=1}^k p_i$, where $p_1 < p_2 < \cdots < p_k$. To achieve these specific parameters, we examine the necessary and sufficient conditions for $ν$-ary functions over the domain $\mathbf{Z}_{p_1}^{m_1} \times \cdots \times \mathbf{Z}_{p_k}^{m_k}$, which is a subset of $\mathbb{Z}_ν^m$ and contains $\prod_{i=1}^k p_i^{m_i}$ vectors. In this context, $\mathbf{Z}_{p_i}^{m_i} = \{0, 1, \ldots, p_i - 1\}^{m_i}$, and $m$ is the sum of $m_1, m_2, \ldots, m_k$. The $q$-ary and $ν$-ary functions allow us to cover all possible length sequences. However, we find that the proposed $ν$-ary functions are more suitable for generating CCCs with a length of $L = \prod_{i=1}^k p_i^{m_i}$, particularly when $m_i$ is coprime to $m_j$ for some $1 \leq i \neq j \leq k$. While the proposed $q$-ary functions can also produce CCCs of the same length $L$, the set size and alphabet size become as large as $L$, since in this case, the only choice for $q$ is $L$. In contrast, the proposed $ν$-ary functions yield CCCs with a more flexible set size $K\leq L$ and an alphabet size of $ν<L$.
A virtually nilpotent group with non D-finite Green series
Published
• View Publication
• BIB
We provide an example of a virtually $2$-step nilpotent group, and a specific generating set, for which the Green series (sometimes called cogrowth series) is not D-finite. The proof relies on an arithmetical miracle, and the study of the subword complexity of a multiplicative sequence coming out of it.