Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Garside combinatorics for Thompson's monoid $F^+$ and a hybrid with the braid monoid $B\_\infty^+$
Published
• View Publication
• BIB
On the model of simple braids, defined to be the left divisors of Garside's elements $Δ\_n$ in the monoid $B\_\infty^+$ , we investigate simple elements in Thompson's monoid $F^+$ and in a larger monoid $H^+$ that is a hybrid of $B\_\infty^+$ and $F^+$ : in both cases, we count how many simple elements left divide the right lcm of the first n -- 1 atoms, and characterize their normal forms in terms of forbidden factors. In the case of $H^+$, a generalized Pascal triangle appears.
A limit theorem for the six-length of random functional graphs with a fixed degree sequence
Published
• View Publication
• BIB
We obtain results on the limiting distribution of the six-length of a random functional graph, also called a functional digraph or random mapping, with given in-degree sequence. The six-length of a vertex $v\in V$ is defined from the associated mapping, $f:V\to V$, to be the maximum $i\in V$ such that the elements $v, f(v), \ldots, f^{i-1}(v)$ are all distinct. This has relevance to the study of algorithms for integer factorisation.
Bialgebra Coverings and Transfer of Structure
Published
• View Publication
• BIB
We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we study properties of this bicategory and various sub-bicategories, and describe some universal constructions. Finally, we generalize Nichols' result on bialgebra quotients of Hopf algebra, which gives conditions on when the resulting bialgebra quotient is a Hopf algebra.
On kissing numbers and spherical codes in high dimensions
Published
• View Publication
• BIB
We prove a lower bound of $Ω(d^{3/2} \cdot (2/\sqrt{3})^d)$ on the kissing number in dimension $d$. This improves the classical lower bound of Chabauty, Shannon, and Wyner by a linear factor in the dimension. We obtain a similar linear factor improvement to the best known lower bound on the maximal size of a spherical code of acute angle $θ$ in high dimensions.
In absence of long chordless cycles, large tree-width becomes a local phenomenon
We prove that, for all $\ell$ and $s$, every graph of sufficiently large tree-width contains either a complete bipartite graph $K_{s,s}$ or a chordless cycle of length greater than $\ell$.
Lozenge tilings of hexagons with central holes and dents
Published
• View Publication
• BIB
Ciucu showed that the number of lozenge tilings of a hexagon in which a chain of equilateral triangles of alternating orientations, called a `\emph{fern}', has been removed in the center is given by a simple product formula (Adv. Math. 2017). In this paper, we present a multi-parameter generalization of this work by giving an explicit tiling enumeration for a hexagon with three ferns removed, besides the middle fern located in the center as in Ciucu's region, we remove two additional ferns from two sides of the hexagon. Our result also implies a counterpart of MacMahon's classical formula of boxed plane partitions, corresponding the \emph{exterior} of the union of three disjoint concave polygons obtained by turning 120 degrees after drawing each side.
The size of the giant component in random hypergraphs: a short proof
Published
• View Publication
• BIB
We consider connected components in $k$-uniform hypergraphs for the following notion of connectedness: given integers $k\ge 2$ and $1\le j \le k-1$, two $j$-sets (of vertices) lie in the same $j$-component if there is a sequence of edges from one to the other such that consecutive edges intersect in at least $j$ vertices.
We prove that certain collections of $j$-sets constructed during a breadth-first search process on $j$-components in a random $k$-uniform hypergraph are reasonably regularly distributed with high probability. We use this property to provide a short proof of the asymptotic size of the giant $j$-component shortly after it appears.
Good Distance Lattices from High Dimensional Expanders
We show a new framework for constructing good distance lattices from high dimensional expanders. For error-correcting codes, which have a similar flavor as lattices, there is a known framework that yields good codes from expanders. However, prior to our work, there has been no framework that yields good distance lattices directly from expanders. Interestingly, we need the notion of high dimensional expansion (and not only one dimensional expansion) for obtaining large distance lattices which are dense.
Our construction is obtained by proving the existence of bounded degree high dimensional cosystolic expanders over any ring, and in particular over $\mathbb{Z}$. Previous bounded degree cosystolic expanders were known only over $\mathbb{F}_2$. The proof of the cosystolic expansion over any ring is composed of two main steps, each of an independent interest: We show that coboundary expansion over any ring of the links of a bounded degree complex implies that the complex is a cosystolic expander over any ring. We then prove that all the links of Ramanujan complexes (which are called spherical buildings) are coboundary expanders over any ring.
We follow the strategy of [LMM16] for proving that the spherical building is a coboundary expander over any ring. Besides of generalizing their proof from $\mathbb{F}_2$ to any ring, we present it in a detailed way, which might serve readers with less background who wish to get into the field.
Graph extensions, edit number and regular graphs
Published
• View Publication
• BIB
A graph G on n vertices is said to be extendable if G can be modified to form a new graph H on more than n vertices, while preserving the degrees of the vertices common to G and H. The added vertices all have the same degree and we define edit numbers to quantify the amount of modification needed to obtain the extended graph. Characterizing graphs with least possible edit numbers, we obtain that graphs with zero edit number can be extended using regular graphs. We also describe an iterative algorithm to construct connected regular graphs on arbitrarily large vertex sets, starting from the complete graph on a fixed set of vertices.
Depth and regularity of monomial ideals via polarization and combinatorial optimization
Published in Acta Math. Vietnam. 44 (2019), no. 1, 243--268
• View Publication
• BIB
In this paper we use polarization to study the behavior of the depth and regularity of a monomial ideal $I$, locally at a variable $x_i$, when we lower the degree of all the highest powers of the variable $x_i$ occurring in the minimal generating set of $I$, and examine the depth and regularity of powers of edge ideals of clutters using combinatorial optimization techniques. If $I$ is the edge ideal of an unmixed clutter with the max-flow min-cut property, we show that the powers of $I$ have non-increasing depth and non-decreasing regularity. In particular edge ideals of unmixed bipartite graphs have non-decreasing regularity. We are able to show that the symbolic powers of the ideal of covers of the clique clutter of a strongly perfect graph have non-increasing depth. A similar result holds for the ideal of covers of a uniform ideal clutter.
Formal Intercept of Sturmian words
We give a combinatorial definition of the second parameter describing Sturmian words, that we call formal intercept, as an infinite Ostrowski expansion. We recall the well-known properties of Sturmian words, study factors graphs and repetition function, and end with the definition of formal intercepts.
Equality case in van der Corput's inequality and collisions in multiple lattice tilings
Published
• View Publication
• BIB
Van der Corput's provides the sharp bound vol(C) \le m 2^d on the volume of a d-dimensional origin-symmetric convex body C that has 2m-1 points of the integer lattice in its interior. For m=1, a characterization of the equality case vol(C)= m 2^d is equivalent to the well-known problem of characterizing tilings by translations of a convex body. It is rather surprising that so far, for m \ge 2, no characterization of the equality case has been available, though a hint to the respective characterization problem can be found in the 1987 monograph of Gruber and Lekkerkerker. We give an explicit characterization of the equality case for all m \ge 2. Our result reveals that, the equality case for m \ge 2 is more restrictive than for $m=1$. We also present consequences of our characterization in the context of multiple lattice tilings.
Induced and Weak Induced Arboricities
Published
• View Publication
• BIB
We define the induced arboricity of a graph $G$, denoted by ${\rm ia}(G)$, as the smallest $k$ such that the edges of $G$ can be covered with $k$ induced forests in $G$. This notion generalizes the classical notions of the arboricity and strong chromatic index.
For a class $\mathcal{F}$ of graphs and a graph parameter $p$, let $p(\mathcal{F}) = \sup\{p(G) \mid G\in \mathcal{F}\}$. We show that ${\rm ia}(\mathcal{F})$ is bounded from above by an absolute constant depending only on $\mathcal{F}$, that is ${\rm ia}(\mathcal{F})\neq\infty$ if and only if $χ(\mathcal{F} \nabla \frac{1}{2}) \neq\infty$, where $\mathcal{F} \nabla \frac{1}{2}$ is the class of $\frac{1}{2}$-shallow minors of graphs from $\mathcal{F}$ and $χ$ is the chromatic number.
Further, we give bounds on ${\rm ia}(\mathcal{F})$ when $\mathcal{F}$ is the class of planar graphs, the class of $d$-degenerate graphs, or the class of graphs having tree-width at most $d$. Specifically, we show that if $\mathcal{F}$ is the class of planar graphs, then $8 \leq {\rm ia}(\mathcal{F}) \leq 10$.
In addition, we establish similar results for so-called weak induced arboricities and star arboricities of classes of graphs.
A Joint Central Limit Theorem for the Sum-of-Digits Function, and Asymptotic Divisibility of Catalan-like Sequences
Published in Proc. Amer. Math. Soc. 147 (2019), 4123-4133
• View Publication
• BIB
We prove a central limit theorem for the joint distribution of $s_q(A_jn)$, $1\le j \le d$, where $s_q$ denotes the sum-of-digits function in base~$q$ and the $A_j$'s are positive integers relatively prime to $q$. We do this in fact within the framework of quasi-additive functions. As application, we show that most elements of "Catalan-like" sequences - by which we mean integer sequences defined by products/quotients of factorials - are divisible by any given positive integer.
Some Relations on Paratopisms and An Intuitive Interpretation on the Parastrophes of a Latin Square
This paper will present some intuitive interpretation of the parastrophe transformations of arbitrary Latin square. With this trick, we can generate the parastrophes of arbitrary Latin square directly from the original one without generating the orthogonal array. The relations of isotopisms and parastrophe transformations in composition will also be shown. It will solve the problem that when F1*I1=I2*F2 how can we obtain I2 and F2 from I1 and F1, where I1 and I2 are isotopisms while F1 and F2 are parastrophe transformations and "{*}" is the composition of transformations. These methods could distinctly simplify the computation on a computer for the issues related to main classes of Latin squares. This will improve the efficiency apparently in computation for some related problems.
Non-fringe subtrees in conditioned Galton--Watson trees
Published in The Electronic Journal of Combinatorics 25(3) (2018)
• View Publication
• BIB
We study $S(\mathcal T_{n})$, the number of subtrees in a conditioned Galton--Watson tree of size $n$. With two very different methods, we show that $\log(S(\mathcal T_{n}))$ has a Central Limit Law and that the moments of $S(\mathcal T_{n})$ are of exponential scale.
Generalized Designs on Graphs: Sampling, Spectra, Symmetries
Published
• View Publication
• BIB
Spherical Designs are finite sets of points on the sphere $\mathbb{S}^{d}$ with the property that the average of certain (low-degree) polynomials in these points coincides with the global average of the polynomial on $\mathbb{S}^{d}$. They are evenly distributed and often exhibit a great degree of regularity and symmetry. We point out that a spectral definition of spherical designs easily transfers to finite graphs -- these 'graphical designs' are subsets of vertices that are evenly spaced and capture the symmetries of the underlying graph (should they exist). Our main result states that good graphical designs either consist of many vertices or their neighborhoods have exponential volume growth. We show several examples, describe ways to find them and discuss problems.
Upper Covers of Chains and Antichains in Sets of Indecomposable Subsets
We prove that there are arbitrarily large indecomposable ordered sets T with a 2-chain C such that the smallest indecomposable proper superset U of C in T is T itself. Subsequently, we characterize all such indecomposable ordered sets T and 2-chains C. We also prove the same type of result for 2-antichains.
Applications of Graded Methods to Cluster Variables in Arbitrary Types
This thesis is concerned with studying the properties of gradings on several examples of cluster algebras, primarily of infinite type.
We first consider two finite type cases: $B_n$ and $C_n$, completing a classification by Grabowski for coefficient-free finite type cluster algebras.
We then consider gradings arising from $3 \times 3$ skew-symmetric matrices. We show that the mutation-cyclic matrices give rise to gradings in which all degrees are positive and have only finitely many associated cluster variables (excepting one particular case). For the mutation-acyclic matrices, we prove that all occurring degrees have infinitely many variables.
We provide a sufficient condition for a graded cluster algebra generated by a quiver to have infinitely many degrees, based on the presence of a subquiver in its mutation class. We use this to show that the cluster algebras for (quantum) coordinate rings of matrices and Grassmannians contain cluster variables of all degrees in $\mathbb{N}$.
Next we consider the list (given by Felikson, Shapiro & Tumarkin) of mutation-finite quivers that do not correspond to triangulations of marked surfaces. We show that $X_7$ gives rise to only two degrees, both with infinitely many variables, and that $\widetilde{E}_6$, $\widetilde{E}_7$ and $\widetilde{E}_8$ give rise to infinitely many variables in some degrees.
Finally, we study gradings arising from marked surfaces (see Fomin, Shapiro & Thurston). We adapt a definition by Muller to define the space of valuation functions on such a surface and prove combinatorially that it is isomorphic to the space of gradings on the associated cluster algebra. We illustrate this theory by applying it to the annulus with $n+m$ marked points. We show that the standard grading is of mixed type. We also give an alternative grading in which all degrees have infinitely many cluster variables.
The equivariant volumes of the permutahedron
Published in Discrete & Computational Geometry, 2019
• View Publication
• BIB
We consider the action of the symmetric group $S_n$ on the permutahedron $Π_n$. We prove that if $σ$ is a permutation of $S_n$ which has $m$ cycles of lengths $l_1, \ldots, l_m$, then the subpolytope of $Π_n$ fixed by $σ$ has normalized volume $n^{m-2} \gcd(l_1, \ldots, l_m)$.