Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Permutation codes, source coding and a generalisation of Bollobás-Lubell-Yamamoto-Meshalkin and Kraft inequalities
We develop a general framework to prove Kraft-type inequalities for prefix-free permutation codes for source coding with various notions of permutation code and prefix. We also show that the McMillan-type converse theorem in most of these cases does not hold, and give a general form of a counterexample. Our approach is more general and works for other structures besides permutation codes. The classical Kraft inequality for prefix-free codes as well as results about permutation codes follow as corollaries of our main theorem and main counterexample.
Sparse exchangeable graphs and their limits via graphon processes
Published in Journal of Machine Learning Research 18(210):1-71, 2018
• Search Publication
In a recent paper, Caron and Fox suggest a probabilistic model for sparse graphs which are exchangeable when associating each vertex with a time parameter in $\mathbb{R}_+$. Here we show that by generalizing the classical definition of graphons as functions over probability spaces to functions over $σ$-finite measure spaces, we can model a large family of exchangeable graphs, including the Caron-Fox graphs and the traditional exchangeable dense graphs as special cases. Explicitly, modelling the underlying space of features by a $σ$-finite measure space $(S,\mathcal{S},μ)$ and the connection probabilities by an integrable function $W\colon S\times S\to [0,1]$, we construct a random family $(G_t)_{t\geq 0}$ of growing graphs such that the vertices of $G_t$ are given by a Poisson point process on $S$ with intensity $tμ$, with two points $x,y$ of the point process connected with probability $W(x,y)$. We call such a random family a graphon process. We prove that a graphon process has convergent subgraph frequencies (with possibly infinite limits) and that, in the natural extension of the cut metric to our setting, the sequence converges to the generating graphon. We also show that the underlying graphon is identifiable only as an equivalence class over graphons with cut distance zero. More generally, we study metric convergence for arbitrary (not necessarily random) sequences of graphs, and show that a sequence of graphs has a convergent subsequence if and only if it has a subsequence satisfying a property we call uniform regularity of tails. Finally, we prove that every graphon is equivalent to a graphon on $\mathbb{R}_+$ equipped with Lebesgue measure.
Inducibility in binary trees and crossings in random tanglegrams
Published
• View Publication
• BIB
In analogy to other concepts of a similar nature, we define the inducibility of a rooted binary tree. Given a fixed rooted binary tree $B$ with $k$ leaves, we let $γ(B,T)$ be the proportion of all subsets of $k$ leaves in $T$ that induce a tree isomorphic to $B$. The inducibility of $B$ is $\limsup_{|T| \to \infty} γ(B,T)$. We determine the inducibility in some special cases, show that every binary tree has positive inducibility and prove that caterpillars are the only binary trees with inducibility $1$. We also formulate some open problems and conjectures on the inducibility. Finally, we present an application to crossing numbers of random tanglegrams.
Core partitions into distinct parts and an analog of Euler's theorem
Published
• View Publication
• BIB
A special case of an elegant result due to Anderson proves that the number of $(s,s+1)$-core partitions is finite and is given by the Catalan number $C_s$. Amdeberhan recently conjectured that the number of $(s,s+1)$-core partitions into distinct parts equals the Fibonacci number $F_{s+1}$. We prove this conjecture by enumerating, more generally, $(s,ds-1)$-core partitions into distinct parts. We do this by relating them to certain tuples of nested twin-free sets.
As a by-product of our results, we obtain a bijection between partitions into distinct parts and partitions into odd parts, which preserves the perimeter (that is, the largest part plus the number of parts minus $1$). This simple but curious analog of Euler's theorem appears to be missing from the literature on partitions.
Sets in Almost General Position
Erdős asked the following question: given $n$ points in the plane in almost general position (no 4 collinear), how large a set can we guarantee to find that is in general position (no 3 collinear)? Füredi constructed a set of $n$ points in almost general position with no more than $o(n)$ points in general position. Cardinal, Tóth and Wood extended this result to $\mathbb{R}^3$, finding sets of $n$ points with no 5 on a plane whose subsets with no 4 points on a plane have size $o(n)$, and asked the question for higher dimensions: for given $n$, is it still true that the largest subset in general position we can guarantee to find has size $o(n)$? We answer their question for all $d$ and derive improved bounds for certain dimensions.
Commuting Contractive Families
A family $f_1,...,f_n$ of operators on a complete metric space $X$ is called contractive if there exists a positive $λ< 1$ such that for any $x,y$ in $X$ we have $d(f_i(x),f_i(y)) \leq λd(x,y)$ for some $i$. Austin conjectured that any commuting contractive family of operators has a common fixed point, and he proved this for the case of two operators. Our aim in this paper is to show that Austin's conjecture is true for three operators, provided that $λ$ is sufficiently small.
On universal partial words
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (May 31, 2017) dmtcs:2205
• View Publication
• BIB
A universal word for a finite alphabet $A$ and some integer $n\geq 1$ is a word over $A$ such that every word in $A^n$ appears exactly once as a subword (cyclically or linearly). It is well-known and easy to prove that universal words exist for any $A$ and $n$. In this work we initiate the systematic study of universal partial words. These are words that in addition to the letters from $A$ may contain an arbitrary number of occurrences of a special `joker' symbol $\Diamond\notin A$, which can be substituted by any symbol from $A$. For example, $u=0\Diamond 011100$ is a linear partial word for the binary alphabet $A=\{0,1\}$ and for $n=3$ (e.g., the first three letters of $u$ yield the subwords $000$ and $010$). We present results on the existence and non-existence of linear and cyclic universal partial words in different situations (depending on the number of $\Diamond$s and their positions), including various explicit constructions. We also provide numerous examples of universal partial words that we found with the help of a computer.
Strata of discriminantal arrangements
Published
• View Publication
• BIB
We give an explicit description of the multiplicities of codimension two strata of discriminantal arrangements introduced by Manin and Schechtman. As applications, we discuss the connection of these results with properties of Gale transform and we calculate the fundamental groups of the complements to discriminantal arrangements.
Congruences and recursions for the cubic partition
Published
• View Publication
• BIB
Let $p_2(n)$ denote the number of cubic partitions. In this paper, we shall present two new congruences modulo $11$ for $p_2(n)$. We also provide an elementary alternative proof of a congruence established by Chan. Furthermore, we will establish a recursion for $p_2(n)$, which is a special case of a broader class of recursions.
The peak statistics on simsun permutations
Published
• View Publication
• BIB
In this paper, we study the relationship among left peaks, interior peaks and up-down runs of simsun permutations. Properties of the generating polynomials, including the recurrence relation, generating function and real-rootedness are studied. Moreover, we introduce and study simsun permutations of the second kind.
Discrete analogues of Macdonald-Mehta integrals
Published in Journal of Combinatorial Theory, Series A 144 (2016), 80-138
• View Publication
• BIB
We consider discretisations of the Macdonald--Mehta integrals from the theory of finite reflection groups. For the classical groups, $\mathrm{A}_{r-1}$, $\mathrm{B}_r$ and $\mathrm{D}_r$, we provide closed-form evaluations in those cases for which the Weyl denominators featuring in the summands have exponents $1$ and $2$. Our proofs for the exponent-$1$ cases rely on identities for classical group characters, while most of the formulas for the exponent-$2$ cases are derived from a transformation formula for elliptic hypergeometric series for the root system $\mathrm{BC}_r$. As a byproduct of our results, we obtain closed-form product formulas for the (ordinary and signed) enumeration of orthogonal and symplectic tableaux contained in a box.
Size Ramsey numbers of stars versus cliques
Published
• View Publication
• BIB
The size Ramsey number $ \hat{r}(G,H) $ of two graphs $ G $ and $ H $ is the smallest integer $ m $ such that there exists a graph $ F $ on $ m $ edges with the property that every red-blue colouring of the edges of $ F $, yields a red copy of $ G $ or a blue copy of $ H $. In $ 1981 $, Erdős observed that $\hat{r}(K_{1,k},K_{3})\leq \binom{2k+1}{2}-\binom{k}{2}$ and he conjectured that the corresponding upper bound on $ \hat{r}(K_{1,k},K_{3}) $ is sharp. In $ 1983 $, Faudree and Sheehan extended this conjecture as follows: \hat{r}(K_{1,k},K_{n})=\left \{ {lr} \binom{k(n-1)+1}{2}-\binom{k}{2} & ~k\geq n~ \text{or}~ k~ \text{odd}. \binom{k(n-1)+1}{2}-k(n-1)/2 & \text{otherwise}. \right. They proved the case $ k=2 $. In $ 2001 $, Pikhurko showed that this conjecture is not true for $ n=3 $ and $ k\geq 5 $, disproving the mentioned conjecture of Erdős. Here we prove Faudree and Sheehan's conjecture for a given $ k\geq 2 $ and $ n\geq k^{3}+2k^{2}+2k $.
Catalan triangle numbers and binomial coefficients
Published
• View Publication
• BIB
The binomial coefficients and Catalan triangle numbers appear as weight multiplicities of the finite-dimensional simple Lie algebras and affine Kac--Moody algebras. We prove that any binomial coefficient can be written as weighted sums along rows of the Catalan triangle. The coefficients in the sums form a triangular array, which we call the alternating Jacobsthal triangle. We study various subsequences of the entries of the alternating Jacobsthal triangle and show that they arise in a variety of combinatorial constructions. The generating functions of these sequences enable us to define their k-analogue of q-deformation. We show that this deformation also gives rise to interesting combinatorial sequences. The starting point of this work is certain identities in the study of Khovanov--Lauda--Rouquier algebras and fully commutative elements of a Coxeter group.
On a Hypergraph Approach to Multistage Group Testing Problems
Published
• View Publication
• BIB
Group testing is a well known search problem that consists in detecting up to $s$ defective elements of the set $[t]=\{1,\ldots,t\}$ by carrying out tests on properly chosen subsets of $[t]$. In classical group testing the goal is to find all defective elements by using the minimal possible number of tests. In this paper we consider multistage group testing. We propose a general idea how to use a hypergraph approach to searching defects. For the case $s=2$, we design an explicit construction, which makes use of $2\log_2t(1+o(1))$ tests in the worst case and consists of $4$ stages. For the general case $s>2$, we provide an explicit construction, which uses $(2s-1)\log_2t(1+o(1))$ tests and consists of $2s-1$ rounds.
On the number of commutation classes of the longest element in the symmetric group
Published in Open Problems in Mathematics 4, 2016
• Search Publication
Using the standard Coxeter presentation for the symmetric group $S_n$, two reduced expressions for the same group element are said to be commutation equivalent if we can obtain one expression from the other by applying a finite sequence of commutations. The resulting equivalence classes of reduced expressions are called commutation classes. How many commutation classes are there for the longest element in $S_n$?
Chip firing on Dynkin diagrams and McKay quivers
Published
• View Publication
• BIB
Two classes of avalanche-finite matrices and their critical groups (integer cokernels) are studied from the viewpoint of chip-firing/sandpile dynamics, namely, the Cartan matrices of finite root systems and the McKay-Cartan matrices for finite subgroups G of general linear groups. In the root system case, the recurrent and superstable configurations are identified explicitly and are related to minuscule dominant weights. In the McKay-Cartan case for finite subgroups of the special linear group, the cokernel is related to the abelianization of the subgroup G. In the special case of the classical McKay correspondence, the critical group and the abelianization are shown to be isomorphic.
An upper bound on the size of diamond-free families of sets
Let $La(n,P)$ be the maximum size of a family of subsets of $[n]=\{1,2,...,n\}$ not containing $P$ as a (weak) subposet. The diamond poset, denoted $B_{2}$, is defined on four elements $x,y,z,w$ with the relations $x<y,z$ and $y,z<w$. $La(n,P)$ has been studied for many posets; one of the major open problems is determining $La(n,B_{2})$.
Studying the average number of sets from a family of subsets of $[n]$ on a maximal chain in the Boolean lattice $2^{[n]}$ has been a fruitful method. We use a partitioning of the maximal chains and introduce an induction method to show that $La(n,B_{2})\leq(2.20711+o(1))\binom{n}{\left\lfloor \frac{n}{2}\right\rfloor }$, improving on the earlier bound of $(2.25+o(1))\binom{n}{\left\lfloor \frac{n}{2}\right\rfloor }$ by Kramer, Martin and Young.
Latent Network Features and Overlapping Community Discovery via Boolean Intersection Representations
Published
• View Publication
• BIB
We propose a new latent Boolean feature model for complex networks that captures different types of node interactions and network communities. The model is based on a new concept in graph theory, termed the Boolean intersection representation of a graph, which generalizes the notion of an intersection representation. We mostly focus on one form of Boolean intersection, termed cointersection, and describe how to use this representation to deduce node feature sets and their communities. We derive several general bounds on the minimum number of features used in cointersection representations and discuss graph families for which exact cointersection characterizations are possible. Our results also include algorithms for finding optimal and approximate cointersection representations of a graph.
Domino Tilings of the Torus
Published
• View Publication
• BIB
We consider the problem of counting and classifying domino tilings of a quadriculated torus. The counting problem for rectangles was studied by Kasteleyn and we use many of his ideas. Domino tilings of planar regions can be represented by height functions; for a torus given by a lattice L, these functions exhibit arithmetic L-quasiperiodicity. The additive constants determine the flux of the tiling, which can be interpreted as a vector in the dual lattice (2L)*. We give a characterization of the actual flux values, and of how corresponding tilings behave. We also consider domino tilings of the infinite square lattice; tilings of tori can be seen as a particular case of those. We describe the construction and usage of Kasteleyn matrices in the counting problem, and how they can be applied to count tilings with prescribed flux values. Finally, we study the limit distribution of the number of tilings with a given flux value as a uniform scaling dilates the lattice L.
On the conjecture by Demyanov-Ryabova in converting finite exhausters
Published
• View Publication
• BIB
In this paper, we prove the conjecture of Demyanov and Ryabova on the length of cycles in converting exhausters in an affinely independent setting and obtain a combinatorial reformulation of the conjecture.
Given a finite collection of polyhedra, we can obtain its "dual" collection by forming another collection of polyhedra, which are obtained as the convex hull of all support faces of all polyhedra for a given direction in space. If we keep applying this process, we will eventually cycle due to the finiteness of the problem. Demyanov and Ryabova claim that this cycle will eventually reach a length of at most two.
We prove that the conjecture is true in the special case, that is, when we have affinely independent number of vertices in the given space. We also obtain an equivalent combinatorial reformulation for the problem, which should advance insight for the future work on this problem.