bluuebunny/crossref_metadata_2025 huggingface dataset:
Toppling numbers of complete and random graphs
Authors: Bonato Anthony , Kinnersley William B. , Pralat Pawel
Published: August 2021

Graph Theory

We study a two-person game played on graphs based on the widely studied chip-firing game. Players Max and Min alternately place chips on the vertices of a graph. When a vertex accumulates as many chips as its degree, it fires, sending one chip to each neighbour; this may in turn cause other vertices to fire. The game ends when vertices continue firing forever. Min seeks to minimize the number of chips played during the game, while Max seeks to maximize it. When both players play optimally, the length of the game is the toppling number of a graph G, and is denoted by t(G). By considering strategies for both players and investigating the evolution of the game with differential equations, we provide asymptotic bounds on the toppling number of the complete graph. In particular, we prove that for sufficiently large n 0.596400 n2 < t(Kn) < 0.637152 n2. Using a fractional version of the game, we couple the toppling numbers of complete graphs and the binomial random graph G(n,p). It is shown that for pn ≥n² / √ log(n) asymptotically almost surely t(G(n,p))=(1+o(1)) p t(Kn).
Complexity of conditional colouring with given template
Authors: Dukes Peter J. , Lowdon Steve , Macgillivray Gary
Published: August 2021

Graph Theory

We study partitions of the vertex set of a given graph into cells that each induce a subgraph in a given family, and for which edges can have ends in different cells only when those cells correspond to adjacent vertices of a fixed template graph H. For triangle-free templates, a general collection of graph families for which the partitioning problem can be solved in polynomial time is described. For templates with a triangle, the problem is in some cases shown to be NP-complete.
An exact algorithm for the generalized list T-coloring problem
Authors: Junosza-Szaniawski Konstanty , Rzazewski Pawel
Published: August 2021

Discrete Algorithms

The generalized list T-coloring is a common generalization of many graph coloring models, including classical coloring, L(p,q)-labeling, channel assignment and T-coloring. Every vertex from the input graph has a list of permitted labels. Moreover, every edge has a set of forbidden differences. We ask for a labeling of vertices of the input graph with natural numbers, in which every vertex gets a label from its list of permitted labels and the difference of labels of the endpoints of each edge does not belong to the set of forbidden differences of this edge. In this paper we present an exact algorithm solving this problem, running in time O*((τ+2)n), where τ is the maximum forbidden difference over all edges of the input graph and n is the number of its vertices. Moreover, we show how to improve this bound if the input graph has some special structure, e.g. a bounded maximum degree, no big induced stars or a perfect matching.
Biased weak polyform achievement games
Authors: Norris Ian , Sieben Nándor
Published: August 2021

Combinatorics

In a biased weak (a,b) polyform achievement game, the maker and the breaker alternately mark a,b previously unmarked cells on an infinite board, respectively. The maker's goal is to mark a set of cells congruent to a polyform. The breaker tries to prevent the maker from achieving this goal. A winning maker strategy for the (a,b) game can be built from winning strategies for games involving fewer marks for the maker and the breaker. A new type of breaker strategy called the priority strategy is introduced. The winners are determined for all (a,b) pairs for polyiamonds and polyominoes up to size four.
Genus distributions of cubic series-parallel graphs
Authors: Gross Jonathan L. , Kotrbčík Michal , Sun Timothy
Published: August 2021

Graph Theory

We derive a quadratic-time algorithm for the genus distribution of any 3-regular, biconnected series-parallel graph, which we extend to any biconnected series-parallel graph of maximum degree at most 3. Since the biconnected components of every graph of treewidth 2 are series-parallel graphs, this yields, by use of bar-amalgamation, a quadratic-time algorithm for every graph of treewidth at most 2 and maximum degree at most 3.
A note on a recent attempt to improve the Pin-Frankl bound
Authors: Gonze François , Jungers Raphaël M. , Trahtman Avraham N.
Published: August 2021

Automata, Logic and Semantics

We provide a counterexample to a lemma used in a recent tentative improvement of the Pin-Frankl bound for synchronizing automata. This example naturally leads us to formulate an open question, whose answer could fix the line of the proof, and improve the bound.
Output sensitive algorithms for covering many points
Authors: Ghasemalizadeh Hossein , Razzazi Mohammadreza
Published: August 2021

Discrete Algorithms

In this paper we devise some output sensitive algorithms for a problem where a set of points and a positive integer, m, are given and the goal is to cover a maximal number of these points with m disks. We introduce a parameter, ρ, as the maximum number of points that one disk can cover and we analyse the algorithms based on this parameter. At first, we solve the problem for m=1 in O(nρ) time, which improves the previous O(n2) time algorithm for this problem. Then we solve the problem for m=2 in O(nρ + 3 log ρ) time, which improves the previous O(n3 log n) algorithm for this problem. Our algorithms outperform the previous algorithms because ρ is much smaller than n in many cases. Finally, we extend the algorithm for any value of m and solve the problem in O(mnρ + (mρ)2m - 1 log mρ) time. The previous algorithm for this problem runs in O(n2m - 1 log n) time and our algorithm usually runs faster than the previous algorithm because mρ is smaller than n in many cases. We obtain output sensitive algorithms by confining the areas that we should search for the result. The techniques used in this paper may be applicable in other covering problems to obtain faster algorithms.
Intervals and factors in the Bruhat order
Authors: Tenner Bridget Eileen
Published: August 2021

Combinatorics

In this paper we study those generic intervals in the Bruhat order of the symmetric group that are isomorphic to the principal order ideal of a permutation w, and consider when the minimum and maximum elements of those intervals are related by a certain property of their reduced words. We show that the property does not hold when w is a decomposable permutation, and that the property always holds when w is the longest permutation.
The complexity of $P$4-decomposition of regular graphs and multigraphs
Authors: Diwan Ajit , Dion Justine , Mendell David , Plantholt Michael , Tipnis Shailesh
Published: August 2021

Let G denote a multigraph with edge set E(G), let µ(G) denote the maximum edge multiplicity in G, and let Pk denote the path on k vertices. Heinrich et al.(1999) showed that P4 decomposes a connected 4-regular graph G if and only if |E(G)| is divisible by 3. We show that P4 decomposes a connected 4-regular multigraph G with µ(G) ≤2 if and only if no 3 vertices of G induce more than 4 edges and |E(G)| is divisible by 3. Oksimets (2003) proved that for all integers k ≥3, P4 decomposes a connected 2k-regular graph G if and only if |E(G)| is divisible by 3. We prove that for all integers k ≥2, the problem of determining if P4 decomposes a (2k + 1)-regular graph is NP-Complete. El-Zanati et al.(2014) showed that for all integers k ≥1, every 6k-regular multigraph with µ(G) ≤2k has a P4-decomposition. We show that unless P = NP, this result is best possible with respect to µ(G) by proving that for all integers k ≥3 the problem of determining if P4 decomposes a 2k-regular multigraph with µ(G) ≤⌊2k / 3 ⌋+ 1 is NP-Complete.
On graphs double-critical with respect to the colouring number
Authors: Kriesell Matthias , Pedersen Anders
Published: August 2021

The colouring number col($G$) of a graph $G$ is the smallest integer $k$ for which there is an ordering of the vertices of $G$ such that when removing the vertices of $G$ in the specified order no vertex of degree more than $k-1$ in the remaining graph is removed at any step. An edge $e$ of a graph $G$ is said to be double-col-critical if the colouring number of $G-V(e)$ is at most the colouring number of $G$ minus 2. A connected graph G is said to be double-col-critical if each edge of $G$ is double-col-critical. We characterise the double-col-critical graphs with colouring number at most 5. In addition, we prove that every 4-col-critical non-complete graph has at most half of its edges being double-col-critical, and that the extremal graphs are precisely the odd wheels on at least six vertices. We observe that for any integer $k$ greater than 4 and any positive number $ε$, there is a $k$-col-critical graph with the ratio of double-col-critical edges between $1- ε$ and 1.
Disimplicial arcs, transitive vertices, and disimplicial eliminations
Authors: Eguia Martiniano , Soulignac Francisco
Published: August 2021

In this article we deal with the problems of finding the disimplicial arcs of a digraph and recognizing some interesting graph classes defined by their existence. A diclique of a digraph is a pair $V$ → $W$ of sets of vertices such that $v$ → $w$ is an arc for every $v$ ∈ $V$ and $w$ ∈ $W$. An arc $v$ → $w$ is disimplicial when it belongs to a unique maximal diclique. We show that the problem of finding the disimplicial arcs is equivalent, in terms of time and space complexity, to that of locating the transitive vertices. As a result, an efficient algorithm to find the bisimplicial edges of bipartite graphs is obtained. Then, we develop simple algorithms to build disimplicial elimination schemes, which can be used to generate bisimplicial elimination schemes for bipartite graphs. Finally, we study two classes related to perfect disimplicial elimination digraphs, namely weakly diclique irreducible digraphs and diclique irreducible digraphs. The former class is associated to finite posets, while the latter corresponds to dedekind complete finite posets.
On avoidance of patterns of the form σ-τ by words over a finite alphabet
Authors: Mansour Toufik , Shattuck Mark
Published: August 2021

Vincular or dashed patterns resemble classical patterns except that some of the letters within an occurrence are required to be adjacent. We prove several infinite families of Wilf-equivalences for $k$-ary words involving vincular patterns containing a single dash, which explain the majority of the equivalences witnessed for such patterns of length four. When combined with previous results, numerical evidence, and some arguments in specific cases, we obtain the complete Wilf-classification for all vincular patterns of length four containing a single dash. In some cases, our proof shows further that the equivalence holds for multiset permutations since it is seen to respect the number of occurrences of each letter within a word. Some related enumerative results are provided for patterns $τ$ of length four, among them generating function formulas for the number of members of [$k$]$n$ avoiding any $τ$ of the form 11$a-b$.
A relation on 132-avoiding permutation patterns
Authors: Aisbett Natalie
Published: August 2021

A permutation $σ$ contains the permutation $τ$ if there is a subsequence of $σ$ order isomorphic to $τ$. A permutation $σ$ is $τ$-avoiding if it does not contain the permutation $τ$. For any $n$, the popularity of a permutation $τ$, denoted $A$$n$($τ$), is the number of copies of $τ$ contained in the set of all 132-avoiding permutations of length $n$. Rudolph conjectures that for permutations $τ$ and $μ$ of the same length, $A$$n$($τ$) ≤ $A$$n$($μ$) for all $n$ if and only if the spine structure of $τ$ is less than or equal to the spine structure of $μ$ in refinement order. We prove one direction of this conjecture, by showing that if the spine structure of $τ$ is less than or equal to the spine structure of $μ$, then $A$$n$($τ$) ≤ $A$$n$($μ$) for all $n$. We disprove the opposite direction by giving a counterexample, and hence disprove the conjecture.
On the Dynamics of Systems of Urns
Authors: Klonowski Marek , Cichoń Jacek , Kapelko Rafał
Published: August 2021

In this paper we present an analysis of some generalization of the classic urn and balls model. In our model each urn has a fixed capacity and initially is filled with white balls. Black balls are added to the system of connected urns and gradually displace white balls. We show a general form of formulas for the expected numbers of black balls in a given urn and we analyze some special cases (parallel and serial configurations). We are mainly interested in a counterpart of the Coupon Collector Problem for the model considered. The primary motivation for our research is the formal analysis of the mix networks (introduced by D. Chaum) and its immunity to so-called flooding (blending) attacks.
Traceability of locally hamiltonian and locally traceable graphs
Authors: De Wet Johan , Van Aardt Susan
Published: August 2021

If $\mathcal{P}$ is a given graph property, we say that a graph $G$ is locally $\mathcal{P}$ if $\langle N(v) \rangle$ has property $\mathcal{P}$ for every $v \in V(G)$ where $\langle N(v) \rangle$ is the induced graph on the open neighbourhood of the vertex $v$. Pareek and Skupien (C. M. Pareek and Z. Skupien , On the smallest non-Hamiltonian locally Hamiltonian graph, J. Univ. Kuwait (Sci.), 10:9 - 17, 1983) posed the following two questions. Question 1 Is 9 the smallest order of a connected nontraceable locally traceable graph? Question 2 Is 14 the smallest order of a connected nontraceable locally hamiltonian graph? We answer the second question in the affirmative, but show that the correct number for the first question is 10. We develop a technique to construct connected locally hamiltonian and locally traceable graphs that are not traceable. We use this technique to construct such graphs with various prescribed properties.
Edge Disjoint Hamilton Cycles in Knödel Graphs
Authors: Paulraja Palanivel Subramania Nadar , Sampath Kumar S
Published: August 2021

The vertices of the Knödel graph $W_{\Delta, n}$ on $n \geq 2$ vertices, $n$ even, and of maximum degree $\Delta, 1 \leq \Delta \leq \lfloor log_2(n) \rfloor$, are the pairs $(i,j)$ with $i=1,2$ and $0 \leq j \leq \frac{n}{2} -1$. For $0 \leq j \leq \frac{n}{2} -1$, there is an edge between vertex $(1,j)$ and every vertex $(2,j + 2^k - 1 (mod \frac{n}{2}))$, for $k=0,1,2, \ldots , \Delta -1$. Existence of a Hamilton cycle decomposition of $W_{k, 2k}, k \geq 6$ is not yet known, see Discrete Appl. Math. 137 (2004) 173-195. In this paper, it is shown that the $k$-regular Knödel graph $W_{k,2k}, k \geq 6$ has $ \lfloor \frac{k}{2} \rfloor - 1$ edge disjoint Hamilton cycles.
On degree-sequence characterization and the extremal number of edges for various Hamiltonian properties under fault tolerance
Authors: Chen Shih-Yan , Kao Shin-Shin , Su Hsun
Published: August 2021

Assume that $n, \delta ,k$ are integers with $0 \leq k < \delta < n$. Given a graph $G=(V,E)$ with $|V|=n$. The symbol $G-F, F \subseteq V$, denotes the graph with $V(G-F)=V-F$, and $E(G-F)$ obtained by $E$ after deleting the edges with at least one endvertex in $F$. $G$ is called $k$-vertex fault traceable, $k$-vertex fault Hamiltonian, or $k$-vertex fault Hamiltonian-connected if $G-F$ remains traceable, Hamiltonian, and Hamiltonian-connected for all $F$ with $0 \leq |F| \leq k$, respectively. The notations $h_1(n, \delta ,k)$, $h_2(n, \delta ,k)$, and $h_3(n, \delta ,k)$ denote the minimum number of edges required to guarantee an $n$-vertex graph with minimum degree $\delta (G) \geq \delta$ to be $k$-vertex fault traceable, $k$-vertex fault Hamiltonian, and $k$-vertex fault Hamiltonian-connected, respectively. In this paper, we establish a theorem which uses the degree sequence of a given graph to characterize the $k$-vertex fault traceability/hamiltonicity/Hamiltonian-connectivity, respectively. Then we use this theorem to obtain the formulas for $h_i(n, \delta ,k)$ for $1 \leq i \leq 3$, which improves and extends the known results for $k=0$.
A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups
Authors: Mikhaylova Inna
Published: August 2021

Epigroups are semigroups equipped with an additional unary operation called pseudoinversion. Each finite semigroup can be considered as an epigroup. We prove the following theorem announced by Zhil'tsov in 2000: the equational theory of the class of all epigroups coincides with the equational theory of the class of all finite epigroups and is decidable. We show that the theory is not finitely based but provide a transparent infinite basis for it.
On the complexity of edge-colored subgraph partitioning problems in network optimization
Authors: Zhang Xiaoyan , Zhang Zan-Bo , Broersma Hajo , Wen Xuelian
Published: August 2021

Network models allow one to deal with massive data sets using some standard concepts from graph theory. Understanding and investigating the structural properties of a certain data set is a crucial task in many practical applications of network optimization. Recently, labeled network optimization over colored graphs has been extensively studied. Given a (not necessarily properly) edge-colored graph $G=(V,E)$, a subgraph $H$ is said to be monochromatic if all its edges have the same color, and called multicolored if all its edges have distinct colors. The monochromatic clique and multicolored cycle partition problems have important applications in the problems of network optimization arising in information science and operations research. We investigate the computational complexity of the problems of determining the minimum number of monochromatic cliques or multicolored cycles that, respectively, partition $V(G)$. We show that the minimum monochromatic clique partition problem is APX-hard on monochromatic-diamond-free graphs, and APX-complete on monochromatic-diamond-free graphs in which the size of a maximum monochromatic clique is bounded by a constant. We also show that the minimum multicolored cycle partition problem is NP-complete, even if the input graph $G$ is triangle-free. Moreover, for the weighted version of the minimum monochromatic clique partition problem on monochromatic-diamond-free graphs, we derive an approximation algorithm with (tight) approximation guarantee ln $|V(G)|+1$.
The Chip Firing Game and Matroid Complexes
Authors: Merino Criel
Published: August 2021

In this paper we construct from a cographic matroid M, a pure multicomplex whose degree sequence is the h―vector of the the matroid complex of M. This result provesa conjecture of Richard Stanley [Sta96] in the particular case of cographic matroids. We also prove that the multicomplexes constructed are M―shellable, so proving a conjecture of Manoj Chari [Cha97] again in the case of cographic matroids. The proofs use results on a game for graphs called the chip firing game.
Megamaps: Construction and Examples
Authors: Zvonkin Alexander
Published: August 2021

We consider the usual model of hypermaps or, equivalently, bipartite maps, represented by pairs of permutations that act transitively on a set of edges E. The specific feature of our construction is the fact that the elements of E are themselves (or are labelled by) rather complicated combinatorial objects, namely, the 4-constellations, while the permutations defining the hypermap originate from an action of the Hurwitz braid group on these 4-constellations.The motivation for the whole construction is the combinatorial representation of the parameter space of the ramified coverings of the Riemann sphere having four ramification points.
A Poset Classifying Non-Commutative Term Orders
Authors: Snellman Jan
Published: August 2021

We study a poset $\Re$ on the free monoid (X*) on a countable alphabet X.This poset is determined by the fact that its total extensions are precisely the standard term orders on X*. We also investigate the poset classifying degree-compatible standard term orders, and the poset classifying sorted term orders. For the latter poset, we give a Galois coconnection with the Young lattice.
Larger than Life: Digital Creatures in a Family of Two-Dimensional Cellular Automata
Authors: Evans Kellie M.
Published: August 2021

We introduce the Larger than Life family of two-dimensional two-state cellular automata that generalize certain nearest neighbor outer totalistic cellular automaton rules to large neighborhoods. We describe linear and quadratic rescalings of John Conway's celebrated Game of Life to these large neighborhood cellular automaton rules and present corresponding generalizations of Life's famous gliders and spaceships. We show that, as is becoming well known for nearest neighbor cellular automaton rules, these ``digital creatures'' are ubiquitous for certain parameter values.
Periodic Patterns in Orbits of Certain Linear Cellular Automata
Authors: Barbé André , Haeseler Fritz
Published: August 2021

We discuss certain linear cellular automata whose cells take values in a finite field. We investigate the periodic behavior of the verticals of an orbit of the cellular automaton and establish that there exists, depending on the characteristic of the field, a universal behavior for the evolution of periodic verticals.
An n-Dimensional Generalization of the Rhombus Tiling
Authors: Linde Joakim , Moore Cristopher , Nordahl Mats G.
Published: August 2021

Several classic tilings, including rhombuses and dominoes, possess height functions which allow us to 1) prove ergodicity and polynomial mixing times for Markov chains based on local moves, 2) use coupling from the past to sample perfectly random tilings, 3) map the statistics of random tilings at large scales to physical models of random surfaces, and and 4) are related to the "arctic circle"' phenomenon.However, few examples are known for which this approach works in three or more dimensions.Here we show that the rhombus tiling can be generalized to n-dimensional tiles for any $n ≥ 3$. For each $n$, we show that a certain local move is ergodic, and conjecture that it has a mixing time of $O(L^{n+2} log L)$ on regions of size $L$. For $n=3$, the tiles are rhombohedra, and the local move consists of switching between two tilings of a rhombic dodecahedron.We use coupling from the past to sample random tilings of a large rhombic dodecahedron, and show that arctic regions exist in which the tiling is frozen into a fixed state.However, unlike the two-dimensional case in which the arctic region is an inscribed circle, here it seems to be octahedral.In addition, height fluctuations between the boundary of the region and the center appear to be constant rather than growing logarithmically.We conjecture that this is because the physics of the model is in a "smooth" phase where it is rigid at large scales, rather than a "rough" phase in which it is elastic.
Cellular Lines: An Introduction
Authors: Geer Panama , McLaughlin Harry W. , Unsworth Keith
Published: August 2021

This paper provides a definition of a cellular line in a cellular array that is independent of the notion of a line in $\mathfrak{R}^2$.It also presents a way of determining whether or not a cell set is a cellular line.Brief statements about existence, uniqueness, and properties of cellular lines are included.
Optimal Nonlinear Prediction of Random Fields on Networks
Authors: Shalizi Cosma Rohilla
Published: August 2021

It is increasingly common to encounter time-varying random fields on networks (metabolic networks, sensor arrays, distributed computing, etc.).This paper considers the problem of optimal, nonlinear prediction of these fields, showing from an information-theoretic perspective that it is formally identical to the problem of finding minimal local sufficient statistics.I derive general properties of these statistics, show that they can be composed into global predictors, and explore their recursive estimation properties.For the special case of discrete-valued fields, I describe a convergent algorithm to identify the local predictors from empirical data, with minimal prior information about the field, and no distributional assumptions.
Tiling a Rectangle with Polyominoes
Authors: Bodini Olivier
Published: August 2021

A polycube in dimension $d$ is a finite union of unit $d$-cubes whose vertices are on knots of the lattice $\mathbb{Z}^d$. We show that, for each family of polycubes $E$, there exists a finite set $F$ of bricks (parallelepiped rectangles) such that the bricks which can be tiled by $E$ are exactly the bricks which can be tiled by $F$. Consequently, if we know the set $F$, then we have an algorithm to decide in polynomial time if a brick is tilable or not by the tiles of $E$.
Root-theoretic Young Diagrams, Schubert Calculus and Adjoint Varieties
Authors: Searles Dominic , Yong Alexander
Published: August 2021

Root-theoretic Young diagrams are a conceptual framework to discuss existence of a root-system uniform and manifestly non-negative combinatorial rule for Schubert calculus. Our main results use them to obtain formulas for (co)adjoint varieties of classical Lie type. This case is the simplest after the previously solved (co)minuscule family. Yet our formulas possess both uniform and non-uniform features.

Les diagrammes de Young racine-théoriques forment un cadre conceptuel qui permet de discuter l’existence de règles de calcul de Schubert explicitement non-négatives et uniformes sur les systèmes de racines. Notre principal résultat est leur utilisation pour obtenir des formules pour les variétés (co)adjointes de types classiques. C’est le cas le plus simple après celui la famille (co)minuscule, déjà résolue. Nos formules possèdent toutefois des propriétés uniformes et non-uniformes.
Asymptotic properties of some minor-closed classes of graphs (conference version)
Authors: Bousquet-Mélou Mireille , Weller Kerstin
Published: August 2021

Let $\mathcal{A}$ be a minor-closed class of labelled graphs, and let $G_n$ be a random graph sampled uniformly from the set of n-vertex graphs of $\mathcal{A}$. When $n$ is large, what is the probability that $G_n$ is connected? How many components does it have? How large is its biggest component? Thanks to the work of McDiarmid and his collaborators, these questions are now solved when all excluded minors are 2-connected. Using exact enumeration, we study a collection of classes $\mathcal{A}$ excluding non-2-connected minors, and show that their asymptotic behaviour is sometimes rather different from the 2-connected case. This behaviour largely depends on the nature of the dominant singularity of the generating function $C(z)$ that counts connected graphs of $\mathcal{A}$. We classify our examples accordingly, thus taking a first step towards a classification of minor-closed classes of graphs. Furthermore, we investigate a parameter that has not received any attention in this context yet: the size of the root component. This follows non-gaussian limit laws (beta and gamma), and clearly deserves a systematic investigation.
A $q,t-$analogue of Narayana numbers
Authors: Aval Jean-Christophe , D'Adderio Michele , Dukes Mark , Hicks Angela , Le Borgne Yvan
Published: August 2021

We study the statistics $\mathsf{area}$, $\mathsf{bounce}$ and $\mathsf{dinv}$ associated to polyominoes in a rectangular box $m$ times $n$. We show that the bi-statistics ($\mathsf{area}$,$\mathsf{bounce}$) and ($\mathsf{area}$,$\mathsf{dinv}$) give rise to the same $q,t-$analogue of Narayana numbers, which was introduced by two of these authors in a recent paper. We prove the main conjectures of that same work, i.e. the symmetries in $q$ and $t$, and in $m$ and $n$ of these polynomials, by providing a symmetric functions interpretation which relates them to the famous diagonal harmonics.
The critical surface fugacity for self-avoiding walks on a rotated honeycomb lattice
Authors: Beaton Nicholas R.
Published: August 2021

In a recent paper with Bousquet-Mélou, de Gier, Duminil-Copin and Guttmann (2012), we proved that a model of self-avoiding walks on the honeycomb lattice, interacting with an impenetrable surface, undergoes an adsorption phase transition when the surface fugacity is 1+√2. Our proof used a generalisation of an identity obtained by Duminil-Copin and Smirnov (2012), and confirmed a conjecture of Batchelor and Yung (1995). Here we consider a similar model of self-avoiding walk adsorption on the honeycomb lattice, but with the impenetrable surface placed at a right angle to the previous orientation. For this model there also exists a conjecture for the critical surface fugacity, made by Batchelor, Bennett-Wood and Owczarek (1998). We adapt the methods of the earlier paper to this setting in order to prove the critical surface fugacity, but have to deal with several subtle complications which arise. This article is an abbreviated version of a paper of the same title, currently being prepared for submission.
Gale-Robinson Sequences and Brane Tilings
Authors: Jeong In-Jee , Musiker Gregg , Zhang Sicong
Published: August 2021

We study variants of Gale-Robinson sequences, as motivated by cluster algebras with principal coefficients. For such cases, we give combinatorial interpretations of cluster variables using brane tilings, as from the physics literature.
Computing nilpotent quotients in finitely presented Lie rings
Authors: Schneider Csaba
Published: August 2021

A nilpotent quotient algorithm for finitely presented Lie rings over \textbfZ (and \textbfQ) is described. The paper studies the graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented, nilpotent Lie ring. A nilpotent presentation consists of generators for the abelian group and the products expressed as linear combinations for pairs formed by generators. Using that presentation the word problem is decidable in L. Provided that the Lie ring L is graded, it is possible to determine the canonical presentation for a lower central factor of L. Complexity is studied and it is shown that optimising the presentation is NP-hard. Computational details are provided with examples, timing and some structure theorems obtained from computations. Implementation in C and GAP interface are available.
Gelfand Models for Diagram Algebras
Authors: Halverson Tom
Published: August 2021

A Gelfand model for a semisimple algebra $\mathsf{A}$ over $\mathbb{C}$ is a complex linear representation that contains each irreducible representation of $\mathsf{A}$ with multiplicity exactly one. We give a method of constructing these models that works uniformly for a large class of combinatorial diagram algebras including: the partition, Brauer, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, and planar rook monoid algebras. In each case, the model representation is given by diagrams acting via ``signed conjugation" on the linear span of their vertically symmetric diagrams. This representation is a generalization of the Saxl model for the symmetric group, and, in fact, our method is to use the Jones basic construction to lift the Saxl model from the symmetric group to each diagram algebra. In the case of the planar diagram algebras, our construction exactly produces the irreducible representations of the algebra.
Rational Catalan Combinatorics: The Associahedron
Authors: Armstrong Drew , Rhoades Brendon , Williams Nathan
Published: August 2021

Each positive rational number $x>0$ can be written $\textbf{uniquely}$ as $x=a/(b-a)$ for coprime positive integers 0<$a$<$b$. We will identify $x$ with the pair $(a,b)$. In this extended abstract we use $\textit{rational Dyck paths}$ to define for each positive rational $x>0$ a simplicial complex $\mathsf{Ass} (x)=\mathsf{Ass} (a,b)$ called the $\textit{rational associahedron}$. It is a pure simplicial complex of dimension $a-2$, and its maximal faces are counted by the $\textit{rational Catalan number}$ $\mathsf{Cat} (x)=\mathsf{Cat}(a,b):=\frac{(a+b-1)! }{ a! b!}.$ The cases $(a,b)=(n,n+1)$ and $(a,b)=(n,kn+1)$ recover the classical associahedron and its Fuss-Catalan generalization studied by Athanasiadis-Tzanaki and Fomin-Reading. We prove that $\mathsf{Ass} (a,b)$ is shellable and give nice product formulas for its $h$-vector (the $\textit{rational Narayana numbers}$) and $f$-vector (the $\textit{rational Kirkman numbers}$). We define $\mathsf{Ass} (a,b)$ .
Non-symmetric Cauchy kernels
Authors: Azenhas Olga , Emami Aram
Published: August 2021

Using an analogue of the Robinson-Schensted-Knuth (RSK) algorithm for semi-skyline augmented fillings, due to Sarah Mason, we exhibit expansions of non-symmetric Cauchy kernels $∏_(i,j)∈\eta (1-x_iy_j)^-1$, where the product is over all cell-coordinates $(i,j)$ of the stair-type partition shape $\eta$ , consisting of the cells in a NW-SE diagonal of a rectangle diagram and below it, containing the biggest stair shape. In the spirit of the classical Cauchy kernel expansion for rectangle shapes, this RSK variation provides an interpretation of the kernel for stair-type shapes as a family of pairs of semi-skyline augmented fillings whose key tableaux, determined by their shapes, lead to expansions as a sum of products of two families of key polynomials, the basis of Demazure characters of type A, and the Demazure atoms. A previous expansion of the Cauchy kernel in type A, for the stair shape was given by Alain Lascoux, based on the structure of double crystal graphs, and by Amy M. Fu and Alain Lascoux, relying on Demazure operators, which was also used to recover expansions for Ferrers shapes.
A Divided Difference Operator
Authors: Teff Nicholas
Published: August 2021

We construct a divided difference operator using GKM theory. This generalizes the classical divided difference operator for the cohomology of the complete flag variety. This construction proves a special case of a recent conjecture of Shareshian and Wachs. Our methods are entirely combinatorial and algebraic, and rely heavily on the combinatorics of root systems and Bruhat order.
A Parking Function Setting for Nabla Images of Schur Functions
Authors: Kim Yeonkyung
Published: August 2021

In this article, we show how the compositional refinement of the ``Shuffle Conjecture'' due to Jim Haglund, Jennifer Morse, and Mike Zabrocki can be used to express the image of a Schur function under the Bergeron-Garsia Nabla operator as a weighted sum of a suitable collection of ``Parking Functions.'' The validity of these expressions is, of course, going to be conjectural until the compositional refinement of the Shuffle Conjecture is established.
Evaluations of Hecke algebra traces at Kazhdan-Lusztig basis elements
Authors: Clearman Sam , Hyatt Matthew , Shelton Brittany , Skandera Mark
Published: August 2021

For irreducible characters $\{ \chi_q^{\lambda} | \lambda \vdash n\}$ and induced sign characters $\{\epsilon_q^{\lambda} | \lambda \vdash n\}$ of the Hecke algebra $H_n(q)$, and Kazhdan-Lusztig basis elements $C'_w(q)$ with $w$ avoiding the pattern 312, we combinatorially interpret the polynomials $\chi_q^{\lambda}(q^{\frac{\ell(w)}{2}} C'_w(q))$ and $\epsilon_q^{\lambda}(q^{\frac{\ell(w)}{2}} C'_w(q))$. This gives a new algebraic interpretation of $q$-chromatic symmetric functions of Shareshian and Wachs. We conjecture similar interpretations and generating functions corresponding to other $H_n(q)$-traces.

Pour les caractères irréductibles $\{ \chi_q^{\lambda} | \lambda \vdash n\}$ et les caractères induits du signe $\{\epsilon_q^{\lambda} | \lambda \vdash n\}$ du algèbre de Hecke, et les éléments $C'_w(q)$ du base Kazhdan-Lusztig avec $w$ qui évite le motif 312, nous interprétons les polynômes $\chi_q^{\lambda}(q^{\frac{\ell(w)}{2}} C'_w(q))$ et $\epsilon_q^{\lambda}(q^{\frac{\ell(w)}{2}} C'_w(q))$ de manière combinatoire. Cette donne une nouvelle interprétation aux fonctions symétriques $q$-chromatiques de Shareshian et Wachs. Nous conjecturons des interprétations semblables et des fonctions génératrices qui correspondent aux autres applications centrales de $H_n(q)$.
Counting words with Laguerre polynomials
Authors: Taylor Jair
Published: August 2021

We develop a method for counting words subject to various restrictions by finding a combinatorial interpretation for a product of formal sums of Laguerre polynomials. We use this method to find the generating function for $k$-ary words avoiding any vincular pattern that has only ones. We also give generating functions for $k$-ary words cyclically avoiding vincular patterns with only ones whose runs of ones between dashes are all of equal length, as well as the analogous results for compositions.

Nous développons une méthode pour compter des mots satisfaisants certaines restrictions en établissant une interprétation combinatoire utile d’un produit de sommes formelles de polynômes de Laguerre. Nous utilisons cette méthode pour trouver la série génératrice pour les mots $k$-aires évitant les motifs vinculars consistant uniquement de uns. Nous présentons en suite les séries génératrices pour les mots $k$-aires évitant de façon cyclique les motifs vinculars consistant uniquement de uns et dont chaque série de uns entre deux tirets est de la même longueur. Nous présentons aussi les résultats analogues pour les compositions.
The number of $k$-parallelogram polyominoes
Authors: Battaglino Daniela , Fédou Jean-Marc , Rinaldi Simone , Socci Samanta
Published: August 2021

A convex polyomino is $k$-$\textit{convex}$ if every pair of its cells can be connected by means of a $\textit{monotone path}$, internal to the polyomino, and having at most $k$ changes of direction. The number $k$-convex polyominoes of given semi-perimeter has been determined only for small values of $k$, precisely $k=1,2$. In this paper we consider the problem of enumerating a subclass of $k$-convex polyominoes, precisely the $k$-$\textit{convex parallelogram polyominoes}$ (briefly, $k$-$\textit{parallelogram polyominoes}$). For each $k \geq 1$, we give a recursive decomposition for the class of $k$-parallelogram polyominoes, and then use it to obtain the generating function of the class, which turns out to be a rational function. We are then able to express such a generating function in terms of the $\textit{Fibonacci polynomials}$.

Un polyomino convexe est dit $k$-$\textit{convexe}$ lorsqu’on peut relier tout couple de cellules par un chemin monotone ayant au plus $k$ changements de direction. Le nombre de polyominos $k$-convexes n’est connu que pour les petites valeurs de $k = 1,2$. Dans cet article, nous énumérons la sous-classe des polyominos $k$-convexes qui sont également parallélogramme, que nous appelons $k$-$\textit{parallélogrammes}$. Nous donnons une décomposition récursive de la classe des polyominos $k$-parallélogrammes pour chaque $k$, et en déduisons la fonction génératrice, rationnelle, selon le demi-périmètre. Nous donnons enfin une expression de cette fonction génératrice en termes des $\textit{polynômes de Fibonacci}$.
On the $H$-triangle of generalised nonnesting partitions
Authors: Thiel Marko
Published: August 2021

With a crystallographic root system $\Phi$ , there are associated two Catalan objects, the set of nonnesting partitions $NN(\Phi)$, and the cluster complex $\Delta (\Phi)$. These possess a number of enumerative coincidences, many of which are captured in a surprising identity, first conjectured by Chapoton. We prove this conjecture, and indicate its generalisation for the Fuß-Catalan objects $NN^{(k)}(\Phi)$ and $\Delta^{(k)}(\Phi)$, conjectured by Armstrong.

A un système de racines cristallographique, on associe deux objets de Catalan: l’ensemble des partitions non-emboîtées $NN(\Phi)$, et le complexe d’amas$\Delta (\Phi)$. Ils possèdent de nombreuses coïncidences énumératives, plusieurs d’entre elles étant capturées dans une identité surprenante, conjecturée par Chapoton. Nous démontrons cette conjecture, et indiquons sa généralisation pour les objets de Fuß-Catalan $NN^{(k)}(\Phi)$ et $\Delta^{(k)}(\Phi)$, conjecturée par Armstrong.
Factorization of the Characteristic Polynomial
Authors: Hallam Joshua , Sagan Bruce
Published: August 2021

We introduce a new method for showing that the roots of the characteristic polynomial of a finite lattice are all nonnegative integers. Our method gives two simple conditions under which the characteristic polynomial factors. We will see that Stanley's Supersolvability Theorem is a corollary of this result. We can also use this method to demonstrate a new result in graph theory and give new proofs of some classic results concerning the Möbius function.
Newton Polytopes of Cluster Variables of Type $A_n$
Authors: Kalman Adam
Published: August 2021

We study Newton polytopes of cluster variables in type $A_n$ cluster algebras, whose cluster and coefficient variables are indexed by the diagonals and boundary segments of a polygon. Our main results include an explicit description of the affine hull and facets of the Newton polytope of the Laurent expansion of any cluster variable, with respect to any cluster. In particular, we show that every Laurent monomial in a Laurent expansion of a type $A$ cluster variable corresponds to a vertex of the Newton polytope. We also describe the face lattice of each Newton polytope via an isomorphism with the lattice of elementary subgraphs of the associated snake graph.

Nous étudions polytopes de Newton des variables amassées dans les algèbres amassées de type A, dont les variables sont indexés par les diagonales et les côtés d’un polygone. Nos principaux résultats comprennent une description explicite de l’enveloppe affine et facettes du polytope de Newton du développement de Laurent de toutes variables amassées. En particulier, nous montrons que tout monôme Laurent dans un développement de Laurent de variable amassée de type A correspond à un sommet du polytope de Newton. Nous décrivons aussi le treillis des facesde chaque polytope de Newton via un isomorphisme avec le treillis des sous-graphes élémentaires du “snake graph” qui est associé.
Kronecker coefficients: the tensor square conjecture and unimodality
Authors: Pak Igor , Panova Greta , Vallejo Ernesto
Published: August 2021

We consider two aspects of Kronecker coefficients in the directions of representation theory and combinatorics. We consider a conjecture of Jan Saxl stating that the tensor square of the $S_n$-irreducible representation indexed by the staircase partition contains every irreducible representation of $S_n$. We present a sufficient condition allowing to determine whether an irreducible representation is a constituent of a tensor square and using this result together with some analytic statements on partitions we prove Saxl conjecture for several partition classes. We also use Kronecker coefficients to give a new proof and a generalization of the unimodality of Gaussian ($q$-binomial) coefficients as polynomials in $q$, and extend this to strict unimodality.

Nous considérons deux aspects des coefficients de Kronecker dans le domaine de la Théorie des Représentations et le domaine Combinatoire. Nous considérons la conjecture suivante de Jan Saxl: le tenseur au carré de la représentation irréductible du groupe $S_n$ indexée par la partition $S_n (n= \left( \begin{array}{cc} k+1 \\ 2 \end{array} \right))$. Nous présentons une condition suffisante qui permet de déterminer si une représentation irréductible est une constituante d’un tenseur au carré. En utilisant ce résultat avec des résultats analytiques sur les partitions, nous prouvons la conjecture de Saxl pour plusieurs classes de partitions. Nous utilisons aussi les coefficients de Kronecker pour donner une nouvelle preuve et une généralisation de l’unimodalité des coefficients de Gauss ($q$-binomiaux) comme polynômes en $q$ et nous étendons cela à l’unimodalité stricte.
Super quasi-symmetric functions via Young diagrams
Authors: Aval Jean-Christophe , Féray Valentin , Novelli Jean-Christophe , Thibon J.-Y.
Published: August 2021

We consider the multivariate generating series $F_P$ of $P-$partitions in infinitely many variables $x_1, x_2, \ldots$ . For some family of ranked posets $P$, it is natural to consider an analog $N_P$ with two infinite alphabets. When we collapse these two alphabets, we trivially recover $F_P$. Our main result is the converse, that is, the explicit construction of a map sending back $F_P$ onto $N_P$. We also give a noncommutative analog of the latter. An application is the construction of a basis of $\mathbf{WQSym}$ with a non-negative multiplication table, which lifts a basis of $\textit{QSym}$ introduced by K. Luoto.
Polytopes and $C^1$-convex bodies
Authors: Adiprasito Karim , Samper José Alejandro
Published: August 2021

The face numbers of simplicial polytopes that approximate $C^1$-convex bodies in the Hausdorff metric is studied. Several structural results about the skeleta of such polytopes are studied and used to derive a lower bound theorem for this class of polytopes. This partially resolves a conjecture made by Kalai in 1994: if a sequence $\{P_n\}_{n=0}^{\infty}$ of simplicial polytopes converges to a $C^1$-convex body in the Hausdorff distance, then the entries of the $g$-vector of $P_n$ converge to infinity.

Nous étudions les nombres de faces de polytopes simpliciaux qui se rapprochent de $C^1$-corps convexes dans la métrique Hausdorff. Plusieurs résultats structurels sur le skeleta de ces polytopes sont recherchées et utilisées pour calculer un théorème limite inférieure de cette classe de polytopes. Cela résout partiellement une conjecture formulée par Kalai en 1994: si une suite $\{P_n\}_{n=0}^{\infty}$ de polytopes simpliciaux converge vers une $C^1$-corps convexe dans la distance Hausdorff, puis les entrées du $g$-vecteur de $P_n$ convergent vers l’infini.
Bijective Proofs of Partition Identities of MacMahon, Andrews, and Subbarao
Authors: Fu Shishuo , Sellers James
Published: August 2021

We revisit a classic partition theorem due to MacMahon that relates partitions with all parts repeated at least once and partitions with parts congruent to $2,3,4,6 \pmod{6}$, together with a generalization by Andrews and two others by Subbarao. Then we develop a unified bijective proof for all four theorems involved, and obtain a natural further generalization as a result.

Nous revisitons un théorème de partitions d'entiers dû à MacMahon, qui relie les partitions dont chaque part est répétée au moins une fois et celles dont les parts sont congrues à $2, 3, 4, 6 \pmod{6}$, ainsi qu'une généralisation par Andrews et deux autres par Subbarao. Ensuite nous construisons unepreuve bijective unifiée pour tous les quatre théorèmes ci-dessus, et obtenons de plus une généralisation naturelle.
The Selberg integral and Young books
Authors: Kim Jang Soo , Oh Suho
Published: August 2021

The Selberg integral is an important integral first evaluated by Selberg in 1944. Stanley found a combinatorial interpretation of the Selberg integral in terms of permutations. In this paper, new combinatorial objects "Young books'' are introduced and shown to have a connection with the Selberg integral. This connection gives an enumeration formula for Young books. It is shown that special cases of Young books become standard Young tableaux of various shapes: shifted staircases, squares, certain skew shapes, and certain truncated shapes. As a consequence, enumeration formulas for standard Young tableaux of these shapes are obtained.

L’intégrale de Selberg est une partie intégrante importante abord évaluée par Selberg en 1944. Stanley a trouvé une interprétation combinatoire de la Selberg aide en permutations. Dans ce papier, de nouveaux objets combinatoires “livres de Young” sont introduits et présentés à avoir un lien avec l’intégrale de Selberg. Cette connexion donne une formule d'énumération pour les livres de Young. Il est démontré que des cas spéciaux de livres de Young deviennent tableaux standards de Young de formes diverses: escaliers décalés, places, certaines formes gauches et certaines formes tronquées. En conséquence, l’énumération des formules pour tableaux standards de Young de ces formes sont obtenues.