sequence
6845 papers tagged with this keyword
Continued Fractions and the 4-Color Theorem
Published
• View Publication
• BIB
We study the geometry of some proper 4-colorings of the vertices of sphere triangulations with degree sequence 6,...,6,2,2,2. Such triangulations are the simplest examples which have non-negative combinatorial curvature. The examples we construct, which are roughly extremal in some sense, are based on a novel geometric interpretation of continued fractions. We also present a conjectural sharp "isoperimetric inequality" for colorings of this kind of triangulation.
Combinatorial Mutations of Gelfand-Tsetlin Polytopes, Feigin-Fourier-Littelmann-Vinberg Polytopes, and Block Diagonal Matching Field Polytopes
Published
• View Publication
• BIB
The Gelfand-Tsetlin and the Feigin-Fourier-Littelmann-Vinberg polytopes for the Grassmannians are defined, from the perspective of representation theory, to parametrize certain bases for highest weight irreducible modules. These polytopes are Newton-Okounkov bodies for the Grassmannian and, in particular, the GT-polytope is an example of a string polytope. The polytopes admit a combinatorial description as the Stanley's order and chain polytopes of a certain poset, as shown by Ardila, Bliem and Salaza. We prove that these polytopes occur among matching field polytopes. Moreover, we show that they are related by a sequence of combinatorial mutations that passes only through matching field polytopes. As a result, we obtain a family of matching fields that give rise to toric degenerations for the Grassmannians. Moreover, all polytopes in the family are Newton-Okounkov bodies for the Grassmannians.
The genus distribution of cubic graphs and asymptotic number of rooted cubic maps with high genus
Published
• View Publication
• BIB
Let $C_{n,g}$ be the number of rooted cubic maps with $2n$ vertices on the orientable surface of genus $g$. We show that the sequence $(C_{n,g}:g\ge 0)$ is asymptotically normal with mean and variance asymptotic to $(1/2)(n-\ln n)$ and $(1/4)\ln n$, respectively. We derive an asymptotic expression for $C_{n,g}$ when $(n-2g)/\ln n$ lies in any closed subinterval of $(0,2)$. Using rotation systems and Bender's theorem about generating functions with fast-growing coefficients, we derive simple asymptotic expressions for the numbers of rooted regular maps, disregarding the genus. In particular, we show that the number of rooted cubic maps with $2n$ vertices, disregarding the genus, is asymptotic to $\frac{3}π\,n!6^n$.
Effects of network topology and trait distribution on collective decision making
Published
• View Publication
• BIB
Social networks play an important role in analyzing the impact of individual-level interactions on societal or economic outcomes. We model interactive decision making for a community of individuals with different traits, represented by a social network with trait-attributed nodes. We develop a deterministic process generating a sequence of choices for each individual based on a trait-attributed social network, initial choices of individuals and a set of predetermined trait-dependent rules for making decisions. The object of interest is the sequence of cumulative sum of choices over all individuals, which we call the cumulative sequence and consider as an index of collective decisions. We observe that, in a time period, a cumulative sequence can be unpredictable or predictable showing a repeated pattern either escalating to an extreme or constantly oscillating. We consider that predictable cumulative sequences represent unstable collective decisions of communities either extremizing or internally conflicting, while unpredictable cumulative sequences show stable changes. We analyze the effects of network topology and trait distribution on the probability of cumulative sequences being predictable, escalating and oscillating by simulations. Our findings include that unstable collective decisions are more probable as network density increases, that centralized networks are more likely to have unstable collective decisions and that networks with excessively clustered or scattered conformists and rebels tend to produce unstable cumulative sequences. We discuss the potential of the model as a framework for studying individuals with different traits on a social network directly and indirectly interacting in decision making.
Watson-Crick conjugates of words and languages
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (August 29, 2025) dmtcs:13593
• View Publication
• BIB
In this work, we explore the concept of Watson-Crick conjugates, also known as $θ$-conjugates (where $θ$ is an antimorphic involution), of words and languages. This concept extends the classical idea of conjugates by incorporating the Watson-Crick complementarity of DNA sequences. Our investigation initially focuses on the properties of $θ$-conjugates of words. We then define $θ$-conjugates of a language and study closure properties of certain families of languages under the $θ$-conjugate operation. Furthermore, we analyze the iterated $θ$-conjugate of both words and languages. Finally, we discuss the idea of $θ$-conjugate-free languages and examine some decidability problems related to it.
Anticoncentration in Ramsey graphs and a proof of the Erdős-McKay conjecture
Published
• View Publication
• BIB
An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very precise control of the distribution of the number of edges in a random vertex subset of a $C$-Ramsey graph. This brings together two ongoing lines of research: the study of "random-like" properties of Ramsey graphs and the study of small-ball probabilities for low-degree polynomials of independent random variables.
The proof proceeds via an "additive structure" dichotomy on the degree sequence, and involves a wide range of different tools from Fourier analysis, random matrix theory, the theory of Boolean functions, probabilistic combinatorics, and low-rank approximation. One of the consequences of our result is the resolution of an old conjecture of Erdős and McKay, for which Erdős offered one of his notorious monetary prizes.
Partially Palindromic Compositions
We generalize recent work of Andrews, Just, and Simay on modular palindromic compositions and anti-palindromic compositions by viewing all compositions partially (modular) palindromic or anti-palindromic. More precisely, we enumerate compositions by the extent to which they are (modular) palindromic or anti-palindromic. We obtain various closed formulas from generating functions and provide bijective proofs for many of them. We recover some known results of Andrews, Just, and Simay and discover new connections with numerous sequences in The On-Line Encyclopedia of Integer Sequences (OEIS).
Sums of $k$-bonacci Numbers
Published
• View Publication
• BIB
We give a combinatorial proof of a formula giving the partial sums of the $k$-bonacci sequence as alternating sums of powers of two multiplied by binomial coefficients. As a corollary we obtain a formula for the $k$-bonacci numbers.
Pattern-Avoiding Fishburn Permutations and Ascent Sequences
A Fishburn permutation is a permutation which avoids the bivincular pattern $(231, \{1\}, \{1\})$, while an ascent sequence is a sequence of nonnegative integers in which each entry is less than or equal to one more than the number of ascents to its left. Fishburn permutations and ascent sequences are linked by a bijection $g$ of Bousquet-Mélou, Claesson, Dukes, and Kitaev. We write $F_n(σ_1,\ldots,σ_k)$ to denote the set of Fishburn permutations of length $n$ which avoid each of $σ_1,\ldots,σ_k$ and we write $A_n(α_1,\ldots,α_k)$ to denote the set of ascent sequences which avoid each of $α_1,\ldots,α_k$. We settle a conjecture of Gil and Weiner by showing that $g$ restricts to a bijection between $F_n(3412)$ and $A_n(201)$. Building on work of Gil and Weiner, we use elementary techniques to enumerate $F_n(123)$ with respect to inversion number and number of left-to-right maxima, obtaining expressions in terms of $q$-binomial coefficients, and to enumerate $F_n(123,σ)$ for all $σ$. We use generating tree techniques to study the generating functions for $F_n(321, 1423)$, $F_n(321,3124)$, and $F_n(321,2143)$ with respect to inversion number and number of left-to-right maxima. We use these results to show $|F_n(321,1423)| = |F_n(321,3124)| = F_{n+2} - n - 1$, where $F_n$ is a Fibonacci number, and $|F_n(321,2143)| = 2^{n-1}$. We conclude with a variety of conjectures and open problems.
Ordered Orthogonal Array Construction Using LFSR Sequences
Published in IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 63, NO. 2, FEBRUARY 2017
• View Publication
• BIB
We present a new construction of ordered orthogonal arrays (OOA) of strength $t$ with $(q + 1)t$ columns over a finite field $\mathbb{F}_{q}$ using linear feedback shift register sequences (LFSRs). OOAs are naturally related to $(t, m, s)$-nets, linear codes, and MDS codes. Our construction selects suitable columns from the array formed by all subintervals of length $\frac{q^{t}-1}{q-1}$ of an LFSR sequence generated by a primitive polynomial of degree $t$ over $\mathbb{F}_{q}$. We prove properties about the relative positions of runs in an LFSR which guarantee that the constructed OOA has strength $t$. The set of parameters of our OOAs are the same as the ones given by Rosenbloom and Tsfasman (1997) and Skriganov (2002), but the constructed arrays are different. We experimentally verify that our OOAs are stronger than the Rosenbloom-Tsfasman-Skriganov OOAs in the sense that ours are "closer" to being a "full" orthogonal array. We also discuss how our OOA construction relates to previous techniques to build OOAs from a set of linearly independent vectors over $\mathbb{F}_{q}$, as well as to hypergraph homomorphisms.
Asymptotic repetitive threshold of balanced sequences
The critical exponent $E(\mathbf u)$ of an infinite sequence $\mathbf u$ over a finite alphabet expresses the maximal repetition of a factor in $\mathbf u$. By the famous Dejean's theorem, $E(\mathbf u) \geq 1+\frac1{d-1}$ for every $d$-ary sequence $\mathbf u$. We define the asymptotic critical exponent $E^*(\mathbf u)$ as the upper limit of the maximal repetition of factors of length $n$. We show that for any $d>1$ there exists a $d$-ary sequence $\mathbf u$ having $E^*(\mathbf u)$ arbitrarily close to $1$. Then we focus on the class of $d$-ary balanced sequences. In this class, the values $E^*(\mathbf u)$ are bounded from below by a threshold strictly bigger than 1. We provide a method which enables us to find a $d$-ary balanced sequence with the least asymptotic critical exponent for $2\leq d\leq 10$.
Gröbner Bases for Increasing Sequences
Let $q,n \geq 1$ be integers, $[q]=\{1,\ldots, q\}$, and $\mathbb F$ be a field with $|\mathbb F|\geq q$. The set of increasing sequences $$ I(n,q)=\{(f_1,f_2, \dots, f_n) \in [q]^n:~ f_1\leq f_2\leq\cdots \leq f_n \} $$ can be mapped via an injective map $i: [q]\rightarrow \mathbb F $ into a subset $J(n,q)$ of the affine space ${\mathbb F}^n$. We describe reduced Gröbner bases, standard monomials and Hilbert function of the ideal of polynomials vanishing on $J(n,q)$.
As applications we give an interpolation basis for $J(n,q)$, and lower bounds for the size of increasing Kakeya sets, increasing Nikodym sets, and for the size of affine hyperplane covers of $J(n,q)$.
The number of bounded-degree spanning trees
Published
• View Publication
• BIB
For a graph $G$, let $c_k(G)$ be the number of spanning trees of $G$ with maximum degree at most $k$. For $k \ge 3$, it is proved that every connected $n$-vertex $r$-regular graph $G$ with $r \ge \frac{n}{k+1}$ satisfies $$ c_k(G)^{1/n} \ge (1-o_n(1)) r \cdot z_k $$ where $z_k > 0$ approaches $1$ extremely fast (e.g. $z_{10}=0.999971$). The minimum degree requirement is essentially tight as for every $k \ge 2$ there are connected $n$-vertex $r$-regular graphs $G$ with $r=\lfloor n/(k+1) \rfloor -2$ for which $c_k(G)=0$. Regularity may be relaxed, replacing $r$ with the geometric mean of the degree sequence and replacing $z_k$ with $z_k^* > 0$ that also approaches $1$, as long as the maximum degree is at most $n(1-(3+o_k(1))\sqrt{\ln k/k})$. The same holds with no restriction on the maximum degree as long as the minimum degree is at least $\frac{n}{k}(1+o_k(1))$.
Relaxed Wythoff has All Beatty Solutions
We find conditions under which the P-positions of three subtraction games arise as pairs of complementary Beatty sequences. The first game is due to Fraenkel and the second is an extension of the first game to non-monotone settings. We show that the P-positions of the second game can be inferred from the recurrence of Fraenkel's paper if a certain inequality is satisfied. This inequality is shown to be necessary if the P-positions are known to be pairs of complementary Beatty sequences, and the family of irrationals for which this inequality holds is explicitly given. We highlight several games in the literature that have P-positions as pairs of complementary Beatty sequences with slope in this family. The third game we present is novel, and we show that the P-positions can be inferred from the same recurrence in any setting. It is shown that any pair of complementary Beatty sequences arises as the P-positions of some game in this family. We also provide background on some inverse problems which have appeared in the field over the last several years, in particular the Duchêne-Rigo conjecture. This paper presents a solution to the Fraenkel problem posed at the 2011 BIRS workshop, a modification of the Duchêne-Rigo conjecture.
Sharp thresholds for Ramsey properties
Published
• View Publication
• BIB
In this work, we develop a unified framework for establishing sharp threshold results for various Ramsey properties. To achieve this, we view such properties as non-colourability of auxiliary hypergraphs. Our main technical result gives sufficient conditions on a sequence of such hypergraphs that guarantee that this non-colourability property has a sharp threshold in subhypergraphs induced by random subsets of the vertices.
Furthermore, we verify these conditions in several cases of interest. In the classical setting of Ramsey theory for graphs, we show that the property of being Ramsey for a graph $H$ in $r$ colours has a sharp threshold in $G_{n,p}$, for all $r \ge 2$ and all $H$ in a class of graphs that includes all cliques and cycles. In the arithmetic setting, we establish sharpness of thresholds for the properties corresponding to van der Waerden's theorem and Schur's theorem, also in any number of colours.
Large Sums of High Order Characters
Published
• View Publication
• BIB
Let $χ$ be a primitive character modulo a prime $q$, and let $δ> 0$. It has previously been observed that if $χ$ has large order $d \geq d_0(δ)$ then $χ(n) \neq 1$ for some $n \leq q^δ$, in analogy with Vinogradov's conjecture on quadratic non-residues. We give a new and simple proof of this fact. We show, furthermore, that if $d$ is squarefree then for any $d$th root of unity $α$ the number of $n \leq x$ such that $χ(n) = α$ is $o_{d \to \infty}(x)$ whenever $x > q^δ$. Consequently, when $χ$ has sufficiently large order the sequence $(χ(n))_{n \leq q^δ}$ cannot cluster near $1$ for any $δ> 0$.
Our proof relies on a second moment estimate for short sums of the characters $χ^\ell$, averaged over $1 \leq \ell \leq d-1$, that is non-trivial whenever $d$ has no small prime factors. In particular, given any $δ> 0$ we show that for all but $o(d)$ powers $1 \leq \ell \leq d-1$, the partial sums of $χ^\ell$ exhibit cancellation in intervals $n \leq q^δ$ as long as $d \geq d_0(δ)$ is prime, going beyond Burgess' theorem. Our argument blends together results from pretentious number theory and additive combinatorics.
Finally, we show that, uniformly over prime $3 \leq d \leq q-1$, the Pólya-Vinogradov inequality may be improved for $χ^\ell$ on average over $1 \leq \ell \leq d-1$, extending work of Granville and Soundararajan.
Kempe equivalence of almost bipartite graphs
Two vertex colorings of a graph are Kempe equivalent if they can be transformed into each other by a sequence of switchings of two colors of vertices. It is PSPACE-complete to determine whether two given vertex $k$-colorings of a graph are Kempe equivalent for any fixed $k\geq 3$, and it is easy to see that every two vertex colorings of any bipartite graph are Kempe equivalent. In this paper, we consider Kempe equivalence of {\it almost} bipartite graphs which can be obtained from a bipartite graph by adding several edges to connect two vertices in the same partite set. We give a conjecture of Kempe equivalence of such graphs, and we prove several partial solutions and best possibility of the conjecture, but it is more lately proved by Cranston and Feghali that this conjecture is false in general.
Pattern-avoiding even and odd Grassmannian permutations
Published in Australas. J. Combin. 86 (2023), 187-205
• Search Publication
In this paper, we investigate pattern avoidance of parity restricted (even or odd) Grassmannian permutations for patterns of sizes 3 and 4. We use a combination of direct counting and bijective techniques to provide recurrence relations, closed formulas, and generating functions for their corresponding enumerating sequences. In addition, we establish some connections to Dyck paths, directed multigraphs, weak compositions, and certain integer partitions.
Asymptotic Betti numbers for hard squares in the homological liquid regime
Published
• View Publication
• BIB
We study configuration spaces $C(n; p, q)$ of $n$ ordered unit squares in a $p$ by $q$ rectangle. Our goal is to estimate the Betti numbers for large $n$, $j$, $p$, and $q$. We consider sequences of area-normalized coordinates, where $(\frac{n}{pq}, \frac{j}{pq})$ converges as $n$, $j$, $p$, and $q$ approach infinity. For every sequence that converges to a point in the "feasible region" in the $(x,y)$-plane, we show that the factorial growth rate of the Betti numbers is the same as the factorial growth rate of $n!$. This implies that (1) the Betti numbers are vastly larger than for the configuration space of $n$ ordered points in the plane, which have the factorial growth rate of $j!$, and (2) every point in the feasible region is eventually in the homological liquid regime.
Joint ergodicity for commuting transformations and applications to polynomial sequences
Published
• View Publication
• BIB
We give necessary and sufficient conditions for joint ergodicity results of collections of sequences with respect to systems of commuting measure preserving transformations. Combining these results with a new technique that we call "seminorm smoothening", we settle several conjectures related to multiple ergodic averages of commuting transformations with polynomial iterates. We show that the Host-Kra factor is characteristic for pairwise independent polynomials, and that under certain ergodicity conditions the associated ergodic averages converge to the product of integrals. Moreover, when the polynomials are linearly independent, we show that the rational Kronecker factor is characteristic and deduce Khintchine-type lower bounds for the related multiple recurrence problem. Finally, we prove a nil plus null decomposition result for multiple correlation sequences of commuting transformations in the case where the iterates are given by families of pairwise independent polynomials.