Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Generalized Fibonacci polynomials and Fibonomial coefficients
Published
• View Publication
• BIB
The focus of this paper is the study of generalized Fibonacci polynomials and Fibonomial coefficients. The former are polynomials {n} in variables s and t given by {0} = 0, {1} = 1, and {n} = s{n-1}+t{n-2} for n ge 2. The latter are defined by {n choose k} = {n}!/({k}!{n-k}!) where {n}! = {1}{2}...{n}. These quotients are also polynomials in s and t, and specializations give the ordinary binomial coefficients, the Fibonomial coefficients, and the q-binomial coefficients. We present some of their fundamental properties, including a more general recursion for {n}, an analogue of the binomial theorem, a new proof of the Euler-Cassini identity in this setting with applications to estimation of tails of series, and valuations when s and t take on integral values. We also study a corresponding analogue of the Catalan numbers. Conjectures and open problems are scattered throughout the paper.
Explicit bounds from the Alon-Boppana theorem
Published
• View Publication
• BIB
The purpose of this paper is to give explicit methods for bounding the number of vertices of finite $k$-regular graphs with given second eigenvalue. Let $X$ be a finite $k$-regular graph and $μ_1(X)$ the second largest eigenvalue of its adjacency matrix. It follows from the well-known Alon-Boppana Theorem, that for any $ε> 0$ there are only finitely many such $X$ with $μ_1(X) < (2 - ε) \sqrt{k - 1}$, and we effectively implement Serre's quantitative version of this result. For any $k$ and $ε$, this gives an explicit upper bound on the number of vertices in a $k$-regular graph with $μ_1(X) < (2 - ε) \sqrt{k - 1}$.
A More Complicated Hardness Proof for Finding Densest Subgraphs in Bounded Degree Graphs
We consider the Densest-Subgraph problem, where a graph and an integer k is given and we search for a subgraph on exactly k vertices that induces the maximum number of edges. We prove that this problem is NP-hard even when the input graph has maximum degree three.
Combinatorial Hopf algebra structure on packed square matrices
Published in Journal of Combinatorial Theory, Series A, 133, 139--182, 2015
• View Publication
• BIB
We construct a new bigraded Hopf algebra whose bases are indexed by square matrices with entries in the alphabet $\{0, 1, ..., k\}$, $k \geq 1$, without null rows or columns. This Hopf algebra generalizes the one of permutations of Malvenuto and Reutenauer, the one of $k$-colored permutations of Novelli and Thibon, and the one of uniform block permutations of Aguiar and Orellana. We study the algebraic structure of our Hopf algebra and show, by exhibiting multiplicative bases, that it is free. We moreover show that it is self-dual and admits a bidendriform bialgebra structure. Besides, as a Hopf subalgebra, we obtain a new one indexed by alternating sign matrices. We study some of its properties and algebraic quotients defined through alternating sign matrices statistics.
Generalizing and Implementing Michael Hirschhorn's Amazing Algorithm for Proving Ramanujan-Type Congruences
When Mike Hirschhorn showed us his lovely gem, that gives the simplest-to-date proof of Ramanujan's famous result that p(11n+6) is divisible by 11, we realized that his amazing method can be extended, and taught to a computer, and can prove even deeper identities. We would have done much more if not for the existence of Silviu Radu's powerful algorithm that handle any Ramanujan type congruence for any modular form (of a very general type), but it is still nice to know that in order to prove such simply stated results, that can be explained to a seven-year-old, one does not need the intimidating edifice of the "web of modularity", that Ramanujan never mastered, and probably would not have liked.
Lattice Points in Orthotopes and a Huge Polynomial Tutte Invariant of Weighted Gain Graphs
Published in Journal of Combinatorial Theory Ser. B, 118 (2016), 186--227. MR 3471850. Zbl 1332.05065
• View Publication
• BIB
A gain graph is a graph whose edges are orientably labelled from a group. A weighted gain graph is a gain graph with vertex weights from an abelian semigroup, where the gain group is lattice ordered and acts on the weight semigroup. For weighted gain graphs we establish basic properties and we present general dichromatic and forest-expansion polynomials that are Tutte invariants (they satisfy Tutte's deletion-contraction and multiplicative identities). Our dichromatic polynomial includes the classical graph one by Tutte, Zaslavsky's two for gain graphs, Noble and Welsh's for graphs with positive integer weights, and that of rooted integral gain graphs by Forge and Zaslavsky. It is not a universal Tutte invariant of weighted gain graphs; that remains to be found.
An evaluation of one example of our polynomial counts proper list colorations of the gain graph from a color set with a gain-group action. When the gain group is Z^d, the lists are order ideals in the integer lattice Z^d, and there are specified upper bounds on the colors, then there is a formula for the number of bounded proper colorations that is a piecewise polynomial function of the upper bounds, of degree nd where n is the order of the graph.
This example leads to graph-theoretical formulas for the number of integer lattice points in an orthotope but outside a finite number of affinographic hyperplanes, and for the number of n x d integral matrices that lie between two specified matrices but not in any of certain subspaces defined by simple row equations.
Symbolic dynamics for the piecewise rotations: Case of the bijective symmetric maps
We consider a specific %piecewise rotation of the plane that is continuous on two half-planes, class of piecewise rotations of the plane that are continuous on two half-planes, as studied in \cite{Bosh.Goet.03}, \cite{Goet.Quas.09} and \cite{Che.Goe.Qua.12}. %If Assuming that the angle belongs to the set $\{\fracπ{2},\fracπ{3},\fracπ{6},\fracπ{4}\} %$ $, we give a description of the symbolic dynamics of this map in the bijective symmetric case.
A solution to the 2/3 conjecture
Published
• View Publication
• BIB
We prove a vertex domination conjecture of Erd\H os, Faudree, Gould, Gyárfás, Rousseau, and Schelp, that for every n-vertex complete graph with edges coloured using three colours there exists a set of at most three vertices which have at least 2n/3 neighbours in one of the colours. Our proof makes extensive use of the ideas presented in "A New Bound for the 2/3 Conjecture" by Král', Liu, Sereni, Whalen, and Yilma.
Third-order phase transition in random tilings
Published in Phys. Rev. E 88 (2013), 042125 (11 pp.)
• View Publication
• BIB
We consider the domino tilings of an Aztec diamond with a cut-off corner of macroscopic square shape and given size, and address the bulk properties of tilings as the size is varied. We observe that the free energy exhibits a third-order phase transition when the cut-off square, increasing in size, reaches the arctic ellipse---the phase separation curve of the original (unmodified) Aztec diamond. We obtain this result by studying the thermodynamic limit of certain nonlocal correlation function of the underlying six-vertex model with domain wall boundary conditions, the so-called emptiness formation probability (EFP). We consider EFP in two different representations: as a tau-function for Toda chains and as a random matrix model integral. The latter has a discrete measure and a linear potential with hard walls; the observed phase transition shares properties with both Gross-Witten-Wadia and Douglas-Kazakov phase transitions.
Counting words with Laguerre series
Published
• View Publication
• BIB
We develop a method for counting words subject to various restrictions by finding a combinatorial interpretation for a product of weighted sums of Laguerre polynomials with parameter α= -1. We describe how such a series can be computed by finding an appropriate ordinary generating function and applying a certain transformation. We use this technique to find the generating function for the number of k-ary words avoiding any vincular pattern that has only ones, as well as words cyclically avoiding vincular patterns with only ones whose runs of ones between dashes are all of equal length.
From Alternating Sign Matrices to the Gaussian Unitary Ensemble
Published in Communications in Mathematical Physics, 332, no. 1 (2014)
• View Publication
• BIB
The aim of this note is to prove that fluctuations of uniformly random alternating sign matrices (equivalently, configurations of the six-vertex model with domain wall boundary conditions) near the boundary are described by the Gaussian Unitary Ensemble and the GUE-corners process.
Strong noise sensitivity and random graphs
Published in Annals of Probability 2015, Vol. 43, No. 6, 3239-3278
• View Publication
• BIB
The noise sensitivity of a Boolean function describes its likelihood to flip under small perturbations of its input. Introduced in the seminal work of Benjamini, Kalai and Schramm [Inst. Hautes Études Sci. Publ. Math. 90 (1999) 5-43], it was there shown to be governed by the first level of Fourier coefficients in the central case of monotone functions at a constant critical probability $p_c$. Here we study noise sensitivity and a natural stronger version of it, addressing the effect of noise given a specific witness in the original input. Our main context is the Erdős-Rényi random graph, where already the property of containing a given graph is sufficiently rich to separate these notions. In particular, our analysis implies (strong) noise sensitivity in settings where the BKS criterion involving the first Fourier level does not apply, for example, when $p_c\to0$ polynomially fast in the number of variables.
On the Möbius Function of Permutations With One Descent
Published
• View Publication
• BIB
The set of all permutations, ordered by pattern containment, is a poset. We give a formula for the Möbius function of intervals $[1,π]$ in this poset, for any permutation $π$ with at most one descent. We compute the Möbius function as a function of the number and positions of pairs of consecutive letters in $π$ that are consecutive in value. As a result of this we show that the Möbius function is unbounded on the poset of all permutations. We show that the Möbius function is zero on any interval $[1,π]$ where $π$ has a triple of consecutive letters whose values are consecutive and monotone. We also conjecture values of the Möbius function on some other intervals of permutations with at most one descent.
Perfect powers in Catalan and Narayana numbers
When a Catalan number or a Narayana number is a (non-trivial) perfect power? For Catalan numbers, we show that the answer is "never". However, we prove that for every b, the Narayana number N(a,b) is a (non-trivial) perfect square for infinitely many values of a, and we show how to compute all of them. We also conjecture that N(a,b) is never a (non-trivial) perfect k-th power for k greater than 2 and we prove some cases of this conjecture.
The Gale-Berlekamp game for Hadamard matrices
Given an Hadamard matrix $H\in M_N(\pm1)$ we consider the function $\varphi:\mathbb Z_2^N\times\mathbb Z_2^N\to\mathbb Z$ given by $\varphi(a,b)=\sum_{ij}a_ib_jH_{ij}$, which sums the entries of the various conjugates of $H$, obtained by switching signs on rows and columns. Our claim is that $\varphi$, or just its probabilistic distribution $μ\in\mathcal P(\mathbb Z)$, that we call "glow" of the matrix, should encode important information about $H$. We present here a number of results and conjectures in this direction, notably with a general decomposition result for $μ$.
Koroljuk's formula for counting lattice paths revisited
Koroljuk gave a summation formula for counting the number of lattice paths from $(0,0)$ to $(m,n)$ with $(1,0), (0,1)$-steps in the plane that stay strictly above the line $y=k(x-d)$, where $k$ and $d$ are positive integers. In this paper we obtain an explicit formula for the number of lattice paths from $(a,b)$ to $(m,n)$ above the diagonal $y=kx-r$, where $r$ is a rational number. Our result slightly generalizes Koroljuk's formula, while the former can be essentially derived from the latter. However, our proof uses a recurrence with respect to the starting points, and hereby presents a new approach to Koroljuk's formula.
Iterated Chvatal-Gomory Cuts and the Geometry of Numbers
Published
• View Publication
• BIB
Chvatal-Gomory cutting planes (CG-cuts for short) are a fundamental tool in Integer Programming. Given any single CG-cut, one can derive an entire family of CG-cuts, by `iterating' its multiplier vector modulo one. This leads naturally to two questions: first, which iterates correspond to the strongest cuts, and, second, can we find such strong cuts efficiently? We answer the first question empirically, by showing that one specific approach for selecting the iterate tends to perform much better than several others. The approach essentially consists in solving a nonlinear optimization problem over a special lattice associated with the CG-cut. We then provide a partial answer to the second question, by presenting a polynomial-time algorithm that yields an iterate that is strong in a certain well-defined sense. The algorithm is based on results from the algorithmic geometry of numbers.
An improvement of the Beck-Fiala theorem
Published
• View Publication
• BIB
In 1981 Beck and Fiala proved an upper bound for the discrepancy of a set system of degree d that is independent of the size of the ground set. In the intervening years the bound has been decreased from 2d-2 to 2d-4. We improve the bound to 2d-log* d.
Moduli spaces of ten-line arrangements with double and triple points
Two arrangements with the same combinatorial intersection lattice but whose complements have different fundamental groups are called a Zariski pair. This work finds that there are at most nine such pairs amongst all ten line arrangements whose intersection points are doubles or triples. This result is obtained by considering the moduli space of a given configuration table which describes the intersection lattice. A complete combinatorial classification is given of all arrangements of this type under a suitable assumption, producing a list of seventy-one described in a table, most of which do not explicitly appear in the literature. This list also includes other important counterexamples: nine combinatorial arrangements that are not geometrically realizable.
Huffman coding as an algorithm to construct chains in partition lattices
Published
• View Publication
• BIB
The Huffman coding algorithm is interpreted in the lattice of partitions of the source alphabet. Maximal chains in the partition lattice correspond to linear extensions of tree orders, and those among the chains that exhibit a simple greedy property correspond precisely to executions of the Huffman algorithm.