Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Acyclic subgraphs of digraphs with high chromatic number
Published in European Journal of Combinatorics, 2026
• View Publication
• BIB
For a digraph $G$, let $f(G)$ be the maximum chromatic number of an acyclic subgraph of $G$. For an $n$-vertex digraph $G$ it is proved that $f(G) \ge n^{5/9-o(1)}s^{-14/9}$ where $s$ is the bipartite independence number of $G$, i.e., the largest $s$ for which there are two disjoint $s$-sets of vertices with no edge between them. This generalizes a result of Fox, Kwan and Sudakov, who proved this for the case $s=0$ (i.e., tournaments and semicomplete digraphs). Consequently, if $s=n^{o(1)}$, then $f(G) \ge n^{5/9-o(1)}$ which polynomially improves the folklore bound $f(G) \ge n^{1/2-o(1)}$. As a corollary, with high probability, all orientations of the random $n$-vertex graph with edge probability $p=n^{-o(1)}$ (in particular, constant $p$, hence almost all $n$-vertex graphs) satisfy $f(G) \ge n^{5/9-o(1)}$. Our proof uses a theorem of Gallai and Milgram that together with several additional ideas, essentially reduces to the proof of Fox, Kwan and Sudakov.
Topological properties of generalized Markoff mod $p$ graphs
The generalized Markoff mod $p$ graph is defined via the equation $x^2+y^2+z^2=xyz+κ$ over the finite field $\mathbb{F}_p$ of prime order $p$. In this paper, we investigate the topological properties of the graph such as non-planarity, surface embeddability, and the existence of short cycles. Our approach is based on a systematic construction of $K_{3,3}$-subdivisions, integrating techniques from graph theory, computer algebra, and number theory.
Post-Hopf algebroids, post-Lie-Rinehart algebras and geometric numerical integration
Published
• View Publication
• BIB
In this paper, we introduce the notion of post-Hopf algebroids, generalizing the pre-Hopf algebroids introduced in [Bronasco, Laurent, 2025] in the study of exotic aromatic S-series. We construct action post-Hopf algebroids through actions of post-Hopf algebras. We show that the universal enveloping algebra of a post-Lie-Rinehart algebra (post-Lie algebroid) is naturally a post-Hopf algebroid. As a byproduct, we construct the free post-Lie-Rinehart algebra using a magma algebra with a linear map to the derivation Lie algebra of a commutative associative algebra. Applications in geometric numerical integration on manifolds are given.
Finite Groups of Random Walks in the Quarter Plane and Periodic $4$-bar Links
We solve two long standing open problems, one from probability theory formulated by Malyshev in 1970 and another one from a crossroad of geometry and dynamics, of Darboux from 1879. The Malyshev problem is of finding effective, explicit necessary and sufficient conditions in the closed form to characterize all random walks in the quarter plane with the finite group of random walk of order $2n$, for all $n\ge 2$, where the underlining biquadratic is an elliptic curve. Until now, the results were known only for $n=2, 3, 4$, obtained using ad-hoc methods developed separately for each of the three cases. We provide a method that solves the problem for all $n$ and in a unified way. Explicit examples of random walks with the groups of orders higher than 10 are presented here for the first time, including orders 12, 14, 16. The same method applies to any higher order. We consider cases with singular biquadratics in a systematic manner. We establish a new two-way relationship between diagonal random walks and $4$-bar links. We describe all $n$-periodic Darboux transformations for $4$-bar links for all $n\ge 2$, thus completely solving the Darboux problem: after $n$ iterations, a polygonal configuration maps to a congruent one of the same orientation, that he solved for $n=2$, which was recently extended to $n=3$. We also study $k$-semi-periodicity as a natural type of periodicity of the Darboux transformations, where after $k$ iterations of the Darboux transformation, a polygonal configuration maps to a congruent one, but of opposite orientation. By introducing a new object, the secondary $(2,2)$ correspondence, and the related secondary cubic of the centrally-symmetric biquadratics, we provide necessary and sufficient conditions for $k$-semi-periodicity for $4$-bar links for all $k\ge 2$ in an explicit closed form, while the case $k=2$ was solved recently.
Repeat times and a two-weight UST model
We study a model of random weighted uniform spanning trees on the complete graph with $n$ vertices, where each edge is assigned a weight of $n^{1+γ}$ with probability $1/n$ and $1$ otherwise. Whenever $γ$ is large enough, we prove that the diameter of the resulting tree is typically of order $n^{1/3} \log n$, up to a $\log \log n$ correction. Our approach uses estimates on repeat times for selecting components in a critical Erdős-Rényi graph, as well as concentration bounds on the sums of diameters of these components.
Generalized binomial edge ideals are Cartwright-Sturmfels
Published
• View Publication
• BIB
Binomial edge ideals associated to a simple graph G were introduced by Herzog and collaborators and, independently, by Ohtani. They became an ``instant classic" in combinatorial commutative algebra with more than 100 papers devoted to their investigation over the past 15 years. They exhibit many striking properties, including being radical and, moreover, Cartwright-Sturmfels. Using the fact that binomial edge ideals can be seen as ideals of 2-minors of a matrix of variables with two rows, generalized binomial edge ideals of 2-minors of matrices of m rows were introduced by Rauh and proved to be radical. The goal of this paper is to prove that generalized binomial edge ideals are Cartwright-Sturmfels. On the way we provide results on ideal constructions preserving the Cartwright-Sturmfels property. We also give examples and counterexamples to the Cartwright-Sturmfels property for higher minors.
On distance transitive graphs and $4$-geodesic transitive graphs
For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ composed of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path between $u_0$ and $u_s$. We say that $Γ$ is {\em $s$-geodesic transitive} if for each $i\leq s$, $Γ$ contains at least one $i$-geodesic, and its automorphism group acts transitively on the set of all $i$-geodesics. In this paper, by using the classification of almost simple primitive groups of rank $4$, we first classify all distance transitive graphs of diameter $3$. The resulting classification encompasses $73$ classes of graphs. As an application of this result, we have extended the main result of Jin and Tan [J. Algebra Combin. 60 (2024) 949--963]. More precisely, for a connected $(G,4)$-geodesic transitive graph with a nontrivial intransitive normal subgroup $N$ of $G$ that has at least $3$ orbits, where $G$ is an automorphism group of $Γ$, it is shown that either both $Γ$ and $Γ_N$ are known, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,4)$-geodesic transitive.
On the Density of Self-identifying Codes in $K_m \times P_n$ and $K_m \times C_n$
We study the asymptotic density of self-identifying codes in the direct product graphs $K_m \times P_n$ and $K_m \times C_n$ (the direct product of complete graphs with paths and cycles). A self-identifying code is a dominating set $S$ where each vertex $u$ (in $G$) is uniquely determined by the intersection $\bigcap_{c \in N[u] \cap S} N[c]$. Let $γ^{\rm SID}(G)$ denote its minimum size. For these product graphs, we establish new lower and upper bounds on $γ^{\rm SID}$. Crucially, from these bounds we prove that the asymptotic density $γ^{\rm SID}(G) / |V(G)|$ of a smallest self-identifying code converges to 1/3 for both families of graphs. This value matches the known asymptotic density of standard identifying codes in the same graphs, as established by Shinde and Waphare. Our result therefore shows that the stronger self-identifying constraint does not necessitate a higher density of vertices in this product setting.
Combinatorial characterzations of $T$-designs in the nonbinary Johnson scheme
We study $T$-designs in the nonbinary Johnson scheme. This scheme generalizes both the Johnson and Hamming schemes and admits a bivariate $Q$-polynomial structure. Zhu (2021) provided a combinatorial characterization of $T$-designs in this scheme for certain index sets $T$, using a relationship between $T$-designs in the nonbinary Johnson scheme and relative designs in the nonbinary Hamming scheme. In this paper, we obtain a characterization that applies to a strictly larger class of index sets $T$, based on a methodological extension of Delsarte's original framework (1973). This new characterization naturally recovers classical block designs and orthogonal arrays as special cases. To describe these designs uniformly, we introduce $(r,s)$-designs, a new family of combinatorial objects that arise naturally from our characterization. We also derive absolute lower bounds on the cardinality of $(r,s)$-designs from the multiplicities of the primitive idempotents of the nonbinary Johnson scheme, and construct examples with index $λ=1$ that attain certain natural lower bounds.
The smallest denominator not contained in a unit fraction decomposition of $1$ with fixed length
Published
• View Publication
• BIB
Let $v(k)$ be the smallest integer larger than $1$ that does not occur among the denominators in any identity of the form $$ 1=\frac1{n_1}+\cdots+\frac1{n_k}, $$ where $1 \le n_1<\cdots<n_k$ are pairwise distinct integers. In their 1980 monograph, Erdős and Graham asked for quantitative estimates on the growth of $v(k)$ and suggested the lower bound $v(k)\gg k!$. In this paper we give the first known improvement and show that there exists an absolute constant $c>0$ such that the inequality $$ v(k)\ge e^{c k^2} $$ holds for all positive integers $k$.
Tableaux and orbit harmonics quotients for finite transformation monoids
Published
• View Publication
• BIB
We extend Grood's tableau construction of irreducible representations of the rook monoid and Steinberg's analogous result for the full transformation monoid. Our approach is characteristic-free and applies to any submonoid $\mathcal{M}(n)$ of the partial transformation monoid on an $n$-element set that contains the symmetric group. To achieve this, we introduce and study a functor from the category of rational representations of the monoid of $n \times n$ matrices to the category of finite dimensional representations of $\mathcal{M}(n)$. We establish two branching rules. Our main results describe graded module structures of orbit harmonics quotients for the rook, partial transformation, and full transformation monoids. This yields analogs of the Cauchy decomposition for polynomial rings in $n\times n$ variables.
Connectivity of $p$-subgroup posets with irreducible characters
Let $G$ be a finite group. For a prime $p$ and an integer $e \geq 0$, we denote by $Γ_{p,e}(G)$ the set of all pairs $(H, \varphi)$, where $H$ is a $p$-subgroup of $G$ of order greater than $p^e$ and $\varphi$ is a complex irreducible character of $H$. In this paper, we investigate the connected components of the poset $Γ_{p,e}(G)$. For the case $e = 0$, we prove that $Γ_{p,0}(G)$ is disconnected if and only if either $G$ has a strongly $p$-embedded subgroup, or every Sylow $p$-subgroup of $G$ contains a unique subgroup of order $p$. Furthermore, for $e = 1$ and $G$ a $p$-group, we show that the number of connected components of $Γ_{p,1}(G)$ equals the order of the intersection of all subgroups of $G$ of order $p^2$.
The Gauss Algebra of squarefree Veronese algebras
Published
• View Publication
• BIB
We investigate the Gauss algebra for squarefree Veronese algebras generated in degree $3$. For small dimensions not exceeding $7$, we determine the Gauss algebra by specifying its generators and show in particular that it is normal and Cohen-Macaulay.
Finite type and completeness of $g$-fans
We study the $g$-fan associated with a skew-symmetrizable matrix in the sense of cluster algebras. We show that a skew-symmetrizable matrix is of finite type if and only if its $g$-fan is complete; equivalently (as we show), its support contains all lattice points.
On automorphism groups of half-arc-transitive tetravalent graphs
Published
• View Publication
• BIB
We characterize connected tetravalent graphs $Γ$ which admit groups $M<H$ of automorphisms such that $Γ$ is $M$-half-arc-transitive and $H$-arc-transitive. Examples for each case are constructed, including a counter-example to a question asked by A. R. Rivera and P. Šparl in 2019 as well as the first example of tetravalent normal-edge-transitive non-normal Cayley graph on a nonabelian simple group.
On the size edge-ordered Ramsey numbers of graphs
For edge-ordered graphs $G^{\prec}$ and $H^{\prec}$, the size edge-ordered Ramsey number $\hat{r}_{\text{edge}}(G^{\prec}, H^{\prec})$ is defined as the smallest integer $m$ for which there exists an edge-ordered graph $F^{\prec}$ (with underlying graph $F$) having $m$ edges, such that every $2$-coloring of the edges of $F^{\prec}$ contains a monochromatic edge-ordered subgraph isomorphic to $G^{\prec}$ or a monochromatic edge-ordered subgraph isomorphic to $H^{\prec}$. Fox and Li posed a foundational question: which families of edge-ordered graphs have linear or near-linear size edge-ordered Ramsey numbers? In this paper, we apply Szemerédi's regularity lemma to prove that, even for sparse graph families, specifically the well-defined class of edge-ordered book graphs, the size edge-ordered Ramsey numbers of this family exhibit non-linear growth. Furthermore, we show that three families of edge-ordered graphs exhibit linear or near-linear size edge-ordered Ramsey numbers.
$x(1-t(x+x^{-1}))F(x;t) = x-tF(0;t)$
The purpose of these notes is to introduce some of the problems the enumeration of lattice walks is dedicated to and familiarize with some of the arguments they can be addressed with. We discuss the enumeration of lattice walks, their generating functions, and the functional equations they satisfy. We focus on algebraic methods for manipulating and solving these equations. Elementary power series algebra plays a prominent role, computer algebra too, but we repeatedly digress and present ideas and methods of different kind whenever it is appropriate. The exposition is organized around the most simple yet non-trivial problem: the enumeration of simple walks on the half-line. The intention is to illustrate different techniques without getting technical.
On Shellability of 3-Cut Complexes of Hexagonal Grid Graphs
The $k$-cut complex was recently introduced by Bayer et al. as a generalization of earlier work of Fr{ö}berg (1990) and Eagon and Reiner (1998), and was shown to be shellable for several classes of graphs. In this article, we prove that the $3$-cut complexes of the hexagonal grid graphs $H_{1 \times m \times n}$ are shellable for all $m,n \geq 1$, by constructing an explicit shelling order using reverse lexicographic ordering. From this shelling, we determine the number of spanning facets, denoted by $ψ_{m,n}$, and deduce that the complex is homotopy equivalent to a wedge of $ψ_{m,n}$ spheres of dimension $\left( 2m + 2n + 2mn - 4 \right)$, where $$ψ_{m,n} = \binom{2m+2n+2mn-1}{2} - \left[ \left( 6m+2 \right) n + (2m-4) \right].$$
While these topological properties can be obtained from general results of Bayer et al., we provide an explicit combinatorial construction of a shelling order, yielding a direct counting formula for the number of spheres in the wedge sum decomposition.
Littlewood-Offord bounds on the symmetric groups and applications
The anti-concentration phenomenon in probability theory has been intensively studied in recent years, with applications across many areas of mathematics. In most existing works, the ambient probability space is a product space generated by independent random variables. In this paper, we initiate a systematic study of anti-concentration when the ambient space is the symmetric group, equipped with the uniform measure. Concretely, we focus on the random sum $S_π = \sum_{i=1}^{n} w_i\, v_{π(i)}$, where $w=(w_1,\dots,w_n)$ and $v=(v_1,\dots,v_n)$ are fixed vectors and $π$ is a uniformly random permutation.
The paper contains several new results, addressing both discrete and continuous anti-concentration phenomena. On the discrete side, we establish a near-optimal structural characterization of the vectors $w$ and $v$ under the assumption that the concentration probability $\sup_x P(S_π=x)$ is polynomially large. As applications, we derive and strengthen a number of previous results. In particular, we show that if both $w$ and $v$ have distinct entries, then $\sup_x P(S_π=x) \le n^{-5/2+o(1)}$. This bound serves as a permutation-space analogue of the classical Erdős--Moser bound in the product-space setting and answers a question posed by Alon--Pohoata--Zhu.
From the continuous perspective, we study the small-ball event $|S_π-L|\le δ$. We establish sharp bounds in various settings, including results exhibiting sub-gaussian decay in $L$. With additional effort, we are also able to treat the joint distribution of these events. Moreover, we provide a characterization of the vectors $w$ and $v$ for which these small-ball probabilities are large. As an application, we prove that the number of extremal points of random permutation polynomials is bounded by $O(\log n)$, extending results of S{ö}ze on the number of real roots.
Computing the 4D Geode
The closed form for the hyper-Catalan number C[m2,m3,m4,...], which counts the number of subdivisions of a roofed polygon into m2 triangles, m3 quadrilaterals, m4 pentagons, etc., has been known since 1940. In 2025, Wildberger and Rubine showed its generating series S[t2,t3,t4,...] is a zero of the general geometric univariate polynomial. They note the factorization S=(t2 + t3 + t4 + ...)G, where the factor G is called the Geode. Later in 2025, Amderberhan, Kauers and Zeilberger issued a challenge to compute G[1000,1000,1000,1000], the coefficient of $t_2^{1000}t_3^{1000}t_4^{1000}t_5^{1000}$ in G. The reward is a donation to OEIS. We describe the computation, give the value and claim the reward.