natural ↗ reference
4894 papers tagged with this keyword
On the set of uniquely decodable codes with a given sequence of code word lengths
Published in Discrete Mathematics 340 (2017), pp. 51-57
• View Publication
• BIB
For every natural number $n\geq 2$ and every finite sequence $L$ of natural numbers, we consider the set $UD_n(L)$ of all uniquely decodable codes over an $n$-letter alphabet with the sequence $L$ as the sequence of code word lengths, as well as its subsets $PR_n(L)$ and $FD_n(L)$ consisting of, respectively, the prefix codes and the codes with finite delay. We derive the estimation for the quotient $|UD_n(L)|/|PR_n(L)|$, which allows to characterize those sequences $L$ for which the equality $PR_n(L)=UD_n(L)$ holds. We also characterize those sequences $L$ for which the equality $FD_n(L)=UD_n(L)$ holds.
Fan realizations for some 2-associahedra
Published
• View Publication
• BIB
A~$k$-associahedron is a simplicial complex whose facets, called~$k$-triangulations, are the inclusion maximal sets of diagonals of a convex polygon where no~$k+1$ diagonals mutually cross. Such complexes are conjectured for about a decade to have realizations as convex polytopes, and therefore as complete simplicial fans. Apart from four one-parameter families including simplices, cyclic polytopes and classical associahedra, only two instances of multiassociahedra have been geometrically realized so far. This paper reports on conjectural realizations for all~$2$-associahedra, obtained by heuristic methods arising from natural geometric intuition on subword complexes. Experiments certify that we obtain fan realizations of~$2$-associahedra of an~$n$-gon for~$n\in\{10,11,12,13\}$, further ones being out of our computational reach.
Prolific permutations and permuted packings: downsets containing many large patterns
Published in J. Combin. Theory A., 153:98-121, 2018
• View Publication
• BIB
A permutation of n letters is k-prolific if each (n-k)-subset of the letters in its one-line notation forms a unique pattern. We present a complete characterization of k-prolific permutations for each k, proving that k-prolific permutations of m letters exist for every m \ge k^2/2+2k+1, and that none exist of smaller size. Key to these results is a natural bijection between k-prolific permutations and certain "permuted" packings of diamonds.
Representing convex geometries by almost-circles
Finite convex geometries are combinatorial structures. It follows from a recent result of M.\ Richter and L.G.\ Rogers that there is an infinite set $T_{rr}$ of planar convex polygons such that $T_{rr}$ with respect to geometric convex hulls is a locally convex geometry and every finite convex geometry can be represented by restricting the structure of $T_{rr}$ to a finite subset in a natural way. An \emph{almost-circle of accuracy} $1-ε$ is a differentiable convex simple closed curve $S$ in the plane having an inscribed circle of radius $r_1>0$ and a circumscribed circle of radius $r_2$ such that the ratio $r_1/r_2$ is at least $1-ε$. %
Motivated by Richter and Rogers' result, we construct a set $T_{new}$ such that (1) $T_{new}$ contains all points of the plane as degenerate singleton circles and all of its non-singleton members are differentiable convex simple closed planar curves; (2) $T_{new}$ with respect to the geometric convex hull operator is a locally convex geometry; (3) as opposed to $T_{rr}$, $T_{new}$ is closed with respect to non-degenerate affine transformations; and (4) for every (small) positive $ε\in\real $ and for every finite convex geometry, there are continuum many pairwise affine-disjoint finite subsets $E$ of $T_{new}$ such that each $E$ consists of almost-circles of accuracy $1-ε$ and the convex geometry in question is represented by restricting the convex hull operator to $E$. The affine-disjointness of $E_1$ and $E_2$ means that, in addition to $E_1\cap E_2=\emptyset$, even $ψ(E_1)$ is disjoint from $E_2$ for every non-degenerate affine transformation $ψ$.
Biased Graphs. VI. Synthetic Geometry
Published in European J. Combinatorics, 81 (2019), 119-141
• Search Publication
A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called balanced, such that no theta subgraph contains exactly two balanced circles. A biased graph $Ω$ has two natural matroids, the frame matroid $G(Ω)$, and the lift matroid $L(Ω)$, and their extensions the full frame matroid $G^{{}^{{}_{{}_\bullet}}\!}(Ω)$ and the extended (or complete) lift matroid $L_0(Ω)$. In Part IV we used algebra to study the representations of these matroids by vectors over a skew field and the corresponding embeddings in Desarguesian projective spaces. Here we redevelop those representations, independently of Part IV and in greater generality, by using synthetic geometry.
On Primes, Graphs and Cohomology
The counting function on the natural numbers defines a discrete Morse-Smale complex with a cohomology for which topological quantities like Morse indices, Betti numbers or counting functions for critical points of Morse index are explicitly given in number theoretical terms. The Euler characteristic of the Morse filtration is related to the Mertens function, the Poincaré-Hopf indices at critical points correspond to the values of the Moebius function. The Morse inequalities link number theoretical quantities like the prime counting functions relevant for the distribution of primes with cohomological properties of the graphs. The just given picture is a special case of a discrete Morse cohomology equivalent to simplicial cohomology. The special example considered here is a case where the graph is the Barycentric refinement of a finite simple graph.
A note on Beckett-Gray codes and the relationship of Gray codes to data structures
Published
• View Publication
• BIB
In this paper we introduce a natural mathematical structure derived from Samuel Beckett's play "Quad". We call this structure a binary Beckett-Gray code. We enumerate all codes for $n \leq 6$ and give examples for $n=7,8$. Beckett-Gray codes can be realized as successive states of a queue data structure. We show that the binary reflected Gray code can be realized as successive states of two stack data structures.
Simplicial Complexes are Game Complexes
Published
• View Publication
• BIB
Strong placement games (SP-games) are a class of combinatorial games whose structure allows one to describe the game via simplicial complexes. A natural question is whether well-known invariants of combinatorial games, such as "game value", appear as invariants of the simplicial complexes. This paper is the first step in that direction. We show that every simplicial complex encodes a certain type of SP-game (called an "invariant SP-game") whose ruleset is independent of the board it is played on. We also show that in the class of SP-games isomorphic simplicial complexes correspond to isomorphic game trees, and hence equal game values. We also study a subclass of SP-games corresponding to flag complexes, showing that there is always a game whose corresponding complex is a flag complex no matter which board it is played on.
Bounded Diameter Arboricity
Published
• View Publication
• BIB
We introduce the notion of \emph{bounded diameter arboricity}. Specifically, the \emph{diameter-$d$ arboricity} of a graph is the minimum number $k$ such that the edges of the graph can be partitioned into $k$ forests each of whose components has diameter at most $d$. A class of graphs has bounded diameter arboricity $k$ if there exists a natural number $d$ such that every graph in the class has diameter-$d$ arboricity at most $k$. We conjecture that the class of graphs with arboricity at most $k$ has bounded diameter arboricity at most $k+1$. We prove this conjecture for $k\in \{2,3\}$ by proving the stronger assertion that the union of a forest and a star forest can be partitioned into two forests of diameter at most 18. We use these results to characterize the bounded diameter arboricity for planar graphs of girth at least $g$ for all $g\ne 5$. As an application we show that every 6-edge-connected planar (multi)graph contains two edge-disjoint $\frac{18}{19}$-thin spanning trees.
Affine-compact functors
Published
• View Publication
• BIB
Several well known polytopal constuctions are examined from the functorial point of view. A naive analogy between the Billera-Sturmfels fiber polytope and the abelian kernel is disproved by an infinite explicit series of polytopes. A correct functorial formula is provided in terms of the affine-compact kernel. The dual cokernel object is almost always the natural affine projection. The Mond-Smith-van Straten space of sandwiched simplices, useful in stochastic factorizations, leads to a different kind of affine-compact functors and new challenges in polytope theory.
1-color-avoiding paths, special tournaments, and incidence geometry
We discuss two approaches to a recent question of Loh: must a 3-colored transitive tournament on $N$ vertices have a 1-color-\emph{avoiding} path of vertex-length at least $N^{2/3}$? This question generalizes the Erdős--Szekeres theorem on monotone subsequences.
First, we define three canonical transformations on these tournaments called Color, Record, and Dual. We use these to establish a reduction to special tournaments with natural geometric and combinatorial properties. In many cases (including all known tight examples), these tournaments have recursive Gallai decompositions. Not all relevant tournaments have Gallai decompositions, but those that do satisfy the desired $N^{2/3}$ bound by recent work of Wagner, roughly analogous to earlier work of Fox, Grinshpun, and Pach on a similar \emph{undirected} problem.
Second, we consider the related geometric problem of bounding \emph{slice-increasing} sets $S\subseteq [n]^3$, which---under an additional ordering hypothesis on $S$---was shown by Loh to be equivalent to the original question. In particular, we establish a rigorous connection from a problem of Szabó and Tardos, raise a stronger $L^2$-question on slice-counts, and mention a surprising overlap with the joints problem.
On $q$-Quasiadditive and $q$-Quasimultiplicative Functions
Published
• View Publication
• BIB
In this paper, we introduce the notion of $q$-quasiadditivity of arithmetic functions, as well as the related concept of $q$-quasimultiplicativity, which generalise strong $q$-additivity and -multiplicativity, respectively. We show that there are many natural examples for these concepts, which are characterised by functional equations of the form $f(q^{k+r}a + b) = f(a) + f(b)$ or $f(q^{k+r}a + b) = f(a) f(b)$ for all $b < q^k$ and a fixed parameter $r$. In addition to some elementary properties of $q$-quasiadditive and $q$-quasimultiplicative functions, we prove characterisations of $q$-quasiadditivity and $q$-quasimultiplicativity for the special class of $q$-regular functions. The final main result provides a general central limit theorem that includes both classical and new examples as corollaries.
Veronesean almost binomial almost complete intersections
The second Veronese ideal $I_n$ contains a natural complete intersection $J_n$ generated by the principal $2$-minors of a symmetric $(n\times n)$-matrix. We determine subintersections of the primary decomposition of $J_n$ where one intersectand is omitted. If $I_n$ is omitted, the result is the other end of a complete intersection link as in liaison theory. These subintersections also yield interesting insights into binomial ideals and multigraded algebra. For example, if $n$ is even, $I_n$ is a Gorenstein ideal and the intersection of the remaining primary components of $J_n$ equals $J_n+\langle f \rangle$ for an explicit polynomial $f$ constructed from the fibers of the Veronese grading map.
Eta-diagonal distributions and infinite divisibility for R-diagonals
Published in Annales de l'Institut Henri Poincare, Probabilites et Statistiques 54 (2018), 907-937
• View Publication
• BIB
The class of R-diagonal *-distributions is fairly well understood in free probability. In this class, we consider the concept of infinite divisibility with respect to the operation $\boxplus$ of free additive convolution. We exploit the relation between free probability and the parallel (and simpler) world of Boolean probability. It is natural to introduce the concept of an eta-diagonal distribution that is the Boolean counterpart of an R-diagonal distribution. We establish a number of properties of eta-diagonal distributions, then we examine the canonical bijection relating eta-diagonal distributions to infinitely divisible R-diagonal ones. The overall result is a parametrization of an arbitrary $\boxplus$-infinitely divisible R-diagonal distribution that can arise in a C*-probability space, by a pair of compactly supported Borel probability measures on $[ 0, \infty )$. Among the applications of this parametrization, we prove that the set of $\boxplus$-infinitely divisible R-diagonal distributions is closed under the operation $\boxtimes$ of free multiplicative convolution.
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints
Published
• View Publication
• BIB
We propose two strategies for Presenter in the on-line interval graph coloring games. Specifically, we consider a setting in which each interval is associated with a $d$-dimensional vector of weights and the coloring needs to satisfy the $d$-dimensional bandwidth constraint, and the $k$-cardinality constraint. Such a variant was first introduced by Epstein and Levy and it is a natural model for resource-aware task scheduling with $d$ different shared resources where at most $k$ tasks can be scheduled simultaneously on a single machine.
The first strategy forces any on-line interval coloring algorithm to use at least $(5m-3)\frac{d}{\log d + 3}$ different colors on an $m(\frac{d}{k} + \log{d} + 3)$-colorable set of intervals. The second strategy forces any on-line interval coloring algorithm to use at least $\lfloor\frac{5m}{2}\rfloor\frac{d}{\log d + 3}$ different colors on an $m(\frac{d}{k} + \log{d} + 3)$-colorable set of unit intervals.
The generalized 3-(edge) connectivity of total graphs
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$, introduced by Hager in 1985, is a natural generalization of the concept of connectivity $κ(G)$, which is just for $k=2$. Total graph is generalized line graph and a large graph which obtained by incidence relation between vertices and edges of original graph. T. Hamada and T. Nonaka et al., in \cite{Hamada} determined the connectivity of the total graph $T(G)$ for a graph $G$. In this paper we determine the generalized $k$-(edge)-connectivity of total graph $T(G)$ for $k=3$.
A conjectured bound on the spanning tree number of bipartite graphs
The Ferrers bound conjecture is a natural graph-theoretic extension of the enumeration of spanning trees for Ferrers graphs. We document the current status of the conjecture and provide a further conjecture which implies it.
Enumerations, Forbidden Subgraph Characterizations, and the Split-Decomposition
Published
• View Publication
• BIB
Forbidden characterizations may sometimes be the most natural way to describe families of graphs, and yet these characterizations are usually very hard to exploit for enumerative purposes.
By building on the work of Gioan and Paul (2012) and Chauve et al. (2014), we show a methodology by which we constrain a split-decomposition tree to avoid certain patterns, thereby avoiding the corresponding induced subgraphs in the original graph.
We thus provide the grammars and full enumeration for a wide set of graph classes: ptolemaic, block, and variants of cactus graphs (2,3-cacti, 3-cacti and 4-cacti). In certain cases, no enumeration was known (ptolemaic, 4-cacti); in other cases, although the enumerations were known, an abundant potential is unlocked by the grammars we provide (in terms of asymptotic analysis, random generation, and parameter analyses, etc.).
We believe this methodology here shows its potential; the natural next step to develop its reach would be to study split-decomposition trees which contain certain prime nodes. This will be the object of future work.
Almost all trees are almost graceful
Published in Random Structures and Algorithms Volume 56 (4), 2020, pages 948-987
• View Publication
• BIB
The Graceful Tree Conjecture of Rosa from 1967 asserts that the vertices of each tree T of order n can be injectively labelled by using the numbers {1,2,...,n} in such a way that the absolute differences induced on the edges are pairwise distinct.
We prove the following relaxation of the conjecture for each c>0 and for all n>n_0(c). Suppose that (i) the maximum degree of T is bounded by O(n/log n), and (ii) the vertex labels are chosen from the set {1,2,..., (1+c)n}. Then there is an injective labelling of V(T) such that the absolute differences on the edges are pairwise distinct. In particular, asymptotically almost all trees on n vertices admit such a labelling.
As a consequence, for any such tree T we can pack (2+2c)n-1 copies of T into the complete graph of order (2+2c)n-1 cyclically. This proves an approximate version of the Ringel-Kotzig conjecture (which asserts the existence of a cyclic packing of 2n-1 copies of any T into the complete graph of order 2n-1) for these trees.
The proof proceeds by showing that a certain very natural randomized algorithm produces a desired labelling with high probability.
Detecting the Integer Decomposition Property and Ehrhart Unimodality in Reflexive Simplices
Published
• View Publication
• BIB
A long-standing open conjecture in combinatorics asserts that a Gorenstein lattice polytope with the integer decomposition property (IDP) has a unimodal (Ehrhart) $h^\ast$-polynomial. This conjecture can be viewed as a strengthening of a previously disproved conjecture which stated that any Gorenstein lattice polytope has a unimodal $h^\ast$-polynomial. The first counterexamples to unimodality for Gorenstein lattice polytopes were given in even dimensions greater than five by Musta{ţ}{ǎ} and Payne, and this was extended to all dimensions greater than five by Payne. While there exist numerous examples in support of the conjecture that IDP reflexives are $h^\ast$-unimodal, its validity has not yet been considered for families of reflexive lattice simplices that closely generalize Payne's counterexamples. The main purpose of this work is to prove that the former conjecture does indeed hold for a natural generalization of Payne's examples. The second purpose of this work is to extend this investigation to a broader class of lattice simplices, for which we present new results and open problems.