Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Perfect matchings in random sparsifications of Dirac hypergraphs
Published
• View Publication
• BIB
For all integers $n \geq k > d \geq 1$, let $m_{d}(k,n)$ be the minimum integer $D \geq 0$ such that every $k$-uniform $n$-vertex hypergraph $\mathcal H$ with minimum $d$-degree $δ_{d}(\mathcal H)$ at least $D$ has an optimal matching. For every fixed integer $k \geq 3$, we show that for $n \in k \mathbb{N}$ and $p = Ω(n^{-k+1} \log n)$, if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_{k-1}(\mathcal H) \geq m_{k-1}(k,n)$, then a.a.s.\ its $p$-random subhypergraph $\mathcal H_p$ contains a perfect matching. Moreover, for every fixed integer $d < k$ and $γ> 0$, we show that the same conclusion holds if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_d(\mathcal H) \geq m_{d}(k,n) + γ\binom{n - d}{k - d}$. Both of these results strengthen Johansson, Kahn, and Vu's seminal solution to Shamir's problem and can be viewed as ``robust'' versions of hypergraph Dirac-type results. In addition, we also show that in both cases above, $\mathcal H$ has at least $\exp((1-1/k)n \log n - Θ(n))$ many perfect matchings, which is best possible up to an $\exp(Θ(n))$ factor.
Erdős covering systems
Published in Acta Mathematica Hungarica, 161 (2020), 540-549
• View Publication
• BIB
A covering system is a finite collection of arithmetic progressions whose union is the set of integers. The study of these objects was initiated by Erdős in 1950, and over the following decades he asked many questions about them. Most famously, he asked whether there exist covering systems with distinct moduli whose minimum modulus is arbitrarily large. This problem was resolved in 2015 by Hough, who showed that in any such system the minimum modulus is at most $10^{16}$.
The purpose of this note is to give a gentle exposition of a simpler and stronger variant of Hough's method, which was recently used to answer several other questions about covering systems. We hope that this technique, which we call the distortion method, will have many further applications in other combinatorial settings.
On the Edge Derivative of the Normalized Laplacian with Applications to Kemeny's Constant
Published
• View Publication
• BIB
In a connected graph, Kemeny's constant gives the expected time of a random walk from an arbitrary vertex $x$ to reach a randomly-chosen vertex $y$. Because of this, Kemeny's constant can be interpreted as a measure of how well a graph is connected. It is generally unknown how the addition or removal of edges affects Kemeny's constant. Inspired by the directional derivative of the normalized Laplacian, we derive the directional derivative of Kemeny's constant for several graph families. In addition, we find sharp bounds for the directional derivative of an eigenvalue of the normalized Laplacian and bounds for the directional derivative of Kemeny's constant.
Hadamard products of symbolic powers and Hadamard fat grids
Published
• View Publication
• BIB
In this paper we address the question if, for points $P, Q \in \mathbb{P}^{2}$, $I(P)^{m} \star I(Q)^{n}=I(P \star Q)^{m+n-1}$ and we obtain different results according to the number of zero coordinates in $P$ and $Q$. Successively, we use our results to define the so called Hadamard fat grids, which are the result of the Hadamard product of two sets of collinear points with given multiplicities. The most important invariants of Hadamard fat grids, as minimal resolution, Waldschmidt constant and resurgence, are then computed.
Hadwiger's Conjecture with Certain Forbidden Induced Subgraphs
Published
• View Publication
• BIB
We prove that $\{\overline{K_3}, H\}$-free graphs are not counterexamples to Hadwiger's Conjecture, where $H$ is any one of 33 graphs on seven, eight, or nine vertices, or $H=K_8$. This improves on past results of Plummer-Stiebitz-Toft, Kriesell, and Bosse. The proofs are mostly computer-assisted.
Constructing MRD codes by switching
Published in J. Comb. Des. 32(5) 2024, 219-237
• View Publication
• BIB
MRD codes are maximum codes in the rank-distance metric space on $m$-by-$n$ matrices over the finite field of order $q$. They are diameter perfect and have the cardinality $q^{m(n-d+1)}$ if $m\ge n$. We define switching in MRD codes as replacing special MRD subcodes by other subcodes with the same parameters. We consider constructions of MRD codes admitting such switching, including punctured twisted Gabidulin codes and direct-product codes. Using switching, we construct a huge class of MRD codes whose cardinality grows doubly exponentially in $m$ if the other parameters ($n$, $q$, the code distance) are fixed. Moreover, we construct MRD codes with different affine ranks and aperiodic MRD codes.
Keywords: MRD codes, rank distance, bilinear forms graph, switching, diameter perfect codes
The generalized 3-connectivity of a family regular networks
Published
• View Publication
• BIB
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is the minimum number of internally edge disjoint $S$-trees for any $S\subseteq V(G)$ with $|S|=k$. The generalized $k$-connectivity is a natural extension of the classical connectivity and plays a key role in applications related to the modern interconnection networks. In this paper, we firstly introduce a family of regular networks $H_n$ that can be obtained from several subgraphs $G_n^1, G_n^2, \cdots, G_n^{t_n}$ by adding a matching, where each subgraph $G_n^i$ is isomorphic to a particular graph $G_n$ ($1\le i\le t_n$). Then we determine the generalized 3-connectivity of $H_n$. As applications of the main result, the generalized 3-connectivity of some two-level interconnection networks, such as the hierarchical star graph $HS_n$, the hierarchical cubic network $HCN_n$ and the hierarchical folded hypercube $HFQ_n$, are determined directly.
A summation formula for generalized $k$-bonacci numbers
In this note, we present a simple summation formula for $k$-bonacci numbers. The derivation consists in obtaining the generating function of such numbers, and noting that its evaluation at a particular value yields a formula generalizing a known expression for Fibonacci numbers.
Converses to generalized Conway--Gordon type congruences
Published
• View Publication
• BIB
It is known that for every spatial complete graph on $n\ge 7$ vertices, the summation of the second coefficients of the Conway polynomials over the Hamiltonian knots is congruent to $r_{n}$ modulo $(n-5)!$, where $r_{n} = (n-5)!/2$ if $n=8k,8k+7$, and $0$ if $n\neq 8k,8k+7$. In particular the case of $n=7$ is famous as the Conway--Gordon $K_{7}$ theorem. In this paper, conversely, we show that every integer $(n-5)! q + r_{n}$ is realized as the summation of the second coefficients of the Conway polynomials over the Hamiltonian knots in some spatial complete graph on $n$ vertices.
The difficulty of beating the Taxman
The Taxman game has proven to be hard to solve optimally, so efforts have been made to find heuristic strategies that do well in practice. We present results on the NP-hardness of a variant of the game via an equivalence to a particular kind of graph matching problem. Furthermore this equivalence is used to derive a winning strategy for all $n$ along with efficiently computable lower and upper bounds on the optimal achievable score.
On the zeroes of hypergraph independence polynomials
Published
• View Publication
• BIB
We study the locations of complex zeroes of independence polynomials of bounded degree hypergraphs. For graphs, this is a long-studied subject with applications to statistical physics, algorithms, and combinatorics. Results on zero-free regions for bounded-degree graphs include Shearer's result on the optimal zero-free disk, along with several recent results on other zero-free regions. Much less is known for hypergraphs. We make some steps towards an understanding of zero-free regions for bounded-degree hypergaphs by proving that all hypergraphs of maximum degree $Δ$ have a zero-free disk almost as large as the optimal disk for graphs of maximum degree $Δ$ established by Shearer (of radius $\sim 1/(e Δ)$). Up to logarithmic factors in $Δ$ this is optimal, even for hypergraphs with all edge-sizes strictly greater than $2$. We conjecture that for $k\ge 3$, $k$-uniform linear hypergraphs have a much larger zero-free disk of radius $Ω(Δ^{- \frac{1}{k-1}} )$. We establish this in the case of linear hypertrees.
Probabilistic Parking Functions
We consider the notion of classical parking functions by introducing randomness and a new parking protocol, as inspired by the work presented in the paper ``Parking Functions: Choose your own adventure,'' (arXiv:2001.04817) by Carlson, Christensen, Harris, Jones, and Rodríguez. Among our results, we prove that the probability of obtaining a parking function, from a length $n$ preference vector, is independent of the probabilistic parameter $p$. We also explore the properties of a preference vector given that it is a parking function and discuss the effect of the probabilistic parameter $p$. Of special interest is when $p=1/2$, where we demonstrate a sharp transition in some parking statistics. We also present several interesting combinatorial consequences of the parking protocol. In particular, we provide a combinatorial interpretation for the array described in OEIS A220884 as the expected number of preference sequences with a particular property related to occupied parking spots, which solves an open problem of Novelli and Thibon posed in 2020 (arXiv:1209.5959). Lastly, we connect our results to other weighted phenomena in combinatorics and provide further directions for research.
Volume rigidity and algebraic shifting
Published
• View Publication
• BIB
We study the generic volume rigidity of $(d-1)$-dimensional simplicial complexes in $\mathbb R^{d-1}$, and show that the volume rigidity of a complex can be identified in terms of its exterior shifting. In addition, we establish the volume rigidity of triangulations of several $2$-dimensional surfaces and prove that, in all dimensions $>1$, volume rigidity is {\em not} characterized by a corresponding hypergraph sparsity property.
The List Square Coloring Conjecture fails for bipartite planar graphs and their line graphs
Kostochka and Woodall (2001) conjectured that the square of every graph has the same chromatic number and list chromatic number. In 2015 Kim and Park disproved this conjecture for non-bipartite and bipartite graphs. It was asked by several authors whether this conjecture holds for bipartite graphs with small degrees, claw-free graphs, or line graphs. In this paper, we introduce several kinds of counterexamples to this conjecture to solve three open problems posed by Kim and Park~(2015), Kim, Kwon, and Park~(2015), and Dai, Wang, Yang, and Yu~(2018). In particular, we disprove a planar version of this conjecture proposed by Havet, Heuvel, McDiarmid, and Reed (2017).
This conjecture was originally proposed to make a stronger version of the List Total Coloring Conjecture. In order to make a revised version, it remains to decide whether this conjecture holds for bipartite graphs $G$ by imposing a lower bound on the chromatic number of the square graph $G^2$ in terms of its maximum degree as the condition $χ(G^2) \ge \frac{1}{2} Δ(G^2)+1$ (or by adding an upper bound on the number of colors used in lists for a weaker version). To support this version, we will show that the bipartite condition cannot be dropped even by increasing the lower bound arbitrarily.
Finally, we investigate non-choosable graphs with bounded maximum degree in bipartite or planar graphs. Consequently, we improve several graph constructions due to Erd\H os, Rubin, and Taylor~(1980), Bessy, Havet, and Palaysi (2002), Voigt (1993), Mirzakhani (1996), and Glebov, Kostochka, and Tashkinov (2005) in terms of maximum degree or order. In addition, we characterize edge-minimal $3$-chromatic non-$3$-choosable (resp. $4$-chromatic non-$4$-choosable) graphs of order at most $9$ (resp. $11$) and settle a question posed by Nelsen~(2019).
Determinants of Simple Theta Curves and Symmetric Graphs
Published
• View Publication
• BIB
A theta curve is a spatial embedding of the $θ$-graph in the three-sphere, taken up to ambient isotopy. We define the determinant of a theta curve as an integer-valued invariant arising from the first homology of its Klein cover. When a theta curve is simple, containing a constituent unknot, we prove that the determinant of the theta curve is the product of the determinants of the constituent knots. Our proofs are combinatorial, relying on Kirchhoff's Matrix Tree Theorem and spanning tree enumeration results for symmetric, signed, planar graphs.
A deletion-contraction long exact sequence for chromatic symmetric homology
Published in European Journal of Combinatorics 115 (2024)
• View Publication
• BIB
Crew and Spirklt generalize Stanley's chromatic symmetric function to vertex-weighted graphs. One of the primary motivations for extending the chromatic symmetric function to vertex-weighted graphs is the existence of a deletion-contraction relation in this setting, which, as known, holds for the chromatic polynomial, but doesn't hold for the chromatic symmetric function. In this paper we find a categorification of their new invariant extending the definition of chromatic symmetric homology to vertex-weighted graphs. We prove the existence of a deletion-contraction long exact sequence for chromatic symmetric homology which lifts the deletion-contraction relation that holds for the extension of Crew and Spirklt. Moreover, the new categorification gives a useful computational tool and allow us to answer two questions left open by Chandler, Sazdanovic, Stella and Yip. In particular, we prove that, for a graph G with $n$ vertices, the maximal index with nonzero homology is not greater that $n$ - 1. Moreover, we show that the homology is non-trivial for all the indices between the minimum and the maximum with this property.
Monochromatic Sums and Products of Polynomials
We show that the pattern $\{x,x+y,xy\}$ is partition regular over the space of formal integer polynomials of degree at least one with zero constant term, with primitive recursive bounds. This provides a new proof for the partition regularity of $\{x,x+y,xy\}$ over $\mathbb{N}$, which gives the first primitive recursive bound.
On distribution of runs and patterns in four state trials
Published
• View Publication
• BIB
From a mathematical and statistical point of view, a segment of a DNA strand can be viewed as a sequence of four-state (A, C, G, T) trials. We consider distributions of runs and patterns related to run lengths of multi-state sequences, especially for four states (A, B, C, D). Let $X_{1}, X_{2}, \ldots$ be a sequence of four state i.i.d.\ trials taking values in the set $\mathscr{S}=\{A,\ B,\ C,\ D\}$ of four symbols with probability $P(A)=P_{a}$, $P(B)=P_{b}$, $P(C)=P_{c}$ and $P(D)=P_{d},$ respectively. In this paper, we obtain exact formulae for the probability distribution function for runs of B's the discrete distribution of order $k$, longest run statistics, shortest run statistics, waiting time distribution and the distribution of run lengths.
An Ore-type condition for hamiltonicity in tough graphs and the extremal examples
Published
• View Publication
• BIB
Let $G$ be a $t$-tough graph on $n\ge 3$ vertices for some $t>0$. It was shown by Bauer et al. in 1995 that if the minimum degree of $G$ is greater than $\frac{n}{t+1}-1$, then $G$ is hamiltonian. In terms of Ore-type hamiltonicity conditions, the problem was only studied when $t$ is between 1 and 2, and recently the author proved a general result. The result states that if the degree sum of any two nonadjacent vertices of $G$ is greater than $\frac{2n}{t+1}+t-2$, then $G$ is hamiltonian. It was conjectured in the same paper that the ``$+t$" in the bound $\frac{2n}{t+1}+t-2$ can be removed. Here we confirm the conjecture. The result generalizes the result by Bauer, Broersma, van den Heuvel, and Veldman. Furthermore, we characterize all $t$-tough graphs $G$ on $n\ge 3$ vertices for which $σ_2(G) = \frac{2n}{t+1}-2$ but $G$ is non-hamiltonian.
Sylvester sums on the Frobenius set in arithmetic progression with initial gaps
Published
• View Publication
• BIB
Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. Frobenius number is the largest positive integer that is NOT representable in terms of $a_1,a_2,\dots,a_k$. When $k\ge 3$, there is no explicit formula in general, but some formulae may exist for special sequences $a_1,a_2,\dots,a_k$, including, those forming arithmetic progressions and their modifications. In this paper we give explicit formulae for the sum of nonrepresentable positive integers (Sylvester sum) as well as Frobenius numbers and the number of nonrepresentable positive integers (Sylverster number) for $a_1,a_2,\dots,a_k$ forming arithmetic progressions with initial gaps.