graph
35436 papers tagged with this keyword
Total dominator total chromatic numbers of cycles and paths
Published
• View Publication
• BIB
The total dominator total coloring of a graph is a total coloring of the graph such that each object of the graph is adjacent or incident to every object of some color class. The minimum namber of the color classes of a total dominator total coloring of a graph is called the total dominator total chromatic number of the graph. Here, we will find the total dominator chromatic numbers of cycles and paths.
$K_r$-Factors in Graphs with Low Independence Number
Published
• View Publication
• BIB
A classical result by Hajnal and Szemerédi from 1970 determines the minimal degree conditions necessary to guarantee for a graph to contain a $K_r$-factor. Namely, any graph on $n$ vertices, with minimum degree $δ(G) \ge \left(1-\frac{1}{r}\right) n$ and $r$ dividing $n$ has a $K_r$-factor. This result is tight but the extremal examples are unique in that they all have a large independent set which is the bottleneck. Nenadov and Pehova showed that by requiring a sub-linear independence number the minimum degree condition in the Hajnal-Szemerédi theorem can be improved. We show that, with the same minimum degree and sub-linear independence number, we can find a clique-factor with double the clique size. More formally, we show for every $r\in \mathbb{N}$ and constant $μ>0$ there is a positive constant $γ$ such that every graph $G$ on $n$ vertices with $δ(G)\ge \left(1-\frac{2}{r}+μ\right)n$ and $α(G) < γn$ has a $K_r$-factor. We also give examples showing the minimum degree condition is asymptotically best possible.
Extended Nestohedra and their Face Numbers
Nestohedra are a family of convex polytopes that includes permutohedra, associahedra, and graph associahedra. In this paper, we study an extension of such polytopes, called extended nestohedra. We show that these objects are indeed the boundaries of simple polytopes, answering a question of Lam and Pylyavskyy. We also study the duals of (extended) nestohedra, giving a complete characterization of isomorphisms (as simplicial complexes) between the duals of extended nestohedra and a partial characterization of isomorphisms between the duals of nestohedra and extended nestohedra. In addition, we give formulas for their $f$-, $h$-, and $γ$-vectors. This includes showing that the $f$-vectors of the extended nestohedron corresponding to a forest $F$ and the nestohedron corresponding to the line graph of $F$ are the same, as well as showing that all flag extended nestohedra have nonnegative $γ$-vectors, thus proving Gal's conjecture for a large class of flag simple polytopes. We also relate the $f$- and $h$-vectors of the nestohedra and extended nestohedra, as well as give explicit formulas for the $h$- and $γ$-vectors in terms of descent statistics for a certain class of flag extended nestohedra. Finally, we define a partial ordering on partial permutations that is a join semilattice quotient of the weak Bruhar order on the symmetric group, and such that any linear extension of the partial order provides a shelling of the dual of the stellohedron.
On the Graph Laplacian and the Rankability of Data
Published
• View Publication
• BIB
Recently, Anderson et al. (2019) proposed the concept of rankability, which refers to a dataset's inherent ability to produce a meaningful ranking of its items. In the same paper, they proposed a rankability measure that is based on a integer program for computing the minimum number of edge changes made to a directed graph in order to obtain a complete dominance graph, i.e., an acyclic tournament graph. In this article, we prove a spectral-degree characterization of complete dominance graphs and apply this characterization to produce a new measure of rankability that is cost-effective and more widely applicable. We support the details of our algorithm with several results regarding the conditioning of the Laplacian spectrum of complete dominance graphs and the Hausdorff distance between their Laplacian spectrum and that of an arbitrary directed graph with weights between zero and one. Finally, we analyze the rankability of datasets from the world of chess and college football.
Generalized spectral characterization of mixed graphs
Published
• View Publication
• BIB
A mixed graph $G$ is a graph obtained from a simple undirected graph by orientating a subset of edges. $G$ is self-converse if it is isomorphic to the graph obtained from $G$ by reversing each directed edge. For two mixed graphs $G$ and $H$ with Hermitian adjacency matrices $A(G)$ and $A(H)$, we say $G$ is $\mathbb{R}$\emph{-cospectral} to $H$ if, for any $y\in \mathbb{R}$, $yJ-A(G)$ and $yJ-A(H)$ have the same spectrum, where $J$ is the all-one matrix. A self-converse mixed graph $G$ is said to be determined by its generalized spectrum, if any self-converse mixed graph that is $R$-cospectral with $G$ is isomorphic to $G$. Let $G$ be a self-converse mixed graph of order $n$ such that $2^{-\lfloor n/2\rfloor}\det W$ (which is always a real or pure imaginary Gaussian integer) is square-free in $\mathbb{Z}[i]$, where $W=[e,Ae,\ldots,A^{n-1}e]$, $A=A(G)$ and $e$ is the all-one vector. We prove that, for any self-converse mixed graph $H$ that is $\mathbb{R}$-cospectral to $G$, there exists a Gaussian rational unitary matrix $U$ such that $Ue=e$, $U^*A(G)U=A(H)$ and $(1+i)U$ is a Gaussian integral matrix. In particular, if $G$ is an ordinary graph (viewed as a mixed graph) satisfying the above condition, then any self-converse mixed graph $H$ that is $\mathbb{R}$-cospectral to $G$ is $G$ itself (in the sense of isomorphism). This strengthens a recent result of the first author.
Algebraic analysis of multiple social networks with multiplex
Published
• View Publication
• BIB
\pkg{multiplex} is a computer program that provides algebraic tools for the analysis of multiple network structures within the \proglang{R} environment. Apart from the possibility to create and manipulate multivariate data representing multiplex, signed, and two-mode networks, this package offers a collection of functions that deal with algebraic systems ---such as the partially ordered semigroup, and balance or cluster semirings--- their decomposition, and the enumeration of bundle patterns occurring at different levels of the network. Moreover, through Galois derivations between families of the pairs of subsets in different domains it is possible to analyze affiliation networks with an algebraic approach. Visualization of multigraphs, different forms of bipartite graphs, inclusion lattices, Cayley graphs is supported as well with related packages.
The spectral radius of graphs with no intersecting triangles
A graph on $2k+1$ vertices consisting of $k$ triangles which intersect in exactly one common vertex is called a $k$-fan and denoted by $F_k$. This paper aims to determine the graphs of order $n$ that have the maximum (adjacency) spectral radius among all graphs containing no $F_k$, for $n$ sufficiently large.
Maximum likelihood estimation for discrete exponential families and random graphs
Published
• View Publication
• BIB
We characterize the existence of the maximum likelihood estimator for discrete exponential families. Our criterion is simple to apply as we show in various settings, most notably for exponential models of random graphs. As an application, we point out the size of independent identically distributed samples for which the maximum likelihood estimator exists with high probability.
Perfect 2-colorings of Hamming graphs
Published in J. Comb. Des. 29(6) 2021, 367-396
• View Publication
• BIB
We consider the problem of existence of perfect $2$-colorings (equitable $2$-partitions) of Hamming graphs with given parameters. We start with conditions on parameters of graphs and colorings that are necessary for their existence. Next we observe known constructions of perfect colorings and propose some new ones giving new parameters. At last, we deduce which parameters of colorings are covered by these constructions and give tables of admissible parameters of $2$-colorings in Hamming graphs $H(n,q)$ for small $n$ and $q$. Using the connection with perfect colorings, we construct an orthogonal array OA(2048,7,4,5).
Dominated chromatic number of some operations on a graph
Let $G$ be a simple graph. The dominated coloring of a graph $G$ is a proper coloring of $G$ such that each color class is dominated by at least one vertex. The minimum number of colors needed for a dominated coloring of $G$ is called the dominated chromatic number of $G$, denoted by $χ_{dom}(G)$. In this paper, we examine the effects on $χ_{dom}(G)$ when $G$ is modified by operations on vertex and edge of $G$.
Distance domatic numbers for grid graphs
We say that a vertex-coloring of a graph is a proper k-distance domatic coloring if for each color, every vertex is within distance k from a vertex receiving that color. The maximum number of colors for which such a coloring exists is called the k-distance domatic number of the graph. The problem of determining the k-distance domatic number is motivated by questions about multi-agent networks including arrangements of sensors and robotics. Here, we find the exact k-distance domatic numbers for all grid graphs formed from the Cartesian product of two sufficiently long paths.
On the Strength of Chromatic Symmetric Homology for graphs
Published
• View Publication
• BIB
In this paper, we investigate the strength of chromatic symmetric homology as a graph invariant. Chromatic symmetric homology is a lift of the chromatic symmetric function for graphs to a homological setting, and its Frobenius characteristic is a q,t generalization of the chromatic symmetric function. We exhibit three pairs of graphs where each pair has the same chromatic symmetric function but distinct homology. We also show that integral chromatic symmetric homology contains torsion, and based on computations, conjecture that Z_2-torsion in bigrading (1,0) detects nonplanarity in the graph.
Uniformly vertex-transitive graphs
We introduce uniformly vertex-transitive graphs as vertex-transitive graphs satisfying a stronger condition on their automorphism groups, motivated by a problem which arises from a Sinkhorn-type algorithm. We use the derangement graph $D(Γ)$ of a given graph $Γ$ to show that the uniform vertex-transitivity of $Γ$ is equivalent to the existence of cliques of sufficient size in $D(Γ)$. Using this method, we find examples of graphs that are vertex-transitive but not uniformly vertex-transitive, settling a previously open question. Furthermore, we develop sufficient criteria for uniform vertex-transitivity in the situation of a graph with an imprimitive automorphism group. We classify the non-Cayley uniformly vertex-transitive graphs on less than 30 vertices outside of two complementary pairs of graphs.
Large independent sets in triangle-free cubic graphs: beyond planarity
Published in Advances in Combinatorics, 2020:7, 45 pp
• View Publication
• BIB
Every $n$-vertex planar triangle-free graph with maximum degree at most $3$ has an independent set of size at least $\frac{3}{8}n$. This was first conjectured by Albertson, Bollobás and Tucker, and was later proved by Heckman and Thomas. Fraughnaugh and Locke conjectured that the planarity requirement could be relaxed into just forbidding a few specific nonplanar subgraphs: They described a family $\mathcal{F}$ of six nonplanar graphs (each of order at most $22$) and conjectured that every $n$-vertex triangle-free graph with maximum degree at most $3$ having no subgraph isomorphic to a member of $\mathcal{F}$ has an independent set of size at least $\frac{3}{8}n$. In this paper, we prove this conjecture.
As a corollary, we obtain that every $2$-connected $n$-vertex triangle-free graph with maximum degree at most $3$ has an independent set of size at least $\frac{3}{8}n$, with the exception of the six graphs in $\mathcal{F}$. This confirms a conjecture made independently by Bajnok and Brinkmann, and by Fraughnaugh and Locke.
Least $Q$-eigenvalues of nonbipartite 2-connected graphs
Among all simple nonbipartite 2-connected graphs and among all nonbipartite $θ$-graphs, the minimum least $Q$-eigenvalues are completely determined, respectively.
A note on algebraic connectivity of 2-connected graphs
Among all simple 2-connected graphs, and among all $θ$-graphs, the graphs with the minimum algebraic connectivity are completely determined, respectively.
Factorization graphs of finite groups
We introduce the factorization graph of a finite group and study its connectedness and forbidden structures. We characterize all finite groups with connected factorization graphs and classify those with connected bipartite factorization graphs. Also, we obtain a classification of all groups with claw-free, $K_{1,4}$-free, and square-free factorization graphs, excluding the non-solvable groups in the latter case.
A reduction formula for Waring numbers through generalized Paley graphs
We give a reduction formula for the Waring number $g(k,q)$ over a finite field $\mathbb{F}_q$. By exploiting the relation between $g(k,q)$ with the diameter of the generalized Paley graph $Γ(k,q)$ and by using the characterization due to Pearce and Praeger (2019) of those $Γ(k,q)$ which are Cartesian decomposable, we obtain the reduction formula
$$g(\tfrac{p^{ab}-1}{bc},p^{ab}) = b g(\tfrac{p^a-1}{c},p^a)$$ for $p$ prime and $a,b,c$ positive integers under certain arithmetic conditions. Then, we find some arithmetic conditions to apply the formula above, which allow us to obtain many infinite families of explicit values of Waring numbers. Finally, we use the reduction formula together with the characterization of $2$-weight irreducible cyclic codes due to Schmidt and White (2002) to find infinite families of explicit even values of $g(k,q)$.
On Hedetniemi's conjecture and the Poljak-Rodl function
Published
• View Publication
• BIB
Hedetniemi conjectured in 1966 that $χ(G \times H) = \min\{χ(G), χ(H)\}$ for any graphs G and H. Here $G\times H$ is the graph with vertex set
$ V(G)\times V(H)$ defined by putting $(x,y)$ and $(x',y')$ adjacent if and only if
$xx'\in E(G)$ and $yy'\in V(H)$. This conjecture received a lot of attention in the past half century.
It was disproved recently by Shitov.
The Poljak-Rödl function is defined as $f(n) = \min\{χ(G \times H): χ(G)=χ(H)=n\}$.
Hedetniemi's conjecture is equivalent to saying $f(n)=n$ for all integer $n$. Shitov's result shows that
$f(n)<n$ when $n$ is sufficiently large. Using Shitov's result, Tardif and Zhu showed that $f(n) \le n - (\log n)^{1/4}$ for sufficiently large $n$. Using Shitov's method, He--Wigderson showed that for $ε\approx 10^{-9}$ and $n$ sufficiently large, $f(n) \le (1-ε)n$. In this note we prove that a slight modification of the proof in the paper of Zhu and Tardif shows that $f(n) \le (\frac 12 + o(1))n$ for sufficiently large $n$. On the other hand, it is unknown whether $f(n)$ is bounded by a constant. However, we do know that if $f(n)$ is bounded by a constant, then the smallest such constant is at most $9$. This lecture note gives self-contained proofs of the above mentioned results.
Combinatorial generation via permutation languages. II. Lattice congruences
Published
• View Publication
• BIB
This paper deals with lattice congruences of the weak order on the symmetric group, and initiates the investigation of the cover graphs of the corresponding lattice quotients. These graphs also arise as the skeleta of the so-called quotientopes, a family of polytopes recently introduced by Pilaud and Santos [Bull. Lond. Math. Soc., 51:406-420, 2019], which generalize permutahedra, associahedra, hypercubes and several other polytopes. We prove that all of these graphs have a Hamilton path, which can be computed by a simple greedy algorithm. This is an application of our framework for exhaustively generating various classes of combinatorial objects by encoding them as permutations. We also characterize which of these graphs are vertex-transitive or regular via their arc diagrams, give corresponding precise and asymptotic counting results, and we determine their minimum and maximum degrees. Moreover, we investigate the relation between lattice congruences of the weak order and pattern-avoiding permutations.