Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The Turán number of Berge matchings
Published
• View Publication
• BIB
Given a graph $F$, an $r$-uniform hypergraph $\mathcal{H}$ is a {\em Berge-$F$} if there is a bijection $φ:E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for each $e\in E(F)$. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs, an $r$-uniform hypergraph is $\mathcal{F}$-free if it does not contain any member of $\mathcal{F}$ as a subhypergraph. The Turán number of $\mathcal{F}$ is the maximum number of hyperedges in an $\mathcal{F}$-free $r$-graph on $n$ vertices. Let $M_{s+1}$ denote a matching of size $s+1$, i.e., the graph consisting of $s+1$ independent edges. Khormali and Palmer [\textit{European J. Combin.} 102 (2022) 103506] completely determined the Turán number of Berge matchings for sufficiently large $n$. Subsequently, Kang, Ni, and Shan [\textit{Discrete Math.} 345 (2022) 112901] determined the exact value of the Turán number of Berge-$M_{s+1}$ for all $n$ when $r \le s-1$ or $r \ge 2s+2$. In this paper, we settle the final open case $s \le r \le 2s+1$, thereby completing the determination of the Turán number of Berge matchings.
Toward a rainbow Corrádi--Hajnal Theorem \RNum{1}
We study an anti-Ramsey extension of the classical Corrádi--Hajnal Theorem: how many colors are needed to color the complete graph on $n$ vertices in order to guarantee a rainbow copy of $t K_{3}$, that is, $t$ vertex-disjoint triangles.
We provide a conjecture for large $n$, consisting of five classes of different extremal constructions, corresponding to five subintervals of $\left[1,\, \tfrac{n}{3}\right]$ for the parameter $t$.
In this work, we establish this conjecture for the first interval, $t \in \left[1,\, \tfrac{2n-6}{9}\right]$.
In particular, this improves upon a recent result of Lu--Luo--Ma~[arXiv:2506.07115] which established the case $t \le \tfrac{n - 57}{15}$.
Strong hub cover pebbling number
In a graph $G$, we define a set of vertices to be a \emph{strong hub set} if for any two vertices in $G$, we can find a path between them whose internal vertices are all in this set. We define the \emph{strong hub cover pebbling number} of $G$, denoted by $h_s^*(G)$, to be the smallest $t$ such that for any initial configuration with $t$ pebbles on $G$, we can make some pebbling moves (a pebbling move consists of removing two pebbles from a vertex $v$ and adding one pebble to another vertex adjacent to $v$) so that there is a strong hub set with every vertex in it having a pebble. We determine the strong hub cover pebbling numbers of paths, stars, and books.
Vector Trifference
Published
• View Publication
• BIB
We investigate a geometric generalization of trifference, a concept introduced by Elias in 1988 in the study of zero-error channel capacity. In the discrete setting, a code C \subseteq {0,1,2}^n is trifferent if for any three distinct codewords x, y, z in C, there exists a coordinate i in [n] where x_i, y_i, z_i are all distinct. Determining the maximum size of such codes remains a central open problem; the classical upper bound |C| \leq 2 * (3/2)^n, proved via a simple pruning argument, has resisted significant improvement.
Motivated by the search for new techniques, and in line with vectorial extensions of other classical combinatorial notions, we introduce the concept of vector trifferent codes. Consider C \subseteq (S^2)^n, where the alphabet is the unit sphere S^2 = { v in R^3 : ||v|| = 1 }. We say C is vector trifferent if for any three distinct x, y, z in C, there is an index i where the vectors x_i, y_i, z_i are mutually orthogonal. A direct reduction of the vectorial problem to the discrete setting appears infeasible, making it difficult to replicate Elias's pruning argument. Nevertheless, we develop a new method to establish the upper bound |C| \leq (sqrt(2) + o(1)) * (3/2)^n.
Interestingly, our approach, when adapted back to the discrete setting, yields a polynomial improvement to Elias's bound: |C| \lesssim n^(-1/4) * (3/2)^n. This improvement arises from a technique that parallels, but is not identical to, a recent method of the authors, though it still falls short of the sharper n^(-2/5) factor obtained there. We also generalize the concept of vector trifferent codes to richer alphabets and prove a vectorial version of the Fredman-Komlos theorem (1984) for general k-separating codes.
White's Conjecture for Paving Matroids
White's conjecture asserts that any two tuples of matroid bases that have the same multi-set union can be transformed from one to another by symmetric exchanges; it also implies that the toric ideals of matroids are generated by the binomials encoding these exchanges. We prove White's conjecture for the class of paving matroids. Our strategy is to generalize the inductive argument using circuit-hyperplane relaxations in the recent work of Han et al. to stressed hyperplane relaxations.
Edge-to-edge Tilings of the Sphere by Angle Congruent Pentagons
Congruent polygons are congruent in angles as well as in edge lengths. We concentrate on the angle aspect, and investigate how tilings of the sphere by congruent pentagons can be determined by the angle information only. We also investigate how the features of tilings are changed under reductions, i.e., by ignoring the difference among the angles.
The Evolution of Enumerative Geometry: A Narrative from Classical Problems to Enriched Invariants
Enumerative geometry, the art and science of counting geometric objects satisfying geometric conditions, has seen a resurgence of activity in recent years due to an influx of new techniques that allow for enriched computations. This paper offers a historical survey of enumerative geometry, starting with its classical origins and real counterparts, to new advances in quadratic enrichment. We include a brief survey of the paradigm shift initiated by Gromov-Witten theory, whose impact can be seen in recent results in quadratically enriched enumerative geometry. Finally, we conclude with a brief overview of emerging directions including random and equivariant enumerative geometry.
A lower bound on the minimum weight of some geometric codes
The $p$-ary code associated with the incidence structure of points and $t$-spaces in a projective space $\mathrm{PG}(m,q)$, where $q=p^h$, is the $\mathbb{F}_p$-subspace generated by the incidence vectors of the blocks of this design. The dual of this code consists of all vectors orthogonal to every codeword of the original code. In contrast to the codes derived from point-subspace incidences, the minimum weight of the corresponding dual codes is generally unknown, which makes the problem more challenging.
In 2008 Lavrauw, Storme and Van de Voorde proved the following reduction: the minimum weight of the dual of the code derived from point and $t$-space incidences in $\mathrm{PG}(m,q)$ is the same as the minimum weight of the dual of the code derived from point and line incidences in $\mathrm{PG}(m-t+1,q)$. After a series of works by Delsarte (1970), Assmus and Key (1992), Calkin, Key and De Resmini (1999), the best known lower bound for the case of point-line incidences was established in [B. Bagchi and P. Inamdar: Projective geometric codes, J. Combin. Theory Ser. A, 99(1) (2002), 128-142].
The problem of determining the minimum weight of these codes admits a natural geometric interpretation in terms of multisets of points in a projective space which meet each line in $0$ modulo $p$ points. In this paper, by adopting this geometrical perspective and exploiting certain polynomial techniques from [S. Ball, A. Blokhuis, A. Gács, P. Sziklai, Zs. Weiner: On linear codes whose weights and length have a common divisor, Adv. Math., 211 (2007), 94-104], we prove a substantial improvement of the Bagchi-Inamdar bound in the case where $h>1$ and $m, p >2$.
Results on long twins in random words and permutations
We study long $r$-twins in random words and permutations. Motivated by questions posed in works of Dudek-Grytczuk-Ruciński, we obtain the following. For a uniform word in $[k]^n$ we prove sharp one-sided tail bounds showing that the maximum $r$-power length (the longest contiguous block that can be partitioned into $r$ identical subblocks) is concentrated around $\frac{\log n}{(r-1)\log k}$. For random permutations, we prove that for fixed $k$ and $r\to\infty$, a uniform permutation of $[rk]$ a.a.s. contains $r$ disjoint increasing subsequences of length $k$, generalizing a previous result that proves this for $k=2$. Finally, we use a computer-aided pattern count to improve the best known lower bound on the length of alternating twins in a random permutation to $α_n \ge \left(\tfrac{1}{3}+0.0989-o(1)\right)n$, strengthening the previous constant.
On the Modular Chromatic Index of Random Hypergraphs
Let $k,r \geq 2$ be two integers. We consider the problem of partitioning the hyperedge set of an $r$-uniform hypergraph $H$ into the minimum number $χ_k'(H)$ of edge-disjoint subhypergraphs in which every vertex has either degree $0$ or degree congruent to $1$ modulo $k$. For a random hypergraph $H$ drawn from the binomial model $\mathbf{H}(n,p,r)$, with edge probability $p \in (C\log(n)/n,1)$ for a large enough constant $C>0$ independent of $n$ and satisfying $n^{r-1}p(1-p)\to\infty$ as $n\to\infty$, we show that asymptotically almost surely $χ_k'(H) = k$ if $n$ is divisible by $\gcd(k,r)$, and $\max(k,r) \le χ_k'(H) \le k+r+1$ otherwise. A key ingredient in our approach is a sufficient condition ensuring the existence of a $k$-factor, a $k$-regular spanning subhypergraph, within subhypergraphs of a random hypergraph from $\mathbf{H}(n,p,r)$, a result that may be of independent interest. Our main result extends a theorem of Botler, Colucci, and Kohayakawa (2023), who proved an analogous statement for graphs, and provides a partial answer to a question posed by Goetze, Klute, Knauer, Parada, Peña, and Ueckerdt (2025) regarding whether $χ_2'(H)$ can be bounded by a constant for every hypergraph $H$.
Combinatorial Aspects of Elliptic Schubert Calculus
The main goal of this paper is to extend two fundamental combinatorial results in Schubert calculus on flag manifolds from equivariant cohomology and $K$-theory to equivariant elliptic cohomology. The foundations of elliptic Schubert calculus were laid in a few relatively recent papers by Rimányi, Weber, and Kumar. They include the recursive construction of elliptic Schubert classes via generalizations of the cohomology and $K$-theory push-pull operators and the study of the corresponding Demazure algebra. We derive a Billey-type formula for the localization of elliptic Schubert classes (for partial flag manifolds of arbitrary type) and a pipe dream model for their polynomial representatives in the case of type $A$ flag manifolds. The latter extends the pipe dream model for double Schubert and Grothendieck polynomials. We also study the degeneration of elliptic Schubert classes to $K$-theory, which recovers the corresponding classical formulas.
Distinct Distances on Pfaffian Curves
Published
• View Publication
• BIB
We generalize Pach and de Zeeuw's bound for distinct distances between points on two curves, from algebraic curves to Pfaffian curves. Pfaffian curves include those that can be defined by any combination of elementary functions, including exponential and logarithmic functions, rational and irrational powers, trigonometric functions and their inverses, integration, and more. The bound remains $Ω(\min\{m^{3/4}n^{3/4},m^2,n^2\})$, as obtained from the proximity technique of Solymosi and Zahl.
Obstructions for normally spanned sets of vertices
Halin conjectured that a graph has a normal spanning tree if and only if every minor of it has countable colouring number. This has recently been proven by the second author.
In this paper, we strengthen this result by establishing the following local version of it: Given a prescribed set of vertices $U$ in a connected graph $G$, there is a normal tree in $G$ that includes $U$ if and only if every $U$-rooted minor of $G$ (i.e. a minor every branch set of which meets $U$) has countable colouring number.
Our proof relies on a novel approach that combines normal partition trees as introduced by Brochet and Diestel with a suitable closure argument developed by Robertson, Seymour and Thomas in their discussion of infinite graphs of finite tree width.
Pinnacles for Complex Reflection Groups
Published
• View Publication
• BIB
We study, characterize, and enumerate the admissible pinnacle sets of nonexceptional complex reflection groups $G(m,p,n)$, which include all generalized symmetric groups $\mathbb{Z}_m \wr S_n$ as special cases. This generalizes the work of Davis--Nelson--Petersen--Tenner for symmetric groups $S_n$ and González--Harris--Rojas Kirby--Smit Vega Garcia--Tenner for signed symmetric groups $\mathbb{Z}_2 \wr S_n$. As a consequence, we prove a conjecture of González--Harris--Rojas Kirby--Smit Vega Garcia--Tenner for pinnacles of signed permutations.
Orbit lengths for promotion on 2-row and near-hook tableaux
Promotion has been well-studied for rectangular standard Young tableaux, in which case the orbit lengths divide the total number of boxes and are described by a cyclic sieving phenomenon (CSP), but little is known about the orbit lengths for tableaux of general shape. We approach this problem by building a stable sequence of tableaux where we fix the bottom portion and add extra boxes to the first row to get $n$ total boxes, with $n$ varying. We show that for 2-row tableaux with a fixed bottom row, the orbit lengths are divisors of certain monic polynomials in $n$, with degree generally equal to the number of distinct lengths of runs of consecutive numbers in the bottom row. For the subsets of 2-row tableaux where all runs have the same length, we show that the orbit lengths are characterized by a CSP polynomial that is a slightly modified version of the major index generating function, like in the rectangle case. We also show that for any stable sequence of tableaux, the orbit lengths are linear in $n$ as long as all non-first-row entries differ from each other by at least 2, which asymptotically happens for almost all tableaux in the limit as $n\to\infty.$ We also calculate the orbit lengths for near-hook tableaux, which are divisors of certain linear or quadratic polynomials in $n$.
Quadrangulations and the Lovász complex
The Lovász complex $L(G)$ of a graph $G$ is a deformation retract of its neighborhood complex, equipped with a canonical $Z_2$-action. We show that, under mild assumptions, $L(G)$ is homeomorphic to a surface if and only if $G$ is a non-bipartite quadrangulation of the orbit space $L(G)/Z_2$ in which every $4$-cycle is facial. This yields a classification of the Lovász complexes of all such quadrangulations. As an application, we contextualize a result of Archdeacon \emph{et al.}\ and Mohar and Seymour on the chromatic number of quadrangulations, obtaining a stronger statement about the $Z_2$-index.
Path decompositions of Eulerian graphs
Published
• View Publication
• BIB
Gallai's conjecture asserts that every connected graph on $n$ vertices can be decomposed into $\frac{n+1}{2}$ paths. For general graphs (possibly disconnected), it was proved that every graph on $n$ vertices can be decomposed into $\frac{2n}{3}$ paths. This is also best possible (consider the graphs consisting of vertex-disjoint triangles). Lovász showed that every $n$-vertex graph with at most one vertex of even degree can be decomposed into $\frac{n}{2}$ paths. However, Gallai's conjecture is difficult for graphs with many vertices of even degrees. Favaron and Kouider verified Gallai's conjecture for all Eulerian graphs with maximum degree at most $4$. In this paper, we show if $G$ is an Eulerian graph on $n \ge 4$ vertices and the distance between any two triangles in $G$ is at least $3$, then $G$ can be decomposed into at most $\frac{3n}{5}$ paths.
The cost of symmetry for tailed stars
Published
• View Publication
• BIB
It is known that if $n$ vertices can be removed from a connected graph $Γ$ so that no subgraphs isomorphic to the graph $K$ remain, then no more than $|V(K)|\cdot n$ vertices can be removed, forming a set invariant with respect to all automorphisms of the graph $Γ$, so that no subgraphs isomorphic to the graph $K$ remain. We construct an infinite set of (connected) graphs $K$ for which this estimate is not exact.
HNN extensions of free groups with equal associated subgroups of finite index: polynomial time word problem
Let $G=F\ast_\varphi t$ be an HNN extension of a free group $F$ with two equal associated normal subgroups $H_1 = H_2$ of finite index. We prove that the word problem in $G$ is decidable in polynomial time. This result extends to the case where the subgroups $H_1=H_2$ are not normal, provided that the isomorphism $\varphi:H_1\to H_2$ satisfies an additional condition described in Section 5.
A very short note on a problem of Godsil and Sun
Using the spectral theorem for symmetric matrices over a real closed field, we give a quick answer to a problem of Godsil and Sun on degree-similarity of graphs.