graph
35299 papers tagged with this keyword
The Geometry of Cosmological Correlators
Published in SciPost Phys. 18, 105 (2025)
• View Publication
• BIB
We provide a first principle definition of cosmological correlation functions for a large class of scalar toy models in arbitrary FRW cosmologies, in terms of novel geometries we name {\it weighted cosmological polytopes}. Each of these geometries encodes a universal rational integrand associated to a given Feynman graph. In this picture, all the possible ways of organising, and computing, cosmological correlators correspond to triangulations and subdivisions of the geometry, containing the in-in representation, the one in terms of wavefunction coefficients and many others. We also provide two novel contour integral representations, one connecting higher and lower loop correlators and the other one expressing any of them in terms of a building block. We study the boundary structure of these geometries allowing us to prove factorisation properties and Steinmann-like relations when single and sequential discontinuities are approached. We also show that correlators must satisfy novel vanishing conditions. As the weighted cosmological polytopes can be obtained as an orientation-changing operation onto a certain subdivision of the cosmological polytopes encoding the wavefunction of the universe, this picture allows us to sharpen how the properties of cosmological correlators are inherited from the ones of the wavefunction. From a mathematical perspective, we also provide an in-depth characterisation of their adjoint surface.
A note on $\bar{X}$-coloring and $\hat{A}$-coloring 4-regular graphs
Let $\partial_H(u)$ be the set of edges incident with a vertex $u$ in the graph $H$. We say that a graph $G$ is $H$-colorable if there exist total functions $f : E(G) \rightarrow E(H)$ and $g : V(G) \rightarrow V(H)$ such that $f$ is a proper edge-coloring of $G$ and for each vertex $u \in V(G)$ we have $f(\partial_G(u))=\partial_H(g(u))$. Let $\bar{X}$ be the graph obtained by adding three parallel edges between two degree one vertices of the graph $K_{1,4}$. Let $\hat{A}$ be the graph obtained by adding two pendant edges to two different vertices of a triangle and then adding two edges between the degree two vertex and the two adjacent degree three vertices. Malnegro and Ozeki [Discrete Math. 347(3):113844 (2024)] asked whether every 4-regular graph with an even number of vertices and an even cycle decomposition of size 3 admits an $\bar{X}$-coloring or an $\hat{A}$-coloring and whether every 2-connected planar 4-regular graph with an even number of vertices admits such a coloring. Additionally, they conjectured that for every 2-edge-connected simple cubic graph $G$ with an even number of edges, the line graph $L(G)$ is $\bar{X}$-colorable. In this short note, we discuss two algorithms for deciding whether a graph $G$ is $H$-colorable. We give a negative answer to the two questions and disprove the conjecture by finding suitable graphs, as verified by two independent algorithms.
On the Number of Vertices/Edges whose Deletion Preserves the Konig-Egervary Property
Published
• View Publication
• BIB
The graph G=(V,E) is called Konig-Egervary if the sum of its independence number and its matching number equals its order. Let RV(G) denote the number of vertices v such that G-v is Konig-Egervary, and let RE(G) denote the number of edges e such that G-e is Konig-Egervary. Clearly, RV(G) = |V| and RE(G) = |E| for bipartite graphs. Unlike the bipartiteness, the property of being a Konig-Egervary graph is not hereditary. In this paper, we present an equality expressing RV(G) in terms of some graph parameters, and a tight inequality bounding RE(G) in terms of the same parameters, when G is Konig-Egervary.
HIST-Critical Graphs and Malkevitch's Conjecture
In a given graph, a HIST is a spanning tree without $2$-valent vertices. Motivated by developing a better understanding of HIST-free graphs, i.e. graphs containing no HIST, in this article's first part we study HIST-critical graphs, i.e. HIST-free graphs in which every vertex-deleted subgraph does contain a HIST (e.g. a triangle). We give an almost complete characterisation of the orders for which these graphs exist and present an infinite family of planar examples which are $3$-connected and in which nearly all vertices are $4$-valent. This leads naturally to the second part in which we investigate planar $4$-regular graphs with and without HISTs, motivated by a conjecture of Malkevitch, which we computationally verify up to order $22$. First we enumerate HISTs in antiprisms, whereafter we present planar $4$-regular graphs with and without HISTs, obtained via line graphs. Finally, we confirm Malkevitch's conjecture for the family of line graphs of cyclically $4$-edge connected cubic graphs.
On independent domination and packing numbers of subcubic graphs
Published
• View Publication
• BIB
In a recent paper, Cho and Kim proved that in subcubic graphs, the independent domination number is at most three times the packing number. They subsequently posed the question of characterizing subcubic graphs that achieve this bound. In this paper, we completely solve the question by proving that exactly four graphs meet this bound.
Castelnuovo-Mumford regularity of the closed neighborhood ideal of a graph
Published in Journal of Algebraic Combinatorics, 61(1), 2025
• View Publication
• BIB
Let $G$ be a finite simple graph and let $NI(G)$ denote the closed neighborhood ideal of $G$ in a polynomial ring $R$. We show that if $G$ is a forest, then the Castelnuovo-Mumford regularity of $R/NI(G)$ is the same as the matching number of $G$, thus proving a conjecture of Sharifan and Moradi in the affirmative. We also show that the matching number of $G$ provides a lower bound for the Castelnuovo-Mumford regularity of $R/NI(G)$ for any $G$. Furthermore, we prove that, if $G$ contains a simplicial vertex, then $NI(G)$ admits a Betti splitting, and consequently, we show that the projective dimension of $R/NI(G)$ is also bounded below by the matching number of $G$, if $G$ is a forest or a unicyclic graph.
On combinatorial properties of Gruenberg--Kegel graphs of finite groups
Published
• View Publication
• BIB
If $G$ is a finite group, then the spectrum $ω(G)$ is the set of all element orders of $G$. The prime spectrum $π(G)$ is the set of all primes belonging to $ω(G)$. A simple graph $Γ(G)$ whose vertex set is $π(G)$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if $rs \in ω(G)$ is called the Gruenberg-Kegel graph or the prime graph of $G$.
In this paper, we prove that if $G$ is a group of even order, then the set of vertices which are non-adjacent to $2$ in $Γ(G)$ form a union of cliques. Moreover, we decide when a strongly regular graph is isomorphic to the Gruenberg-Kegel graph of a finite group. Besides this, we prove that a complete bipartite graph with each part of size at least $3$ can not be isomorphic to the Gruenberg-Kegel graph of a finite group.
A categorification for the partial-dual genus polynomial
Published
• View Publication
• BIB
The partial-dual genus polynomial $^\partial\varepsilon_G(z)$ of a ribbon graph $G$ is the generating function that enumerates all partial duals of $G$. In this paper, we give a categorification for this polynomial. The key ingredient of the construction is an extended Frobenius algebra related to unoriented topological quantum field theory.
Vertex degree sums for perfect matchings in 3-uniform hypergraphs
Published
• View Publication
• BIB
Let $n \equiv 0\, (\, \text{mod } 3\,)$ and $H_{n, n/3}^2$ be the 3-graph of order $n$, whose vertex set is partitioned into two sets $S$ and $T$ of size $\frac{1}{3}n+1$ and $\frac{2}{3}n -1$, respectively, and whose edge set consists of all triples with at least $2$ vertices in $T$. Suppose that $n$ is sufficiently large and $H$ is a 3-uniform hypergraph of order $n$ with no isolated vertex. Zhang and Lu [Discrete Math. 341 (2018), 748--758] conjectured that if $deg(u)+deg(v) > 2(\binom{n-1}{2}-\binom{2n/3}{2})$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a perfect matching or $H$ is a subgraph of $H_{n,n/3}^2$. We construct a counter-example to the conjecture. Furthermore, for all $γ>0$ and let $n \in 3 \mathbb{Z}$ be sufficiently large, we prove that if $deg(u)+deg(v) > (3/5+γ)n^2$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a perfect matching or $H$ is a subgraph of $H_{n,n/3}^2$. This implies a result of Zhang, Zhao and Lu [Electron. J. Combin. 25 (3), 2018].
Diameter vs Laplacian eigenvalue distribution
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $n$. It is known that any Laplacian eigenvalue of $G$ belongs to the interval $[0,n]$. For an interval $I\subseteq [0, n]$, denote by $m_GI$ the number of Laplacian eigenvalues of $G$ in $I$, counted with multiplicity. When $G$ is connected, known results on the Laplacian eigenvalue distribution related to the diameter $d$ of $G$ include: $m_G[n-d+2,n]\le n-d$ if $2\le d\le n-3$ and $m_G[n-d+1,n]\le n-d+1$ if $1\le d\le n-3$. In this paper, we show that $m_G[n-d,n]\le n-d+2$ if $2\le d\le n-4$, and $m_G[n-2d+4,n]\le n-2$ if $2\le d\le \lfloor\frac{n}{2} \rfloor$.
On maximum spectral radius of $\{H(3,3),~H(4,3)\}$-free graphs
Published
• View Publication
• BIB
Let $G$ be a simple connected graph of size $m$. Let $A$ be the adjacency matrix of $G$ and let $ρ(G)$ be the spectral radius of $G$. A graph is said to be $H$-free if it does not contain a subgraph isomorphic to $H$. Let $H(\ell,3)$ be the graph formed by taking a cycle of length $\ell$ and a triangle on a common vertex. Recently, Li, Lu and Peng [Y. Li, L. Lu, Y. Peng, Spectral extremal graphs for the bowtie, Discrete Math. 346(12) (2023) 113680.] showed that the unique $m$-edge $H(3,3)$-free spectral extremal graph is the join of $K_2$ with an independent set of $\frac{m-1}{2}$ vertices if $m\ge 8$ and the condition $m\ge 8$ is tight. In particular, if $G$ does not contain $H(3,3)$ as induced subgraph, they proved that $ρ(G) \leq \frac{1+\sqrt{4m-3}}{2} $ and equality holds when $G$ is isomorphic to $S_{\frac{m+3}{2},2}$. Note that Li et al. denoted $H(3,3)$ by $F_2$. In this paper, we find the maximum spectral radius and identify the graph with the largest spectral radius among all \{$H(3,3), H(4,3)$\}-free graphs of size odd $m$, where $m\geq 259$. Coincidentally, we show that $ρ(G) \leq \frac{1+\sqrt{4m-3}}{2}$ when $G$ forbids both $H(3,3)$ and $H(4,3)$. In our case, the equality holds when $G$ is isomorphic to the same graph.
Disjoint Isolating Sets and Graphs with Maximum Isolation Number
Published
• View Publication
• BIB
An isolating set in a graph is a set $X$ of vertices such that every edge of the graph is incident with a vertex of $X$ or its neighborhood. The isolation number of a graph, or equivalently the vertex-edge domination number, is the minimum number of vertices in an isolating set. Caro and Hansberg, and independently Żyliński, showed that the isolation number is at most one-third the order for every connected graph of order at least $6$. We show that in fact all such graphs have three disjoint isolating sets. Further, using a family introduced by Lemańska, Mora, and Souto-Salorio, we determine all graphs with equality in the original bound.
A generalization of perfect codes in the presence of star multiset transpositions
Let $0<\ell\in\mathbb{Z}$. The notion of an efficient dominating set or perfect code $S$ of a graph $G$ is generalized to that of an efficient dominating$\,^\ell$-set or perfect$^\ell$code, of the graph $G$, meaning that each vertex $v$ of $V(G)\setminus S$ has exactly $\ell$ neighbors in $S$, instead of just one neighbor. Such generalization is applied to star $j$-set transposition graphs based on permutations of multisets with each symbol repeated $j$ times, ($j\in\{\ell,\ell-1\}$). In such vertex-transitive graphs this approach produces total colorings, efficient dominating sets, also called perfect codes, etc.
Asymptotics of the Minimal Feedback Arc Set in Erdős-Rényi Graphs
Given a directed graph, the Minimal Feedback Arc Set (FAS) problem asks for a minimal set of arcs which, when removed, results in an acyclic graph. Equivalently, the FAS problem asks to find an ordering of the vertices that minimizes the number of feedback arcs. The FAS problem is considered an algorithmic problem of central importance in discrete mathematics. Our purpose in this paper is to consider the problem in the context of Erdős-Rényi random directed graphs, denoted $D(n,p)$, in which each possible directed arc is included with a fixed probability $p>0$. Our interest is the typical ratio of the number of feedforward arcs to the number of feedback arcs that are removed in the FAS problem. We show that as the number $n$ of vertices goes to infinity the probability that this ratio is greater than $1+ε$ for any fixed $ε> 0$ approaches zero. Similarly, letting $p$ go to zero as $n\rightarrow \infty$ this result remains true if $p>C\log{n}/n$ where $C$ depends on $ε$.
Reconstructing a shellable sphere from its facet-ridge graph
We show that the facet-ridge graph of a shellable simplicial sphere $Δ$ uniquely determines the entire combinatorial structure of $Δ$. This generalizes the celebrated result due to Blind and Mani (1987), and Kalai (1988) on reconstructing simple polytopes from their graphs. Our proof utilizes the notions of good acyclic orientations from Kalai's proof as well as $k$-systems introduced by Joswig, Kaibel, and Körner.
On the Ehrhart Theory of Generalized Symmetric Edge Polytopes
Published
• View Publication
• BIB
The symmetric edge polytope (SEP) of a (finite, undirected) graph is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. SEPs have been studied extensively in the past twenty years. Recently, Tóthmérész and, independently, D'Alí, Juhnke-Kubitzke, and Koch generalized the definition of an SEP to regular matroids, which are the matroids that can be represented by totally unimodular matrices. Generalized SEPs are known to have symmetric Ehrhart $h^*$-polynomials, and Ohsugi and Tsuchiya conjectured that (ordinary) SEPs have nonnegative $γ$-vectors.
In this article, we use combinatorial and Gröbner basis techniques to extend additional known properties of SEPs to generalized SEPs. Along the way, we show that generalized SEPs are not necessarily $γ$-nonnegative by providing explicit examples. We prove that the polytopes we construct are ``nearly'' $γ$-nonnegative in the sense that, by deleting exactly two elements from the matroid, one obtains SEPs for graphs that are $γ$-nonnegative. This provides further evidence that Ohsugi and Tsuchiya's conjecture holds in the ordinary case.
A Polynomial Kernel for Proper Helly Circular-arc Vertex Deletion
Published
• View Publication
• BIB
A proper Helly circular-arc graph is an intersection graph of a set of arcs on a circle such that none of the arcs properly contains any other arc and every set of pairwise intersecting arcs has a common intersection. The Proper Helly Circular-arc Vertex Deletion problem takes as input a graph $G$ and an integer $k$, and the goal is to check if we can remove at most $k$ vertices from the graph to obtain a proper Helly circular-arc graph; the parameter is $k$. Recently, Cao et al.~[MFCS 2023] obtained an FPT algorithm for this (and related) problem. In this work, we obtain a polynomial kernel for the problem.
How to cool a graph
Published
• View Publication
• BIB
We introduce a new graph parameter called the cooling number, inspired by the spread of influence in networks and its predecessor, the burning number. The cooling number measures the speed of a slow-moving contagion in a graph; the lower the cooling number, the faster the contagion spreads. We provide tight bounds on the cooling number via a graph's order and diameter. Using isoperimetric results, we derive the cooling number of Cartesian grids. The cooling number is studied in graphs generated by the Iterated Local Transitivity model for social networks. We conclude with open problems.
Spectral integral variation of signed graphs
We characterize when the spectral variation of the signed Laplacian matrices is integral after a new edge is added to a signed graph. As an application, for every fixed signed complete graph, we fully characterize the class of signed graphs to which one can recursively add new edges keeping spectral integral variation to make the signed complete graph.
An improved upper bound for the domination number of a graph
Published in Proceedings - Mathematical Sciences , 135(2), (2025), 42
• View Publication
• BIB
Let $G$ be a graph of order $n$. A classical upper bound for the domination number of a graph $G$ having no isolated vertices is $\lfloor\frac{n}{2}\rfloor$. However, for several families of graphs, we have $γ(G) \le \lfloor\sqrt{n}\rfloor$ which gives a substantially improved upper bound. In this paper, we give a condition necessary for a graph $G$ to have $γ(G) \le \lfloor\sqrt{n}\rfloor$, and some conditions sufficient for a graph $G$ to have $γ(G) \le \lfloor\sqrt{n}\rfloor$. We also present a characterization of all connected graphs $G$ of order $n$ with $γ(G) = \lfloor\sqrt{n}\rfloor$. Further, we prove that for a graph $G$ not satisfying $rad(G)=diam(G)=rad(\overline{G})=diam(\overline{G})=2$, deciding whether $γ(G) \le \lfloor\sqrt{n}\rfloor$ or $γ(\overline{G}) \le \lfloor\sqrt{n}\rfloor$ can be done in polynomial time. We conjecture that this decision problem can be solved in polynomial time for any graph $G$.