Showing 20 papers (Total: 82139 papers, 47531 authors in database)
p-adic congruences motivated by series
Published in J. Number Theory 134(2014), 181-196
• View Publication
• BIB
Let $p>5$ be a prime. Motivated by the known formulae $\sum_{k=1}^\infty(-1)^k/(k^3\binom{2k}{k})=-2ζ(3)/5$ and $\sum_{k=0}^\infty \binom{2k}{k}^2/((2k+1)16^k)=4G/π$$ (where $G=\sum_{k=0}^\infty(-1)^k/(2k+1)^2$ is the Catalan constant), we show that $$\sum_{k=1}^{(p-1)/2}\frac{(-1)^k}{k^3\binom{2k}{k}}\equiv-2B_{p-3}\pmod{p},$$ $$\sum_{k=(p+1)/2}^{p-1}\frac{\binom{2k}{k}^2}{(2k+1)16^k}\equiv-\frac 7{4}p^2B_{p-3}\pmod{p^3}$$, and $$\sum_{k=0}^{(p-3)/2}\frac{\binom{2k}{k}^2}{(2k+1)16^k} \equiv-2q_p(2)-pq_p(2)^2+\frac{5}{12}p^2B_{p-3}\pmod{p^3},$$ where $B_0,B_1,\ldots$ are Bernoulli numbers and $q_p(2)$ is the Fermat quotient $(2^{p-1}-1)/p$.
List Distinguishing Parameters of Trees
Published
• View Publication
• BIB
A coloring of the vertices of a graph G is said to be distinguishing} provided no nontrivial automorphism of G preserves all of the vertex colors. The distinguishing number of G, D(G), is the minimum number of colors in a distinguishing coloring of G. The distinguishing chromatic number of G, chi_D(G), is the minimum number of colors in a distinguishing coloring of G that is also a proper coloring.
Recently the notion of a distinguishing coloring was extended to that of a list distinguishing coloring. Given an assignment L= {L(v) : v in V(G)} of lists of available colors to the vertices of G, we say that G is (properly) L-distinguishable if there is a (proper) distinguishing coloring f of G such that f(v) is in L(v) for all v. The list distinguishing number of G, D_l(G), is the minimum integer k such that G is L-distinguishable for any list assignment L with |L(v)| = k for all v. Similarly, the list distinguishing chromatic number of G, denoted chi_{D_l}(G) is the minimum integer k such that G is properly L-distinguishable for any list assignment L with |L(v)| = k for all v.
In this paper, we study these distinguishing parameters for trees, and in particular extend an enumerative technique of Cheng to show that for any tree T, D_l(T) = D(T), chi_D(T)=chi_{D_l}(T), and chi_D(T) <= D(T) + 1.
A note on traces of set families
Published in Moscow Journal of Combinatorics and Number Theory, 2 (2012) 47-55
• Search Publication
A family of sets $\mathcal{F} \subseteq 2^{[n]}$ is defined to be $l$-trace $k$-Sperner if for any $l$-subset $L$ of $[n]$ the family of traces $\mathcal{F}|_L=\{F \cap L: F \in \mathcal{F}\}$ does not contain any chain of length $k+1$. In this paper we prove that for any positive integers $l',k$ with $l'<k$ if $\mathcal{F}$ is $(n-l')$-trace $k$-Sperner, then $|\mathcal{F}| \le (k-l'+o(1))\binom{n}{\lfloor n/2\rfloor}$ and this bound is asymptotically tight.
Higher order duality and toric embeddings
Published
• View Publication
• BIB
The notion of higher order dual varieties of a projective variety is a natural generalization of the classical notion of projective duality, introduced by Piene in 1983. In this paper we study higher order dual varieties of projective toric embeddings. We compute the degree of the second dual variety of a smooth toric threefold in geometric and combinatorial terms, and we classify smooth 2-jet spanned projective embeddings of smooth threefolds whose second dual variety has dimension less than expected. We also describe the tropicalization of the k-th dual variety of an equivariantly embedded (not necessarily normal) toric variety.
Derived Equivalence in Surface Algebras of Genus 0 via Graded Equivalence
Published
• View Publication
• BIB
We determine some of the derived equivalences of a class of gentle algebras called surface algebras. These algebras are constructed from an unpunctured Riemann surface of genus 0 with boundary and marked points by introducing cuts in internal triangles of an arbitrary triangulation of the surface. In particular, we fix a triangulation of a surface and determine when different cuts produce derived equivalent algebras.
Traffic distributions and independence: permutation invariant random matrices and the three notions of independence
Published
• View Publication
• BIB
Voiculescu's notion of asymptotic free independence is known for a large class of random matrices including independent unitary invariant matrices. This notion is extended for independent random matrices invariant in law by conjugation by permutation matrices. This fact leads naturally to an extension of free probability, formalized under the notions of traffic probability. We first establish this construction for random matrices. We define the traffic distribution of random matrices, which is richer than the *-distribution of free probability. The knowledge of the individual traffic distributions of independent permutation invariant families of matrices is sufficient to compute the limiting distribution of the join family. Under a factorization assumption, we call traffic independence the asymptotic rule that plays the role of independence with respect to traffic distributions. Wigner matrices, Haar unitary matrices and uniform permutation matrices converge in traffic distributions, a fact which yields new results on the limiting *-distributions of several matrices we can construct from them. Then we define the abstract traffic spaces as non commutative probability spaces with more structure. We prove that at an algebraic level, traffic independence in some sense unifies the three canonical notions of tensor, free and Boolean independence. A central limiting theorem is stated in this context, interpolating between the tensor, free and Boolean central limit theorems.
Completely dissociative groupoids
Published
• View Publication
• BIB
Consider arbitrarily parenthesized expressions on the $k$ variables $x_0, x_1, ..., x_{k-1}$, where each $x_i$ appears exactly once and in the order of their indices. We call these expressions {\em formal $k$--products}. $F^σ(k)$ denotes the set of formal $k$--products. For ${{\bf u},{\bf v}}\subseteq F^σ(k)$, the claim, that ${\bf u}$ and ${\bf v}$ produce equal elements in a groupoid $G$ for all values assumed in $G$ by the variables $x_i$, attributes to $G$ a {\em generalized associative law}. Many groupoids are {\em completely dissociative}; i.e., no generalized associative law holds for them; two examples are the groupoids on ${0,1}$ whose binary operations are implication and NAND. We prove a variety of results of that flavor.
Tree statistics from Matula numbers
Published
• View Publication
• BIB
There is a one-to-one correspondence between natural numbers and rooted trees; the number is called the Matula number of the rooted tree. We show how a large number of properties of trees can be obtained directly from the corresponding Matula number.
Embedding spanning bipartite graphs of small bandwidth
Published
• View Publication
• BIB
Boettcher, Schacht and Taraz gave a condition on the minimum degree of a graph G on n vertices that ensures G contains every r-chromatic graph H on n vertices of bounded degree and of bandwidth o(n), thereby proving a conjecture of Bollobas and Komlos. We strengthen this result in the case when H is bipartite. Indeed, we give an essentially best-possible condition on the degree sequence of a graph G on n vertices that forces G to contain every bipartite graph H on n vertices of bounded degree and of bandwidth o(n). This also implies an Ore-type result. In fact, we prove a much stronger result where the condition on G is relaxed to a certain robust expansion property. Our result also confirms the bipartite case of a conjecture of Balogh, Kostochka and Treglown concerning the degree sequence of a graph which forces a perfect H-packing.
Covering of Subspaces by Subspaces
Published
• View Publication
• BIB
Lower and upper bounds on the size of a covering of subspaces in the Grassmann graph $\cG_q(n,r)$ by subspaces from the Grassmann graph $\cG_q(n,k)$, $k \geq r$, are discussed. The problem is of interest from four points of view: coding theory, combinatorial designs, $q$-analogs, and projective geometry. In particular we examine coverings based on lifted maximum rank distance codes, combined with spreads and a recursive construction. New constructions are given for $q=2$ with $r=2$ or $r=3$. We discuss the density for some of these coverings. Tables for the best known coverings, for $q=2$ and $5 \leq n \leq 10$, are presented. We present some questions concerning possible constructions of new coverings of smaller size.
On the rank function of a differential poset
Published in Electron. J. Combin. 19 (2012), no. 2, P13, 17 pages
• View Publication
• BIB
We study $r$-differential posets, a class of combinatorial objects introduced in 1988 by the first author, which gathers together a number of remarkable combinatorial and algebraic properties, and generalizes important examples of ranked posets, including the Young lattice. We first provide a simple bijection relating differential posets to a certain class of hypergraphs, including all finite projective planes, which are shown to be naturally embedded in the initial ranks of some differential poset. As a byproduct, we prove the existence, if and only if $r\geq 6$, of $r$-differential posets nonisomorphic in any two consecutive ranks but having the same rank function. We also show that the Interval Property, conjectured by the second author and collaborators for several sequences of interest in combinatorics and combinatorial algebra, in general fails for differential posets. In the second part, we prove that the rank function $p_n$ of any arbitrary $r$-differential poset has nonpolynomial growth; namely, $p_n\gg n^ae^{2\sqrt{rn}},$ a bound very close to the Hardy-Ramanujan asymptotic formula that holds in the special case of Young's lattice. We conclude by posing several open questions.
The competition hypergraphs of doubly partial orders
Published in Discrete Applied Mathematics 165 (2014) 185-191
• View Publication
• BIB
Since Cho and Kim (2005) showed that the competition graph of a doubly partial order is an interval graph, it has been actively studied whether or not the same phenomenon occurs for other variants of competition graph and interesting results have been obtained. Continuing in the same spirit, we study the competition hypergraph, an interesting variant of the competition graph, of a doubly partial order. Though it turns out that the competition hypergraph of a doubly partial order is not always interval, we completely characterize the competition hypergraphs of doubly partial orders which are interval.
Macdonald processes
Published
• View Publication
• BIB
Macdonald processes are probability measures on sequences of partitions defined in terms of nonnegative specializations of the Macdonald symmetric functions and two Macdonald parameters q,t in [0,1). We prove several results about these processes, which include the following.
(1) We explicitly evaluate expectations of a rich family of observables for these processes. (2) In the case t=0, we find a Fredholm determinant formula for a q-Laplace transform of the distribution of the last part of the Macdonald-random partition. (3) We introduce Markov dynamics that preserve the class of Macdonald processes and lead to new "integrable" 2d and 1d interacting particle systems. (4) In a large time limit transition, and as q goes to 1, the particles of these systems crystallize on a lattice, and fluctuations around the lattice converge to O'Connell's Whittaker process that describe semi-discrete Brownian directed polymers. (5) This yields a Fredholm determinant for the Laplace transform of the polymer partition function, and taking its asymptotics we prove KPZ universality for the polymer (free energy fluctuation exponent 1/3 and Tracy-Widom GUE limit law). (6) Under intermediate disorder scaling, we recover the Laplace transform of the solution of the KPZ equation with narrow wedge initial data. (7) We provide contour integral formulas for a wide array of polymer moments. (8) This results in a new ansatz for solving quantum many body systems such as the delta Bose gas.
Inverse problems for the number of maximal independent sets
We study the following inverse graph-theoretic problem: how many vertices should a graph have given that it has a specified value of some parameter. We obtain asymptotic for the minimal number of vertices of the graph with the given number $n$ of maximal independent sets for a class of natural numbers that can be represented as concatenation of periodic binary words.
An Erdős-Ko-Rado theorem for multisets
Published in Electron. J. Combin. 18 (2011), no.1, Paper 220, 8 pp
• View Publication
• BIB
Let $k$ and $m$ be positive integers. A collection of $k$-multisets from $\{1,..., m \}$ is intersecting if every pair of multisets from the collection is intersecting. We prove that for $m \geq k+1$, the size of the largest such collection is $\binom{m+k-2}{k-1}$ and that when $m > k+1$, only a collection of all the $k$-multisets containing a fixed element will attain this bound. The size and structure of the largest intersecting collection of $k$-multisets for $m \leq k$ is also given.
Constructing Self-Dual Chiral Polytopes
Published
• View Publication
• BIB
An abstract polytope is chiral if its automorphism group has two orbits on the flags, such that adjacent flags belong to distinct orbits. There are still few examples of chiral polytopes, and few constructions that can create chiral polytopes with specified properties. In this paper, we show how to build self-dual chiral polytopes using the mixing construction for polytopes.
Some Generalizations of the MacMahon Master Theorem
Published in Journal of Combinatorial Theory Series A 120 (2013) 92
• View Publication
• BIB
We consider a number of generalizations of the $β$-extended MacMahon Master Theorem for a matrix. The generalizations are based on replacing permutations on multisets formed from matrix indices by partial permutations or derangements over matrix or submatrix indices.
Aftermath
I take a quick overview at the recent development of combinatorics and its current directions, as a discipline in its own right, as part of mathematics, and as part of science and wider society.
Two-Color Babylon
Published
• View Publication
• BIB
We solve the game of Babylon when played with chips of two colors, giving a winning strategy for the second player in all previously unsolved cases.
Counting independent sets in triangle-free graphs
Published
• View Publication
• BIB
Ajtai, Komlós, and Szemerédi proved that for sufficiently large $t$ every triangle-free graph with $n$ vertices and average degree $t$ has an independent set of size at least $\frac{n}{100t}\log{t}$. We extend this by proving that the number of independent sets in such a graph is at least \[ 2^{(1/2400)\frac{n}{t}\log^2{t}}. \] This result is sharp for infinitely many $t,n$ apart from the constant. An easy consequence of our result is that there exists $c'>0$ such that every $n$-vertex triangle-free graph has at least \[ 2^{c'\sqrt n \log n} \] independent sets. We conjecture that the exponent above can be improved to $\sqrt{n}(\log{n})^{3/2}$. This would be sharp by the celebrated result of Kim which shows that the Ramsey number $R(3,k)$ has order of magnitude $k^2/\log k$.