sequence
7059 papers tagged with this keyword
Ehrhart theory on periodic graphs II: Stratified Ehrhart ring theory
Published
• View Publication
• BIB
We investigate the "stratified Ehrhart ring theory" for periodic graphs, which gives an algorithm for determining the growth sequences of periodic graphs. The growth sequence $(s_{Γ, x_0, i})_{i \ge 0}$ is defined for a graph $Γ$ and its fixed vertex $x_0$, where $s_{Γ, x_0, i}$ is defined as the number of vertices of $Γ$ at distance $i$ from $x_0$. Although the sequences $(s_{Γ, x_0, i})_{i \ge 0}$ for periodic graphs are known to be of quasi-polynomial type, their determination had not been established, even in dimension two. Our theory and algorithm can be applied to arbitrary periodic graphs of any dimension. As an application of the algorithm, we determine the growth sequences in several new examples.
The enumeration of inversion sequences avoiding the patterns 201 and 210
Published
• View Publication
• BIB
We derive the algebraic generating function for inversion sequences avoiding the patterns $201$ and $210$ by describing a set of succession rules, converting them to a system of generating function equations with one catalytic variable, and then solving the system with kernel method techniques.
On the Diameter of Finite Sidon Sets
Published
• View Publication
• BIB
We prove that the diameter of a Sidon set (also known as a Babcock sequence, Golomb ruler, or $B_2$ set) with $k$ elements is at least $k^2-b k^{3/2}-O(k)$ where $b\le 1.96365$, a comparatively large improvement on past results. Equivalently, a Sidon set with diameter $n$ has at most $n^{1/2}+0.98183n^{1/4}+O(1)$ elements. The proof is conceptually simple but very computationally intensive, and the proof uses substantial computer assistance. We also provide a proof of $b\le 1.99058$ that can be verified by hand, which still improves on past results. Finally, we prove that $g$-thin Sidon sets (aka $g$-Golomb rulers) with $k$ elements have diameter at least $g^{-1} k^2 - (2-\varepsilon)g^{-1}k^{3/2} - O(k)$, with $\varepsilon\ge 0.02g^{-2}$.
Combined exponential patterns in multiplicative $IP^{\star}$ sets
$IP$ sets play fundamental role in arithmetic Ramsey theory. A set is called an additive $IP$ set if it is of the form $FS\left(\langle x_{n}\rangle_{n\in \mathbb{N}}\right)=\left\{ \sum_{t\in H}x_{t}:H\right.$ is a nonempty finite subset of $\left.\mathbb{N}\right\}$, whereas it is called a multiplicative $IP$ set if it is of the form $FP\left(\langle x_{n}\rangle_{n\in \mathbb{N}}\right)=\left\{ \prod_{t\in H}x_{t}:H\right.$ is a nonempty finite subset of $\left. \mathbb{N}\right\}$ for some injective sequence $\langle x_{n}\rangle_{n\in \mathbb{N}}.$ An additive $IP^{\star}$ (resp. multiplicative $IP^{\star}$) set is a set which intersects every additive $IP$ set (resp. multiplicative $IP$ set). In \cite{key-1}, V. Bergelson and N. Hindman studied how rich additive $IP^{\star}$ sets are. They proved additive $IP^{\star}$ sets ($AIP^{\star}$ in short) contain finite sums and finite products of a single sequence. An analogous study was made by A. Sisto in\cite{key-3}, where he proved that multiplicative $IP^{\star}$ sets ($MIP^{\star}$ in short) contain exponential tower\footnote{will be defined later} and finite product of a single sequence. However exponential patterns can be defined in two different ways. In this article we will prove that $MIP^{\star}$ sets contain two different exponential patterns and finite product of a single sequence. This immediately improves the result of A. Sisto. We also construct a $MIP^\star$ set, not arising from the recurrence of measurable dynamical systems. Throughout our work we will use the machinery of the algebra of the Stone-Čech Compactification of $\mathbb{N}$.
The birational geometry of Markov numbers
It is known that all degenerations of the complex projective plane into a surface with only quotient singularities are controlled by the positive integer solutions $(a,b,c)$ of the Markov equation $$x^2+y^2+z^2=3xyz.$$ It turns out that these degenerations are all connected through finite sequences of other simpler degenerations by means of birational geometry. In this paper, we explicitly describe these birational sequences and show how they are bridged among all Markov solutions. For a given Markov triple $(a,b,c)$, the number of birational modifications depends on the number of branches that it needs to cross in the Markov tree to reach the Fibonacci branch. We show that each of these branches corresponds exactly to a Mori train of the flipping universal family of a particular cyclic quotient singularity defined by $(a,b,c)$. As a byproduct, we obtain new numerical/combinatorial data for each Markov number, and new connections with the Markov conjecture (Frobenius Uniqueness Conjecture), which rely on Hirzebruch-Jung continued fractions of Wahl singularities.
Integer Sequences: Irregular Arrays and Intra-Block Permutations
This article investigates integer sequences that partition the sequence into blocks of various lengths - irregular arrays. The main result of the article is explicit formulas for numbering of irregular arrays. A generalization of Cantor diagonal method is proposed. We also define and describe intra-block permutations of natural numbers. Generalizations of reluctant sequences are introduced, namely generalized reluctant sequences and generalized reverse reluctant sequences. Explicit formulas are presented for these sequences. The article provides numerous examples to illustrate all statements.
Topological methods in zero-sum Ramsey theory
Published in Forum of Mathematics, Sigma 13 (2025) e192
• View Publication
• BIB
A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinatorial contexts. Our main result (1) is a topological criterion for determining when any $\mathbb{Z}/n$-coloring of an $n$-uniform hypergraph contains a zero-sum hyperedge. In addition to applications for Kneser hypergraphs, for complete hypergraphs our methods recover Olson's generalization of the EGZ theorem for arbitrary finite groups. Furthermore, we (2) give a fractional generalization of the EGZ theorem with applications to balanced set families and (3) provide a constrained EGZ theorem which imposes combinatorial restrictions on zero-sum sequences in the original result.
Spanning trees in $\mathbb{Z}$-covers of a finite graph and Mahler measures
Published in Journal of the Australian Mathematical Society, Vol. 118, No. 1 (2025)
• View Publication
• BIB
Using the special value at $u=1$ of Artin-Ihara $L$-functions, we associate to every $\mathbb{Z}$-cover of a finite connected graph a polynomial which we call the \emph{Ihara polynomial}. We show that the number of spanning trees for the finite intermediate graphs of such a cover can be expressed in terms of the Pierce-Lehmer sequence associated to a factor of the Ihara polynomial. This allows us to express the asymptotic growth of the number of spanning trees in terms of the Mahler measure of this polynomial. Specializing to the situation where the base graph is a bouquet or the dumbbell graph gives us back previous results in the literature for circulant and $I$-graphs (including the generalized Petersen graphs). We also express the $p$-adic valuation of the number of spanning trees of the finite intermediate graphs in terms of the $p$-adic Mahler measure of the Ihara polynomial. When applied to a particular $\mathbb{Z}$-cover, our result gives us back Lengyel's calculation of the $p$-adic valuations of Fibonacci numbers.
Alexander Polynomials of closed alternating braids
Published
• View Publication
• BIB
We prove that the Alexander polynomials of certain families of alternating 4-braid knots satisfy Fox's Trapezoidal Conjecture. Moreover, we give explicit formulas for the signature and for the first 4 coefficients of the Alexander polynomial for a large family of alternating $n$-braid links and we verify that these 4 coefficients form a log-concave sequence.
Integer flows on triangularly connected signed graphs
Published
• View Publication
• BIB
A triangle-path in a graph $G$ is a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in $G$ such that for any $i, j$ with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. A connected graph $G$ is triangularly connected if for any two nonparallel edges $e$ and $e'$ there is a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e'\in E(T_m)$. For ordinary graphs, Fan {\it et al.}~(J. Combin. Theory Ser. B 98 (2008) 1325-1336) characterize all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result include integer flow of some families of ordinary graphs, such as, locally connected graphs due to Lai (J. Graph Theory 42 (2003) 211-219) and some types of products of graphs due to Imrich et al.(J. Graph Theory 64 (2010) 267-276). In this paper, Fan's result for triangularly connected graphs is further extended to signed graphs. We proved that every flow-admissible triangularly connected signed graph admits a nowhere-zero $4$-flow if and only if it is not the wheel $W_5$ associated with a specific signature. Moreover, this result is sharp since there are infinitely many unbalanced triangularly connected signed graphs admitting a nowhere-zero $4$-flow but not $3$-flow.
Cop numbers of periodic graphs
Published
• View Publication
• BIB
A \emph{periodic graph} ${\cal G}=(G_0, G_1, G_2, \dots)$ with period $p$ is an infinite periodic sequence of graphs $G_i = G_{i + p} = (V,E_i)$, where $i \geq 0$. The graph $G=(V,\cup_i E_i)$ is called the footprint of ${\cal G}$. Recently, the arena where the Cops and Robber game is played has been extended from a graph to a periodic graph; in this case, the \emph{cop number} is also the minimum number of cops sufficient for capturing the robber. We study the connections and distinctions between the cop number $c({\cal G})$ of a periodic graph ${\cal G}$ and the cop number $c(G)$ of its footprint $G$ and establish several facts. For instance, we show that the smallest periodic graph with $c({\cal G}) = 3$ has at most $8$ nodes; in contrast, the smallest graph $G$ with $c(G) = 3$ has $10$ nodes.
We push this investigation by generating multiple examples showing how the cop numbers of a periodic graph ${\cal G}$, the subgraphs $G_i$ and its footprint $G$ can be loosely tied.
Based on these results, we derive upper bounds on the cop number of a periodic graph from properties of its footprint such as its treewidth.
Long increasing subsequences and non-algebraicity
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (August 21, 2024) dmtcs:12539
• View Publication
• BIB
We use a recent result of Alin Bostan to prove that the generating functions of two infinite sequences of permutation classes are not algebraic.
Closed-form formulas, determinantal expressions, recursive relations, power series, and special values of several functions used in Clark--Ismail's two conjectures
Published in Applied and Computational Mathematics, vol. 22 (2023), No. 4, 443--465
• View Publication
• BIB
In the paper, by virtue of the famous formula of Faà di Bruno, with the aid of several identities of partial Bell polynomials, by means of a formula for derivatives of the ratio of two differentiable functions, and with availability of other techniques, the authors establish closed-form formulas in terms of the Bernoulli numbers and the second kind Stirling numbers, present determinantal expressions, derive recursive relations, obtain power series, and compute special values of the function $\frac{v^j}{1-\operatorname{e}^{-v}}$, its derivatives, and related ones used in Clark--Ismail's two conjectures. By these results, the authors also discover a formula for the determinant of a Hessenberg matrix and derive logarithmic convexity of a sequence related to the function and its derivatives.
The Existence and Structure of Universal Partial Cycles
Published
• View Publication
• BIB
A universal partial cycle (or upcycle) for $\mathcal{A}^n$ is a cyclic sequence that covers each word of length $n$ over the alphabet $\mathcal{A}$ exactly once -- like a De Bruijn cycle, except that we also allow a wildcard symbol $\mathord{\diamond}$ that can represent any letter of $\mathcal{A}$. Chen et al. in 2017 and Goeckner et al. in 2018 showed that the existence and structure of upcycles are highly constrained, unlike those of De Bruijn cycles, which exist for every alphabet size and word length. Moreover, it was not known whether any upcycles existed for $n \ge 5$. We present several examples of upcycles over both binary and non-binary alphabets for $n = 8$. We generalize two graph-theoretic representations of De Bruijn cycles to upcycles. We then introduce novel approaches to constructing new upcycles from old ones. Notably, given any upcycle for an alphabet of size $a$, we show how to construct an upcycle for an alphabet of size $ak$ for any $k \in \mathbb{N}$, so each example generates an infinite family of upcycles. We also define folds and lifts of upcycles, which relate upcycles with differing densities of $\mathord{\diamond}$ characters. In particular, we show that every upcycle lifts to a De Bruijn cycle. Our constructions rely on a different generalization of De Bruijn cycles known as perfect necklaces, and we introduce several new examples of perfect necklaces. We extend the definitions of certain pseudorandomness properties to partial words and determine which are satisfied by all upcycles, then draw a conclusion about linear feedback shift registers. Finally, we prove new nonexistence results based on the word length $n$, alphabet size, and $\mathord{\diamond}$ density.
Random minimum spanning tree and dense graph limits
A theorem of Frieze from 1985 asserts that the total weight of the minimum spanning tree of the complete graph $K_n$ whose edges get independent weights from the distribution $UNIFORM[0,1]$ converges to Apéry's constant in probability, as $n\to\infty$. We generalize this result to sequences of graphs $G_n$ that converge to a graphon $W$. Further, we allow the weights of the edges to be drawn from different distributions (subject to moderate conditions). The limiting total weight $κ(W)$ of the minimum spanning tree is expressed in terms of a certain branching process defined on $W$, which was studied previously by Bollobás, Janson and Riordan in connection with the giant component in inhomogeneous random graphs.
On the topology of conormal complexes and posets of matroids
Published
• View Publication
• BIB
We introduce the poset of biflats of a matroid $M$, a Lagrangian analog of the lattice of flats of $M$, and study the topology of its order complex, which we call the biflats complex. This work continues the study of the Lagrangian combinatorics of matroids, which was recently initiated by work of Ardila, Denham and Huh. We show the biflats complex contains two distinguished subcomplexes: the conormal complex of $M$ and the simplicial join of the Bergman complexes of $M$ and $M^\perp$, the matroidal dual of $M$. Our main theorems give sequences of elementary collapses of the biflats complex onto the conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$. These collapses give a combinatorial proof that the biflats complex, conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$ are all simple homotopy equivalent. Although simple homotopy equivalent, these complexes have many different combinatorial properties. We collect and prove a list of such properties.
Operations on the set of scalar and matrix-valued quiddity sequences
Published
• View Publication
• BIB
Our purpose with this paper is, in first place, to recast the space of quiddity sequences corresponding to usual frieze patterns as a different type of SET operad, and second to introduce and study $\mathfrak{M}$-quiddity sequences where $\mathfrak{M}$ is a monodromy block matrix of order two. Also, we examine some related topic as are the possibility of to define matrix-valued friezes patterns and noncommutative signed Chebyshev polynomials.
Computation of Grundy dominating sequences in (co-)bipartite graphs
A sequence $S$ of vertices of a graph $G$ is called a dominating sequence of $G$ if $(i)$ each vertex $v$ of $S$ dominates a vertex of $G$ that was not dominated by any of the vertices preceding vertex $v$ in $S$, and $(ii)$ every vertex of $G$ is dominated by at least one vertex of $S$. The Grundy Domination problem is to find a longest dominating sequence for a given graph $G$. It has been known that the decision version of the Grundy Domination problem is NP-complete even when restricted to chordal graphs. In this paper, we prove that the decision version of the Grundy Domination problem is NP-complete for bipartite graphs and co-bipartite graphs. On the positive side, we present a linear-time algorithm that solves the Grundy Domination problem for chain graphs, which form a subclass of bipartite graphs.
The Complexity of Homomorphism Reconstructibility
Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where one would like to answer queries or classify graphs solely based on the representation of a graph $G$ as a finite vector of homomorphism counts from some fixed finite set of graphs to $G$. We study the computational complexity of the arguably most fundamental computational problem associated to these representations, the homomorphism reconstructability problem: given a finite sequence of graphs and a corresponding vector of natural numbers, decide whether there exists a graph $G$ that realises the given vector as the homomorphism counts from the given graphs.
We show that this problem yields a natural example of an $\mathsf{NP}^{#\mathsf{P}}$-hard problem, which still can be $\mathsf{NP}$-hard when restricted to a fixed number of input graphs of bounded treewidth and a fixed input vector of natural numbers, or alternatively, when restricted to a finite input set of graphs. We further show that, when restricted to a finite input set of graphs and given an upper bound on the order of the graph $G$ as additional input, the problem cannot be $\mathsf{NP}$-hard unless $\mathsf{P} = \mathsf{NP}$. For this regime, we obtain partial positive results. We also investigate the problem's parameterised complexity and provide fpt-algorithms for the case that a single graph is given and that multiple graphs of the same order with subgraph instead of homomorphism counts are given.
Real phase structures on tropical manifolds and patchworks in higher codimension
Published
• View Publication
• BIB
This paper generalises the homeomorphism theorem behind Viro's combinatorial patchworking of hypersurfaces in toric varieties to arbitrary codimension using tropical geometry. We first define the patchwork of a polyhedral space equipped with a real phase structure. When the polyhedral subspace is tropically non-singular, we show that the patchwork is a topological manifold. When a non-singular tropical variety appears as a tropical limit of a real analytic family, we show that the real part of a fibre of the family near the tropical limit is homeomorphic to the patchwork.
Finally we extend the spectral sequence introduced by the last two authors in the case of hypersurfaces to non-singular tropical varieties with real phase structures. As a corollary, we obtain bounds on the Betti numbers of the patchwork in terms of the dimensions of the tropical homology groups with coefficients modulo two.