graph
35299 papers tagged with this keyword
Exploring the space of graphs with fixed discrete curvatures
Published
• View Publication
• BIB
Discrete curvatures are quantities associated to the nodes and edges of a graph that reflect the local geometry around them. These curvatures have a rich mathematical theory and they have recently found success as a tool to analyze networks across a wide range of domains. In this work, we consider the problem of constructing graphs with a prescribed set of discrete edge curvatures, and explore the space of such graphs. We address this problem in two ways: first, we develop an evolutionary algorithm to sample graphs with discrete curvatures close to a given set. We use this algorithm to explore how other network statistics vary when constrained by the discrete curvatures in the network. Second, we solve the exact reconstruction problem for the specific case of Forman-Ricci curvature. By leveraging the theory of Markov bases, we obtain a finite set of rewiring moves that connects the space of all graphs with a fixed discrete curvature.
Weakly toll convexity in graph products
Published
• View Publication
• BIB
The exploration of weakly toll convexity is the focus of this investigation. A weakly toll walk is any walk $W: u, w_1, \ldots , w_{k-1}, v$ between $u$ and $v$ such that $u$ is adjacent only to the vertex $w_1$, which can appear more than once in the walk, and $v$ is adjacent only to the vertex $w_{k-1}$, which can appear more than once in the walk. Through an examination of general graphs and an analysis of weakly toll intervals in both lexicographic and (generalized) corona product graphs, precise values of the weakly toll number for these product graphs are obtained. Notably, in both instances, the weakly toll number is constrained to either 2 or 3. Additionally, the determination of the weakly toll number for the Cartesian and the strong product graphs is established through previously established findings in toll convexity theory. Lastly for all graph products examined within our scope, the weakly toll hull number is consistently determined to be 2.
Lower Bounds for Leaf Rank of Leaf Powers
Leaf powers and $k$-leaf powers have been studied for over 20 years, but there are still several aspects of this graph class that are poorly understood. One such aspect is the leaf rank of leaf powers, i.e. the smallest number $k$ such that a graph $G$ is a $k$-leaf power. Computing the leaf rank of leaf powers has proved a hard task, and furthermore, results about the asymptotic growth of the leaf rank as a function of the number of vertices in the graph have been few and far between. We present an infinite family of rooted directed path graphs that are leaf powers, and prove that they have leaf rank exponential in the number of vertices (utilizing a type of subtree model first presented by Rautenbach [Some remarks about leaf roots. Discrete mathematics, 2006]). This answers an open question by Brandstädt et al. [Rooted directed path graphs are leaf powers. Discrete mathematics, 2010].
Polynomial-time approximation schemes for induced subgraph problems on fractionally tree-independence-number-fragile graphs
We investigate a relaxation of the notion of fractional treewidth-fragility, namely fractional tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for meta-problems such as finding a maximum-weight sparse induced subgraph satisfying a given $\mathsf{CMSO}_2$ formula on fractionally tree-independence-number-fragile graph classes. Our approach unifies and extends several known polynomial-time approximation schemes on seemingly unrelated graph classes, such as classes of intersection graphs of fat objects in a fixed dimension or proper minor-closed classes. We also study the related notion of layered tree-independence number, a relaxation of layered treewidth, and its applications to exact subexponential-time algorithms.
On the $(1^2,2^4)$-packing edge-coloring of subcubic graphs
An induced matching in a graph $G$ is a matching such that its end vertices also induce a matching. A $(1^{\ell}, 2^k)$-packing edge-coloring of a graph $G$ is a partition of its edge set into disjoint unions of $\ell$ matchings and $k$ induced matchings. Gastineau and Togni (2019), as well as Hocquard, Lajou, and Lužar (2022), have conjectured that every subcubic graph is $(1^2,2^4)$-packing edge-colorable. In this paper, we confirm that their conjecture is true (for connected subcubic graphs with more than $70$ vertices). Our result is sharp due to the existence of subcubic graphs that are not $(1^2,2^3)$-packing edge-colorable.
Perfect colourings of simplices and hypercubes in dimension four and five with few colours
A vertex colouring of some graph is called perfect if each vertex of colour $i$ has the same number $a_{ij}$ of neighbours of colour $j$. Here we determine all perfect colourings of the edge graphs of the hypercube in dimensions 4 and 5 by two and three colours, respectively. For comparison we list all perfect colourings of the edge graphs of the simplex in dimensions 4 and 5, respectively.
The inverse eigenvalue problem for probe graphs
In this paper, we initiate the study of the inverse eigenvalue problem for probe graphs. A probe graph is a graph whose vertices are partitioned into probe vertices and non-probe vertices such that the non-probe vertices form an independent set. In general, a probe graph is used to represent the set of graphs that can be obtained by adding edges between non-probe vertices. The inverse eigenvalue problem for a graph considers a family of matrices whose zero-nonzero pattern is defined by the graph and asks which spectra are achievable by matrices in this family. We ask the same question for probe graphs. We start by establishing bounds on the maximum nullity for probe graphs and defining the probe graph zero forcing number. Next, we focus on graphs of two parallel paths, the unique family of graphs whose (standard) zero forcing number is two. We partially characterize the probe graph zero forcing number of such graphs and prove some necessary structural results about the family. Finally, we characterize probe graphs whose minimum rank is $0, 1, 2, n-2,$ and $n-1$.
A quantum algorithm for learning a graph of bounded degree
We are presented with a graph, $G$, on $n$ vertices with $m$ edges whose edge set is unknown. Our goal is to learn the edges of $G$ with as few queries to an oracle as possible. When we submit a set $S$ of vertices to the oracle, it tells us whether or not $S$ induces at least one edge in $G$. This so-called OR-query model has been well studied, with Angluin and Chen giving an upper bound on the number of queries needed of $O(m \log n)$ for a general graph $G$ with $m$ edges.
When we allow ourselves to make *quantum* queries (we may query subsets in superposition), then we can achieve speedups over the best possible classical algorithms. In the case where $G$ has maximum degree $d$ and is $O(1)$-colorable, Montanaro and Shao presented an algorithm that learns the edges of $G$ in at most $\tilde{O}(d^2m^{3/4})$ quantum queries. This gives an upper bound of $\tilde{O}(m^{3/4})$ quantum queries when $G$ is a matching or a Hamiltonian cycle, which is far away from the lower bound of $Ω(\sqrt{m})$ queries given by Ambainis and Montanaro.
We improve on the work of Montanaro and Shao in the case where $G$ has bounded degree. In particular, we present a randomized algorithm that, with high probability, learns cycles and matchings in $\tilde{O}(\sqrt{m})$ quantum queries, matching the theoretical lower bound up to logarithmic factors.
Temperley-Lieb Crystals
Published
• View Publication
• BIB
Elements of Lusztig's dual canonical bases are Schur-positive when evaluated on (generalized) Jacobi-Trudi matrices. This deep property was proved by Rhoades and Skandera, relying on a result of Haiman, and ultimately on the (proof of) Kazhdan-Lusztig conjecture. For a particularly tractable part of the dual canonical basis - called Temperley-Lieb immanants - we give a generalization of Littlewood-Richardson rule: we provide a combinatorial interpretation for the coefficient of a particular Schur function in the evaluation of a particular Temperley-Lieb immanant on a particular Jacobi-Trudi matrix. For this we introduce shuffle tableaux, and apply Stembridge's axioms to show that certain graphs on shuffle tableaux are type $A$ Kashiwara crystals.
Decomposability of regular graphs to $4$ locally irregular subgraphs
A locally irregular graph is a graph whose adjacent vertices have distinct degrees. It was conjectured that every connected graph is edge decomposable to $3$ locally irregular subgraphs, unless it belongs to a certain family of exceptions, including graphs of small maximum degrees, which are not decomposable to any number of such subgraphs. Recently Sedlar and Škrekovski exhibited a counterexample to the conjecture, which necessitates a decomposition to (at least) $4$ locally irregular subgraphs. We prove that every $d$-regular graph with $d$ large enough, i.e. $d\geq 54000$, is decomposable to $4$ locally irregular subgraphs. Our proof relies on a mixture of a numerically optimized application of the probabilistic method and certain deterministic results on degree constrained subgraphs due to Addario-Berry, Dalal, McDiarmid, Reed, and Thomason, and to Alon and Wei, introduced in the context of related problems concerning irregular subgraphs.
Minimum length word-representants of graph products
Published in Discrete Applied Mathematics, Volume 358, 2024, Pages 91-104
• View Publication
• BIB
A graph $G = (V, E)$ is said to be word-representable if a word $w$ can be formed using the letters of the alphabet $V$ such that for every pair of vertices $x$ and $y$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. Gaetz and Ji have recently introduced the notion of minimum length word-representants for word-representable graphs. They have also determined the minimum possible length of the word-representants for certain classes of graphs, such as trees and cycles. It is know that Cartesian and Rooted products preserve word-representability. Moreover, Broere constructed a uniform word representing the Cartesian product of $G$ and $K_n$ using occurrence based functions.
In this paper, we study the minimum length of word-representants for Cartesian and Rooted products using morphism and occurrence based function, respectively. Also, we solve an open problem posed by Broere in his master thesis. This problem asks to construct a word for the Cartesian product of two arbitrary word-representable graphs.
Linear bounds on treewidth in terms of excluded planar minors
Published in Electron. J. Combin., 32(4):P4.68, December 2025
• View Publication
• BIB
One of the fundamental results in graph minor theory is that for every planar graph $H$, there is a minimum integer $f(H)$ such that graphs with no minor isomorphic to $H$ have treewidth at most $f(H)$. A lower bound for ${f(H)}$ can be obtained by considering the maximum integer $k$ such that $H$ contains $k$ vertex-disjoint cycles. There exists a graph of treewidth ${Ω(k\log k)}$ which does not contain $k$ vertex-disjoint cycles, from which it follows that ${f(H) = Ω(k\log k)}$. In particular, if ${f(H)}$ is linear in ${\lvert{V(H)}\rvert}$ for graphs $H$ from a subclass of planar graphs, it is necessary that $n$-vertex graphs from the class contain at most ${O(n/\log(n))}$ vertex-disjoint cycles. We ask whether this is also a sufficient condition, and demonstrate that this is true for classes of planar graphs with bounded component size. For an $n$-vertex graph $H$ which is a disjoint union of $r$ cycles, we show that ${f(H) \leq 3n/2 + O(r^2 \log r)}$, and improve this to ${f(H) \leq n + O(\sqrt{n})}$ when ${r = 2}$. In particular this bound is linear when ${r=O(\sqrt{n}/\log(n))}$. We present a linear bound for ${f(H)}$ when $H$ is a subdivision of an $r$-edge planar graph for any constant $r$. We also improve the best known bounds for ${f(H)}$ when $H$ is the wheel graph or the ${4 \times 4}$ grid, obtaining a bound of $160$ for the latter.
Variety of general position problems in graphs
Published
• View Publication
• BIB
Let $X$ be a vertex subset of a graph $G$. Then $u, v\in V(G)$ are $X$-positionable if $V(P)\cap X \subseteq \{u,v\}$ holds for any shortest $u,v$-path $P$. If each two vertices from $X$ are $X$-positionable, then $X$ is a general position set. The general position number of $G$ is the cardinality of a largest general position set of $G$ and has been already well investigated. In this paper a variety of general position problems is introduced based on which natural pairs of vertices are required to be $X$-positionable. This yields the total (resp.\ dual, outer) general position number. It is proved that the total general position sets coincide with sets of simplicial vertices, and that the outer general position sets coincide with sets of mutually maximally distant vertices. It is shown that a general position set is a dual general position set if and only if its complement is convex. Several sufficient conditions are presented that guarantee that a given graph has no dual general position set. The total general position number, the outer general position number, and the dual general position number of arbitrary Cartesian products are determined.
Circulant graphs with valency up to 4 that admit perfect state transfer in Grover walks
Published
• View Publication
• BIB
We completely characterize circulant graphs with valency up to $4$ that admit perfect state transfer. Those of valency $3$ do not admit it. On the other hand, circulant graphs with valency $4$ admit perfect state transfer only in two infinite families: one discovered by Zhan and another new family, while no others do. The main tools for deriving these results are symmetry of graphs and eigenvalues. We describe necessary conditions for perfect state transfer to occur based on symmetry of graphs, which mathematically refers to automorphisms of graphs. As for eigenvalues, if perfect state transfer occurs, then certain eigenvalues of the corresponding isotropic random walks must be the halves of algebraic integers. Taking this into account, we utilize known results on the rings of integers of cyclotomic fields.
On the $(S_2)$-condition of edge rings for cactus graphs
Published
• View Publication
• BIB
A cactus graph is a connected graph in which every block is either an edge or a cycle. In this paper, we will examine cactus graphs where all the blocks are $3$-cycles, i.e., triangular cactus graphs, of diameter $4$. Our main focus is to prove that the corresponding edge ring of this family of graphs is not normal and satisfies Serre's condition $(S_2)$. We use a criterion due to Katthän for non-normal affine semigroup rings.
Toughness and Aα-spectral radius in graphs
Let $α\in[0,1)$, and let $G$ be a connected graph of order $n$ with $n\geq f(α)$, where $f(α)=6$ for $α\in[0,\frac{2}{3}]$ and $f(α)=\frac{4}{1-α}$ for $α\in(\frac{2}{3},1)$. A graph $G$ is said to be $t$-tough if $|S|\geq tc(G-S)$ for each subset $S$ of $V(G)$ with $c(G-S)\geq2$, where $c(G-S)$ is the number of connected components in $G-S$. The $A_α$-spectral radius of $G$ is denoted by $ρ_α(G)$. In this paper, it is verified that $G$ is a 1-tough graph unless $G=K_1\vee(K_{n-2}\cup K_1)$ if $ρ_α(G)\geqρ_α(K_1\vee(K_{n-2}\cup K_1))$, where $ρ_α(K_1\vee(K_{n-2}\cup K_1))$ equals the largest root of $x^{3}-((α+1)n+α-3)x^{2}+(αn^{2}+(α^{2}-α-1)n-2α+1)x-α^{2}n^{2}+(3α^{2}-α+1)n-4α^{2}+5α-3=0$. Further, we present an $A_α$-spectral radius condition for a graph to be a $t$-tough graph.
A new class of bi-transversal matroids
A transversal matroid whose dual is also transversal is called bi-transversal. Let $G$ be an undirected graph with vertex set $V$. In this paper, for every subset $W$ of $V$, we associate a bi-transversal matroid to the pair $(G,W)$. We also derive an explicit formula for counting bases of this matroid.
Rigidity of nearly planar classes of graphs
We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic 3-dimensional rigidity matroid adding to the short list of graph classes for which 3-dimensional rigidity is understood. We then analyse global rigidity for these graph classes and use our results to deduce bounds on the maximum likelihood threshold of graphs in these nearly planar classes.
Constructions of $t$-designs from weighing matrices and walk-regular graphs
Published
• View Publication
• BIB
We provide a method to construct $t$-designs from weighing matrices and walk-regular graphs.
One instance of our method can produce a $3$-design from any (symmetric or skew-symmetric) conference matrix, thereby providing a partial answer to a question of Gunderson and Semeraro JCTB 2017.
We explore variations of our method on some matrices that satisfy certain combinatorial restrictions.
In particular, we show that there exist various infinite families of partially balanced incomplete block designs with block size four on the binary Hamming schemes and the $3$-class association schemes attached to symmetric designs, and regular pairwise balanced designs with block sizes three and four.
Polymatroids are to finite groups as matroids are to finite fields
Given a subgroup $\mathcal{H}$ of a product of finite groups $\mathcal{G} = \displaystyle\prod^n_{i=1} Γ_i$ and $b>1,$ we define a polymatroid $P(\mathcal{H},b).$ If all of the $Γ_i$ are isomorphic to $\mathbb{Z}/p\mathbb{Z},$ $p$ a prime, and $b=p,$ then $P(\mathcal{H},b)$ is the usual matroid associated to any $\mathbb{Z}/p\mathbb{Z}$-matrix whose row space equals $\mathcal{H}.$ In general, there are many ways in which the relationship between $P(\mathcal{H},b)$ and $\mathcal{H}$ mirrors that of the relationship between a matroid and a subspace of a finite vector space. These include representability by excluded minors, the Crapo-Rota critical theorem, the existence of a concrete algebraic object representing the polymatroid dual of $P(\mathcal{H},b),$ analogs of Greene's theorem and the MacWilliams identities when $\mathcal{H}$ is a group code over a nonabelian group, and a connection to the combinatorial Laplacian of a quotient space determined by $\mathcal{G}$ and $\mathcal{H}.$ We use the group Crapo-Rota critical theorem to demonstrate an extension to hypergraphs of the classical duality between proper colorings and nowhere-zero flows on graphs.