Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Counting Dyck paths by area and rank
Published
• View Publication
• BIB
The set of Dyck paths of length $2n$ inherits a lattice structure from a bijection with the set of noncrossing partitions with the usual partial order. In this paper, we study the joint distribution of two statistics for Dyck paths: \emph{area} (the area under the path) and \emph{rank} (the rank in the lattice).
While area for Dyck paths has been studied, pairing it with this rank function seems new, and we get an interesting $(q,t)$-refinement of the Catalan numbers. We present two decompositions of the corresponding generating function: one refines an identity of Carlitz and Riordan; the other refines the notion of $γ$-nonnegativity, and is based on a decomposition of the lattice of noncrossing partitions due to Simion and Ullman.
Further, Biane's correspondence and a result of Stump allow us to conclude that the joint distribution of area and rank for Dyck paths equals the joint distribution of length and reflection length for the permutations lying below the $n$-cycle $(12...n)$ in the absolute order on the symmetric group.
The Asymptotic Bound of the Lubell Function for Diamond-free Families
For a family of subsets of $[n]:={1,2,...,n}$, the Lubell function is defined as $\hb_n(\F):=\sum_{F\in\F}\binom{n}{|F|}^{-1}$. In \cite{GriLiLu}, Griggs, Lu, and the author conjectured that if a family $\F$ of subset of $[n]$ does not contain four distinct sets $A$, $B$, $C$ and $D$ forming a diamond, namely $A\subset B\cap C$ and $B\cup C\subset D$, then $\hb_n(\F)\le 2+\lfloor\frac{n^2}{4}\rfloor/(n^2-n)$. Moreover, the upped bound is achieved by three types of families.
In this paper, we prove the upper bound in the conjecture is asymptotically correct. In addition, we give some results related to the problem of maximizing the Lubell function for the poset-free families.
Number of walks and degree powers in a graph
Published in Discrete Math. 309 (2009), 2613-2614
• View Publication
• BIB
This note deals with the relationship between the total number of $k$-walks in a graph, and the sum of the $k$-th powers of its vertex degrees. In particular, it is shown that the the number of all $k$-walks is upper bounded by the sum of the $k$-th powers of the degrees.
A Method for Obtaining Generating Function for Central Coefficients of Triangles
Published in Journal of Integer Sequences, Vol. 15 (2012), Article 12.9.3
• Search Publication
We present techniques for obtaining a generating function for the central coefficients of a triangle $T(n,k)$, which is given by the expression $[xH(x)]^k=\sum_{n\geqslant k} T(n,k)x^n$, $H(0)\neq 0$. We also prove certain theorems for solving direct and inverse problems.
On the multiple Borsuk numbers of sets
Published
• View Publication
• BIB
The Borsuk number of a set S of diameter d >0 in Euclidean n-space is the smallest value of m such that S can be partitioned into m sets of diameters less than d. Our aim is to generalize this notion in the following way: The k-fold Borsuk number of such a set S is the smallest value of m such that there is a k-fold cover of S with m sets of diameters less than d. In this paper we characterize the k-fold Borsuk numbers of sets in the Euclidean plane, give bounds for those of centrally symmetric sets, smooth bodies and convex bodies of constant width, and examine them for finite point sets in the Euclidean 3-space.
Permutations all of whose patterns of a given length are distinct
Published
• View Publication
• BIB
For each integer k >= 2, let F(k) denote the largest n for which there exists a permutation σ\in S_n, all of whose patterns of length k are distinct. We prove that F(k) = k + \lfloor \sqrt{2k-3} \rfloor + e_k, where e_k \in {-1,0} for every k. Suggestions for further investigations along these lines are discussed.
Formulating Szemerédi's Theorem in Terms of Ultrafilters
Van der Waerden's theorem asserts that if you color the natural numbers with, say, five different colors, then you can always find arbitrarily long sequences of numbers that have the same color and that form an arithmetic progression. Szemerédi's theorem generalizes this statement and asserts that every subset of natural numbers with positive density contains arithmetic progressions of arbitrary length.
Van der Waerden's theorem can be proven using elementary combinatorics, but it is also possible to give an interpretation and a short proof in terms of ultrafilters and the Stone-Čech compactification βN. This diploma thesis gives an interpretation of Szemerédi's theorem in terms of ultrafilters as well. In particular, van der Waerden's theorem is equivalent to the existence of a single ultrafilter with special properties and we will show that Szemerédi's theorem is equivalent to the fact that with respect to a counting measure on βN, almost all ultrafilters have these properties.
Mantel's Theorem for random graphs
Published
• View Publication
• BIB
For a graph $G$, denote by $t(G)$ (resp. $b(G)$) the maximum size of a triangle-free (resp. bipartite) subgraph of $G$. Of course $t(G) \geq b(G)$ for any $G$, and a classic result of Mantel from 1907 (the first case of Turán's Theorem) says that equality holds for complete graphs. A natural question, first considered by Babai, Simonovits and Spencer about 20 years ago is, when (i.e. for what $p=p(n)$) is the "Erdős-Rényi" random graph $G=G(n,p)$ likely to satisfy $t(G) = b(G)$? We show that this is true if $p>C n^{-1/2} \log^{1/2}n $ for a suitable constant $C$, which is best possible up to the value of $C$.
The Sorting Index and Permutation Codes
Published
• View Publication
• BIB
In the combinatorial study of the coefficients of a bivariate polynomial that generalizes both the length and the reflection length generating functions for finite Coxeter groups, Petersen introduced a new Mahonian statistic $sor$, called the sorting index. Petersen proved that the pairs of statistics $(sor,cyc)$ and $(inv,rl\textrm{-}min)$ have the same joint distribution over the symmetric group, and asked for a combinatorial proof of this fact. In answer to the question of Petersen, we observe a connection between the sorting index and the B-code of a permutation defined by Foata and Han, and we show that the bijection of Foata and Han serves the purpose of mapping $(inv,rl\textrm{-}min)$ to $(sor,cyc)$. We also give a type $B$ analogue of the Foata-Han bijection, and we derive the quidistribution of $(inv_B,{\rm Lmap_B},{\rm Rmil_B})$ and $(sor_B,{\rm Lmap_B},{\rm Cyc_B})$ over signed permutations. So we get a combinatorial interpretation of Petersen's equidistribution of $(inv_B,nmin_B)$ and $(sor_B,l_B')$. Moreover, we show that the six pairs of set-valued statistics $\rm (Cyc_B,Rmil_B)$, $\rm(Cyc_B,Lmap_B)$, $\rm(Rmil_B,Lmap_B)$, $\rm(Lmap_B,Rmil_B)$, $\rm(Lmap_B,Cyc_B)$ and $\rm(Rmil_B,Cyc_B)$ are equidistributed over signed permutations. For Coxeter groups of type $D$, Petersen showed that the two statistics $inv_D$ and $sor_D$ are equidistributed. We introduce two statistics $nmin_D$ and $\tilde{l}_D'$ for elements of $D_n$ and we prove that the two pairs of statistics $(inv_D,nmin_D)$ and $(sor_D,\tilde{l}_D')$ are equidistributed.
Polytope numbers and their properties
Polytope numbers for a polytope are a sequence of nonnegative integers that are defined by the facial information of a polytope. Every polygon is triangulable and a higher dimensional analogue of this fact states that every polytope is triangulable, namely, every polytope can be decomposed into simplexes. Thus it may be possible to represent polytope numbers by sums of simplex numbers. We analyzes a special type of triangulation, called pointed triangulation, and develops several methods to represent polytope numbers by sums of simplex numbers.
Simultaneous Embeddings with Vertices Mapping to Pre-Specified Points
Published
• View Publication
• BIB
We discuss the problem of embedding graphs in the plane with restrictions on the vertex mapping. In particular, we introduce a technique for drawing planar graphs with a fixed vertex mapping that bounds the number of times edges bend. An immediate consequence of this technique is that any planar graph can be drawn with a fixed vertex mapping so that edges map to piecewise linear curves with at most $3n + O(1)$ bends each. By considering uniformly random planar graphs, we show that $2n + O(1)$ bends per edge is sufficient on average.
To further utilize our technique, we consider simultaneous embeddings of $k$ uniformly random planar graphs with vertices mapping to a fixed, common point set. We explain how to achieve such a drawing so that edges map to piecewise linear curves with $O(n^{1-1/k})$ bends each, which holds with overwhelming probability. This result improves upon the previously best known result of O(n) bends per edge for the case where $k \geq 2$. Moreover, we give a lower bound on the number of bends that matches our upper bound, proving our results are optimal.
Mutually unbiased bases as submodules and subspaces
Published
• View Publication
• BIB
Mutually unbiased bases (MUBs) have been used in several cryptographic and communications applications. There has been much speculation regarding connections between MUBs and finite geometries. Most of which has focused on a connection with projective and affine planes. We propose a connection with higher dimensional projective geometries and projective Hjelmslev geometries. We show that this proposed geometric structure is present in several constructions of MUBs.
Enumerations of finite topologies associated with a finite graph
Published in KYUNGPOOK Math. J. 54(2014), 655-665
• View Publication
• BIB
The number of topologies and non-homeomorphic topologies on a fixed finite set are now known up to $n=18$, $n=16$ but still no complete formula yet (Sloane). There are one to one correspondence among topologies, preorder and digraphs. In this article, we enumerate topologies and non-homeomorphic topologies whose underlying graph is a given finite graph.
Counting trees using symmetries
Published
• View Publication
• BIB
We prove a new formula for the generating function of multitype Cayley trees counted according to their degree distribution. Using this formula we recover and extend several enumerative results about trees. In particular, we extend some results by Knuth and by Bousquet-Mélou and Chapuy about embedded trees. We also give a new proof of the multivariate Lagrange inversion formula. Our strategy for counting trees is to exploit symmetries of refined enumeration formulas: proving these symmetries is easy, and once the symmetries are proved the formulas follow effortlessly. We also adapt this strategy to recover an enumeration formula of Goulden and Jackson for cacti counted according to their degree distribution.
Recurrence of planar graph limits
Published
• View Publication
• BIB
We prove that any distributional limit of finite planar graphs in which the degree of the root has an exponential tail is almost surely recurrent. As a corollary, we obtain that the uniform infinite planar triangulation and quadrangulation (UIPT and UIPQ) are almost surely recurrent, resolving a conjecture of Angel, Benjamini and Schramm.
We also settle another related problem of Benjamini and Schramm. We show that in any bounded degree, finite planar graph the probability that the simple random walk started at a uniform random vertex avoids its initial location for T steps is at most C/log T.
A note on the voting problem
Published in Stochastica XIII-1 (1992), 155-158
• Search Publication
Let $v(n)$ be the minimum number of voters with transitive preferences which are needed to generate any strong preference pattern (ties not allowed) on $n$ candidates. Let $k=\lfloor \log_2 n\rfloor$. We show that $v(n)\le n-k$ if $n$ and $k$ have different parity, and $v(n)\le n-k+1$ otherwise.
Sumset and Inverse Sumset Inequalities for Differential Entropy and Mutual Information
Published in IEEE Transactions on Information Theory, vol. 60, no. 8, pp. 4503-4514, August 2014
• View Publication
• BIB
The sumset and inverse sumset theories of Freiman, Plünnecke and Ruzsa, give bounds connecting the cardinality of the sumset $A+B=\{a+b\;;\;a\in A,\,b\in B\}$ of two discrete sets $A,B$, to the cardinalities (or the finer structure) of the original sets $A,B$. For example, the sum-difference bound of Ruzsa states that, $|A+B|\,|A|\,|B|\leq|A-B|^3$, where the difference set $A-B= \{a-b\;;\;a\in A,\,b\in B\}$. Interpreting the differential entropy $h(X)$ of a continuous random variable $X$ as (the logarithm of) the size of the effective support of $X$, the main contribution of this paper is a series of natural information-theoretic analogs for these results. For example, the Ruzsa sum-difference bound becomes the new inequality, $h(X+Y)+h(X)+h(Y)\leq 3h(X-Y)$, for any pair of independent continuous random variables $X$ and $Y$. Our results include differential-entropy versions of Ruzsa's triangle inequality, the Plünnecke-Ruzsa inequality, and the Balog-Szemerédi-Gowers lemma. Also we give a differential entropy version of the Freiman-Green-Ruzsa inverse-sumset theorem, which can be seen as a quantitative converse to the entropy power inequality. Versions of most of these results for the discrete entropy $H(X)$ were recently proved by Tao, relying heavily on a strong, functional form of the submodularity property of $H(X)$. Since differential entropy is {\em not} functionally submodular, in the continuous case many of the corresponding discrete proofs fail, in many cases requiring substantially new proof strategies. We find that the basic property that naturally replaces the discrete functional submodularity, is the data processing property of mutual information.
Eigenvalue interlacing and weight parameters of graphs
Published in Linear Algebra Appl. 290 (1999), no. 1-3, 275-301
• View Publication
• BIB
Eigenvalue interlacing is a versatile technique for deriving results in algebraic combinatorics. In particular, it has been successfully used for proving a number of results about the relation between the (adjacency matrix or Laplacian) spectrum of a graph and some of its properties. For instance, some characterizations of regular partitions, and bounds for some parameters, such as the independence and chromatic numbers, the diameter, the bandwidth, etc., have been obtained. For each parameter of a graph involving the cardinality of some vertex sets, we can define its corresponding weight parameter by giving some "weights" (that is, the entries of the positive eigenvector) to the vertices and replacing cardinalities by square norms. The key point is that such weights "regularize" the graph, and hence allow us to define a kind of regular partition, called "pseudo-regular," intended for general graphs. Here we show how to use interlacing for proving results about some weight parameters and pseudo-regular partitions of a graph. For instance, generalizing a well-known result of Lovász, it is shown that the weight Shannon capacity $Θ^*$ of a connected graph $\G$, with $n$ vertices and (adjacency matrix) eigenvalues $λ_1>λ_2\ge\...\ge λ_n$, satisfies $$ Θ\le Θ^* \le \frac{\|\vecnu\|^2}{1-\frac{λ_1}{λ_n}} $$ where $Θ$ is the (standard) Shannon capacity and $\vecnu$ is the positive eigenvector normalized to have smallest entry 1. In the special case of regular graphs, the results obtained have some interesting corollaries, such as an upper bound for some of the multiplicities of the eigenvalues of a distance-regular graph. Finally, some results involving the Laplacian spectrum are derived. spectrum are derived.
Automated Word Puzzle Generation via Topic Dictionaries
Published in International Conference on Machine Learning (ICML-2012) - Sparsity, Dictionaries and Projections in Machine Learning and Signal Processing Workshop, Edinburgh, Scotland, 30 June 2012
• Search Publication
We propose a general method for automated word puzzle generation. Contrary to previous approaches in this novel field, the presented method does not rely on highly structured datasets obtained with serious human annotation effort: it only needs an unstructured and unannotated corpus (i.e., document collection) as input. The method builds upon two additional pillars: (i) a topic model, which induces a topic dictionary from the input corpus (examples include e.g., latent semantic analysis, group-structured dictionaries or latent Dirichlet allocation), and (ii) a semantic similarity measure of word pairs. Our method can (i) generate automatically a large number of proper word puzzles of different types, including the odd one out, choose the related word and separate the topics puzzle. (ii) It can easily create domain-specific puzzles by replacing the corpus component. (iii) It is also capable of automatically generating puzzles with parameterizable levels of difficulty suitable for, e.g., beginners or intermediate learners.
When Does a Mixture of Products Contain a Product of Mixtures?
We derive relations between theoretical properties of restricted Boltzmann machines (RBMs), popular machine learning models which form the building blocks of deep learning models, and several natural notions from discrete mathematics and convex geometry. We give implications and equivalences relating RBM-representable probability distributions, perfectly reconstructible inputs, Hamming modes, zonotopes and zonosets, point configurations in hyperplane arrangements, linear threshold codes, and multi-covering numbers of hypercubes. As a motivating application, we prove results on the relative representational power of mixtures of product distributions and products of mixtures of pairs of product distributions (RBMs) that formally justify widely held intuitions about distributed representations. In particular, we show that a mixture of products requiring an exponentially larger number of parameters is needed to represent the probability distributions which can be obtained as products of mixtures.