Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The Geometry of Manipulation - a Quantitative Proof of the Gibbard Satterthwaite Theorem
Published
• View Publication
• BIB
We prove a quantitative version of the Gibbard-Satterthwaite theorem. We show that a uniformly chosen voter profile for a neutral social choice function f of $q \ge 4$ alternatives and n voters will be manipulable with probability at least $10^{-4} \eps^2 n^{-3} q^{-30}$, where $\eps$ is the minimal statistical distance between f and the family of dictator functions. Our results extend those of FrKaNi:08, which were obtained for the case of 3 alternatives, and imply that the approach of masking manipulations behind computational hardness (as considered in BarthOrline:91, ConitzerS03b, ElkindL05, ProcacciaR06 and ConitzerS06) cannot hide manipulations completely. Our proof is geometric. More specifically it extends the method of canonical paths to show that the measure of the profiles that lie on the interface of 3 or more outcomes is large. To the best of our knowledge our result is the first isoperimetric result to establish interface of more than two bodies.
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.
The three-colour model with domain wall boundary conditions
Published in Adv. Appl. Math 46 (2011), 481-535
• View Publication
• BIB
We study the partition function for the three-colour model with domain wall boundary conditions. We express it in terms of certain special polynomials, which can be constructed recursively. Our method generalizes Kuperberg's proof of the alternating sign matrix theorem, replacing the six-vertex model used by Kuperberg with the eight-vertex-solid-on-solid model. As applications, we obtain some combinatorial results on three-colourings. We also conjecture an explicit formula for the free energy of the model.
Concentration of the adjacency matrix and of the Laplacian in random graphs with independent edges
Consider any random graph model where potential edges appear independently, with possibly different probabilities, and assume that the minimum expected degree is omega(ln n). We prove that the adjacency matrix and the Laplacian of that random graph are concentrated around the corresponding matrices of the weighted graph whose edge weights are the probabilities in the random model. While this may seem surprising, we will see that this matrix concentration phenomenon is a generalization of known results about the Erös-Rényi model. In particular, we will argue that matrix concentration is implicit the theory of quasi-random graph properties.
We present two main applications of the main result. In bond percolation over a graph G, we show that the Laplacian of the random subgraph is typically very close to the Laplacian of G. As a corollary, we improve upon a bound for the spectral gap due to Chung and Horn that was derived via much more complicated methods.
In inhomogeneous random graphs, there are points X_1,...,X_n uniformly distributed on the interval [0,1] and each pair is connected with probability p kappa(X_i,X_j). We show that if \ln n/n<< p<< 1 and kappa is bounded, then the adjacency matrix of the random graph is close to an integral operator defined in terms of kappa.
Our main proof tool is a new concentration inequality for matrix martingales that generalizes Freedman's inequality for the standard scalar setting.
Order algebras: a quantitative model of interaction
Published
• View Publication
• BIB
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This algebraic structure is shown to provide faithful interpretations of finitary process algebras, for an extension of the standard notion of testing semantics, leading to a model that is both denotational (in the sense that the internal workings of processes are ignored) and non-interleaving. Constructions on algebras and their subspaces enjoy a good structure that make them (nearly) a model of differential linear logic, showing that the underlying approach to the representation of non-determinism as linear combinations is the same.
The measurement of quantum entanglement and enumeration of graph coverings
Published
• View Publication
• BIB
We provide formulas for invariants defined on a tensor product of defining representations of unitary groups, under the action of the product group. This situation has a physical interpretation, as it is related to the quantum mechanical state space of a multi-particle system in which each particle has finitely many outcomes upon observation. Moreover, these invariant functions separate the entangled and unentangled states, and are therefore viewed as measurements of quantum entanglement. When the ranks of the unitary groups are large, we provide a graph theoretic interpretation for the dimension of the invariants of a fixed degree. We also exhibit a bijection between isomorphism classes of finite coverings of connected simple graphs and a basis for the space of invariants. The graph coverings are related to branched coverings of surfaces.
Some Identities Involving Three Kinds of Counting Numbers
In this note, we present several identities involving binomial coefficients and the two kind of Stirling numbers.
The Rigidity of Spherical Frameworks: Swapping Blocks and Holes
Published
• View Publication
• BIB
A significant range of geometric structures whose rigidity is explored for both practical and theoretical purposes are formed by modifying generically isostatic triangulated spheres. In the block and hole structures (P, p), some edges are removed to make holes, and other edges are added to create rigid sub-structures called blocks. Previous work noted a combinatorial analogy in which blocks and holes played equivalent roles. In this paper, we connect stresses in such a structure (P, p) to first-order motions in a swapped structure (P', p), where holes become blocks and blocks become holes. When the initial structure is geometrically isostatic, this shows that the swapped structure is also geometrically isostatic, giving the strongest possible correspondence. We use a projective geometric presentation of the statics and the motions, to make the key underlying correspondences transparent.
Unexpected behaviour of crossing sequences
Published
• View Publication
• BIB
The n-th crossing number of a graph G, denoted cr_n(G), is the minimum number of crossings in a drawing of G on an orientable surface of genus n. We prove that for every a>b>0, there exists a graph G for which cr_0(G) = a, cr_1(G) = b, and cr_2(G) = 0. This provides support for a conjecture of Archdeacon et al. and resolves a problem of Salazar.
On the Spectrum of Middle-Cubes
A middle-cube is an induced subgraph consisting of nodes at the middle two layers of a hypercube. The middle-cubes are related to the well-known Revolving Door (Middle Levels) conjecture. We study the middle-cube graph by completely characterizing its spectrum. Specifically, we first present a simple proof of its spectrum utilizing the fact that the graph is related to Johnson graphs which are distance-regular graphs and whose eigenvalues can be computed using the association schemes. We then give a second proof from a pure graph theory point of view without using its distance regular property and the technique of association schemes.
Traffic Grooming in Bidirectional WDM Ring Networks
Published
• View Publication
• BIB
We study the minimization of ADMs (Add-Drop Multiplexers) in optical WDM bidirectional rings considering symmetric shortest path routing and all-to-all unitary requests. We precisely formulate the problem in terms of graph decompositions, and state a general lower bound for all the values of the grooming factor $C$ and $N$, the size of the ring. We first study exhaustively the cases C=1, $C = 2$, and C=3, providing improved lower bounds, optimal constructions for several infinite families, as well as asymptotically optimal constructions and approximations. We then study the case $C>3$, focusing specifically on the case $C = k(k+1)/2$ for some $k \geq 1$. We give optimal decompositions for several congruence classes of $N$ using the existence of some combinatorial designs. We conclude with a comparison of the cost functions in unidirectional and bidirectional WDM rings.
Two bijections for sets of words with forbidden factors
In a recent paper by Kitaev and Remmel, several formulas for the number of words of length n avoiding some generalized patterns were established. Each time the obtained function of n had been found in Sloane's Encyclopedia as the number of some other objects, but the bijections between the two sets did not follow from the proof. Kitaev and Remmel stated four open problems on finding respective bijections. Here we solve two of them, concerning sequences A007070 and A048739.
On the homomorphism order of labeled posets
Published in Order 28 (2011) 251-265
• View Publication
• BIB
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.
Perfect Matchings as IID Factors on Non-Amenable Groups
Published in Europ. J. Combin. 32 (2011), 1115--1125
• View Publication
• BIB
We prove that in every bipartite Cayley graph of every non-amenable group, there is a perfect matching that is obtained as a factor of independent uniform random variables. We also discuss expansion properties of factors and improve the Hoffman spectral bound on independence number of finite graphs.
Flocks of Cones: Herds and Herd Spaces
This is the first in a series of articles devoted to providing a foundation for a theory of flocks of arbitrary cones in PG(3,q). The desire to have such a theory stems from a need to better understand the very significant and applicable special case of flocks of quadratic cones in PG(3,q). Flocks of quadratic cones have connections with several other geometrical objects, including certain types of generalized quadrangles, spreads, translation planes, hyperovals (in even characteristic), ovoids, inversive planes and quasi-fibrations of hyperbolic quadrics. This rich collection of interconnections is the basis for the strong interest in such flocks. Recent work has indicated that some of these connections can be extended to non-quadratic cones, so there is an additional desire to have such a theory.
The positive semidefinite Grothendieck problem with rank constraint
Published in ICALP, Part I, LNCS 6198, 2010, pages 31-42
• View Publication
• BIB
Given a positive integer n and a positive semidefinite matrix A = (A_{ij}) of size m x m, the positive semidefinite Grothendieck problem with rank-n-constraint (SDP_n) is
maximize \sum_{i=1}^m \sum_{j=1}^m A_{ij} x_i \cdot x_j, where x_1, ..., x_m \in S^{n-1}.
In this paper we design a polynomial time approximation algorithm for SDP_n achieving an approximation ratio of
γ(n) = \frac{2}{n}(\frac{Γ((n+1)/2)}{Γ(n/2)})^2 = 1 - Θ(1/n).
We show that under the assumption of the unique games conjecture the achieved approximation ratio is optimal: There is no polynomial time algorithm which approximates SDP_n with a ratio greater than γ(n). We improve the approximation ratio of the best known polynomial time algorithm for SDP_1 from 2/πto 2/(πγ(m)) = 2/π+ Θ(1/m), and we show a tighter approximation ratio for SDP_n when A is the Laplacian matrix of a graph with nonnegative edge weights.
A Probability Method to Prove Combinatorial Identities
A probability method is provided to prove three classes of combinatorial identities. The method is extremely simple, only one step after the proper probability setup.
SIC-POVMs: A new computer study
Published in J. Math. Phys. 51, 042203 (2010)
• View Publication
• BIB
We report on a new computer study into the existence of d^2 equiangular lines in d complex dimensions. Such maximal complex projective codes are conjectured to exist in all finite dimensions and are the underlying mathematical objects defining symmetric informationally complete measurements in quantum theory. We provide numerical solutions in all dimensions d <= 67 and, moreover, a putatively complete list of Weyl-Heisenberg covariant solutions for d <= 50. A symmetry analysis of this list leads to new algebraic solutions in dimensions d = 24, 35 and 48, which are given together with algebraic solutions for d = 4,..., 15 and 19.
Multigraded combinatorial Hopf algebras and refinements of odd and even subalgebras
Published in J. Algebr. Comb. 34 (2011), pages 451-506
• View Publication
• BIB
We develop a theory of multigraded (i.e., $N^l$-graded) combinatorial Hopf algebras modeled on the theory of graded combinatorial Hopf algebras developed by Aguiar, Bergeron, and Sottile [Compos. Math. 142 (2006), 1--30]. In particular we introduce the notion of canonical $k$-odd and $k$-even subalgebras associated with any multigraded combinatorial Hopf algebra, extending simultaneously the work of Aguiar et al. and Ehrenborg. Among our results are specific categorical results for higher level quasisymmetric functions, several basis change formulas, and a generalization of the descents-to-peaks map.
A combinatorial version of Sylvester's four-point problem
Published in Adv. in App. Math., 45 (2010) no. 3, 390--394
• View Publication
• BIB
J. J. Sylvester's four-point problem asks for the probability that four points chosen uniformly at random in the plane have a triangle as their convex hull. Using a combinatorial classification of points in the plane due to Goodman and Pollack, we generalize Sylvester's problem to one involving reduced expressions for the long word in the symmetric group. We conjecture an answer of 1/4 for this new version of the problem.