Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Deciding game invariance
Duchêne and Rigo introduced the notion of invariance for take-away games on heaps. Roughly speaking, these are games whose rulesets do not depend on the position. Given a sequence $S$ of positive tuples of integers, the question of whether there exists an invariant game having $S$ as set of $\mathcal{P}$-positions is relevant. In particular, it was recently proved by Larsson et al. that if $S$ is a pair of complementary Beatty sequences, then the answer to this question is always positive. In this paper, we show that for a fairly large set of sequences (expressed by infinite words), the answer to this question is decidable.
Graphs without proper subgraphs of minimum degree 3 and short cycles
Published
• View Publication
• BIB
We study graphs on $n$ vertices which have $2n-2$ edges and no proper induced subgraphs of minimum degree $3$. Erdős, Faudree, Gyárfás, and Schelp conjectured that such graphs always have cycles of lengths $3,4,5,\dots, C(n)$ for some function $C(n)$ tending to infinity. We disprove this conjecture, resolve a related problem about leaf-to-leaf path lengths in trees, and characterize graphs with $n$ vertices and $2n-2$ edges, containing no proper subgraph of minimum degree $3$.
Rainbow triangles in three-colored graphs
Published
• View Publication
• BIB
Erdos and Sos proposed a problem of determining the maximum number F(n) of rainbow triangles in 3-edge-colored complete graphs on n vertices. They conjectured that F(n) = F(a)+ F(b)+F(c)+F(d)+abc+abd+acd+bcd, where a+b+c+d = n and a, b, c, d are as equal as possible. We prove that the conjectured recurrence holds for sufficiently large n. We also prove the conjecture for n = 4k for all k. These results imply that lim F(n) n^3/6 = 0.4, and determine the unique limit object. In the proof we use flag algebras combined with stability arguments.
Tracy-Widom asymptotics for a random polymer model with gamma-distributed weights
Published in Electron. J. Probab. 20: 1-18 (2015)
• View Publication
• BIB
We establish Tracy-Widom asymptotics for the partition function of a random polymer model with gamma-distributed weights recently introduced by Seppäläinen. We show that the partition function of this random polymer can be represented within the framework of the geometric RSK correspondence and consequently its law can be expressed in terms of Whittaker functions. This leads to a representation of the law of the partition function which is amenable to asymptotic analysis. In this model, the partition function plays a role analogous to the smallest eigenvalue in the Laguerre unitary ensemble of random matrix theory.
On a conjecture of Wilf about the Frobenius number
Published in Mathematische Zeitschrift, Volume 280, pp 47-53 (2015)
• View Publication
• BIB
Given coprime positive integers $a_1 < ...< a_d$, the Frobenius number $F$ is the largest integer which is not representable as a non-negative integer combination of the $a_i$. Let $g$ denote the number of all non-representable positive integers: Wilf conjectured that $d \geq \frac{F+1}{F+1-g}$. We prove that for every fixed value of $\lceil \frac{a_1}{d} \rceil$ the conjecture holds for all values of $a_1$ which are sufficiently large and are not divisible by a finite set of primes. We also propose a generalization in the context of one-dimensional local rings and a question on the equality $d = \frac{F+1}{F+1-g}$.
A unifying poset perspective on alternating sign matrices, plane partitions, Catalan objects, tournaments, and tableaux
Published in Adv Appl Math 46 (2011), no. 4, 583-609
• Search Publication
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We present a unifying perspective on ASMs and other combinatorial objects by studying a certain tetrahedral poset and its subposets. We prove the order ideals of these subposets are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self-complementary plane partitions (TSSCPPs), staircase shaped semistandard Young tableaux, Catalan objects, tournaments, and totally symmetric plane partitions. We prove product formulas counting these order ideals and give the rank generating function of some of the corresponding lattices of order ideals. We also prove an expansion of the tournament generating function as a sum over TSSCPPs. This result is analogous to a result of Robbins and Rumsey expanding the tournament generating function as a sum over alternating sign matrices.
On the free Lie algebra with multiple brackets
Published in Adv. in Appl. Math. 79 (2016), 37-97
• Search Publication
It is a classical result that the multilinear component of the free Lie algebra is isomorphic (as a representation of the symmetric group) to the top (co)homology of the proper part of the poset of partitions $Π_n$ tensored with the sign representation. We generalize this result in order to study the multilinear component of the free Lie algebra with multiple compatible Lie brackets. We introduce a new poset of weighted partitions $Π_n^k$ that allows us to generalize the result. The new poset is a generalization of $Π_n$ and of the poset of weighted partitions $Π_n^w$ introduced by Dotsenko and Khoroshkin and studied by the author and Wachs for the case of two compatible brackets. We prove that the poset $Π_n^k$ with a top element added is EL-shellable and hence Cohen-Macaulay. This and other properties of $Π_n^k$ enable us to answer questions posed by Liu on free multibracketed Lie algebras. In particular, we obtain various dimension formulas and multicolored generalizations of the classical Lyndon and comb bases for the multilinear component of the free Lie algebra. We also obtain a plethystic formula for the Frobenius characteristic of the representation of the symmetric group on the multilinear component of the free multibracketed Lie algebra.
Heat and Noise on Cubes and Spheres: The Sensitivity of Randomly Rotated Polynomial Threshold Functions
We establish a precise relationship between spherical harmonics and Fourier basis functions over a hypercube randomly embedded in the sphere. In particular, we give a bound on the expected Boolean noise sensitivity of a randomly rotated function in terms of its "spherical sensitivity," which we define according to its evolution under the spherical heat equation. As an application, we prove an average case of the Gotsman-Linial conjecture, bounding the sensitivity of polynomial threshold functions subjected to a random rotation.
Glaisher combinatorics of regular partitions
Extending the notion of $r$-(class) regular partitions, we define $(r_{1},...,r_{m})$-class regular partitions. A partition identity is presented and described by making use of the Glaisher correspondence.
Tuza's Conjecture is Asymptotically Tight for Dense Graphs
Published in Combinatorics, Probability and Computing (2016) 25, 645-67
• View Publication
• BIB
An old conjecture of Zs. Tuza says that for any graph $G$, the ratio of the minimum size, $τ_3(G)$, of a set of edges meeting all triangles to the maximum size, $ν_3(G)$, of an edge-disjoint triangle packing is at most 2. Here, disproving a conjecture of R. Yuster, we show that for any fixed, positive $α$ there are arbitrarily large graphs $G$ of positive density satisfying $τ_3(G)>(1-o(1))|G|/2$ and $ν_3(G)<(1+α)|G|/4$.
Asymptotic bounds on the equilateral dimension of hypercubes
Published in Graphs Combin. 31, no. 5, 1629-1636 (2015)
• View Publication
• BIB
A subset of the finite dimensional hypercube is said to be equilateral if the distance of any two distinct points equals a fixed value. The equilateral dimension of the hypercube is defined as the maximal size of its equilateral subsets. We study asymptotic bounds on the latter quantity considered as a function of two variables, namely dimension and distance.
A correspondence between rooted planar maps and normal planar lambda terms
Published in Logical Methods in Computer Science, Volume 11, Issue 3 (September 25, 2015) lmcs:1598
• View Publication
• BIB
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes, and planar if it is linear and the use of variables moreover follows a deterministic stack discipline. We begin by showing that the sequence counting normal planar lambda terms by a natural notion of size coincides with the sequence (originally computed by Tutte) counting rooted planar maps by number of edges. Next, we explain how to apply the machinery of string diagrams to derive a graphical language for normal planar lambda terms, extracted from the semantics of linear lambda calculus in symmetric monoidal closed categories equipped with a linear reflexive object or a linear reflexive pair. Finally, our main result is a size-preserving bijection between rooted planar maps and normal planar lambda terms, which we establish by explaining how Tutte decomposition of rooted planar maps (into vertex maps, maps with an isthmic root, and maps with a non-isthmic root) may be naturally replayed in linear lambda calculus, as certain surgeries on the string diagrams of normal planar lambda terms.
Two new kinds of numbers and related divisibility results
Published in Colloq. Math. 154(2018), no.2, 241-273
• View Publication
• BIB
We mainly introduce two new kinds of numbers given by $$R_n=\sum_{k=0}^n\binom nk\binom{n+k}k\frac1{2k-1}\quad\ (n=0,1,2,...)$$ and $$S_n=\sum_{k=0}^n\binom nk^2\binom{2k}k(2k+1)\quad\ (n=0,1,2,...).$$ We find that such numbers have many interesting arithmetic properties. For example, if $p\equiv1\pmod 4$ is a prime with $p=x^2+y^2$ (where $x\equiv1\pmod 4$ and $y\equiv0\pmod 2$), then $$R_{(p-1)/2}\equiv p-(-1)^{(p-1)/4}2x\pmod{p^2}.$$ Also, $$\frac1{n^2}\sum_{k=0}^{n-1}S_k\in\mathbb Z\ \ {and}\ \ \frac1n\sum_{k=0}^{n-1}S_k(x)\in\mathbb Z[x]\quad\text{for all}\ n=1,2,3,...,$$ where $S_k(x)=\sum_{j=0}^k\binom kj^2\binom{2j}j(2j+1)x^j$. For any positive integers $a$ and $n$, we show that, somewhat surprisingly, $$\frac1{n^2}\sum_{k=0}^{n-1}(2k+1)\binom{n-1}k^a\binom{-n-1}k^a\in\mathbb Z\ \ {and} \ \ \frac 1n\sum_{k=0}^{n-1}\frac{\binom{n-1}k^a\binom{-n-1}k^a}{4k^2-1}\in\mathbb Z.$$ We also solve a conjecture of V.J.W. Guo and J. Zeng, and pose several conjectures for further research.
Tackling the Minimal Superpermutation Problem
A superpermutation on $n$ symbols is a string that contains each of the $n!$ permutations of the $n$ symbols as a contiguous substring. The shortest superpermutation on $n$ symbols was conjectured to have length $\sum_{i=1}^n i!$. The conjecture had been verified for $n \leq 5$. We disprove it by exhibiting an explicit counterexample for $n=6$. This counterexample was found by encoding the problem as an instance of the (asymmetric) Traveling Salesman Problem, and searching for a solution using a powerful heuristic solver.
Constructions of complex equiangular lines from mutually unbiased bases
Published
• View Publication
• BIB
A set of vectors of equal norm in $\mathbb{C}^d$ represents equiangular lines if the magnitudes of the Hermitian inner product of every pair of distinct vectors in the set are equal. The maximum size of such a set is $d^2$, and it is conjectured that sets of this maximum size exist in $\mathbb{C}^d$ for every $d \geq 2$. We take a combinatorial approach to this conjecture, using mutually unbiased bases (MUBs) in the following 3 constructions of equiangular lines:
(1) adapting a set of $d$ MUBs in $\mathbb{C}^d$ to obtain $d^2$ equiangular lines in $\mathbb{C}^d$,
(2) using a set of $d$ MUBs in $\mathbb{C}^d$ to build $(2d)^2$ equiangular lines in $\mathbb{C}^{2d}$,
(3) combining two copies of a set of $d$ MUBs in $\mathbb{C}^d$ to build $(2d)^2$ equiangular lines in $\mathbb{C}^{2d}$.
For each construction, we give the dimensions $d$ for which we currently know that the construction produces a maximum-sized set of equiangular lines.
Dominating Plane Triangulations
Published
• View Publication
• BIB
In 1996, Tarjan and Matheson proved that if $G$ is a plane triangulated disc with $n$ vertices, $γ(G)\le n/3$, where $γ(G)$ denotes the domination number of $G$. Furthermore, they conjectured that the constant $1/3$ could be improved to $1/4$ for sufficiently large $n$. Their conjecture remains unsettled.
In the present paper, it is proved that if $G$ is a hamiltonian plane triangulation with $|V(G)|=n$ vertices and minimum degree at least 4, then $γ(G)\le\max\{\lceil 2n/7\rceil, \lfloor 5n/16\rfloor\}$. It follows immediately that if $G$ is a 4-connected plane triangulation with $n$ vertices, then $γ(G)\le\max\{\lceil 2n/7\rceil, \lfloor 5n/16\rfloor\} $. It then follows that if $n\ge 26$, then $γ(G)\le \lfloor 5n/16\rfloor$.
Symmetric isostatic frameworks with $\ell^1$ or $\ell^\infty$ distance constraints
Published
• View Publication
• BIB
Combinatorial characterisations of minimal rigidity are obtained for symmetric 2-dimensional bar-joint frameworks with either $\ell^1$ or $\ell^\infty$ distance constraints. The characterisations are expressed in terms of symmetric tree packings and the number of edges fixed by the symmetry operations. The proof uses new Henneberg-type inductive construction schemes.
Computing convex hulls and counting integer points with polymake
Published
• View Publication
• BIB
The main purpose of this paper is to report on the state of the art of computing integer hulls and their facets as well as counting lattice points in convex polytopes. Using the polymake system we explore various algorithms and implementations. Our experience in this area is summarized in ten "rules of thumb".
On Topological Properties of Wireless Sensor Networks under the q-Composite Key Predistribution Scheme with On/Off Channels
Published
• View Publication
• BIB
The q-composite key predistribution scheme [1] is used prevalently for secure communications in large-scale wireless sensor networks (WSNs). Prior work [2]-[4] explores topological properties of WSNs employing the q-composite scheme for q = 1 with unreliable communication links modeled as independent on/off channels. In this paper, we investigate topological properties related to the node degree in WSNs operating under the q-composite scheme and the on/off channel model. Our results apply to general q and are stronger than those reported for the node degree in prior work even for the case of q being 1. Specifically, we show that the number of nodes with certain degree asymptotically converges in distribution to a Poisson random variable, present the asymptotic probability distribution for the minimum degree of the network, and establish the asymptotically exact probability for the property that the minimum degree is at least an arbitrary value. Numerical experiments confirm the validity of our analytical findings.
On the growth of Stanley sequences
Published
• View Publication
• BIB
A set is said to be \emph{3-free} if no three elements form an arithmetic progression. Given a 3-free set $A$ of integers $0=a_0<a_1<\cdots<a_t$, the \emph{Stanley sequence} $S(A)=\{a_n\}$ is defined using the greedy algorithm: For each successive $n>t$, we pick the smallest possible $a_n$ so that $\{a_0,a_1,\ldots,a_n\}$ is 3-free and increasing. Work by Odlyzko and Stanley indicates that Stanley sequences may be divided into two classes. Sequences of Type 1 are highly structured and satisfy $αn^{\log_2 3}/2\le a_n\le αn^{\log_2 3}$, for some constant $α$, while those of Type 2 are chaotic and satisfy $Θ(n^2/\log n)$. In this paper, we consider the possible values for $α$ in the growth of Type 1 Stanley sequences. Whereas Odlyzko and Stanley assumed $α=1$, we show that $α$ can be any rational number which is at least 1 and for which the denominator, in lowest terms, is a power of 3.