arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2004-05-04
Combinatorial aspects of the mixed Hodge structure
This is a review article on the combinatorial aspects of the mixed Hodge structure of a Milnor fibre of the isolated hypersurface singularity. We give a purely combinatorial method to compute spectral pairs of the singularity under the assumption of simplicial Newton boundary and non-degeneracy of the germ.
2004-05-04 v2
Markov bases for noncommutative Fourier analysis of ranked data
Published in Journal of Symbolic Computation, Volume 41, Issue 2, February 2006, Pages 182-195 • View Publication • BIB
To calibrate Fourier analysis of $S_5$ ranking data by Markov chain Monte Carlo techniques, a set of moves (Markov basis) is needed. We calculate this basis, and use it to provide a new statistical analysis of two data sets. The calculation involves a large Gröbner basis computation (45825 generators), but reduction to a minimal basis and reduction by natural symmetries leads to a remarkably small basis (14 elements). Although the Gröbner basis calculation is infeasible for $S_6$, we exploit the symmetry of the problem to calculate a Markov basis for $S_6$ with 7,113,390 elements in 58 symmetry classes. We improve a bound on the degree of the generators for a Markov basis for $S_n$ and conjecture that this ideal is generated in degree 3.
2004-05-03 v4
Universal collective rotation channels and quantum error correction
Published in J. Math. Phys., 46 (2005), 022102. • View Publication • BIB
We present and investigate a new class of quantum channels, what we call `universal collective rotation channels', that includes the well-known class of collective rotation channels as a special case. The fixed point set and noise commutant coincide for a channel in this class. Computing the precise structure of this C*-algebra is a core problem in a particular noiseless subsystem method of quantum error correction. We prove that there is an abundance of noiseless subsystems for every channel in this class and that Young tableaux combinatorics can be used to explicitly compute these subsystems.
2004-05-01
Distance sets of well-distributed planar sets for polygonal norms
Published • View Publication • BIB
Let X be a 2-dimensional normed space, and let BX be the unit ball in X. We discuss the question of how large the set of extremal points of BX must be if X contains a well-distributed set whose distance set Delta satisfies the estimate |Δ\cap[0,N]|<CN^{3/2 -ε}. We also give a necessary and sufficient condition for the existence of a well-distributed set with |Δ\cap [0,N]| < CN.
2004-04-30 v2
Graded left modular lattices are supersolvable
Published • View Publication • BIB
We provide a direct proof that a finite graded lattice with a maximal chain of left modular elements is supersolvable. This result was first established via a detour through EL-labellings in [McNamara-Thomas] by combining results of McNamara and Liu. As part of our proof, we show that the maximum graded quotient of the free product of a chain and a single-element lattice is finite and distributive.
2004-04-30 v2
Graphs and Hermitian matrices: discrepancy and singular values
We introduce a measure of discrepancy of Hermitian matrices and establish an inequality between the second singular value of a Hermitian matrix and its discrepancy. These results are applied to answer two questions of Fan Chung about graph eigenvalues.
2004-04-30
Degree powers in graphs with forbidden subgraphs
Yuster and Caro initiated the study of the sum of powers of the degrees of graphs with forbidden subgraphs. We settle two of their conjectures.
2004-04-28 v2
An iterative-bijective approach to generalizations of Schur's theorem
Published in Europ. J. Combin. 27 (2006), 496-512 • View Publication • BIB
We start with a bijective proof of Schur's theorem due to Alladi and Gordon and describe how a particular iteration of it leads to some very general theorems on colored partitions. These theorems imply a number of important results, including Schur's theorem, Bressoud's generalization of a theorem of Göllnitz, two of Andrews' generalizations of Schur's theorem, and the Andrews-Olsson identities.
2004-04-28
The Covariance of Topological Indices that Depend on the Degree of a Vertex
We consider topological indices I that are sums of f(deg(u)) f(deg(v)), where {u,v} are adjacent vertices and f is a function. The Randi{ć} connectivity index or the Zagreb group index are examples for indices of this kind. In earlier work on topological indices that are sums of independent random variables, we identified the correlation between I and the edge set of the molecular graph as the main cause for correlated indices. We prove a necessary and sufficient condition for I having zero covariance with the edge set.
Restricting linear syzygies: algebra and geometry
Published • View Publication • BIB
In this paper we derive geometric consequences from the presence of a long strand of linear syzygies in the minimal free resolution of a closed scheme in projective space whose homogeneous ideal is generated by quadrics. These consequences are given in terms of intersections with arbitrary linear subspaces. We use our results to bound homological invariants of some well-known projective varieties, to give a combinatorial characterization of quadratic monomial ideals with a long strand of linear syzygies, etc
2004-04-28 v5
Small schemes and varieties of minimal degree
Published • View Publication • BIB
We prove that if X is any 2-regular projective scheme (in the sense of Castelnuovo-Mumford) then X is "small". This means that if L is a linear space and Y:= L\cap X is finite, then Y is "linearly independent" in the sense that the dimension of the linear span of Y is 1+deg Y. The converse is true and well-known for finite schemes, but false in general. The main result of this paper is that the converse, "small implies 2-regular", is also true for reduced projective schemes (algebraic sets). This is proven by means of a delicate geometric analysis, leading to a complete classification: we show that the components of a small algebraic set are varieties of minimal degree, meeting in a particularly simple way. From the classification one can show that if X is 2-regular, then so is X_{red}, and so also is the projection of X from any point of X. Our results extend the Del Pezzo-Bertini classification of varieties of minimal degree, the characterization of these as the varieties of regularity 2 by Eisenbud-Goto, and the construction of 2-regular square-free monomial ideals by Fröberg.
2004-04-27 v3
Combinatorial and algorithmic aspects of hyperbolic polynomials
Let $p(x_1,...,x_n) =\sum_{(r_1,...,r_n) \in I_{n,n}} a_{(r_1,...,r_n)} \prod_{1 \leq i \leq n} x_{i}^{r_{i}}$ be homogeneous polynomial of degree $n$ in $n$ real variables with integer nonnegative coefficients. The support of such polynomial $p(x_1,...,x_n)$ is defined as $supp(p) = \{(r_1,...,r_n) \in I_{n,n} : a_{(r_1,...,r_n)} \neq 0 \}$ . The convex hull $CO(supp(p))$ of $supp(p)$ is called the Newton polytope of $p$ . We study the following decision problems, which are far-reaching generalizations of the classical perfect matching problem : {itemize} {\bf Problem 1 .} Consider a homogeneous polynomial $p(x_1,...,x_n)$ of degree $n$ in $n$ real variables with nonnegative integer coefficients given as a black box (oracle) . {\it Is it true that $(1,1,..,1) \in supp(p)$ ?} {\bf Problem 2 .} Consider a homogeneous polynomial $p(x_1,...,x_n)$ of degree $n$ in $n$ real variables with nonnegative integer coefficients given as a black box (oracle) . {\it Is it true that $(1,1,..,1) \in CO(supp(p))$ ?} {itemize} We prove that for hyperbolic polynomials these two problems are equivalent and can be solved by deterministic polynomial-time oracle algorithms . This result is based on a "hyperbolic" generalization of Rado theorem .
2004-04-27 v2
The Kauffman bracket and the Bollobas-Riordan polynomial of ribbon graphs
For a ribbon graph $G$ we consider an alternating link $L_G$ in the 3-manifold $G\times I$ represented as the product of the oriented surface $G$ and the unit interval $I$. We show that the Kauffman bracket $[L_G]$ is an evaluation of the recently introduced Bollobas-Riordan polynomial $R_G$. This results generalizes the celebrated relation between Kauffman bracket and Tutte polynomial of planar graphs.
2004-04-27
Complete Invariant Graphs of Alternating Knots
Chord diagrams and related enlacement graphs of alternating knots are enhanced to obtain complete invariant graphs including chirality detection. Moreover, the equivalence by common enlacement graph is specified and the neighborhood graph is defined for general purpose and for special application to knots.
2004-04-27
The Cycle-Complete graph Ramsey numbers
Published • View Publication • BIB
We find the Ramsey number of a cycle vs. a complete graph when the order of the cycle is at least 4 times as large as the order of the complete graph. This partially confirms a conjecture of Erdős, Faudree, Rousseau, and Schelp made in 1978.
2004-04-27
Edge distribution of graphs with few induced copies of a given graph
Published • View Publication • BIB
We show that if a graph contains few induced copies of a given graph then its edges are distribited unevenly.
2004-04-26
Triangulated Manifolds with Few Vertices: Centrally Symmetric Spheres and Products of Spheres
The aim of this paper is to give a survey of the known results concerning centrally symmetric polytopes, spheres, and manifolds. We further enumerate nearly neighborly centrally symmetric spheres and centrally symmetric products of spheres with dihedral or cyclic symmetry on few vertices, and we present an infinite series of vertex-transitive nearly neighborly centrally symmetric 3-spheres.
2004-04-26
Generating Functions of Random Walks on Graphs
The article provides an explicit algebraic expression for the generating function of walks on graphs. Its proof is based on the scattering theory for the differential Laplace operator on non-compact graphs.
2004-04-26
Reflection positivity, rank connectivity, and homomorphism of graphs
Published • View Publication • BIB
It is shown that a graph parameter can be realized as the number of homomorphisms into a fixed (weighted) graph if and only if it satisfies two linear algebraic conditions: reflection positivity and exponential rank-connectivity. In terms of statistical physics, this can be viewed as a characterization of partition functions of vertex models.
2004-04-24
Ascending Chain Conditions in Free Baxter Algebras
Published in International Journal of Algebra and Computation. 12 (2002), no. 4, 601-622 • View Publication • BIB
In this paper we study ascending chain conditions in a free Baxter algebra by making use of explicit constructions of free Baxter algebras that were obtained recently. We investigate ascending chain conditions both for ideals and for Baxter ideals. The free Baxter algebras under consideration include free Baxter algebras on sets and free Baxter algebras on algebras. We also consider complete free Baxter algebras.