arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34995 papers tagged with this keyword
2010-01-29
Explicit Sensor Network Localization using Semidefinite Representations and Facial Reductions
Published • View Publication • BIB
The sensor network localization, SNL, problem in embedding dimension r, consists of locating the positions of wireless sensors, given only the distances between sensors that are within radio range and the positions of a subset of the sensors (called anchors). Current solution techniques relax this problem to a weighted, nearest, (positive) semidefinite programming, SDP, completion problem, by using the linear mapping between Euclidean distance matrices, EDM, and semidefinite matrices. The resulting SDP is solved using primal-dual interior point solvers, yielding an expensive and inexact solution. This relaxation is highly degenerate in the sense that the feasible set is restricted to a low dimensional face of the SDP cone, implying that the Slater constraint qualification fails. Cliques in the graph of the SNL problem give rise to this degeneracy in the SDP relaxation. In this paper, we take advantage of the absence of the Slater constraint qualification and derive a technique for the SNL problem, with exact data, that explicitly solves the corresponding rank restricted SDP problem. No SDP solvers are used. For randomly generated instances, we are able to efficiently solve many huge instances of this NP-hard problem to high accuracy, by finding a representation of the minimal face of the SDP cone that contains the SDP matrix representation of the EDM. The main work of our algorithm consists in repeatedly finding the intersection of subspaces that represent the faces of the SDP cone that correspond to cliques of the SNL problem.
Uniformity in association schemes and coherent configurations: cometric Q-antipodal schemes and linked systems
Published in Journal of Combinatorial Theory, Series A 120 (2013), 1401--1439 • View Publication • BIB
Inspired by some intriguing examples, we study uniform association schemes and uniform coherent configurations, including cometric Q-antipodal association schemes. After a review of imprimitivity, we show that an imprimitive association scheme is uniform if and only if it is dismantlable, and we cast these schemes in the broader context of certain --- uniform --- coherent configurations. We also give a third characterization of uniform schemes in terms of the Krein parameters, and derive information on the primitive idempotents of such a scheme. In the second half of the paper, we apply these results to cometric association schemes. We show that each such scheme is uniform if and only if it is Q-antipodal, and derive results on the parameters of the subschemes and dismantled schemes of cometric Q-antipodal schemes. We revisit the correspondence between uniform indecomposable three-class schemes and linked systems of symmetric designs, and show that these are cometric Q-antipodal. We obtain a characterization of cometric Q-antipodal four-class schemes in terms of only a few parameters, and show that any strongly regular graph with a ("non-exceptional") strongly regular decomposition gives rise to such a scheme. Hemisystems in generalized quadrangles provide interesting examples of such decompositions. We finish with a short discussion of five-class schemes as well as a list of all feasible parameter sets for cometric Q-antipodal four-class schemes with at most six fibres and fibre size at most 2000, and describe the known examples. Most of these examples are related to groups, codes, and geometries.
2010-01-27
Expansion properties of finite simple groups
Published in Ph. D. thesis. The Hebrew University of Jerusalem (2009) • Search Publication
We prove that if G is SL_2(F) or PSL_2(F), where F is a finite field, and A is a set of generators of G, then either |AAA| > |A|^(1+epsilon), where epsilon is an absolute positive real number, or AAA=G. As a corollary we get that the diameter of any Cayley graph of G is Poly-Logarithmic in |G|.
2010-01-25 v3
Brill-Noether theory of squarefree modules supported on a graph
Published • View Publication • BIB
We investigate the analogy between squarefree Cohen-Macaulay modules supported on a graph and line bundles on a curve. We prove a Riemann-Roch theorem, we study the Jacobian and gonality of a graph, and we prove Clifford's theorem.
2010-01-25
Perpendicular dissections of space
Published in Discrete and Computational Geometry, 27 (2002), 303--351 • Search Publication
For each pair $(Q_i,Q_j)$ of reference points and each real number $r$ there is a unique hyperplane $h \perp Q_iQ_j$ such that $d(P,Q_i)^2 - d(P,Q_j)^2 = r$ for points $P$ in $h$. Take $n$ reference points in $d$-space and for each pair $(Q_i,Q_j)$ a finite set of real numbers. The corresponding perpendiculars form an arrangement of hyperplanes. We explore the structure of the semilattice of intersections of the hyperplanes for generic reference points. The main theorem is that there is a real, additive gain graph (this is a graph with an additive real number associated invertibly to each edge) whose set of balanced flats has the same structure as the intersection semilattice. We examine the requirements for genericity, which are related to behavior at infinity but remain mysterious; also, variations in the construction rules for perpendiculars. We investigate several particular arrangements with a view to finding the exact numbers of faces of each dimension. The prototype, the arrangement of all perpendicular bisectors, was studied by Good and Tideman, motivated by a geometric voting theory. Most of our particular examples are suggested by extensions of that theory in which voters exercise finer discrimination. Throughout, we propose many research problems.
Statistical properties of subgroups of free groups
Published in Random Structures and Algorithms 42 (2013) 349-373 • View Publication • BIB
The usual way to investigate the statistical properties of finitely generated subgroups of free groups, and of finite presentations of groups, is based on the so-called word-based distribution: subgroups are generated (finite presentations are determined) by randomly chosen k-tuples of reduced words, whose maximal length is allowed to tend to infinity. In this paper we adopt a different, though equally natural point of view: we investigate the statistical properties of the same objects, but with respect to the so-called graph-based distribution, recently introduced by Bassino, Nicaud and Weil. Here, subgroups (and finite presentations) are determined by randomly chosen Stallings graphs whose number of vertices tends to infinity. Our results show that these two distributions behave quite differently from each other, shedding a new light on which properties of finitely generated subgroups can be considered frequent or rare. For example, we show that malnormal subgroups of a free group are negligible in the graph-based distribution, while they are exponentially generic in the word-based distribution. Quite surprisingly, a random finite presentation generically presents the trivial group in this new distribution, while in the classical one it is known to generically present an infinite hyperbolic group.
2010-01-25
Growth in finite simple groups of Lie type
Published • View Publication • BIB
We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^(1+epsilon) where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type the diameter of any Cayley graph is polylogarithmic in |L|. Combining our result on growth with known results of Bourgain,Gamburd and Varjú it follows that if LAMBDA is a Zariski-dense subgroup of SL(d,Z) generated by a finite symmetric set S, then for square-free moduli m which are relatively prime to some number m_0 the Cayley graphs Gamma(SL(d,m),pi_m(S)) form an expander family.
An elementary chromatic reduction for gain graphs and special hyperplane arrangements
Published in Electronic J. Combinatorics, 16 (1) (2009), Article R121 • Search Publication
A gain graph is a graph whose edges are labelled invertibly by "gains" from a group. "Switching" is a transformation of gain graphs that generalizes conjugation in a group. A "weak chromatic function" of gain graphs with gains in a fixed group satisfies three laws: deletion-contraction for links with neutral gain, invariance under switching, and nullity on graphs with a neutral loop. The laws lead to the "weak chromatic group" of gain graphs, which is the universal domain for weak chromatic functions. We find expressions, valid in that group, for a gain graph in terms of minors without neutral-gain edges, or with added complete neutral-gain subgraphs, that generalize the expression of an ordinary chromatic polynomial in terms of monomials or falling factorials. These expressions imply relations for chromatic functions of gain graphs. We apply our relations to some special integral gain graphs including those that correspond to the Shi, Linial, and Catalan arrangements, thereby obtaining new evaluations of and new ways to calculate the zero-free chromatic polynomial and the integral and modular chromatic functions of these gain graphs, hence the characteristic polynomials and hypercubical lattice-point counting functions of the arrangements. We also calculate the total chromatic polynomial of any gain graph and especially of the Catalan, Shi, and Linial gain graphs.
2010-01-24
The number of graphs with large forbidden subgraphs
In this note, extending some results of Erdos, Frankl, Rodl, Alexeev, Bollobas and Thomason we determine asymptotically the number of graphs which do not contain certain large subgraphs. In particular, if H_1,...,H_n,... are graphs with chromatic numbers r_1,...,r_n,... and order o(log n), we dermine asymptotically the number of graphs of order n not containing H_n as a subgraph. We also give similar results for induced subgraphs.
Bipartite $S_2$ graphs are Cohen-Macaulay
In this paper we show that if the Stanley-Reisner ring of the simplicial complex of independent sets of a bipartite graph $G$ satisfies Serre's condition $S_2$, then $G$ is Cohen-Macaulay. As a consequence, the characterization of Cohen-Macaulay bipartite graphs due to Herzog and Hibi carries over this family of bipartite graphs. We check that the equivalence of Cohen-Macaulay property and the condition $S_2$ is also true for chordal graphs and we classify cyclic graphs with respect to the condition $S_2$.
Cubic Time Recognition of Cocircuit Graphs of Uniform Oriented Matroids
Published • View Publication • BIB
We present an algorithm which takes a graph as input and decides in cubic time if the graph is the cocircuit graph of a uniform oriented matroid. In the affirmative case the algorithm returns the set of signed cocircuits of the oriented matroid. This improves an algorithm proposed by Babson, Finschi and Fukuda. Moreover we strengthen a result of Montellano-Ballesteros and Strausz about crabbed connectivity of cocircuit graphs of uniform oriented matroids.
2010-01-20 v2
Combinatorics of 1-particle irreducible n-point functions via coalgebra in quantum field theory
Published in J.Math.Phys.51:082302,2010 • View Publication • BIB
We give a coalgebra structure on 1-vertex irreducible graphs which is that of a cocommutative coassociative graded connected coalgebra. We generalize the coproduct to the algebraic representation of graphs so as to express a bare 1-particle irreducible n-point function in terms of its loop order contributions. The algebraic representation is so that graphs can be evaluated as Feynman graphs.
Asymptotic enumeration and limit laws for graphs of fixed genus
Published in Journal of Combinatorial Theory, Series A, 118(3):748-777 (2011) • View Publication • BIB
It is shown that the number of labelled graphs with n vertices that can be embedded in the orientable surface S_g of genus g grows asymptotically like $c^{(g)}n^{5(g-1)/2-1}γ^n n!$ where $c^{(g)}>0$, and $γ\approx 27.23$ is the exponential growth rate of planar graphs. This generalizes the result for the planar case g=0, obtained by Gimenez and Noy. An analogous result for non-orientable surfaces is obtained. In addition, it is proved that several parameters of interest behave asymptotically as in the planar case. It follows, in particular, that a random graph embeddable in S_g has a unique 2-connected component of linear size with high probability.
2010-01-19 v2
On the decomposition of connected graphs into their biconnected components
Published in Int. J. Comb. Volume 2013 (2013), Article ID 347613 • Search Publication
We give a recursion formula to generate all equivalence classes of biconnected graphs with coefficients given by the inverses of the orders of their groups of automorphisms. We give a linear map to produce a connected graph with say, u, biconnected components from one with u-1 biconnected components. We use such map to extend the aforesaid result to connected or 2-edge connected graphs. The underlying algorithms are amenable to computer implementation.
2010-01-19 v3
On Rainbow Connection of Strongly Regular Graphs
An edge-colored graph $G$ is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection number of a connected graph $G$, denoted $rc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow connected. We prove if $G$ is a connected strongly $r$-regular graph and $r\geq 600$, then $rc(G)\leq3$. Specially, there is a constant $c$ such that $rc(G)\leq c$ for any connected strongly regular graph $G$.
2010-01-18
Classification of nonorientable regular embeddings of complete bipartite graphs
Published • View Publication • BIB
A 2-cell embedding of a graph $G$ into a closed (orientable or nonorientable) surface is called regular if its automorphism group acts regularly on the flags - mutually incident vertex-edge-face triples. In this paper, we classify the regular embeddings of complete bipartite graphs $K_{n,n}$ into nonorientable surfaces. Such regular embedding of $K_{n,n}$ exists only when $n = 2p_1^{a_1}p_2^{a_2}... p_k^{a_k}$ (a prime decomposition of $n$) and all $p_i \equiv \pm 1 (\mod 8)$. In this case, the number of those regular embeddings of $K_{n,n}$ up to isomorphism is $2^k$.
2010-01-18 v3
A tropical proof of the Brill-Noether Theorem
Published in Adv. Math. 230 (2012), 759--776 • View Publication • BIB
We produce Brill-Noether general graphs in every genus, confirming a conjecture of Baker and giving a new proof of the Brill-Noether Theorem, due to Griffiths and Harris, over any algebraically closed field.
2010-01-18 v4
On some upper bounds on the fractional chromatic number of weighted graphs
Published • View Publication • BIB
Given a weighted graph $G_\bx$, where $(x(v): v \in V)$ is a non-negative, real-valued weight assigned to the vertices of G, let $B(G_\bx)$ be an upper bound on the fractional chromatic number of the weighted graph $G_\bx$; so $χ_f(G_\bx) \le B(G_\bx)$. To investigate the worst-case performance of the upper bound $B$, we study the graph invariant $$β(G) = \sup_{\bx \ne 0} \frac{B(G_\bx)}{χ_f(G_\bx)}.$$ \noindent This invariant is examined for various upper bounds $B$ on the fractional chromatic number. In some important cases, this graph invariant is shown to be related to the size of the largest star subgraph in the graph. This problem arises in the area of resource estimation in distributed systems and wireless networks; the results presented here have implications on the design and performance of decentralized communication networks.
2010-01-18 v3
Drawing Graphs with Orthogonal Crossings
By a poly-line drawing of a graph G on n vertices we understand a drawing of G in the plane such that each edge is represented by a polygonal arc joining its two respective vertices. We call a turning point of a polygonal arc the bend. We consider the class of graphs that admit a poly-line drawing, in which each edge has at most one bend (resp. two bends) and any two edges can cross only at a right angle. It is shown that the number of edges of such graphs is at most O(n) (resp. O(n \log^2 n)). This is a strengthening of a recent result of Didimo et al.
2010-01-16 v5
Geometry of tropical moduli spaces and linkage of graphs
Published • View Publication • BIB
We prove the following "linkage" theorem: two p-regular graphs of the same genus can be obtained from one another by a finite alternating sequence of one-edge-contractions; moreover this preserves 3-edge-connectivity. We use the linkage theorem to prove that various moduli spaces of tropical curves are connected through codimension one.