Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Spanning trees for many different numbers of leaves
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (November 18, 2024) dmtcs:13116
• View Publication
• BIB
Let $G$ be a connected graph and $L(G)$ the set of all integers $k$ such that $G$ contains a spanning tree with exactly $k$ leaves. We show that for a connected graph $G$, the set $L(G)$ is contiguous. It follows from work of Chen, Ren, and Shan that every connected and locally connected $n$-vertex graph -- this includes triangulations -- has a spanning tree with at least $n/2 + 1$ leaves, so by a classic theorem of Whitney and our result, in any plane $4$-connected $n$-vertex triangulation one can find for any integer $k$ which is at least $2$ and at most $n/2 + 1$ a spanning tree with exactly $k$ leaves (and each of these trees can be constructed in polynomial time). We also prove that there exist infinitely many $n$ such that there is a plane $4$-connected $n$-vertex triangulation containing a spanning tree with $2n/3$ leaves, but no spanning tree with more than $2n/3$ leaves.
A spin analog of the plethystic Murnaghan-Nakayama rule
Published in Ann. Combin. 28 (2024) 655--679
• View Publication
• BIB
As a spin analog of the plethystic Murnaghan-Nakayama rule for Schur functions, the plethystic Murnaghan-Nakayama rule for Schur $Q$-functions is established with the help of the vertex operator realization. This generalizes both the Murnaghan-Nakayama rule and the Pieri rule for Schur $Q$-functions. A plethystic Murnaghan-Nakayama rule for Hall-Littlewood functions is also investigated.
Irreducible characters and bitrace for the $q$-rook monoid
Published in Comm. Algebra (2025)
• View Publication
• BIB
This paper studies irreducible characters of the $q$-rook monoid algebra $R_n(q)$ using the vertex algebraic method. Based on the Frobenius formula for $R_n(q)$, a new iterative character formula is derived with the help of the vertex operator realization of the Schur symmetric function. The same idea also leads to a simple proof of the Murnaghan-Nakayama rule for $R_n(q)$. We also introduce the bitrace for the $q$-rook monoid and derive its combinatorial formula as a generalization of the bitrace formula for the Iwahori-Hecke algebra. The character table of $R_n(q)$ with $|μ|=5$ is listed in the appendix.
Spinors from pure spinors
Published in The Quarterly Journal of Mathematics, 2025, haaf025
• View Publication
• BIB
We propose and develop a new method to classify orbits of the spin group ${\rm Spin}(2d)$ in the space of its semi-spinors. The idea is to consider spinors as being built as a linear combination of their pure constituents, imposing the constraint that no pair of pure spinor constituents sums up to a pure spinor. We show that this leads to a simple combinatorial problem that has a finite number of solutions in dimensions up to and including fourteen. We call each distinct solution a combinatorial type of an impure spinor. We represent each combinatorial type graphically by a simplex, with vertices corresponding to the pure constituents of a spinor, and edges being labelled by the dimension of the totally null space that is the intersection of the annihilator subspaces of the pure spinors living at the vertices. We call the number of vertices in a simplex the impurity of an impure spinor. In dimensions eight and ten the maximal impurity is two. Dimension twelve is the first dimension where one gets an impurity three spinor, represented by a triangle. In dimension fourteen the generic orbit has impurity four, while the maximal impurity is five. We show that each of our combinatorial types uniquely corresponds to one of the known spinor orbits, thus reproducing the classification of spinors in dimensions up to and including fourteen from simple combinatorics. Our methods continue to work in dimensions sixteen and higher, but the number of the possible distinct combinatorial types grows rather rapidly with the dimension.
Homology of matching complexes and representations of symmetric groups
Published
• View Publication
• BIB
We compute the homology of the matching complex $M(Γ)$, where $Γ$ is the complete hypergraph on $n\geq 2$ vertices, and analyse the $S_n$-representations carried by this homology. These results are achieved using standard techniques in combinatorial topology, such as the theory of shellings. We then broaden the scope to the larger class of fibre-closed families of simplicial complexes and consider these through the lens of representation stability. This allows us to prove a number of results of an asymptotic nature, such as an analysis of the growth of Betti numbers and the kinds of irreducible $S_n$-representations that appear.
Substitutions and Cantor real numeration systems
Published
• View Publication
• BIB
We consider Cantor real numeration system as a frame in which every non-negative real number has a positional representation. The system is defined using a bi-infinite sequence $\Beta=(β_n)_{n\in\Z}$ of real numbers greater than one. We introduce the set of $\Beta$-integers and code the sequence of gaps between consecutive $\Beta$-integers by a symbolic sequence in general over the alphabet $\N$. We show that this sequence is $S$-adic. We focus on alternate base systems, where the sequence $\Beta$ of bases is periodic and characterize alternate bases $\Beta$, in which $\Beta$-integers can be coded using a symbolic sequence $v_{\Beta}$ over a finite alphabet. With these so-called Parry alternate bases we associate some substitutions and show that $v_\Beta$ is a fixed point of their composition. The paper generalizes results of Fabre and Burdík et al.\ obtained for the Rényi numerations systems, i.e., in the case when the Cantor base $\Beta$ is a constant sequence.
Positive links with arrangements of pseudocircles as shadows
Published
• View Publication
• BIB
An arrangement of pseudocircles $\mathcal{A}$ is a collection of Jordan curves in the plane that pairwise intersect (transversally) at exactly two points. How many non-equivalent links have $\mathcal{A}$ as their shadow? Motivated by this question, we study the number of non-equivalent positive oriented links that have an arrangement of pseudocircles as their shadow. We give sharp estimates on this number when $\mathcal{A}$ is one of the three unavoidable arrangements of pseudocircles.
Flowers in graph-like spaces
One perspective on tree decompositions is that they display (low-order) separations of the underlying graph or matroid. The separations displayed by a tree decomposition are necessarily nested. In 2013, Clark and Whittle proved the existence of tree decompositions with flowers added in which, up to a natural equivalence, all low-order separations are displayed. An important step in that proof is to show that flowers can be extended to maximal flowers. In this paper we generalise the notion of a flower to pseudoflowers in graph-like spaces and show for our generalisation, flowers can be extended to maximal flowers.
Resolution of the quadratic Littlewood--Offord problem
Consider a quadratic polynomial $Q(ξ_{1},\dots,ξ_{n})$ of independent Rademacher random variables $ξ_{1},\dots,ξ_{n}$. To what extent can $Q(ξ_{1},\dots,ξ_{n})$ concentrate on a single value? This quadratic version of the classical Littlewood--Offord problem was popularised by Costello, Tao and Vu in their study of symmetric random matrices. In this paper, we obtain an essentially optimal bound for this problem, as conjectured by Nguyen and Vu.
Specifically, if $Q(ξ_{1},\dots,ξ_{n})$ "robustly depends on at least $m$ of the $ξ_{i}$" in the sense that there is no way to pin down the value of $Q(ξ_{1},\dots,ξ_{n})$ by fixing values for fewer than $m$ of the variables $ξ_{i}$, then we have $\Pr[Q(ξ_{1},\dots,ξ_{n})=0]\le O(1/\sqrt{m})$. This also implies a similar result in the case where $ξ_{1},\dots,ξ_{n}$ have arbitrary distributions.
Our proof combines a number of ideas that may be of independent interest, including an inductive decoupling scheme that reduces quadratic anticoncentration problems to high-dimensional linear anticoncentration problems. Also, one application of our main result is the resolution of a conjecture of Alon, Hefetz, Krivelevich and Tyomkyn related to graph inducibility.
Graph partition method based on finite projective planes
We present a novel graph partition algorithm with a theoretical bound for the replication factor of \sqrt(n), which improves known constrained approaches (grid: 2* \sqrt(n)-1, torus: 1.5*\sqrt(n)+1) and provides better performance
Orbits of Jacobi forms and Theta relations
Published
• View Publication
• BIB
Jacobi theta functions with rational characteristics can be viewed as vector-valued Jacobi forms. Theta relations usually correspond to different constructions of certain Jacobi forms. From this observation, we extract a new approach, which is called orbits of Jacobi forms, to produce identities on Jacobi theta functions. Our approach not only provides simple proofs of many known theta relations but also produces a large number of new identities, which can be considered as generalizations of Riemann's theta relations.
$f$-vector inequalities for order and chain polytopes
Published in Mathematica Scandinavica, Volume 130, 2024, pages 467-486
• View Publication
• BIB
The order and chain polytopes are two 0/1-polytopes constructed from a finite poset. In this paper, we study the $f$-vectors of these polytopes. We investigate how the order and chain polytopes behave under disjoint unions and ordinal sums of posets, and how the $f$-vectors of these polytopes are expressed in terms of $f$-vectors of smaller polytopes. Our focus is on comparing the $f$-vectors of the order and chain polytope built from the same poset. In our main theorem we prove that for a family of posets built inductively by taking disjoint unions and ordinal sums of posets, for any poset $\mathcal{P}$ in this family the $f$-vector of the order polytope of $\mathcal{P}$ is component-wise at most the $f$-vector of the chain polytope of $\mathcal{P}$.
UMP Monomial Algebras: Combinatorial and Homological Consequences
In this paper, we apply the techniques developed in [5] to present several consequences of studying UMP algebras and the ramifications graph of a monomial bound quiver algebra. Specifically, we prove that every weakly connected component of the ramifications graph of a UMP monomial algebra is unilaterally connected. Furthermore, using the main result characterizing UMP algebras in the monomial context, we prove that the class of UMP algebras is equivalent to the class of special multiserial algebras when the algebra is a quadratic monomial algebra. Based on this equivalence and the classification of Chen-Shen-Zhou on Gorenstein projective modules in [6], we extend their results to the class of monomial special multiserial UMP algebras, where we use the analysis of homological properties on quadratic monomial algebras given by these authors.
The growth rate of multicolor Ramsey numbers of $3$-graphs
The $q$-color Ramsey number of a $k$-uniform hypergraph $G,$ denoted $r(G;q)$, is the minimum integer $N$ such that any coloring of the edges of the complete $k$-uniform hypergraph on $N$ vertices contains a monochromatic copy of $G$. The study of these numbers is one of the most central topics in combinatorics. One natural question, which for triangles goes back to the work of Schur in 1916, is to determine the behaviour of $r(G;q)$ for fixed $G$ and $q$ tending to infinity. In this paper we study this problem for $3$-uniform hypergraphs and determine the tower height of $r(G;q)$ as a function of $q$. More precisely, given a hypergraph $G$, we determine when $r(G; q)$ behaves polynomially, exponentially or double-exponentially in $q$. This answers a question of Axenovich, Gyárfás, Liu and Mubayi.
The Graph Burning Conjecture is true for trees without degree-2 vertices
Published
• View Publication
• BIB
Graph burning is a discrete time process which can be used to model the spread of social contagion. One is initially given a graph of unburned vertices. At each round (time step), one vertex is burned; unburned vertices with at least one burned neighbour from the previous round also becomes burned. The burning number of a graph is the fewest number of rounds required to burn the graph. It has been conjectured that for a graph on $n$ vertices, the burning number is at most $\lceil\sqrt{n}\rceil$. We show that the graph burning conjecture is true for trees without degree-2 vertices.
On Products of $Δ$-sets
Published
• View Publication
• BIB
We prove the consistency of the existence of a $Q$-set whose square is not a $Δ$-set and that if there is a $Δ$-set, then there exists a $Δ$-set whose all finite powers are $Δ$-sets.
Wilf-Zeilberger seeds and non-trivial hypergeometric identities
Published
• View Publication
• BIB
Through a systematic approach on generating Wilf-Zeilberger-pairs, we prove some hypergeometric identities conjectures due to Z.W. Sun, J. Guillera and Y. Zhao etc., including two Ramanujan-$1/π^4$, one $1/π^3$ formulas as well as a remarkable series for $ζ(5)$.
Equivariant Hilbert and Ehrhart series under translative group actions
We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.
On the $p$-torsional rigidity of combinatorial graphs
We study the $p$-\emph{torsion function} and the corresponding $p$-\emph{torsional rigidity} associated with $p$-Laplacians and, more generally, $p$-Schrödinger operators, for $1<p<\infty$, on possibly infinite combinatorial graphs. We present sufficient criteria for the existence of a summable $p$-torsion function and we derive several upper and lower bounds for the $p$-torsional rigidity. Our methods are mostly based on novel surgery principles. As an application, we also find some new estimates on the bottom of the spectrum of the $p$-Laplacian with Dirichlet conditions, thus complementing some results recently obtained in: José M. Mazón, Julian Toledo, Torsional rigidity in random walk spaces, in a more general setting. Finally, we prove a Kohler-Jobin inequality for combinatorial graphs (for $p=2$): to the best of our knowledge, graphs thus become the third ambient where a Kohler-Jobin inequality is known to hold.
On Separating Path and Tree Systems in Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 20, 2025) dmtcs:12743
• View Publication
• BIB
We explore the concept of separating systems of vertex sets of graphs. A separating system of a set $X$ is a collection of subsets of $X$ such that for any pair of distinct elements in $X$, there exists a set in the separating system that contains exactly one of the two elements. A separating system of the vertex set of a graph $G$ is called a vertex-separating path (tree) system of $G$ if the elements of the separating system are paths (trees) in the graph $G$. In this paper, we focus on the size of the smallest vertex-separating path (tree) system for different types of graphs, including trees, grids, and maximal outerplanar graphs.