Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Essentially tight bounds for rainbow cycles in proper edge-colourings
Published
• View Publication
• BIB
An edge-coloured graph is said to be rainbow if no colour appears more than once. Extremal problems involving rainbow objects have been a focus of much research over the last decade as they capture the essence of a number of interesting problems in a variety of areas. A particularly intensively studied question due to Keevash, Mubayi, Sudakov and Verstraëte from 2007 asks for the maximum possible average degree of a properly edge-coloured graph on $n$ vertices without a rainbow cycle. Improving upon a series of earlier bounds, Tomon proved an upper bound of $(\log n)^{2+o(1)}$ for this question. Very recently, Janzer-Sudakov and Kim-Lee-Liu-Tran independently removed the $o(1)$ term in Tomon's bound, showing a bound of $O(\log^2 n)$. We prove an upper bound of $(\log n)^{1+o(1)}$ for this maximum possible average degree when there is no rainbow cycle. Our result is tight up to the $o(1)$ term, and so it essentially resolves this question. In addition, we observe a connection between this problem and several questions in additive number theory, allowing us to extend existing results on these questions for abelian groups to the case of non-abelian groups.
The complexity of the greedoid Tutte polynomial
Published
• View Publication
• BIB
We consider the Tutte polynomial of three classes of greedoids: those arising from rooted graphs, rooted digraphs and binary matrices. We establish the computational complexity of evaluating each of these polynomials at each fixed rational point (x,y). In each case we show that evaluation is #P-hard except for a small number of exceptional cases when there is a polynomial time algorithm. In the binary case, establishing #P-hardness along one line relies on Vertigan's unpublished result on the complexity of counting bases of a matroid. For completeness, we include an appendix providing a proof if this result.
A Torelli theorem for graphs via quasistable divisors
Published in Forum of Mathematics, Sigma 13 (2025) e25
• View Publication
• BIB
The Torelli theorem establishes that the Jacobian of a smooth projective curve, together with the polarization provided by the theta divisor, fully characterizes the curve. In the case of nodal curves, there exists a concept known as fine compactified Jacobian. The fine compactified Jacobian of a curve comes with a natural stratification that can be regarded as a poset. Furthermore, this poset is entirely determined by the dual graph of the curve and is referred to as the poset of quasistable divisors on the graph. We present a combinatorial version of the Torelli theorem, which demonstrates that the poset of quasistable divisors of a graph completely determines the biconnected components of the graph (up to contracting separating edges). Moreover, we achieve a natural extension of this theorem to tropical curves.
Note on polychromatic coloring of hereditary hypergraph families
We exhibit a 5-uniform hypergraph that has no polychromatic 3-coloring, but all its restricted subhypergraphs with edges of size at least 3 are 2-colorable. This disproves a bold conjecture of Keszegh and the author, and can be considered as the first step to understand polychromatic colorings of hereditary hypergraph families better since the seminal work of Berge. We also show that our method cannot give hypergraphs of arbitrary high uniformity, and mention some connections to panchromatic colorings.
Fermionic construction of the $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra and its $\mathbb{Z}_2$-twisted module, II
Published
• View Publication
• BIB
This paper continues with Part I. We define the module for a $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra that is twisted by an involution and show that the axioms are sufficient to guarantee the convergence of products and iterates of any number of vertex operators. A module twisted by the parity involution is called a canonically $\mathbb{Z}_2$-twisted module. As an example, we give a fermionic construction of the canonically $\mathbb{Z}_2$-twisted module for the $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra constructed in Part I. Similar to the situation in Part I, the example is also built on a universal $\mathbb{Z}$-graded non-anti-commutative Fock space where a creation operator and an annihilation operator satisfy the fermionic anti-commutativity relation, while no relations exist among the creation operators or among the zero modes. The Wick's theorem still holds, though the actual vertex operator needs to be corrected from the naïve definition by normal ordering using the $\exp(Δ(x))$-operator in Part I.
Thresholds for zero-sums with small cross numbers in abelian groups
For an additive group $Γ$ the sequence $S = (g_1, \ldots, g_t)$ of elements of $Γ$ is a zero-sum sequence if $g_1 + \cdots + g_t = 0_Γ$. The cross number of $S$ is defined to be the sum $\sum_{i=1}^k 1/|g_i|$, where $|g_i|$ denotes the order of $g_i$ in $Γ$. Call $S$ good if it contains a zero-sum subsequence with cross number at most 1. In 1993, Geroldinger proved that if $Γ$ is abelian then every length $|Γ|$ sequence of its elements is good, generalizing a 1989 result of Lemke and Kleitman that had proved an earlier conjecture of Erdős and Lemke. In 1989 Chung re-proved the Lemke and Kleitman result by applying a theorem of graph pebbling, and in 2005, Elledge and Hurlbert used graph pebbling to re-prove and generalize Geroldinger's result. Here we use probabilistic theorems from graph pebbling to derive a threshold version of Geroldinger's theorem for abelian groups of a certain form. Specifically, we prove that if $p_1, \ldots, p_d$ are (not necessarily distinct) primes and $Γ_k$ has the form $\prod_{i=1}^d {\mathbb Z}_{p_i^k}$ then there is a function $τ=τ(k)$ (which we specify in Theorem 4) with the following property: if $t-τ\rightarrow\infty$ as $k\rightarrow\infty$ then the probability that $S$ is good in $Γ_k$ tends to 1.
Parameters of Quotient-Polynomial Graphs
Published
• View Publication
• BIB
Fiol has characterized quotient-polynomial graphs as precisely the connected graphs whose adjacency matrix generates the adjacency algebra of a symmetric association scheme. We show that a collection of non-negative integer parameters of size $d + \frac{d(d-1)}{2}$ is adequate for describing symmetric association schemes of class $d$ that are generated by the adjacency matrix of their first non-trivial relation. We use this to generate a database of the corresponding quotient-polynomial graphs that have small valency and up to 6 classes, and among these find new feasible parameter sets for symmetric association schemes with noncyclotomic eigenvalues.
LRCs: Duality, LP Bounds, and Field Size
Published
• View Publication
• BIB
We develop a duality theory of locally recoverable codes (LRCs) and apply it to establish a series of new bounds on their parameters. We introduce and study a refined notion of weight distribution that captures the code's locality. Using a duality result analogous to a MacWilliams identity, we then derive an LP-type bound that improves on the best known bounds in several instances. Using a dual distance bound and the theory of generalized weights, we obtain non-existence results for optimal LRCs over small fields. In particular, we show that an optimal LRC must have both minimum distance and block length relatively small compared to the field size.
Looms
Published
• View Publication
• BIB
A pair $(A,B)$ of hypergraphs is called orthogonal if $|a \cap b|=1$ for every pair of edges $a \in A$ and $b \in B$. An orthogonal pair of hypergraphs is called a loom if each of its two members is the set of minimum covers of the other. Looms appear naturally in the context of a conjecture of Gyárfás and Lehel on the covering number of cross-intersecting hypergraphs. We study their properties and ways of construction, and prove special cases of a conjecture that if true would imply the Gyárfás--Lehel conjecture.
Compact metric spaces with infinite cop number
Published
• View Publication
• BIB
Mohar recently adapted the classical game of Cops and Robber from graphs to metric spaces, thereby unifying previously studied pursuit-evasion games. He conjectured that finitely many cops can win on any compact geodesic metric space, and that their number can be upper-bounded in terms of the ranks of the homology groups when the space is a simplicial pseudo-manifold. We disprove these conjectures by constructing a metric on $\mathbb{S}^3$ with infinite cop number. More problems are raised than settled.
On the size of integer programs with bounded non-vanishing subdeterminants
Published
• View Publication
• BIB
Motivated by complexity questions in integer programming, this paper aims to contribute to the understanding of combinatorial properties of integer matrices of row rank $r$ and with bounded subdeterminants. In particular, we study the column number question for integer matrices whose every $r \times r$ minor is non-zero and bounded by a fixed constant $Δ$ in absolute value. Approaching the problem in two different ways, one that uses results from coding theory, and the other from the geometry of numbers, we obtain linear and asymptotically sublinear upper bounds on the maximal number of columns of such matrices, respectively. We complement these results by lower bound constructions, matching the linear upper bound for $r=2$, and a discussion of a computational approach to determine the maximal number of columns for small parameters $Δ$ and $r$.
Bipartite Friends and Strangers Walking on Bipartite Graphs
Published
• View Publication
• BIB
Given $n$-vertex simple graphs $X$ and $Y$, the friends-and-strangers graph $\mathsf{FS}(X, Y)$ has as its vertices all $n!$ bijections from $V(X)$ to $V(Y)$, where two bijections are adjacent if and only if they differ on two adjacent elements of $V(X)$ whose mappings are adjacent in $Y$. We consider the setting where $X$ and $Y$ are both edge-subgraphs of $K_{r,r}$: due to a parity obstruction, $\mathsf{FS}(X,Y)$ is always disconnected in this setting. Modestly improving a result of Bangachev, we show that if $X$ and $Y$ respectively have minimum degrees $δ(X)$ and $δ(Y)$ and they satisfy $δ(X) + δ(Y) \geq \lfloor 3r/2 \rfloor + 1$, then $\mathsf{FS}(X,Y)$ has exactly two connected components. This proves that the cutoff for $\mathsf{FS}(X,Y)$ to avoid isolated vertices is equal to the cutoff for $\mathsf{FS}(X,Y)$ to have exactly two connected components. We also consider a probabilistic setup in which we fix $Y$ to be $K_{r,r}$, but randomly generate $X$ by including each edge in $K_{r,r}$ independently with probability $p$. Invoking a result of Zhu, we exhibit a phase transition phenomenon with threshold function $(\log r)/r$: below the threshold, $\mathsf{FS}(X,Y)$ has more than two connected components with high probability, while above the threshold, $\mathsf{FS}(X,Y)$ has exactly two connected components with high probability. Altogether, our results settle a conjecture and completely answer two problems of Alon, Defant, and Kravitz.
The complexity of solving a system of equations of the same degree
Many systems of interest in cryptography consist of equations of the same degree. Under the assumption that the degree of regularity is finite, we prove upper bounds on the degree of regularity of a system of equations of the same degree, with or without adding the field equations to the system. The bounds translate into upper bounds on the solving degree of the systems, and hence on the complexity of solving them via Gröbner bases methods. Our bounds depend on the number of equations in the system, the number of variables, and the degree of the equations.
On generalized corners and matrix multiplication
Suppose that $S \subseteq [n]^2$ contains no three points of the form $(x,y), (x,y+δ), (x+δ,y')$, where $δ\neq 0$. How big can $S$ be? Trivially, $n \le |S| \le n^2$. Slight improvements on these bounds are obtained from Shkredov's upper bound for the corners problem [Shk06], which shows that $|S| \le O(n^2/(\log \log n)^c)$ for some small $c > 0$, and a construction due to Petrov [Pet23], which shows that $|S| \ge Ω(n \log n/\sqrt{\log \log n})$.
Could it be that for all $\varepsilon > 0$, $|S| \le O(n^{1+\varepsilon})$? We show that if so, this would rule out obtaining $ω= 2$ using a large family of abelian groups in the group-theoretic framework of Cohn, Kleinberg, Szegedy and Umans [CU03,CKSU05] (which is known to capture the best bounds on $ω$ to date), for which no barriers are currently known. Furthermore, an upper bound of $O(n^{4/3 - \varepsilon})$ for any fixed $\varepsilon > 0$ would rule out a conjectured approach to obtain $ω= 2$ of [CKSU05]. Along the way, we encounter several problems that have much stronger constraints and that would already have these implications.
Sums of products of binomial coefficients mod 2 and 2-regular sequences
Wu showed that certain sums of products of binomial coefficients modulo 2 are given by the run length transforms of several famous linear recurrence sequences, such as the positive integers, the Fibonacci numbers, the extended Lucas numbers, and Narayana's cows sequence. In this paper we show that the run length transform of such sequences are 2-regular sequences. This allows us to obtain Wu's results and some new ones using the computer program Walnut, eliminating the need for long technical proofs.
Three new $q$-Abel transformations and their applications
In the present paper, we establish three special $q$-Abel transformation formulae of $q$-series via the use of Abel's lemma on summation by parts. As direct applications, we set up the corresponding $q$-contiguous relations for three kinds of truncated $q$-series. Several new transformations are consequently established.
The Scarf complex and betti numbers of powers of extremal ideals
Published
• View Publication
• BIB
This paper is concerned with finding bounds on betti numbers and describing combinatorially and topologically (minimal) free resolutions of powers of ideals generated by a fixed number $q$ of square-free monomials. Among such ideals, we focus on a specific ideal $\mathcal{E}_q$, which we call {\it extremal}, and which has the property that for each $r\ge 1$ the betti numbers of ${\mathcal{E}_q}^r$ are an upper bound for the betti numbers of $I^r$ for any ideal $I$ generated by $q$ square-free monomials (in any number of variables). We study the Scarf complex of the ideals ${\mathcal{E}_q}^r$ and use this simplicial complex to extract information on minimal free resolutions. In particular, we show that ${\mathcal{E}_q}^r$ has a minimal free resolution supported on its Scarf complex when $q\leq 4$ or when $r\leq 2$, and we describe explicitly this complex. For any $q$ and $r$, we also show that $β_1({\mathcal{E}_q}^r)$ is the smallest possible, or in other words equal to the number of edges in the Scarf complex. These results lead to effective bounds on the betti numbers of $I^r$, with $I$ as above. For example, we obtain that pd$(I^r)\leq 5$ for all ideals $I$ generated by $4$ square-free monomials and any $r\geq 1$.
The Rhodes semilattice of a biased graph
Published
• View Publication
• BIB
We reinterpret the Rhodes semilattices $R_n(\mathfrak{G})$ of a group $\mathfrak{G}$ in terms of gain graphs and generalize them to all gain graphs, both as sets of partition-potential pairs and as sets of subgraphs, and for the latter, further to biased graphs. Based on this we propose four different natural lattices in which the Rhodes semilattices and its generalizations are order ideals.
Resistance distance in $k$-coalescence of certain graphs
Any graph can be considered as a network of resistors, each of which has a resistance of $1 Ω.$ The resistance distance $r_{ij}$ between a pair of vertices $i$ and $j$ in a graph is defined as the effective resistance between $i$ and $j$. This article deals with the resistance distance in the $k$-coalescence of complete graphs. We also present its results in connection with the Kemeny's constant, Kirchhoff index, additive degree-Kirchhoff index, multiplicative degree-Kirchhoff index and mixed degree-Kirchhoff index. Moreover, we obtain the resistance distance in the $k$-coalescence of a complete graph with particular graphs. As an application, we provide the resistance distance of certain graphs such as the vertex coalescence of a complete bipartite graph with a complete graph, a complete bipartite graph with a star graph, the windmill graph, pineapple graph, etc.
Toroidal Hitomezashi Patterns
Published
• View Publication
• BIB
Extending a proposal of Defant and Kravitz [Discrete Mathematics, \textbf{1}, 347 (2024)], we define Hitomezashi patterns and loops on a torus and provide several structural results for such loops. For a given pattern, our main theorems give optimal residual information regarding the Hitomezashi loop length, loop count, as well as possible homology classes of such loops. Special attention is paid to toroidal Hitomezashi patterns that are symmetric with respect to the diagonal $x = y$, where we establish a novel connection between Hitomezashi and knot theory.