graph
35273 papers tagged with this keyword
Chromatic quasisymmetric functions of the path graph
Published
• View Publication
• BIB
We show that the chromatic quasisymmetric function (CQF) of a labeled path graph on $n$ vertices is not symmetric unless the labeling is the natural labeling $1, 2, ..., n$ or its reverse $n, ..., 2, 1$. We also show that the star graph $K_{1, n-1}$ with $n\geq 3$ has a nonsymmetric CQF for all labelings.
On vertex-girth-regular graphs: (Non-)existence, bounds and enumeration
Published
• View Publication
• BIB
A vertex-girth-regular $vgr(v,k,g,λ)$-graph is a $k$-regular graph of girth $g$ and order $v$ in which every vertex belongs to exactly $λ$ cycles of length $g$. While all vertex-transitive graphs are necessarily vertex-girth-regular, the majority of vertex-girth-regular graphs are not vertex-transitive. Similarly, while many of the smallest $k$-regular graphs of girth $g$, the so-called $(k,g)$-cages, are vertex-girth-regular, infinitely many vertex-girth-regular graphs of degree $k$ and girth $g$ exist for many pairs $k,g$. Due to these connections, the study of vertex-girth-regular graphs promises insights into the relations between the classes of extremal, highly symmetric, and locally regular graphs of given degree and girth. This paper lays the foundation to such study by investigating the fundamental properties of $vgr(v,k,g,λ)$-graphs, specifically the relations necessarily satisfied by the parameters $v,k,g$ and $λ$ to admit the existence of a corresponding vertex-girth-regular graph, by presenting constructions of infinite families of $vgr(v,k,g,λ)$-graphs, and by establishing lower bounds on the number $v$ of vertices in a $vgr(v,k,g,λ)$-graph. It also includes computational results determining the orders of smallest cubic and quartic graphs of small girths.
Upper bounds on the $k$-isolation number
Published
• View Publication
• BIB
The isolation number of a graph $G$ (also called the vertex-edge domination number of $G$), denoted by $ι(G)$, is the size of a smallest subset $D$ of the vertex set $V(G)$ of $G$ such that $G-N[D]$ (the graph obtained by deleting the closed neighbourhood $N[D]$ of $D$ from $G$) has no edges. For $k \geq 1$, the $k$-isolation number of $G$ is the size of a smallest subset $D$ of $V(G)$ such that the maximum degree of $G-N[D]$ is at most $k-1$. Thus, $ι_1(G) = ι(G)$. Let $n$ and $\ell$ be the number of vertices and the number of leaves of $G$, respectively. We show that if $n \geq 3$ and $G$ is connected, then $ι_k(G) \leq \frac{n - \ell}{2}$. We also show that if $G$ is a tree $T$, then $ι(T) \leq \frac{n + \ell}{4}$ and $ι_k(T) \leq \frac{n + \ell}{2k+1}$ for $k \geq 2$. These bounds together improve the inequality $ι_k(T) \leq \frac{n}{k+2}$ of Caro and Hansberg except that their inequality is better if $k \geq 2$ and $\frac{k-1}{k+2}n < \ell < \frac{k}{k+2}n$. Each of the new bounds is attainable if it is an integer. For each of them, we characterize all the graphs that attain it.
Vertex-transitive Neumaier graphs
A graph $Γ$ is called edge-regular whenever it is regular and for any two adjacent vertices, the number of their common neighbors is independent of the choice of vertices. A clique $C$ in $Γ$ is called regular whenever for any vertex out of $C$, the number of its neighbors in $C$ is independent of the vertex. A Neumaier graph is a non-complete edge-regular graph with a regular clique. In this paper, we study vertex-transitive Neumaier graphs. We give a necessary and sufficient condition under which a vertex-transitive Neumaier graph is strongly regular. We also identify Neumaier Cayley graphs with small valency at most $10$ among vertex-transitive Neumaier graphs.
On a question of Erdős and Gimbel on the cochromatic number
Published in Electron. J. Comb. 31(4), P4.72, 2024
• View Publication
• BIB
In this note, we show that the difference between the chromatic and the cochromatic number of the random graph $G_{n,1/2}$ is not whp bounded by $n^{1/2-o(1)}$, addressing a question of Erdős and Gimbel.
Graph Cordiality -- Extremes and Preservers
An undirected graph is said to be cordial if there is a friendly (0,1)-labeling of the vertices that induces a friendly (0,1)-labeling of the edges. An undirected graph $G$ is said to be $(2,3)$-orientable if there exists a friendly (0,1)-labeling of the vertices of $G$ such that about one third of the edges are incident to vertices labeled the same. That is, there is some digraph that is an orientation of $G$ that is $(2,3)$-cordial. Examples of the smallest noncordial/non-$(2,3)$-orientable graphs are given and upper bounds on the possible number of edges in a cordial/$(2,3)$-orientable graph are presented. It is also shown that if $T$ is a linear operator on the set of all undirected graphs on $n$ vertices that strongly preserves the set of cordial graphs or the set of $(2,3)$-orientable graphs then $T$ is a vertex permutation..
Colouring a graph with position sets
In this paper we consider a colouring version of the general position problem. The \emph{$\gp $-chromatic number} is the smallest number of colours needed to colour the vertices of the graph such that each colour class has the no-three-in-line property. We determine bounds on this colouring number in terms of the diameter, general position number, size, chromatic number, cochromatic number and total domination number and prove realisation results. We also determine the $\gp $-chromatic number of several graph classes, including Kneser graphs $K(n,2)$, line graphs of complete graphs, complete multipartite graphs, block graphs and Cartesian products. Finally, we show that the $\gp $-colouring problem is NP-complete.
The Median of Sierpinski Triangle Graphs
Published
• View Publication
• BIB
The median $M$ of a graph $G$ is the set of vertices with a minimum total distance to all other vertices in the graph. In this paper, we determine the median of Sierpiński triangle graphs. Sierpiński triangle graphs, also known as Sierpiński gasket graphs of order $n$ are graphs formed by contracting all non-clique edges from the Sierpiński graphs of order ($n+1$).
Palette Sparsification via FKNP
A random set $S$ is $p$-spread if, for all sets $T$, $$\mathbb{P}(S \supseteq T) \leq p^{|T|}.$$ There is a constant $C>1$ large enough that for every graph $G$ with maximum degree $D$, there is a $C/D$-spread distribution on $(D+1)$-colorings of $G$. Making use of a connection between thresholds and spread distributions due to Frankston, Kahn, Narayanan, and Park, a palette sparsification theorem of Assadi, Chen, and Khanna follows.
Enumeration of dihypergraphs with specified degrees and edge types
A dihypergraph consists of a set of vertices and a set of directed hyperedges, where each directed hyperedge is partitioned into a head and a tail. Directed hypergraphs are useful in many applications, including the study of chemical reactions or relational databases. We provide asymptotic formulae for the number of directed hypergraphs with given in-degree sequence, out-degree sequence, and the head and tail sizes of all directed hyperedges specified. Our formulae hold when none of the following parameters are too large: the maximum out-degree, the maximum in-degree, the maximum head size and the maximum tail size. If one of the four parameter sequences is near-regular, for example if each directed hyperedge has a tail of roughly the same size, then our formula is obtained using a simple argument based on existing asymptotic enumeration results for sparse bipartite graphs with given degree sequences. We also establish the same formula without the regularity assumption but with a larger relative error term, using a martingale argument.
Blowups of triangle-free graphs
Published in Advances in Combinatorics 2025:10, 23pp
• View Publication
• BIB
A highly influential result of Nikiforov states that if an $n$-vertex graph $G$ contains at least $γn^h$ copies of a fixed $h$-vertex graph $H$, then $G$ contains a blowup of $H$ of order $Ω_{γ,H}(\log n)$. While the dependence on $n$ is optimal, the correct dependence on $γ$ is unknown; all known proofs yield bounds that are polynomial in $γ$, but the best known upper bound, coming from random graphs, is only logarithmic in $γ$. It is a major open problem to narrow this gap. We prove that if $H$ is triangle-free, then the logarithmic behavior of the upper bound is the truth. That is, under the assumptions above, $G$ contains a blowup of $H$ of order $Ω_H (\log n/{\log(1/γ)})$. This is the first non-trivial instance where the optimal dependence in Nikiforov's theorem is known. As a consequence, we also prove an upper bound on multicolor Ramsey numbers of blowups of triangle-free graphs, proving that the dependence on the number of colors is polynomial once the blowup is sufficiently large. This shows that, from the perspective of multicolor Ramsey numbers, blowups of fixed triangle-free graphs behave like bipartite graphs.
On z-coloring and ${\rm b}^{\ast}$-coloring of graphs as improved variants of the b-coloring
Published
• View Publication
• BIB
Let $G$ be a simple graph and $c$ a proper vertex coloring of $G$. A vertex $u$ is called b-vertex in $(G,c)$ if all colors except $c(u)$ appear in the neighborhood of $u$. By a ${\rm b}^{\ast}$-coloring of $G$ using colors $\{1, \ldots, k\}$ we define a proper vertex coloring $c$ such that there is a b-vertex $u$ (called nice vertex) such that for each $j\in \{1, \ldots, k\}$ with $j\not=c(u)$, $u$ is adjacent to a b-vertex of color $j$. The ${\rm b}^{\ast}$-chromatic number of $G$ (denoted by ${\rm b}^{\ast}(G)$) is the largest integer $k$ such that $G$ has a ${\rm b}^{\ast}$-coloring using $k$ colors. Every graph $G$ admits a ${\rm b}^{\ast}$-coloring which is an improvement over the famous b-coloring. A z-coloring of $G$ is a coloring $c$ using colors $\{1, 2, \ldots, k\}$ containing a nice vertex of color $k$ such that for each two colors $i<j$, each vertex of color $j$ has a neighbor of color $i$ in the graph (i.e. $c$ is obtained from a greedy coloring of $G$). We prove that ${\rm b}^{\ast}(G)$ cannot be approximated within any constant factor unless $P=NP$. We obtain results for ${\rm b}^{\ast}$-coloring and z-coloring of block graphs, cacti, $P_4$-sparse graphs and graphs with girth greater than $4$. We prove that z-coloring and ${\rm b}^{\ast}$-coloring have a locality property. A linear 0-1 programming model is also presented for z-coloring of graphs. The positive results suggest that researches can be focused on ${\rm b}^{\ast}$-coloring (or z-coloring) instead of b-coloring of graphs.
When are quarnets sufficient to reconstruct semi-directed phylogenetic networks?
Published
• View Publication
• BIB
Phylogenetic networks are graphs that are used to represent evolutionary relationships between different taxa. They generalize phylogenetic trees since for example, unlike trees, they permit lineages to combine. Recently, there has been rising interest in semi-directed phylogenetic networks, which are mixed graphs in which certain lineage combination events are represented by directed edges coming together, whereas the remaining edges are left undirected. One reason to consider such networks is that it can be difficult to root a network using real data. In this paper, we consider the problem of when a semi-directed phylogenetic network is defined or encoded by the smaller networks that it induces on the 4-leaf subsets of its leaf set. These smaller networks are called quarnets. We prove that semi-directed binary level-2 phylogenetic networks are encoded by their quarnets, but that this is not the case for level-3. In addition, we prove that the so-called blob tree of a semi-directed binary network, a tree that give the coarse-grained structure of the network, is always encoded by the quarnets of the network. These results are relevant for proving the statistical consistency of programs that are currently being developed for reconstructing phylogenetic networks from practical data, such as the recently developed Squirrel software tool.
Context-free graphs and their transition groups
Starting from context-free inverse graphs, we introduce a new class of groups and study their structural properties. We establish closure properties, show that their co-word problems are context-free, analyze torsion elements, and realize them as subgroups of the asynchronous rational group. Context-freeness is preserved under a generalized free product of graphs, and using this construction we provide examples of groups that are not residually finite or not poly-context-free, making them relevant for testing the Lehnert and Brough conjectures. Moreover, we investigate how small local modifications of a graph affect the global structure of the transition group, showing that for locally quasi-transitive graphs with infinite orbits, the transition group decomposes into a highly structured quotient by a bounded torsion subgroup, showing strong global constraints induced by local graph properties.
Stanley's conjecture on the Schur positivity of distributive lattices
Published
• View Publication
• BIB
In this paper we solve an open problem on distributive lattices, which was proposed by Stanley in 1998. This problem was motivated by a conjecture due to Griggs, which equivalently states that the incomparability graph of the boolean algebra $B_n$ is nice. Stanley introduced the idea of studying the nice property of a graph by investigating the Schur positivity of its corresponding chromatic symmetric functions. Since the boolean algebras form a special class of distributive lattices, Stanley raised the question of whether the incomparability graph of any distributive lattice is Schur positive. Stanley further noted that this seems quite unlikely. In this paper, we construct a family of distributive lattices which are not nice and hence not Schur positive. We also provide a family of distributive lattices which are nice but not Schur positive.
Dowker duality, profunctors, and spectral sequences
The intent of this paper is to explore Dowker duality from a combinatorial, topological, and categorical perspective. The paper presents three short, new proofs of Dowker duality using various poset fiber lemmas. We introduce modifications of joins and products of simplicial complexes called relational join and relational product complexes. These relational complexes can be constructed whenever there is a relation between simplicial complexes, which includes the context of Dowker duality and covers of simplicial complexes. In this more general setting, we show that the homologies of the simplicial complexes and the relational complexes fit together in a long exact sequence. Similar results are then established for profunctors, which are generalizations of relations to categories. The cograph and graph of profunctors play the role of the relational join and relational product complexes. For a profunctor that arise from adjoint functors between $C$ and $D$, we show that $C$, $D$, the cograph, and the graph all have homotopy equivalent classifying spaces. Lastly, we show that given any profunctor from $D$ to $C$, the homologies of $C$, $D$, and the cograph form a long exact sequence.
$(t,r)$ Broadcast Domination Numbers and Densities of the Truncated Square Tiling Graph
Published
• View Publication
• BIB
For a pair of positive integer parameters $(t,r)$, a subset $T$ of vertices of a graph $G$ is said to $(t,r)$ broadcast dominate a graph $G$ if, for any vertex $u$ in $G$, we have $\sum_{v\in T, u\in N_t(v)}(t-d(u,v))\geq r$, where where $N_{t}(v)=\{u\in V:d(u,v)<t\}$ and $d(u,v)$ denotes the distance between $u$ and $v$. This can be interpreted as each vertex $v$ of $T$ sending $\max(t-\text{d}(u,v),0)$ signal to vertices within a distance of $t-1$ away from $v$. The signal is additive and we require that every vertex of the graph receives a minimum reception $r$ from all vertices in $T$. For a finite graph the smallest cardinality among all $(t,r)$ broadcast dominating sets of a graph is called the $(t,r)$ broadcast domination number. We remark that the $(2,1)$ broadcast domination number is the domination number and the $(t,1)$ (for $t\geq 1$) is the distance domination number of a graph.
We study a family of graphs that arise as a finite subgraph of the truncated square titling, which utilizes regular squares and octagons to tile the Euclidean plane. For positive integers $m$ and $n$, we let $H_{m,n}$ be the graph consisting of $m$ rows of $n$ octagons (cycle graph on $8$ vertices). For all $t\geq 2$, we provide lower and upper bounds for the $(t,1)$ broadcast domination number for $H_{m,n}$ for all $m,n\geq 1$. We give exact $(2,1)$ broadcast domination numbers for $H_{m,n}$ when $(m,n)\in\{(1,1),(1,2),(1,3),(1,4),(2,2)\}$. We also consider the infinite truncated square tiling, denoted $H_{\infty,\infty}$, and we provide constructions of infinite $(t,r)$ broadcasts for $(t,r)\in\{(2,1),(2,2),(3,1),(3,2),(3,3),(4,1)\}$. Using these constructions we give upper bounds on the density of these broadcasts i.e., the proportion of vertices needed to $(t,r)$ broadcast dominate this infinite graph. We end with some directions for future study.
A determinant formula of the Jones polynomial for a family of braids
Published
• View Publication
• BIB
In 2012, Cohen, Dasbach, and Russell presented an algorithm to construct a weighted adjacency matrix for a given knot diagram. In the case of pretzel knots, it is shown that after evaluation, the determinant of the matrix recovers the Jones polynomial. Although the Jones polynomial is known to be #P-hard by Jaeger, Vertigan, and Welsh, this presents a class of knots for which the Jones polynomial can be computed in polynomial time by using the determinant. In this paper, we extend these results by recovering the Jones polynomial as the determinant of a weighted adjacency matrix for certain subfamilies of the braid group. Lastly, we compute the Kauffman polynomial of (2,q) torus knots in polynomial time using the balanced overlaid Tait graphs. This is the first known example of generalizing the methodology of Cohen to a class of quantum invariants which cannot be derived from the HOMFLYPT polynomial.
Rank-$N$ Dimer Models on Surfaces
The web trace theorem of Douglas, Kenyon, Shi expands the twisted Kasteleyn determinant in terms of traces of webs. We generalize this theorem to higher genus surfaces and expand the twisted Kasteleyn matrices corresponding to spin structures on the surface, analogously to the rank-1 case of Cimasoni, Reshetikhin. In the process of the proof, we give an alternate geometric derivation of the planar web trace theorem, relying on the spin geometry of embedded loops and a `racetrack construction' used to immerse loops in the blowup graph on the surface.
Extremal number of cliques of given orders in graphs with a forbidden clique minor
Published
• View Publication
• BIB
Alon and Shikhelman initiated the systematic study of a generalization of the extremal function. Motivated by algorithmic applications, the study of the extremal function $\text{ex}(n, K_k, K_t\text{-minor})$, i.e., the number of cliques of order $k$ in $K_t$-minor free graphs on $n$ vertices, has received much attention. In this paper, we determine essentially sharp bounds on the maximum possible number of cliques of order $k$ in a $K_t$-minor free graph on $n$ vertices. More precisely, we determine a function $C(k,t)$ such that for each $k < t$ with $t-k\gg \log_2 t$, every $K_t$-minor free graph on $n$ vertices has at most $ n C(k, t)^{1+o_t(1)}$ cliques of order $k$. We also show this bound is sharp by constructing a $K_t$-minor-free graph on $n$ vertices with $C(k, t) n$ cliques of order $k$. This bound answers a question of Wood and Fox-Wei asymptotically up to $o_t(1)$ in the exponent except the extreme values when $k$ is very close to $t$.