graph
34585 papers tagged with this keyword
Normality and associated primes of Closed neighborhood ideals and dominating ideals
Published
• View Publication
• BIB
In this paper, we first give some sufficient criteria for normality of monomial ideals. As applications, we show that closed neighborhood ideals of complete bipartite graphs are normal, and hence satisfy the (strong) persistence property. We also prove that dominating ideals of complete bipartite graphs are nearly normally torsion-free. In addition, we show that dominating ideals of $h$-wheel graphs, under certain condition, are normal.
Ramsey-type problems on induced covers and induced partitions toward the Gyárfás-Sumner conjecture
Published
• View Publication
• BIB
Gyárfás and Sumner independently conjectured that for every tree $T$, there exists a function $f_{T}:\mathbb{N}\rightarrow \mathbb{N}$ such that every $T$-free graph $G$ satisfies $χ(G)\leq f_{T}(ω(G))$, where $χ(G)$ and $ω(G)$ are the {\it chromatic number} and the {\it clique number} of $G$, respectively. This conjecture gives a solution of a Ramsey-type problem on the chromatic number.
For a graph $G$, the {\it induced SP-cover number ${\rm inspc}(G)$} (resp. the {\it induced SP-partition number ${\rm inspp}(G)$}) of $G$ is the minimum cardinality of a family $\mathcal{P}$ of induced subgraphs of $G$ such that each element of $\mathcal{P}$ is a star or a path and $\bigcup _{P\in \mathcal{P}}V(P)=V(G)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(G)$). Such two invariants are directly related concepts to the chromatic number. From the viewpoint of this fact, we focus on Ramsey-type problems for two invariants ${\rm inspc}$ and ${\rm inspp}$, which are analogies of the Gyárfás-Sumner conjecture, and settle them. As a corollary of our results, we also settle other Ramsey-type problems for widely studied invariants.
On the $p$-Schatten Energy of Bipartite Graphs
Published
• View Publication
• BIB
We give a Coulson integral formula and a Coulson-Jacobs formula for the $p$-Schatten energy. We use this formulas to compare the $p$-Schatten energy of different trees by using a quasiorder, and establish the maximality of paths among all trees.
On Lyndon-Word Representable Graphs
In this short note, we first associate a new simple undirected graph with a given word over an ordered alphabet of $n$-letters. We will call it the Lyndon graph of that word. Then, we introduce the concept of the Lyndon-word representable graph as a graph isomorphic to a Lyndon graph of some word. Then, we introduce the generalized Stirling cycle number $S(N;n,k)$ as the number words of length $N$ with $k$ distinct Lydon words in their Lyndon factorization over an ordered alphabet of $n$-letters . Finally, we conclude the paper with several interesting open questions and conjectures for interested audiences.
Turán numbers $T(n,5,3)$ and graphs without induced $5$-cycles
Published in Journal of Graph Theory, vol. 104, no. 3, 2023, pp. 451-460
• View Publication
• BIB
Turán number $T(n,5,3)$ is the minimum size of a system of triples out of a base set $X$ of $n$ elements such that every quintuple in $X$ contains a triple from the system. The exact values of $T(n,5,3)$ are known for $n \leq 17$. Turán conjectured that $T(2m,5,3) = 2\binom{m}{3}$, and no counterexamples have been found so far. If this conjecture is true, then $T(2m+1,5,3) \geq \lceil m(m-2)(2m+1)/6\rceil$. We prove the matching upper bound for all $n = 2m+1 > 17$ except $n=27$.
On Graphs, Groups and Geometry
A metric space (X,d) is declared to be natural if (X,d) determines an up to isomorphism unique group structure (X,+) on the set X such that all the group translations and group inversion are isometries. A group is called natural if it emerges like this from a natural metric. A simple graph X is declared to be natural if (X,d) with geodesic metric d is natural. We look here at some examples and some general statements like that the graphical regular representations of a finite group is always a natural graphs or that the direct product on groups or the Shannon product of finite graphs preserves the property of being natural. The semi-direct product of finite natural groups is natural too as they are represented by Zig-Zag products of suitable Cayley graphs. It follows that wreath products preserve natural groups. The Rubik cube for example is natural. Also free products of finitely generated natural groups are natural. A major theme is that non-natural groups often can be upgraded to become natural by extending them to become Coxeter groups. Examples of non-natural groups are cyclic groups whose order is divisible by 4, the quaternion group, the integers, the lamplighter group, the free groups or the group of p-adic integers. The prototype feature is to extend the integers and get the infinite dihedral group, replacing the single generator by two free reflections. We conclude with a short discussion of the hypothesis of using the dihedral group as a physical time in dynamical system theory.
Dips at small sizes for topological graph obstruction sets
Published
• View Publication
• BIB
The Graph Minor Theorem of Robertson and Seymour implies a finite set of obstructions for any minor closed graph property. We show that there are only three obstructions to knotless embedding of size 23, which is far fewer than the 92 of size 22 and the hundreds known to exist at larger sizes. We describe several other topological properties whose obstruction set demonstrates a similar dip at small size. For order ten graphs, we classify the 35 obstructions to knotless embedding and the 49 maximal knotless graphs.
Computing homomorphisms in hereditary graph classes: the peculiar case of the 5-wheel and graphs with no long claws
For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the $H$-Coloring problem the graph $H$ is fixed and we ask whether an instance graph $G$ admits an $H$-coloring. A generalization of this problem is $H$-ColoringExt, where some vertices of $G$ are already mapped to vertices of $H$ and we ask if this partial mapping can be extended to an $H$-coloring.
We study the complexity of variants of $H$-Coloring in $F$-free graphs, i.e., graphs excluding a fixed graph $F$ as an induced subgraph. For integers $a,b,c \geq 1$, by $S_{a,b,c}$ we denote the graph obtained by identifying one endvertex of three paths on $a+1$, $b+1$, and $c+1$ vertices, respectively. For odd $k \geq 5$, by $W_k$ we denote the graph obtained from the $k$-cycle by adding a universal vertex.
As our main algorithmic result we show that $W_5$-ColoringExt is polynomial-time solvable in $S_{2,1,1}$-free graphs. This result exhibits an interesting non-monotonicity of $H$-ColoringExt with respect to taking induced subgraphs of $H$. Indeed, $W_5$ contains a triangle, and $K_3$-Coloring, i.e., classical 3-coloring, is NP-hard already in claw-free (i.e., $S_{1,1,1}$-free) graphs.
Our algorithm is based on two main observations:
1. $W_5$-ColoringExt in $S_{2,1,1}$-free graphs can be in polynomial time reduced to a variant of the problem of finding an independent set intersecting all triangles, and
2. the latter problem can be solved in polynomial time in $S_{2,1,1}$-free graphs.
We complement this algorithmic result with several negative ones. In particular, we show that $W_5$-ColoringExt is NP-hard in $S_{3,3,3}$-free graphs. This is again uncommon, as usually problems that are NP-hard in $S_{a,b,c}$-free graphs for some constant $a,b,c$ are already hard in claw-free graphs.
The Babylonian Graph
The Babylonian graph B has the positive integers as vertices and connects two if they define a Pythagorean triple. Triangular subgraphs correspond to Euler bricks. What are the properties of this graph? Are there tetrahedral subgraphs corresponding to Euler tesseracts? Is there only one infinite connected component? Are there two Euler bricks in the graph that are disconnected? Do the number of edges or triangles in the subgraph generated by the first n vertices grow like of the order n W(n), where n is the product log? We prove here some first results like the threshold where B(n) becomes non-planar. In an appendix, we include handout from a talk on Euler cuboids given in the year 2009.
Spectral radius and (globally) rigidity of graphs in $R^2$
Published
• View Publication
• BIB
Over the past half century, the rigidity of graphs in $R^2$ has aroused a great deal of interest. Lovász and Yemini (1982) proved that every $6$-connected graph is rigid in $R^2$. Jackson and Jordán (2005) provided a similar vertex-connectivity condition for the globally rigidity of graphs in $R^2$. These results imply that a graph $G$ with algebraic connectivity $μ(G)>5$ is (globally) rigid in $R^2$. Cioabă, Dewar and Gu (2021) improved this bound, and proved that a graph $G$ with minimum degree $δ\geq 6$ is rigid in $R^2$ if $μ(G)>2+\frac{1}{δ-1}$, and is globally rigid in $R^2$ if $μ(G)>2+\frac{2}{δ-1}$. In this paper, we study the (globally) rigidity of graphs in $R^2$ from the viewpoint of adjacency eigenvalues. Specifically, we provide sufficient conditions for a 2-connected (resp. 3-connected) graph with given minimum degree to be rigid (resp. globally rigid) in terms of the spectral radius. Furthermore, we determine the unique graph attaining the maximum spectral radius among all minimally rigid graphs of order $n$.
Subgraph densities in $K_r$-free graphs
Published
• View Publication
• BIB
In this paper we disprove a conjecture of Lidický and Murphy about the number of copies of a given graph in a $K_r$-free graph and give an alternative general conjecture. We also prove an asymptotically tight bound on the number of copies of any bipartite graph of radius at most $2$ in a triangle-free graph.
Generalized Riemann Functions, Their Weights, and the Complete Graph
Published
• View Publication
• BIB
By a {\em Riemann function} we mean a function $f\colon{\mathbb Z}^n\to{\mathbb Z}$ such that $f({\bf d})$ is equals $0$ for $d_1+\cdots+d_n$ sufficiently small, and equals $d_1+\cdots+d_n+C$ for a constant, $C$, for $d_1+\cdots+d_n$ sufficiently large. By adding $1$ to the Baker-Norine rank function of a graph, one gets an equivalent Riemann function, and similarly for related rank functions.
To each Riemann function we associate a related function $W\colon{\mathbb Z}^n\to{\mathbb Z}$ via Möbius inversion that we call the {\em weight} of the Riemann function. We give evidence that the weight seems to organize the structure of a Riemann function in a simpler way: first, a Riemann function $f$ satisfies a Riemann-Roch formula iff its weight satisfies a simpler symmetry condition. Second, we will calculate the weight of the Baker-Norine rank for certain graphs and show that the weight function is quite simple to describe; we do this for graphs on two vertices and for the complete graph.
For the complete graph, we build on the work of Cori and Le Borgne who gave a linear time method to compute the Baker-Norine rank of the complete graph. The associated weight function has a simple formula and is extremely sparse (i.e., mostly zero). Our computation of the weight function leads to another linear time algorithm to compute the Baker-Norine rank, via a formula likely related to one of Cori and Le Borgne, but seemingly simpler, namely $$ r_{{\rm BN},K_n}({\bf d}) = -1+\biggl| \biggl\{ i=0,\ldots,{\rm deg}({\bf d}) \ \Bigm| \ \sum_{j=1}^{n-2} \bigl( (d_j-d_{n-1}+i) \bmod n \bigr) \le {\rm deg}({\bf d})-i \biggr\} \biggr|. $$
Our study of weight functions leads to a natural generalization of Riemann functions, with many of the same properties exhibited by Riemann functions.
On the clique behavior and Hellyness of the complements of regular graphs
Published
• View Publication
• BIB
A collection of sets is intersecting, if any pair of sets in the collection has nonempty intersection. A collection of sets \(\mathcal{C}\) has the Helly property if any intersecting subcollection has nonempty intersection. A graph is /Helly/ if the collection of maximal complete subgraphs of \(G\) has the Helly property. We prove that if \(G\) is a \(k\)-regular graph with \(n\) vertices such that \(n>3k+\sqrt{2k^{2}-k}\), then the complement \(\bar{G}\) is not Helly. We also consider the problem of whether the properties of Hellyness and convergence under the clique graph operator are equivalent for the complement of \(k\)-regular graphs, for small values of \(k\).
Square roots of nearly planar graphs
We prove that it is NP-hard to decide whether a graph is the square of a 6-apex graph. This shows that the square root problem is not tractable for squares of sparse graphs (or even graphs from proper minor-closed classes).
Spectral measures and dominant vertices in graphs of bounded degree
Published
• View Publication
• BIB
A graph $G = (V, E)$ of bounded degree has an adjacency operator~$A$ which acts on the Hilbert space $\ell^2(V)$. There are different kinds of measures of interest on the spectrum $Σ(A)$ of $A$. In particular, each vector $ξ\in \ell^2(V)$ defines a local spectral measure $μ_ξ$ at $ξ$ on $Σ(A)$; therefore each vertex $v \in V$ defines a vector $δ_v \in \ell^2(V)$ and the associated measure $μ_v$ on $Σ(A)$. A vertex $v$ is dominant if, for all $w \in V$, the measure $μ_w$ is absolutely continuous with respect to $μ_v$ (it then follows that, for all $ξ\in \ell^2(V)$, the measure $μ_ξ$ is absolutely continuous with respect to $μ_v$). The main object of this paper is to show that all possibilities occur: in some graphs, for example in vertex-transitive graphs, all vertices are dominant; in other graphs, only some vertices are dominant; and there are graphs without dominant vertices at all.
A note on classes of subgraphs of locally finite graphs
Published
• View Publication
• BIB
We investigate the question how `small' a graph can be, if it contains all members of a given class of locally finite graphs as subgraphs or induced subgraphs. More precisely, we give necessary and sufficient conditions for the existence of a connected, locally finite graph $H$ containing all elements of a graph class $\mathcal G$. These conditions imply that such a graph $H$ exists for the class $\mathcal G_d$ consisting of all graphs with maximum degree $<d$ which raises the question whether in this case $H$ can be chosen to have bounded maximum degree. We show that this is not the case, thereby answering a question recently posed by Huynh et al.
Two Ramsey problems in blowups of graphs
Given graphs $G$ and $H$, we say $G \stackrel{r}{\to} H$ if every $r$-colouring of the edges of $G$ contains a monochromatic copy of $H$. Let $H[t]$ denote the $t$-blowup of $H$. The blowup Ramsey number $B(G \stackrel{r}{\to} H;t)$ is the minimum $n$ such that $G[n] \stackrel{r}{\to} H[t]$. Fox, Luo and Wigderson refined an upper bound of Souza, showing that, given $G$, $H$ and $r$ such that $G \stackrel{r}{\to} H$, there exist constants $a=a(G,H,r)$ and $b=b(H,r)$ such that for all $t \in \mathbb{N}$, $B(G \stackrel{r}{\to} H;t) \leq ab^t$. They conjectured that there exist some graphs $H$ for which the constant $a$ depending on $G$ is necessary. We prove this conjecture by showing that the statement is true in the case of $H$ being $3$-chromatically connected, which in particular includes triangles. On the other hand, perhaps surprisingly, we show that for forests $F$, the function $B(G \stackrel{r}{\to} F;t)$ is independent of $G$.
Second, we show that for any $r,t \in \mathbb{N}$, any sufficiently large $r$-edge coloured complete graph on $n$ vertices with $Ω(n^{2-1/t})$ edges in each colour contains a member from a certain finite family $\mathcal{F}^r_t$ of $r$-edge coloured complete graphs. This answers a conjecture of Bowen, Hansberg, Montejano and Müyesser.
Third order moments of complex Wigner matrices
We compute the third order moments of a complex Wigner matrix. We provide a formula for the third order moments $α_{m_1,m_2,m_3}$ in terms of quotient graphs $T_{m_1,m_2,m_3}^π$ where $π$ is the Kreweras complement of a non-crossing pairing on the annulus. We prove that these graphs can be counted using the set of partitioned permutations, this permits us to write the third order moments in terms of the high order free cumulants which have a simple expression.
The monopole-dimer model on Cartesian products of plane graphs
Published in Combinatorial Theory, Volume 3 no. 3, (2023), Article #3, 29pp
• View Publication
• BIB
The monopole-dimer model is a signed variant of the monomer-dimer model which has determinantal structure. We extend the monopole-dimer model for planar graphs (Math. Phys. Anal. Geom., 2015) to Cartesian products thereof and show that the partition function of this model can be expressed as a determinant of a generalised signed adjacency matrix. We then show that the partition function is independent of the orientations of the planar graphs so long as the orientations are Pfaffian. When these planar graphs are bipartite, we show that the computation of the partition function becomes especially simple. We then give an explicit product formula for the partition function of three-dimensional grid graphs a la Kasteleyn and Temperley--Fischer, which turns out to be fourth power of a polynomial when all grid lengths are even. Finally, we generalise this product formula to $d$ dimensions, again obtaining an explicit product formula. We conclude with a discussion on asymptotic formulas for the free energy and monopole densities.
An excluded minor theorem for the Wagner graph plus an edge
Let $V_{8}+e$ denote the unique graph obtained from the Wagner graph, also known as $V_{8}$, by adding an edge between two vertices of distance 3 on the Hamilton cycle, which is exactly a split of a minor of the Petersen graph. A complete characterization of all internally 4-connected graphs with no $V_{8}$ minor is given in [J. Maharry and N. Robertson, The structure of graphs not topologically containing the Wagner graph, J. Combin. Theory Ser. B 121 (2016) 398-420]. In this paper we characterize all internally 4-connected graphs with no $V_{8}+e$ minor.