Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the Structure of $α$-Stable Graphs
Published
• View Publication
• BIB
The stability number of a graph G is the cardinality of a stability system of G (that is of a stable set of maximum size of G). A graph is alpha-stable if its stability number remains the same upon both the deletion and the addition of any edge. Trying to generalize some stable trees properties, we show that there does not exist any alpha-stable chordal graph, and we prove that: if G is a connected bipartite graph, then the following assertions are equivalent: G is alpha-stable; G can be written as a vertex disjoint union of connected bipartite graphs, each of them having exactly two stability systems covering its vertex set; G has perfect matchings and no edge belongs to all its perfect matchings; from each vertex of G are issuing at least two edges contained in some perfect matchings of G; any vertex of G lies on a cycle, whose edges are alternately in and not in some perfect matching; no vertex belongs to all stability systems of G, and no edge belongs to all its perfect matchings.
Mod 2 cohomology of combinatorial Grassmannians
Published in Selecta Mathematica 8 (2002), 161-200
• View Publication
• BIB
Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes. The homotopy groups of this poset are related to the image of the J-homomorphism from stable homotopy theory.
Dynamic monopolies of constant size
Published
• View Publication
• BIB
The paper deals with a polling game on a graph. Initially, each vertex is colored white or black. At each round, each vertex is colored by the color shared by the majority of vertices in its neighborhood. We say that a set of vertices is a dynamic monopoly if starting the game with the vertices of the set colored white, the entire system is white after a finite number of rounds. Peleg asked how small a dynamic monopoly may be as a function of the number of vertices. We show that the answer is O(1).
The number of edges in critical strongly connected graphs
Published
• View Publication
• BIB
We prove that the maximal number of directed edges in a vertex-critical strongly connected simple digraph on n vertices is n(n-1)/2 - n +4.
Birkhoff's Theorem for Panstochastic Matrices
Published in Amer. Math. Monthly 108 (2001), no. 1, 28--37
• View Publication
• BIB
The panstochastic analogue of Birkhoff's Theorem on doubly-stochastic matrices is proved in the case $n=5$. It is shown that this analogue fails when $n>1$, $n \ne 5$.
Growth in free groups (and other stories)
We start by studying the distribution of (cyclically reduced) elements of the free groups with respect to their abelianization. We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions $\mod p$ ($p$ -- an arbitrary prime) of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.
Graph Ramsey games
We consider combinatorial avoidance and achievement games based on graph Ramsey theory: The players take turns in coloring still uncolored edges of a graph G, each player being assigned a distinct color, choosing one edge per move. In avoidance games, completing a monochromatic subgraph isomorphic to another graph A leads to immediate defeat or is forbidden and the first player that cannot move loses. In the avoidance+ variants, both players are free to choose more than one edge per move. In achievement games, the first player that completes a monochromatic subgraph isomorphic to A wins. Erdos & Selfridge (1973) were the first to identify some tractable subcases of these games, followed by a large number of further studies. We complete these investigations by settling the complexity of all unrestricted cases: We prove that general graph Ramsey avoidance, avoidance+, and achievement games and several variants thereof are PSPACE-complete. We ultra-strongly solve some nontrivial instances of graph Ramsey avoidance games that are based on symmetric binary Ramsey numbers and provide strong evidence that all other cases based on symmetric binary Ramsey numbers are effectively intractable.
Keywords: combinatorial games, graph Ramsey theory, Ramsey game, PSPACE-completeness, complexity, edge coloring, winning strategy, achievement game, avoidance game, the game of Sim, Polya's enumeration formula, probabilistic counting, machine learning, heuristics, Java applet
Rational Hypergeometric Functions
Published
• View Publication
• BIB
Multivariate hypergeometric functions associated with toric varieties were introduced by Gel'fand, Kapranov and Zelevinsky. Singularities of such functions are discriminants, that is, divisors projectively dual to torus orbit closures. We show that most of these potential denominators never appear in rational hypergeometric functions. We conjecture that the denominator of any rational hypergeometric function is a product of resultants, that is, a product of special discriminants arising from Cayley configurations. This conjecture is proved for toric hypersurfaces and for toric varieties of dimension at most three. Toric residues are applied to show that every toric resultant appears in the denominator of some rational hypergeometric function.
The structure of quotients of the Onsager algebra by closed ideals
Published in J. Phys. A: Math. Gen. 33 (2000) 3275-3296
• View Publication
• BIB
We study the Onsager algebra from the ideal theoretic point of view. A complete classification of closed ideals and the structure of quotient algebras are obtained. We also discuss the solvable algebra aspect of the Onsager algebra through the use of formal Lie algebras.
Matrix Model Combinatorics: Applications to Folding and Coloring
Published
• View Publication
• BIB
We present a detailed study of the combinatorial interpretation of matrix integrals, including the examples of tessellations of arbitrary genera, and loop models on random surfaces. After reviewing their methods of solution, we apply these to the study of various folding problems arising from physics, including: the meander (or polymer folding) problem ``enumeration of all topologically inequivalent closed non-intersecting plane curves intersecting a line through a given number of points" and a fluid membrane folding problem reformulated as that of ``enumerating all vertex-tricolored triangulations of arbitrary genus, with given numbers of vertices of either color".
Permanents, Pfaffian orientations, and even directed circuits
Published in Ann. of Math. (2) 150 (1999), no. 3, 929-975
• View Publication
• BIB
Given a 0-1 square matrix A, when can some of the 1's be changed to -1's in such a way that the permanent of A equals the determinant of the modified matrix? When does a real square matrix have the property that every real matrix with the same sign pattern (that is, the corresponding entries either have the same sign or are both zero) is nonsingular? When is a hypergraph with n vertices and n hyperedges minimally nonbipartite? When does a bipartite graph have a "Pfaffian orientation"? Given a digraph, does it have no directed circuit of even length? Given a digraph, does it have a subdivision with no even directed circuit?
It is known that all of the above problems are equivalent. We prove a structural characterization of the feasible instances, which implies a polynomial-time algorithm to solve all of the above problems. The structural characterization says, roughly speaking, that a bipartite graph has a Pfaffian orientation if and only if it can be obtained by piecing together (in a specified way) planar bipartite graphs and one sporadic nonplanar bipartite graph.
Geometric Thickness of Complete Graphs
Published in J. Graph Algorithms & Applications 4(3):5-17, 2000
• View Publication
• BIB
We define the geometric thickness of a graph to be the smallest number of layers such that we can draw the graph in the plane with straight-line edges and assign each edge to a layer so that no two edges on the same layer cross. The geometric thickness lies between two previously studied quantities, the (graph-theoretical) thickness and the book thickness. We investigate the geometric thickness of the family of complete graphs, K_n. We show that the geometric thickness of K_n lies between ceiling((n/5.646) + 0.342) and ceiling(n/4), and we give exact values of the geometric thickness of K_n for n <= 12 and n in {15,16}. We also consider the geometric thickness of the family of complete bipartite graphs. In particular, we show that, unlike the case of complete graphs, there are complete bipartite graphs with arbitrarily large numbers of vertices for which the geometric thickness coincides with the standard graph-theoretical thickness.
Polynomial method in coding and information theory
Polynomial, or Delsarte's, method in coding theory accounts for a variety of structural results on, and bounds on the size of, extremal configurations (codes and designs) in various metric spaces. In recent works of the authors the applicability of the method was extended to cover a wider range of problems in coding and information theory. In this paper we present a general framework for the method which includes previous results as particular cases. We explain how this generalization leads to new asymptotic bounds on the performance of codes in binary-input memoryless channels and the Gaussian channel, which improve the results of Shannon et al. of 1959-67, and to a number of other results in combinatorial coding theory.
Chromatic Polynomials, Potts Models and All That
Published in Physica A279 (2000) 324-332
• View Publication
• BIB
The q-state Potts model can be defined on an arbitrary finite graph, and its partition function encodes much important information about that graph, including its chromatic polynomial, flow polynomial and reliability polynomial. The complex zeros of the Potts partition function are of interest both to statistical mechanicians and to combinatorists. I give a pedagogical introduction to all these problems, and then sketch two recent results: (a) Construction of a countable family of planar graphs whose chromatic zeros are dense in the whole complex q-plane except possibly for the disc |q-1| < 1. (b) Proof of a universal upper bound on the q-plane zeros of the chromatic polynomial (or antiferromagnetic Potts-model partition function) in terms of the graph's maximum degree.
The Classification of Circulant Weighing Matrices of Weight 16 and Odd Order
In this paper we completely classify the circulant weighing matrices of weight 16 and odd order. It turns out that the order must be an odd multiple of either 21 or 31. Up to equivalence, there are two distinct matrices in CW(31,16), one matrix in CW(21,16) and another one in CW(63,16) (not obtainable by Kronecker product from CW(21,16)). The classification uses a multiplier existence theorem.
Descent Functions and Random Young Tableaux
Published
• View Publication
• BIB
The expectation of the descent number of a random Young tableau of a fixed shape is given, and concentration around the mean is shown. This result is generalized to the major index and to other descent functions. The proof combines probabilistic arguments together with combinatorial character theory. Connections with Hecke algebras are mentioned.
Meanders: Exact Asymptotics
Published in Nucl.Phys. B570 (2000) 699-712
• View Publication
• BIB
We conjecture that meanders are governed by the gravitational version of a c=-4 two-dimensional conformal field theory, allowing for exact predictions for the meander configuration exponent α=\sqrt{29}(\sqrt{29}+\sqrt{5})/12, and the semi-meander exponent {\barα}=1+\sqrt{11}(\sqrt{29}+\sqrt{5})/24. This result follows from an interpretation of meanders as pairs of fully packed loops on a random surface, described by two c=-2 free fields. The above values agree with recent numerical estimates. We generalize these results to a score of meandric numbers with various geometries and arbitrary loop fugacities.
Ground-State Degeneracy of Potts Antiferromagnets on Two-Dimensional Lattices: Approach Using Infinite Cyclic Strip Graphs
Published in Phys. Rev. E60, 3512-3515 (1999)
• View Publication
• BIB
The q-state Potts antiferromagnet on a lattice $Λ$ exhibits nonzero ground state entropy $S_0=k_B \ln W$ for sufficiently large q and hence is an exception to the third law of thermodynamics. An outstanding challenge has been the calculation of W(sq,q) on the square (sq) lattice. We present here an exact calculation of W on an infinite-length cyclic strip of the square lattice which embodies the expected analytic properties of W(sq,q). Similar results are given for the kagomé lattice.
Robinson-Schensted correspondence and left cells
Published
• View Publication
• BIB
Although the Robinson-Schensted-Knuth correspondence is a classical subject, its study is still active because of new development in last two decades. In this field, fundamental results are sometimes proved by using machineries which may be bypassed. Hence we still feel a lack of good source for these elementary materials. This paper is intended to fill in this lack about the RSK correspondence and the left cells of the symmetric group. It is mostly survey-like, but shows the variety of fields the RSK correspondence is related to.
Monodromy of fiber-type arrangements and orbit configuration spaces
Published in Forum Math. 13 (2001), 505-530
• View Publication
• BIB
We prove similar theorems concerning the structure of bundles involving complements of fiber-type hyperplane arrangements and orbit configuration spaces. These results facilitate analysis of the fundamental groups of these spaces, which may be viewed as generalizations of the Artin pure braid group. In particular, we resolve two disparate conjectures. We show that the Whitehead group of the fundamental group of the complement of a fiber-type arrangement is trivial, as conjectured by Aravinda, Farrell, and Rouchon. For the orbit configuration space corresponding to the natural action of a finite cyclic group on the punctured plane, we determine the structure of the Lie algebra associated to the lower central series of the fundamental group. Our results show that this Lie algebra is isomorphic to the module of primitives in the homology of the loop space of a related orbit configuration space, as conjectured by Xicotencatl.