arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2010-10-20 v5
Minimum vertex covers and the spectrum of the normalized Laplacian on trees
Published in Linear Algebra Appl., 437 (2012), pp. 1089-1101 • View Publication • BIB
We show that, in the graph spectrum of the normalized graph Laplacian on trees, the eigenvalue 1 and eigenvalues near 1 are strongly related to minimum vertex covers. In particular, for the eigenvalue 1, its multiplicity is related to the size of a minimum vertex cover, and zero entries of its eigenvectors correspond to vertices in minimum vertex covers; while for eigenvalues near 1, their distance to 1 can be estimated from minimum vertex covers; and for the largest eigenvalue smaller than 1, the sign graphs of its eigenvectors take vertices in a minimum vertex cover as representatives.
2010-10-20 v7
New series for some special values of $L$-functions
Published in Nanjing Univ. J. Math. Biquarterly 32(2015), no. 2, 189--218 • Search Publication
Dirichlet's $L$-functions are natural extensions of the Riemann zeta function. In this paper we first give a brief survey of Apéry-like series for some special values of the zeta function and certain $L$-functions. Then, we establish two theorems on transformations of certain kinds of congruences. Motivated by the results and based on our computation, we pose 48 new conjectural series (most of which involve harmonic numbers) for such special values and related constants. For example, we conjecture that \begin{align*}\sum_{k=1}^\infty\frac1{k^4\binom{2k}k}\bigg(\frac1k+\sum_{j=k}^{2k}\frac1j\bigg)=&\frac{11}9ζ(5), \\\sum_{k=1}^\infty\frac{(-1)^{k-1}}{k^3\binom{2k}k}\bigg(\frac1{5k^3}+\sum_{j=1}^{k}\frac1{j^3}\bigg)=&\frac{2}5ζ(3)^2, \end{align*} and $$\sum_{k=1}^\infty\frac{48^k}{k(2k-1)\binom{4k}{2k}\binom{2k}k}=\frac{15}2\sum_{k=1}^\infty\frac{(\frac k3)}{k^2},$$ where $(\frac k3)$ denotes the Legendre symbol.
2010-10-19 v5
A circular order on edge-coloured trees and RNA m-diagrams
Published in Advances in Applied Mathematics, 54, (2014), pp. 11-26 • View Publication • BIB
We study a circular order on labelled, m-edge-coloured trees with k vertices, and show that the set of such trees with a fixed circular order is in bijection with the set of RNA m-diagrams of degree k, combinatorial objects which can be regarded as RNA secondary structures of a certain kind. We enumerate these sets and show that the set of trees with a fixed circular order can be characterized as an equivalence class for the transitive closure of an operation which, in the case m=3, arises as an induction in the context of interval exchange transformations.
2010-10-19 v2
Bijective counting of involutive Baxter permutations
Published • View Publication • BIB
We enumerate bijectively the family of involutive Baxter permutations according to various parameters; in particular we obtain an elementary proof that the number of involutive Baxter permutations of size $2n$ with no fixed points is $\frac{3\cdot 2^{n-1}}{(n+1)(n+2)}\binom{2n}{n}$, a formula originally discovered by M. Bousquet-Mélou using generating functions. The same coefficient also enumerates planar maps with $n$ edges, endowed with an acyclic orientation having a unique source, and such that the source and sinks are all incident to the outer face.
2010-10-19
Viewing determinants as nonintersecting lattice paths yields classical determinantal identities bijectively
Published • View Publication • BIB
In this paper, we show how general determinants may be viewed as generating functions of nonintersecting lattice paths, using the Lindström-Gessel-Viennot interpretation of semistandard Young tableaux and the Jacobi-Trudi identity together with elementary observations. After some preparations, this point of view provides very simple "graphical proofs" for classical determinantal identities like the Cauchy--Binet formula, Dodgson's condensation formula, the Plücker relations and Laplace's expansion. Also, a determinantal identity generalizing Dodgson's condensation formula is presented, which might be new.
2010-10-19 v3
Play time with determinants
In this brief semi-expository article we present a few efficient techniques for calculating and proving determinantal identities. Several stimulating examples of different flavor and applications are spread across the pages which we hope the reader will find of particular interest.
On Products and Line Graphs of Signed Graphs, their Eigenvalues and Energy
Published in Linear Algebra and its Applications, 435 (2011), no. 10, 2432--2450. MR 2811128 (2012j:05254). Zbl 1222.05223 • View Publication • BIB
In this article we examine the adjacency and Laplacian matrices and their eigenvalues and energies of the general product (non-complete extended $p$-sum, or NEPS) of signed graphs. We express the adjacency matrix of the product in terms of the Kronecker matrix product and the eigenvalues and energy of the product in terms of those of the factor signed graphs. For the Cartesian product we characterize balance and compute expressions for the Laplacian eigenvalues and Laplacian energy. We give exact results for those signed planar, cylindrical and toroidal grids which are Cartesian products of signed paths and cycles. We also treat the eigenvalues and energy of the line graphs of signed graphs, and the Laplacian eigenvalues and Laplacian energy in the regular case, with application to the line graphs of signed grids that are Cartesian products and to the line graphs of all-positive and all-negative complete graphs.
Few smooth d-polytopes with n lattice points
Published in Israel J. Math., April 2015, Volume 207, Issue 1, pp 301-329 • View Publication • BIB
We prove that, for fixed n there exist only finitely many embeddings of Q-factorial toric varieties X into P^n that are induced by a complete linear system. The proof is based on a combinatorial result that for fixed nonnegative integers d and n, there are only finitely many smooth d-polytopes with n lattice points. We also enumerate all smooth 3-polytopes with at most 12 lattice points. In fact, it is sufficient to bound the singularities and the number of lattice points on edges to prove finiteness.
2010-10-19
Schur-finiteness and endomorphisms universally of trace zero via certain trace relations
Published in Communications in Algebra Volume 37 (2009), Issue 1, pp. 32-39 • View Publication • BIB
We provide a sufficient condition that ensures the nilpotency of endomorphisms universally of trace zero of Schur-finite objects in a category of homological type, i.e., a Q-linear tensor category with a tensor functor to super vector spaces. This generalizes previous results about finite-dimensional objects, in particular by Kimura in the category of motives. We also present some facts which suggest that this might be the best generalization possible of this line of proof. To get the result we prove an identity of trace relations on super vector spaces which has an independent interest in the field of combinatorics. Our main tool is Berele-Regev's theory of Hook Schur functions. We use their generalization of the classic Schur-Weyl duality to the "super" case, together with their factorization formula.
2010-10-19
Equivalence classes for the mu-coefficient of Kazhdan-Lusztig polynomials in S_n
Published • View Publication • BIB
We study equivalence classes relating to the Kazhdan-Lusztig mu(x,w) coefficients in order to help explain the scarcity of distinct values. Each class is conjectured to contain a "crosshatch" pair. We also compute the values attained by mu(x,w) for the permutation groups S_10 and S_11.
2010-10-19
Proof of a Conjecture of Segre and Bartocci on Monomial Hyperovals in Projective Planes
Published in Designs Codes and Cryptography, December 2012, Volume 65, Issue 3, pp 275-289 • View Publication • BIB
The existence of certain monomial hyperovals $D(x^k)$ in the finite Desarguesian projective plane $PG(2,q)$, $q$ even, is related to the existence of points on certain projective plane curves $g_k(x,y,z)$. Segre showed that some values of $k$ ($k=6$ and $2^i$) give rise to hyperovals in $PG(2,q)$ for infinitely many $q$. Segre and Bartocci conjectured that these are the only values of $k$ with this property. We prove this conjecture through the absolute irreducibility of the curves $g_k$.
2010-10-19 v2
A tropical intersection product in matroidal fans
Published • View Publication • BIB
We construct an intersection product on tropical cycles contained in the Bergman fan of a matroid. To do this we first establish a connection between the operations of deletion and restriction in matroid theory and tropical modifications as defined by Mikhalkin. This product generalises the product of Allermann and Rau, and Allermann and also provides an alternative procedure for intersecting cycles which is not based on intersecting with Cartier divisors. Also, we simplify the definition in the case of one dimensional fan cycles in two dimensional matroidal fans and given an application of the intersection product to realisability questions in tropical geometry.
2010-10-19
Cobham's theorem for substitutions
Published • View Publication • BIB
The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $α$ and $β$ be two multiplicatively independent Perron numbers. Then, a sequence $x\in A^\mathbb{N}$, where $A$ is a finite alphabet, is both $α$-substitutive and $β$-substitutive if and only if $x$ is ultimately periodic.
2010-10-19 v2
From quantum Schubert polynomials to k-Schur functions via the Toda lattice
Published • View Publication • BIB
We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus.
2010-10-19
Codes and shifted codes of partitions
Published in Int. J. Alg Comput., 21, No. 5 (2011) 1--16 • View Publication • BIB
In a recent paper, Carrell and Goulden found a combinatorial identity of the Bernstein operators that they then used to prove Bernstein's Theorem. We show that this identity is a straightforward consequence of the classical result. We also show how a similar approach using the codes of partitions can be generalized from Schur functions to also include Schur $Q$-functions and derive the combinatorial formulation for both cases. We then apply them by examining the Littlewood-Richardson and Pieri Rules.
2010-10-18 v2
Combinatorics of finite abelian groups and Weil representations
Published in Pacific Journal of Mathematics, vol. 275, no. 2, pages 295-324, June 2015 • View Publication • BIB
The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil representation are parametrized by a partially ordered set which is independent of p. As p varies, the dimension of the irreducible representation corresponding to each parameter is shown to be a polynomial in p which is calculated explicitly. The commuting algebra of the Weil representation has a basis indexed by another partially ordered set which is independent of p. The expansions of the projection operators onto the irreducible invariant subspaces in terms of this basis are calculated. The coefficients are again polynomials in p. These results remain valid in the more general setting of finitely generated torsion modules over a Dedekind domain.
2010-10-18 v3
Perturbation of matrices and non-negative rank with a view toward statistical models
Published • View Publication • BIB
In this paper we study how perturbing a matrix changes its non-negative rank. We prove that the non-negative rank is upper-semicontinuos and we describe some special families of perturbations. We show how our results relate to Statistics in terms of the study of Maximum Likelihood Estimation for mixture models.
The rigidity transition in random graphs
Published • View Publication • BIB
As we add rigid bars between points in the plane, at what point is there a giant (linear-sized) rigid component, which can be rotated and translated, but which has no internal flexibility? If the points are generic, this depends only on the combinatorics of the graph formed by the bars. We show that if this graph is an Erdos-Renyi random graph G(n,c/n), then there exists a sharp threshold for a giant rigid component to emerge. For c < c_2, w.h.p. all rigid components span one, two, or three vertices, and when c > c_2, w.h.p. there is a giant rigid component. The constant c_2 \approx 3.588 is the threshold for 2-orientability, discovered independently by Fernholz and Ramachandran and Cain, Sanders, and Wormald in SODA'07. We also give quantitative bounds on the size of the giant rigid component when it emerges, proving that it spans a (1-o(1))-fraction of the vertices in the (3+2)-core. Informally, the (3+2)-core is maximal induced subgraph obtained by starting from the 3-core and then inductively adding vertices with 2 neighbors in the graph obtained so far.
Vanishing products of one-forms and critical points of master functions
Published • View Publication • BIB
Let \A be an affine hyperplane arrangement in $\C^\ell$ with complement $U$. Let $f_1, \..., f_n$ be linear polynomials defining the hyperplanes of \A, and $A^\cdot$ the algebra of differential forms generated by the 1-forms $d \log f_1, \..., d \log f_n$. To each $l \in \C^n$ we associate the master function $Φ=Φ_l = \prod_{i=1}^n f_i^{l_i}$ on $U$ and the closed logarithmic 1-form $ω= d \log Φ$. We assume $ω$ is an element of a rational linear subspace $D$ of $A^1$ of dimension $q>1$ such that the multiplication map $\bigwedge^k(D) \to A^k$ is zero for $p<k\leq q$. With this assumption, we prove every component of the critical locus $\crit(Φ)$ of $Φ$ has codimension at most $p$, and $\crit(Φ)$ is a union of intersections of level sets of rational master functions. We give conditions that guarantee $\crit(Φ)$ is nonempty and every component has codimension equal to $p$, in terms of syzygies among polynomial master functions. If \A is $p$-generic, then $D$ is contained in the degree $p$ resonance variety $\R^p(\A)$ -- in this sense the present work complements previous work on resonance and critical loci of master functions. Any arrangement is 1-generic; in case $p=1$ we give a precise description of $\crit(Φ_l)$ in case $l$ lies in an isotropic subspace $D$ of $A^1$, using the multinet structure on \A corresponding to $D\subseteq \R^1(\A)$. This is carried out in detail for the Hessian arrangement. Finally, for arbitrary $p$ and \A, we establish necessary and sufficient conditions for a set of integral one-forms to span such a subspace, in terms of nested sets of \A, using tropical implicitization.
2010-10-18 v2
Maximal lengths of exceptional collections of line bundles
Published in Journal of the London Mathematical Society 90 (2), 350-372, 2014 • View Publication • BIB
In this paper we construct infinitely many examples of toric Fano varieties with Picard number three, which do not admit full exceptional collections of line bundles. In particular, this disproves King's conjecture for toric Fano varieties. More generally, we prove that for any constant $c>\frac34$ there exist infinitely many toric Fano varieties $Y$ with Picard number three, such that the maximal length of exceptional collection of line bundles on $Y$ is strictly less than $c\rk K_0(Y).$ To obtain varieties without exceptional collections of line bundles, it suffices to put $c=1.$ On the other hand, we prove that for any toric nef-Fano DM stack $Y$ with Picard number three, there exists a strong exceptional collection of line bundles on $Y$ of length at least $\frac34 \rk K_0(Y).$ The constant $\frac34$ is thus maximal with this property.