graph
35436 papers tagged with this keyword
The threshold for the full perfect matching color profile in a random coloring of random graphs
Published
• View Publication
• BIB
Consider a graph $G$ with a coloring of its edge set $E(G)$ from a set $Q = \set{c_1,c_2, \ldots, c_q}$. Let $Q_i$ be the set of all edges colored with $c_i$. Recently, Frieze defined a notion of the perfect matching color profile denoted by $\mcp(G)$, which is the set of vectors $(m_1, m_2, \ldots, m_q) \in [n]^q$ such that there exists a perfect matching $M$ in $G$ with $|Q_i \cap M| = m_i$ for all $i$. Let $\a_1, \a_2, \ldots, \a_q$ be positive constants such that $\sum_{i=1}^q \a_i = 1$. Let $G$ be the random bipartite graph $G_{n,n,p}$. Suppose the edges of $G$ are independently colored with color $c_i$ with probability $α_i$. We determine the threshold for the event $\mcp(G) = \set{(m_1, \ldots, m_q) \in [0,n]^q : m_1 + \cdots + m_q = n}$, answering a question posed by Frieze. We further extend our methods to find the threshold for the same event in a randomly colored random graph $G_{n,p}$.
Critical group structure from the parameters of a strongly regular graph
Published
• View Publication
• BIB
We give simple arithmetic conditions that force the Sylow $p$-subgroup of the critical group of a strongly regular graph to take a specific form. These conditions depend only on the parameters $(v, k, λ, μ)$ of the strongly regular graph under consideration. We give many examples, including how the theory can be used to compute the critical group of Conway's $99$-graph and to give an elementary argument that no $srg(28,9,0,4)$ exists.
Partial difference sets and amorphic Cayley schemes in non-abelian $2$-groups
Published
• View Publication
• BIB
In this paper, we consider regular automorphism groups of graphs in the RT$2$ family and the Davis-Xiang family and amorphic abelian Cayley schemes from these graphs. We derive general results on the existence of non-abelian regular automorphism groups from abelian regular automorphism groups and apply them to the RT$2$ family and Davis-Xiang family and their amorphic abelian Cayley schemes to produce amorphic non-abelian Cayley schemes.
Isotopy classes of 3-periodic net embeddings
Published
• View Publication
• BIB
Entangled embedded periodic nets and crystal frameworks are defined, along with their dimension type, homogeneity type, adjacency depth and periodic isotopy type. We obtain periodic isotopy classifications for various families of embedded nets with small quotient graphs. We enumerate the 25 periodic isotopy classes of depth 1 embedded nets with a single vertex quotient graph. Additionally, we classify embeddings of n-fold copies of pcu with all connected components in a parallel orientation and n vertices in a repeat unit, and determine their maximal symmetry periodic isotopes. We also introduce the methodology of linear graph knots on the flat 3-torus [0, 1)^3. These graph knots, with linear edges, are spatial embeddings of the labelled quotient graphs of an embedded net which are associated with its periodicity bases.
Edge-critical subgraphs of Schrijver graphs
Published in Journal of Combinatorial Theory, Series B 144: 191-196, 2020
• View Publication
• BIB
For $k\geq 1$ and $n\geq 2k$, the Kneser graph $KG(n,k)$ has all $k$-element subsets of an $n$-element set as vertices; two such subsets are adjacent if they are disjoint. It was first proved by Lovász that the chromatic number of $KG(n,k)$ is $n-2k+2$. Schrijver constructed a vertex-critical subgraph $SG(n,k)$ of $KG(n,k)$ with the same chromatic number. For the stronger notion of criticality defined in terms of removing edges, however, no analogous construction is known except in trivial cases. We provide such a construction for $k=2$ and arbitrary $n\geq 4$ by means of a nice explicit combinatorial definition.
Minimum entropy stochastic block models neglect edge distribution heterogeneity
Published
• View Publication
• BIB
The statistical inference of stochastic block models as emerged as a mathematicaly principled method for identifying communities inside networks. Its objective is to find the node partition and the block-to-block adjacency matrix of maximum likelihood i.e. the one which has most probably generated the observed network. In practice, in the so-called microcanonical ensemble, it is frequently assumed that when comparing two models which have the same number and sizes of communities, the best one is the one of minimum entropy i.e. the one which can generate the less different networks. In this paper, we show that there are situations in which the minimum entropy model does not identify the most significant communities in terms of edge distribution, even though it generates the observed graph with a higher probability.
Digital Fundamental Groups and Edge Groups of Clique Complexes
Published
• View Publication
• BIB
In previous work, we have defined---intrinsically, entirely within the digital setting---a fundamental group for digital images. Here, we show that this group is isomorphic to the edge group of the clique complex of the digital image considered as a graph. The clique complex is a simplicial complex and its edge group is well-known to be isomorphic to the ordinary (topological) fundamental group of its geometric realization. This identification of our intrinsic digital fundamental group with a topological fundamental group---extrinsic to the digital setting---means that many familiar facts about the ordinary fundamental group may be translated into their counterparts for the digital fundamental group: The digital fundamental group of any digital circle is $\mathbb{Z}$; a version of the Seifert-van Kampen Theorem holds for our digital fundamental group; every finitely presented group occurs as the (digital) fundamental group of some digital image. We also show that the (digital) fundamental group of every 2D digital image is a free group.
Determining Geodesic Distance on Arbitrary-order Subdivision of Tree with Applications
The problem of how to estimate diffusion on a graph effectively is of importance both theoretically and practically. In this paper, we make use of two widely studied indices, geodesic distance and mean first-passage time ($MFPT$) for random walk, to consider such a problem on some treelike models of interest. To this end, we first introduce several types of operations, for instance, $m$th-order subdivision and ($1,m$)-star-fractal operation, to generate the potential candidate models. And then, we develop a class of novel techniques based on mapping for calculating the exact formulas of the both quantities above on our models. Compared to those previous tools including matrix-based methods for addressing the issue of this type, the techniques proposed here are more general mainly because we generalize the initial condition for creating these models. Meantime, in order to show applications of our techniques to many other treelike models, the two popularly discussed models, Cayley tree $C(t,n)$ and Exponential tree $\mathcal{T}(t;m)$, are chosen to serve as representatives. While their correspondence solutions have been reported, our techniques are more convenient to implement than those pre-existing ones and thus this certifies our statements strongly. Final, we distinguish the difference among results and attempt to make some heuristic explanations to the reasons why the phenomena appear.
The diameter and radius of radially maximal graphs
Published in Bull. Aust. Math. Soc. 104 (2021) 196-202
• View Publication
• BIB
A graph is called radially maximal if it is not complete and the addition of any new edge decreases its radius. In 1976 Harary and Thomassen proved that the radius $r$ and diameter $d$ of any radially maximal graph satisfy $r\le d\le 2r-2.$ Dutton, Medidi and Brigham rediscovered this result with a different proof in 1995 and they posed the conjecture that the converse is true, that is, if $r$ and $d$ are positive integers satisfying $r\le d\le 2r-2,$ then there exists a radially maximal graph with radius $r$ and diameter $d.$ We prove this conjecture and a little more.
Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem
Published
• View Publication
• BIB
The Balanced Connected Subgraph problem (BCS) was recently introduced by Bhore et al. (CALDAM 2019). In this problem, we are given a graph $G$ whose vertices are colored by red or blue. The goal is to find a maximum connected subgraph of $G$ having the same number of blue vertices and red vertices. They showed that this problem is NP-hard even on planar graphs, bipartite graphs, and chordal graphs. They also gave some positive results: BCS can be solved in $O(n^3)$ time for trees and $O(n + m)$ time for split graphs and properly colored bipartite graphs, where $n$ is the number of vertices and $m$ is the number of edges.
In this paper, we show that BCS can be solved in $O(n^2)$ time for trees and $O(n^3)$ time for interval graphs. The former result can be extended to bounded treewidth graphs. We also consider a weighted version of BCS (WBCS). We prove that this variant is weakly NP-hard even on star graphs and strongly NP-hard even on split graphs and properly colored bipartite graphs, whereas the unweighted counterpart is tractable on those graph classes. Finally, we consider an exact exponential-time algorithm for general graphs. We show that BCS can be solved in $2^{n/2}n^{O(1)}$ time. This algorithm is based on a variant of Dreyfus-Wagner algorithm for the Steiner tree problem.
Positivity of chromatic symmetric functions associated with Hessenberg functions of bounce number 3
Published
• View Publication
• BIB
We give a proof of Stanley-Stembridge conjecture on chromatic symmetric functions for the class of all unit interval graphs with independence number 3. That is, we show that the chromatic symmetric function of the incomparability graph of a unit interval order in which the length of a chain is at most 3 is positively expanded as a linear sum of elementary symmetric functions.
On $t$-relaxed 2-distant circular coloring of graphs
Published
• View Publication
• BIB
Let $k$ be an positive integer. For any two integers $i$ and $j$ in $\{0,1,\dots,k-1\}$, let $|i-j|_k=\min\{|i-j|,k-|i-j|\}$ be the circular distance between $i$ and $j$. Let $t$ be a nonnegative integer. Suppose $f$ is a mapping from $V(G)$ to $\{0,1,\dots,k-1\}$. If adjacent vertices receive different integers, and for each vertex $u$ of $G$, the number of neighbors $v$ of $u$ with $|f(u)-f(v)|_k=1$ is at most $t$, then $f$ is called a $t$-relaxed 2-distant circular $k$-coloring, or simply a $(\frac{k}{2},t)^*$-coloring of $G$. If $G$ has a $(\frac{k}{2},t)^*$-coloring, then $G$ is called $(\frac{k}{2},t)^*$-colorable. In this paper, we prove that, for any two fixed integers $k$ and $t$ with $k\geq2$ and $t\geq1$, deciding whether $G$ is $(\frac{k}{2},t)^*$-colorable is NP-complete expect the case $k=2$ and the case $k=3$ and $t\leq3$, which are polynomially solvable. For any outerplanar graph $G$, e show that all outerplanar graphs are $(\frac{5}{2},4)^*$-colorable, we prove that there is no fixed positive integer $t$ such that all outerplanar graphs are $(\frac{4}{2},t)^*$-colorable.
Spectral Lower Bounds for the Quantum Chromatic Number of a Graph -- Part II
Published
• View Publication
• BIB
Hoffman proved that a graph $G$ with eigenvalues $μ_1 \ge \ldots \ge μ_n$ and chromatic number $χ(G)$ satisfies: \[ χ\ge 1 + κ\] where $κ$ is the smallest integer such that \[ μ_1 + \sum_{i=1}^κ μ_{n+1-i} \le 0. \] We strengthen this well known result by proving that $χ(G)$ can be replaced by the quantum chromatic number, $χ_q(G)$, where for all graphs $χ_q(G) \le χ(G)$ and for some graphs $χ_q(G)$ is significantly smaller than $χ(G)$. We also prove a similar result, and investigate implications of these inequalities for the quantum chromatic number of various classes of graphs, which improves many known results. For example, we demonstrate that the Kneser graph $KG_{p,2}$ has $χ_q = χ= p - 2$.
Spectral upper bound on the quantum k-independence number of a graph
Published
• View Publication
• BIB
A well known upper bound for the independence number $α(G)$ of a graph $G$, due to Cvetković, is that \begin{equation*} α(G) \le n^0 + \min\{n^+ , n^-\} \end{equation*} where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$ and for some graphs $α_q(G) \gg α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$, thus increasing the number of graphs for which $α_q$ is known. We also demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. Finally, we show this result in the more general context of spectral bounds for the quantum $k$-independence number, where the $k$-independence number is the maximum size of a set of vertices at pairwise distance greater than $k$.
On the probability that a random subtree is spanning
Published
• View Publication
• BIB
We consider the quantity $P(G)$ associated with a graph $G$ that is defined as the probability that a randomly chosen subtree of $G$ is spanning. Motivated by conjectures due to Chin, Gordon, MacPhee and Vincent on the behaviour of this graph invariant depending on the edge density, we establish first that $P(G)$ is bounded below by a positive constant provided that the minimum degree is bounded below by a linear function in the number of vertices. Thereafter, the focus is shifted to the classical Erdős-Rényi random graph model $G(n,p)$. It is shown that $P(G)$ converges in probability to $e^{-1/(ep_{\infty})}$ if $p \to p_{\infty} > 0$ and to $0$ if $p \to 0$.
Cluster algebras and binary subwords
Published in Order (2021)
• View Publication
• BIB
This paper establishes a connection between binary subwords and perfect matchings of a snake graph, an important tool in the theory of cluster algebras. Every binary expansion w can be associated to a piecewise-linear poset P and a snake graph G. We construct a tree structure called the antichain trie which is isomorphic to the trie of subwords introduced by Leroy, Rigo, and Stipulanti. We then present bijections from the subwords of w to the antichains of P and to the perfect matchings of G.
Generic properties of dispersion relations for discrete periodic operators
Published
• View Publication
• BIB
An old problem in mathematical physics deals with the structure of the dispersion relation of the Schrödinger operator $-Δ+V(x)$ in $R^n$ with periodic potential near the edges of the spectrum. A well known conjecture says that generically (with respect to perturbations of the periodic potential) the extrema are attained by a single branch of the dispersion relation, are isolated, and have non-degenerate Hessian (i.e., dispersion relations are graphs of Morse functions). The important notion of effective masses in solid state physics, as well as Liouville property, Green's function asymptotics, etc. hinge upon this property. The progress in proving this conjecture has been slow. It is natural to try to look at discrete problems, where the dispersion relation is (in appropriate coordinates) an algebraic, rather than analytic, variety. Such models are often used for computation in solid state physics (the tight binding model). Alas, counterexamples exist in some discrete situations. We start establishing the following dichotomy: the non-degeneracy of extrema either fails or holds in the complement of a proper algebraic subset of the parameters.
The known counterexample has only two free parameters. This might be too tight for genericity to hold. We consider the maximal $Z^2$-periodic two-atomic nearest-cell interaction graph, with nine edges per unit cell and the discrete "Laplace-Beltrami" operator on it. We then use methods from computational and combinatorial algebraic geometry to prove the genericity conjecture for this graph. We show three different approaches to the genericity, which might be suitable in various situations.
It is also proven in this case that adding more parameters does not destroy the genericity result. We list all "bad" periodic subgraphs of the one we consider and discover that in all these cases genericity fails for "trivial" reasons only.
On edge-primitive 3-arc-transitive graphs
Published
• View Publication
• BIB
This paper begins the classification of all edge-primitive 3-arc-transitive graphs by classifying all such graphs where the automorphism group is an almost simple group with socle an alternating or sporadic group, and all such graphs where the automorphism group is an almost simple classical group with a vertex-stabiliser acting faithfully on the set of neighbours.
On the connectivity and independence number of power graphs of groups
Published
• View Publication
• BIB
Let $G$ be a group. The power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x,y$ are adjacent if one of them is a power of the other. We characterize all groups whose power graphs have finite independence number, show that they have clique cover number equal to their independence number, and calculate this number.
The proper power graph is the induced subgraph of the power graph on the set $G-\{1\}$. A group whose proper power graph is connected must be either a torsion group or a torsion-free group; we give characterizations of some groups whose proper power graphs are connected.
Colouring the normalized Laplacian
Published in Electronic Notes in Theoretical Computer Science, 346, 345 - 354 (2019)
• View Publication
• BIB
We apply Cauchy's interlacing theorem to derive some eigenvalue bounds to the chromatic number using the normalized Laplacian matrix, including a combinatorial characterization of when equality occurs. Further, we introduce some new expansion type of parameters which generalize the Cheeger constant of a graph, and relate them to the colourings which meet our eigenvalue bound with equality. Finally, we exhibit a family of examples, which include the graphs that appear in the statement of the Erdős-Faber-Lovász conjecture.