graph
34516 papers tagged with this keyword
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
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
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
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.
On the maximum intersecting sets of the general semilinear group of degree $2$
Let $p$ be a prime and $q = p^k$. A subset $\mathcal{F} \subset \operatorname{ΓL}_{2}(q)$ is intersecting if any two semilinear transformations in $\mathcal{F}$ agree on some non-zero vector in $\mathbb{F}_q^2$. We show that any intersecting set of $\operatorname{ΓL}_{2}(q)$ is of size at most that of a stabilizer of a non-zero vector, and we characterize the intersecting sets of this size. Our proof relies on finding a subgraph which is a lexicographic product in the derangement graph of $\operatorname{ΓL}_{2}(q)$ in its action on non-zero vectors of $\mathbb{F}_q^2$. This method is also applied to give a new proof that the only maximal intersecting sets of $\operatorname{GL}_{2}(q)$ are the maximum intersecting sets.
Noise Aware Path Planning and Power Management of Hybrid Fuel UAVs
Hybrid fuel Unmanned Aerial Vehicles (UAV), through their combination of multiple energy sources, offer several advantages over the standard single fuel source configuration, the primary one being increased range and efficiency. Multiple power or fuel sources also allow the distinct pitfalls of each source to be mitigated while exploiting the advantages within the mission or path planning. We consider here a UAV equipped with a combustion engine-generator and battery pack as energy sources. We consider the path planning and power-management of this platform in a noise-aware manner. To solve the path planning problem, we first present the Mixed Integer Linear Program (MILP) formulation of the problem. We then present and analyze a label-correcting algorithm, for which a pseudo-polynomial running time is proven. Results of extensive numerical testing are presented which analyze the performance and scalability of the labeling algorithm for various graph structures, problem parameters, and search heuristics. It is shown that the algorithm can solve instances on graphs as large as twenty thousand nodes in only a few seconds.
Positroid envelopes and graphic positroids
Positroids are matroids realizable by real matrices with all nonnegative maximal minors. They partition the ordered matroids into equivalence classes, called positroid envelope classes, by their Grassmann necklaces. We give an explicit graph construction that shows that every positroid envelope class contains a graphic matroid. We prove that a graphic positroid is the unique matroid in its positroid envelope class. Finally, we show that every graphic positroid has an oriented graph representable by a signed incidence matrix with all nonnegative minors.
Clique Decompositions in Random Graphs via Refined Absorption
We prove that if $p\ge n^{-\frac{1}{3}+β}$ for some $β> 0$, then asymptotically almost surely the binomial random graph $G(n,p)$ has a $K_3$-packing containing all but at most $n + O(1)$ edges. Similarly, we prove that if $d \ge n^{\frac{2}{3}+β}$ for some $β> 0$ and $d$ is even, then asymptotically almost surely the random $d$-regular graph $G_{n,d}$ has a triangle decomposition provided $3 \mid d \cdot n$. We also show that $G(n,p)$ admits a fractional $K_3$-decomposition for such a value of $p$. We prove analogous versions for a $K_q$-packing of $G(n,p)$ with $p\ge n^{-\frac{1}{q+0.5}+β}$ and leave of $(q-2)n+O(1)$ edges, for $K_q$-decompositions of $G_{n,d}$ with $(q-1)~|~d$ and $d\ge n^{1-\frac{1}{q+0.5}+β}$ provided $q\mid d\cdot n$, and for fractional $K_q$-decompositions.
Variations on the Thompson theorem
Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain condition on $2$-generated subgroups. We show that a finite group $G$ is solvable if and only if for every pair of two elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $\langle x,y^g\rangle$ is solvable for all $g\in G$. Similarly, a finite group $G$ is nilpotent if and only if for every pair of elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $x$ and $y^g$ commute for some $g\in G.$ Some applications to graphs defined on groups are given.
On the spectral extremal problem of planar graphs
The spectral extremal problem of planar graphs has aroused a lot of interest over the past three decades. In 1991, Boots and Royle [Geogr. Anal. 23(3) (1991) 276--282] (and Cao and Vince [Linear Algebra Appl. 187 (1993) 251--257] independently) conjectured that $K_2 + P_{n-2}$ is the unique graph attaining the maximum spectral radius among all planar graphs on $n$ vertices, where $K_2 + P_{n-2}$ is the graph obtained from $K_2\cup P_{n-2}$ by adding all possible edges between $K_2$ and $P_{n-2}$. In 2017, Tait and Tobin [J. Combin. Theory Ser. B 126 (2017) 137--161] confirmed this conjecture for all sufficiently large $n$. In this paper, we consider the spectral extremal problem for planar graphs without specified subgraphs. For a fixed graph $F$, let $\mathrm{SPEX}_{\mathcal{P}}(n,F)$ denote the set of graphs attaining the maximum spectral radius among all $F$-free planar graphs on $n$ vertices. We describe a rough sturcture for the connected extremal graphs in $\mathrm{SPEX}_{\mathcal{P}}(n,F)$ when $F$ is a planar graph not contained in $K_{2,n-2}$. As applications, we determine the extremal graphs in $\mathrm{SPEX}_{\mathcal{P}}(n,W_k)$, $\mathrm{SPEX}_{\mathcal{P}}(n,F_k)$ and $\mathrm{SPEX}_{\mathcal{P}}(n,(k+1)K_2)$ for all sufficiently large $n$, where $W_k$, $F_k$ and $(k+1)K_2$ are the wheel graph of order $k$, the friendship graph of order $2k+1$ and the disjoint union of $k+1$ copies of $K_2$, respectively.
On solving basic equations over the semiring of functional digraphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Discrete Algorithms (November 21, 2025) dmtcs:14590
• View Publication
• BIB
Endowing the set of functional graphs (FGs) with the sum (disjoint union of graphs) and product (standard direct product on graphs) operations induces on FGs a structure of a commutative semiring R. The operations on R can be naturally extended to the set of univariate polynomials R[X] over R. This paper provides a polynomial time algorithm for deciding if equations of the type AX=B have solutions when A is just a single cycle and B a set of cycles of identical size. We also prove a similar complexity result for some variants of the previous equation.
Sparse Autoregressive Neural Networks for Classical Spin Systems
Published in Mach. Learn.: Sci. Technol. 5 025074 (2024)
• View Publication
• BIB
Efficient sampling and approximation of Boltzmann distributions involving large sets of binary variables, or spins, are pivotal in diverse scientific fields even beyond physics. Recent advances in generative neural networks have significantly impacted this domain. However, these neural networks are often treated as black boxes, with architectures primarily influenced by data-driven problems in computational science. Addressing this gap, we introduce a novel autoregressive neural network architecture named TwoBo, specifically designed for sparse two-body interacting spin systems. We directly incorporate the Boltzmann distribution into its architecture and parameters, resulting in enhanced convergence speed, superior free energy accuracy, and reduced trainable parameters. We perform numerical experiments on disordered, frustrated systems with more than 1000 spins on grids and random graphs, and demonstrate its advantages compared to previous autoregressive and recurrent architectures. Our findings validate a physically informed approach and suggest potential extensions to multivalued variables and many-body interaction systems, paving the way for broader applications in scientific research.
On the length of directed paths in digraphs
Thomassé conjectured the following strengthening of the well-known Caccetta-Haggkvist Conjecture: any digraph with minimum out-degree $δ$ and girth $g$ contains a directed path of length $δ(g-1)$. Bai and Manoussakis \cite{Bai} gave counterexamples to Thomassé's conjecture for every even $g\geq 4$. In this note, we first generalize their counterexamples to show that Thomassé's conjecture is false for every $g\geq 4$. We also obtain the positive result that any digraph with minimum out-degree $δ$ and girth $g$ contains a directed path of $2(1-\frac{2}{g})$. For small $g$ we obtain better bounds, e.g.~for $g=3$ we show that oriented graph with minimum out-degree $δ$ contains a directed path of length $1.5δ$. Furthermore, we show that each $d$-regular digraph with girth $g$ contains a directed path of length $Ω(dg/\log d)$. Our results give the first non-trivial bounds for these problems.