Showing 20 papers (Total: 83400 papers, 48159 authors in database)
A problem of Erdős and Hajnal on paths with equal-degree endpoints
Published
• View Publication
• BIB
We address a problem posed by Erdős and Hajnal in 1991, proving that for all $n \geq 600$, every $(2n+1)$-vertex graph with at least $n^2 + n + 1$ edges contains two vertices of equal degree connected by a path of length three. The complete bipartite graph $K_{n,n+1}$ demonstrates that this edge bound is sharp. We further establish an analogous result for graphs with even order and investigate several related extremal problems.
$f$-Diophantine sets over finite fields via quasi-random hypergraphs from multivariate polynomials
Published
• View Publication
• BIB
We investigate $f$-Diophantine sets over finite fields via new explicit constructions of families of quasi-random hypergraphs from multivariate polynomials. In particular, our construction not only offers a systematic method for constructing quasi-random hypergraphs but also provides a unified framework for studying various hypergraphs arising from multivariate polynomials over finite fields, including Paley sum hypergraphs, and hypergraphs derived from Diophantine tuples and their generalizations. We derive an asymptotic formula for the number of $k$-Diophantine $m$-tuples, answering a question of Hammonds et al., and study some related questions for $f$-Diophantine sets, extending and improving several recent works. We also sharpen a classical estimate of Chung and Graham on even partial octahedrons in Paley sum hypergraphs.
Valuative Invariants of Catalan Matroids
Published
• View Publication
• BIB
We decompose the indicator function of each $(a, b)$-Catalan matroid polytope as a weighted sum of indicator function of matroid polytopes that correspond to direct sums of uniform matroids. Catalan matroids lie in the interior of the convex hull of direct sums of uniform matroids in the polytope of all matroids introduced by Ferroni and Fink. Moreover, we describe combinatorially the coefficients of the convex combination of direct sums of uniform matroid corresponding to an $(a,b)$-Catalan matroid. In particular, this allows us to derive explicit formulas for arbitrary valuative invariants of $(a, b)$-Catalan matroids. Among other applications, we prove that $(a,b)$-Catalan matroids are Ehrhart positive, and we find formulas for the Kazhdan--Lusztig invariants of these matroids.
Spanning trees and their relations in Galois covers
Published
• View Publication
• BIB
This paper studies the relation among the number of spanning trees of intermediate graphs in a Galois cover, building on results for $(\mathbb{Z}/2\mathbb{Z})^m$-covers previously established by Hammer, Mattman, Sands, and Vallières. We generalize their results to arbitrary finite Galois covers. Using the Ihara zeta function and the Artin--Ihara $L$-function, we prove two formulas which are graph-theoretic analogues of Kuroda's formula and the Brauer--Kuroda relations in algebraic number theory. Furthermore, we prove that a spanning tree formula does not exist if the Galois group is cyclic.
Zigzags, contingency tables, and quotient rings
Published
• View Publication
• BIB
Let $\mathbf{x}_{k \times p}$ be a $k \times p$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{k \times p}]$ be the polynomial ring in these variables. Given two weak compositions $α,β\models_0 n$ of lengths $\ell(α) = k$ and $\ell(β) = p$, we study the ideal $I_{α,β} \subseteq \mathbb{F}[\mathbf{x}_{k \times \ell}]$ generated by row sums, column sums, monomials in row $i$ of degree $> α_i$, and monomials in column $j$ of degree $> β_j$. We prove results connecting algebraic properties of the quotient ring $R_{α,β} := \mathbb{F}[\mathbf{x}_{k \times \ell}]/I_{α,β}$ with the set $C_{α,β}$ of $α,β$-contingency tables. The standard monomial basis of $R_{α,β}$ with respect to a diagonal term order is encoded by the matrix-ball avatar of the RSK correspondence. We describe the Hilbert series of $R_{α,β}$ in terms of a zigzag statistic on contingency tables. The ring $R_{α,β}$ carries a graded action of the product $\mathrm{Stab}(α) \times \mathrm{Stab}(β)$ of symmetry groups of the sequences $α= (α_1,\dots,α_k)$ and $β= (β_1,\dots,β_p)$; we describe how to calculate the isomorphism type of this graded action. Our analysis regards the set $C_{α,β}$ as a locus in the affine space $\mathrm{Mat}_{k \times p}(\mathbb{F})$ and applies orbit harmonics to this locus.
Fibonacci-like partitions and their associated piecewise-defined permutations
Published
• View Publication
• BIB
In this paper we introduce a family of partitions of the set of natural numbers, Fibonacci-like partitions. In particular, we introduce a Fibonacci-like partition in a number of parts corresponding to the Fibonacci numbers, the standard Fibonacci-like partitions of the first kind. That partition refines the well-known partition in two parts associated to the Wythoff sequences. In a similar way, we introduce another family of Fibonacci-like partitions of the natural numbers, with an initial segment removed, in a number of parts which also follows the Fibonacci sequence, the standard Fibonacci-like partitions of the second kind.
We study some piecewise-defined permutations over Fibonacci-like partitions, which give both torsion-free and torsion elements in the symmetric group over the set of natural numbers. We give an application of Fibonacci-like partitions to the study of a sequence analyzed by A. Shapovalov and by B.J. Venkatachala. We give also a generalization of the mentioned sequence, involving techniques that are not related to Fibbonaci numbers nor Beatty sequences, obtaining an infinite family of sequences that we conjecture that produce an infinite orthogonal array in which the number of symbols, trials and factors is countable infinite, and having an automorphism group isomorphic to Z acting regularly on the symbol set.
Many antipodes implies many neighbors
Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $\|x_i - x_j\| \leq 1$ for all $1 \leq i,j \leq n$. We show that if there are many `antipodes', these are pairs of points of with distance $\geq 1-\varepsilon$, then there are many neighbors, these are pairs of points that are distance $\leq \varepsilon$. More precisely, we prove that for some universal $c>0$, $$ \# \left\{(i,j): \|x_i - x_j\| \leq \varepsilon\right\} \geq \frac{c \cdot \varepsilon^{3/4}}{\left( \log \varepsilon^{-1} \right)^{1/4}}\cdot \# \left\{(i,j): \|x_i - x_j\| \geq 1- \varepsilon\right\}.$$ The inequality is very easy too prove with factor $\varepsilon^2$ and easy with $\varepsilon$. The optimal rate might be $\varepsilon^{1/2}$ which is attained by several examples.
Orientations of cycles in digraphs of high chromatic number and high minimum out-degree
Published
• View Publication
• BIB
We characterize all orientations of cycles $C$ for which for every fixed $\varepsilon > 0$ there exists a constant $c \geq 1$ such that every digraph $D$ without loops or parallel arcs with $χ(D) \geq c$ and minimum out-degree at least $\varepsilon |V(D)|$ contains $C$ as a subdigraph. This generalizes a result of Thomassen.
From semi-total to equitable total colorings
Independently posed by Behzad and Vizing, the Total Coloring Conjecture asserts that the total chromatic number of a simple connected graph $G$ is either $Δ(G)+1$ or $Δ(G)+2$, where $Δ(G)$ is the largest degree of any vertex of $G$.
To decide whether a cubic graph $G$ has total chromatic number $Δ(G)+1$, even for bipartite cubic graphs, is NP-hard. The resulting problems and research persist even for total colorings that are equitable, namely with the cardinalities of the color classes differing at most by 1. Williams and Holroyd gave a new condition to solve total coloring problems via the introduction of semi-total colorings. We focus on how to obtain equitable total colorings of symmetric cubic graphs and cage graphs by means of a variation of Kempe'a 1879 graph-coloring algorithm. Such variation takes semi-total colorings to equitable ones.
Unavoidable cycle-contraction minors of large $2$-connected graphs
Published
• View Publication
• BIB
It is well known that every sufficiently large connected graph has, as an induced subgraph, $K_n$, $K_{1,n}$, or an $n$-vertex path. A 2023 paper of Allred, Ding, and Oporowski identified a set of unavoidable induced subgraphs of sufficiently large $2$-connected graphs. In this paper, we establish a dual version of this theorem by focusing on the minors obtained by contracting cycles.
The partition of $PG(2,q^3)$ arising from an order 3 planar collineation
Published
• View Publication
• BIB
Let $φ$ be a collineation of order 3 acting on $PG(2,q^3)$ whose fixed points are exactly an $\mathbb F_q$-plane $π_q$. Let $T$ be a point whose orbit under $φ$ is a triangle and let $S_G$ be the subgroup of $PGL(3,q^3)$ that fixes setwise the $\mathbb F_q$-plane $π_q$ and fixes setwise the line $T^φT^{φ^2}$. The point orbits of $S_G$ form a partition of the points of $PG(2,q^3)$ and consist of: the singletons $T,T^φ, T^{φ^2}$; scattered linear sets on the sides of the triangle $T T^φT^{φ^2}$; and $\mathbb F_q$-planes.
This article studies the structure of this partition, looking at maps that permute elements of the partition.
The motivation in studying this partition lies in its application to the construction of the Figueroa projective plane, and the article concludes with a characterisation in this setting.
A proof of the multi-component $q$-Baker--Forrester conjecture
The Selberg integral, an $n$-dimensional generalization of the Euler beta integral, plays a central role in random matrix theory, Calogero--Sutherland quantum many body systems, Knizhnik--Zamolodchikov equations, and multivariable orthogonal polynomial theory. The Selberg integral is known to be equivalent to the Morris constant term identity. In 1998, Baker and Forrester conjectured a $(p+1)$-component generalization of the $q$-Morris identity. It in turn yields a generalization of the Selberg integral. The $p=1$ case of Baker and Forrester's conjecture was proved by Károlyi, Nagy, Petrov and Volkov in 2015. In this paper, we give a proof of the $(p+1)$-component $q$-Baker--Forrester conjecture, thereby settling this 26-year-old conjecture.
Coloring equilateral triangles
Published
• View Publication
• BIB
It is consistent relative to an inaccessible cardinal that ZF+DC holds, the hypergraph of equilateral triangles on a given Euclidean space has countable chromatic number, while the hypergraph of isosceles triangles in the plane does not.
Kernels in digraphs with colored vertices
Published
• View Publication
• BIB
In this paper, we introduce the concept of up-color kernel, which is a generalization of a kernel for vertex-colored digraphs. We give sufficient and necessary conditions for several families of digraphs to have an up-color kernel, as well as for certain products of digraphs.
Geodesics for Discrete manifolds
The geodesic flow on a finite discrete q-manifold with or without boundary is defined as as a permutation of its ordered q-simplices. This allows to define geodesic sheets and a notion of sectional curvature.
New type degree conditions for a graph to have a 2-factor
Published
• View Publication
• BIB
A 2-factor of a graph is a 2-regular spanning subgraph. For a graph $G$ and an independent set $I$ of $G$, let $δ_G(I)$ denote the minimum degree of vertices contained in $I$. We show that (1) if every independent set $I$ of $G$ satisfies $|I|\leq δ_G(I)-1$, then $G$ has a 2-factor and that (2) if every independent set $I$ of $G$ satisfies $|I|\leq δ_G(I)$, then $G$ has a 2-factor unless $G$ is isomorphic to a graph in completely determined exceptional graphs. It can be easily shown that the assumption of (1) is a relaxation of the Dirac condition on Hamiltonicity of graphs, and that the assumption of (2) is a relaxation of the Chvátal-Erdős condition on Hamiltonicity of graphs. Furthermore, for graphs with the assumption of (1), we show some results on a 2-factor with a bounded number of cycles.
On the global dimension of Nakayama algebras
We study the global dimension of Nakayama algebras. In the case of linear Nakayama algebras, which are in canonical bijection to Dyck paths, we show that the global dimension has the same distribution as the height of Dyck paths. For cyclic Nakayama algebras an explicit classification of finite global dimension is not known. However, we show that in certain special cases cyclic Nakayama algebras with finite global dimension can again be interpreted as Dyck paths. In particular, we show that there is a natural bijection between sincere Nakayama algebras and Dyck paths. In this case, we find that the global dimension is in fact twice the bounce count of the corresponding Dyck path.
New constructions of unbalanced $\{C_4,θ_{3, t}\}$-free bipartite graphs
In 1979, Erdős conjectured that if $m = O(n^{2/3})$, then $ex(n, m, \{C_4, C_6 \}) = O(n)$. This conjecture was disproven by several papers and the current best-known bounds for this problem are
$$
c_1n^{1 + \frac{1}{15}} \leq ex(n, n^{2/3}, \{C_4, C_6\}) \leq c_2n^{1 + 1/9}
$$
for some constants $c_1, c_2$. A consequence of our work here proves that
$$
ex(n, n^{2/3}, \{ C_4, θ_{3, 4} \}) = Θ(n^{1 + 1/9}).
$$
More generally, for each integer $t \geq 2$, we establish that
$$
ex(n, n^{\frac{t+2}{2t+1}}, \{ C_4, θ_{3, t} \}) = Θ(n^{1 + \frac{1}{2t+1}})
$$
by demonstrating that subsets of points $S \subseteq \text{PG}(n,q)$ for which no $t+1$ points lie on a line give rise to $\{ C_4, θ_{3, t} \}$-free graphs, where PG$(n,q)$ is the projective space of dimension $n$ over the finite field of $q$ elements.
Weingarten calculus for centered random permutation matrices
Published
• View Publication
• BIB
We introduce and study the Weingarten calculus for centered random permutation matrices in the symmetric group S_N. After presenting a formulation of the Weingarten calculus on the symmetric group, we derive a formula in the centered case, as well as a sign-respecting formula. Our investigations uncover the fact that a building block of this Weingarten calculus is Kummer's confluent hypergeometric function. It allows us to derive multiple algebraic properties of the Weingarten function and uniform estimate. These results shed a conceptual light on phenomena that take place regarding the algebraic and asymptotic behavior of moments of random permutations in the resolution of Bordenave and Bordenave-Collins of strong convergence. We obtain multiple new non-trivial estimates for moments of coefficients in centered moments.
Spheres and balls as independence complexes
Published
• View Publication
• BIB
The terms "whiskering", and more generally "grafting", refer to adding generators to any monomial ideal to make the resulting ideal Cohen-Macaulay. We investigate the independence complexes of simplicial complexes that are constructed through a whiskering or grafting process, and we show that these independence complexes are (generalized) Bier balls. More specifically, the independence complexes are either homeomorphic to a ball or a sphere. In a related direction, we classify when the independence complexes of very well-covered graphs are homeomorphic to balls or spheres.