arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82139 papers, 47531 authors in database)
2012-03-16 v2
Counting joints with multiplicities
Published • View Publication • BIB
Let $\mathfrak{L}$ be a collection of $L$ lines in $\R^3$ and $J$ the set of joints formed by $\mathfrak{L}$, i.e. the set of points each of which lies in at least 3 non-coplanar lines of $\mathfrak{L}$. It is known that $|J| \lesssim L^{3/2}$ (first proved by Guth and Katz). For each joint $x \in J$, let the multiplicity $N(x)$ of $x$ be the number of triples of non-coplanar lines through $x$. We prove here that $\sum_{x \in J}N(x)^{1/2} \lesssim L^{3/2}$, while in the last section we extend this result to real algebraic curves of uniformly bounded degree in $\R^3$, as well as to curves in $\R^3$ parametrised by real polynomials of uniformly bounded degree.
2012-03-16
A decomposition theorem for binary matroids with no prism minor
Published in (2014) Graphs and Combinatorics, Vol. 30, Issue 6, 1479-1497 • View Publication • BIB
The prism graph is the dual of the complete graph on five vertices with an edge deleted, $K_5\backslash e$. In this paper we determine the class of binary matroids with no prism minor. The motivation for this problem is the 1963 result by Dirac where he identified the simple 3-connected graphs with no minor isomorphic to the prism graph. We prove that besides Dirac's infinite families of graphs and four infinite families of non-regular matroids determined by Oxley, there are only three possibilities for a matroid in this class: it is isomorphic to the dual of the generalized parallel connection of $F_7$ with itself across a triangle with an element of the triangle deleted; it's rank is bounded by 5; or it admits a non-minimal exact 3-separation induced by the 3-separation in $P_9$. Since the prism graph has rank 5, the class has to contain the binary projective geometries of rank 3 and 4, $F_7$ and $PG(3, 2)$, respectively. We show that there is just one rank 5 extremal matroid in the class. It has 17 elements and is an extension of $R_{10}$, the unique splitter for regular matroids. As a corollary, we obtain Dillon, Mayhew, and Royle's result identifying the binary internally 4-connected matroids with no prism minor [5].
2012-03-16 v3
Avoiding colored partitions of two elements in the pattern sense
Enumeration of pattern-avoiding objects is an active area of study with connections to such disparate regions of mathematics as Schubert varieties and stack-sortable sequences. Recent research in this area has brought attention to colored permutations and colored set partitions. A colored partition of a set $S$ is a partition of $S$ with each element receiving a color from the set $[k]=\{1,2,...,k\}$. Let $Π_n\wr C_k$ be the set of partitions of $[n]$ with colors from $[k]$. In an earlier work, the authors study pattern avoidance in colored set partitions in the equality sense. Here we study pattern avoidance in colored partitions in the pattern sense. We say that $σ\inΠ_n\wr C_k$ contains $π\in Π_m\wr C_\ell$ in the pattern sense if $σ$ contains a copy $π$ when the colors are ignored and the colors on this copy of $π$ are order isomorphic to the colors on $π$. Otherwise we say that $σ$ avoids $π$. We focus on patterns from $Π_2\wr C_2$ and find that many familiar and some new integer sequences appear. We provide bijective proofs wherever possible, and we provide formulas for computing those sequences that are new.
2012-03-15
An excess theorem for spherical 2-designs
Published • View Publication • BIB
We give an excess theorem for spherical 2-designs. This theorem is a dual version of the spectral excess theorem for graphs, which gives a characterization of distance-regular graphs, among regular graphs in terms of the eigenvalues and the excess. Here we give a characterization of Q-polynomial association schemes among spherical 2-designs.
2012-03-15 v2
A Bijective Proof of and Identity Extending a Classic Result of Hajos
We provide bijective proofs of two classic identities that are very simple to prove using generating functions, but surprisingly difficult to prove combinatorially. The problem of finding a bijective proof for the first identity was first raised in the 1930s. The second, more involved identity takes the first one a step further.
2012-03-15
When does the top homology of a random simplicial complex vanish?
Published • View Publication • BIB
Several years ago Linial and Meshulam introduced a model called X_d(n,p) of random n-vertex d-dimensional simplicial complexes. The following question suggests itself very naturally: What is the threshold probability p=p(n) at which the d-dimensional homology of such a random d-complex is, almost surely, nonzero? Here we derive an upper bound on this threshold. Computer experiments that we have conducted suggest that this bound may coincide with the actual threshold, but this remains an open question.
2012-03-15 v2
Connectivity for random graphs from a weighted bridge-addable class
Published • View Publication • BIB
There has been much recent interest in random graphs sampled uniformly from the n-vertex graphs in a suitable structured class, such as the class of all planar graphs. Here we consider a general 'bridge-addable' class of graphs - if a graph is in the class and u and v are vertices in different components then the graph obtained by adding an edge (bridge) between u and v must also be in the class. Various bounds are known concerning the probability of a random graph from such a class being connected or having many components, sometimes under the additional assumption that bridges can be deleted as well as added. Here we improve or amplify or generalise these bounds. For example, we see that the expected number of vertices left when we remove a largest component is less than 2. The generalisation is to consider 'weighted' random graphs, sampled from a suitable more general distribution, where the focus is on the bridges.
Fast strategies in Maker-Breaker games played on random boards
Published • View Publication • BIB
In this paper we analyze classical Maker-Breaker games played on the edge set of a sparse random board $G\sim \gnp$. We consider the Hamiltonicity game, the perfect matching game and the $k$-connectivity game. We prove that for $p(n)\geq \text{polylog}(n)/n$, the board $G\sim \gnp$ is typically such that Maker can win these games asymptotically as fast as possible, i.e. within $n+o(n)$, $n/2+o(n)$ and $kn/2+o(n)$ moves respectively.
2012-03-15
Weak and Strong k-connectivity games
For a positive integer $k$ we consider the $k$-vertex-connectivity game, played on the edge set of $K_n$, the complete graph on $n$ vertices. We first study the Maker-Breaker version of this game and prove that, for any integer $k \geq 2$ and sufficiently large $n$, Maker has a strategy for winning this game within $\lfloor k n/2 \rfloor + 1$ moves, which is clearly best possible. This answers a question of Hefetz, Krivelevich, Stojaković and Szabó. We then consider the strong $k$-vertex-connectivity game. For every positive integer $k$ and sufficiently large $n$, we describe an explicit first player's winning strategy for this game.
On large bipartite graphs of diameter 3
Published in Discrete Mathematics 313 (2013), no. 4, 381-390 • View Publication • BIB
We consider the bipartite version of the {\it degree/diameter problem}, namely, given natural numbers $d\ge2$ and $D\ge2$, find the maximum number $\N^b(d,D)$ of vertices in a bipartite graph of maximum degree $d$ and diameter $D$. In this context, the bipartite Moore bound $\M^b(d,D)$ represents a general upper bound for $\N^b(d,D)$. Bipartite graphs of order $\M^b(d,D)$ are very rare, and determining $\N^b(d,D)$ still remains an open problem for most $(d,D)$ pairs. This paper is a follow-up to our earlier paper \cite{FPV12}, where a study on bipartite $(d,D,-4)$-graphs (that is, bipartite graphs of order $\M^b(d,D)-4$) was carried out. Here we first present some structural properties of bipartite $(d,3,-4)$-graphs, and later prove there are no bipartite $(7,3,-4)$-graphs. This result implies that the known bipartite $(7,3,-6)$-graph is optimal, and therefore $\N^b(7,3)=80$. Our approach also bears a proof of the uniqueness of the known bipartite $(5,3,-4)$-graph, and the non-existence of bipartite $(6,3,-4)$-graphs. In addition, we discover three new largest known bipartite (and also vertex-transitive) graphs of degree 11, diameter 3 and order 190, result which improves by 4 vertices the previous lower bound for $\N^b(11,3)$.
2012-03-14
Note on minimally $k$-rainbow connected graphs
Published • View Publication • BIB
An edge-colored graph $G$, where adjacent edges may have the same color, is {\it rainbow connected} if every two vertices of $G$ are connected by a path whose edge has distinct colors. A graph $G$ is {\it $k$-rainbow connected} if one can use $k$ colors to make $G$ rainbow connected. For integers $n$ and $d$ let $t(n,d)$ denote the minimum size (number of edges) in $k$-rainbow connected graphs of order $n$. Schiermeyer got some exact values and upper bounds for $t(n,d)$. However, he did not get a lower bound of $t(n,d)$ for $3\leq d<\lceil\frac{n}{2}\rceil $. In this paper, we improve his lower bound of $t(n,2)$, and get a lower bound of $t(n,d)$ for $3\leq d<\lceil\frac{n}{2}\rceil$.
2012-03-14
Between Arrow and Gibbard-Satterthwaite; A representation theoretic approach
Published • View Publication • BIB
A central theme in social choice theory is that of impossibility theorems, such as Arrow's theorem and the Gibbard-Satterthwaite theorem, which state that under certain natural constraints, social choice mechanisms are impossible to construct. In recent years, beginning in Kalai`01, much work has been done in finding \textit{robust} versions of these theorems, showing "approximate" impossibility remains even when most, but not all, of the constraints are satisfied. We study a spectrum of settings between the case where society chooses a single outcome (á-la-Gibbard-Satterthwaite) and the choice of a complete order (as in Arrow's theorem). We use algebraic techniques, specifically representation theory of the symmetric group, and also prove robust versions of the theorems that we state. Our relaxations of the constraints involve relaxing of a version of "independence of irrelevant alternatives", rather than relaxing the demand of a transitive outcome, as is done in most other robustness results.
2012-03-14 v2
On the diameter of random planar graphs
Published in Combinator. Probab. Comp. 24 (2015) 145-178 • View Publication • BIB
We show that the diameter D(G_n) of a random labelled connected planar graph with n vertices is equal to n^{1/4+o(1)}, in probability. More precisely there exists a constant c>0 such that the probability that D(G_n) lies in the interval (n^{1/4-ε},n^{1/4+ε}) is greater than 1-\exp(-n^{cε}) for ε small enough and n>n_0(ε). We prove similar statements for 2-connected and 3-connected planar graphs and maps.
2012-03-14
Minimum Distance Spectral Radius of Graphs with Given Edge Connectivity
Published in J. of Math. (PRC), 2014, 34(4), 671-678 • Search Publication
In this paper we determine the unique graph with minimum distance spectral radius among all connected graphs of fixed order and given edge connectivity.
2012-03-14
Cumulants of the q-semicircular law, Tutte polynomials, and heaps
Published in Can. J. Math.-J. Can. Math. 65 (2013) 863-878 • View Publication • BIB
The q-semicircular distribution is a probability law that interpolates between the Gaussian law and the semicircular law. There is a combinatorial interpretation of its moments in terms of matchings where q follows the number of crossings, whereas for the free cumulants one has to restrict the enumeration to connected matchings. The purpose of this article is to describe combinatorial properties of the classical cumulants. We show that like the free cumulants, they are obtained by an enumeration of connected matchings, the weight being now an evaluation of the Tutte polynomial of a so-called crossing graph. The case q=0 of these cumulants was studied by Lassalle using symmetric functions and hypergeometric series. We show that the underlying combinatorics is explained through the theory of heaps, which is Viennot's geometric interpretation of the Cartier-Foata monoid. This method also gives results for the classical cumulants of the free Poisson law.
2012-03-14 v2
Counting colored planar maps free-probabilistically
Our main result is an explicit operator-theoretic formula for the number of colored planar maps with a fixed set of stars each of which has a fixed set of half-edges with fixed coloration. The formula bounds the number of such colored planar maps well enough to prove convergence near the origin of generating functions arising naturally in the matrix model context. Such convergence is known but the proof of convergence proceeding by way of our main result is relatively simple. Besides Voiculescu's generalization of Wigner's semicircle law, our main technical tool is an integration identity representing the joint cumulant of several functions of a Gaussian random vector. The latter identity in the case of cumulants of order 2 reduces to one well-known as a means to prove the Poincare inequality. We derive the identity by combining the heat equation with the so-called BKAR formula from constructive quantum field theory and rigorous statistical mechanics.
2012-03-14 v3
Multiply-refined enumeration of alternating sign matrices
Published in Adv. Math. 245 (2013) 439-499 • View Publication • BIB
Four natural boundary statistics and two natural bulk statistics are considered for alternating sign matrices (ASMs). Specifically, these statistics are the positions of the 1's in the first and last rows and columns of an ASM, and the numbers of generalized inversions and -1's in an ASM. Previously-known and related results for the exact enumeration of ASMs with prescribed values of some of these statistics are discussed in detail. A quadratic relation which recursively determines the generating function associated with all six statistics is then obtained. This relation also leads to various new identities satisfied by generating functions associated with fewer than six of the statistics. The derivation of the relation involves combining the Desnanot-Jacobi determinant identity with the Izergin-Korepin formula for the partition function of the six-vertex model with domain-wall boundary conditions.
2012-03-14
Equivariant K-Chevalley Rules for Kac-Moody Flag Manifolds
Published • View Publication • BIB
Explicit combinatorial cancellation-free rules are given for the product of an equivariant line bundle class with a Schubert class in the torus-equivariant K-theory of a Kac-Moody flag manifold. The weight of the line bundle may be dominant or antidominant, and the coefficients may be described either by Lakshmibai-Seshadri paths or by the alcove model of the first author and Postnikov. For Lakshmibai-Seshadri paths, our formulas are the Kac-Moody generalizations of results of Griffeth-Ram and Pittie-Ram for finite dimensional flag manifolds. A gap in the proofs of the mentioned results is addressed.
A problem of Erdős on the minimum number of $k$-cliques
Published • View Publication • BIB
Fifty years ago Erdős asked to determine the minimum number of $k$-cliques in a graph on $n$ vertices with independence number less than l. He conjectured that this minimum is achieved by the disjoint union of $l-1$ complete graphs of size $\frac{n}{l-1}$. This conjecture was disproved by Nikiforov who showed that the balanced blow-up of a 5-cycle has fewer 4-cliques than the union of 2 complete graphs of size $\frac{n}{2}$. In this paper we solve Erdős' problem for $(k,l)=(3,4)$ and $(k,l)=(4,3)$. Using stability arguments we also characterize the precise structure of extremal examples, confirming Erdős' conjecture for $(k,l)=(3,4)$ and showing that a blow-up of a 5-cycle gives the minimum for $(k,l)=(4,3)$.
2012-03-13 v3
The Littlewood-Richardson rule and Gelfand-Tsetlin patterns
We give a survey on the Littlewood-Richardson rule. Using Gelfand-Tsetlin patterns as the main machinery of our analysis, we study the interrelationship of various combinatorial descriptions of the Littlewood-Richardson rule.