Showing 20 papers (Total: 82736 papers, 47815 authors in database)
The Average Order of Dominating Sets of a Graph
Published
• View Publication
• BIB
This papers focuses on the average order of dominating sets of a graph. We find the extremal graphs for the maximum and minimum value over all graphs on $n$ vertices, while for trees we prove that the star minimizes the average order of dominating sets. We prove the average order of dominating sets in graphs without isolated vertices is at most $3n/4$, but provide evidence that the actual upper bound is $2n/3$. Finally, we show that the normalized average, while dense in $[1/2,1]$, tends to $\frac{1}{2}$ for almost all graphs.
On leaky forcing and resilience
Published
• View Publication
• BIB
A leak is a vertex that is not allowed to perform a force during the zero forcing process.
Leaky forcing was recently introduced as a new variation of zero forcing in order to analyze how leaks in a network disrupt the zero forcing process. The $\ell$-leaky forcing number of a graph is the size of the smallest zero forcing set that can force a graph despite $\ell$ leaks. A graph $G$ is $\ell$-resilient if its zero forcing number is the same as its $\ell$-leaky forcing number. In this paper, we analyze $\ell$-leaky forcing and show that if an $(\ell-1)$-leaky forcing set $B$ is robust enough, then $B$ is an $\ell$-leaky forcing set. This provides the framework for characterizing $\ell$-leaky forcing sets. Furthermore, we consider structural implications of $\ell$-resilient graphs. We apply these results to bound the $\ell$-leaky forcing number of several graph families including trees, supertriangles, and grid graphs. In particular, we resolve a question posed by Dillman and Kenter concerning the upper bound on the $1$-leaky forcing number of grid graphs.
Cycles of a given length in tournaments
Published
• View Publication
• BIB
We study the asymptotic behavior of the maximum number of directed cycles of a given length in a tournament: let $c(\ell)$ be the limit of the ratio of the maximum number of cycles of length $\ell$ in an $n$-vertex tournament and the expected number of cycles of length $\ell$ in the random $n$-vertex tournament, when $n$ tends to infinity. It is well-known that $c(3)=1$ and $c(4)=4/3$. We show that $c(\ell)=1$ if and only if $\ell$ is not divisible by four, which settles a conjecture of Bartley and Day. If $\ell$ is divisible by four, we show that $1+2\cdot\left(2/π\right)^{\ell}\le c(\ell)\le 1+\left(2/π+o(1)\right)^{\ell}$ and determine the value $c(\ell)$ exactly for $\ell = 8$. We also give a full description of the asymptotic structure of tournaments with the maximum number of cycles of length $\ell$ when $\ell$ is not divisible by four or $\ell\in\{4,8\}$.
Further study on elliptic interpolation formulas for the elliptic Askey-Wilson polynomials and allied identities
In this paper, we introduce the so-called elliptic Askey-Wilson polynomials which are homogeneous polynomials in two special theta functions. With regard to the significance of polynomials of such kind, we establish some general elliptic interpolation formulas by the methods of matrix inversions and of polynomial representations. Furthermore, we find that the basis of elliptic interpolation space due to Schlosser can be uniquely characterized via the elliptic Askey-Wilson polynomials. As applications of these elliptic interpolation formulas, we establish some new elliptic function identities, including an extension of Weierstrass' theta identity, a generalized elliptic Karlsson-Minton type identity, and an elliptic analogue of Gasper's summation formula for very-well-poised ${}_{6+2m}φ_{5+2m}$ series.
Cut Sparsification of the Clique Beyond the Ramanujan Bound: A Separation of Cut Versus Spectral Sparsification
Published
• View Publication
• BIB
We prove that a random $d$-regular graph, with high probability, is a cut sparsifier of the clique with approximation error at most $\left(2\sqrt{\frac 2 π} + o_{n,d}(1)\right)/\sqrt d$, where $2\sqrt{\frac 2 π} = 1.595\ldots$ and $o_{n,d}(1)$ denotes an error term that depends on $n$ and $d$ and goes to zero if we first take the limit $n\rightarrow \infty$ and then the limit $d \rightarrow \infty$.
This is established by analyzing linear-size cuts using techniques of Jagannath and Sen derived from ideas in statistical physics, and analyzing small cuts via martingale inequalities.
We also prove new lower bounds on spectral sparsification of the clique. If $G$ is a spectral sparsifier of the clique and $G$ has average degree $d$, we prove that the approximation error is at least the "Ramanujan bound'' $(2-o_{n,d}(1))/\sqrt d$, which is met by $d$-regular Ramanujan graphs, provided that either the weighted adjacency matrix of $G$ is a (multiple of) a doubly stochastic matrix, or that $G$ satisfies a certain high "odd pseudo-girth" property. The first case can be seen as an "Alon-Boppana theorem for symmetric doubly stochastic matrices," showing that a symmetric doubly stochastic matrix with $dn$ non-zero entries has a non-trivial eigenvalue of magnitude at least $(2-o_{n,d}(1))/\sqrt d$; the second case generalizes a lower bound of Srivastava and Trevisan, which requires a large girth assumption.
Together, these results imply a separation between spectral sparsification and cut sparsification. If $G$ is a random $\log n$-regular graph on $n$ vertices, we show that, with high probability, $G$ admits a (weighted subgraph) cut sparsifier of average degree $d$ and approximation error at most $(1.595\ldots + o_{n,d}(1))/\sqrt d$, while every (weighted subgraph) spectral sparsifier of $G$ having average degree $d$ has approximation error at least $(2-o_{n,d}(1))/\sqrt d$.
Graph Complexity and Link Colorings
The (torsion) complexity of a finite signed graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When $G$ is $d$-periodic (i.e., $G$ has a free ${\mathbb Z}^d$-action by graph automorphisms with finite quotient) the Mahler measure of its Laplacian polynomial is the growth rate of the complexity of finite quotients of $G$. Any 1-periodic plane graph $G$ determines a link $\ell \cup C$ with unknotted component $C$. In this case the Laplacian polynomial of $G$ is related to the Alexander polynomial of the link. Lehmer's question, an open question about the roots of monic integral polynomials, is equivalent to a question about the complexity growth of signed 1-periodic graphs that are not necessarily embedded.
On the Equitable Choosability of the Disjoint Union of Stars
Published
• View Publication
• BIB
Equitable $k$-choosability is a list analogue of equitable $k$-coloring that was introduced by Kostochka, Pelsmajer, and West in 2003. It is known that if vertex disjoint graphs $G_1$ and $G_2$ are equitably $k$-choosable, the disjoint union of $G_1$ and $G_2$ may not be equitably $k$-choosable. Given any $m \in \mathbb{N}$ the values of $k$ for which $K_{1,m}$ is equitably $k$-choosable are known. Also, a complete characterization of equitably $2$-choosable graphs is not known. With these facts in mind, we study the equitable choosability of $\sum_{i=1}^n K_{1,m_i}$, the disjoint union of $n$ stars. We show that determining whether $\sum_{i=1}^n K_{1,m_i}$ is equitably choosable is NP-complete when the same list of two colors is assigned to every vertex. We completely determine when the disjoint union of two stars (or $n \geq 2$ identical stars) is equitably 2-choosable, and we present results on the equitable $k$-choosability of the disjoint union of two stars for arbitrary $k$.
Symmetric peaks and symmetric valleys in Dyck paths
Published
• View Publication
• BIB
The notion of symmetric and asymmetric peaks in Dyck paths was introduced by Flórez and Rodríguez, who counted the total number of such peaks over all Dyck paths of a given length. In this paper we generalize their results by giving multivariate generating functions that keep track of the number of symmetric peaks and the number of asymmetric peaks, as well as the widths of these peaks. We recover a formula of Denise and Simion as a special case of our results.
We also consider the analogous but more intricate notion of symmetric valleys. We find a continued fraction expression for the generating function of Dyck paths with respect to the number of symmetric valleys and the sum of their widths, which provides an unexpected connection between symmetric valleys and statistics on ordered rooted trees. Finally, we enumerate Dyck paths whose peak or valley heights satisfy certain monotonicity and unimodality conditions, using a common framework to recover some known results, and relating our questions to the enumeration of certain classes of column-convex polyominoes.
Some Preliminary Result About the Inset Edge and Average Distance of Trees
Published
• View Publication
• BIB
An added edge to a graph is called an inset edge. Predicting k inset edges which minimize the average distance of a graph is known to be NP-Hard. However, when k = 1 the complexity of the problem is polynomial. In this paper, some tools for a precise analysis of the problem for the trees are established. Using the tools, we can avoid using the distance matrix. This leads to more efficient algorithms and a better analysis of the problem. Several applications of the tools as well as a tight bound for the change of average distance when an inset edge is added to a tree are presented.
Induced orders in free monoids of words
A family of partial orders in the free monoid of words, induced from a partial order in alphabet, is presented. The induced orders generalize the chronological posets that have been defined for the two-letter alphabet only, and the morphological order. We show that the induced orders are natural with respect to alphabet homomorphisms.
Uniform estimates for almost primes over finite fields
Published in Proc. Amer. Math. Soc. 150 (2022), 2807-2822
• View Publication
• BIB
We establish a new asymptotic formula for the number of polynomials of degree $n$ with $k$ prime factors over a finite field $\mathbb{F}_q$. The error term tends to $0$ uniformly in $n$ and in $q$, and $k$ can grow beyond $\log n$. Previously, asymptotic formulas were known either for fixed $q$, through the works of Warlimont and Hwang, or for small $k$, through the work of Arratia, Barbour and Tavaré.
As an application, we estimate the total variation distance between the number of cycles in a random permutation on $n$ elements and the number of prime factors of a random polynomial of degree $n$ over $\mathbb{F}_q$. The distance tends to $0$ at rate $1/(q\sqrt{\log n})$. Previously this was only understood when either $q$ is fixed and $n$ tends to $\infty$, or $n$ is fixed and $q$ tends to $\infty$, by results of Arratia, Barbour and Tavaré.
Enumeration of cospectral and coinvariant graphs
Published
• View Publication
• BIB
We present enumeration results on the number of connected graphs up to 10 vertices for which there is at least one other graph with the same spectrum (a cospectral mate), or at least one other graph with the same Smith normal form (coinvariant mate) with respect to several matrices associated to a graph. The present data give some indication that possibly the Smith normal form of the distance Laplacian and the signless distance Laplacian matrices could be a finer invariant to distinguish graphs in cases where other algebraic invariants, such as those derived from the spectrum, fail. Finally, we show a new graph characterization using the Smith normal form of the signless distance Laplacian matrix.
On Testability of First-Order Properties in Bounded-Degree Graphs
Published
• View Publication
• BIB
We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix $\exists^*\forall^*$ is testable (i.e., testable with constant query complexity), while there exists an FO property that is expressible by a formula with quantifier prefix $\forall^*\exists^*$ that is not testable. In the dense graph model, a similar picture is long known (Alon, Fischer, Krivelevich, Szegedy, Combinatorica 2000), despite the very different nature of the two models. In particular, we obtain our lower bound by a first-order formula that defines a class of bounded-degree expanders, based on zig-zag products of graphs. We expect this to be of independent interest. We then prove testability of some first-order properties that speak about isomorphism types of neighbourhoods, including testability of $1$-neighbourhood-freeness, and $r$-neighbourhood-freeness under a mild assumption on the degrees.
Cohomological rigidity for Fano Bott manifolds
Published
• View Publication
• BIB
In the present paper, we characterize Fano Bott manifolds up to diffeomorphism in terms of three operations on matrix. More precisely, we prove that given two Fano Bott manifolds $X$ and $X'$, the following conditions are equivalent: (1) the upper triangular matrix associated to $X$ can be transformed into that of $X'$ by those three operations; (2) $X$ and $X'$ are diffeomorphic; (3) the integral cohomology rings of $X$ and $X'$ are isomorphic as graded rings. As a consequence, we affirmatively answer the cohomological rigidity problem for Fano Bott manifolds.
Canonical models of toric hypersurfaces
Published
• View Publication
• BIB
Let $Z$ be a nondegenerate hypersurface in $d$-dimensional torus $(\mathbb{C}^*)^d$ defined by a Laurent polynomial $f$ with a $d$-dimensional Newton polytope $P$. The subset $F(P) \subset P$ consisting of all points in $P$ having integral distance at least $1$ to all integral supporting hyperplanes of $P$ is called the Fine interior of $P$. If $F(P) \neq \emptyset$ we construct a unique projective model $\widetilde{Z}$ of $Z$ having at worst canonical singularities and obtain minimal models $\hat{Z}$ of $Z$ by crepant morphisms $\hat{Z}\to \widetilde{Z}$. We show that the Kodaira dimension $κ=κ(\widetilde{Z})$ equals $\min \{ d-1, \dim F(P) \}$ and the general fibers in the Iitaka fibration of the canonical model $\widetilde{Z}$ are non\-degenerate $(d-1-κ)$-dimensional toric hypersurfaces of Kodaira dimension $0$. Using $F(P)$, we obtain a simple combinatorial formula for the intersection number $(K_{\widetilde{Z}})^{d-1}$.
The adjacent Hindman's theorem for uncountable groups
Published in Colloquium Mathematicum 173 no. 2 (2023), 273-284
• View Publication
• BIB
Recent results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman's Theorem fail for all uncountable cardinals. Results in the positive direction were obtained by Komjáth, the first author, and the second author and Lee, who showed that there are arbitrarily large Abelian groups satisfying some Hindman-type property. Inspired by an analogous result studied by the first author in the countable setting, we prove a new variant of Hindman's Theorem for uncountable cardinals, called the Adjacent Hindman's Theorem: For every $κ$ there is a $λ$ such that, whenever a group $G$ of cardinality $λ$ is coloured with $κ$ colours, there exists a $λ$-sized injective sequence of elements of $G$ with all finite products of adjacent terms of the sequence of the same colour. We obtain bounds on $λ$ as a function of $κ$, and prove that such bounds are optimal. This is the first example of a Hindman-type result for uncountable cardinals that we can prove also in the non-Abelian setting and, furthermore, it is the first such example where monochromatic products (or sums) of unbounded length are guaranteed.
Lower bounds for contingency tables via Lorentzian polynomials
Published
• View Publication
• BIB
We present a new lower bound on the number of contingency tables, improving upon and extending previous lower bounds by Barvinok and Gurvits. As an application, we obtain new lower bounds on the volumes of flow and transportation polytopes. Our proofs are based on recent results on Lorentzian polynomials.
On the Bipartiteness Constant and Expansion of Cayley Graphs
Published
• View Publication
• BIB
Let $G$ be a finite, undirected $d$-regular graph and $A(G)$ its normalized adjacency matrix, with eigenvalues $1 = λ_1(A)\geq \dots \ge λ_n \ge -1$. It is a classical fact that $λ_n = -1$ if and only if $G$ is bipartite. Our main result provides a quantitative separation of $λ_n$ from $-1$ in the case of Cayley graphs, in terms of their expansion. Denoting $h_{out}$ by the (outer boundary) vertex expansion of $G$, we show that if $G$ is a non-bipartite Cayley graph (constructed using a group and a symmetric generating set of size $d$) then $λ_n \ge -1 + ch_{out}^2/d^2\,,$ for $c$ an absolute constant. We exhibit graphs for which this result is tight up to a factor depending on $d$. This improves upon a recent result by Biswas and Saha who showed $λ_n \ge -1 + h_{out}^4/(2^9d^8)\,.$ We also note that such a result could not be true for general non-bipartite graphs.
Discrete quantitative Helly-type theorems with boxes
Published in Advances in Applied Mathematics 129 (2021): 102217
• View Publication
• BIB
Research on Helly-type theorems in combinatorial convex geometry has produced volumetric versions of Helly's theorem using witness sets and quantitative extensions of Doignon's theorem. This paper combines these philosophies and presents quantitative Helly-type theorems for the integer lattice with axis-parallel boxes as witness sets. Our main result shows that, while quantitative Helly numbers for the integer lattice grow polynomially in each fixed dimension, their variants with boxes as witness sets are uniformly bounded. We prove several colorful and fractional variations on this theorem. We also prove that the Helly number for $A \times A \subseteq \mathbb{R}^2$ need not be finite even when $A \subseteq \mathbb{Z}$ is a syndetic set.
Coloring bipartite graphs with semi-small list size
Published in Ann. Comb. 27 (2023), 469-491
• View Publication
• BIB
Recently, Alon, Cambie, and Kang introduced asymmetric list coloring of bipartite graphs, where the size of each vertex's list depends on its part. For complete bipartite graphs, we fix the list sizes of one part and consider the resulting asymptotics, revealing an invariant quantity instrumental in determining choosability across most of the parameter space. By connecting this quantity to a simple question on independent sets of hypergraphs, we strengthen bounds when a part has list size 2. Finally, we state via our framework a conjecture on general bipartite graphs, unifying three conjectures of Alon-Cambie-Kang.