sequence
6845 papers tagged with this keyword
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
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
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
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
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
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
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
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.
Fuss-Catalan Triangles
For each $p>0$ we define by recurrence a triangle $T^p(n,k)$ whose rows sum to the Fuss-Catalan numbers $ \frac{1}{p n+1}\binom{pn+1}{n}$, generalizing the known Catalan triangle corresponding to the case $p=2$. (In fact, $T^p(n,k)$ has an explicit formula counting simple lattice paths). Moreover, for some small values of $p$, the signed sums turn out to be known sequences. \end{abstract}
On the order sequence of a group
Published in The Electronic Journal of Combinatorics, 32(2) (2025), #P2.9
• View Publication
• BIB
This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group.
The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of results about this poset, among them the following.
M.~Amiri recently proved that the poset has a unique maximal element, corresponding to the cyclic group. We show that the product of orders in a cyclic group of order $n$ is at least $q^{φ(n)}$ times as large as the product in any non-cyclic group,where $q$ is the smallest prime divisor of $n$ and $φ$ is Euler's function, with a similar result for the sum.
The poset of order sequences of abelian groups of order $p^n$ is naturally isomorphic to the (well-studied) poset of partitions of $n$ with its natural partial order.
If there exists a non-nilpotent group of order $n$, then there exists such a group whose order sequence is dominated by the order sequence of any nilpotent group of order $n$.
There is a product operation on finite ordered sequences, defined by forming all products and sorting them into non-decreasing order. The product of order sequences of groups $G$ and $H$ is the order sequence of a group if and only if $|G|$ and $|H|$ are coprime.
The paper concludes with a number of open problems.
Structural convergence and algebraic roots
Published in Combinator. Probab. Comp. 34 (2025) 392-400
• View Publication
• BIB
Structural convergence is a framework for convergence of graphs by Nešetřil and Ossona de Mendez that unifies the dense (left) graph convergence and Benjamini-Schramm convergence. They posed a problem asking whether for a given sequence of graphs $(G_n)$ converging to a limit $L$ and a vertex $r$ of $L$ it is possible to find a sequence of vertices $(r_n)$ such that $L$ rooted at $r$ is the limit of the graphs $G_n$ rooted at $r_n$. A counterexample was found by Christofides and Král', but they showed that the statement holds for almost all vertices $r$ of $L$. We offer another perspective to the original problem by considering the size of definable sets to which the root $r$ belongs. We prove that if $r$ is an algebraic vertex (i.e. belongs to a finite definable set), the sequence of roots $(r_n)$ always exists.
Using Elementary Techniques to Characterize the Relationship Between Wythoff's Game and the Golden Ratio
Wythoff's game is a modification of the well-known game of ``nim." Wythoff's game, which does not resemble the Fibonacci sequence, has direct relation to the Golden ratio. We will explore the sequence behind this surprising relationship, and consider the implications of our elementary methods.