Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Eigenvalues of graph Laplacians via rank-one perturbations
Published
• View Publication
• BIB
We show how the spectrum of a graph Laplacian changes with respect to a certain type of rank-one perturbation. We apply our finding to give new short proofs of the spectral version of Kirchhoff's Matrix Tree Theorem and known derivations for the characteristic polynomials of the Laplacians for several well known families of graphs, including complete, complete multipartite, and threshold graphs.
Connections between covers of $\mathbb Z$ and subset sums
In this paper we establish connections between covers of $\mathbb Z$ by residue classes and subset sums in a field. Suppose that $A_0=\{a_s(n_s)\}_{s=0}^k$ covers each integer at least $p$ times with the residue class $a_0(n_0)=a_0+n_0\mathbb Z$ irredundant, where $p$ is a prime not dividing any of $n_1,\ldots,n_k$. Let $m_1,\ldots,m_k\in\mathbb Z$ be relatively prime to $n_1,\ldots,n_k$ respectively. For any $c,c_1,\ldots,c_k\in\mathbb Z/p\mathbb Z$ with $c_1\cdots c_k\not=0$, we show that the set $$\bigg\{\bigg\{\sum_{s\in I}\frac{m_s}{n_s}\bigg\}:\, I\subseteq\{1,\ldots,k\} \ \mbox{and}\ \sum_{s\in I}c_s=c\bigg\}$$ contains an arithmetic progression of length $n_0$ with common difference $1/n_0$, where $\{x\}$ denotes the fractional part of a real number $x$.
Diagonal degenerations of matrix Schubert varieties
Published
• View Publication
• BIB
Knutson and Miller (2005) established a connection between the anti-diagonal Gröbner degenerations of matrix Schubert varieties and the pre-existing combinatorics of pipe dreams. They used this correspondence to give a geometrically-natural explanation for the appearance of the combinatorially-defined Schubert polynomials as representatives of Schubert classes. Recently, Hamaker, Pechenik, and Weigandt (2022) proposed a similar connection between diagonal degenerations of matrix Schubert varieties and bumpless pipe dreams, newer combinatorial objects introduced by Lam, Lee, and Shimozono (2021). Hamaker, Pechenik, and Weigandt described new generating sets of the defining ideals of matrix Schubert varieties and conjectured a characterization of permutations for which these generating sets form diagonal Gröbner bases. They proved special cases of this conjecture and described diagonal degenerations of matrix Schubert varieties in terms of bumpless pipe dreams in these cases. The purpose of this paper is to prove the conjecture in full generality. The proof uses a connection between liaison and geometric vertex decomposition established in earlier work with Rajchgot (2021).
Piercing Numbers in Circular Societies
Published
• View Publication
• BIB
In the system of approval voting, individuals vote for all candidates they find acceptable. Many approval voting situations can be modeled geometrically, and thus geometric concepts such as the piercing number have a natural interpretation. In this paper, we explore piercing numbers in the setting where voter preferences can be modeled by congruent arcs on a circle -- i.e., in fixed-length circular societies. Given a number of voters and the length of the voter preference arcs, we give bounds on the possible piercing number of the society. Further, we explore which piercing numbers are more likely. Specifically, under the assumption of uniformly distributed voter preference arcs, we determine the probability distribution of the piercing number of societies in which the length of the arcs is sufficiently small. We end with simulations that give estimated probabilities of piercing number for societies with larger voter preference arcs.
The average eccentricity of a graph with prescribed girth
Published
• View Publication
• BIB
Let $G$ be a connected graph of order $n$. The eccentricity $e(v)$ of a vertex $v$ is the distance from $v$ to a vertex farthest from $v$. The average eccentricity of $G$ is the mean of all eccentricities in $G$. We give upper bounds on the average eccentricity of $G$ in terms of order $n$, minimum degree $δ$, and girth $g$. In addition, we construct graphs to show that, if for given $g$ and $δ$, there exists a Moore graph of minimum degree $δ$ and girth $g$, then the bounds are asymptotically sharp. Moreover, we show that the bounds can be improved for a graph of large degree $Δ$.
Extension to the Beraha-Kahane-Weiss Theorem with Applications
Published
• View Publication
• BIB
The beautiful Beraha-Kahane-Weiss theorem has found many applications within graph theory, allowing for the determination of the limits of root of graph polynomials in settings as vast as chromatic polynomials, network reliability, and generating polynomials related to independence and domination. Here we extend the class of functions to which the BKW theorem can be applied, and provide some applications in combinatorics.
The Intersection of $3$-Maximal Submonids
Published in Theoretical Computer Science 901 (2022) 35-44
• View Publication
• BIB
Very little is known about the structure of the intersection of two $k$-generated monoids of words, even for $k=3$. Here we investigate the case of $k$-maximal monoids, that is, monoids whose basis of cardinality $k$ cannot be non-trivially decomposed into at most $k$ words. We characterize the intersection in the case of two $3$-maximal monoids.
Minimum maximal matchings in cubic graphs
Published
• View Publication
• BIB
We prove that every connected cubic graph with $n$ vertices has a maximal matching of size at most $\frac{5}{12} n+ \frac{1}{2}$. This confirms the cubic case of a conjecture of Baste, Fürst, Henning, Mohr and Rautenbach (2019) on regular graphs. More generally, we prove that every graph with $n$ vertices and $m$ edges and maximum degree at most $3$ has a maximal matching of size at most $\frac{4n-m}{6}+ \frac{1}{2}$. These bounds are attained by the graph $K_{3,3}$, but asymptotically there may still be some room for improvement. Moreover, the claimed maximal matchings can be found efficiently. As a corollary, we have a $\left(\frac{25}{18} + O \left( \frac{1}{n}\right)\right) $-approximation algorithm for minimum maximal matching in connected cubic graphs.
Lozenge tilings of hexagons with holes on three crossing lines
Published
• View Publication
• BIB
The enumeration of lozenge tilings of hexagons with holes has received much attention during the last three decades. One notable feature is that a lot of the recent development involved Kuo's graphical condensation. Motivated by Ciucu, Lai and Rohatgi's work on tilings of hexagons with a removed triad of bowties, in this paper, we show that the ratio of numbers of lozenge tilings of two more general regions is expressed as a simple product formula. Our proof does not involve the graphical condensation method. The proof is short and direct. We also provide a corresponding formula for cyclically symmetric lozenge tilings. Several previous results can be easily deduced from our generalization.
The Amazing Power of Randomness: NP=RP
We (claim to) prove the extremely surprising fact that NP=RP. It is achieved by creating a Fully Polynomial-Time Randomized Approximation Scheme (FPRAS) for approximately counting the number of independent sets in bounded degree graphs, with any fixed degree bound, which is known to imply NP=RP. While our method is rooted in the well known Markov Chain Monte Carlo (MCMC) approach, we overcome the notorious problem of slow mixing by a new idea for generating a random sample from among the independent sets. A key tool that enables the result is a solution to a novel sampling task that we call Subset Sampling. In its basic form, a stationary sample is given from the (exponentially large) state space of a Markov chain, as input, and we want to transform it into another stationary sample that is conditioned on falling into a given subset, which is still exponentially large. In general, Subset Sampling can be both harder and easier than stationary sampling from a Markov chain. It can be harder, due to the conditioning on a subset, which may have more complex structure than the original state space. But it may also be easier, since a stationary sample is already given, which, in a sense, already encompasses "most of the hardness" of such sampling tasks, being already in the stationary distribution, which is hard to reach in a slowly mixing chain. We show that it is possible to efficiently balance the two sides: we can capitalize on already having a stationary sample from the original space, so that the complexity of confining it to a subset is mitigated. We prove that an efficient approximation is possible for the considered sampling task, and then it is applied recursively to create the FPRAS.
Bordered complex Hadamard matrices and strongly regular graphs
Published
• View Publication
• BIB
We consider bordered complex Hadamard matrices whose core is contained in the Bose-Mesner algebra of a strongly regular graph. Examples include a complex Hadamard matrix whose core is contained in the Bose-Mesner algebra of a conference graph due to J. Wallis, F. Szöllősi, and a family of Hadamard matrices given by Singh and Dubey. In this paper, we prove that there are no other bordered complex Hadamard matrices whose core is contained in the Bose-Mesner algebra of a strongly regular graph.
On the cycle index and the weight enumerator II
Published
• View Publication
• BIB
In a previous paper, the second and third named author introduced the concept of the complete cycle index and discussed a relation with the complete weight enumerator in coding theory. In the present paper, we introduce the concept of the complete joint cycle index and the average complete joint cycle index, and discuss a relation with the complete joint weight enumerator and the average complete joint weight enumerator respectively in coding theory. Moreover, the notion of the average intersection numbers is given, and we discuss a relation with the average intersection numbers in coding theory.
Sharing Nim and Enumeration of Nim Characteristics
In this paper, we introduce and examine a variant of the game of Nim (Sharing Nim), where players can either remove or transfer objects from 1 pile to another. The only restriction is that players may not transfer objects from a pile of greater size to a pile of smaller size. We also find new methods of enumerating characteristics of Nim and Sharing Nim, including the number of zero nim positions.
Ordering Trees by Their ABC Spectral Radii
Published
• View Publication
• BIB
Let $G=(V,E)$ be a connected graph, where $V=\{v_1, v_2, \cdots, v_n\}$. Let $d_i$ denote the degree of vertex $v_i$. The ABC matrix of $G$ is defined as $M(G)=(m_{ij})_{n \times n}$, where $m_{ij}=\sqrt{(d_i + d_j -2)/(d_i d_j)}$ if $v_i v_j \in E$, and 0 otherwise. The ABC spectral radius of $G$ is the largest eigenvalue of $M(G)$. In the present paper, we establish two graph perturbations with respect to ABC spectral radius. By applying these perturbations, the trees with the third, fourth, and fifth largest ABC spectral radii are determined.
On the modular Jones polynomial
Published
• View Publication
• BIB
A major problem in knot theory is to decide whether the Jones polynomial detects the unknot. In this paper we study a weaker related problem, namely whether the Jones polynomial reduced modulo an integer $n$ detects the unknot. The answer is known to be negative for $n=2^k$ with $k\geq 1$ and $n=3$. Here we show that if the answer is negative for some $n$, then it is negative for $n^k$ with any $k\geq 1$. In particular, for any $k\geq 1$, we construct nontrivial knots whose Jones polynomial is trivial modulo~$3^k$.
Extremal trees with fixed degree sequence
Published
• View Publication
• BIB
The greedy tree $\mathcal{G}(D)$ and the $\mathcal{M}$-tree $\mathcal{M}(D)$ are known to be extremal among trees with degree sequence $D$ with respect to various graph invariants. This paper provides a general theorem that covers a large family of invariants for which $\mathcal{G}(D)$ or $\mathcal{M}(D)$ is extremal. Many known results, for example on the Wiener index, the number of subtrees, the number of independent subsets and the number of matchings follow as corollaries, as do some new results on invariants such as the number of rooted spanning forests, the incidence energy and the solvability. We also extend our results on trees with fixed degree sequence $D$ to the set of trees whose degree sequence is majorised by a given sequence $D$, which also has a number of applications.
Nodal curves and polarizations with good properties
Published in Rev Mat Complut (2021)
• View Publication
• BIB
In this paper we deal with polarizations on a nodal curve $C$ with smooth components. Our aim is to study and characterize a class of polarizations, which we call "good", for which depth one sheaves on $C$ reflect some properties that hold for vector bundles on smooth curves. We will concentrate, in particular, on the relation between the $\underline{w}$-stability of $\mathcal{O}_C$ and the goodness of $\underline{w}$. We prove that these two concepts agree when $C$ is of compact type and we conjecture that the same should hold for all nodal curves.
On multiplicative properties of combinatorial cubes
We obtain a series of lower bounds for the product set of combinatorial cubes, as well as some non--trivial upper estimates for the multiplicative energy of such sets.
A general framework for hypergraph colouring
Published
• View Publication
• BIB
The Lovász Local Lemma is a powerful probabilistic technique for proving the existence of combinatorial objects. It is especially useful for colouring graphs and hypergraphs with bounded maximum degree. This paper presents a general theorem for colouring hypergraphs that in many instances matches or slightly improves upon the bounds obtained using the Lovász Local Lemma. Moreover, the theorem directly shows that there are exponentially many colourings. The elementary and self-contained proof is inspired by a recent result for nonrepetitive colourings by Rosenfeld [2020]. We apply our general theorem in the setting of proper hypergraph colouring, proper graph colouring, independent transversals, star colouring, nonrepetitive colouring, frugal colouring, Ramsey number lower bounds, and for $k$-SAT.
Approximating pathwidth for graphs of small treewidth
Published in ACM Transactions on Algorithms, 19/2:1--19, 2023
• View Publication
• BIB
We describe a polynomial-time algorithm which, given a graph $G$ with treewidth $t$, approximates the pathwidth of $G$ to within a ratio of $O(t\sqrt{\log t})$. This is the first algorithm to achieve an $f(t)$-approximation for some function $f$.
Our approach builds on the following key insight: every graph with large pathwidth has large treewidth or contains a subdivision of a large complete binary tree. Specifically, we show that every graph with pathwidth at least $th+2$ has treewidth at least $t$ or contains a subdivision of a complete binary tree of height $h+1$. The bound $th+2$ is best possible up to a multiplicative constant. This result was motivated by, and implies (with $c=2$), the following conjecture of Kawarabayashi and Rossman (SODA'18): there exists a universal constant $c$ such that every graph with pathwidth $Ω(k^c)$ has treewidth at least $k$ or contains a subdivision of a complete binary tree of height $k$.
Our main technical algorithm takes a graph $G$ and some (not necessarily optimal) tree decomposition of $G$ of width $t'$ in the input, and it computes in polynomial time an integer $h$, a certificate that $G$ has pathwidth at least $h$, and a path decomposition of $G$ of width at most $(t'+1)h+1$. The certificate is closely related to (and implies) the existence of a subdivision of a complete binary tree of height $h$. The approximation algorithm for pathwidth is then obtained by combining this algorithm with the approximation algorithm of Feige, Hajiaghayi, and Lee (STOC'05) for treewidth.