Showing 20 papers (Total: 81756 papers, 47371 authors in database)
A refined bijection between alternating permutations and 0-1-2 increasing trees
We construct a refined bijection $φ$ between alternating permutations and 0-1-2 increasing trees with degree at most 2. It satisfies that the first element of alternating permutation $π$ is equal to the first vertex in $φ(π)$ in the postorder.
Non-abelian representations of the slim dense near hexagons on 81 and 243 points
Published
• View Publication
• BIB
We prove that the near hexagon $Q(5,2) \times \mathbb{L}_3$ has a non-abelian representation in the extra-special 2-group $2^{1+12}_+$ and that the near hexagon $Q(5,2) \otimes Q(5,2)$ has a non-abelian representation in the extra-special 2-group $2^{1+18}_-$. The description of the non-abelian representation of $Q(5,2) \otimes Q(5,2)$ makes use of a new combinatorial construction of this near hexagon.
Algebraic connectivity of connected graphs with fixed number of pendant vertices
Published
• View Publication
• BIB
In this paper we consider the following problem: Over the class of all simple connected graphs of order $n$ with $k$ pendant vertices ($n,k$ being fixed), which graph maximizes (respectively, minimizes) the algebraic connectivity? We also discuss the algebraic connectivity of unicyclic graphs.
Asymptotic study of subcritical graph classes
Published in SIAM Journal on Discrete Mathematics, 25 (4) (2011), 1615-1651
• View Publication
• BIB
We present a unified general method for the asymptotic study of graphs from the so-called "subcritical"$ $ graph classes, which include the classes of cacti graphs, outerplanar graphs, and series-parallel graphs. This general method works both in the labelled and unlabelled framework. The main results concern the asymptotic enumeration and the limit laws of properties of random graphs chosen from subcritical classes. We show that the number $g_n/n!$ (resp. $g_n$) of labelled (resp. unlabelled) graphs on $n$ vertices from a subcritical graph class ${G}=\cup_n {G_n}$ satisfies asymptotically the universal behaviour $$ g_n = c n^{-5/2} γ^n (1+o(1)) $$ for computable constants $c,γ$, e.g. $γ\approx 9.38527$ for unlabelled series-parallel graphs, and that the number of vertices of degree $k$ ($k$ fixed) in a graph chosen uniformly at random from $G_n$, converges (after rescaling) to a normal law as $n\to\infty$.
n! matchings, n! posets
Published
• View Publication
• BIB
We show that there are $n!$ matchings on $2n$ points without, so called, left (neighbor) nestings. We also define a set of naturally labeled $(2+2)$-free posets, and show that there are $n!$ such posets on $n$ elements. Our work was inspired by Bousquet-Mélou, Claesson, Dukes and Kitaev [J. Combin. Theory Ser. A. 117 (2010) 884--909]. They gave bijections between four classes of combinatorial objects: matchings with no neighbor nestings (due to Stoimenow), unlabeled $(2+2)$-free posets, permutations avoiding a specific pattern, and so called ascent sequences. We believe that certain statistics on our matchings and posets could generalize the work of Bousquet-Mélou et al.\ and we make a conjecture to that effect. We also identify natural subsets of matchings and posets that are equinumerous to the class of unlabeled $(2+2)$-free posets.
We give bijections that show the equivalence of (neighbor) restrictions on nesting arcs with (neighbor) restrictions on crossing arcs. These bijections are thought to be of independent interest. One of the bijections maps via certain upper-triangular integer matrices that have recently been studied by Dukes and Parviainen [Electron. J. Combin. 17 (2010) \#R53]
An elementary approach to toy models for D. H. Lehmer's conjecture
Published in Izv. Ross. Akad. Nauk Ser. Mat. 75 (2011), no. 6, 3-16; translation in Izv. Math. 75 (2011), no. 6, 1093-1106
• View Publication
• BIB
In 1947, Lehmer conjectured that the Ramanujan's tau function $τ(m)$ never vanishes for all positive integers $m$, where $τ(m)$ is the $m$-th Fourier coefficient of the cusp form $Δ_{24}$ of weight 12. The theory of spherical $t$-design is closely related to Lehmer's conjecture because it is shown, by Venkov, de la Harpe, and Pache, that $τ(m)=0$ is equivalent to the fact that the shell of norm $2m$ of the $E_{8}$-lattice is a spherical 8-design. So, Lehmer's conjecture is reformulated in terms of spherical $t$-design.
Lehmer's conjecture is difficult to prove, and still remains open. However, Bannai-Miezaki showed that none of the nonempty shells of the integer lattice $\ZZ^2$ in $\RR^2$ is a spherical 4-design, and that none of the nonempty shells of the hexagonal lattice $A_2$ is a spherical 6-design. Moreover, none of the nonempty shells of the integer lattices associated to the algebraic integers of imaginary quadratic fields whose class number is either 1 or 2, except for $\QQ(\sqrt{-1})$ and $\QQ(\sqrt{-3})$ is a spherical 2-design. In the proof, the theory of modular forms played an important role.
Recently, Yudin found an elementary proof for the case of $\ZZ^{2}$-lattice which does not use the theory of modular forms but uses the recent results of Calcut. In this paper, we give the elementary (i.e., modular form free) proof and discuss the relation between Calcut's results and the theory of imaginary quadratic fields.
Shuffling with ordered cards
Published
• View Publication
• BIB
We consider a problem of shuffling a deck of cards with ordered labels. Namely we split the deck of N=k^tq cards (where t>=1 is maximal) into k equally sized stacks and then take the top card off of each stack and sort them by the order of their labels and add them to the shuffled stack. We show how to find stacks of cards invariant and periodic under the shuffling. We also show when gcd(q,k)=1 the possible periods of this shuffling are all divisors of order_k(N-q).
Cohen-Macaulay graphs and face vectors of flag complexes
Published in SIAM J. Discrete Math. 26 (2012), no. 1, 89--101
• View Publication
• BIB
We introduce a construction on a flag complex that, by means of modifying the associated graph, generates a new flag complex whose $h$-factor is the face vector of the original complex. This construction yields a vertex-decomposable, hence Cohen-Macaulay, complex. From this we get a (non-numerical) characterisation of the face vectors of flag complexes and deduce also that the face vector of a flag complex is the $h$-vector of some vertex-decomposable flag complex. We conjecture that the converse of the latter is true and prove this, by means of an explicit construction, for $h$-vectors of Cohen-Macaulay flag complexes arising from bipartite graphs. We also give several new characterisations of bipartite graphs with Cohen-Macaulay or Buchsbaum independence complexes.
Kronecker products and the RSK correspondence
Published in Discrete Mathematics 312 (2012) 1476-1486
• View Publication
• BIB
The starting point for this work is an identity that relates the number of minimal matrices with prescribed 1-marginals and coefficient sequence to a linear combination of Kronecker coefficients. In this paper we provide a bijection that realizes combinatorially this identity. As a consequence we obtain an algorithm that to each minimal matrix associates a minimal component, with respect to the dominance order, in a Kronecker product, and a combinatorial description of the corresponding Kronecker coefficient in terms of minimal matrices and tableau insertion. Our bijection follows from a generalization of the dual RSK correspondence to 3-dimensional binary matrices, which we state and prove. With the same tools we also obtain a generalization of the RSK correspondence to 3-dimensional integer matrices.
Edges of the Barvinok-Novik orbitope
Published in Discrete & Computational Geometry 46(33) (2011) pp. 479-487
• View Publication
• BIB
Here we study the k^th symmetric trigonometric moment curve and its convex hull, the Barvinok-Novik orbitope. In 2008, Barvinok and Novik introduce these objects and show that there is some threshold so that for two points on S^1 with arclength below this threshold, the line segment between their lifts on the curve form an edge on the Barvinok-Novik orbitope and for points with arclenth above this threshold, their lifts do not form an edge. They also give a lower bound for this threshold and conjecture that this bound is tight. Results of Smilansky prove tightness for k=2. Here we prove this conjecture for all k.
Boltzmann Samplers, Pólya Theory, and Cycle Pointing
Published
• View Publication
• BIB
We introduce a general method to count unlabeled combinatorial structures and to efficiently generate them at random. The approach is based on pointing unlabeled structures in an "unbiased" way that a structure of size n gives rise to n pointed structures. We extend Polya theory to the corresponding pointing operator, and present a random sampling framework based on both the principles of Boltzmann sampling and on Pólya operators. All previously known unlabeled construction principles for Boltzmann samplers are special cases of our new results. Our method is illustrated on several examples: in each case, we provide enumerative results and efficient random samplers. The approach applies to unlabeled families of plane and nonplane unrooted trees, and tree-like structures in general, but also to families of graphs (such as cacti graphs and outerplanar graphs) and families of planar maps.
An aperiodic hexagonal tile
Published in Journal of Combinatorial Theory, Series A 118 (2011) pp. 2207-2231
• View Publication
• BIB
We show that a single prototile can fill space uniformly but not admit a periodic tiling. A two-dimensional, hexagonal prototile with markings that enforce local matching rules is proven to be aperiodic by two independent methods. The space--filling tiling that can be built from copies of the prototile has the structure of a union of honeycombs with lattice constants of $2^n a$, where $a$ sets the scale of the most dense lattice and $n$ takes all positive integer values. There are two local isomorphism classes consistent with the matching rules and there is a nontrivial relation between these tilings and a previous construction by Penrose. Alternative forms of the prototile enforce the local matching rules by shape alone, one using a prototile that is not a connected region and the other using a three--dimensional prototile.
The Well-Covered Dimension of Products of Graphs
Published
• View Publication
• BIB
We discuss how to find the well-covered dimension of a graph that is the Cartesian product of paths, cycles, complete graphs, and other simple graphs. Also, a bound for the well-covered dimension of $K_n\times G$ is found, provided that $G$ has a largest greedy independent decomposition of length $c<n$.
Formulae to find the well-covered dimension of graphs obtained by vertex blowups on a known graph, and to the lexicographic product of two known graphs are also given.
Skewincidence
Published
• View Publication
• BIB
We introduce a new class of problems lying halfway between questions about graph capacity and intersection. We say that two binary sequences x and y of the same length have a skewincidence if there is a coordinate i for which x_i=y_{i+1}=1 or vice versa. We give rather sharp bounds on the maximum number of binary sequences of length n any pair of which has a skewincidence.
On the Asymptotic Existence of Hadamard Matrices
Published in Journal of Combinatorial Theory, Series A 116 (2009) 1002-1008.
• View Publication
• BIB
It is conjectured that Hadamard matrices exist for all orders $4t$ ($t>0$). However, despite a sustained effort over more than five decades, the strongest overall existence results are asymptotic results of the form: for all odd natural numbers $k$, there is a Hadamard matrix of order $k2^{[a+b\log_2k]}$, where $a$ and $b$ are fixed non-negative constants. To prove the Hadamard Conjecture, it is sufficient to show that we may take $a=2$ and $b=0$. Since Seberry's ground-breaking result, which showed that we may take $a=0$ and $b=2$, there have been several improvements where $b$ has been by stages reduced to 3/8. In this paper, we show that for all $ε>0$, the set of odd numbers $k$ for which there is a Hadamard matrix of order $k2^{2+[ε\log_2k]}$ has positive density in the set of natural numbers. The proof adapts a number-theoretic argument of Erdos and Odlyzko to show that there are enough Paley Hadamard matrices to give the result.
A Fourier-analytic Approach to Counting Partial Hadamard Matrices
Published
• View Publication
• BIB
In this paper, we study a family of lattice walks which are related to the Hadamard conjecture. There is a bijection between paths of these walks which originate and terminate at the origin and equivalence classes of partial Hadamard matrices. Therefore, the existence of partial Hadamard matrices can be proved by showing that there is positive probability of a random walk returning to the origin after a specified number of steps. Moreover, the number of these designs can be approximated by estimating the return probabilities. We use the inversion formula for the Fourier transform of the random walk to provide such estimates. We also include here an upper bound, derived by elementary methods, on the number of partial Hadamard.
Rotor-router aggregation on the layered square lattice
Published in Elect. J. Combin. 17(1) #R152 (2010)
• View Publication
• BIB
In rotor-router aggregation on the square lattice Z^2, particles starting at the origin perform deterministic analogues of random walks until reaching an unoccupied site. The limiting shape of the cluster of occupied sites is a disk. We consider a small change to the routing mechanism for sites on the x- and y-axes, resulting in a limiting shape which is a diamond instead of a disk. We show that for a certain choice of initial rotors, the occupied cluster grows as a perfect diamond.
The free Meixner class for pairs of measures
We investigate in more detail the two-state free convolution semigroups of pairs of measures whose Jacobi parameters are linear in the convolution parameter $t$. These semigroups were constructed in arXiv:1001.1540, where we also showed that measures with the analogous property for the usual and free convolution are exactly the classical, resp. free Meixner classes. The class of measures in this paper has not been considered explicitly before, but we show that it also has Meixner-type properties. Specifically, it appears in limit theorems, has a Laha-Lukacs-type characterization, and is related to the $q=0$ case of quadratic harnesses.
Minimal functions on the random graph
Published
• View Publication
• BIB
We show that there is a system of 14 non-trivial finitary functions on the random graph with the following properties: Any non-trivial function on the random graph generates one of the functions of this system by means of composition with automorphisms and by topological closure, and the system is minimal in the sense that no subset of the system has the same property. The theorem is obtained by proving a Ramsey-type theorem for colorings of tuples in finite powers of the random graph, and by applying this to find regular patterns in the behavior of any function on the random graph. As model-theoretic corollaries of our methods we re-derive a theorem of Simon Thomas classifying the first-order closed reducts of the random graph, and prove some refinements of this theorem; also, we obtain a classification of the minimal reducts closed under primitive positive definitions, and prove that all reducts of the random graph are model-complete.
The graph bottleneck identity
Published in Advances in Applied Mathematics. 47 (2011), No.3, P.403-413
• View Publication
• BIB
A matrix $S=(s_{ij})\in{\mathbb R}^{n\times n}$ is said to determine a \emph{transitional measure} for a digraph $G$ on $n$ vertices if for all $i,j,k\in\{1,\...,n\},$ the \emph{transition inequality} $s_{ij} s_{jk}\le s_{ik} s_{jj}$ holds and reduces to the equality (called the \emph{graph bottleneck identity}) if and only if every path in $G$ from $i$ to $k$ contains $j$. We show that every positive transitional measure produces a distance by means of a logarithmic transformation. Moreover, the resulting distance $d(\cdot,\cdot)$ is \emph{graph-geodetic}, that is, $d(i,j)+d(j,k)=d(i,k)$ holds if and only if every path in $G$ connecting $i$ and $k$ contains $j$. Five types of matrices that determine transitional measures for a digraph are considered, namely, the matrices of path weights, connection reliabilities, route weights, and the weights of in-forests and out-forests. The results obtained have undirected counterparts. In [P. Chebotarev, A class of graph-geodetic distances generalizing the shortest-path and the resistance distances, Discrete Appl. Math., URL http://dx.doi.org/10.1016/j.dam.2010.11.017] the present approach is used to fill the gap between the shortest path distance and the resistance distance.