graph
35150 papers tagged with this keyword
Susceptibility of random graphs with given vertex degrees
Published
• View Publication
• BIB
We study the susceptibility, i.e., the mean cluster size, in random graphs with given vertex degrees. We show, under weak assumptions, that the susceptibility converges to the expected cluster size in the corresponding branching process. In the supercritical case, a corresponding result holds for the modified susceptibility ignoring the giant component and the expected size of a finite cluster in the branching process; this is proved using a duality theorem.
The critical behaviour is studied. Examples are given where the critical exponents differ on the subcritical and supercritical sides.
Cubical coloring -- fractional covering by cuts and semidefinite programming
Published in Discrete Mathematics & Theoretical Computer Science, Vol 17, No 2 (2015)
• Search Publication
We introduce a new graph invariant that measures fractional covering of a graph by cuts. Besides being interesting in its own right, it is useful for study of homomorphisms and tension-continuous mappings. We study the relations with chromatic number, bipartite density, and other graph parameters.
We find the value of our parameter for a family of graphs based on hypercubes. These graphs play for our parameter the role that circular cliques play for the circular chromatic number. The fact that the defined parameter attains on these graphs the `correct' value suggests that the definition is a natural one. In the proof we use the eigenvalue bound for maximum cut and a recent result of Engström, Färnqvist, Jonsson, and Thapper.
We also provide a polynomial time approximation algorithm based on semidefinite programming and in particular on vector chromatic number (defined by Karger, Motwani and Sudan [Approximate graph coloring by semidefinite programming, J. ACM 45 (1998), no. 2, 246--265]).
Random Subnetworks of Random Sorting Networks
Published
• View Publication
• BIB
A sorting network is a shortest path from 12...n to n...21 in the Cayley graph of S_n generated by nearest-neighbor swaps. For m<=n, consider the random m-particle sorting network obtained by choosing an n-particle sorting network uniformly at random and then observing only the relative order of m particles chosen uniformly at random. We prove that the expected number of swaps in location j in the subnetwork does not depend on n, and we provide a formula for it. Our proof is probabilistic, and involves a Polya urn with non-integer numbers of balls. From the case m=4 we obtain a proof of a conjecture of Warrington. Our result is consistent with a conjectural limiting law of the subnetwork as n->infinity implied by the great circle conjecture Angel, Holroyd, Romik and Virag.
Orientable embeddings and orientable cycle double covers of projective-planar graphs
Published
• View Publication
• BIB
In a closed 2-cell embedding of a graph each face is homeomorphic to an open disk and is bounded by a cycle in the graph. The Orientable Strong Embedding Conjecture says that every 2-connected graph has a closed 2-cell embedding in some orientable surface. This implies both the Cycle Double Cover Conjecture and the Strong Embedding Conjecture. In this paper we prove that every 2-connected projective-planar cubic graph has a closed 2-cell embedding in some orientable surface. The three main ingredients of the proof are (1) a surgical method to convert nonorientable embeddings into orientable embeddings; (2) a reduction for 4-cycles for orientable closed 2-cell embeddings, or orientable cycle double covers, of cubic graphs; and (3) a structural result for projective-planar embeddings of cubic graphs. We deduce that every 2-edge-connected projective-planar graph (not necessarily cubic) has an orientable cycle double cover.
Counting MSTD Sets in Finite Abelian Groups
Published in J. Number Theory 130 (2010), 2308-2322
• View Publication
• BIB
In an abelian group G, a more sums than differences (MSTD) set is a subset A of G such that |A+A|>|A-A|. We provide asymptotics for the number of MSTD sets in finite abelian groups, extending previous results of Nathanson. The proof contains an application of a recently resolved conjecture of Alon and Kahn on the number of independent sets in a regular graph.
Isospectral Graph Reductions and Improved Estimates of Matrices' Spectra
Published
• View Publication
• BIB
Via the process of isospectral graph reduction the adjacency matrix of a graph can be reduced to a smaller matrix while its spectrum is preserved up to some known set. It is then possible to estimate the spectrum of the original matrix by considering Gershgorin-type estimates associated with the reduced matrix. The main result of this paper is that eigenvalue estimates associated with Gershgorin, Brauer, Brualdi, and Varga improve as the matrix size is reduced. Moreover, given that such estimates improve with each successive reduction, it is also possible to estimate the eigenvalues of a matrix with increasing accuracy by repeated use of this process.
Families of parameters for SRNT graphs
The feasibility conditions obtained in a previous report are refined, and used to determine several infinite families of feasible parameters for strongly regular graphs with no triangles. The methods are also used to improve the lower bound for the number of vertices, and to derive yet another interpretation of the Krein bound.
On two generalizations of the Alon-Tarsi polynomial method
Published
• View Publication
• BIB
In a seminal paper, Alon and Tarsi have introduced an algebraic technique for proving upper bounds on the choice number of graphs (and thus, in particular, upper bounds on their chromatic number). The upper bound on the choice number of $G$ obtained via their method, was later coined the \emph{Alon-Tarsi number of $G$} and was denoted by $AT(G)$. They have provided a combinatorial interpretation of this parameter in terms of the eulerian subdigraphs of an appropriate orientation of $G$. Their characterization can be restated as follows. Let $D$ be an orientation of $G$. Assign a weight $ω_D(H)$ to every subdigraph $H$ of $D$: if $H \subseteq D$ is eulerian, then $ω_D(H) = (-1)^{e(H)}$, otherwise $ω_D(H) = 0$. Alon and Tarsi proved that $AT(G) \leq k$ if and only if there exists an orientation $D$ of $G$ in which the out-degree of every vertex is strictly less than $k$, and moreover $\sum_{H \subseteq D} ω_D(H) \neq 0$. Shortly afterwards, for the special case of line graphs of $d$-regular $d$-edge-colorable graphs, Alon gave another interpretation of $AT(G)$, this time in terms of the signed $d$-colorings of the line graph. In this paper we generalize both results. The first characterization is generalized by showing that there is an infinite family of weight functions (which includes the one considered by Alon and Tarsi), each of which can be used to characterize $AT(G)$. The second characterization is generalized to all graphs (in fact the result is even more general -- in particular it applies to hypergraphs). We then use the second generalization to prove that $χ(G) = ch(G) = AT(G)$ holds for certain families of graphs $G$. Some of these results generalize certain known choosability results.
Strongly Regular Graphs with No Triangles
A simplified version of the theory of strongly regular graphs is developed for the case in which the graphs have no triangles. This leads to (i) direct proofs of the Krein conditions, and (ii) the characterization of strongly regular graphs with no triangles such that the second subconstituent is also strongly regular. The method also provides an effective means of listing feasible parameters for such graphs.
Families of regular matroids
This is an introductory paper about the category of regular oriented matroids (ROMs). We compare the homotopy types of the categories of regular and binary matroids. For example, in the unoriented case, they have the same fundamental group but we show that the higher homotopy groups are different for rank three regular and binary matroids. We also speculate on the possible impact of a recent theorem of Galatius [Gal] computing the stable cohomology of the category of graphs and on possible applications to higher Reidemeister torsion.
The Grone-Merris Conjecture
Published
• View Publication
• BIB
In spectral graph theory, Grone and Merris conjecture that the spectrum of the Laplacian matrix of a finite graph is majorized by the conjugate degree sequence of this graph. We give a complete proof for this conjecture.
Arithmetic completely regular codes
Published in Discrete Math. Theor. Comput. Sci. 17 (2016) 59-76
• View Publication
• BIB
In this paper, we explore completely regular codes in the Hamming graphs and related graphs. Experimental evidence suggests that many completely regular codes have the property that the eigenvalues of the code are in arithmetic progression. In order to better understand these "arithmetic completely regular codes", we focus on cartesian products of completely regular codes and products of their corresponding coset graphs in the additive case. Employing earlier results, we are then able to prove a theorem which nearly classifies these codes in the case where the graph admits a completely regular partition into such codes (e.g, the cosets of some additive completely regular code). Connections to the theory of distance-regular graphs are explored and several open questions are posed.
Characterizing completely regular codes from an algebraic viewpoint
Published
• View Publication
• BIB
We first summarize the basic structure of the outer distribution module of a completely regular code. Then, employing a simple lemma concerning eigenvectors in association schemes, we propose to study the tightest case, where the indices of the eigenspace that appear in the outer distribution module are equally spaced. In addition to the arithmetic codes of the companion paper, this highly structured class includes other beautiful examples and we propose the classification of $Q$-polynomial completely regular codes in the Hamming graphs. A key result is Theorem 3.10 which finds that the $Q$-polynomial condition is equivalent to the presence of a certain Leonard pair. This connection has impact in two directions. First, the Leonard pairs are classified and we gain quite a bit of information about the algebraic structure of any code in our class. But also this gives a new setting for the study of Leonard pairs, one closely related to the classical one where a Leonard pair arises from each thin/dual-thin irreducible module of a Terwilliger algebra of some $P$- and $Q$-polynomial association scheme, yet not previously studied. It is particularly interesting that the Leonard pair associated to some code $C$ may belong to one family in the Askey scheme while the distance-regular graph in which the code is found may belong to another.
Path count asymptotics and Stirling numbers
Published
• View Publication
• BIB
We obtain formulas for the growth rate of the numbers of certain paths in infinite graphs built on the two-dimensional Eulerian graph. Corollaries are identities relating Stirling numbers of the first and second kinds.
A conjecture on critical graphs and connections to the persistence of associated primes
Published
• View Publication
• BIB
We introduce a conjecture about constructing critically (s+1)-chromatic graphs from critically s-chromatic graphs. We then show how this conjecture implies that any unmixed height two square-free monomial ideal I, i.e., the cover ideal of a finite simple graph, has the persistence property, that is, Ass(R/I^s) \subseteq Ass(R/I^{s+1}) for all s >= 1. To support our conjecture, we prove that the statement is true if we also assume that χ_f(G), the fractional chromatic number of the graph G, satisfies χ(G) -1 < χ_f(G) <= χ(G). We give an algebraic proof of this result.
Componentwise linearity of ideals arising from graphs
Published in Le Matematiche, Vol. 63 (2008), no. 2, 185--189
• Search Publication
Let $G$ be a simple undirected graph on $n$ vertices. Francisco and Van Tuyl have shown that if $G$ is chordal, then $\bigcap_{\{x_i,x_j\}\in E_G} < x_i,x_j>$ is componentwise linear. A natural question that arises is for which $t_{ij}>1$ the ideal $\bigcap_{\{x_i,x_j\}\in E_G}< x_i, x_j>^{t_{ij}}$ is componentwise linear, if $G$ is chordal. In this report we show that $\bigcap_{\{x_i,x_j\}\in E_G} < x_i, x_j>^{t}$ is componentwise linear for all $n\geq 3$ and positive $t$, if $G$ is a complete graph. We give also an example where $G$ is chordal, but the intersection ideal is not componentwise linear for any $t>1$.
Hitting all maximum cliques with a stable set using lopsided independent transversals
Published
• View Publication
• BIB
Rabern recently proved that any graph with omega >= (3/4)(Delta+1) contains a stable set meeting all maximum cliques. We strengthen this result, proving that such a stable set exists for any graph with omega > (2/3)(Delta+1). This is tight, i.e. the inequality in the statement must be strict. The proof relies on finding an independent transversal in a graph partitioned into vertex sets of unequal size.
A generalization of Hungarian method and Hall's theorem with applications in wireless sensor networks
Published
• View Publication
• BIB
In this paper, we consider various problems concerning quasi-matchings and semi-matchings in bipartite graphs, which generalize the classical problem of determining a perfect matching in bipartite graphs. We prove a vast generalization of Hall's marriage theorem, and present an algorithm that solves the problem of determining a lexicographically minimum $g$-quasi-matching (that is a set $F$ of edges in a bipartite graph such that in one set of the bipartition every vertex $v$ has at least $g(v)$ incident edges from $F$, where $g$ is a so-called need mapping, while on the other side of the bipartition the distribution of degrees with respect to $F$ is lexicographically minimum). We also present an application in designing an optimal CDMA-based wireless sensor networks.
Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies
We settle a problem of Havel by showing that there exists an absolute constant d such that if G is a planar graph in which every two distinct triangles are at distance at least d, then G is 3-colorable. In fact, we prove a more general theorem. Let G be a planar graph, and let H be a set of connected subgraphs of G, each of bounded size, such that every two distinct members of H are at least a specified distance apart and all triangles of G are contained in \bigcup{H}. We give a sufficient condition for the existence of a 3-coloring phi of G such that for every B\in H, the restriction of phi to B is constrained in a specified way.
Judicious partitions of 3-uniform hypergraphs
Published in Combinatorica 32 (2012)
• View Publication
• BIB
The vertices of any graph with $m$ edges can be partitioned into two parts so that each part meets at least $\frac{2m}{3}$ edges. Bollobás and Thomason conjectured that the vertices of any $r$-uniform graph may be likewise partitioned into $r$ classes such that each part meets at least $cm$ edges, with $c=\frac{r}{2r-1}$. In this paper, we prove this conjecture for the case $r=3$. In the course of the proof we shall also prove an extension of the graph case which was conjectured by Bollobás and Scott.