Showing 20 papers (Total: 83502 papers, 48219 authors in database)
$GL_n(\mathbb{F}_q)$-analogues of some properties of $n$-cycles in $\mathfrak{S}_n$
We give analogues in the finite general linear group of two elementary results concerning long cycles and transpositions in the symmetric group: first, that the long cycles are precisely the elements whose minimum-length factorizations into transpositions yield a generating set, and second, that a long cycle together with an appropriate transposition generates the whole symmetric group.
How to burn a Latin square
Published
• View Publication
• BIB
We investigate the lazy burning process for Latin squares by studying their associated hypergraphs. In lazy burning, a set of vertices in a hypergraph is initially burned, and that burning spreads to neighboring vertices over time via a specified propagation rule. The lazy burning number is the minimum number of initially burned vertices that eventually burns all vertices. The hypergraphs associated with Latin squares include the $n$-uniform hypergraph, whose vertices and hyperedges correspond to the entries and lines (that is, sets of rows, columns, or symbols) of the Latin square, respectively, and the $3$-uniform hypergraph, which has vertices corresponding to the lines of the Latin square and hyperedges induced by its entries.
Using sequences of vertices that together form a vertex cover, we show that for a Latin square of order $n$, the lazy burning number of its $n$-uniform hypergraph is bounded below by $n^2-3n+3$ and above by $n^2-3n+2 + \lfloor \log_2 n \rfloor.$ These bounds are shown to be tight using cyclic Latin squares and powers of intercalates. For the $3$-uniform hypergraph case, we show that the lazy burning number of Latin squares is one plus its shortest connected chain of subsquares. We determine the lazy burning number of Latin square hypergraphs derived from finitely generated groups. We finish with open problems.
Odd 4-coloring of outerplanar graphs
Published
• View Publication
• BIB
A proper $k$-coloring of $G$ is called an odd coloring of $G$ if for every vertex $v$, there is a color that appears at an odd number of neighbors of $v$. This concept was introduced recently by Petruševski and Škrekovski, and they conjectured that every planar graph is odd 5-colorable. Towards this conjecture, Caro, Petruševski, and Škrekovski showed that every outerplanar graph is odd 5-colorable, and this bound is tight since the cycle of length 5 is not odd 4-colorable. Recently, the first author and others showed that every maximal outerplanar graph is odd 4-colorable. In this paper, we show that a connected outerplanar graph $G$ is odd 4-colorable if and only if $G$ contains a block which is not a copy of the cycle of length 5. This strengthens the result by Caro, Petruševski, and Škrekovski, and gives a complete characterization of odd 4-colorable outerplanar graphs.
On Simplicial Complexes with Extremal Total Betti number and Total Bigraded Betti Number
Published
• View Publication
• BIB
We determine which simplicial complexes have the maximum or minimum sum of Betti numbers and sum of bigraded Betti numbers with a given number of vertices in each dimension.
Bizonotopal Graphical Algebras
Published
• View Publication
• BIB
Zonotopal algebras (external, central, and internal) of an undirected graph G introduced by Postnikov-Shapiro and Holtz-Ron, are finite-dimensional commutative graded algebras whose Hilbert series contain a wealth of combinatorial information about G. In this paper, we associate to G a new family of algebras, which we call bizonotopal, because their definition involves doubling the set of edges of G. These algebras are monomial and have intricate properties related, among other things, to the combinatorics of graphical parking functions and their polytopes.
Unlike the case of usual zonotopal algebras, the Hilbert series of bizonotopal algebras are not specializations of the Tutte polynomial of G. Still, we show that in the external and central cases these Hilbert series satisfy a modified deletion-contraction relation. In addition, we prove that the external bizonotopal algebra is a complete graph invariant.
The $B_2$ index of galled trees
In recent years, there has been an effort to extend the classical notion of phylogenetic balance, originally defined in the context of trees, to networks. One of the most natural ways to do this is with the so-called $B_2$ index. In this paper, we study the $B_2$ index for a prominent class of phylogenetic networks: galled trees. We show that the $B_2$ index of a uniform leaf-labeled galled tree converges in distribution as the network becomes large. We characterize the corresponding limiting distribution, and show that its expected value is 2.707911858984... This is the first time that a balance index has been studied to this level of detail for a random phylogenetic network.
One specificity of this work is that we use two different and independent approaches, each with its advantages: analytic combinatorics, and local limits. The analytic combinatorics approach is more direct, as it relies on standard tools; but it involves slightly more complex calculations. Because it has not previously been used to study such questions, the local limit approach requires developing an extensive framework beforehand; however, this framework is interesting in itself and can be used to tackle other similar problems.
Periodic Column Partial Sums in the Riordan Array of a Polynomial
Published
• View Publication
• BIB
When $p(t)$ is a polynomial of degree $d$, $k$-th column of the Riordan array $\bigl(1/(1 - t^{d+1}), tp(t)\bigr)$ is an eventually periodic sequence with the repeating part beginning at the $1 + (k-1)(d+1)$-st term. The pre-periodic terms add up to the $(k-1)(d+1)$-st partial sum of the corresponding formal power series, and thus the Riordan array of $p(t)$ generates a sequence of column partial sums. We classify linear and quadratic polynomials, and present a particular family of polynomials of higher degrees, for which such sequences of column partial sums are eventually periodic.
The rank of a random triangular matrix over $\mathbb{F}_q$
Published
• View Publication
• BIB
We consider uniformly random strictly upper-triangular matrices in $\operatorname{Mat}_n(\mathbb{F}_q)$. For such a matrix $A_n$, we show that $n-\operatorname{rank}(A_n) \approx \log_q n$ as $n \to \infty$, and find that the fluctuations around this limit are finite-order and given by explicit $\mathbb{Z}$-valued random variables. More generally, we consider the random partition whose parts are the sizes of the nilpotent Jordan blocks of $A_n$: its $k$ largest parts (rows) were previously shown by Borodin to have jointly Gaussian fluctuations as $N \to \infty$, and its columns correspond to differences $\operatorname{rank}(A_n^{i-1}) - \operatorname{rank}(A_n^i)$. We show the fluctuations of the columns converge jointly to a discrete random point configuration $\mathcal{L}_{t,χ}$ introduced in arXiv:2310.12275. The proofs use an explicit integral formula for the probabilities at finite $N$, obtained by de-Poissonizing a corresponding one in arXiv:2310.12275, which is amenable to asymptotic analysis.
Pattern-avoiding Cayley permutations via combinatorial species
A Cayley permutation is a word of positive integers such that if a letter appears in this word, then all positive integers smaller than that letter also appear. We initiate a systematic study of pattern avoidance on Cayley permutations adopting a combinatorial species approach. Our methods lead to species equations, generating series, and counting formulas for Cayley permutations avoiding any pattern of length at most three. We also introduce the species of primitive structures as a generalization of Cayley permutations with no "flat steps". Finally, we explore various notions of Wilf equivalence arising in this context.
Equality cases of the Stanley--Yan log-concave matroid inequality
The \emph{Stanley--Yan} (SY) \emph{inequality} gives the ultra-log-concavity for the numbers of bases of a matroid which have given sizes of intersections with $k$ fixed disjoint sets. The inequality was proved by Stanley (1981) for regular matroids, and by Yan (2023) in full generality. In the original paper, Stanley asked for equality conditions of the SY~inequality, and proved total equality conditions for regular matroids in the case $k=0$. In this paper, we completely resolve Stanley's problem. First, we obtain an explicit description of the equality cases of the SY inequality for $k=0$, extending Stanley's results to general matroids and removing the ``total equality'' assumption. Second, for $k\ge 1$, we prove that the equality cases of the SY inequality cannot be described in a sense that they are not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level.
Upper bounds for measures on distal classes
In recent work, Harman and Snowden introduced a notion of measure on a Fraïssé class $\mathfrak{F}$, and showed how such measures lead to interesting tensor categories. Constructing and classifying measures is a difficult problem, and so far only a handful of cases have been worked out. In this paper, we obtain some of the first general results on measures. Our main theorem states that if $\mathfrak{F}$ is distal (in the sense of Simon), and there are some bounds on automorphism groups, then $\mathfrak{F}$ admits only finitely many measures; moreover, we give an effective upper bound on their number. For example, if $\mathfrak{F}$ is the class of ``$s$-dimensional permutations'' (finite sets equipped with $s$ total orders), we show that the number of measures is bounded above by approximately $\exp(\exp(s^2 \log{s}))$.
Completely greedy coin sets
We show that the binary coin set minimizes the number of coins needed to guarantee the ability to make change in any one transaction and its asymptotic uniform average cost is no worse than that of any completely greedy coin set.
Characterizations of Perfectly Clustering Words
Published
• View Publication
• BIB
Perfectly clustering words are one of many possible generalizations of Christoffel words. In this article, we propose a factorization of a perfectly clustering word on a $n$ letters alphabet into a product of $n-1$ palindromes with a letter between each of them. This factorization allows us to generalize two combinatorial characterization of Christoffel words due to Pirillo (1999) and de Luca and Mignosi (1994).
A Fan-type condition for cycles in $1$-tough and $k$-connected $(P_2\cup kP_1)$-free graphs
Published
• View Publication
• BIB
For a graph $G$, let $μ_k(G):=\min~\{\max_{x\in S}d_G(x):~S\in \mathcal{S}_k\}$, where $\mathcal{S}_k$ is the set consisting of all independent sets $\{u_1,\ldots,u_k\}$ of $G$ such that some vertex, say $u_i$ ($1\leq i\leq k$), is at distance two from every other vertex in it. A graph $G$ is $1$-tough if for each cut set $S\subseteq V(G)$, $G-S$ has at most $|S|$ components. Recently, Shi and Shan \cite{Shi} conjectured that for each integer $k\geq 4$, being $2k$-connected is sufficient for $1$-tough $(P_2\cup kP_1)$-free graphs to be hamiltonian, which was confirmed by Xu et al. \cite{Xu} and Ota and Sanka \cite{Ota2}, respectively. In this article, we generalize the above results through the following Fan-type theorem: Let $k$ be an integer with $k\geq 2$ and let $G$ be a $1$-tough and $k$-connected $(P_2\cup kP_1)$-free graph with $μ_{k+1}(G)\geq\frac{7k-6}{5}$, then $G$ is hamiltonian or the Petersen graph.
Triangle decompositions of PG(n-1,2)
Published in Discrete Math. 349(1) 2026, 114664(1-13)
• View Publication
• BIB
We define a triangle design as a partition of the set of lines of a projective space into triangles, where a triangle consists of three pairwise intersecting lines with no common point. A triangle design is balanced if all points are involved in the same number of triangles. We construct balanced triangle designs in PG$(n-1,2)$ for all admissible $n$ (congruent to $1$ modulo $6$) and an infinite class of balanced block-divisible triangle designs. We also prove that the existence of a triangle design in PG$(n-1,2)$ invariant under the action of the Singer cycle group is equivalent to the existence of a partition of $Z_{2^n-1}\backslash\{0\}$ into special $18$-subsets and find such partitions for $n=7$, $13$, $19$.
Keywords: Subspace design, graph decomposition, triangle design, Heffter's difference problem.
Computing the degreewidth of a digraph is hard
Published
• View Publication
• BIB
Given a digraph, an ordering of its vertices defines a backedge graph, namely the undirected graph whose edges correspond to the arcs pointing backwards with respect to the order. The degreewidth of a digraph is the minimum over all ordering of the maximum degree of the backedge graph. We answer an open question by Keeney and Lokshtanov [WG 2024], proving that it is \NP-hard to determine whether an oriented graph has degreewidth at most $1$, which settles the last open case for oriented graphs. We complement this result with a general discussion on parameters defined using backedge graphs and their relations to classical parameters.
On an upper bound for central binomial coefficients and Catalan numbers
Recently, Agievich proposed an interesting upper bound on binomial coefficients in the de Moivre-Laplace form. In this article, we show that the latter bound, in the specific case of a central binomial coefficient, is larger than the one proposed by Sasvari and obtained using the Binet formula for the Gamma function. In addition, we provide the expression of the next-order bound and apply it to Catalan numbers $C_n$. The bounds are very close to the exact value, the difference decreasing with $n$ and with the order of the upper bound.
Number of roots of the continuant over a finite local ring
The aim of this article is to obtain a formula giving, for a positive integer $n$, the number of roots of the $n^{th}$ continuant polynomial over a finite local ring. In particular, we will give counting formulae for the roots of the continuant over the local rings $\mathbb{F}_{q}$, $\mathbb{Z}/p^{m}\mathbb{Z}$ and $\frac{\mathbb{F}_{q}[X]}{<X^{m}>}$. To conclude, the methods used for the continuant will allow us to give a new and short proof of the counting formulae for $λ$-quiddities (which are the solutions of a matrix equation appearing in the study of Coxeter's friezes) over the rings $\mathbb{Z}/p^{m}\mathbb{Z}$.
Bollobás-Nikiforov Conjecture for graphs with not so many triangles
Published
• View Publication
• BIB
Bollobás and Nikiforov conjectured that for any graph $G \neq K_n$ with $m$ edges \[ λ_1^2+λ_2^2\le \bigg( 1-\frac{1}{ω(G)}\bigg)2m\] where $λ_1$ and $λ_2$ denote the two largest eigenvalues of the adjacency matrix $A(G)$, and $ω$ denotes the clique number of $G$. This conjecture was recently verified for triangle-free graphs by Lin, Ning and Wu and for regular graphs by Zhang. Elphick, Wocjan and Linz proposed a generalization of this conjecture. In this note, we verify this generalized conjecture for the family of graphs on $m$ edges, which contain at most $O(m^{1.5-\varepsilon})$ triangles for some $\varepsilon > 0$. In particular, we show that the conjecture is true for planar graphs, book-free graphs and cycle-free graphs.
Domination by kings is oddly even
The $m \times n$ king graph consists of all locations on an $m \times n$ chessboard, where edges are legal moves of a chess king. %where each vertex represents a square on a chessboard and each edge is a legal move. Let $P_{m \times n}(z)$ denote its domination polynomial, i.e., $\sum_{S \subseteq V} z^{|S|}$ where the sum is over all dominating sets $S$. We prove that $P_{m \times n}(-1) = (-1)^{\lceil m/2\rceil \lceil n/2\rceil}$. In particular, the number of dominating sets of even size and the number of odd size differs by $\pm 1$. %The numbers can not be equal because the total number of dominating sets is always odd. This property does not hold for king graphs on a cylinder or a torus, or for the grid graph. But it holds for $d$-dimensional kings, where $P_{n_1\times n_2\times\cdots\times n_d}(-1) = (-1)^{\lceil n_1/2\rceil \lceil n_2/2\rceil\cdots \lceil n_d/2\rceil}$.