Showing 20 papers (Total: 82139 papers, 47531 authors in database)
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.
Ranking and Unranking Restricted Permutations
Published
• View Publication
• BIB
We discuss efficient methods for unranking derangements and ménage permutations. That is, we will provide an algorithm to efficiently extract the $k$-th earliest such permutation under the lexicographic ordering. We will show that this problem can be reduced to the problem of computing the number of restricted permutations with a given prefix, and then we will use rook theory to solve this counting problem. This has applications to combinatorics, probability, statistics, and modeling.
An inductive proof of the Bollobás two family theorem
Inspired by the inductive proof of LYM-inequality given by P. Frankl, we provide an inductive proof of the Bollobás two family theorem.
On products of permutations with the most uncontaminated cycles by designated labels
Published in Journal of Algebraic Combinatorics, 2023
• View Publication
• BIB
There is a growing interest in studying the distribution of certain labels in products of permutations since the work of Stanley addressing a conjecture of Bóna. This paper is concerned with a problem in that direction. Let $D$ be a permutation on the set $[n]=\{1,2,\ldots, n\}$ and $E\subset [n]$. Suppose the maximum possible number of cycles uncontaminated by the $E$-labels in the product of $D$ and a cyclic permutation on $[n]$ is $θ$ (depending on $D$ and $E$). We prove that for arbitrary $D$ and $E$ with few exceptions, the number of cyclic permutations $γ$ such that $D\circ γ$ has exactly $θ-1$ $E$-label free cycles is at least $1/2$ that of $γ$ for $D\circ γ$ to have $θ$ $E$-label free cycles, where $1/2$ is best possible. An even more general result is also conjectured.
Systolic inequalities and chromatic number
We show that the discrete versions of the systolic inequality that estimate the number of vertices of a simplicial complex from below have substantial applications to graphs, the one-dimensional simplicial complexes. Almost directly they provide good estimates for the number of vertices of a graph in terms of its chromatic number and the length of the smallest odd cycle. Combined with the graph-theoretic techniques of Berlov and Bogdanov, the systolic approach produces even better estimates.
Reconfiguration of colorings in triangulations of the sphere
In 1973, Fisk proved that any $4$-coloring of a $3$-colorable triangulation of the $2$-sphere can be obtained from any $3$-coloring by a sequence of Kempe-changes. On the other hand, in the case where we are only allowed to recolor a single vertex in each step, which is a special case of a Kempe-change, there exists a $4$-coloring that cannot be obtained from any $3$-coloring. In this paper, we present a characterization of a $4$-coloring of a $3$-colorable triangulation of the $2$-sphere that can be obtained from a $3$-coloring by a sequence of recoloring operations at single vertices, and a criterion for a $3$-colorable triangulation of the $2$-sphere that all $4$-colorings can be obtained from a $3$-coloring by such a sequence. Moreover, our first result can be generalized to a high-dimensional case, in which ``$4$-coloring,'' ``$3$-colorable,'' and ``$2$-sphere'' above are replaced with ``$k$-coloring,'' ``$(k-1)$-colorable,'' and ``$(k-2)$-sphere'' for $k \geq 4$, respectively. In addition, we show that the problem of deciding whether, for given two $(k+1)$-colorings, one can be obtained from the other by such a sequence is PSPACE-complete for any fixed $k \geq 4$. Our results above can be rephrased as new results on the computational problems named {\sc $k$-Recoloring} and {\sc Connectedness of $k$-Coloring Reconfiguration Graph}, which are fundamental problems in the field of combinatorial reconfiguration.
Symmetric Covers and Pseudocovers of Complete Graphs
Published
• View Publication
• BIB
We first characterize all faithful arc-transitive covers of complete graphs and we give a general construction of such covers. For a counterpart of cover, we say a graph $Γ$ is a pseudocover of its quotient $Σ$ if they have the same valency and $Γ$ is not a cover of $Σ$.As the second result of this paper, we prove that the complete graph $\K_n$ has a connected arc-transitive pseudocover if and only if $n-1$ is not a prime.
Toric rings of perfectly matchable subgraph polytopes
Published
• View Publication
• BIB
The perfectly matchable subgraph polytope of a graph is a (0,1)-polytope associated with the vertex sets of matchings in the graph. In this paper, we study algebraic properties (compressedness, Gorensteinness) of the toric rings of perfectly matchable subgraph polytopes. In particular, we give a complete characterization of a graph whose perfectly matchable subgraph polytope is compressed.
Hyper-Mahler measures via Goncharov-Deligne cyclotomy
Published in In Howard S. Cohl, Roberto S. Costas-Santos, and Robert S. Maier (eds.) Classical Hypergeometric Functions and Generalizations. pp. 239-288, Vol 818 of Contemporary Mathematics, AMS (2025)
• View Publication
• BIB
The hyper-Mahler measures $m_k( 1+x_1+x_2),k\in\mathbb Z_{>1}$ and $m_k( 1+x_1+x_2+x_3),k\in\mathbb Z_{>1}$ are evaluated in closed form via Goncharov-Deligne periods, namely $\mathbb Q$-linear combinations of multiple polylogarithms at cyclotomic points (complex-valued coordinates that are roots of unity). Some infinite series related to these hyper-Mahler measures are also explicitly represented as Goncharov-Deligne periods of levels $1$, $2$, $ 3$, $4$, $6$, $8$, $10$ and $12$.