arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83076 papers, 47999 authors in database)
2008-04-22
A note on 2-subset-regular self-complementary 3-uniform hypergraphs
We show that a 2-subset-regular self-complementary 3-uniform hypergraph with $n$ vertices exists if and only if $n\ge 6$ and $n$ is congruent to 2 modulo 4.
2008-04-22
An identity for sums of polylogarithm functions
Published in Integers: Electronic Journal Of Combinatorial Number Theory 8 (2008), #A15 • Search Publication
We derive an identity for certain linear combinations of polylogarithm functions with negative exponents, which implies relations for linear combinations of Eulerian numbers. The coefficients of our linear combinations are related to expanding moments of Satake parameters of holomorphic cuspidal newforms in terms of the moments of the corresponding Fourier coefficients, which has applications in analyzing lower order terms in the behavior of zeros of L-functions near the central point.
2008-04-21 v2
Lifts of matroid representations over partial fields
Published in Journal of Combinatorial Theory, Series B, vol. 100, Issue 1, pp. 36-67, 2010 • View Publication • BIB
There exist several theorems which state that when a matroid is representable over distinct fields F_1,...,F_k, it is also representable over other fields. We prove a theorem, the Lift Theorem, that implies many of these results. First, parts of Whittle's characterization of representations of ternary matroids follow from our theorem. Second, we prove the following theorem by Vertigan: if a matroid is representable over both GF(4) and GF(5), then it is representable over the real numbers by a matrix such that the absolute value of the determinant of every nonsingular square submatrix is a power of the golden ratio. Third, we give a characterization of the 3-connected matroids having at least two inequivalent representations over GF(5). We show that these are representable over the complex numbers. Additionally we provide an algebraic construction that, for any set of fields F_1,...,F_k, gives the best possible result that can be proven using the Lift Theorem.
Promotion and cyclic sieving via webs
Published • View Publication • BIB
We show that Schützenberger's promotion on two and three row rectangular Young tableaux can be realized as cyclic rotation of certain planar graphs introduced by Kuperberg. Moreover, following work of the third author, we show that this action admits the cyclic sieving phenomenon.
2008-04-21 v3
Uncountable Graphs and Invariant Measures on the Set of Universal Countable Graphs
Published • View Publication • BIB
We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and $K_s$-free homogeneous universal graphs (for $s\geq 3$) that are invariant with respect to the group of all permutations of the vertices. Such measures can be regarded as random graphs (respectively, random $K_s$-free graphs). The well-known example of Erdös--Rényi (ER) of the random graph corresponds to the Bernoulli measure on the set of adjacency matrices. For the case of the universal $K_s$-free graphs there were no previously known examples of the invariant measures on the space of such graphs. The main idea of our construction is based on the new notions of {\it measurable universal}, and {\it topologically universal} graphs, which are interesting themselves. The realization of the construction can be regarded as two-step randomization for universal measurable graph : {\it "randomization in vertices"} and {\it "randomization in edges"}. For $K_s$-free, $s\geq 3$ there is only randomization in vertices of the measurable graphs. The completeness of our lists is proved using the important theorem by D. Aldous about $S_{\infty}$-invariant matrices, which we reformulate in appropriate way.
2008-04-20
A structural approach to subset-sum problems
Published • View Publication • BIB
We discuss a structural approach to subset-sum problems in additive combinatorics. The core of this approach are Freiman-type structural theorems, many of which will be presented through the paper. These results have applications in various areas, such as number theory, combinatorics and mathematical physics.
2008-04-19
Preprojective algebras and cluster algebras
Published in Trends in representation theory of algebras and related topics, 253--283, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2008 • View Publication • BIB
We use the representation theory of preprojective algebras to construct and study certain cluster algebras related to semisimple algebraic groups.
Pairs of Noncrossing Free Dyck Paths and Noncrossing Partitions
Published • View Publication • BIB
Using the bijection between partitions and vacillating tableaux, we establish a correspondence between pairs of noncrossing free Dyck paths of length $2n$ and noncrossing partitions of $[2n+1]$ with $n+1$ blocks. In terms of the number of up steps at odd positions, we find a characterization of Dyck paths constructed from pairs of noncrossing free Dyck paths by using the Labelle merging algorithm.
2008-04-18
A construction of spherical designs from finite graphs with the theory of crystal lattice
We want to introduce a construction of spherical designs from finite graphs with the theory of crystal lattice. We start from a finite graph, and we consider standard realization of the crystal lattices as the maximal Abelian covering of the graph. Then, we take the set of vectors which form the crystal lattice. If every vector has the same norm, then we can consider a finite set on Euclidean sphere, and then we get a spherical design. In this paper, we observe the results by numerical calculations. We tried constructing vectors from various finite graphs, strongly regular graphs, distance regular graphs, and so on. We also introduce some facts and conjectures.
2008-04-18 v2
Geodesics in large planar maps and in the Brownian map
Published • View Publication • BIB
We study geodesics in the random metric space called the Brownian map, which appears as the scaling limit of large planar maps. In particular, we completely describe geodesics starting from the distinguished point called the root, and we characterize the set S of all points that are connected to the root by more than one geodesic. The set S is dense in the Brownian map and homeomorphic to a non-compact real tree. Furthermore, for every x in S, the number of distinct geodesics from x to the root is equal to the number of connected components of the complement of {x} in S. In particular, points of the Brownian map can be connected to the root by at most three distinct geodesics. Our results have applications to the behavior of geodesics in large planar maps.
2008-04-18
Three Dimensional Corners: A Box Norm Proof
In an additive group (G,+), a three-dimensional corner is the four points g, g+d(1,0,0), g+d(0,1,0), g+d(0,0,1), where g is in G^3, and d is a non-zero element of G. The Ramsey number of interest is R_3(G) the maximal cardinality of a subset of G^3 that does not contain a three-dimensional corner. Furstenberg and Katznelson have shown R_3(Z_N) is little-o of N^3, and in fact the corresponding result holds in all dimensions, a result that is a far reaching extension of the Szemeredi Theorem. We give a new proof of the finite field version of this fact, a proof that is a common generalization of the Gowers proof of Szemeredi's Theorem for four term progressions, and the result of Shkredov on two-dimensional corners. The principal tool are the Gowers Box Norms.
2008-04-18
On the size of identifying codes in binary hypercubes
Published • View Publication • BIB
We consider identifying codes in binary Hamming spaces F^n, i.e., in binary hypercubes. The concept of identifying codes was introduced by Karpovsky, Chakrabarty and Levitin in 1998. Currently, the subject forms a topic of its own with several possible applications, for example, to sensor networks. Let C be a subset of F^n. For any subset X of F^n, denote by I_r(X)=I_r(C;X) the set of elements of C within distance r from at least one x in X. Now C is called an (r,<= l)-identifying code if the sets I_r(X) are distinct for all subsets X of size at most l. We estimate the smallest size of such codes with fixed l and r/n converging to some number rho in (0,1). We further show the existence of such a code of size O(n^{3/2}) for every fixed l and r slightly less than n/2, and give for l=2 an explicit construction of small such codes for r the integer part of n/2-1 (the largest possible value).
2008-04-18
The Clustering Coefficient of a Scale-Free Random Graph
Published • View Publication • BIB
We consider a random graph process in which, at each time step, a new vertex is added with m out-neighbours, chosen with probabilities proportional to their degree plus a strictly positive constant. We show that the expectation of the clustering coefficient of the graph process is asymptotically proportional to log n/n. Bollobás and Riordan have previously shown that when the constant is zero, the same expectation is asymptotically proportional to ((log n)^2)/n.
Distance graphs in vector spaces over finite fields, coloring and pseudo-randomness
Published • View Publication • BIB
In this paper we systematically study various properties of the distance graph in ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field ${\Bbb F}_q$ with $q$ elements. In the process we compute the diameter of distance graphs and show that sufficiently large subsets of $d$-dimensional vector spaces over finite fields contain every possible finite configurations.
2008-04-18 v2
Shuffling algorithm for boxed plane partitions
Published in Advances in Mathematics, 220 (2009), no. 6, 1739-1770 • View Publication • BIB
We introduce discrete time Markov chains that preserve uniform measures on boxed plane partitions. Elementary Markov steps change the size of the box from (a x b x c) to ((a-1) x (b+1) x c) or ((a+1) x (b-1) x c). Algorithmic realization of each step involves O((a+b)c) operations. One application is an efficient perfect random sampling algorithm for uniformly distributed boxed plane partitions. Trajectories of our Markov chains can be viewed as random point configurations in the three-dimensional lattice. We compute the bulk limits of the correlation functions of the resulting random point process on suitable two-dimensional sections. The limiting correlation functions define a two-dimensional determinantal point processes with certain Gibbs properties.
2008-04-18 v2
(q,t)-analogues and GL_n(F_q)
Published • View Publication • BIB
We start with a (q,t)-generalization of a binomial coefficient. It can be viewed as a polynomial in t that depends upon an integer q, with combinatorial interpretations when q is a positive integer, and algebraic interpretations when q is the order of a finite field. These (q,t)-binomial coefficients and their interpretations generalize further in two directions, one relating to column-strict tableaux and Macdonald's ``seventh variation'' of Schur functions, the other relating to permutation statistics and Hilbert series from the invariant theory of GL_n(F_q).
Largest Laplacian Eigenvalue and Degree Sequences of Trees
Published • View Publication • BIB
We investigate the structure of trees that have greatest maximum eigenvalue among all trees with a given degree sequence. We show that in such an extremal tree the degree sequence is non-increasing with respect to an ordering of the vertices that is obtained by breadth-first search. This structure is uniquely determined up to isomorphism. We also show that the maximum eigenvalue in such classes of trees is strictly monotone with respect to majorization.
2008-04-17
Minimal volume $k$-point lattice $d$-simplices
We extend the results of Bey, Hen, and Wills (http://arxiv.org/abs/math/0606089). In this paper, we show that, up to equivalence under unimodular transformations, there is exactly one class of $d$-simplices having $k \ge 1$ interior lattice points and minimal volume $\frac{1}{d!}(dk+1)$.
2008-04-16 v2
Interlace Polynomials: Enumeration, Unimodality, and Connections to Codes
Published in Discrete Appl. Math. 158(6), pp. 636-648, 2010. • View Publication • BIB
The interlace polynomial q was introduced by Arratia, Bollobas, and Sorkin. It encodes many properties of the orbit of a graph under edge local complementation (ELC). The interlace polynomial Q, introduced by Aigner and van der Holst, similarly contains information about the orbit of a graph under local complementation (LC). We have previously classified LC and ELC orbits, and now give an enumeration of the corresponding interlace polynomials of all graphs of order up to 12. An enumeration of all circle graphs of order up to 12 is also given. We show that there exist graphs of all orders greater than 9 with interlace polynomials q whose coefficient sequences are non-unimodal, thereby disproving a conjecture by Arratia et al. We have verified that for graphs of order up to 12, all polynomials Q have unimodal coefficients. It has been shown that LC and ELC orbits of graphs correspond to equivalence classes of certain error-correcting codes and quantum states. We show that the properties of these codes and quantum states are related to properties of the associated interlace polynomials.
2008-04-16
On Greedy Clique Decompositions and Set Representations of Graphs
In 1994 S. McGuinness showed that any greedy clique decompo- sition of an n-vertex graph has at most $\lfloor n^2/4 \rfloor$ cliques (The greedy clique decomposition of a graph, J. Graph Theory 18 (1994) 427-430), where a clique decomposition means a clique partition of the edge set and a greedy clique decomposition of a graph is obtained by removing maximal cliques from a graph one by one until the graph is empty. This result solved a conjecture by P. Winkler. A multifamily set rep- resentation of a simple graph G is a family of sets, not necessarily distinct, each member of which represents a vertex in G, and the in- tersection of two sets is non-empty if and only if two corresponding vertices in G are adjacent. It is well known that for a graph G, there is a one-to-one correspondence between multifamily set representations and clique coverings of the edge set. Further for a graph one may have a one-to-one correspondence between particular multifamily set rep- resentations with intersection size at most one and clique partitions of the edge set. In this paper, we study for an n-vertex graph the variant of the set representations using a family of distinct sets, including the greedy way to get the corresponding clique partition of the edge set of the graph. Similarly, in this case, we obtain a result that any greedy clique decomposition of an n-vertex graph has at most $\lfloor n^2/4 \rfloor$ cliques.