Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Twin Towers of Hanoi
In the Twin Towers of Hanoi version of the well known Towers of Hanoi Problem there are two coupled sets of pegs. In each move, one chooses a pair of pegs in one of the sets and performs the only possible legal transfer of a disk between the chosen pegs (the smallest disk from one of the pegs is moved to the other peg), but also, simultaneously, between the corresponding pair of pegs in the coupled set (thus the same sequence of moves is always used in both sets). We provide upper and lower bounds on the length of the optimal solutions to problems of the following type. Given an initial and a final position of N disks in each of the coupled sets, what is the smallest number of moves needed to simultaneously obtain the final position from the initial one in each set? Our analysis is based on the use of a group, called Hanoi Towers group, of rooted ternary tree automorphisms, which models the original problem in such a way that the configurations on N disks are the vertices at level N of the tree and the action of the generators of the group represents the three possible moves between the three pegs. The twin version of the problem is analyzed by considering the action of Hanoi Towers group on pairs of vertices.
Asymptotic enumeration of symmetric integer matrices with uniform row sums
Published
• View Publication
• BIB
We investigate the number of symmetric matrices of non-negative integers with zero diagonal such that each row sum is the same. Equivalently, these are zero diagonal symmetric contingency tables with uniform margins, or loop-free regular multigraphs. We determine the asymptotic value of this number as the size of the matrix tends to infinity, provided the row sum is large enough. We conjecture that our answer is valid for all row sums.
Expanders Are Universal for the Class of All Spanning Trees
Published
• View Publication
• BIB
Given a class of graphs F, we say that a graph G is universal for F, or F-universal, if every H in F is contained in G as a subgraph. The construction of sparse universal graphs for various families F has received a considerable amount of attention. One is particularly interested in tight F-universal graphs, i.e., graphs whose number of vertices is equal to the largest number of vertices in a graph from F. Arguably, the most studied case is that when F is some class of trees.
Given integers n and Δ, we denote by T(n,Δ) the class of all n-vertex trees with maximum degree at most Δ. In this work, we show that every n-vertex graph satisfying certain natural expansion properties is T(n,Δ)-universal or, in other words, contains every spanning tree of maximum degree at most Δ. Our methods also apply to the case when Δis some function of n. The result has a few very interesting implications. Most importantly, we obtain that the random graph G(n,p) is asymptotically almost surely (a.a.s.) universal for the class of all bounded degree spanning (i.e., n-vertex) trees provided that p \geq c n^{-1/3} \log^2n where c > 0 is a constant. Moreover, a corresponding result holds for the random regular graph of degree pn. In fact, we show that if Δsatisfies \log n \leq Δ\leq n^{1/3}, then the random graph G(n,p) with p \geq c Δn^{-1/3} \log n and the random r-regular n-vertex graph with r \geq cΔn^{2/3} \log n are a.a.s. T(n,Δ)-universal. Another interesting consequence is the existence of locally sparse n-vertex T(n,Δ)-universal graphs. For constant Δ, we show that one can (randomly) construct n-vertex T(n,Δ)-universal graphs with clique number at most five. Finally, we show robustness of random graphs with respect to being universal for T(n,Δ) in the context of the Maker-Breaker tree-universality game.
The negative q-binomial
Interpretations for the q-binomial coefficient evaluated at -q are discussed. A (q,t)-version is established, including an instance of a cyclic sieving phenomenon involving unitary spaces.
Rational curves with many rational points over a finite field
Published
• View Publication
• BIB
We study a particular plane curve over a finite field whose normalization is of genus 0. The number of rational points of this curve achieves the Aubry-Perret bound for rational curves. The configuration of its rational points and a generalization of the curve are also presented.
An Optimal Odd Unimodular Lattice in Dimension 72
Published in Archiv der Mathematik 97 (2011), 529-533
• View Publication
• BIB
It is shown that if there is an extremal even unimodular lattice in dimension 72, then there is an optimal odd unimodular lattice in that dimension. Hence, the first example of an optimal odd unimodular lattice in dimension 72 is constructed from the extremal even unimodular lattice which has been recently found by G. Nebe.
On sub-determinants and the diameter of polyhedra
Published
• View Publication
• BIB
We derive a new upper bound on the diameter of a polyhedron P = {x \in R^n : Ax <= b}, where A \in Z^{m\timesn}. The bound is polynomial in n and the largest absolute value of a sub-determinant of A, denoted by Δ. More precisely, we show that the diameter of P is bounded by O(Δ^2 n^4 log nΔ). If P is bounded, then we show that the diameter of P is at most O(Δ^2 n^3.5 log nΔ).
For the special case in which A is a totally unimodular matrix, the bounds are O(n^4 log n) and O(n^3.5 log n) respectively. This improves over the previous best bound of O(m^16 n^3 (log mn)^3) due to Dyer and Frieze.
Min-max relations for odd cycles in planar graphs
Let m(G) be the maximum number of vertex-disjoint odd cycles of a graph G and t(G) the minimum number of vertices whose removal makes G bipartite. We show that t(G)<=6m(G) if G is planar. This improves the previous bound t(G)<=10m(G) by Fiorini, Hardy, Reed and Vetta [Math. Program. Ser. B 110 (2007), 71-91].
A note on statistical model for BPS D4-D2-D0 states
Published
• View Publication
• BIB
We construct a statistical model that reproduces the BPS partition function of D4-D2-D0 bound states on a class of toric Calabi-Yau three-folds. The Calabi-Yau three-folds we consider are obtained by adding a compact two-cycle to $A_{N-1}$-ALE $\times \mathbb{C}$. We show that in the small radii limit of the Calabi-Yau the D4-D2-D0 partition function is correctly reproduced by counting the number of triangles and parallelograms.
Complexity of a Single Face in an Arrangement of s-Intersecting Curves
Consider a face F in an arrangement of n Jordan curves in the plane, no two of which intersect more than s times. We prove that the combinatorial complexity of F is O(λ_s(n)), O(λ_{s+1}(n)), and O(λ_{s+2}(n)), when the curves are bi-infinite, semi-infinite, or bounded, respectively; λ_k(n) is the maximum length of a Davenport-Schinzel sequence of order k on an alphabet of n symbols.
Our bounds asymptotically match the known worst-case lower bounds. Our proof settles the still apparently open case of semi-infinite curves. Moreover, it treats the three cases in a fairly uniform fashion.
Three layer $Q_2$-free families in the Boolean lattice
Published
• View Publication
• BIB
We prove that the largest $Q_2$-free family of subsets of $[n]$ which contains sets of at most three different sizes has at most $(3 + 2\sqrt {3})N/3 + o(N) \approx 2.1547N + o(N)$ members, where $N = {n \choose {\lfloor n/2 \rfloor}}$. This improves an earlier bound of $2.207N + o(N)$ by Axenovich, Manske, and Martin.
Excursions into Algebra and Combinatorics at $q=0$
We explore combinatorics associated with the degenerate Hecke algebra at $q=0$, obtaining a formula for a system of orthogonal idempotents, and also exploring various pattern avoidance results. Generalizing constructions for the 0-Hecke algebra, we explore the representation theory of $\JJ$-trivial monoids.
We then discuss two-tensors of crystal bases for $U_q(\tilde{\mathfrak{sl}_2})$, establishing a complementary result to one of Bandlow, Schilling, and Thiéry on affine crystals arising from promotion operators. Finally, we give a computer implementation of Stembridge's local axioms for simply-laced crystal bases.
On a theorem of Schoen and Shkredov on sumsets of convex sets
A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove \[|A+A|\gg\frac{|A|^{14/9}}{(\log|A|)^{2/9}}.\] Sumsets of different summands and an application to a sum-product-type problem are also studied either as remarks or as theorems.
The Stabilizer Of Immanants
Published
• View Publication
• BIB
We describe immanants as trivial modules of the symmetric group and show that any homogeneous polynomial of degree n on the space of n by n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by permutation matrices is a linear combination of immanants. we prove that the identity component of the stabilizer of any immanant (except determinant, permanent) is the expected one. We also prove that for n>5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is again the expected one.
Formulae for the number of partitions of n into at most m parts (using the quasi-polynomial ansatz)
Published in Advances in Applied Mathematics 48 (2012) 640--645
• View Publication
• BIB
The purpose of this short article is to announce, and briefly describe, a Maple package, PARTITIONS, that (inter alia) completely automatically discovers, and then proves, explicit expressions (as sums of quasi-polynomials) for pm(n) for any desired m. We do this to demonstrate the power of "rigorous guessing" as facilitated by the quasi-polynomial ansatz.
VC density and dp rank
We derive that dpR(n) \leq dens(n) \leq dpR(n)+1, where dens(n) is the supremum of the VC density of all formulas in n parameters, and dpR(n) is the maximum depth of an ICT pattern in n variables. Consequently, strong dependence is equivalent to finite VC density.
Another proof of the $n!$ conjecture
The "n! conjecture" of Garsia and Haiman has inspired mathematicians for nearly two decades, even after Haiman published a proof in 2001. Kumar and Funch Thomsen proved in 2003 that in order to prove the conjecture for all partitions, it suffices to prove it for the so-called "staircase partitions" $(k,k-1,...,2,1)$ for each $k>1$. In the present paper we give a construction of a specially designed two-dimensional family of length-$n$ subschemes of the plane, and use that to prove the $n!$ conjecture for staircase partitions. Together with the result of Kumar and Funch Thomsen, this provides a new proof of Haiman's theorem.
Diameter of the thick part of moduli space and simultaneous Whitehead moves
Published in Duke Math. J. 162, no. 10 (2013), 1833-1876
• View Publication
• BIB
Let S be a surface of genus g with p punctures with negative Euler characteristic. We study the diameter of the $ε$-thick part of moduli space of S equipped with the Teichmüller or Thurston's Lipschitz metric. We show that the asymptotic behaviors in both metrics are of order $\log \frac{g+p}ε$. The same result also holds for the $ε$-thick part of the moduli space of metric graphs of rank n equipped with the Lipschitz metric. The proof involves a sorting algorithm that sorts an arbitrary labeled tree with n labels with simultaneous Whitehead moves, where the number of steps is of order log(n).
A multipartite version of the Hajnal-Szemerédi theorem for graphs and hypergraphs
Published
• View Publication
• BIB
A perfect $K_t$-matching in a graph $G$ is a spanning subgraph consisting of vertex disjoint copies of $K_t$. A classic theorem of Hajnal and Szemerédi states that if $G$ is a graph of order $n$ with minimum degree $δ(G) \ge (t-1)n/t$ and $t| n$, then $G$ contains a perfect $K_t$-matching. Let $G$ be a $t$-partite graph with vertex classes $V_1$,..., $V_t$ each of size $n$. We show that if every vertex $x \in V_i$ is joined to at least $((t-1)/t + γ)n $ vertices of $V_j$ for $i \ne j$, then $G$ contains a perfect $K_t$-matching, thus verifying a conjecture of Fisher asymptotically. Furthermore, we consider a generalisation to hypergraphs in terms of the codegree.
Asymptotic rays
Published in International Journal of Pure and Applied Mathematics, Volume 56, No. 3 (2009), 353-358
• Search Publication
We prove that a graph G is asymptotically isomorphic to the ray if and only if G is uniformly spherically bounded and is of bounded local degrees. This problem arouse in combinatorics and was posed in [3] (Problem 10.1).