graph
34516 papers tagged with this keyword
The poset associahedron $f$-vector is a comparability invariant
We show that the $f$-vector of Galashin's poset associahedron $\mathscr A(P)$ only depends on the comparability graph of $P$. In particular, this allows us to produce a family of polytopes with the same $f$-vectors as permutohedra, but that are not combinatorially equivalent to permutohedra.
Variations of GIT quotients and dimer combinatorics for toric compound Du Val singularities
A dimer model is a bipartite graph described on the real two-torus, and it gives the quiver as the dual graph. It is known that for any three-dimensional Gorenstein toric singularity, there exists a dimer model such that a GIT quotient parametrizing stable representations of the associated quiver is a projective crepant resolution of this singularity for some stability parameter. It is also known that the space of stability parameters has the wall-and-chamber structure, and for any projective crepant resolution of a three-dimensional Gorenstein toric singularity can be realized as the GIT quotient associated to a stability parameter contained in some chamber. In this paper, we consider dimer models giving rise to projective crepant resolutions of a toric compound Du Val singularity. We show that sequences of zigzag paths, which are special paths on a dimer model, determine the wall-and-chamber structure of the space of stability parameters. Moreover, we can track the variations of stable representations under wall-crossing using the sequences of zigzag paths.
On Steinerberger Curvature and Graph Distance Matrices
Published in Discrete Math. 348 (2025), no. 8, Paper No. 114475, 12 pp.; MR4875438
• View Publication
• BIB
Steinerberger proposed a notion of curvature on graphs involving the graph distance matrix (J. Graph Theory, 2023). We show that nonnegative curvature is almost preserved under three graph operations. We characterize the distance matrix and its null space after adding an edge between two graphs. Let $D$ be the graph distance matrix and $\mathbf{1}$ be the all-one vector. We provide a way to construct graphs so that the linear system $Dx = \mathbf{1}$ does not have a solution.
The number of realisations of a rigid graph in Euclidean and spherical geometries
Published in Algebraic Combinatorics 7, 2024
• View Publication
• BIB
A graph is $d$-rigid if for any generic realisation of the graph in $\mathbb{R}^d$ (equivalently, the $d$-dimensional sphere $\mathbb{S}^d$), there are only finitely many non-congruent realisations in the same space with the same edge lengths. By extending this definition to complex realisations in a natural way, we define $c_d(G)$ to be the number of equivalent $d$-dimensional complex realisations of a $d$-rigid graph $G$ for a given generic realisation, and $c^*_d(G)$ to be the number of equivalent $d$-dimensional complex spherical realisations of $G$ for a given generic spherical realisation. Somewhat surprisingly, these two realisation numbers are not always equal. Recently developed algorithms for computing realisation numbers determined that the inequality $c_2(G) \leq c_2^*(G)$ holds for any minimally 2-rigid graph $G$ with 12 vertices or less. In this paper we confirm that, for any dimension $d$, the inequality $c_d(G) \leq c_d^*(G)$ holds for every $d$-rigid graph $G$. This result is obtained via new techniques involving coning, the graph operation that adds an extra vertex adjacent to all original vertices of the graph.
Further results on the Hunters and Rabbit game through monotonicity
Hunters and Rabbit game is played on a graph $G$ where the Hunter player shoots at $k$ vertices in every round while the Rabbit player occupies an unknown vertex and, if not shot, must move to a neighbouring vertex after each round. The Rabbit player wins if it can ensure that its position is never shot. The Hunter player wins otherwise. The hunter number $h(G)$ of a graph $G$ is the minimum integer $k$ such that the Hunter player has a winning strategy (i.e., allowing him to win whatever be the strategy of the Rabbit player). This game has been studied in several graph classes, in particular in bipartite graphs (grids, trees, hypercubes...), but the computational complexity of computing $h(G)$ remains open in general graphs and even in trees. To progress further, we propose a notion of monotonicity for the Hunters and Rabbit game imposing that, roughly, a vertex that has already been shot ``must not host the rabbit anymore''. This allows us to obtain new results in various graph classes.
Let the monotone hunter number be denoted by $mh(G)$. We show that $pw(G) \leq mh(G) \leq pw(G)+1$ for any graph $G$ with pathwidth $pw(G)$, implying that computing $mh(G)$, or even approximating $mh(G)$ up to an additive constant, is NP-hard. Then, we show that $mh(G)$ can be computed in polynomial time in split graphs, interval graphs, cographs and trees. These results go through structural characterisations which allow us to relate the monotone hunter number with the pathwidth in some of these graph classes. In all cases, this allows us to specify the hunter number or to show that there may be an arbitrary gap between $h$ and $mh$, i.e., that monotonicity does not help. In particular, we show that, for every $k\geq 3$, there exists a tree $T$ with $h(T)=2$ and $mh(T)=k$. We conclude by proving that computing $h$ (resp., $mh$) is FPT parameterised by the minimum size of a vertex cover.
Bounding mean orders of sub-$k$-trees of $k$-trees
Published in Electronic Journal of Combinatorics 31(1): P1.62, 2024
• View Publication
• BIB
For a $k$-tree $T$, we prove that the maximum local mean order is attained in a $k$-clique of degree $1$ and that it is not more than twice the global mean order. We also bound the global mean order if $T$ has no $k$-cliques of degree $2$ and prove that for large order, the $k$-star attains the minimum global mean order. These results solve the remaining problems of Stephens and Oellermann [J. Graph Theory 88 (2018), 61-79] concerning the mean order of sub-$k$-trees of $k$-trees.
Colouring Complete Multipartite and Kneser-type Digraphs
The dichromatic number of a digraph $D$ is the smallest $k$ such that $D$ can be partitioned into $k$ acyclic subdigraphs, and the dichromatic number of an undirected graph is the maximum dichromatic number over all its orientations. Extending a well-known result of Lovász, we show that the dichromatic number of the Kneser graph $KG(n,k)$ is $Θ(n-2k+2)$ and that the dichromatic number of the Borsuk graph $BG(n+1,a)$ is $n+2$ if $a$ is large enough. We then study the list version of the dichromatic number. We show that, for any $\varepsilon>0$ and $2\leq k\leq n^{1/2-\varepsilon}$, the list dichromatic number of $KG(n,k)$ is $Θ(n\ln n)$. This extends a recent result of Bulankina and Kupavskii on the list chromatic number of $KG(n,k)$, where the same behaviour was observed. We also show that for any $ρ>3$, $r\geq 2$ and $m\geq\max\{\ln^ρr,2\}$, the list dichromatic number of the complete $r$-partite graph with $m$ vertices in each part is $Θ(r\ln m)$, extending a classical result of Alon. Finally, we give a directed analogue of Sabidussi's theorem on the chromatic number of graph products.
On generalised majority edge-colourings of graphs
A $\frac{1}{k}$-majority $l$-edge-colouring of a graph $G$ is a colouring of its edges with $l$ colours such that for every colour $i$ and each vertex $v$ of $G$, at most $\frac{1}{k}$'th of the edges incident with $v$ have colour $i$. We conjecture that for every integer $k\geq 2$, each graph with minimum degree $δ\geq k^2$ is $\frac{1}{k}$-majority $(k+1)$-edge-colourable and observe that such result would be best possible. This was already known to hold for $k=2$. We support the conjecture by proving it with $2k^2$ instead of $k^2$, which confirms the right order of magnitude of the conjectured optimal lower bound for $δ$. We at the same time improve the previously known bound of order $k^3\log k$, based on a straightforward probabilistic approach. As this technique seems not applicable towards any further improvement, we use a more direct non-random approach. We also strengthen our result, in particular substituting $2k^2$ by $(\frac{7}{4}+o(1))k^2$. Finally, we provide the proof of the conjecture itself for $k\leq 4$ and completely solve an analogous problem for the family of bipartite graphs.
Associativity certificates for Kontsevich's star-product $\star$ mod $\bar{o}(\hbar^k)$: $k\leqslant 6$ unlike $k\geqslant7$
Published in Journal of Physics: Conference Series, Vol.2667 (2023), Paper 012080, pp.1--8
• View Publication
• BIB
The formula $\star$ mod $\bar{o}(\hbar^k)$ of Kontsevich's star-product with harmonic propagators was known in full at $\hbar^{k\leqslant 6}$ since 2018 for generic Poisson brackets, and since 2022 also at $k=7$ for affine brackets. We discover that the mechanism of associativity for the star-product up to $\bar{o}(\hbar^6)$ is different from the mechanism at order $7$ for both the full star-product and the affine star-product. Namely, at lower orders the needed consequences of the Jacobi identity are immediately obtained from the associator mod $\bar{o}(\hbar^6)$, whereas at order $\hbar^7$ and higher, some of the necessary differential consequences are reached from the Kontsevich graphs in the associator in strictly more than one step.
Spreading in graphs
Several concepts that model processes of spreading (of information, disease, objects, etc.) in graphs or networks have been studied. In many contexts, we assume that some vertices of a graph $G$ are contaminated initially, before the process starts. By the $q$-forcing rule, a contaminated vertex having at most $q$ uncontaminated neighbors enforces all the neighbors to become contaminated, while by the $p$-percolation rule, an uncontaminated vertex becomes contaminated if at least $p$ of its neighbors are contaminated. In this paper, we consider sets $S$ that are at the same time $q$-forcing sets and $p$-percolating sets, and call them $(p,q)$-spreading sets. Given positive integers $p$ and $q$, the minimum cardinality of a $(p,q)$-spreading set in $G$ is a $(p,q)$-spreading number, $σ_{(p,q)}(G)$, of $G$. While $q$-forcing sets have been studied in a dozen of papers, the decision version of the corresponding graph invariant has not been considered earlier, and we fill the gap by proving its NP-completeness. This, in turn, enables us to prove the NP-completeness of the decision version of the $(p,q)$-spreading number in graphs for an arbitrary choice of $p$ and $q$. Again, for every $p\in \mathbb{N}$ and $q\in\mathbb{N}\cup\{\infty\}$, we find a linear-time algorithm for determining the $(p,q)$-spreading number of a tree. In addition, we present a lower and an upper bound on the $(p,q)$-spreading number of a tree and characterize extremal families of trees. In the case of square grids, we combine some known results and new results on $(2,1)$-spreading and $(4,q)$-spreading to obtain $σ_{(p,q)}(P_m\Box P_n)$ for all $(p,q)\in (\mathbb{N}\setminus\{3\})\times (\mathbb{N}\cup\{\infty\})$ and all $m,n\in\mathbb{N}$.
Artin-Ihara L-functions for hypergraphs
We generalize Artin-Ihara L-functions for graphs to hypergraphs by exploring several analogous notions, such as (unramified) Galois coverings and Frobenius elements. To a hypergraph $H$, one can naturally associate a bipartite graph $B_H$ encoding incidence relations of $H$. We study Artin-Ihara $L$-functions of hypergraphs $H$ by using Artin-Ihara $L$-functions of associated bipartite graphs $B_H$. As a result, we prove various properties for Artin-Ihara L-functions for hypergraphs. For instance, we prove that the Ihara zeta function of a hypergraph $H$ can be written as a product of Artin-Ihara $L$-functions.
Distinguishing graphs with two integer matrices
It is well known that the spectrum and the Smith normal form of a matrix can be computed in polynomial time. Thus, it is interesting to explore how good are these parameters for distinguishing graphs. This is relevant since it is related to the Graph Isomorphism Problem (GIP), which asks to determine whether two graphs are isomorphic. In this paper, we explore the computational advantages of using the spectrum and the Smith normal form of two matrices associated with a graph. By considering the SNF or the spectrum of two matrices of a graph as a single parameter, we compute the number of non-isomorphic graphs with the same parameter with up to 9 vertices, and with up to 10 vertices when the number of graphs with 9 vertices with the same parameter is less than 1000. Focusing on the best 20 combinations of matrices for graphs with 10 vertices, we notice that the number of such graphs with a mate is less than 100 in any of these 20 cases. This computational result improves on similar previous explorations. Therefore, the use of the spectrum or the SNF of two matrices at the same time shows a substantial improvement in distinguishing graphs.
The Sierpiński Domination Number
Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. In this paper, we define the Sierpiński domination number as the minimum of $γ(G\otimes _f H)$ over all functions $f \colon V(G)\rightarrow V(H)$. The upper Sierpiński domination number is defined analogously as the corresponding maximum. After establishing general upper and lower bounds, we determine the upper Sierpiński domination number of the Sierpiński product of two cycles, and determine the lower Sierpiński domination number of the Sierpiński product of two cycles in half of the cases and in the other half cases restrict it to two values.
Spectral Turán problem for $\mathcal{K}_5^{-}$-free signed graphs
The classical spectral Turán problem is to determine the maximum spectral radius of an $\mathcal{F}$-free graph of order $n.$ Let $\mathcal{K}_{k}^{-}$ be the set of all unbalanced $K_k.$ In this paper, we focus on the spectral Turán problem of $\mathcal{K}_{k}^{-}$-free unbalanced signed graph for $k\geq5$. Moreover, we give an answer for $k=5$ and completely characterize the corresponding extremal signed graph.
Cumulant expansion for counting Eulerian orientations
An Eulerian orientation is an orientation of the edges of a graph such that every vertex is balanced: its in-degree equals its out-degree. Counting Eulerian orientations corresponds to the crucial partition function in so-called ``ice-type models'' in statistical physics and is known to be hard for general graphs. For all graphs with good expansion properties and degrees larger than $\log^{8} n$, we derive an asymptotic expansion for this count that approximates it to precision $O(n^{-c})$ for arbitrary large $c$, where $n$ is the number of vertices. The proof relies on a new tail bound for the cumulant expansion of the Laplace transform, which is of independent interest.
Embedding simply connected 2-complexes in 3-space
Firstly, we characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by nine excluded minors. This answers questions of Lovász, Pardon and U. Wagner.
The excluded minors are the cones over $K_5$ and $K_{3,3}$, five related constructions, and the remaining two are obtained from triangulations of the Möbius strip by attaching a disc at its central cycle.
Secondly, we extend the above theorem to all simply connected 2-dimensional simplicial complexes.
Connected graphs with a given dissociation number attaining the minimum spectral radius
A dissociation set of a graph is a set of vertices which induces a subgraph with maximum degree less than or equal to one. The dissociation number of a graph is the maximum cardinality of its dissociation sets. In this paper, we study the connected graphs of order $n$ with a given dissociation number that attains the minimum spectral radius. We characterize these graphs when the dissociation number is in $\{n-1,~n-2,~\lceil2n/3\rceil,~\lfloor2n/3\rfloor,~2\}$. We also prove that these graphs are trees when the dissociation number is larger than $\lceil {2n}/{3}\rceil$.
m-distance-regular graphs and their relation to multivariate P-polynomial association schemes
An association scheme is $P$-polynomial if and only if it consists of the distance matrices of a distance-regular graph. Recently, bivariate $P$-polynomial association schemes of type $(α,β)$ were introduced by Bernard et al., and multivariate $P$-polynomial association schemes were later defined by Bannai et al. In this paper, the notion of $m$-distance-regular graph is defined and shown to give a graph interpretation of the multivariate $P$-polynomial association schemes. Various examples are provided. Refined structures and additional constraints for multivariate $P$-polynomial association schemes and $m$-distance-regular graphs are also considered. In particular, bivariate $P$-polynomial schemes of type $(α, β)$ are discussed, and their connection to 2-distance-regular graphs is established.
Spectral properties of edge Laplacian matrix
Published in Proceedings of the Jangjeon Mathematical Society, 2023
• Search Publication
Let $N(X)$ be the Laplacian matrix of a directed graph obtained from the edge adjacency matrix of a graph $X.$ In this work, we study the bipartiteness property of the graph with the help of $N(X).$ We computed the spectrum of the edge Laplacian matrix for the regular graphs, the complete bipartite graphs, and the trees. Further, it is proved that given a graph $X,$ the characteristic polynomial of $N(X)$ divides the characteristic polynomial of $N(X^{\prime\prime}),$ where $X^{\prime\prime}$ denote the Kronecker double cover of $X.$
Large dilates of hypercube graphs in the plane
Published in Anal. Math. 50 (2024), 893-915
• View Publication
• BIB
We study a distance graph $Γ_n$ that is isomorphic to the $1$-skeleton of an $n$-dimensional unit hypercube. We show that every measurable set of positive upper Banach density in the plane contains all sufficiently large dilates of $Γ_n$. This provides the first examples of distance graphs other than the trees for which a dimensionally sharp embedding in positive density sets is known.