arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83342 papers, 48132 authors in database)
2011-06-16 v2
Comparing Perfect and 2nd Voronoi decompositions: the matroidal locus
Published in Math. Ann. 354 (2012), no. 4, 1521--1554 • View Publication • BIB
We compare two rational polyhedral admissible decompositions of the cone of positive definite quadratic forms: the perfect cone decomposition and the 2nd Voronoi decomposition. We determine which cones belong to both the decompositions, thus providing a positive answer to a conjecture of V. Alexeev and A. Brunyate. As an application, we compare the two associated toroidal compactifications of the moduli space of principal polarized abelian varieties: the perfect cone compactification and the 2nd Voronoi compactification.
2011-06-16
From Macdonald Polynomials to a Charge Statistic beyond Type A
Published • View Publication • BIB
The charge is an intricate statistic on words, due to Lascoux and Schutzenberger, which gives positive combinatorial formulas for Lusztig's q-analogue of weight multiplicities and the energy function on affine crystals, both of type A. As these concepts are defined for all Lie types, it has been a long-standing problem to express them based on a generalization of charge. I present a method for addressing this problem in classical Lie types, based on the recent Ram-Yip formula for Macdonald polynomials and the quantum Bruhat order on the corresponding Weyl group. The details of the method are carried out in type A (where we recover the classical charge) and type C (where we define a new statistic).
2011-06-15 v2
An approximate logic for measures
Published • View Publication • BIB
We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence and to give a short proof of the Szemerédi Regularity Lemma. We also derive some connections between the model-theoretic notion of stability and the Gowers uniformity norms from combinatorics.
2011-06-15 v2
A four-vertex, quadratic, spanning forest polynomial identity
Published • View Publication • BIB
The classical Dodgson identity can be interpreted as a quadratic identity of spanning forest polynomials, where the spanning forests used in each polynomial are defined by how three marked vertices are divided among the component trees. We prove an analogous result with four marked vertices.
2011-06-15 v3
Multicolor and directed edit distance
Published in J. Comb. 2(4) (2011), 525--556 • View Publication • BIB
The editing of a combinatorial object is the alteration of some of its elements such that the resulting object satisfies a certain fixed property. The edit problem for graphs, when the edges are added or deleted, was first studied independently by the authors and Kézdy [J. Graph Theory (2008), 58(2), 123--138] and by Alon and Stav [Random Structures Algorithms (2008), 33(1), 87--104]. In this paper, a generalization of graph editing is considered for multicolorings of the complete graph as well as for directed graphs. Specifically, the number of edge-recolorings sufficient to be performed on any edge-colored complete graph to satisfy a given hereditary property is investigated. The theory for computing the edit distance is extended using random structures and so-called types or colored homomorphisms of graphs.
2011-06-15 v2
A version of Szemerédi's regularity lemma for multicolored graphs and directed graphs that is suitable for induced graphs
In this manuscript we develop a version of Szemerédi's regularity lemma that is suitable for analyzing multicolorings of complete graphs and directed graphs. In this, we follow the proof of Alon, Fischer, Krivelevich and M. Szegedy [Combinatorica, 20(4) (2000), 451--476] who prove a similar result for graphs. The purpose is to extend classical results on dense hereditary properties, such as the speed of the property or edit distance, to the above-mentioned combinatorial objects.
2011-06-15
A Compound Determinant Identity for Rectangular Matrices
Published • View Publication • BIB
A compound determinant identity for minors of rectangular matrices is established. As an application, we derive Vandermonde type determinant formulae for classical group characters.
2011-06-15 v4
Matroids and log-concavity
We show that f-vectors of matroid complexes of realisable matroids are log-concave. This was conjectured by Mason in 1972. Our proof uses the recent result by Huh and Katz who showed that the coefficients of the characteristic polynomial of a realisable matroid form a log-concave sequence. We also discuss the relationship between log-concavity of f-vectors and h-vectors of matroids. In the last section we explain the connection between zonotopal algebra and f-vectors and characteristic polynomials of matroids.
2011-06-15 v2
Generalizations of Wiener polarity index and terminal Wiener index
In theoretical chemistry, distance-based molecular structure descriptors are used for modeling physical, pharmacologic, biological and other properties of chemical compounds. We introduce a generalized Wiener polarity index $W_k (G)$ as the number of unordered pairs of vertices ${u, v}$ of $G$ such that the shortest distance $d (u, v)$ between $u$ and $v$ is $k$ (this is actually the $k$-th coefficient in the Wiener polynomial). For $k = 3$, we get standard Wiener polarity index. Furthermore, we generalize the terminal Wiener index $TW_k (G)$ as the sum of distances between all pairs of vertices of degree $k$. For $k = 1$, we get standard terminal Wiener index. In this paper we describe a linear time algorithm for computing these indices for trees and partial cubes, and characterize extremal trees maximizing the generalized Wiener polarity index and generalized terminal Wiener index among all trees of given order $n$.
2011-06-15
On the extremal properties of the average eccentricity
The eccentricity of a vertex is the maximum distance from it to another vertex and the average eccentricity $ecc (G)$ of a graph $G$ is the mean value of eccentricities of all vertices of $G$. The average eccentricity is deeply connected with a topological descriptor called the eccentric connectivity index, defined as a sum of products of vertex degrees and eccentricities. In this paper we analyze extremal properties of the average eccentricity, introducing two graph transformations that increase or decrease $ecc (G)$. Furthermore, we resolve four conjectures, obtained by the system AutoGraphiX, about the average eccentricity and other graph parameters (the clique number, the Randi\' c index and the independence number), refute one AutoGraphiX conjecture about the average eccentricity and the minimum vertex degree and correct one AutoGraphiX conjecture about the domination number.
Combinatorial Telescoping for an Identity of Andrews on Parity in Partitions
Published • View Publication • BIB
Following the method of combinatorial telescoping for alternating sums given by Chen, Hou and Mu, we present a combinatorial telescoping approach to partition identities on sums of positive terms. By giving a classification of the combinatorial objects corresponding to a sum of positive terms, we establish bijections that lead a telescoping relation. We illustrate this idea by giving a combinatorial telescoping relation for a classical identity of MacMahon. Recently, Andrews posed a problem of finding a combinatorial proof of an identity on the q-little Jacobi polynomials which was derived based on a recurrence relation. We find a combinatorial classification of certain triples of partitions and a sequence of bijections. By the method of cancelation, we see that there exists an involution for a recurrence relation that implies the identity of Andrews.
2011-06-15
Efficient algorithm for the vertex connectivity of trapezoid graphs
The intersection graph of a collection of trapezoids with corner points lying on two parallel lines is called a trapezoid graph. These graphs and their generalizations were applied in various fields, including modeling channel routing problems in VLSI design and identifying the optimal chain of non-overlapping fragments in bioinformatics. Using modified binary indexed tree data structure, we design an algorithm for calculating the vertex connectivity of trapezoid graph $G$ with time complexity $O (n \log n)$, where $n$ is the number of trapezoids. Furthermore, we establish sufficient and necessary condition for a trapezoid graph $G$ to be bipartite and characterize trees that can be represented as trapezoid graphs.
2011-06-15
Laplacian Estrada index of trees
Published in MATCH Commun. Math. Comput. Chem. 63 (2010), 769-776 • Search Publication
Let $G$ be a simple graph with $n$ vertices and let $μ_1 \geqslant μ_2 \geqslant...\geqslant μ_{n - 1} \geqslant μ_n = 0$ be the eigenvalues of its Laplacian matrix. The Laplacian Estrada index of a graph $G$ is defined as $LEE (G) = \sum\limits_{i = 1}^n e^{μ_i}$. Using the recent connection between Estrada index of a line graph and Laplacian Estrada index, we prove that the path $P_n$ has minimal, while the star $S_n$ has maximal $LEE$ among trees on $n$ vertices. In addition, we find the unique tree with the second maximal Laplacian Estrada index.
2011-06-15
On super edge-graceful trees of diameter four
In "On the super edge graceful trees of even orders," Chung, Lee, Gao, and Schaffer posed the following problem: Characterize trees of diameter 4 which are super edge-graceful. In this paper, we provide super edge-graceful labelings for all caterpillars and even size lobsters of diameter 4 which permit such labelings. We also provide super edge-graceful labelings for several families of odd size lobsters of diameter 4.
2011-06-15
Representing some non-representable matroids
Published in Adv. in Appl. Math. 50 (2013), no. 1, 228-242 • View Publication • BIB
We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such representations extends Tutte's definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte's representability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field. Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field. Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class.
On independent sets in hypergraphs
Published • View Publication • BIB
The independence number of a hypergraph H is the size of a largest set of vertices containing no edge of H. In this paper, we prove new sharp bounds on the independence number of n-vertex (r+1)-uniform hypergraphs in which every r-element set is contained in at most d edges, where 0 < d < n/(log n)^{3r^2}. Our relatively short proof extends a method due to Shearer. We give an application to hypergraph Ramsey numbers involving independent neighborhoods.
2011-06-15
Quantum cohomology and the Satake isomorphism
We prove that the geometric Satake correspondence admits quantum corrections for minuscule Grassmannians of Dynkin types $A$ and $D$. We find, as a corollary, that the quantum connection of a spinor variety $OG(n,2n)$ can be obtained as the half-spinorial representation of that of the quadric $Q_{2n-2}$. We view the (quantum) cohomology of these Grassmannians as endowed simultaneously with two structures, one of a module over the algebra of symmetric functions, and the other, of a module over the Langlands dual Lie algebra, and investigate the interaction between the two. In particular, we study primitive classes $y$ in the cohomology of a minuscule Grassmannian $G/P$ that are characterized by the condition that the operator of cup product by $y$ is in the image of the Lie algebra action. Our main result states that quantum correction preserves primitivity. We provide a quantum counterpart to a result obtained by V. Ginzburg in the classical setting by giving explicit formulas for the quantum corrections to homogeneous primitive elements.
2011-06-14 v3
Projected Richardson varieties and affine Schubert varieties
Published • View Publication • BIB
Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of $G$. Furthermore, we compare the torus-equivariant cohomology and $K$-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of type $A$.
Deviation of ergodic averages for substitution dynamical systems with eigenvalues of modulus one
Published in Proc. London Math. Soc. (2014) • View Publication • BIB
Deviation of ergodic sums is studied for substitution dynamical systems with a matrix that admits eigenvalues of modulus 1. We consider the corresponding eigenfunctions, and in Theorem 1.1 we prove that the limit inferior of the ergodic sums is bounded for every point in the phase space. In Theorem 1.2, we prove existence of limit distributions along certain exponential subsequences of times for substitutions of constant length. Under additional assumptions, we prove that ergodic integrals satisfy the Central Limit Theorem (Theorem 1.3, Theorem 1.9).
2011-06-14 v2
Tropical surface singularities
Published in Discrete Comput. Geom. 48 (2012), no. 4, 879-914 • View Publication • BIB
In this paper, we study tropicalisations of singular surfaces in toric threefolds. We completely classify singular tropical surfaces of maximal-dimensional type, show that they can generically have only finitely many singular points, and describe all possible locations of singular points. More precisely, we show that singular points must be either vertices, or generalized midpoints and baricenters of certain faces of singular tropical surfaces, and, in some cases, there may be additional metric restrictions to faces of singular tropical surfaces.