sequence
7073 papers tagged with this keyword
Eulerian series, zeta functions and the arithmetic of partitions
In this Ph.D. dissertation (2018, Emory University) we prove theorems at the intersection of the additive and multiplicative branches of number theory, bringing together ideas from partition theory, $q$-series, algebra, modular forms and analytic number theory. We present a natural multiplicative theory of integer partitions (which are usually considered in terms of addition), and explore new classes of partition-theoretic zeta functions and Dirichlet series -- as well as "Eulerian" $q$-hypergeometric series -- enjoying many interesting relations. We find a number of theorems of classical number theory and analysis arise as particular cases of extremely general combinatorial structure laws. Among our applications, we prove explicit formulas for the coefficients of the $q$-bracket of Bloch-Okounkov, a partition-theoretic operator from statistical physics related to quasi-modular forms; we prove partition formulas for arithmetic densities of certain subsets of the integers, giving $q$-series formulas to evaluate the Riemann zeta function; we study $q$-hypergeometric series related to quantum modular forms and the "strange" function of Kontsevich; and we show how Ramanujan's odd-order mock theta functions (and, more generally, the universal mock theta function $g_3$ of Gordon-McIntosh) arise from the reciprocal of the Jacobi triple product via the $q$-bracket operator, connecting also to unimodal sequences in combinatorics and quantum modular-like phenomena.
(k; l)-Colourings and Ferrers Diagram Representations of Cographs
Published
• View Publication
• BIB
For a pair of natural numbers $k, l$, a $(k,l)$-colouring of a graph $G$ is a partition of the vertex set of $G$ into (possibly empty) sets $S_1, S_2, \dots, S_k$, $C_1, C_2, \dots, C_l$ such that each set $S_i$ is an independent set and each set $C_j$ induces a clique in $G$. The $(k,l)$-colouring problem, which is NP-complete in general, has been studied for special graph classes such as chordal graphs, cographs and line graphs. Let $\hatκ(G) = (κ_0(G),κ_1(G),\dots,κ_{θ(G)-1}(G))$ and $\hatλ(G) = (λ_0(G),λ_1(G),\dots,λ_{χ(G)-1}(G))$ where $κ_l(G)$ (respectively, $λ_k(G)$) is the minimum $k$ (respectively, $l$) such that $G$ has a $(k,l)$-colouring. We prove that $\hatκ(G)$ and $\hatλ(G)$ are a pair of conjugate sequences for every graph $G$ and when $G$ is a cograph, the number of vertices in $G$ is equal to the sum of the entries in $\hatκ(G)$ or in $\hatλ(G)$. Using the decomposition property of cographs we show that every cograph can be represented by Ferrers diagram. We devise algorithms which compute $\hatκ(G)$ for cographs $G$ and find an induced subgraph in $G$ that can be used to certify the non-$(k,l)$-colourability of $G$.
Ulam Sets in New Settings
The classical Ulam sequence is defined recursively as follows: $a_1=1$, $a_2=2$, and $a_n$, for $n > 2$, is the smallest integer not already in the sequence that can be written uniquely as the sum of two distinct earlier terms. This sequence is known for its mysterious quasi-periodic behavior and its surprising rigidity when we let $a_2$ vary. This definition can be generalized to other sets of generators in different settings with a binary operation and a valid notion of size. Since there is not always a natural linear ordering of the elements, the resulting collections are called Ulam sets. In this paper, we study Ulam sets in new settings. First, we investigate the structure of canonical Ulam sets in free groups; this is the first investigation of Ulam sets in noncommutative groups. We prove several symmetry results and prove a periodicity result for eventually periodic words with fixed prefixes. Then, we study Ulam sets in $\mathbb{Z}\times (\mathbb{Z}/n\mathbb{Z})$ and prove regularity for an infinite class of initial sets. We also examine an intriguing phenomenon about decompositions of later elements into sums of the generators. Finally, we consider $\mathcal{V}$-sets, a variant where the summands are not required to be distinct; we focus on $\mathcal{V}$-sets in $\mathbb{Z}^2$.
Stability of extremal connected hypergraphs avoiding Berge-paths
Published
• View Publication
• BIB
A Berge-path of length $k$ in a hypergraph $\mathcal{H}$ is a sequence $v_1,e_1,v_2,e_2,\dots,v_{k},e_k,v_{k+1}$ of distinct vertices and hyperedges with $v_{i},v_{i+1} \in e_i$, for $i \le k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined the maximum number of hyperedges in an $n$-vertex, connected, $r$-uniform hypergraph that does not contain a Berge-path of length $k$ provided $k$ is large enough compared to $r$. They also determined the unique extremal hypergraph $\mathcal{H}_1$.
We prove a stability version of this result by presenting another construction $\mathcal{H}_2$ and showing that any $n$-vertex, connected, $r$-uniform hypergraph without a Berge-path of length $k$, that contains more than $|\mathcal{H}_2|$ hyperedges must be a sub-hypergraph of the extremal hypergraph $\mathcal{H}_1$, provided $k$ is large enough compared to $r$.
Binomial ideals of domino tilings
Published
• View Publication
• BIB
In this paper, we consider the set of all domino tilings of a cubiculated region. The primary question we explore is: How can we move from one tiling to another? Tiling spaces can be viewed as spaces of subgraphs of a fixed graph with a fixed degree sequence. Moves to connect such spaces have been explored in algebraic statistics. Thus, we approach this question from an applied algebra viewpoint, making new connections between domino tilings, algebraic statistics, and toric algebra. Using results from toric ideals of graphs, we are able to describe moves that connect the tiling space of a given cubiculated region of any dimension. This is done by studying binomials that arise from two distinct domino tilings of the same region. Additionally, we introduce tiling ideals and flip ideals and use these ideals to restate what it means for a tiling space to be flip connected. Finally, we show that if $R$ is a $2$-dimensional simply connected cubiculated region, any binomial arising from two distinct tilings of $R$ can be written in terms of quadratic binomials. As a corollary to our main result, we obtain an alternative proof to the fact that the set of domino tilings of a $2$-dimensional simply connected region is connected by flips.
Ramsey theory for layered semigroups
Published in The Electronic Journal of Combinatorics 28(2), #P2.10, 2021
• View Publication
• BIB
We further develop the theory of layered semigroups, as introduced by Farah, Hindman and McLeod, providing a general framework to prove Ramsey statements about such a semigroup $S$. By nonstandard and topological arguments, we show Ramsey statements on $S$ are implied by the existence of "coherent" sequences in $S$. This framework allows us to formalise and prove many results in Ramsey theory, including Gowers' $\mathrm{FIN}_k$ theorem, the Graham-Rothschild theorem, and Hindman's finite sums theorem. Other highlights include: a simple nonstandard proof of the Graham-Rothschild theorem for strong variable words; a nonstandard proof of Bergelson-Blass-Hindman's partition theorem for located variable words, using a result of Carlson, Hindman and Strauss; and a common generalisation of the latter result and Gowers' theorem, which can be proven in our framework.
The Steiner Wiener index of trees with a given segment sequence
Published in Applied Mathematics and Computation 344(2019) 20-29
• View Publication
• BIB
The Steiner distance of vertices in a set $S$ is the minimum size of a connected subgraph that contain these vertices. The sum of the Steiner distances over all sets $S$ of cardinality $k$ is called the Steiner $k$-Wiener index and studied as the natural generalization of the famous Wiener index in chemical graph theory. In this paper we study the extremal structures, among trees with a given segment sequence, that maximize or minimize the Steiner $k$-Wiener index. The same extremal problems are also considered for trees with a given number of segments.
Geometry of anonymous binary social choices that are strategy-proof
Published
• View Publication
• BIB
Let $V$ be society whose members express preferences about two alternatives, indifference included. Identifying anonymous binary social choice functions with binary functions $f=f(k,m)$ defined over the integer triangular grid $G=\{(k,m)\in \mathbb{N}_0\times\mathbb{N}_0 : k+m\le |V|\} $, we show that every strategy-proof, anonymous social choice function can be described geometrically by listing, in a sequential manner, groups of segments of G, of equal (maximum possible) length, alternately horizontal and vertical, representative of preference profiles that determine the collective choice of one of the two alternatives. Indeed, we show that every function which is anonymous and strategy-proof can be described in terms of a sequence of nonnegative integers $(q_1, q_2, \cdots, q_s)$ corresponding to the cardinalities of the mentioned groups of segments. We also analyze the connections between our present representation with another of our earlier representations involving sequences of majority quotas.
A Python code is available with the authors for the implementation of any such social choice function.
Automorphism groups of maps in linear time
Published
• View Publication
• BIB
By a map we mean a $2$-cell decomposition of a closed compact surface, i.e., an embedding of a graph such that every face is homeomorphic to an open disc. Automorphism of a map can be thought of as a permutation of the vertices which preserves the vertex-edge-face incidences in the embedding. When the underlying surface is orientable, every automorphism of a map determines an angle-preserving homeomorphism of the surface. While it is conjectured that there is no "truly subquadratic" algorithm for testing map isomorphism for unconstrained genus, we present a linear-time algorithm for computing the generators of the automorphism group of a map, parametrized by the genus of the underlying surface. The algorithm applies a sequence of local reductions and produces a uniform map, while preserving the automorphism group. The automorphism group of the original map can be reconstructed from the automorphism group of the uniform map in linear time. We also extend the algorithm to non-orientable surfaces by making use of the antipodal double-cover.
Extremal trees with fixed degree sequence
Published
• View Publication
• BIB
The greedy tree $\mathcal{G}(D)$ and the $\mathcal{M}$-tree $\mathcal{M}(D)$ are known to be extremal among trees with degree sequence $D$ with respect to various graph invariants. This paper provides a general theorem that covers a large family of invariants for which $\mathcal{G}(D)$ or $\mathcal{M}(D)$ is extremal. Many known results, for example on the Wiener index, the number of subtrees, the number of independent subsets and the number of matchings follow as corollaries, as do some new results on invariants such as the number of rooted spanning forests, the incidence energy and the solvability. We also extend our results on trees with fixed degree sequence $D$ to the set of trees whose degree sequence is majorised by a given sequence $D$, which also has a number of applications.
Shifting paths to avoidable ones
Published
• View Publication
• BIB
An extension of an induced path $P$ in a graph $G$ is an induced path $P'$ such that deleting the endpoints of $P'$ results in $P$. An induced path in a graph is said to be avoidable if each of its extensions is contained in an induced cycle. In 2019, Beisegel, Chudovsky, Gurvich, Milanič, and Servatius conjectured that every graph that contains an induced $k$-vertex path also contains an avoidable induced path of the same length, and proved the result for $k = 2$. The case $k = 1$ was known much earlier, due to a work of Ohtsuki, Cheung, and Fujisawa in 1976. The conjecture was proved for all $k$ in 2020 by Bonamy, Defrain, Hatzel, and Thiebaut. In the present paper, using a similar approach, we strengthen their result from a reconfiguration point of view. Namely, we show that in every graph, each induced path can be transformed to an avoidable one by a sequence of shifts, where two induced $k$-vertex paths are shifts of each other if their union is an induced path with $k+1$ vertices. We also obtain analogous results for not necessarily induced paths and for walks. In contrast, the statement cannot be extended to trails or to isometric paths.
On the degree sequences of dual graphs on surfaces
Given two graphs $G$ and $G^*$ with a one-to-one correspondence between their edges, when do $G$ and $G^*$ form a pair of dual graphs realizing the vertices and countries of a map embedded in a surface? A criterion was obtained by Jack Edmonds in 1965. Furthermore, let $\boldsymbol{d}=(d_1,\ldots,d_n)$ and $\boldsymbol{t}=(t_1,\ldots,t_m)$ be their degree sequences. Then, clearly, $\sum_{i=1}^n d_i = \sum_{j=1}^m t_j = 2\ell$, where $\ell$ is the number of edges in each of the two graphs, and $χ= n - \ell + m$ is the Euler characteristic of the surface. Which sequences $\boldsymbol{d}$ and $\boldsymbol{t}$ satisfying these conditions still cannot be realized as the degree sequences? We make use of Edmonds' criterion to obtain several infinite series of exceptions for the sphere, $χ= 2$, and projective plane, $χ= 1$. We conjecture that there exist no exceptions for $χ\leq 0$.
Log-concavity of $P$-recursive sequences
Published
• View Publication
• BIB
We consider the higher order Turán inequality and higher order log-concavity for sequences $\{a_n\}_{n \ge 0}$ such that \[ \frac{a_{n-1}a_{n+1}}{a_n^2} = 1 + \sum_{i=1}^m \frac{r_i(\log n)}{n^{α_i}} + o\left( \frac{1}{n^β} \right), \] where $m$ is a nonnegative integer, $α_i$ are real numbers, $r_i(x)$ are rational functions of $x$ and \[ 0 < α_1 < α_2 < \cdots < α_m < β. \] We will give a sufficient condition on the higher order Turán inequality and the $r$-log-concavity for $n$ sufficiently large.
Most $P$-recursive sequences fall in this frame. At last, we will give a method to find the exact $N$ such that for any $n>N$, the higher order Turán inequality holds.
On the modularity of 3-regular random graphs and random graphs with given degree sequences
Published
• View Publication
• BIB
The modularity of a graph is a parameter that measures its community structure; the higher its value (between $0$ and $1$), the more clustered the graph is.
In this paper we show that the modularity of a random $3$-regular graph is at least $0.667026$ asymptotically almost surely (a.a.s.), thereby proving a conjecture of McDiarmid and Skerman. We also improve the a.a.s. upper bound given therein to $0.789998$.
For a uniformly chosen graph $G_n$ over a given bounded degree sequence with average degree $d(G_n)$ and with $|CC(G_n)|$ many connected components, we distinguish two regimes with respect to the existence of a giant component. In the subcritical regime, we compute the second term of the modularity. In the supercritical regime, we prove that there is $\varepsilon > 0$, for which the modularity is a.a.s. at least \begin{equation*} \dfrac{2\left(1 - μ\right)}{d(G_n)}+\varepsilon, \end{equation*} where $μ$ is the asymptotically almost sure limit of $\dfrac{|CC(G_n)|}{n}$.
Stieltjes moment properties and continued fractions from combinatorial triangles
Published
• View Publication
• BIB
Many combinatorial numbers can be placed in the following generalized triangular array $[T_{n,k}]_{n,k\ge 0}$ satisfying the recurrence relation: \begin{equation*} T_{n,k}=λ(a_0n+a_1k+a_2)T_{n-1,k}+(b_0n+b_1k+b_2)T_{n-1,k-1}+\frac{d(da_1-b_1)}λ(n-k+1)T_{n-1,k-2} \end{equation*} with $T_{0,0}=1$ and $T_{n,k}=0$ unless $0\le k\le n$ for suitable $a_0,a_1,a_2,b_0,b_1,b_2,d$ and $λ$. For $n\geq0$, denote by $T_n(q)$ the generating function of the $n$-th row. In this paper, we develop various criteria for $\textbf{x}$-Stieltjes moment property and $3$-$\textbf{x}$-log-convexity of $T_n(q)$ based on the Jacobi continued fraction expression of $\sum_{n\geq0}T_n(q)t^n$, where $\textbf{x}$ is a set of indeterminates consisting of $q$ and those parameters occurring in the recurrence relation. With the help of a criterion of Wang and Zhu [Adv. in Appl. Math. (2016)], we show that the corresponding linear transformation of $T_{n,k}$ preserves Stieltjes moment properties of sequences. Finally, we present some related examples including factorial numbers, Whitney numbers, Stirling permutations, minimax trees and peak statistics.
Twin-width III: Max Independent Set, Min Dominating Set, and Coloring
Published
• View Publication
• BIB
We recently introduced the graph invariant twin-width, and showed that first-order model checking can be solved in time $f(d,k)n$ for $n$-vertex graphs given with a witness that the twin-width is at most $d$, called $d$-contraction sequence or $d$-sequence, and formulas of size $k$ [Bonnet et al., FOCS '20]. The inevitable price to pay for such a general result is that $f$ is a tower of exponentials of height roughly $k$. In this paper, we show that algorithms based on twin-width need not be impractical. We present $2^{O(k)}n$-time algorithms for $k$-Independent Set, $r$-Scattered Set, $k$-Clique, and $k$-Dominating Set when an $O(1)$-sequence is provided. We further show how to solve weighted $k$-Independent Set, Subgraph Isomorphism, and Induced Subgraph Isomorphism, in time $2^{O(k \log k)}n$. These algorithms are based on a dynamic programming scheme following the sequence of contractions forward. We then show a second algorithmic use of the contraction sequence, by starting at its end and rewinding it. As an example, we establish that bounded twin-width classes are $χ$-bounded. This significantly extends the $χ$-boundedness of bounded rank-width classes, and does so with a very concise proof. The third algorithmic use of twin-width builds on the second one. Playing the contraction sequence backward, we show that bounded twin-width graphs can be edge-partitioned into a linear number of bicliques, such that both sides of the bicliques are on consecutive vertices, in a fixed vertex ordering. Given that biclique edge-partition, we show how to solve the unweighted Single-Source Shortest Paths and hence All-Pairs Shortest Paths in sublinear time $O(n \log n)$ and time $O(n^2 \log n)$, respectively. Finally we show that Min Dominating Set and related problems have constant integrality gaps on bounded twin-width classes, thereby getting constant approximations on these classes.
Counting the lattice rectangles inside Aztec diamonds and square biscuits
We are counting the lattice rectangles that can be constructed inside several planar shapes and identify the corresponding sequences in the OEIS.
A note on watchman's walks in de Bruijn graphs
The watchman's walk problem in a digraph calls for finding a minimum length closed dominating walk, where direction of arcs is respected. The watchman's walk of a de Bruijn graph of order $k$ is described by a de Bruijn sequence of order $k-1$. This idea is extended to certain subdigraphs of de Bruijn graphs.
Non-repeated cycle lengths and Sidon sequences
Published
• View Publication
• BIB
We prove a conjecture of Boros, Caro, Füredi and Yuster on the maximum number of edges in a 2-connected graph without repeated cycle lengths, which is a restricted version of a longstanding problem of Erdős. Our proof together with the matched lower bound construction of Boros, Caro, Füredi and Yuster show that this problem can be conceptually reduced to the seminal problem of finding the maximum Sidon sequences in number theory.
New interpretations of the higher Stasheff--Tamari orders
Published
• View Publication
• BIB
In 1996, Edelman and Reiner defined the two higher Stasheff--Tamari orders on triangulations of cyclic polytopes and conjectured them to coincide. We open up an algebraic angle for approaching this conjecture by showing how these orders arise naturally in the representation theory of the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$. For this we give new combinatorial interpretations of the orders, making them comparable. We then translate these combinatorial interpretations into the algebraic framework. We also show how triangulations of odd-dimensional cyclic polytopes arise in the representation theory of $A_{n}^{d}$, namely as equivalence classes of maximal green sequences. We furthermore give the odd-dimensional counterpart to the known description of $2d$-dimensional triangulations as sets of non-intersecting $d$-simplices of a maximal size. This consists in a definition of two new properties which imply that a set of $d$-simplices produces a $(2d+1)$-dimensional triangulation.