Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A Refutation of the Pach-Tardos Conjecture for 0-1 Matrices
Published
• View Publication
• BIB
The theory of forbidden 0-1 matrices generalizes Turan-style (bipartite) subgraph avoidance, Davenport-Schinzel theory, and Zarankiewicz-type problems, and has been influential in many areas, such as discrete and computational geometry, the analysis of self-adjusting data structures, and the development of the graph parameter twin width.
The foremost open problems in this area is to resolve the Pach-Tardos conjecture from 2005, which states that if a forbidden pattern $P\in\{0,1\}^{k\times l}$ is the bipartite incidence matrix of an acyclic graph (forest), then $\mathrm{Ex}(P,n) = O(n\log^{C_P} n)$, where $C_P$ is a constant depending only on $P$. This conjecture has been confirmed on many small patterns, specifically all $P$ with weight at most 5, and all but two with weight 6.
The main result of this paper is a clean refutation of the Pach-Tardos conjecture. Specifically, we prove that $\mathrm{Ex}(S_0,n),\mathrm{Ex}(S_1,n) \geq n2^{Ω(\sqrt{\log n})}$, where $S_0,S_1$ are the outstanding weight-6 patterns. We also prove sharp bounds on the entire class of alternating patterns $(P_t)$, specifically that for every $t\geq 2$, $\mathrm{Ex}(P_t,n)=Θ(n(\log n/\log\log n)^t)$. This is the first proof of an asymptotically sharp bound that is $ω(n\log n)$.
Lower Bounds for Multicolor Star-Critical Ramsey Numbers
Published
• View Publication
• BIB
The star-critical Ramsey number is a refinement of the concept of a Ramsey number. In this paper, we give equivalent criteria for which the star-critical Ramsey number vanishes. Next, we provide a new general lower bound for multicolor star-critical Ramsey numbers whenever it does not vanish. As an application, we evaluate $r_*(P_k, P_3, P_3)$, where $P_n$ is a path of order $n$. In the process of proving these results, we also show that $r_*(C_5, P_3)=3$, where $C_5$ is a cycle of order $5$.
Chromatic polynomials of signed graphs and dominating-vertex deletion formulae
Published
• View Publication
• BIB
We exhibit non-switching-isomorphic signed graphs that share a common underlying graph and common chromatic polynomials, thereby answering a question posed by Zaslavsky. For various joins of all-positive or all-negative signed complete graphs, we derive a closed-form expression for their chromatic polynomials. As a generalisation of the chromatic polynomials for a signed graph, we introduce a new pair of bivariate chromatic polynomials. We establish recursive dominating-vertex deletion formulae for these bivariate chromatic polynomials. Finally, we show that for certain families of signed threshold graphs, isomorphism is equivalent to the equality of bivariate chromatic polynomials.
From Cherednik algebras to knot homology via cuspidal D-modules
We show that the triply-graded Khovanov-Rozansky homology of the $(m,n)$ torus knot can be recovered from the finite-dimensional representation $\mathrm{L}_{m/n}$ of the rational Cherednik algebra at slope $m/n$, endowed with the Hodge filtration coming from the cuspidal character D-module. Our approach involves expressing the associated graded of the cuspidal character D-module in terms of a dg module closely related to the action of the shuffle algebra on the equivariant K-theory of the Hilbert scheme of points on the plane, thereby proving the rational master conjecture. As a corollary, we identify the Hodge filtration with the inductive and algebraic filtrations on $\mathrm{L}_{m/n}$.
Packing Density of Sets With Only Two Nonmixed Gaps
Published in Journal of Graph Theory, 2025, Vol. 110, No. 3, pp. 263--271
• View Publication
• BIB
For a finite set of integers such that the first few gaps between its consecutive elements equal $a$, while the remaining gaps equal $b$, we study dense packings of its translates on the line. We obtain an explicit lower bound on the corresponding optimal density, conjecture its tightness, and prove it in case one of the gap lengths, $a$ or $b$, appears only once. This is equivalent to a Motzkin problem on the independence ratio of certain integer distance graphs.
On well (edge) dominated and equimatchable strong product graphs
Published
• View Publication
• BIB
A graph is well-(edge-)dominated if every minimal (edge) dominating set is minimum. A graph is equimatchable if every maximal matching is maximum. We study these concepts on strong product graphs. We fully characterize well-edge-dominated and equimatchable strong product graphs of nontrivial graphs, and identify a large family of graphs whose strong products with any well-dominated graph are well-dominated.
Duality for the $\mathfrak{sl}_2$ weight system
The $\mathfrak{sl}_2$ weight system, corresponding to the colored Jones polynomial of knots, is one of the the simplest weight system for chord diagrams. Recent works have led to explicit computations of this weight system on chord diagrams with complete and complete bipartite intersection graphs using $\mathfrak{sl}_2$ weight systems on shares, i.e., on chord diagrams on two strands.
In this paper, we continue our study of shares. We prove a conjecture by Lando about a duality of values of the $\mathfrak{sl}_2$ weight system on chord diagrams whose intersection graphs are joins of complementary graphs with discrete ones. To achieve this, we introduce the two-colored intersection graph of shares, define the inner product of shares, and use chord-adding operators.
An algebraic approach towards a conjecture on the Davenport constant
For a finite group $G,$ $\mathsf{D}(G)$ is defined as the least positive integer $k$ such that for every sequence $S=g_1\bdot g_2\bdot \dotsc \bdot g_k$ of length $k$ over $G$, there exist $1 \le i_1 < i_2 <\cdots < i_m \le k $ such that $g_{i_1}g_{i_2}\cdots g_{i_m}=1,$ where $1$ is the identity element of $G.$ The small Davenport constant $\mathsf{d}(G)$ is the maximal positive integer $k$ such that there is a sequence of length $k$ over $G$ which has no non-trivial product-one subsequence. In 2004, Dimitrov proved that $\mathsf{D}(G)\leq \mathsf{L}(G)$ for a finite $p$-group $G$, where $p$ is a prime and $\mathsf{L}(G)$ is the Loewy length of $\mathbb{F}_p[G].$ He conjectured that the equality holds for all finite $p$-groups. In this article, we compute $\mathsf{D}(G)$ for certain classes of finite non-abelian $p$-groups, including metacyclic groups, and show that the conjecture is true by determining the precise value of $\mathsf{L}(G)$. As a consequence, we refine an upper bound on $\mathsf{d}(G)$ recently given by Qu, Li and Teeuwsen, and prove that for specific classes of groups $\mathsf{D}(G)=\mathsf{d}(G)+1$. We also evaluate $\mathsf{D}(G)$ for finite dicyclic, semi-dihedral and other groups.
A problem of Erdős about rich distances
Published
• View Publication
• BIB
An old question posed by Erdős asked whether there exists a set of $n$ points such that $c \cdot n$ distances occur more than $n$ times. We provide an affirmative answer to this question, showing that there exists a set of $n$ points such that $\lfloor \frac{n}{4}\rfloor$ distances occur more than $n$ times. We also present a generalized version, finding a set of $n$ points where $c_m \cdot n$ distances occurring more than $n+m$ times.
The cyclicity rank of empty lattice simplices
Published
• View Publication
• BIB
We are interested in algebraic properties of empty lattice simplices $Δ$, that is, $d$-dimensional lattice polytopes containing exactly $d+1$ points of the integer lattice $\mathbb{Z}^d$. The cyclicity rank of $Δ$ is the minimal number of cyclic subgroups that the quotient group of $Δ$ splits into. It is known that up to dimension $d \leq 4$, every empty lattice $d$-simplex is cyclic, meaning that its cyclicity rank is at most $1$. We determine the maximal possible cyclicity rank of an empty lattice $d$-simplex for dimensions $d \leq 8$, and determine the asymptotics of this number up to a logarithmic term.
Cycles of weight divisible by $k$
A weighted (directed) graph is a (directed) graph with integer weights assigned to its vertices and edges. The weight of a subgraph is the sum of weights of vertices and edges in the subgraph. The problem of determining the largest order $f(k)$ of a weighted complete directed graph that does not contain a directed cycle of weight divisible by $k$, for an integer $k \ge 2$, was raised by Alon and Krivelevich [J. Graph Theory 98 (2021) 623-629]. They showed that $f(k)$ is $O(k\log k)$ and $f(k) \le 2k-2$ if $k$ is prime. The best bounds known to us are $f(k) \le 2k-2$ for all $k$ and $f(k) < (3k-1)/2$ for prime $k$. It is also known that $f(k) \ge k$ and this is believed to be the correct value. We prove that $f(k) < k+2Ω(k)$, where $Ω(k)$ is the number of prime factors, not necessarily distinct, in the prime factorization of $k$.
We also show that any weighted undirected graph of minimum degree $2k-1$ contains a cycle of weight divisible by $k$. This result is proved in the more general setting in which the weights are from a finite abelian group of order $k$, and the cycle has weight equal to the group identity. We conjecture that this holds for undirected graphs with minimum degree $k+1$.
Non-intersecting paths and the determinant of the distance matrix of a tree
We present the first combinatorial proof of the Graham-Pollak Formula for the determinant of the distance matrix of a tree, via sign-reversing involutions and the Lindström-Gessel-Viennot Lemma. Our approach provides a cohesive and unified framework for the understanding of the existing generalizations and $q$-analogues of the Graham-Pollak Formula, and facilitates the derivation of a natural simultaneous generalizations for them.
Voting Profiles Admitting All Candidates as Knockout Winners
Published
• View Publication
• BIB
A set of $2^n$ candidates is presented to a commission. At every round, each member of this commission votes by pairwise comparison, and one-half of the candidates is deleted from the tournament, the remaining ones proceeding to the next round until the $n$-th round (the final one) in which the final winner is declared. The candidates are arranged on a board in a given order, which is maintained among the remaining candidates at all rounds. A study of the size of the commission is carried out in order to obtain the desired result of any candidate being a possible winner. For $2^n$ candidates with $n \geq 3$, we identify a voting profile with $4n -3$ voters such that any candidate could win simply by choosing a proper initial order of the candidates. Moreover, in the setting of a random number of voters, we obtain the same results, with high probability, when the expected number of voters is large.
Coloured shuffle compatibility, Hadamard products, and ask zeta functions
Published
• View Publication
• BIB
We devise an explicit method for computing combinatorial formulae for Hadamard products of certain rational generating functions. The latter arise naturally when studying so-called ask zeta functions of direct sums of modules of matrices or class- and orbit-counting zeta functions of direct products of nilpotent groups. Our method relies on shuffle compatibility of coloured permutation statistics and coloured quasisymmetric functions, extending recent work of Gessel and Zhuang.
Tournament score sequences, Erdős-Ginzburg-Ziv numbers, and the Lévy-Khintchine method
Published
• View Publication
• BIB
We give a short proof of a recent result of Claesson, Dukes, Franklín and Stefánsson, connecting the number $S_n$ of score sequences and the Erdős-Ginzburg-Ziv numbers $N_n$ from additive number theory. Our proof utilizes the lattice path representation of score sequences by Erdős and Moser, and remarks by Kleitman added to an article of Moser regarding cyclic shifts of such paths. The connection between $S_n$ and $N_n$ is an instance of the Lévy-Khintchine formula from probability theory. We highlight the utility of such formulas, by giving a short proof of Moser's conjecture that $S_n\sim C4^n/n^{5/2}$, where $C$ is described in terms of $N_n$.
Eccentricity and algebraic connectivity of graphs
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ nodes with algebraic connectivity $λ_{2}$. The eccentricity of a node is defined as the length of a longest shortest path starting at that node. If $s_\ell$ denotes the number of nodes of eccentricity at most $\ell$, then for $\ell \ge 2$, $$λ_{2} \ge \frac{ 4 \, s_\ell }{ (\ell-2+\frac{4}{n}) \, n^2 }.$$ As a corollary, if $d$ denotes the diameter of $G$, then $$λ_{2} \ge \frac{ 4 }{ (d-2+\frac{4}{n}) \, n }.$$ It is also shown that $$λ_{2} \ge \frac{ s_\ell }{ 1+ \ell \left(e(G^{\ell})-m\right) },$$ where $m$ and $e(G^\ell)$ denote the number of edges in $G$ and in the $\ell$-th power of $ G $, respectively.
Finite sets of points in $\mathbb{P}^4$ with special projection properties
Published
• View Publication
• BIB
In this note we introduce the notion of $(b,d)$-geprofi sets and study their basic properties. These are sets of $bd$ points in $\mathbb{P}^4$ whose projection from a general point to a hyperplane is a full intersection, i.e., the intersection of a curve of degree $b$ and a surface of degree $d$. We show that such nontrivial sets exist if and only if $b\geq 4$ and $d\geq 2$. Somewhat surprisingly, for infinitely many values of $b$ and $d$ there exist such sets in linear general position. The note contains open questions and problems.
Optimal codes in the Stiefel manifold
Published
• View Publication
• BIB
We consider the coding problem in the Stiefel manifold with chordal distance. After considering various low-dimensional instances of this problem, we use Rankin's bounds on spherical codes to prove upper bounds on the minimum distance of a Stiefel code, and then we construct several examples of codes that achieve equality in these bounds.
Rearranging small sets for distinct partial sums
A conjecture of Graham (repeated by Erdős) asserts that for any set $A \subseteq \mathbb{F}_p \setminus \{0\}$, there is an ordering $a_1, \ldots, a_{|A|}$ of the elements of $A$ such that the partial sums $a_1, a_1+a_2, \ldots, a_1+a_2+\cdots+a_{|A|}$ are all distinct. We give a very short proof of this conjecture for sets $A$ of size at most $\log p/\log\log p$.
Jets and principal components of monomial ideals, and very well-covered graphs
Published
• View Publication
• BIB
Motivated by using combinatorics to study jets of monomial ideals, we extend a definition of jets from graphs to clutters. We offer some structural results on their vertex covers, and show an interesting connection between the cover ideal of the jets of a clutter and the symbolic powers of the cover ideal of the original clutter. We use this connection to prove that jets of very well-covered graphs are very well-covered. Next, we turn our attention to principal jets of monomial ideals, describing their primary decomposition and minimal generating sets. Finally, we give formulas to compute various algebraic invariants of principal jets of monomial ideals, including their Hilbert series, Betti numbers, multiplicity and regularity.