Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Burning games on strong path products
Burning and cooling are diffusion processes on graphs in which burned (or cooled) vertices spread to their neighbors with a new source picked at discrete time steps. In burning, the one tries to burn the graph as fast as possible, while in cooling one wants to delay cooling as long as possible.
We consider $d$-fold strong products of paths, which generalize king graphs. The propagation of these graphs is radial, and models local spread of contagion in an arbitrary number of dimensions. We reduce the problem to a geometric tiling problem to obtain a bound for the burning number of a strong product of paths by a novel use of an Euler-Maclaurin formula, which is sharp under certain number theoretic conditions.
Additionally, we consider liminal burning, which is a two-player perfect knowledge game played on graphs related to the effectiveness of controlled spread of contagion throughout a network. We introduce and study the number $k^*$, the smallest $k$ such that $b_{k}(G) = b(G)$.
The unavoidable drawings of complete multipartite graphs
In a simple drawing of a graph every pair of edges intersect each other in at most one point, which is either a common endvertex or a proper crossing. For each positive integer $n$, Negami identified a drawing $B_n$ of the complete bipartite graph $K_{n,n}$, and proved that if $N$ is sufficiently large, then every drawing of $K_{N,N}$ contains a drawing of $K_{n,n}$ weakly isomorphic to $B_n$. Thus $B_n$ is (up to weak isomorphism) the only {\em unavoidable} drawing of $K_{n,n}$. We extend this result to complete multipartite graphs, characterizing their unavoidable drawings.
Universal perspectives on irredundance for X-set parameters
Universal definitions of irredundance for X-set parameters are presented using blocking sets. This approach is modeled on (domination) irredundance (which uses closed neighborhoods as blocking sets) and zero forcing irredundance (which uses forts). Results include a chain of inequalities between irredundance parameters and original parameters and the isomorphism theorem for TAR reconfiguration graphs of many irredundance parameters. These results are then applied to PSD forcing irredundance and vertex cover irredundance; the chain of inequalities also applies to skew forcing irredundance. The upper vertex cover irredundance number becomes part of the Domination Chain used in the study of (domination) irredundance. Based on the propagation processes involved in forcing, an alternate universal theory of irredundance is developed using closure operators.
Curvature of basis exchange walks
We prove both lower and upper bounds on the Ollivier-Ricci curvature of the basis exchange walk on a matroid. We give several examples of non-negatively curved basis exchange walks and negatively curved basis exchange walks.
Cops and robbers on chess graphs
Cops and robbers is a pursuit-evasion game played on graphs. We completely classify the cop numbers for $n \times n$ knight graphs and queen graphs. This completes the classification of the cop numbers for all $n \times n$ classical chess graphs. As a corollary, we resolve an open problem about the monotonicity of $c$($\mathcal{Q}_n$). Moreover, we introduce \emph{royal graphs}, a generalization of chess graphs for arbitrary piece movements, which models real-life movement constraints. We give results on the cop numbers for these families.
Strong chordality in tournaments and multipartite tournaments with possible loops
Strongly chordal digraphs are included in the class of chordal digraphs and generalize strongly chordal graphs and chordal bipartite graphs. They are the digraphs that admit a linear ordering of its vertex set for which their adjacency matrix does not contain the $Γ$ matrix as a submatrix. In general, it is not clear if these digraphs can be recognized in polynomial time. We focus on multipartite tournaments with possible loops. We give a polynomial-time recognition algorithm and a forbidden induced subgraph characterization of the strong chordality for each of the following cases: tournaments with possible loops, reflexive multipartite tournaments, irreflexive bipartite tournaments, irreflexive tournaments minus one arc, and balanced digraphs.
In addition, we prove that in a strongly chordal digraph the minimum size of a total dominating set equals the maximum number of disjoint in-neighborhoods, and this number can be calculated in linear time given a $Γ$-free ordering of the input graph.
Decomposition of Cliques into $k$-Star-Forests
A $k$-star-forest is a forest with at most $k$ connected components where each component is a star. Let $F_k(n)$ be the minimum integer such that the complete graph on $n$ vertices can be decomposed into $F_k(n)$ $k$-star-forests. Pach, Saghafian and Schnider showed that $F_2(n)=\lceil 3n/4 \rceil$. In this paper, we show that $F_3(n)=5n/9$ when $n$ is a multiple of 27. Further, for $k\ge 4$, we show that $F_k(n)=n/2+2$ when $n>2k$ and $n\equiv 4 \pmod{12}$. Our results disprove a conjecture of Pach, Saghafian and Schnider.
Spectral extrema of graphs of given even size forbidding H(4,3)
A graph is sad to be $H$-free if it does not contain $H$ as a subgraph. Let $H(k,3)$ be the graph formed by taking a cycle of length $k$ and a triangle on a common vertex. Li, Lu and Peng [Discrete Math. 346 (2023) 113680] proved that if $G$ is an $H(3,3)$-free graph of size $m \geq 8$, then the spectral radius $ρ(G) \leq \frac{1+\sqrt{4 m-3}}{2}$ with equality if and only if $G \cong S_{\frac{m+3}{2}, 2}$, where $S_{\frac{m+3}{2}, 2}=K_2 \vee \frac{m-1}{2}K_1$. Note that the bound is attainable only when $m$ is odd. Recently, Pirzada and Rehman [Comput. Appl. Math. 44 (2025) 295] proved that if $G$ is an $\{H(3,3),H(4,3)\}$-free graph of even size $m \geq 10$, then $ρ(G) \leq ρ^{\prime}(m)$ with equality if and only if $G \cong S_{\frac{m+4}{2}, 2}^{-}$, where $ρ^{\prime}(m)$ is the largest root of $x^4-m x^2-(m-2) x+\frac{m}{2}-1=0$, and $S_{\frac{m+4}{2}, 2}^{-}$ is the graph obtained from $S_{\frac{m+4}{2}, 2}$ by deleting an edge incident to a vertex of degree two. In this paper, we improve the result of Pirzada and Rehman by showing that if $G$ is an $H(4,3)$-free graph of even size $m \geq 38$ without isolated vertices, then $ρ(G) \leq ρ^{\prime}(m)$ with equality if and only if $G \cong S_{\frac{m+4}{2}, 2}^{-}$.
A formula for the Jack super nabla operator
Published
• View Publication
• BIB
We study a Jack analog $\nabla(\mathbf{p},\mathbf{q})$ of the super nabla operator recently introduced by Bergeron, Haglund, Iraci and Romero for Macdonald polynomials. We prove that $\nabla(\mathbf{p},\mathbf{q})$ has a differential expression in the power-sum basis given in terms of Chapuy--Dołe\k{}ga and Nazarov--Sklyanin operators.
This result is obtained from a more general formula for the operator $G(\mathbf{p},\mathbf{q})$ encoding the structure coefficients of Jack characters, from which $\nabla(\mathbf{p},\mathbf{q})$ is obtained by taking the top homogeneous part.
A key step of the proof involves establishing that Chapuy--Dołe\k{}ga operators together with a dehomogenized version of Nazarov--Sklyanin operators have a Heisenberg algebra structure. The proof also uses a characterization of the operator $G(\mathbf{p},\mathbf{q})$ with a family of differential equations, recently established by the author.
Semigroup rings and algebraically independent sequences with respect to idempotents in commutative semigroups
For any finite abelian group $G$ and commutative unitary ring $R$, by $R[G]$ we denote the group algebra over $R$. Let $T=(g_1,\ldots,g_{\ell})$ be a sequence over the group $G$. We say $T$ is algebraically zero-sum free over R if $\prod\limits_{i=1}^r(X^{g_i}-a_i)\neq 0\in R[G]$ for all $a_1,\ldots,a_{\ell}\in R\setminus \{0\}$. Let $d(G,R)={\rm sup}\{|T|: T \mbox{ is an algebraically zero-sum free sequence over } R \mbox{ of terms from }G\}.$ This invariant of the group algebra $R[G]$ plays a powerful role in the research for the zero-sum theory. In this paper, we generalize this invariant to the semigroup algebra $R[S]$ for a commutative periodic semigroup $S$. We give the best possible lower and upper bounds for $d(S,R)$ for a general commutative periodic semigroup $S$. In case that $K$ is a field, and $S$ is a finite commutative semigroup, we give more precise result, including the equality for Clifford semigroups, Archimedean semigroups and elementary semigroups, which covers all types of irreducible components associated with the semilattice decomposition and the subdirect product decomposition of a commutative semigroup. Also, the invariant $d(S,K)$ was applied to the study of some zero-sum invariants in semigroups. One conjecture on the equality for $d(S,K)$ in case $K$ is an algebraically closed field of characteristic zero was proposed which has been also partially affirmed in this paper.
Doubly Stochastic Matrices and Modified Laplacian Matrices of Graphs
Published
• View Publication
• BIB
We consider modified Laplacian matrices of graphs, obtained by adding the identity matrix to the Laplacian matrix $L_G$ of a graph $G$. This results in a positive definite matrix $\tilde{L}_G$. The inverse of $\tilde{L}_G$ is a doubly stochastic matrix. The goal of this paper is to investigate this inverse matrix and how it depends on properties of the underlying graph $G$. In particular, we introduce a general monotonicity property for the entries of the inverse, and derive a sharper version for the case of path graphs. Finally, we show that, in the case of a path graph, the entries of the inverse can be expressed in terms of Fibonacci numbers via an $LU$ factorization. We also establish a lower bound for the diagonal entries of this inverse for a tree as a function of the distances between vertices. Furthermore, we present a simple and efficient algorithm for computing the inverse when the graph is a tree. Moreover, for a general graph, we show that the diagonal entries of this inverse is strictly largest in each row and column. Finally, we discuss a connection to partial differential equations, such as the heat equation.
Monophonic number of Kneser graphs and strongly 2-monophonic graphs
Given a graph $G$ a set $S\subset V(G)$ is called monophonic if every vertex in $G$ lies on some induced path between two vertices in $S$. The monophonic number, $m(G)$, of $G$, which is the smallest cardinality of a monophonic set in $G$, has been studied from various perspectives. In this paper, we establish $m(K(n,r))$ for all Kneser graphs $K(n,r)$, where $n\ge 2r$. In addition, when $r\ge 3$, we prove an even stronger property, notably that every pair of non-adjacent vertices in $K(n,r)$ forms a monophonic set. We call the graphs satisfying this property strongly $2$-monophonic graphs. We present several (sufficient and necessary) conditions for a graph to be strongly $2$-monophonic, and prove that the Cartesian product of any two strongly $2$-monophonic graphs is also such. Besides non-complete Hamming graphs, we also prove that every Johnson graph is strongly $2$-monophonic, whereas chordal graphs, with the exception of the graphs $K_n-e$, do not enjoy this property.
The bunkbed problem and the random cluster model
The well known bunkbed conjecture about percolation on finite graphs is now resolved; Gladkov, Pak and Zimin, building upon work of Hollom, have constructed a counterexample. We revisit this conjecture and study it in the broader context of the class of random cluster measures. We show that the major partial (positive) results on the bunkbed conjecture can also be proved for all random cluster measures, including the results for complete graphs, complete bipartite graphs, and the case when $p \uparrow 1$.
The arboreal gas measure for forests is another limit of the random cluster measure for which we conjecture the inequality to be true and provide proofs in special cases. We identify a setting where the conjecture does hold, that of ``almost spanning tree measures''. A further analysis leads to intriguing correlation inequalities that complement Rayleigh's inequalities for spanning tree measures.
Perfect t-Embeddings of Uniformly Weighted Generalized Tower Graphs
In this paper, we study sequences of perfect t-embeddings of a uniformly weighted family of graphs we call generalized tower graphs. We show that the embeddings of these graphs satisfy certain technical assumptions, in particular, the rigidity assumption of Berggren-Nicoletti-Russkikh. As a result, we confirm the convergence of the gradients of the height function fluctuations of these graphs to those of the Gaussian free field.
Pair state transfer in tensor product and double cover
Published
• View Publication
• BIB
Quantum state transfer, first introduced by Bose in 2003, is an important physical phenomenon in quantum networks, which plays a vital role in quantum communication and quantum computing. In 2004, Christandl et al. proposed the concept of perfect state transfer on graphs by modeling the quantum network using graphs, and unveiled the feasibility of applying graph theory to quantum state transfer. In 2018, Chen and Godsil proposed the definition of Laplacian perfect pair state transfer on graphs, which is a brilliant generalization of perfect state transfer. In this paper, we investigate the existence of Laplacian perfect pair state transfer in tensor product and double cover of two regular graphs, respectively, and reveal fundamental connections between perfect state transfer and Laplacian perfect pair state transfer. We give necessary and sufficient conditions for the tensor product of two regular graphs to admit Laplacian perfect pair state transfer, where one of the two regular graphs admits perfect state transfer or Laplacian perfect pair state transfer. Additionally, we characterize the existence of Laplacian perfect pair state transfer in the double cover of two regular graphs. By our results, a variety of families of graphs admitting Laplacian perfect pair state transfer can be constructed.
Covering rings by proper ideals
Published
• View Publication
• BIB
Let $R$ be an associative (not necessarily commutative or unital) ring. A cover by left ideals of $R$ is a collection of proper left ideals whose set-theoretic union equals $R$. If such a cover exists, we define the left ideal covering number $η_\ell(R)$ to be the cardinality of a minimal cover, and we also define $R$ to be $η_\ell$-elementary if $η_\ell(R) < η_\ell(R/I)$ for every nonzero two-sided ideal $I$ of $R$. Similarly, we can define analogous notions for covers by right ideals $η_r(R)$ and two-sided ideals $η(R)$. In this paper, we classify all $η_\ell$-, $η_r$-, and $η$-elementary rings, and determine their corresponding ideal covering numbers. Since any ring $R$ that admits a finite cover by left ideals has an $η_\ell$-elementary residue ring $R/I$ such that $η_\ell(R) = η_\ell(R/I)$, this completely characterizes such rings and their ideal covering numbers, and likewise for rings coverable by right or two-sided ideals.
Direct Paths in the Temporal Hypercube
We consider the $n$-dimensional random temporal hypercube, i.e., the $n$-dimensional hypercube graph with its edges endowed with i.i.d. continuous random weights. We say that a vertex $w$ is accessible from another vertex $v$ if and only if there is a path from $v$ to $w$ with increasing edge weights. We study accessible "direct" paths from a fixed vertex to its antipodal point and show that as $n \to \infty$, the number of such paths converges in distribution to a mixed Poisson law with mixture given by the product of two independent exponentials with rate $1$. Our proof makes use of the Chen-Stein method, coupling arguments, as well as combinatorial arguments which show that typical pairs of accessible paths have small overlap.
Extending total colorings in planar graphs
We initiate the study of total-coloring extensions, and focus our attention on planar graphs, asking: ``When can a total-$k$-coloring of some subgraph $H$ of a planar graph $G$ be extended to a total-$k$-coloring of $G$?'' We prove that if $H$ is a matching, then any total-$(Δ+3)$-coloring of $H$ in $G$ extends to $G$ provided $Δ\geq 28$; this number of colors is best-possible without introducing a distance condition on $H$. We also prove that if $H$ is a set of distance-3 cliques then any total-$(Δ+1)$-coloring of $H$ extends to $G$ provided $Δ\geq 27$; this distance condition cannot be lowered.
Tight eigenvalue bound on the traveling salesman problem
A lower bound on the solution to the traveling salesman problem is provided, which is expressed in terms of eigenvalues related to the distance matrix for the problem. This bound has many interesting properties such as transforming appropriately under affine distance transformations and is notably tight for various families of traveling salesman problems with arbitrarily many cities. It is also computed for some real world traveling salesman problems. The eigenvalues in the bound are further related to the Schoenberg criterion from Euclidean geometry. Graph theoretic applications to the Hamiltonian cycle and path problems are given by the fact that the new bound entails necessary graph eigenvalue conditions for a graph to be Hamiltonian or traceable. Various non-trivial families of Cayley graphs saturate these Hamiltonicity conditions, thus in a sense providing almost counterexamples to the famous conjecture that all Cayley graphs are Hamiltonian.
Meanders and Dyck-Path Billiards
Published in RAIRO-Theor. Inf. Appl., 59 (2025) 3
• View Publication
• BIB
We study a statistic $\mathsf{traj}$ on the ordered pairs $(P,Q)$ of Dyck paths of size $n$, which counts the number of billiard trajectories in the grid polygon enclosed by $P$ and $-Q$, where $-Q$ is the path obtained by reflecting $Q$ over the ground line. It turns out to coincide with the component statistic of meanders. In terms of grid polygon, we establish an involution on the set of such ordered pairs $(P,Q)$ which either increases or decreases $\mathsf{traj}(P,Q)$ by 1. This proves a result by Di Francesco--Golinelli--Guitter that the numbers of semimeanders (meanders, respectively) of order $n$ with even and odd numbers of components are equal if $n$ is even and differ by a Catalan number (the square of a Catalan number, respectively) if $n$ is odd. Some results about $(-1)$-evaluation of the generating functions for the statistic $\mathsf{traj}$ on restricted sets of Dyck paths are also presented.