graph
34516 papers tagged with this keyword
Bipartite Turán number of paths and other trees
We solve a recent question of Caro, Patkós and Tuza by determining the exact maximum number of edges in a bipartite connected graph as a function of the longest path it contains as a subgraph and of the number of vertices in each side of the bipartition. This was previously known only in the case where both sides of the bipartition have equal size and the longest path has size at most $5$. We also discuss possible generalizations replacing "path" with some specific types of trees.
A Census of Edge-transitive Surfaces
In this paper, we study edge-transitive surfaces, i.e. triangulated 2-dimensional manifolds whose automorphism groups act transitively on the edges of these triangulated surfaces. We show that there exist four types of edge-transitive surfaces, splitting up further into a total of five sub-types. We exploit our theoretical results to compute a census of edge-transitive surfaces with up to 5000 faces by constructing suitable cycle double covers of edge-transitive cubic graphs.
Multi-scale symmetry analysis in molecular structures
Topological data analysis (TDA), as a relatively recent approach, has demonstrated great potential in capturing the intrinsic and robust structural features of complex data. While persistent homology, as a core tool of TDA, focuses on characterizing geometric shapes and topological structures, the automorphism groups of Vietoris-Rips complexes can capture the structured symmetry features of data. In this work, we propose a multi-scale symmetry analysis approach that leverages persistent automorphism modules to quantify variations in symmetries across scales. By modifying the category of graphs and constructing a suitable functor from the graph category to the category of modules, we ensure that the persistent automorphism module forms a genuine persistence module. Furthermore, we apply this framework to the structural analysis of fullerenes, predicting the stability of 12 fullerene molecules with a competitive correlation coefficient of 0.979.
Regions surrounded by circles whose Poincaré-Reeb graphs are trees
Regions in the Euclidean plane surrounded by circles are fundamental geometric and combinatorial objects. Related studies have been done and we cannot explain them precisely, or roughly, well.
We study such regions whose Poincaré-Reeb graphs are trees and investigate the trees obtained by a certain inductive rule from a disk in the plane. The Poincaré-Reeb graph of such a region is a graph whose underlying set is the set of all components of level sets of the restriction of the canonical projection to the closure and whose vertices are points corresponding to the components containing {\it singular} points. Related studies were started by the author, motivated by importance and difficulty of explicit construction of a real algebraic map onto a prescribed closed region in the plane.
Balanced Domination in Convex Polytopes, Trees, and Grid Graphs
This paper addresses two open questions posed in [27] regarding the balanced domination number in graphs. We show that three new classes of graphs, those of convex polytopes A_n, D_n, and Rn'', are d-balanced. Further, we provide a characterization of d-balancedness for rooted trees with two levels of descendants and prove that each full binary tree is d-balanced. Several results for caterpillar graphs are established. Moreover, we determine and prove the exact balanced domination number for grid graphs. Finally, we conclude by providing several open problems of interest.
Nonexistence of $srg(19,6,1,2)$: Combinatorial Proof
An $srg(19,6,1,2)$ is the graph with the smallest parameter set in the family of strongly regular graphs with parameters $λ=1$ and $μ=2$ for which the respective graph doesn't exist. The proof of that fact is based on algebraic arguments, particularly, on the Integrality Test, the very usefull tool for studying strongly regular graphs. To our best knowledge, there have not been proofs of pure combinatorial nature. In this short paper, we have decided to fill in this gap.
Hamiltonian Subgraphs of Order Seven in $srg(n,k,1,2)$
Strongly regular graphs are highly symmetrical and can be described fully with just a few parameters, yet the existence of many of them is still under the question. In this paper, we continue the study of the famuly of strongly regular graphs with parameters $λ=1$ and $μ=2$ and establish all of their possible Hamiltonian subgraphs of order seven. By doing so we establish the lower and upper bounds for number of 7-gons, or 7-cycles, in such graphs.
Minimum bounding polytropes for estimation of max-linear Bayesian networks
Max-linear Bayesian networks are recursive max-linear structural equation models represented by an edge weighted directed acyclic graph (DAG). The identifiability and estimation of max-linear Bayesian networks is an intricate issue as Gissibl, Klüppelberg, and Lauritzen have shown. As such, a max-linear Bayesian network is generally unidentifiable and standard likelihood theory cannot be applied. We can associate tropical polyhedra to max-linear Bayesian networks. Using this, we investigate the minimum-ratio estimator proposed by Gissibl, Klüppelberg, and Lauritzen and give insight on the structure of minimal best-case samples for parameter recovery which we describe in terms of set covers of certain triangulations. We also combine previous work on estimating max-linear models from Tran, Buck, and Klüppelberg to apply our geometric approach to the structural inference of max-linear models. This is tested extensively on simulated data and on real world data set, the NHANES report for 2015--2016 and the upper Danube network data.
On the Anti-Ramsey Number Under Edge Deletion
According to a study by Erdős et al. in 1975, the anti-Ramsey number of a graph \(G\), denoted as \(AR(n, G)\), is defined as the maximum number of colors that can be used in an edge-coloring of the complete graph \(K_n\) without creating a rainbow copy of \(G\). In this paper, we investigate the anti-Ramsey number under edge deletion and demonstrate that both decreasing and unchanging are possible outcomes. For three non-negative integers \(k\), \(t\), and \(n\), let \(G = kP_4 \cup tP_2\). Let \(E'\) be a subset of the edge set \(E(G)\) such that every endpoint of these edges has a degree of two in \(G\). We prove that if one of the conditions (i) \(t \geq k + 1 \geq 2\) and \(n \geq 8k + 2t - 4\); (ii) \(k, t \geq 1\) and \(n = 4k + 2t\); (iii) \(k = 1\), \(t \geq 1\), and \(n \geq 2t + 4\), occurs then the behavior of the anti-Ramsey number remains consistent when the edges in \(E'\) are removed from \(G\), i.e., \(AR(n, G) = AR(n, G - E')\). However, this is not the case when \(k \geq 2\), \(t = 0\), and \(n=4k\). As a result, we calculate \(AR(kP_4 \cup tP_2)\) for the cases: (i) \(t \geq k + 1 \geq 2\) and \(n \geq 8k + 2t - 4\); (ii) \(k, t \geq 1\) and \(n = 4k + 2t\); (iii) \(k = 1\), \(t \geq 0\), and \(n \geq 2t + 4\); (iv) \(k \geq 1\), \(t = 0\), and \(n = 4k\).
Characterizing all $K_4$-free well-edge-dominated graphs of girth 3
Given a graph $G$, a set $F$ of edges is an edge dominating set if all edges in $G$ are either in $F$ or adjacent to an edge in $F$. $G$ is said to be well-edge-dominated if every minimal edge dominating set is also minimum. In 2022, it was proven that there are precisely three nonbipartite, well-edge-dominated graphs with girth at least four. Then in 2025, a characterization of all well-edge-dominated graphs containing exactly one triangle was found. In this paper, we characterize all well-edge-dominated graphs that contain a triangle and yet are $K_4$-free.
Kontsevich graphs act on Nambu-Poisson brackets, VI. Open problems
Published in Bulgarian Journal of Physics (2025) Vol.52-s1 The 13th International Symposium on Quantum Theory and Symmetries, 90--95
• View Publication
• BIB
Kontsevich's graphs from deformation quantisation allow encoding multi-vectors whose coefficients are differential-polynomial in components of Poisson brackets on finite-dimensional affine manifolds. The calculus of Kontsevich graphs can be made dimension-specific for the class of Nambu--Poisson brackets given by Jacobian determinants. Using the Kontsevich--Nambu micro-graphs in dimensions $d\geqslant 2$, we explore the open problem of (non)triviality for Kontsevich's tetrahedral graph cocycle action on the space of Nambu--Poisson brackets. We detect a conjecturally infinite new set of differential-polynomial identities for Jacobian determinants of arbitrary sizes $d\times d$.
The Rainbow Arborescence Problem on Cycles
The rainbow arborescence conjecture posits that if the arcs of a directed graph with $n$ vertices are colored by $n-1$ colors such that each color class forms a spanning arborescence, then there is a spanning arborescence that contains exactly one arc of every color. We prove that the conjecture is true if the underlying undirected graph is a cycle.
On the number of linear uniform hypergraphs with linear girth constraint
For an integer $r\geqslant 3$, a hypergraph on vertex set $[n]$ is $r$-uniform if each edge is a set of $r$ vertices, and is said to be linear if every two distinct edges share at most one vertex. Given a family $\mathcal{H}$ of linear $r$-uniform hypergraphs,let $Forb_r^L(n,\mathcal{H})$ be the set of linear $r$-uniform hypergraphs on vertex set $[n]$, which does not contain any member from $\mathcal{H}$ as a subgraph. An $r$-uniform linear cycle of length $\ell$, denoted by $C_\ell^r$, is a linear $r$-uniform hypergraph on $(r-1)\ell$ vertices whose edges can be ordered as $\boldsymbol{e}_1,\ldots,\boldsymbol{e}_\ell$ such that $|\boldsymbol{e}_i\cap \boldsymbol{e}_j|=1$ if $j=i\pm 1$ (indices taken modulo $\ell$) and $|\boldsymbol{e}_i\cap \boldsymbol{e}_j|=0$ otherwise. The linear girth of a linear $r$-uniform hypergraph is the smallest integer $\ell$ such that it contains a $C_\ell^r$. Let $Forb_L(n,r,\ell)=Forb_r^L(n,\mathcal{H})$ when $\mathcal{H}=\{C_i^r:\, 3\leqslant i\leqslant \ell\}$, that is, $Forb_L(n,r,\ell)$ is the set of all linear $r$-uniform hypergraphs on $[n]$ with linear girth greater than $\ell$. For integers $r\geqslant 3$ and $\ell\geqslant 4$, Balogh and Li [On the number of linear hypergraphs of large girth, J. Graph Theory, 93(1) (2020), 113-141] showed that $|Forb_L(n,r,\ell)|= 2^{O(n^{1+1/\lfloor \ell/2\rfloor})}$ based on the graph container method. It is natural to obtain $|Forb_L(n,r,\ell)|\geqslant 2^{c\cdot n^{1+1/\ell}}$ for some constant $c$ by probabilistic deletion method. Combined with the known results that $|Forb_L(n,r,3)|= 2^{o (n^{2})}$ and $|Forb_L(n,3,4)|= 2^{Θ(n^{3/2})}$, by analyzing the random greedy high linear girth linear $r$-uniform hypergraph process, we show $|Forb_L(n,r,\ell)|\geqslant 2^{n^{1+1/(\ell-1)-O(\log\log n/\log n)}}$ for every pair of fixed integers $r,\ell\geqslant 4$, or $r= 3$ and $\ell\geqslant 5$.
On the Color Discrepancy of Spanning Trees in Random and Randomly Perturbed Graphs
In this work, we study the color discrepancy of spanning trees in random graphs. We show that for the Erdős-Rényi random graph $G(n,p)$ with $p$ above the connectivity threshold, the following holds with high probability: in every 2-edge-coloring of the graph, there exists a spanning tree with a linear number of leaves such that one color class contains more than $\frac{1 + \varepsilon}{2}n $ of the tree's edges. Here, $\varepsilon>0$ is a small absolute constant independent of $p$.
We also extend this line of research to randomly perturbed dense graphs, showing that adding a few random edges to a dense graph typically creates a spanning tree with a large color discrepancy under any 2-edge-coloring.
Awesome graph parameters
For a graph $G$, we denote by $α(G)$ the size of a maximum independent set and by $ω(G)$ the size of a maximum clique in $G$. Our paper lies on the edge of two lines of research, related to $α$ and $ω$, respectively. One of them studies $α$-variants of graph parameters, such as $α$-treewidth or $α$-degeneracy. The second line deals with graph classes where some parameters are bounded by a function of $ω(G)$. A famous example of this type is the family of $χ$-bounded classes, where the chromatic number $χ(G)$ is bounded by a function of $ω(G)$.
A Ramsey-type argument implies that if the $α$-variant of a graph parameter $ρ$ is bounded by a constant in a class $\mathcal{G}$, then $ρ$ is bounded by a function of $ω$ in $\mathcal{G}$. If the reverse implication also holds, we say that $ρ$ is awesome. Otherwise, we say that $ρ$ is awful. In the present paper, we identify a number of awesome and awful graph parameters, derive some algorithmic applications of awesomeness, and propose a number of open problems related to these notions.
Turán number of four vertex-disjoint cliques
Given a graph $H$, the Turán number ${\rm ex}(n,H)$ of $H$ is the maximum number of edges of an $n$-vertex simple graph containing no $H$ as a subgraph. Let $kK_p$ denote the disjoint union of $k$ copies of the complete graph $K_p$. In this paper, utilizing the idea of the proof of the Hajnal-Szemerédi Theorem and discharging, we determine the value ${\rm ex}(n,4K_p)$ for all $n$ and $p\ge 3$.
Tropical reductive groups and principal bundles on metric graphs
We propose an elementary tropical analogue of a reductive group that combines the datum of a Weyl group and the tropicalization of a fixed maximal torus. For the classical groups, as well as $G_2$, these tropical reductive groups admit descriptions as tropical matrix groups that resemble their classical counterparts. Employing this perspective, we introduce tropical principal bundles on metric graphs and study their explicit presentations as pushforwards of line bundles along covers with symmetries and extra data. Our main result identifies the essential skeleton of the moduli space of semistable principal bundles on a Tate curve with its tropical analogue.
Sign games on graphs
We define the Sign Game as a two-player game played on a simple undirected mathematical graph $G$. The players alternate turns, assigning vertices of $G$ either $1$ or $-1$, and edges take on the value of the product of their endvertices. The game ends when all vertices are assigned values, and the score of the game is the sum of all edge values. One player's goal is to make the score positive while the other's is to make the score negative. In this paper we investigate the game being played on various types of graphs, determining outcomes and winning strategies.
On $\{k\}$-Roman graphs: complexity of recognition and the case of split graphs
For a positive integer $k$, a $\{k\}$-Roman dominating function of a graph $G = (V,E)$ is a function $f\colon V \rightarrow \{0,1,\ldots,k\}$ satisfying $f (N(v)) \geq k$ for each vertex $v\in V$ with $f (v) = 0$. Every graph $G$ satisfies $γ_{\{Rk\}}(G) \leq kγ(G)$, where $γ_{\{Rk\}}(G)$ denotes the minimum weight of a $\{k\}$-Roman dominating function of $G$ and $γ(G)$ is the domination number of $G$. In this work we study graphs for which the equality is reached, called \emph{$\{k\}$-Roman graphs}. This extends the concept of $\{k\}$-Roman trees studied by Wang et al. in 2021 to general graphs. We prove that for every $k\geq 3$, the problem of recognizing $\{k\}$-Roman graphs is NP-hard, even when restricted to split graphs. We provide partial answers to the question of which split graphs are $\{2\}$-Roman: we characterize $\{2\}$-Roman split graphs that can be decomposed with respect to the split join operation into two smaller split graphs and classify the $\{k\}$-Roman property within two specific families of split graphs that are prime with respect to the split join operation: suns and their complements.
Local and global $d$-rigidity are not definable in the first order logic of graphs
We use Hanf locality and a result of Cruickshank, Jackson, and Tanigawa on the global rigidity of graphs of $k$-circuits to prove that local and global $d$-rigidity are not definable in the first order logic of graphs.