graph
35150 papers tagged with this keyword
On the number of collinear triples in permutations
Let $α:\mathbb{Z}_n\to\mathbb{Z}_n$ be a permutation and $Ψ(α)$ be the number of collinear triples modulo $n$ in the graph of $α$. Cooper and Solymosi had given by induction the bound $\min_αΨ(α)\geq\lceil(n-1)/4\rceil$ when $n$ is a prime number. The main purpose of this paper is to give a direct proof of that bound. Besides, the expected number of collinear triples a permutation can have is also been determined.
A formula for Plücker coordinates associated with a planar network
Published in Int Math Res Notices (2008) Vol. 2008, article ID rnn081, 19 pages, published on July 24, 2008.
• View Publication
• BIB
For a planar directed graph G, Postnikov's boundary measurement map sends positive weight functions on the edges of G onto the appropriate totally nonnegative Grassmann cell. We establish an explicit formula for Postnikov's map by expressing each Pluecker coordinate as a ratio of two combinatorially defined polynomials in the edge weights, with positive integer coefficients. In the non-planar setting, we show that a similar formula holds for special choices of Pluecker coordinates.
Bijections between pattern-avoiding fillings of Young diagrams
Published in Journal of Combinatorial Theory Series A 117 (2010), 1218--1230
• View Publication
• BIB
The pattern-avoiding fillings of Young diagrams we study arose from Postnikov's work on positive Grassman cells. They are called Le-diagrams, and are in bijection with decorated permutations. Other closely-related diagrams are interpreted as acyclic orientations of some bipartite graphs. The definition of the diagrams is the same but the avoided patterns are different. We give here bijections proving that the number of pattern-avoiding filling of a Young diagram is the same, for these two different sets of patterns. The result was obtained by Postnikov via a reccurence relation. This relation was extended by Spiridonov to obtain more general results about other patterns and other polyominoes than Young diagrams, and we show that our bijections also extend to more general polyominoes.
The dimensions of LU(3,q) codes
Published in Journal of Combinatorial Theory, Series A 116 (2009) 1073-1079
• View Publication
• BIB
A family of LDPC codes, called LU(3,q) codes, has been constructed from q-regular bipartite graphs. Recently, P. Sin and Q. Xiang determined the dimensions of these codes in the case that q is a power of an odd prime. They also obtained a lower bound for the dimension of an LU(3,q) code when q is a power of 2. In this paper we prove that this lower bound is the exact dimension of the LU(3,q) code. The proof involves the geometry of symplectic generalized quadrangles, the representation theory of Sp(4,q), and the ring of polynomials.
Geometric Properties of Assur Graphs
Published
• View Publication
• BIB
In our previous paper, we presented the combinatorial theory for minimal isostatic pinned frameworks - Assur graphs - which arise in the analysis of mechanical linkages. In this paper we further explore the geometric properties of Assur graphs, with a focus on singular realizations which have static self-stresses. We provide a new geometric characterization of Assur graphs, based on special singular realizations. These singular positions are then related to dead-end positions in which an associated mechanism with an inserted driver will stop or jam.
Cobweb posets - Recent Results
Published in Adv. Stud. Contemp. Math. volume 16 (2), 2008 (April) pp. 197-218
• Search Publication
Cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers ([6,7] and references therein to the first author).[7,6,8] include natural enquires to be reported on here. The purpose of this presentation is to report on the progress in solving computational problems which are quite easily formulated for the new class of directed acyclic graphs interpreted as Hasse diagrams. The problems posed there and not yet all solved completely are of crucial importance for the vast class of new partially ordered sets with joint combinatorial interpretation. These so called cobweb posets - are relatives of Fibonacci tree and are labeled by specific number sequences - natural numbers sequence and Fibonacci sequence included. The cobweb posets might be identified with a chain of di-bicliques i.e. by definition - a chain of complete bipartite one direction digraphs [6]. Any chain of relations is therefore obtainable from the cobweb poset chain of complete relations via deleting arcs in di-bicliques of the complete relations chain. In particular we response to one of those problems [1].
Graph-Based Classification of Self-Dual Additive Codes over Finite Fields
Published in Adv. Math. Commun. 3(4), pp. 329-348, 2009
• View Publication
• BIB
Quantum stabilizer states over GF(m) can be represented as self-dual additive codes over GF(m^2). These codes can be represented as weighted graphs, and orbits of graphs under the generalized local complementation operation correspond to equivalence classes of codes. We have previously used this fact to classify self-dual additive codes over GF(4). In this paper we classify self-dual additive codes over GF(9), GF(16), and GF(25). Assuming that the classical MDS conjecture holds, we are able to classify all self-dual additive MDS codes over GF(9) by using an extension technique. We prove that the minimum distance of a self-dual additive code is related to the minimum vertex degree in the associated graph orbit. Circulant graph codes are introduced, and a computer search reveals that this set contains many strong codes. We show that some of these codes have highly regular graph representations.
Hilbert's Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility
Published
• View Publication
• BIB
Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution over K. In this paper, we investigate an algorithm aimed at proving combinatorial infeasibility based on the observed low degree of Hilbert's Nullstellensatz certificates for polynomial systems arising in combinatorics and on large-scale linear-algebra computations over K. We report on experiments based on the problem of proving the non-3-colorability of graphs. We successfully solved graph problem instances having thousands of nodes and tens of thousands of edges.
Long cycles in fullerene graphs
Published in Journal of Mathematical Chemistry, 45(4):1021--1031, 2009
• View Publication
• BIB
It is conjectured that every fullerene graph is hamiltonian. Jendrol' and Owens proved [J. Math. Chem. 18 (1995), pp. 83--90] that every fullerene graph on n vertices has a cycle of length at least 4n/5. In this paper, we improve this bound to 5n/6-2/3.
Chip-Firing and Rotor-Routing on Directed Graphs
Published in In and Out of Equilibrium 2, "Progress in Probability'' vol. 60, pages 331--364 (2008)
• View Publication
• BIB
We give a rigorous and self-contained survey of the abelian sandpile model and rotor-router model on finite directed graphs, highlighting the connections between them. We present several intriguing open problems.
Graphs of relations and Hilbert series
Published in Journal of Symbolic Computation, V42, no.11-12(2007), 1066-1078
• View Publication
• BIB
We are discussing certain combinatorial and counting problems related to quadratic algebras. First we give examples which confirm the Anick conjecture on the minimal Hilbert series for algebras given by n generators and n(n-1)/2 relations for n less or equal then 7. Then we investigate combinatorial structure of colored graph associated to relations of RIT algebra. Precise descriptions of graphs (maps) corresponding to algebras with maximal Hilbert series are given in certain cases. As a consequence it turns out, for example, that RIT algebra may have a maximal Hilbert series only if components of the graph associated to each color are pairwise 2-isomorphic.
Every Minor-Closed Property of Sparse Graphs is Testable
Published
• View Publication
• BIB
Suppose $G$ is a graph with degrees bounded by $d$, and one needs to remove more than $εn$ of its edges in order to make it planar. We show that in this case the statistics of local neighborhoods around vertices of $G$ is far from the statistics of local neighborhoods around vertices of any planar graph $G'$ with the same degree bound. In fact, a similar result is proved for any minor-closed property of bounded degree graphs.
As an immediate corollary of the above result we infer that many well studied graph properties, like being planar, outer-planar, series-parallel, bounded genus, bounded tree-width and several others, are testable with a constant number of queries, where the constant may depend on $ε$ and $d$, but not on the graph size. None of these properties was previously known to be testable even with $o(n)$ queries.
Irreducible Boolean Functions
This paper is a contribution to the study of a quasi-order on the set $Ω$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tildeΩ$. Using a two-way correspondence between Boolean functions and hypergraphs, join-irreducibility translates into a combinatorial property of hypergraphs. We observe that among Steiner systems, those which yield join-irreducible members of $\tildeΩ$ are the -2-monomorphic Steiner systems. We also describe the graphs which correspond to join-irreducible members of $\tildeΩ$.
The minimum rank problem over finite fields
Published
• View Publication
• BIB
The structure of all graphs having minimum rank at most k over a finite field with q elements is characterized for any possible k and q. A strong connection between this characterization and polarities of projective geometries is explained. Using this connection, a few results in the minimum rank problem are derived by applying some known results from projective geometry.
Combinatorial Characterization of the Assur Graphs from Engineering
Published
• View Publication
• BIB
We introduce the idea of Assur graphs, a concept originally developed and exclusively employed in the literature of the kinematics community. The paper translates the terminology, questions, methods and conjectures from the kinematics terminology for one degree of freedom linkages to the terminology of Assur graphs as graphs with special properties in rigidity theory. Exploiting recent works in combinatorial rigidity theory we provide mathematical characterizations of these graphs derived from minimal linkages. With these characterizations, we confirm a series of conjectures posed by Offer Shai, and offer techniques and algorithms to be exploited further in future work.
On the Number of Matchings in Regular Graphs
Published
• View Publication
• BIB
For the set of graphs with a given degree sequence, consisting of any number of $2's$ and $1's$, and its subset of bipartite graphs, we characterize the optimal graphs who maximize and minimize the number of $m$-matchings. We find the expected value of the number of $m$-matchings of $r$-regular bipartite graphs on $2n$ vertices with respect to the two standard measures. We state and discuss the conjectured upper and lower bounds for $m$-matchings in $r$-regular bipartite graphs on $2n$ vertices, and their asymptotic versions for infinite $r$-regular bipartite graphs. We prove these conjectures for 2-regular bipartite graphs and for $m$-matchings with $m\le 4$.
Spectra of symmetric powers of graphs and the Weisfeiler-Lehman refinements
Published
• View Publication
• BIB
The k-th power of a n-vertex graph X is the iterated cartesian product of X with itself. The k-th symmetric power of X is the quotient graph of certain subgraph of its k-th power by the natural action of the symmetric group. It is natural to ask if the spectrum of the k-th power --or the spectrum of the k-th symmetric power-- is a complete graph invariant for small values of k, for example, for k=O(1) or k=O(log n). In this paper, we answer this question in the negative: we prove that if the well known 2k-dimensional Weisfeiler-Lehman method fails to distinguish two given graphs, then their k-th powers --and their k-th symmetric powers-- are cospectral. As it is well known, there are pairs of non-isomorphic n-vertex graphs which are not distinguished by the k-dim WL method, even for k=Omega(n). In particular, this shows that for each k, there are pairs of non-isomorphic n-vertex graphs with cospectral k-th (symmetric) powers.
Towards an optimal algorithm for recognizing Laman graphs
Published
• View Publication
• BIB
Laman graphs are fundamental to rigidity theory. A graph G with n vertices and m edges is a generic minimally rigid graph (Laman graph), if m=2n-3 and every induced subset of k vertices spans at most 2k-3 edges. We consider the verification problem: Given a graph G with n vertices, decide if it is Laman. We present an algorithm that takes O(T(n)+n log n) time, where T(n) is the best time to extract two edge disjoint spanning trees from G or decide no such trees exist. Our algorithm exploits a known construction called red-black hierarchy (RBH), that is a certificate for Laman graphs. First, we show how to verify if G admits an RBH and argue this is enough to conclude whether G is Laman or not. Second, we show how to construct the RBH using a two steps procedure that is simple and easy to implement. Finally, we point out some difficulties in using red-black hierarchies to compute a Henneberg construction, which seem to imply super-quadratic time algorithms when used for embedding a planar Laman graph as a pointed pseudo-triangulation.
On the testability and repair of hereditary hypergraph properties
Published
• View Publication
• BIB
Recent works of Alon-Shapira and Rödl-Schacht have demonstrated that every hereditary property of undirected graphs or hypergraphs is testable with one-sided error; informally, this means that if a graph or hypergraph satisfies that property "locally" with sufficiently high probability, then it can be perturbed (or "repaired") into a graph or hypergraph which satisfies that property "globally".
In this paper we make some refinements to these results, some of which may be surprising. In the positive direction, we strengthen the results to cover hereditary properties of multiple directed polychromatic graphs and hypergraphs. In the case of undirected graphs, we extend the result to continuous graphs on probability spaces, and show that the repair algorithm is "local" in the sense that it only depends on a bounded amount of data; in particular, the graph can be repaired in a time linear in the number of edges. We also show that local repairability also holds for monotone or partite hypergraph properties (this latter result is also implicitly in work of Ishigami). In the negative direction, we show that local repairability breaks down for directed graphs, or for undirected 3-uniform hypergraphs. The reason for this contrast in behavior stems from (the limitations of) Ramsey theory.
Acyclic Edge Coloring of Graphs with Maximum Degree 4
Published
• View Publication
• BIB
An $acyclic$ edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycle s. The \emph{acyclic chromatic index} of a graph is the minimum number k such that there is an acyclic e dge coloring using k colors and is denoted by $a'(G)$. It was conjectured by Alon, Sudakov and Zaks that for any simple and finite graph $G$, $a'(G)\le Δ+2$, where $Δ=Δ(G)$ denotes the maximum degree of $G$. We prove the conjecture for connected graphs with $Δ(G) \le 4$, with the additional restriction that $m \le 2n-1$, where $n$ is the number of vertices and $m$ is the number of edges in $G $. Note that for any graph $G$, $m \le 2n$, when $Δ(G) \le 4$. It follows that for any graph $G$ if $Δ(G) \le 4$, then $a'(G) \le 7$.