Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Spectral extremal results on edge blow-up of graphs
Published
• View Publication
• BIB
Let ${\rm ex}(n,F)$ and ${\rm spex}(n,F)$ be the maximum size and maximum spectral radius of an $F$-free graph of order $n$, respectively. The value ${\rm spex}(n,F)$ is called the spectral extremal value of $F$. Nikiforov [J. Graph Theory 62 (2009) 362--368] gave the spectral Stability Lemma, which implies that for every $\varepsilon>0$, sufficiently large $n$ and a non-bipartite graph $H$ with chromatic number $χ(H)$, the extremal graph for ${\rm spex}(n,H)$ can be obtained from the Turán graph $T_{χ(H)-1}(n)$ by adding and deleting at most $\varepsilon n^2$ edges. It is still a challenging problem to determine the exact spectral extremal values of many non-bipartite graphs. Given a graph $F$ and an integer $p\geq 2$, the edge blow-up of $F$, denoted by $F^{p+1}$, is the graph obtained from replacing each edge in $F$ by a $K_{p+1}$ where the new vertices of $K_{p+1}$ are all distinct. In this paper, we determine the exact spectral extremal values of the edge blow-up of all non-bipartite graphs and provide the asymptotic spectral extremal values of the edge blow-up of all bipartite graphs for sufficiently large $n$, which can be seen as a spectral version of the theorem on ${\rm ex}(n,F^{p+1})$ given by Yuan [J. Combin. Theory Ser. B 152 (2022) 379--398]. As applications, on the one hand, we generalize several previous results on ${\rm spex}(n,F^{p+1})$ for $F$ being a matching and a star for $p\geq 3$. On the other hand, we obtain the exact values of ${\rm spex}(n,F^{p+1})$ for $F$ being a path, a cycle and a complete graph.
Parametric Matroid Interdiction
Published
• View Publication
• BIB
We introduce the parametric matroid one-interdiction problem. Given a matroid, each element of its ground set is associated with a weight that depends linearly on a real parameter from a given parameter interval. The goal is to find, for each parameter value, one element that, when being removed, maximizes the weight of a minimum weight basis. The complexity of this problem can be measured by the number of slope changes of the piecewise linear function mapping the parameter to the weight of the optimal solution of the parametric matroid one-interdiction problem. We provide two polynomial upper bounds as well as a lower bound on the number of these slope changes. Using these, we develop algorithms that require a polynomial number of independence tests and analyse their running time in the special case of graphical matroids.
Combinatorics of pruned Hurwitz numbers
Published
• View Publication
• BIB
Hurwitz numbers enumerate branched morphisms between Riemannn surfaces with fixed numerical data. They represent important objects in enumerative geometry that are accessible by combinatorial techniques. In the past decade, many variants of Hurwitz numbers have appeared in the literature. In this paper, we focus on an exciting such variant that arises naturally from the theory of topological recursion: Pruned Hurwitz numbers. These are defined as an enumeration of a relevant subset of branched morphisms between Riemann surfaces, that yield smaller numbers than their classical counterparts while retaining maximal information. Thus, pruned Hurwitz numbers may be viewed as the core of the Hurwitz problem. In this paper, we develop the combinatorial theory of pruned Hurwitz numbers. In particular, motivated by the successful application of combinatorial techniques to classical Hurwitz numbers, we derive two new combinatorial expressions of pruned Hurwitz numbers. Firstly, we show that they may be expressed in terms of Hurwitz mobiles which are tree-like structure that arise from the theory of random planar maps. Secondly, we prove a tropical correspondence theorem which allows the enumeration of pruned Hurwitz numbers in terms of tropical covers.
A Hall-type condition for path covers in bipartite graphs
Published
• View Publication
• BIB
Let $G$ be a bipartite graph with bipartition $(X,Y)$. Inspired by a hypergraph problem, we seek an upper bound on the number of disjoint paths needed to cover all the vertices of $X$. We conjecture that a Hall-type sufficient condition holds based on the maximum value of $|S|-|\mathsfΛ(S)|$, where $S\subseteq X$ and $\mathsfΛ(S)$ is the set of all vertices in $Y$ with at least two neighbors in $S$. This condition is also a necessary one for a hereditary version of the problem, where we delete vertices from $X$ and try to cover the remaining vertices by disjoint paths. The conjecture holds when $G$ is a forest, has maximum degree $3$, or is regular with high girth, and we prove those results in this paper.
The graphs of pyramids are determined by their spectrum
Published
• View Publication
• BIB
For natural numbers $k<n$ we study the graphs $T_{n,k}:=K_{k}\lor\overline{K_{n-k}}$. For $k=1$, $T_{n,1}$ is the star $S_{n-1}$. For $k>1$ we refer to $T_{n,k}$ as a \emph{graph of pyramids}. We prove that the graphs of pyramids are determined by their spectrum, and that a star $S_{n}$ is determined by its spectrum iff $n$ is prime. We also show that the graphs $T_{n,k}$ are completely positive iff $k\le2$.
The Six-Vertex Model with a Non-Standard Boundary Condition
We consider the enumeration of states in the Brubaker-Bump-Friedberg six-vertex model, whose boundary conditions are determined by an integer partition. In general, we find the number of states is a polynomial in the largest part of the partition. By explicating this technique, we also enumerate the states completely for hook shapes and staircases.
A Polynomial Upper Bound for Poset Saturation
Published
• View Publication
• BIB
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The induced saturation number of $\mathcal P$, denoted by $\text{sat}^*(n,\mathcal P)$, is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. In this paper we prove that the saturation number for any given poset grows at worst polynomially. More precisely, we show that $\text{sat}^*(n, \mathcal P)=O(n^c)$, where $c\leq|\mathcal{P}|^2/4+1$ is a constant depending on $\mathcal P$ only. We obtain this result by bounding the VC-dimension of our family.
On two conjectural series involving Riemann zeta function
Published
• View Publication
• BIB
Riemann zeta function is important in a lot of branches of number theory. With the help of the operator method and several transformation formulas for hypergeometric series, we prove four series involving Riemann zeta function. Two of them are series expansions for $ζ(7)$ and $ζ(3)^2$ recently conjectured by Z.-W. Sun.
Convolution formulas for multivariate arithmetic Tutte polynomials
Published
• View Publication
• BIB
The multivariate arithmetic Tutte polynomial of arithmetic matroids is a generalization of the multivariate Tutte polynomial of matroids. In this note, we give the convolution formulas for the multivariate arithmetic Tutte polynomial of the product of two arithmetic matroids. In particular, the convolution formulas for the multivariate arithmetic Tutte polynomial of an arithmetic matroid are obtained. Applying our results, several known convolution formulas including [5, Theorem 10.9 and Corollary 10.10] and [1, Theorems 1 and 4] are proved by a purely combinatorial proof. The proofs presented here are significantly shorter than the previous ones. In addition, we obtain a convolution formula for the characteristic polynomial of an arithmetic matroid.
The BCH Family of Storage Codes on Triangle-Free Graphs is of Unit Rate
Let $Γ$ be a simple connected graph on $n$ vertices, and let $C$ be a code of length $n$ whose coordinates are indexed by the vertices of $Γ$. We say that $C$ is a \textit{storage code} on $Γ$ if for any codeword $c \in C$, one can recover the information on each coordinate of $c$ by accessing its neighbors in $Γ$. The main problem here is to construct high-rate storage codes on triangle-free graphs. In this paper, we solve an open problem posed by Barg and Zémor in 2022, showing that the BCH family of storage codes is of unit rate. Furthermore, we generalize the construction of the BCH family and obtain more storage codes of unit rate on triangle-free graphs.
Star Coloring of Tensor Product of Two Graphs
Published
• View Publication
• BIB
A star coloring of a graph $G$ is a proper vertex coloring such that no path on four vertices is bicolored. The smallest integer $k$ for which $G$ admits a star coloring with $k$ colors is called the star chromatic number of $G$, denoted as $χ_s(G)$. In this paper, we study the star coloring of tensor product of two graphs and obtain the following results.
1. We give an upper bound on the star chromatic number of the tensor product of two arbitrary graphs.
2. We determine the exact value of the star chromatic number of tensor product two paths.
3. We show that the star chromatic number of tensor product of two cycles is five, except for $C_3 \times C_3$ and $C_3 \times C_5$.
4. We give tight bounds for the star chromatic number of tensor product of a cycle and a path.
An Elementary Proof of Stirling's Formula
Stirling's formula is a powerful asymptotic approximation of the factorial function. Many well-known proofs of this formula are grounded in integral calculus. In this paper, we present an alternative proof of Stirling's formula using only limits and the Wallis product.
On rainbow thresholds
Published
• View Publication
• BIB
Resolving a recent problem of Bell, Frieze, and Marbach, we establish both the threshold result of Frankston--Kahn--Narayanan--Park, and its strengthening by Spiro, in the rainbow setting. This has applications to the thresholds for rainbow structures in random graphs where each edge is given a uniformly random color from a set of given colors.
Asymptotic distribution of degree--based topological indices
Published in MATCH Commun. Math. Comput. Chem. 2023
• View Publication
• BIB
Topological indices play a significant role in mathematical chemistry. Given a graph $\mathcal{G}$ with vertex set $\mathcal{V}=\{1,2,\dots,n\}$ and edge set $\mathcal{E}$, let $d_i$ be the degree of node $i$. The degree-based topological index is defined as $\mathcal{I}_n=$ $\sum_{\{i,j\}\in \mathcal{E}}f(d_i,d_j)$, where $f(x,y)$ is a symmetric function. In this paper, we investigate the asymptotic distribution of the degree-based topological indices of a heterogeneous Erdős-Rényi random graph. We show that after suitably centered and scaled, the topological indices converges in distribution to the standard normal distribution. Interestingly, we find that the general Randić index with $f(x,y)=(xy)^τ$ for a constant $τ$ exhibits a phase change at $τ=-\frac{1}{2}$.
Strong Algebras and Radical Sylvester-Gallai Configurations
Published
• View Publication
• BIB
In this paper, we prove the following non-linear generalization of the classical Sylvester-Gallai theorem. Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$, and $\mathcal{F}=\{F_1,\cdots,F_m\} \subset \mathbb{K}[x_1,\cdots,x_N]$ be a set of irreducible homogeneous polynomials of degree at most $d$ such that $F_i$ is not a scalar multiple of $F_j$ for $i\neq j$. Suppose that for any two distinct $F_i,F_j\in \mathcal{F}$, there is $k\neq i,j$ such that $F_k\in \mathrm{rad}(F_i,F_j)$. We prove that such radical SG configurations must be low dimensional. More precisely, we show that there exists a function $λ: \mathbb{N} \to \mathbb{N}$, independent of $\mathbb{K},N$ and $m$, such that any such configuration $\mathcal{F}$ must satisfy
$$ \dim (\mathrm{span}_{\mathbb{K}}{\mathcal{F}}) \leq λ(d). $$
Our result confirms a conjecture of Gupta [Gup14, Conjecture 2] and generalizes the quadratic and cubic Sylvester-Gallai theorems of [S20,OS22]. Our result takes us one step closer towards the first deterministic polynomial time algorithm for the Polynomial Identity Testing (PIT) problem for depth-4 circuits of bounded top and bottom fanins. Our result, when combined with the Stillman uniformity type results of [AH20a,DLL19,ESS21], yields uniform bounds for several algebraic invariants such as projective dimension, Betti numbers and Castelnuovo-Mumford regularity of ideals generated by radical SG configurations.
Algebraic Enumeration of Polypolyhedra
Published
• View Publication
• BIB
Polypolyhedra are edge-transitive compounds of polyhedra. In this paper we use group theory to determine the number of distinct polypolyhedra whose symmetry group is any given finite irreducible Coxeter group. We apply this result in order to enumerate the 3-dimensional polypolyhedra.
Algorithmic study on $2$-transitivity of graphs
Published
• View Publication
• BIB
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \emph{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$. In this article, we study a variation of transitive partition, namely \emph{$2$-transitive partition}. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \emph{$2$-dominates} $B$ if every vertex of $B$ is adjacent to at least two vertices of $A$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{$2$-transitive partition} of size $k$ if $V_i$ $2$-dominates $V_j$ for all $1\leq i<j\leq k$. The \textsc{Maximum $2$-Transitivity Problem} is to find a $2$-transitive partition of a given graph with the maximum number of parts. We show that the decision version of this problem is NP-complete for chordal and bipartite graphs. On the positive side, we design three linear-time algorithms for solving \textsc{Maximum $2$-Transitivity Problem} in trees, split and bipartite chain graphs.
Strong transitivity of a graph
Published
• View Publication
• BIB
A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \emph{strongly dominates} $B$ if for every vertex $y\in B$, there exists a vertex $x\in A$, such that $xy\in E$ and $deg_G(x)\geq deg_G(y)$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{strong transitive partition} of size $k$ if $V_i$ strongly dominates $V_j$ for all $1\leq i<j\leq k$. The \textsc{Maximum Strong Transitivity Problem} is to find a strong transitive partition of a given graph with the maximum number of parts. In this article, we initiate the study of this variation of transitive partition from algorithmic point of view. We show that the decision version of this problem is NP-complete for chordal graphs. On the positive side, we prove that this problem can be solved in linear time for trees and split graphs.
Maker-Breaker domination game on Cartesian products of graphs
The Maker-Breaker domination game is played on a graph $G$ by two players, called Dominator and Staller. They alternately select an unplayed vertex in $G$. Dominator wins the game if he forms a dominating set while Staller wins the game if she claims all vertices from a closed neighborhood of a vertex.
The game is called \emph{D-game} if Dominator starts the game and it is an \emph{S-game} when Staller starts the game. If Dominator is the winner in the D-game (or the S-game), then $\gmb(G)$ (or $\gmb'(G)$) is defined by the minimum number of moves of Dominator to win the game under any strategy of Staller.
Analogously, when Staller is the winner, $\gsmb(G)$ and $\gsmb'(G)$ can be defined in the same way.
We determine the winner of the game on the Cartesian product of paths, stars, and complete bipartite graphs, and how fast the winner wins. We prove that Dominator is the winner on $P_m \square P_n$ in both the D-game and the S-game, and $\gmb(P_m \square P_n)$ and $\gmb'(P_m \square P_n)$ are determined when $m=3$ and $3 \le n \le 5$. Dominator also wins on $G \square H$ in both games if $G$ and $H$ admit nontrivial path covers. Furthermore, we establish the winner in the D-game and the S-game on $K_{m,n} \square K_{m',n'}$ for every positive integers $m, m',n,n'$.
We prove the exact formulas for $\gmb (G)$, $\gmb'(G)$, $\gsmb(G)$, and $\gsmb'(G)$ where $G$ is a product of stars.
A Characterization of State Transfer on Double Subdivided Stars
Published
• View Publication
• BIB
A subdivided star $SK_{1,l}$ is obtained by identifying exactly one pendant vertex from $l$ copies of the path $P_3.$ This study is on the existence of quantum state transfer on double subdivided star $T_{l,m}$ which is a pair of subdivided stars $SK_{1,l}$ and $SK_{1,m}$ joined by an edge to the respective coalescence vertices. Using the Galois group of the characteristic polynomial of $T_{l,m},$ we analyze the linear independence of its eigenvalues which uncovers no perfect state transfer in double subdivided stars when considering the adjacency matrix as the Hamiltonian of corresponding quantum system. Then we establish a complete characterization on double subdivided stars exhibiting pretty good state transfer.