graph
34516 papers tagged with this keyword
Connection Heat Kernel On Connection Lattices And Connection Discrete Torus
By the connection graph we mean an underlying weighted graph with a connection which associates edge set with an orthogonal group. This paper centers its investigation on the connection heat kernels on connection lattices and connection discrete torus. For one dimensional connection lattice, we derive the connection heat kernel expression by doing the Taylor expansion on the exponential function involving normalized connection Laplacian. We introduce a novel connection called product connection and prove that the connection heat kernel on arbitrary high dimensional lattice with product connection equals the Kronecker sum of one dimensional connection lattices' connection heat kernels. Furthermore, if the connection graph is consistent, we substantiate the interrelation between its connection heat kernel and its underlying graph's heat kernel. We define a connection called quotient connection such that discrete torus with quotient connection can be considered as a quotient graph of connection lattice, whose connection heat kernel is demonstrated to be the sum of connection lattices' connection heat kernels. In addition, we derive an alternative expression of connection heat kernel on discrete torus whenever its quotient connection is a constant connection, yielding an equation as a connection graph's trace formula.
Metric dimensions of generalized Sierpiński graphs over squares
Published in Appl. Math. Comput. 505 (2025) Paper 129528, 10 pp
• View Publication
• BIB
Metric dimension is a valuable parameter that helps address problems related to network design, localization, and information retrieval by identifying the minimum number of landmarks required to uniquely determine distances between vertices in a graph. Generalized Sierpiński graphs represent a captivating class of fractal-inspired networks that have gained prominence in various scientific disciplines and practical applications. Their fractal nature has also found relevance in antenna design, image compression, and the study of porous materials. The hypercube is a prevalent interconnection network architecture known for its symmetry, vertex transitivity, regularity, recursive structure, high connectedness, and simple routing. Various variations of hypercubes have emerged in literature to meet the demands of practical applications. Sometimes, they are the spanning subgraphs of it. This study examines the generalized Sierpiński graphs over $C_4$, which are spanning subgraphs of hypercubes and determines the metric dimension and their variants. This is in contrast to hypercubes, where these properties are inherently complicated. Along the way, the role of twin vertices in the theory of metric dimensions is further elaborated.
Ore-type conditions for existence of a jellyfish in a graph
The famous Dirac's Theorem states that for each $n\geq 3$ every $n$-vertex graph $G$ with minimum degree $δ(G)\geq n/2$ has a hamiltonian cycle. When $δ(G)< n/2$, this cannot be guaranteed, but the existence of some other specific subgraphs can be provided. Gargano, Hell, Stacho and Vaccaro proved that every connected $n$-vertex graph $G$ with $δ(G)\geq (n-1)/3$ contains a spanning {\em spider}, i.e., a spanning tree with at most one vertex of degree at least $3$. Later, Chen, Ferrara, Hu, Jacobson and Liu proved the stronger (and exact) result that for $n\geq 56$ every connected $n$-vertex graph $G$ with $δ(G)\geq (n-2)/3$ contains a spanning {\em broom}, i.e., a spanning spider obtained by joining the center of a star to an endpoint of a path. They also showed that a $2$-connected graph $G$ with $δ(G)\geq (n-2)/3$ and some additional properties contains a spanning {\em jellyfish} which is a graph obtained by gluing the center of a star to a vertex in a cycle disjoint from that star. Note that every spanning jellyfish contains a spanning broom.
The goal of this paper is to prove an exact Ore-type bound which guarantees the existence of a spanning jellyfish: We prove that if $G$ is a $2$-connected graph on $n$ vertices such that every non-adjacent pair of vertices $(u,v)$ satisfies $d(u) + d(v) \geq \frac{2n-3}{3}$, then $G$ has a spanning jellyfish. As corollaries, we obtain strengthenings of two results by Chen et al.: a minimum degree condition guaranteeing the existence of a spanning jellyfish, and an Ore-type sufficient condition for the existence of a spanning broom. The corollaries are sharp for infinitely many $n$. One of the main ingredients of our proof is a modification of the Hopping Lemma due to Woodall.
Positivity preservers over finite fields
Published in J. Algebra 684 (2025), 479-523
• View Publication
• BIB
We resolve an algebraic version of Schoenberg's celebrated theorem [Duke Math.J., 1942] characterizing entrywise matrix transforms that preserve positive definiteness. Compared to the classical real and complex settings, we consider matrices with entries in a finite field and obtain a complete characterization of such preservers for matrices of a fixed dimension. When the dimension of the matrices is at least $3$, we prove that, surprisingly, the positivity preservers are precisely the positive multiples of the field's automorphisms. We also obtain characterizations of preservers for matrices of dimension $2$ over a finite field with $q$ elements, unless $q \equiv 1 \pmod 4$ and $q$ is not a square. Our proofs build on several novel connections between positivity preservers and field automorphisms via the works of Weil, Carlitz, and Muzychuk-Kovács, and via the structure of cliques in Paley graphs.
Sparsity of 3-flow critical graphs
A connected graph G is 3-flow-critical if G does not have a nowhere-zero 3-flow, but every proper contraction of G does. We prove that every n-vertex 3-flow-critical graph other than K_2 and K_4 has at least 5n/3 edges. This bound is tight up to lower-order terms, answering a question of Li et al. (2022). It also generalizes the result of Koester (1991) on the maximum average degree of 4-critical planar graphs.
Bi-eulerian embeddings of graphs and digraphs
In 1965 Edmonds showed that every eulerian graph has a bi-eulerian embedding, i.e., an embedding with exactly two faces, each bounded by an euler circuit. We refine this result by giving conditions for a graph to have a bi-eulerian embedding that is specifically orientable or nonorientable. We give connections to the maximum genus problem for directed embeddings of digraphs, in which every face is bounded by a directed circuit. Given an eulerian digraph $D$ with all vertices of degree 2 mod 4 and a directed euler circuit $T$ of $D$, we show that $D$ has an orientable bi-eulerian directed embedding with one of the faces bounded by $T$; this is a maximum genus directed embedding. This result also holds when $D$ has exactly two vertices of degree $0$ mod $4$, provided they are interlaced by $T$. More generally, if $D$ has $\ell$ vertices of degree 0 mod 4, we can find an orientable directed embedding with a face bounded by $T$ and with at most $\ell+1$ other faces. We show that given an eulerian graph $G$ and a circuit decomposition $C$ of $G$, there is an nonorientable embedding of $G$ with the elements of $C$ bounding faces and with one additional face bounded by an euler circuit, unless every block of $G$ is a cycle and $C$ is the collection of cycles of $G$. In particular, every eulerian graph that is not edgeless or a cycle has a nonorientable bi-eulerian embedding with a given euler circuit $T$ bounding one of the faces. Polynomial-time algorithms giving the specified embeddings are implicit in our proofs.
Constructing segments of quadratic length in $Spec(T_n)$ through segments of linear length
A Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group $Sym_n$ generated by all transpositions. It is known that the spectrum of $T_n$ consists of integers, but it is not known exactly how these numbers are distributed. In this paper we prove that integers from the segment $[-n, n]$ lie in the spectrum of $T_n$ for any $n\geqslant 31$. Using this fact we also prove the main result of this paper that a segment of quadratic length with respect to $n$ lies in the spectrum of $T_n$.
The slope of v-function and Waldschmidt constant
In this paper, we study the asymptotic behaviour of the v-number of a Noetherian graded filtration $\mathcal{I}= \{I_{[k]}\}_{k\geq 0}$ of a Noetherian $\mathbb{N}$-graded domain $R$. Recently, it is shown that $\mathrm{v}(I_{[k]})$ is periodically linear in $k$ for $k \gg 0$. We show that all these linear functions have the same slope, i.e. $\displaystyle \lim_{k \rightarrow \infty}\frac{\mathrm{v}(I_{[k]})}{k}$ exists, which is equal to $\displaystyle \lim_{k \rightarrow \infty}\frac{α(I_{[k]})}{k}$, where $α(I)$ denotes the minimum degree of a non-zero element in $I$. In particular, for any Noetherian symbolic filtration $\mathcal{I}= \{I^{(k)}\}_{k\geq 0}$ of $R$, it follows that $\displaystyle \lim_{k \rightarrow \infty}\frac{\mathrm{v}(I^{(k)})}{k}=\hatα(I)$, the Waldschmidt constant of $I$. Next, for a non-equigenerated square-free monomial ideal $I$, we prove that $\mathrm{v}(I^{(k)}) \leq \mathrm{reg}(R/I^{(k)})$ for $k\gg 0$. Also, for an ideal $I$ having the symbolic strong persistence property, we give a linear upper bound on $\mathrm{v}(I^{(k)})$. As an application, we derive some criteria for a square-free monomial ideal $I$ to satisfy $\mathrm{v}(I^{(k)})\leq \mathrm{reg}(R/I^{(k)})$ for all $k\geq 1$, and provide several examples in support. In addition, for any simple graph $G$, we establish that $\mathrm{v}(J(G)^{(k)}) \leq \mathrm{reg}(R/J(G)^{(k)})$ for all $k \geq 1$, and $\mathrm{v}(J(G)^{(k)}) = \mathrm{reg}(R/J(G)^{(k)})=α(J(G)^{(k)})-1$ for all $k\geq 1$ if and only if $G$ is a Cohen-Macaulay very-well covered graph, where $J(G)$ is the cover ideal of $G$.
Paint cost spectrum of perfect $k$-ary trees
We determine the paint cost spectrum for perfect $k$-ary trees.
A coloring of the vertices of a graph $G$ with $d$ colors is said to be \emph{$d$-distinguishing} if only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number of $G$ and is denoted $\mbox{dist}(G).$ The \emph{paint cost of $d$-distinguishing $G$}, denoted $ρ^d(G)$, is the minimum size of the complement of a color class over all $d$-distinguishing colorings. A subset $S$ of the vertices of $G$ is said to be a \emph{fixing set} for $G$ if the only automorphsim that fixes the vertices in $S$ pointwise is the trivial automorphism. The cardinality of a smallest fixing set is denoted $\mbox{fix}(G)$. In this paper, we explore the breaking of symmetry in perfect $k$-ary trees by investigating what we define as the \emph{paint cost spectrum} of a graph $G$: $(\mbox{dist}(G); ρ^{\mbox{dist}(G)}(G), ρ^{\mbox{dist}(G)+1}(G), \dots, ρ^{\mbox{fix}(G)+1}(G))$ and the \emph{paint cost ratio} of $G$, which is defined to be the fraction of paint costs in the paint cost spectrum equal to $\mbox{fix}(G)$. We determine both the paint cost spectrum and the paint cost ratio completely for perfect $k$-ary trees.
We also prove a lemma that is of interest in its own right: given an $n$-tuple, $n \geq 2$ of distinct elements of an ordered abelian group and $1 \leq k \leq n! -1$, there exists a $k \times n$ row permuted matrix with distinct column sums.
Nonexistence of certain edge-girth-regular graphs
Edge-girth-regular graphs (abbreviated as \emph{egr} graphs) are regular graphs in which every edge is contained in the same number of shortest cycles. We prove that there is no $3$-regular \emph{egr} graph with girth $7$ such that every edge is on exactly $6$ shortest cycles, and there is no $3$-regular \emph{egr} graph with girth $8$ such that every edge is on exactly $14$ shortest cycles. This was conjectured by Goedgebeur and Jooken. A few other unresolved cases are settled as well.
Reinforcement learning for graph theory, II. Small Ramsey numbers
We describe here how the recent Wagner's approach for applying reinforcement learning to construct examples in graph theory can be used in the search for critical graphs for small Ramsey numbers. We illustrate this application by providing lower bounds for the small Ramsey numbers $R(K_{2,5}, K_{3,5})$, $R(B_3, B_6)$ and $R(B_4, B_5)$ and by improving the lower known bound for $R(W_5, W_7)$.
A general method to find the spectrum and eigenspaces of the $k$-token of a cycle, and 2-token through continuous fractions
The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper, we propose a general method to find the spectrum and eigenspaces of the $k$-token graph $F_k(C_n)$ of a cycle $C_n$. The method is based on the theory of lift graphs and the recently introduced theory of over-lifts. In the case of $k=2$, we use continuous fractions to derive the spectrum and eigenspaces of the 2-token graph of $C_n$.
Portfolio management using graph centralities: Review and comparison
We investigate an application of network centrality measures to portfolio optimization, by generalizing the method in [Pozzi, Di Matteo and Aste, \emph{Spread of risks across financial markets: better to invest in the peripheries}, Scientific Reports 3:1665, 2013], that however had significant limitations with respect to the state of the art in network theory. In this paper, we systematically compare many possible variants of the originally proposed method on S\&P 500 stocks. We use daily data from twenty-seven years as training set and their following year as test set. We thus select the best network-based methods according to different viewpoints including for instance the highest Sharpe Ratio and the highest expected return. We give emphasis in new centrality measures and we also conduct a thorough analysis, which reveals significantly stronger results compared to those with more traditional methods. According to our analysis, this graph-theoretical approach to investment can be used successfully by investors with different investment profiles leading to high risk-adjusted returns.
A coarse Tutte polynomial for hypermaps
We give an analogue of the Tutte polynomial for hypermaps. This polynomial can be defined as either a sum over subhypermaps, or recursively through deletion-contraction reductions where the terminal forms consist of isolated vertices. Our Tutte polynomial extends the classical Tutte polynomial of a graph as well as the Tutte polynomial of an embedded graph (i.e., the ribbon graph polynomial), and it is a specialization of the transition polynomial via a medial map transformation. We give hypermap duality and partial duality identities for our polynomial, as well as some evaluations, and examine relations between our polynomial and other hypermap polynomials.
Distinguishing Polynomials of Graphs
For a graph $G$, a $k$-coloring $c:V(G)\to \{1,2,\ldots, k\}$ is called distinguishing, if the only automorphism $f$ of $G$ with the property $c(v)=c(f(v))$ for every vertex $v\in G$ (color-preserving automorphism), is the identity. In this paper, we show that the number of distinguishing $k$-colorings of $G$ is a monic polynomial in $k$, calling it the distinguishing polynomial of $G$. Furthermore, we compute the distinguishing polynomials of cycles and complete multipartite graphs. We also show that the multiplicity of zero as a root of the distinguishing polynomial of $G$ is at least the number of orbits of $G$.
On the $k$-anti-traceability Conjecture
An oriented graph is called $k$-anti-traceable if the subdigraph induced by every subset with $k$ vertices has a hamiltonian anti-directed path. In this paper, we consider an anti-traceability conjecture. In particular, we confirm this conjecture holds when $k\leq 4$. We also show that every sufficiently large $k$-anti-traceable oriented graph admits an anti-path that contains $n-o(n)$ vertices.
On reduced unicellular hypermonopoles
The problem of counting unicellular hypermonopoles by the number of their hyperedges is equivalent to describing the cycle length distribution of a product of two circular permutations, first solved by Zagier. The solution of this problem has also been used in the study of the cycle graph model of Bafna and Pevzner and of related models in mathematical biology. In this paper we develop a method to compute the finite number of reduced unicellular hypermonopoles of a given genus. The problem of representing any hypermap as a drawing is known to be simplifiable to solving the same problem for reduced unicellular hypermonopoles. We also outline a correspondence between our hypermap model, the cycle graph model of Bafna and Pevzner, and the polygon gluing model of Alexeev and Zograf. Reduced unicellular hypermonopoles correspond to reduced objects in the other models as well, and the notion of genus is the same.
$q$-Chromatic polynomials
We introduce and study a $q$-version of the chromatic polynomial of a given graph $G=(V,E)$, namely, \[ χ_G^λ(q,n) \ := \sum_{\substack{\text{proper colorings}\\ c\,:\,V\to[n]}} q^{ \sum_{ v \in V } λ_v c(v) }, \] where $λ\in \mathbb{Z}^V$ is a fixed linear form. Via work of Chapoton (2016) on $q$-Ehrhart polynomials, $χ_G^λ(q,n)$ turns out to be a polynomial in the $q$-integer $[n]_q$, with coefficients that are rational functions in $q$. Additionally, we prove structural results for $χ_G^λ(q,n)$ and exhibit connections to neighboring concepts, e.g., chromatic symmetric functions and the arithmetic of order polytopes. We offer a strengthened version of Stanley's conjecture that the chromatic symmetric function distinguishes trees, which leads to an analogue of $P$-partitions for graphs.
Refining tree-decompositions so that they display the k-blocks
Carmesin and Gollin proved that every finite graph has a canonical tree-decomposition $(T, \mathcal{V})$ of adhesion less than $k$ that efficiently distinguishes every two distinct $k$-profiles, and which has the further property that every separable $k$-block is equal to the unique part of $(T, \mathcal{V})$ in which it is contained.
We give a shorter proof of this result by showing that such a tree-decomposition can in fact be obtained from any canonical tight tree-decomposition of adhesion less than $k$. For this, we decompose the parts of such a tree-decomposition by further tree-decompositions. As an application, we also obtain a generalization of Carmesin and Gollin's result to locally finite graphs.
Piercing independent sets in graphs without large induced matching
Given a graph $G$, denote by $h(G)$ the smallest size of a subset of $V(G)$ which intersects every maximum independent set of $G$. We prove that any graph $G$ without induced matching of size $t$ satisfies $h(G)\le ω(G)^{3t-3+o(1)}$. This resolves a conjecture of Hajebi, Li and Spirkl (Hitting all maximum stable sets in $P_{5}$-free graphs, JCTB 2024).