arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81680 papers, 47334 authors in database)
2007-09-21 v2
Partial transpose of permutation matrices
The partial transpose of a block matrix M is the matrix obtained by transposing the blocks of M independently. We approach the notion of partial transpose from a combinatorial point of view. In this perspective, we solve some basic enumeration problems concerning the partial transpose of permutation matrices. More specifically, we count the number of permutations matrices which are equal to their partial transpose and the number of permutation matrices whose partial transpose is still a permutation. We solve these problems also when restricted to symmetric permutation matrices only.
2007-09-20
Induced forests in regular graphs with large girth
Published • View PublicationBIB
An induced forest of a graph G is an acyclic induced subgraph of G. The present paper is devoted to the analysis of a simple randomised algorithm that grows an induced forest in a regular graph. The expected size of the forest it outputs provides a lower bound on the maximum number of vertices in an induced forest of G. When the girth is large and the degree is at least 4, our bound coincides with the best bound known to hold asymptotically almost surely for random regular graphs. This results in an alternative proof for the random case.
2007-09-20
A comment on Ryser's conjecture for intersecting hypergraphs
Published • View PublicationBIB
Let $τ(\mathcal{H})$ be the cover number and $ν(\mathcal{H})$ be the matching number of a hypergraph $\mathcal{H}$. Ryser conjectured that every $r$-partite hypergraph $\mathcal{H}$ satisfies the inequality $τ(\mathcal{H}) \leq (r-1) ν(\mathcal{H})$. This conjecture is open for all $r \ge 4$. For intersecting hypergraphs, namely those with $ν(\mathcal{H})=1$, Ryser's conjecture reduces to $τ(\mathcal{H}) \leq r-1$. Even this conjecture is extremely difficult and is open for all $ r \ge 6$. For infinitely many $r$ there are examples of intersecting $r$-partite hypergraphs with $τ(\mathcal{H})=r-1$, demonstrating the tightness of the conjecture for such $r$. However, all previously known constructions are not optimal as they use far too many edges. How sparse can an intersecting $r$-partite hypergraph be, given that its cover number is as large as possible, namely $τ(\mathcal{H}) \ge r-1$? In this paper we solve this question for $r \le 5$, give an almost optimal construction for $r=6$, prove that any $r$-partite intersecting hypergraph with $τ(H) \ge r-1$ must have at least $(3-\frac{1}{\sqrt{18}})r(1-o(1)) \approx 2.764r(1-o(1))$ edges, and conjecture that there exist constructions with $Θ(r)$ edges.
2007-09-20
Some Relations between Rank, Chromatic Number and Energy of Graphs
Published • View PublicationBIB
The energy of a graph $G$, denoted by $E(G)$, is defined as the sum of the absolute values of all eigenvalues of $G$. Let $G$ be a graph of order $n$ and ${\rm rank}(G)$ be the rank of the adjacency matrix of $G$. In this paper we characterize all graphs with $E(G)={\rm rank}(G)$. Among other results we show that apart from a few families of graphs, $E(G)\geq 2\max(χ(G), n-χ(\bar{G}))$, where $n$ is the number of vertices of $G$, $\bar{G}$ and $χ(G)$ are the complement and the chromatic number of $G$, respectively. Moreover some new lower bounds for $E(G)$ in terms of ${\rm rank}(G)$ are given.
Inclusion Matrices and Chains
Published • View PublicationBIB
Given integers $t$, $k$, and $v$ such that $0\leq t\leq k\leq v$, let $W_{tk}(v)$ be the inclusion matrix of $t$-subsets vs. $k$-subsets of a $v$-set. We modify slightly the concept of standard tableau to study the notion of rank of a finite set of positive integers which was introduced by Frankl. Utilizing this, a decomposition of the poset $2^{[v]}$ into symmetric skipless chains is given. Based on this decomposition, we construct an inclusion matrix, denoted by $W_{\bar{t}k}(v)$, which is row-equivalent to $W_{tk}(v)$. Its Smith normal form is determined. As applications, Wilson's diagonal form of $W_{tk}(v)$ is obtained as well as a new proof of the well known theorem on the necessary and sufficient conditions for existence of integral solutions of the system $W_{tk}\bf{x}=\bf{b}$ due to Wilson. Finally we present anotherinclusion matrix with similar properties to those of $W_{\bar{t}k}(v)$ which is in some way equivalent to $W_{tk}(v)$.
2007-09-20
Exact Solution of Semi-Flexible and Super-Flexible Interacting Partially Directed Walks
Published • View PublicationBIB
We provide the exact generating function for semi-flexible and super-flexible interacting partially directed walks and also analyse the solution in detail. We demonstrate that while fully flexible walks have a collapse transition that is second order and obeys tricritical scaling, once positive stiffness is introduced the collapse transition becomes first order. This confirms a recent conjecture based on numerical results. We note that the addition of an horizontal force in either case does not affect the order of the transition. In the opposite case where stiffness is discouraged by the energy potential introduced, which we denote the super-flexible case, the transition also changes, though more subtly, with the crossover exponent remaining unmoved from the neutral case but the entropic exponents changing.
2007-09-20
Finite-size scaling functions for directed polymers confined between attracting walls
Published • View PublicationBIB
The exact solution of directed self-avoiding walks confined to a slit of finite width and interacting with the walls of the slit via an attractive potential has been calculated recently. The walks can be considered to model the polymer-induced steric stabilisation and sensitised floculation of colloidal dispersions. The large width asymptotics led to a phase diagram different to that of a polymer attached to, and attracted to, a single wall. The question that arises is: can one interpolate between the single wall and two wall cases? In this paper we calculate the exact scaling functions for the partition function by considering the two variable asymptotics of the partition function for simultaneous large length and large width. Consequently, we find the scaling functions for the force induced by the polymer on the walls. We find that these scaling functions are given by elliptic theta-functions. In some parts of the phase diagram there is more a complex crossover between the single wall and two wall cases and we elucidate how this happens.
2007-09-20
A one-parameter family of dendriform identities
Published in J. Combin. Theory Ser. A 116 (2009), no. 4, 864--874 • View PublicationBIB
We prove a q-identity in the dendriform dialgebra of colored free quasi-symmetric functions. For q=1, we recover identities due to Ebrahimi-Fard, Manchon, and Patras, in particular the noncommutative Bohnenblust-Spitzer identity.
2007-09-20
Analysis of two step nilsequences
Published • View PublicationBIB
Nilsequences arose in the study of the multiple ergodic averages associated to Furstenberg's proof of Szemerédi's Theorem and have since played a role in problems in additive combinatorics. Nilsequences are a generalization of almost periodic sequences and we study which portions of the classical theory for almost periodic sequences can be generalized for two step nilsequences. We state and prove basic properties for 2-step nilsequences and give a classification scheme for them.
2007-09-20
Bruhat order, smooth Schubert varieties, and hyperplane arrangements
Published • View PublicationBIB
The aim of this article is to link Schubert varieties in the flag manifold with hyperplane arrangements. For a permutation, we construct a certain graphical hyperplane arrangement. We show that the generating function for regions of this arrangement coincides with the Poincare polynomial of the corresponding Schubert variety if and only if the Schubert variety is smooth. We give an explicit combinatorial formula for the Poincare polynomial. Our main technical tools are chordal graphs and perfect elimination orderings.
2007-09-20
Algebraic Shifting and f-Vector Theory
Published in Ph. D. thesis. The Hebrew University of Jerusalem (2007) • Search Publication
This thesis focuses on algebraic shifting and its applications to f-vector theory of simplicial complexes and more general graded posets. In particular, several approaches and partial results concerning the g-conjecture for simplicial spheres are presented here.
2007-09-20 v2
A refinement of the Kushnirenko-Bernstein estimate
Published • View PublicationBIB
A theorem of Kushnirenko and Bernstein shows that the number of isolated roots of a system of polynomials in a torus is bounded above by the mixed volume of the Newton polytopes of the given polynomials, and this upper bound is generically exact. We improve on this result by introducing refined combinatorial invariants of polynomials and a generalization of the mixed volume of convex bodies: the mixed integral of concave functions. The proof is based on new techniques and results from relative toric geometry.
2007-09-20
Line crossing problem for biased monotonic random walks in the plane
In this paper, we study the problem of finding the probability that the two-dimensional (biased) monotonic random walk crosses the line $y=αx+d$, where $α,d \geq 0$. A $β$-biased monotonic random walk moves from $(a,b)$ to $(a+1,b)$ or $(a,b+1)$ with probabilities $1/(β+ 1)$ and $β/(β+ 1)$, respectively. Among our results, we show that if $β\geq \lceil α\rceil$, then the $β$-biased monotonic random walk, starting from the origin, crosses the line $y=αx+d$ for all $d\geq 0$ with probability 1.
2007-09-19
Sums of Products of Bernoulli numbers of the second kind
Published • View PublicationBIB
The Bernoulli numbers b_0,b_1,b_2,.... of the second kind are defined by \sum_{n=0}^\infty b_nt^n=\frac{t}{\log(1+t)}. In this paper, we give an explicit formula for the sum \sum_{j_1+j_2+...+j_N=n, j_1,j_2,...,j_N>=0}b_{j_1}b_{j_2}...b_{j_N}. We also establish a q-analogue for \sum_{k=0}^n b_kb_{n-k}=-(n-1)b_n-(n-2)b_{n-1}.
2007-09-19 v2
Cycle structures of autotopisms of the Latin squares of order up to 11
Published in Ars Combinatoria 103 (2012), 239-256 • Search Publication
The cycle structure of a Latin square autotopism $Θ=(α,β,γ)$ is the triple $(\mathbf{l}_α,\mathbf{l}_β,\mathbf{l}_γ)$, where $\mathbf{l}_δ$ is the cycle structure of $δ$, for all $δ\in\{α,β,γ\}$. In this paper we study some properties of these cycle structures and, as a consequence, we give a classification of all autotopisms of the Latin squares of order up to 11.
2007-09-19 v3
On the ideal $(v^0)$
Published • View PublicationBIB
The $σ$-ideal $(v^0)$ is associated with the Silver forcing, see \cite{bre}. Also, it constitutes the family of all completely doughnut null sets, see \cite{hal}. We introduce segments and $*$-segments topologies, to state some resemblances of $(v^0)$ to the family of Ramsey null sets. To describe $add(v^0)$ we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen's conjecture $cov(v^0) = add(v^0)$ is confirmed under the hypothesis $t= \min \{\cf (\frak c), r\} $. The hypothesis $h=ω_1$ implies that $(v^0)$ has the ideal type $(\frak c, ω_1,\frak c)$.
Hankel hyperdeterminants, rectangular Jack polynomials and even powers of the Vandermonde
Published in Journal of Algebra 320, 11 (2008) 3911-3925 • View PublicationBIB
We investigate the link between rectangular Jack polynomials and Hankel hyperdeterminants. As an application we give an expression of the even power of the Vandermonde in term of Jack polynomials.
2007-09-19 v2
Determinants of (generalised) Catalan numbers
Published in J. Statist. Plann. Inference 140 (2010), 2260-2270 • View PublicationBIB
We show that recent determinant evaluations involving Catalan numbers and generalisations thereof have most convenient explanations by combining the Lindström-Gessel-Viennot theorem on non-intersecting lattice paths with a simple determinant lemma from [Manuscripta Math. 69 (1990), 173-202]. This approach leads also naturally to extensions and generalisations.
2007-09-19 v2
Computing a pyramid partition generating function with dimer shuffling
Published • View PublicationBIB
We verify a recent conjecture of Kenyon/Szendroi, arXiv:0705.3419, by computing the generating function for pyramid partitions. Pyramid partitions are closely related to Aztec Diamonds; their generating function turns out to be the partition function for the Donaldson--Thomas theory of a non-commutative resolution of the conifold singularity {x1x2 -x3x4 = 0}. The proof does not require algebraic geometry; it uses a modified version of the domino shuffling algorithm of Elkies, Kuperberg, Larsen and Propp.
A note on calculating autocovariances of periodic ARMA models
Published • View PublicationBIB
An analytically simple and tractable formula for the start-up autocovariances of periodic ARMA (PARMA) models is provided.