bluuebunny/crossref_metadata_2025 huggingface dataset:
The Cycles of the Multiway Perfect Shuffle Permutation
Authors: Ellis John , Fan Hongbing , Shallit Jeffrey
Published: August 2021

The (k,n)-perfect shuffle, a generalisation of the 2-way perfect shuffle, cuts a deck of kn cards into k equal size decks and interleaves them perfectly with the first card of the last deck at the top, the first card of the second-to-last deck as the second card, and so on. It is formally defined to be the permutation ρ _k,n: i → ki \bmod (kn+1), for 1 ≤ i ≤ kn. We uncover the cycle structure of the (k,n)-perfect shuffle permutation by a group-theoretic analysis and show how to compute representative elements from its cycles by an algorithm using O(kn) time and O((\log kn)^2) space. Consequently it is possible to realise the (k,n)-perfect shuffle via an in-place, linear-time algorithm. Algorithms that accomplish this for the 2-way shuffle have already been demonstrated.
Enumeration of Cylindric Plane Partitions
Authors: Langer Robin
Published: August 2021

Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. As in the reverse plane partition case, the right hand side of this identity admits a simple factorization form in terms of the "hook lengths'' of the individual boxes in the underlying shape. The first result of this paper is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences. The second result of this paper is a $(q,t)$-analog of Borodin's identity which extends previous work by Okada in the reverse plane partition case. The third result of this paper is an explicit combinatorial interpretation of the Macdonald weight occurring in the $(q,t)$-analog in terms of the non-intersecting lattice path model for cylindric plane partitions.

Les partitions planes cylindriques sont une généralisation naturelle des partitions planes renversées. Une série génératrice pour énumération des partitions planes cylindriques a été donnée récemment par Borodin. Comme dans le cas des partitions planes renversées, la partie droite de cette identité peut être factoriser en terme de "longueur d’équerres'' des carrés dans la forme sous-jacente. Le premier résultat de cet article est une nouvelle preuve bijective de l'identité de Borodin qui utilise le cadre de "diagramme de croissance'' de Fomin pour la correspondance de RSK généralisée. Le deuxième résultat de cette article est une $(q,t)$-déformation d'identité de Borodin qui généralise un résultat de Okada dans le cas des partitions planes renversées. Le troisième résultat de cet article est une formule combinatoire explicite pour le poids de Macdonald qui utilise le modèle des chemins non-intersectant pour les partitions planes cylindriques.
Constellations and multicontinued fractions: application to Eulerian triangulations
Authors: Albenque Marie , Bouttier Jérémie
Published: August 2021

We consider the problem of enumerating planar constellations with two points at a prescribed distance. Our approach relies on a combinatorial correspondence between this family of constellations and the simpler family of rooted constellations, which we may formulate algebraically in terms of multicontinued fractions and generalized Hankel determinants. As an application, we provide a combinatorial derivation of the generating function of Eulerian triangulations with two points at a prescribed distance.

Nous considérons le problème du comptage des constellations planaires à deux points marqués à distance donnée. Notre approche repose sur une correspondance combinatoire entre cette famille de constellations et celle, plus simple, des constellations enracinées. La correspondance peut être reformulée algébriquement en termes de fractions multicontinues et de déterminants de Hankel généralisés. Comme application, nous obtenons par une preuve combinatoire la série génératrice des triangulations eulériennes à deux points marqués à distance donnée.
Flows on Simplicial Complexes
Authors: Beck Matthias , Kemper Yvonne
Published: August 2021

Given a graph $G$, the number of nowhere-zero $\mathbb{Z}_q$-flows $\phi _G(q)$ is known to be a polynomial in $q$. We extend the definition of nowhere-zero $\mathbb{Z} _q$-flows to simplicial complexes $\Delta$ of dimension greater than one, and prove the polynomiality of the corresponding function $\phi_{\Delta}(q)$ for certain $q$ and certain subclasses of simplicial complexes.

Etant donné un graphe $G$, on est connu que le nombre de $\mathbb{Z}_q$-flots non-nuls $\phi _G(q)$ est un polynôme dans $q$. Nous étendons la définition de $\mathbb{Z} _q$-flots non-nuls pour inclure des complexes simpliciaux de dimension plus grande qu'un, et on montre que le nombre est aussi un polynôme de la fonction correspondante pour certain valeurs de $q$ et de certaines sous-classes de complexes simpliciaux.
Flow polytopes and the Kostant partition function
Authors: Mészáros Karola , Morales Alejandro H.
Published: August 2021

We establish the relationship between volumes of flow polytopes associated to signed graphs and the Kostant partition function. A special case of this relationship, namely, when the graphs are signless, has been studied in detail by Baldoni and Vergne using techniques of residues. In contrast with their approach, we provide combinatorial proofs inspired by the work of Postnikov and Stanley on flow polytopes. As an application of our results we study a distinguished family of flow polytopes: the Chan-Robbins-Yuen polytopes. Inspired by their beautiful volume formula $\prod_{k=0}^{n-2} Cat(k)$ for the type $A_n$ case, where $Cat(k)$ is the $k^{th}$ Catalan number, we introduce type $C_{n+1}$ and $D_{n+1}$ Chan-Robbins-Yuen polytopes along with intriguing conjectures about their volumes.

Nous établissons la relation entre les volumes de polytopes de flux associés aux graphes signés et la fonction de partition de Kostant. Le cas particulier de cette relation où les graphes ne sont pas signés a été étudié en détail par Baldoni et Vergne en utilisant des techniques de résidus. Contrairement à leur approche, nous apportons des preuves combinatoires inspirées par l'analyse de Postnikov et Stanley sur les polytopes de flux. Comme mise en pratique des résultats, nous étudions une famille distinguée de polytopes de flux: les polytopes Chan-Robbins-Yuen. Inspirés par leur belle formule du volume $\prod_{k=0}^{n-2} Cat(k)$ pour le cas de type $A_n$ (où $Cat(k)$ est le $k$-ème nombres de Catalan), nous présentons les polytopes Chan-Robbins-Yuen des types $C_{n +1}$ et $D_{n +1}$ accompagnés de conjectures intéressantes sur leurs volumes.
New Results on Generalized Graph Coloring
Authors: Alekseev Vladimir E. , Farrugia Alastair , Lozin Vadim V.
Published: August 2021

For graph classes \wp_1,...,\wp_k, Generalized Graph Coloring is the problem of deciding whether the vertex set of a given graph G can be partitioned into subsets V_1,...,V_k so that V_j induces a graph in the class \wp_j (j=1,2,...,k). If \wp_1=...=\wp_k is the class of edgeless graphs, then this problem coincides with the standard vertex k-COLORABILITY, which is known to be NP-complete for any k≥ 3. Recently, this result has been generalized by showing that if all \wp_i's are additive hereditary, then the generalized graph coloring is NP-hard, with the only exception of bipartite graphs. Clearly, a similar result follows when all the \wp_i's are co-additive.
The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application
Authors: Schneider Carsten
Published: August 2021

We give an overview of how a huge class of multisum identities can be proven and discovered with the summation package Sigma implemented in the computer algebra system Mathematica. General principles of symbolic summation are discussed. We illustrate the usage of Sigma by showing how one can find and prove a multisum identity that arose in the enumeration of rhombus tilings of a symmetric hexagon. Whereas this identity has been derived alternatively with the help of highly involved transformations of special functions, our tools enable to find and prove this identity completely automatically with the computer.
Optimal Sequential and Parallel Algorithms for Cut Vertices and Bridges on Trapezoid Graphs
Authors: Chen Hon-Chan
Published: August 2021

Let G be a graph. A component of G is a maximal connected subgraph in G. A vertex v is a cut vertex of G if k(G-v) > k(G), where k(G) is the number of components in G. Similarly, an edge e is a bridge of G if k(G-e) > k(G). In this paper, we will propose new O(n) algorithms for finding cut vertices and bridges of a trapezoid graph, assuming the trapezoid diagram is given. Our algorithms can be easily parallelized on the EREW PRAM computational model so that cut vertices and bridges can be found in O(log n) time by using O(n / log n) processors.
On Locating-Dominating Codes in Binary Hamming Spaces
Authors: Honkala Iiro , Laihonen Tero , Ranto Sanna
Published: August 2021

Locating faulty processors in a multiprocessor system gives the motivation for locating-dominating codes. We consider these codes in binary hypercubes and generalize the concept for the situation in which we want to locate more than one malfunctioning processor.
The Width of Galton-Watson Trees Conditioned by the Size
Authors: Drmota Michael , Gittenberger Bernhard
Published: August 2021

It is proved that the moments of the width of Galton-Watson trees of size n and with offspring variance σ ^2 are asymptotically given by (σ √n)^pm_p where m_p are the moments of the maximum of the local time of a standard scaled Brownian excursion. This is done by combining a weak limit theorem and a tightness estimate. The method is quite general and we state some further applications.
Annihilating random walks and perfect matchings of planar graphs
Authors: Mattera Massimiliano
Published: August 2021

We study annihilating random walks on $\mathbb{Z}$ using techniques of P.W. Kasteleyn and $R$. Kenyonon perfect matchings of planar graphs. We obtain the asymptotic of the density of remaining particles and the partition function of the underlying statistical mechanical model.
The volume and time comparison principle and transition probability estimates for random walks
Authors: Telcs András
Published: August 2021

This paper presents necessary and sufficient conditions for on- and off-diagonal transition probability estimates for random walks on weighted graphs. On the integer lattice and on may fractal type graphs both the volume of a ball and the mean exit time from a ball are independent of the center, uniform in space. Here the upper estimate is given without such restriction and two-sided estimate is given if the mean exit time is independent of the center but the volume is not.
Lengths and heights of random walk excursions
Authors: Csáki Endre , Hu Yueyun
Published: August 2021

Consider a simple symmetric random walk on the line. The parts of the random walk between consecutive returns to the origin are called excursions. The heights and lengths of these excursions can be arranged in decreasing order. In this paper we give the exact and limiting distributions of these ranked quantities. These results are analogues of the corresponding results of Pitman and Yor [1997, 1998, 2001] for Brownian motion.
The number of planar graphs and properties of random planar graphs
Authors: Gimenez Omer , Noy Marc
Published: August 2021

We show an asymptotic estimate for the number of labelled planar graphs on $n$ vertices. We also find limit laws for the number of edges, the number of connected components, and other parameters in random planar graphs.
Position of the maximum in a sequence with geometric distribution
Authors: Archibald Margaret
Published: August 2021

As a sequel to [arch04], the position of the maximum in a geometrically distributed sample is investigated. Samples of length n are considered, where the maximum is required to be in the first d positions. The probability that the maximum occurs in the first $d$ positions is sought for $d$ dependent on n (as opposed to d fixed in [arch04]). Two scenarios are discussed. The first is when $d=αn$ for $0 < α ≤ 1$, where Mellin transforms are used to obtain the asymptotic results. The second is when $1 ≤ d = o(n)$.
Human and constructive proof of combinatorial identities: an example from Romik
Authors: Merlini D. , Sprugnoli R. , Verri M. C.
Published: August 2021

It has become customary to prove binomial identities by means of the method for automated proofs as developed by Petkovšek, Wilf and Zeilberger. In this paper, we wish to emphasize the role of "human'' and constructive proofs in contrast with the somewhat lazy attitude of relaying on "automated'' proofs. As a meaningful example, we consider the four formulas by Romik, related to Motzkin and central trinomial numbers. We show that a proof of these identities can be obtained by using the method of coefficients, a human method only requiring hand computations.
Minimum survivable graphs with bounded distance increase
Authors: Djelloul Selma , Kouider Mekkia
Published: August 2021

We study in graphs properties related to fault-tolerance in case a node fails. A graph G is k-self-repairing, where k is a non-negative integer, if after the removal of any vertex no distance in the surviving graph increases by more than k. In the design of interconnection networks such graphs guarantee good fault-tolerance properties. We give upper and lower bounds on the minimum number of edges of a k-self-repairing graph for prescribed k and n, where n is the order of the graph. We prove that the problem of finding, in a k-self-repairing graph, a spanning k-self-repairing subgraph of minimum size is NP-Hard.
Analysis of biclusters with applications to gene expression data
Authors: Park Gahyun , Szpankowski Wojciech
Published: August 2021

For a given matrix of size $n \times m$ over a finite alphabet $\mathcal{A}$, a bicluster is a submatrix composed of selected columns and rows satisfying a certain property. In microarrays analysis one searches for largest biclusters in which selected rows constitute the same string (pattern); in another formulation of the problem one tries to find a maximally dense submatrix. In a conceptually similar problem, namely the bipartite clique problem on graphs, one looks for the largest binary submatrix with all '1'. In this paper, we assume that the original matrix is generated by a memoryless source over a finite alphabet $\mathcal{A}$. We first consider the case where the selected biclusters are square submatrices and prove that with high probability (whp) the largest (square) bicluster having the same row-pattern is of size $\log_Q^2 n m$ where $Q^{-1}$ is the (largest) probability of a symbol. We observe, however, that when we consider $\textit{any}$ submatrices (not just $\textit{square}$ submatrices), then the largest area of a bicluster jumps to $A_n$ (whp) where $A$ is an explicitly computable constant. These findings complete some recent results concerning maximal biclusters and maximum balanced bicliques for random bipartite graphs.
Infinite limits and folding
Authors: Bonato Anthony , Janssen Jeannette
Published: August 2021

We study infinite limits of graphs generated by the duplication model for biological networks. We prove that with probability 1, the sole nontrivial connected component of the limits is unique up to isomorphism. We describe certain infinite deterministic graphs which arise naturally from the model. We characterize the isomorphism type and induced subgraph structure of these infinite graphs using the notion of dismantlability from the theory of vertex pursuit games, and graph homomorphisms.
Packing Three-Vertex Paths in a Subcubic Graph
Authors: Kosowski Adrian , Malafiejski Michal , Zyliński Pawel
Published: August 2021

In our paper we consider the $P_3$-packing problem in subcubic graphs of different connectivity, improving earlier results of Kelmans and Mubayi. We show that there exists a $P_3$-packing of at least $\lceil 3n/4\rceil$ vertices in any connected subcubic graph of order $n>5$ and minimum vertex degree $\delta \geq 2$, and that this bound is tight. The proof is constructive and implied by a linear-time algorithm. We use this result to show that any $2$-connected cubic graph of order $n>8$ has a $P_3$-packing of at least $\lceil 7n/9 \rceil$ vertices.
On the enumeration of uniquely reducible double designs
Authors: Fack Veerle , Topalova Svetlana , Winne Joost
Published: August 2021

A double $2$-$(v,k,2 \lambda)$ design is a design which is reducible into two $2$-$(v,k,\lambda)$ designs. It is called uniquely reducible if it has, up to equivalence, only one reduction. We present properties of uniquely reducible double designs which show that their total number can be determined if only the designs with non-trivial automorphisms are classified with respect to their automorphism group. As an application, after proving that a reducible $2$-$(21,5,2)$ design is uniquely reducible, we establish that the number of all reducible $2$-$(21,5,2)$ designs is $1 746 461 307$.
Monotone Boolean Functions with s Zeros Farthest from Threshold Functions
Authors: Amano Kazuyuki , Tarui Jun
Published: August 2021

Let $T_t$ denote the $t$-threshold function on the $n$-cube: $T_t(x) = 1$ if $|\{i : x_i=1\}| \geq t$, and $0$ otherwise. Define the distance between Boolean functions $g$ and $h$, $d(g,h)$, to be the number of points on which $g$ and $h$ disagree. We consider the following extremal problem: Over a monotone Boolean function $g$ on the $n$-cube with $s$ zeros, what is the maximum of $d(g,T_t)$? We show that the following monotone function $p_s$ maximizes the distance: For $x \in \{0,1\}^n$, $p_s(x)=0$ if and only if $N(x) < s$, where $N(x)$ is the integer whose $n$-bit binary representation is $x$. Our result generalizes the previous work for the case $t=\lceil n/2 \rceil$ and $s=2^{n-1}$ by Blum, Burch, and Langford [BBL98-FOCS98], who considered the problem to analyze the behavior of a learning algorithm for monotone Boolean functions, and the previous work for the same $t$ and $s$ by Amano and Maruoka [AM02-ALT02].
Pairwise Intersections and Forbidden Configurations
Authors: Anstee Richard P. , Keevash Peter
Published: August 2021

Let $f_m(a,b,c,d)$ denote the maximum size of a family $\mathcal{F}$ of subsets of an $m$-element set for which there is no pair of subsets $A,B \in \mathcal{F}$ with $|A \cap B| \geq a$, $|\bar{A} \cap B| \geq b$, $|A \cap \bar{B}| \geq c$, and $|\bar{A} \cap \bar{B}| \geq d$. By symmetry we can assume $a \geq d$ and $b \geq c$. We show that $f_m(a,b,c,d)$ is $\Theta (m^{a+b-1})$ if either $b > c$ or $a,b \geq 1$. We also show that $f_m(0,b,b,0)$ is $\Theta (m^b)$ and $f_m(a,0,0,d)$ is $\Theta (m^a)$. This can be viewed as a result concerning forbidden configurations and is further evidence for a conjecture of Anstee and Sali. Our key tool is a strong stability version of the Complete Intersection Theorem of Ahlswede and Khachatrian, which is of independent interest.
Color critical hypergraphs and forbidden configurations
Authors: Anstee Richard , Fleming Balin , Füredi Zoltán , Sali Attila
Published: August 2021

The present paper connects sharpenings of Sauer's bound on forbidden configurations with color critical hypergraphs. We define a matrix to be \emphsimple if it is a $(0,1)-matrix$ with no repeated columns. Let $F$ be $a k× l (0,1)-matrix$ (the forbidden configuration). Assume $A$ is an $m× n$ simple matrix which has no submatrix which is a row and column permutation of $F$. We define $forb(m,F)$ as the best possible upper bound on n, for such a matrix $A$, which depends on m and $F$. It is known that $forb(m,F)=O(m^k)$ for any $F$, and Sauer's bond states that $forb(m,F)=O(m^k-1)$ fore simple $F$. We give sufficient condition for non-simple $F$ to have the same bound using linear algebra methods to prove a generalization of a result of Lovász on color critical hypergraphs.
Deterministic Random Walks on the Integers
Authors: Cooper Joshua , Doerr Benjamin , Spencer Joel , Tardos Gábor
Published: August 2021

We analyze the one-dimensional version of Jim Propp's $P$-machine, a simple deterministic process that simulates a random walk on $\mathbb{Z}$. The "output'' of the machine is astonishingly close to the expected behavior of a random walk, even on long intervals of space and time.
Negative results on acyclic improper colorings
Authors: Ochem Pascal
Published: August 2021

Raspaud and Sopena showed that the oriented chromatic number of a graph with acyclic chromatic number $k$ is at most $k2^{k-1}$. We prove that this bound is tight for $k \geq 3$. We also show that some improper and/or acyclic colorings are $\mathrm{NP}$-complete on a class $\mathcal{C}$ of planar graphs. We try to get the most restrictive conditions on the class $\mathcal{C}$, such as having large girth and small maximum degree. In particular, we obtain the $\mathrm{NP}$-completeness of $3$-$\mathrm{ACYCLIC \space COLORABILITY}$ on bipartite planar graphs with maximum degree $4$, and of $4$-$\mathrm{ACYCLIC \space COLORABILITY}$ on bipartite planar graphs with maximum degree $8$.
Counting Polyominoes on Twisted Cylinders
Authors: Barequet Gill , Moffie Micha , Ribó Ares , Rote Günter
Published: August 2021

We improve the lower bounds on Klarner's constant, which describes the exponential growth rate of the number of polyominoes (connected subsets of grid squares) with a given number of squares. We achieve this by analyzing polyominoes on a different surface, a so-called $\textit{twisted cylinder}$ by the transfer matrix method. A bijective representation of the "states'' of partial solutions is crucial for allowing a compact representation of the successive iteration vectors for the transfer matrix method.
Hamiltonian cycles in torical lattices
Authors: Leontiev Vladimir K.
Published: August 2021

We establish sufficient conditions for a toric lattice $T_{m,n}$ to be Hamiltonian. Also, we give some asymptotics for the number of Hamiltonian cycles in $T_{m,n}$.
Cycles intersecting edge-cuts of prescribed sizes
Authors: Kaiser Tomáš , Škrekovski Riste
Published: August 2021

We prove that every cubic bridgeless graph $G$ contains a $2$-factor which intersects all (minimal) edge-cuts of size $3$ or $4$. This generalizes an earlier result of the authors, namely that such a $2$-factor exists provided that $G$ is planar. As a further extension, we show that every graph contains a cycle (a union of edge-disjoint circuits) that intersects all edge-cuts of size $3$ or $4$. Motivated by this result, we introduce the concept of a coverable set of integers and discuss a number of questions, some of which are related to classical problems of graph theory such as Tutte's $4$-flow conjecture or the Dominating circuit conjecture.
On minimal blocking sets of the generalized quadrangle $Q(4, q)$
Authors: Cimráková Miroslava , Fack Veerle
Published: August 2021

The generalized quadrangle $Q(4,q)$ arising from the parabolic quadric in $PG(4,q)$ always has an ovoid. It is not known whether a minimal blocking set of size smaller than $q^2 + q$ (which is not an ovoid) exists in $Q(4,q)$, $q$ odd. We present results on smallest blocking sets in $Q(4,q)$, $q$ odd, obtained by a computer search. For $q = 5,7,9,11$ we found minimal blocking sets of size $q^2 + q - 2$ and we discuss their structure. By an exhaustive search we excluded the existence of a minimal blocking set of size $q^2 + 3$ in $Q(4,7)$.
Structure of Stable Sand Piles Model
Authors: Phan Thi Ha Duong , Tran Thi Thu Huong
Published: August 2021

In this paper we study a variant of the Sand Piles Model, where the evolution rule consists of the falling down of one grain to a random column and an avalanche to reach a stable configuration. We prove that the infinite set of all stable configurations have a lattice structure which is a sublattice of Young lattice. At the end, based on a discussion about avalanches, we construct a generating tree of this model and show its strongtly recursive structure.
Accessible and Deterministic Automata: Enumeration and Boltzmann Samplers
Authors: Bassino Frédérique , Nicaud Cyril
Published: August 2021

We present a bijection between the set $\mathcal{A}_n$ of deterministic and accessible automata with $n$ states on a $k$-letters alphabet and some diagrams, which can themselves be represented as partitions of the set $[\![ 1..(kn+1) ]\!]$ into $n$ non-empty parts. This combinatorial construction shows that the asymptotic order of the cardinality of $\mathcal{A}_n$ is related to the Stirling number $\{^{kn}_n\}$. Our bijective approach also yields an efficient random sampler of automata with $n$ states, of complexity $O(n^{3/2})$, using the framework of Boltzmann samplers.
Karp-Miller Trees for a Branching Extension of VASS
Authors: Verma Kumar Neeraj , Goubault-Larrecq Jean
Published: August 2021

We study BVASS (Branching VASS) which extend VASS (Vector Addition Systems with States) by allowing addition transitions that merge two configurations. Runs in BVASS are tree-like structures instead of linear ones as for VASS. We show that the construction of Karp-Miller trees for VASS can be extended to BVASS. This entails that the coverability set for BVASS is computable. This allows us to obtain decidability results for certain classes of equational tree automata with an associative-commutative symbol. Recent independent work by de Groote et al. implies that decidability of reachability in BVASS is equivalent to decidability of provability in MELL (multiplicative exponential linear logic), which is still an open problem. Hence our results are also a step towards answering this question in the affirmative.
Statistical Properties of Similarity Score Functions
Authors: Bourdon Jérémie , Mancheron Alban
Published: August 2021

In computational biology, a large amount of problems, such as pattern discovery, deals with the comparison of several sequences (of nucleotides, proteins or genes for instance). Very often, algorithms that address this problem use score functions that reflect a notion of similarity between the sequences. The most efficient methods take benefit from theoretical knowledge of the classical behavior of these score functions such as their mean, their variance, and sometime their asymptotic distribution in a given probabilistic model. In this paper, we study a recent family of score functions introduced in Mancheron 2003, which allows to compare two words having the same length. Here, the similarity takes into account all matches and mismatches between two sequences and not only the longest common subsequence as in the case of classical algorithms such as BLAST or FASTA. Based on generating functions, we provide closed formulas for the mean and the variance of these functions in an independent probabilistic model. Finally, we prove that every function in this family asymptotically behaves as a Gaussian random variable.
LOGLOG counting for the estimation of IP traffic
Authors: Gandouet Olivier , Jean-Marie Alain
Published: August 2021

In this paper, we discuss the problem of estimating the number of "elephants'' in a stream of IP packets. First, the problem is formulated in the context of multisets. Next, we explore some of the theoretical space complexity of this problem, and it is shown that it cannot be solved with less than $\Omega (n)$ units of memory in general, $n$ being the number of different elements in the multiset. Finally, we describe an algorithm, based on Durand-Flajolet's LOGLOG algorithm coupled with a thinning of the packet stream, which returns an estimator of the number of elephants using a small amount of memory. This algorithm allows a good estimation for particular families of random multiset. The mean and variance of this estimator are computed. The algorithm is then tested on synthetic data.
Complete k-ary trees and generalized meta-Fibonacci sequences
Authors: Deugau Chris , Ruskey Frank
Published: August 2021

We show that a family of generalized meta-Fibonacci sequences arise when counting the number of leaves at the largest level in certain infinite sequences of k-ary trees and restricted compositions of an integer. For this family of generalized meta-Fibonacci sequences and two families of related sequences we derive ordinary generating functions and recurrence relations.
A coupon collector's problem with bonuses
Authors: Nakata Toshio , Kubo Izumi
Published: August 2021

In this article, we study a variant of the coupon collector's problem introducing a notion of a \emphbonus. Suppose that there are c different types of coupons made up of bonus coupons and ordinary coupons, and that a collector gets every coupon with probability 1/c each day. Moreover suppose that every time he gets a bonus coupon he immediately obtains one more coupon. Under this setting, we consider the number of days he needs to collect in order to have at least one of each type. We then give not only the expectation but also the exact distribution represented by a gamma distribution. Moreover we investigate their limits as the Gumbel (double exponential) distribution and the Gauss (normal) distribution.
On the Exit Time of a Random Walk with Positive Drift
Authors: Drmota Michael , Szpankowski Wojciech
Published: August 2021

We study a random walk with positive drift in the first quadrant of the plane. For a given connected region $\mathcal{C}$ of the first quadrant, we analyze the number of paths contained in $\mathcal{C}$ and the first exit time from $\mathcal{C}$. In our case, region $\mathcal{C}$ is bounded by two crossing lines. It is noted that such a walk is equivalent to a path in a tree from the root to a leaf not exceeding a given height. If this tree is the parsing tree of the Tunstall or Khodak variable-to-fixed code, then the exit time of the underlying random walk corresponds to the phrase length not exceeding a given length. We derive precise asymptotics of the number of paths and the asymptotic distribution of the exit time. Even for such a simple walk, the analysis turns out to be quite sophisticated and it involves Mellin transforms, Tauberian theorems, and infinite number of saddle points.
Quantum random walks in one dimension via generating functions
Authors: Bressler Andrew , Pemantle Robin
Published: August 2021

We analyze nearest neighbor one-dimensional quantum random walks with arbitrary unitary coin-flip matrices. Using a multivariate generating function analysis we give a simplified proof of a known phenomenon, namely that the walk has linear speed rather than the diffusive behavior observed in classical random walks. We also obtain exact formulae for the leading asymptotic term of the wave function and the location probabilities.
Expected number of locally maximal solutions for random Boolean CSPs
Authors: Creignou Nadia , Daudé Hervé , Dubois Olivier
Published: August 2021

For a large number of random Boolean constraint satisfaction problems, such as random $k$-SAT, we study how the number of locally maximal solutions evolves when constraints are added. We give the exponential order of the expected number of these distinguished solutions and prove it depends on the sensitivity of the allowed constraint functions only. As a by-product we provide a general tool for computing an upper bound of the satisfiability threshold for any problem of a large class of random Boolean CSPs.
Enumeration of Binary Trees and Universal Types
Authors: Knessl Charles , Szpankowski Wojciech
Published: August 2021

Binary unlabeled ordered trees (further called binary trees) were studied at least since Euler, who enumerated them. The number of such trees with n nodes is now known as the Catalan number. Over the years various interesting questions about the statistics of such trees were investigated (e.g., height and path length distributions for a randomly selected tree). Binary trees find an abundance of applications in computer science. However, recently Seroussi posed a new and interesting problem motivated by information theory considerations: how many binary trees of a \emphgiven path length (sum of depths) are there? This question arose in the study of \emphuniversal types of sequences. Two sequences of length p have the same universal type if they generate the same set of phrases in the incremental parsing of the Lempel-Ziv'78 scheme since one proves that such sequences converge to the same empirical distribution. It turns out that the number of distinct types of sequences of length p corresponds to the number of binary (unlabeled and ordered) trees, T_p, of given path length p (and also the number of distinct Lempel-Ziv'78 parsings of length p sequences). We first show that the number of binary trees with given path length p is asymptotically equal to T_p ~ 2^2p/(log_2 p)(1+O(log ^-2/3 p)). Then we establish various limiting distributions for the number of nodes (number of phrases in the Lempel-Ziv'78 scheme) when a tree is selected randomly among all trees of given path length p. Throughout, we use methods of analytic algorithmics such as generating functions and complex asymptotics, as well as methods of applied mathematics such as the WKB method and matched asymptotics.
Coherent random permutations with record statistics
Authors: Gnedin Alexander
Published: August 2021

A two-parameter family of random permutations of $[n]$ is introduced, with distribution conditionally uniform given the counts of upper and lower records. The family interpolates between two versions of Ewens' distribution. A distinguished role of the family is determined by the fact that every sequence of coherent permutations $(π _n,n=1,2,\ldots)$ with the indicated kind of sufficiency is obtainable by randomisation of the parameters. Generating algorithms and asymptotic properties of the permutations follow from the representation via initial ranks.
The Degree Distribution of Thickened Trees
Authors: Drmota Michael , Gittenberger Bernhard , Panholzer Alois
Published: August 2021

We develop a combinatorial structure to serve as model of random real world networks. Starting with plane oriented recursive trees we substitute the nodes by more complex graphs. In such a way we obtain graphs having a global tree-like structure while locally looking clustered. This fits with observations obtained from real-world networks. In particular we show that the resulting graphs are scale-free, that is, the degree distribution has an asymptotic power law.
On subcritical multi-type branching process in random environment
Authors: Dyakonova Elena
Published: August 2021

We investigate a multi-type Galton-Watson process in a random environment generated by a sequence of independent identically distributed random variables. Suppose that the associated random walk constructed by the logarithms of the Perron roots of the reproduction mean matrices has negative mean and assuming some additional conditions, we find the asymptotics of the survival probability at time $n$ as $n \to \infty$.
Rate of Escape of Random Walks on Regular Languages and Free Products by Amalgamation of Finite Groups
Authors: Gilch Lorenz A.
Published: August 2021

We consider random walks on the set of all words over a finite alphabet such that in each step only the last two letters of the current word may be modified and only one letter may be adjoined or deleted. We assume that the transition probabilities depend only on the last two letters of the current word. Furthermore, we consider also the special case of random walks on free products by amalgamation of finite groups which arise in a natural way from random walks on the single factors. The aim of this paper is to compute several equivalent formulas for the rate of escape with respect to natural length functions for these random walks using different techniques.
Boltzmann Oracle for Combinatorial Systems
Authors: Pivoteau Carine , Salvy Bruno , Soria Michèle
Published: August 2021

Boltzmann random generation applies to well-deﬁned systems of recursive combinatorial equations. It relies on oracles giving values of the enumeration generating series inside their disk of convergence. We show that the combinatorial systems translate into numerical iteration schemes that provide such oracles. In particular, we give a fast oracle based on Newton iteration.
A generalization of $(q,t)$-Catalan and nabla operators
Authors: Bergeron N. , Descouens F. , Zabrocki M.
Published: August 2021

We introduce non-commutative analogs of $k$-Schur functions and prove that their images by the non-commutative nabla operator $\blacktriangledown$ is ribbon Schur positive, up to a global sign. Inspired by these results, we define new filtrations of the usual $(q,t)$-Catalan polynomials by computing the image of certain commutative $k$-Schur functions by the commutative nabla operator $\nabla$. In some particular cases, we give a combinatorial interpretation of these polynomials in terms of nested quantum Dick paths.

Nous introduisons des analogues non commutatifs des $k$-fonctions de Schur et nous prouvons que leurs images par l'opérateur nabla non commutatif $\blacktriangledown$ est Schur-rubans positif, à un signe global près. Guidés par ses résultats, nous définissons de nouvelles filtrations des $(q,t)$-nombres de Catalan usuels en calculant l'image de certaines $k$-fonctions de Schur par l'opérateur nabla commutatif $\nabla$. Dans certains cas particuliers, nous donnons une interprétation combinatoire de ces polynômes en termes de chemins de Dyck imbriqués.
Cyclic Sieving, Promotion, and Representation Theory
Authors: Rhoades Brendon
Published: August 2021

We prove a collection of conjectures due to Abuzzahab-Korson-Li-Meyer, Reiner, and White regarding the cyclic sieving phenomenon as it applies to jeu-de-taquin promotion on rectangular tableaux. To do this, we use Kazhdan-Lusztig theory and a characterization of the dual canonical basis of $\mathbb{C}[x_{11}, \ldots , x_{nn}]$ due to Skandera. Afterwards, we extend our results to analyzing the fixed points of a dihedral action on rectangular tableaux generated by promotion and evacuation, suggesting a possible sieving phenomenon for dihedral groups. Finally, we give applications of this theory to cyclic sieving phenomena involving reduced words for the long elements of hyperoctohedral groups, handshake patterns, and noncrossing partitions.
Quivers and the Euclidean algebra (Extended abstract)
Authors: Savage Alistair
Published: August 2021

We show that the category of representations of the Euclidean group $E(2)$ is equivalent to the category of representations of the preprojective algebra of the quiver of type $A_{\infty}$. Furthermore, we consider the moduli space of $E(2)$-modules along with a set of generators. We show that these moduli spaces are quiver varieties of the type considered by Nakajima. These identifications allow us to draw on known results about preprojective algebras and quiver varieties to prove various statements about representations of $E(2)$. In particular, we show that $E(2)$ has wild representation type but that if we impose certain combinatorial restrictions on the weight decompositions of a representation, we obtain only a finite number of indecomposable representations.

Nous montrons que la catégorie des représentations du groupe d'Euclide $E(2)$ est équivalente à la catégorie des représentations de l'algèbre préprojective de type $A_{\infty}$. De plus, nous considérons l'espace classifiant de modules de $E(2)$ avec un ensemble de générateurs. Nous montrons que ces espaces sont de variétés de carquois de Nakajima. Cette identification nous permet d'utiliser des résultats des algèbres préprojectives et des variétés de carquois pour prouver des affirmations sur des représentations de $E(2)$. En particulier, nous montrons que le type de représentations de $E(2)$ est sauvage mais si nous imposons des restrictions aux poids d'une représentation, il y a seulement un nombre fini de représentations qui ne sont pas décomposables.
Invariant and coinvariant spaces for the algebra of symmetric polynomials in non-commuting variables
Authors: Bergeron François , Lauve Aaron
Published: August 2021

We analyze the structure of the algebra $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$ of symmetric polynomials in non-commuting variables in so far as it relates to $\mathbb{K}[\mathbf{x}]^{\mathfrak{S}_n}$, its commutative counterpart. Using the "place-action'' of the symmetric group, we are able to realize the latter as the invariant polynomials inside the former. We discover a tensor product decomposition of $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$ analogous to the classical theorems of Chevalley, Shephard-Todd on finite reflection groups. In the case $|\mathbf{x}|= \infty$, our techniques simplify to a form readily generalized to many other familiar pairs of combinatorial Hopf algebras.

Nous analysons la structure de l'algèbre $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$ des polynômes symétriques en des variables non-commutatives pour obtenir des analogues des résultats classiques concernant la structure de l'anneau $\mathbb{K}[\mathbf{x}]^{\mathfrak{S}_n}$ des polynômes symétriques en des variables commutatives. Plus précisément, au moyen de "l'action par positions'', on réalise $\mathbb{K}[\mathbf{x}]^{\mathfrak{S}_n}$ comme sous-module de $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$. On découvre alors une nouvelle décomposition de $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$ comme produit tensoriel, obtenant ainsi un analogue des théorèmes classiques de Chevalley et Shephard-Todd. Dans le cas $|\mathbf{x}|= \infty$, nos techniques se simplifient en une forme aisément généralisables à beaucoup d'autres paires d'algèbres de Hopf familières.
Families of prudent self-avoiding walks
Authors: Bousquet-Mélou Mireille
Published: August 2021

A self-avoiding walk on the square lattice is $\textit{prudent}$, if it never takes a step towards a vertex it has already visited. Préa was the first to address the enumeration of these walks, in 1997. For 4 natural classes of prudent walks, he wrote a system of recurrence relations, involving the length of the walks and some additional "catalytic'' parameters. The generating function of the first class is easily seen to be rational. The second class was proved to have an algebraic (quadratic) generating function by Duchi (FPSAC'05). Here, we solve exactly the third class, which turns out to be much more complex: its generating function is not algebraic, nor even $D$-finite. The fourth class ―- general prudent walks ―- still defeats us. However, we design an isotropic family of prudent walks on the triangular lattice, which we count exactly. Again, the generating function is proved to be non-$D$-finite. We also study the end-to-end distance of these walks and provide random generation procedures.

Un chemin auto-évitant sur le réseau carré est $\textit{prudent}$, s'il ne fait jamais un pas en direction d'un point qu'il a déjà visité. Préa est le premier à avoir cherché à énumérer ces chemins, en 1997. Pour 4 classes naturelles de chemins prudents, il donne un système de relations de récurrence, impliquant la longueur des chemins et plusieurs paramètres "catalytiques'' supplémentaires. La première classe a une série génératrice simple, rationnelle. La deuxième a une série algébrique (quadratique) (Duchi, FPSAC'05). Nous comptons ici les chemins de la troisième classe, et observons un saut de complexité: la série obtenue n'est ni algébrique, ni même différentiellement finie. La quatrième classe, celle des chemins prudents généraux, résiste encore. Cependant, nous définissons un modèle isotrope de chemins prudents sur réseau triangulaire, que nous résolvons de nouveau, la série obtenue n'est pas différentiellement finie. Nous étudions aussi la vitesse d'éloignement de ces chemins, et proposons des algorithmes de génération aléatoire.
The Mukhin―Varchenko conjecture for type $A$
Authors: Warnaar S. Ole
Published: August 2021

We present a generalisation of the famous Selberg integral. This confirms the $\mathfrak{g}=A_n$ case of a conjecture by Mukhin and Varchenko concerning the existence of a Selberg integral for each simple Lie algebra $\mathfrak{g}$.

On présente une généralisation de la bien connue intégrale de Selberg. Cette généralisation vérifie le cas $\mathfrak{g}=A_n$ de la conjecture de Mukhin et Varchenko concernant l'existence d'une intégrale de Selberg pour chaque algèbre de Lie simple $\mathfrak{g}$.
Combinatorial Hopf Algebras and Towers of Algebras
Authors: Bergeron Nantel , Lam Thomas , Li Huilan
Published: August 2021

Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n \geq 0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n \geq 0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim (A_n)=r^nn!$ where $r = \dim (A_1)$.

Bergeron et Li ont donné un ensemble d'axiomes qui garanti que les groupes de Grothendieck d'une tour d'algèbres $\bigoplus_{n \geq 0}A_n$ peuvent être dotés d'une structure d'algèbres de Hopf graduées duales. Hivert et Nzeutzhap, et indépen\-damment Lam et Shimozono, ont construit des graphes gradués duals à partir d'éléments primitifs dans des algèbres de Hopf. Dans cet article, nous appliquons la composition de ces constructions aux tours des algèbres. Nous prouvons que si une tour $\bigoplus_{n \geq 0}A_n$ donne des algèbres de Hopf graduées duales, alors nous devons avoir $\dim (A_n)=r^nn!$ où $r = \dim (A_1)$.
On the number of spanning trees of K_n^m #x00B1 G graphs
Authors: Nikolopoulos Stavros D. , Papadopoulos Charis
Published: August 2021

The K_n-complement of a graph G, denoted by K_n-G, is defined as the graph obtained from the complete graph K_n by removing a set of edges that span G; if G has n vertices, then K_n-G coincides with the complement øverlineG of the graph G. In this paper we extend the previous notion and derive determinant based formulas for the number of spanning trees of graphs of the form K_n^m #x00b1 G, where K_n^m is the complete multigraph on n vertices with exactly m edges joining every pair of vertices and G is a multigraph spanned by a set of edges of K_n^m; the graph K_n^m + G (resp. K_n^m - G) is obtained from K_n^m by adding (resp. removing) the edges of G. Moreover, we derive determinant based formulas for graphs that result from K_n^m by adding and removing edges of multigraphs spanned by sets of edges of the graph K_n^m. We also prove closed formulas for the number of spanning tree of graphs of the form K_n^m #x00b1 G, where G is (i) a complete multipartite graph, and (ii) a multi-star graph. Our results generalize previous results and extend the family of graphs admitting formulas for the number of their spanning trees.