bluuebunny/crossref_metadata_2025_split huggingface dataset:
Generalised cluster algebras and $q$-characters at roots of unity
Authors: Gleitz Anne-Sophie 
Published: August 2021

Shapiro and Chekhov (2011) have introduced the notion of <i>generalised cluster algebra</i>; we focus on an example in type $C_n$. On the other hand, Chari and Pressley (1997), as well as Frenkel and Mukhin (2002), have studied the <i>restricted integral form</i> $U^{\mathtt{res}}_ε (\widehat{\mathfrak{g}})$ of a quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ where $q=ε$ is a root of unity. Our main result states that the Grothendieck ring of a tensor subcategory $C_{ε^\mathbb{z}}$ of representations of $U^{\mathtt{res}}_ε (L\mathfrak{sl}_2)$ is a generalised cluster algebra of type $C_{l−1}$, where $l$ is the order of $ε^2$. We also state a conjecture for $U^{\mathtt{res}}_ε (L\mathfrak{sl}_3)$, and sketch a proof for $l=2$.
Shapiro et Chekhov (2011) ont introduit la notion d'<i>algèbre amassée généralisée</i>; nous étudions un exemple en type $C_n$. Par ailleurs, Chari et Pressley (1997), ainsi que Frenkel et Mukhin (2002), ont étudié la <i>forme entière restreinte</i> $U^{\mathtt{res}}_ε (\widehat{\mathfrak{g}})$ d'une algèbre affine quantique $U_q(\widehat{\mathfrak{g}})$ où $q=ε$ est une racine de l'unité. Notre résultat principal affirme que l'anneau de Grothendieck d'une sous-catégorie tensorielle $C_{ε^\mathbb{z}}$ de représentations de $U^{\mathtt{res}}_ε (L\mathfrak{sl}_2)$ est une algèbre amassée généralisée de type $C_{l−1}$, où $l$ est l'ordre de $ε^2$. Nous conjecturons une propriété similaire pour $U^{\mathtt{res}}_ε (L\mathfrak{sl}_3)$ et donnons un aperçu de la preuve pour $l=2$.
On bijections between monotone rooted trees and the comb basis
Authors: Liu Fu 
Published: August 2021

Let $A$ be an $n$-element set. Let $\mathscr{L} ie_2(A)$ be the multilinear part of the free Lie algebra on $A$ with a pair of compatible Lie brackets, and $\mathscr{L} ie_2(A, i)$ the subspace of $\mathscr{L} ie_2(A)$ generated by all the monomials in $\mathscr{L} ie_2(A)$ with $i$ brackets of one type. The author and Dotsenko-Khoroshkin show that the dimension of $\mathscr{L} ie_2(A, i)$ is the size of $R_{A,i}$, the set of rooted trees on $A$ with $i$ decreasing edges. There are three families of bases known for $\mathscr{L} ie_2(A, i)$ the comb basis, the Lyndon basis, and the Liu-Lyndon basis. Recently, González D&apos;León and Wachs, in their study of (co)homology of the poset of weighted partitions (which has close connection to $\mathscr{L} ie_2(A, i)$), asked whether there are nice bijections between $R_{A,i}$ and the comb basis or the Lyndon basis. We give a natural definition for &quot; nice bijections &quot; , and conjecture that there is a unique nice bijection between $R_{A,i}$ and the comb basis. We show the conjecture is true for the extreme cases where $i=0$, $n−1$.
Soit $A$ un ensemble à $n$ éléments. Soit $\mathscr{L} ie_2(A)$ la partie multilinéaire de l'algèbre de Lie libre sur $A$ avec une paire de crochets de Lie compatibles et $\mathscr{L} ie_2(A, i)$ le sous-espace de$\mathscr{L} ie_2(A)$ généré par tous les monômes en $\mathscr{L} ie_2(A)$ avec $i$ supports d'un même type. L'auteur et Dotsenko-Khoroshkin montrent que la dimension de $\mathscr{L} ie_2(A, i)$ est la taille de la $R_{A,i}$, l'ensemble des arbres enracinés sur $A$ avec $i$ arêtes décroissantes. Il y a trois familles de bases connues pour $\mathscr{L} ie_2(A, i)$ : la base de peigne, la base Lyndon, et la base Liu-Lyndon. Récemment, Gonzalez, D' Léon et Wachs, dans leur étude de (co)-homologie de la poset des partitions pondérés, ont demandé si il y a des bijections jolies entre$R_{A,i}$, et la base de peigne ou la base Lyndon. Nous donnons une définition naturelle de "bijection jolie " , et un conjecture qu'il y a une seule bijection jolie entre $R_{A,i}$, et la base de peigne. Nous montrons que la conjecture est vraie pour les cas extrêmes: $i = 0$, et $n − 1$.
The cluster and dual canonical bases of Z [x_11, ..., x_33] are equal
Authors: Rhoades Brendon 
Published: August 2021

The polynomial ring $\mathbb{Z}[x_{11}, . . . , x_{33}]$ has a basis called the dual canonical basis whose quantization facilitates the study of representations of the quantum group $U_q(\mathfrak{sl}3(\mathbb{C}))$. On the other hand, $\mathbb{Z}[x_{11}, . . . , x_{33}]$ inherits a basis from the cluster monomial basis of a geometric model of the type $D_4$ cluster algebra. We prove that these two bases are equal. This extends work of Skandera and proves a conjecture of Fomin and Zelevinsky. This also provides an explicit factorization of the dual canonical basis elements of $\mathbb{Z}[x_{11}, . . . , x_{33}]$ into irreducible polynomials.
L'anneau de polynômes $\mathbb{Z}[x_{11}, . . . , x_{33}]$ a une base appelée base duale canonique, et dont une quantification facilite l'étude des représentations du groupe quantique $U_q(\mathfrak{sl}3(\mathbb{C}))$. D'autre part, $\mathbb{Z}[x_{11}, . . . , x_{33}]$ admet une base issue de la base des monômes d'amas de l'algèbre amassée géométrique de type $D_4$. Nous montrons que ces deux bases sont égales. Ceci prolonge les travaux de Skandera et démontre une conjecture de Fomin et Zelevinsky. Ceci fournit également une factorisation explicite en polynômes irréductibles des éléments de la base duale canonique de $\mathbb{Z}[x_{11}, . . . , x_{33}]$ .
The # product in combinatorial Hopf algebras
Authors: Aval Jean-Christophe , Novelli Jean-Christophe , Thibon Jean-Yves 
Published: August 2021

We show that the # product of binary trees introduced by Aval and Viennot (2008) is in fact defined at the level of the free associative algebra, and can be extended to most of the classical combinatorial Hopf algebras.
Nous montrons que le produit # introduit par Aval et Viennot (2008) est défini au niveau de l'algèbre associative libre, et peut être étendu à la plupart des algèbres de Hopf combinatoires classiques.
Algebraic and combinatorial structures on Baxter permutations
Authors: Giraudo Samuele 
Published: August 2021

We give a new construction of a Hopf subalgebra of the Hopf algebra of Free quasi-symmetric functions whose bases are indexed by objects belonging to the Baxter combinatorial family (\emphi.e. Baxter permutations, pairs of twin binary trees, \emphetc.). This construction relies on the definition of the Baxter monoid, analog of the plactic monoid and the sylvester monoid, and on a Robinson-Schensted-like insertion algorithm. The algebraic properties of this Hopf algebra are studied. This Hopf algebra appeared for the first time in the work of Reading [Lattice congruences, fans and Hopf algebras, \textitJournal of Combinatorial Theory Series A, 110:237–273, 2005].
Nous proposons une nouvelle construction d'une sous-algèbre de Hopf de l'algèbre de Hopf des fonctions quasi-symétriques libres dont les bases sont indexées par les objets de la famille combinatoire de Baxter (\emphi.e. permutations de Baxter, couples d'arbres binaires jumeaux, \emphetc.). Cette construction repose sur la définition du mono\"ıde de Baxter, analogue du mono\"ıde plaxique et du mono\"ıde sylvestre, et d'un algorithme d'insertion analogue à l'algorithme de Robinson-Schensted. Les propriétés algébriques de cette algèbre de Hopf sont étudiées. Cette algèbre de Hopf est apparue pour la première fois dans le travail de Reading [Lattice congruences, fans and Hopf algebras, \textitJournal of Combinatorial Theory Series A, 110:237–273, 2005].
Matrices with restricted entries and q-analogues of permutations (extended abstract)
Authors: Lewis Joel Brewster , Liu Ricky Ini , Morales Alejandro H. , Panova Greta , Sam Steven V , Zhang Yan 
Published: August 2021

We study the functions that count matrices of given rank over a finite field with specified positions equal to zero. We show that these matrices are $q$-analogues of permutations with certain restricted values. We obtain a simple closed formula for the number of invertible matrices with zero diagonal, a $q$-analogue of derangements, and a curious relationship between invertible skew-symmetric matrices and invertible symmetric matrices with zero diagonal. In addition, we provide recursions to enumerate matrices and symmetric matrices with zero diagonal by rank. Finally, we provide a brief exposition of polynomiality results for enumeration questions related to those mentioned, and give several open questions.
Nous étudions certaines fonctions qui comptent des matrices à coefficients dans un corps fini d'un rang donné ayant certaines entrées égales à zéro. Nous montrons que ces matrices sont des $q$-analogues des permutations avec certaines valeurs restreintes, et nous obtenons une formule simple et fermée pour calculer le nombre de matrices inversibles avec zéro sur toute la diagonale. De plus nous donnons des récursions pour énumérer par le rang les matrices et les matrices symétriques avec des zéros sur la diagonale. Pour finir, nous faisons un exposé concis des résultats sur la polynomialité des fonctions énumératives liées à celles qui sont mentionnées antérieurement, et nous incluons plusieurs questions ouvertes.
The down operator and expansions of near rectangular k-Schur functions
Authors: Berg Chris , Saliola Franco , Serrano Luis 
Published: August 2021

We prove that the Lam-Shimozono ``down operator'' on the affine Weyl group induces a derivation of the affine Fomin-Stanley subalgebra of the affine nilCoxeter algebra. We use this to verify a conjecture of Berg, Bergeron, Pon and Zabrocki describing the expansion of k-Schur functions of ``near rectangles'' in the affine nilCoxeter algebra. Consequently, we obtain a combinatorial interpretation of the corresponding k-Littlewood–Richardson coefficients.
Nous montrons que l’opérateur ``down'', défini par Lam et Shimozono sur le groupe de Weyl affine, induit une dérivation de la sous-algèbre affine de Fomin-Stanley de l'algèbre affine de nilCoxeter. Nous employons cette dérivation pour vérifier une conjecture de Berg, Bergeron, Pon et Zabrocki sur l'expansion des k-fonctions de Schur indexées par les partitions qui sont ``presque rectangles''. Par conséquent, nous obtenons une interprétation combinatoire des k-coefficients de Littlewood–Richardson correspondants.
On a Subposet of the Tamari Lattice
Authors: Csar Sebastian A. , Sengupta Rik , Suksompong Warut 
Published: August 2021

We discuss some properties of a subposet of the Tamari lattice introduced by Pallo (1986), which we call the comb poset. We show that three binary functions that are not well-behaved in the Tamari lattice are remarkably well-behaved within an interval of the comb poset: rotation distance, meets and joins, and the common parse words function for a pair of trees. We relate this poset to a partial order on the symmetric group studied by Edelman (1989).
Nous discutons d'un subposet du treillis de Tamari introduit par Pallo. Nous appellons ce poset le comb poset. Nous montrons que trois fonctions binaires qui ne se comptent pas bien dans le trellis de Tamari se comptent bien dans un intervalle du comb poset : distance dans le trellis de Tamari, le supremum et l'infimum et les parsewords communs. De plus, nous discutons un rapport entre ce poset et un ordre partiel dans le groupe symétrique étudié par Edelman.
Staircase Macdonald polynomials and the $q$-Discriminant
Authors: Boussicault Adrien , Luque Jean-Gabriel 
Published: August 2021

We prove that a $q$-deformation $\mathfrak{D}_k(\mathbb{X};q)$ of the powers of the discriminant is equal, up to a normalization, to a specialization of a Macdonald polynomial indexed by a staircase partition. We investigate the expansion of $\mathfrak{D}_k(\mathbb{X};q)$ on different bases of symmetric functions. In particular, we show that its expansion on the monomial basis can be explicitly described in terms of standard tableaux and we generalize a result of King-Toumazet-Wybourne about the expansion of the $q$-discriminant on the Schur basis.
Nous montrons qu’une $q$-déformation $\mathfrak{D}_k(\mathbb{X};q)$ des puissances du discriminant est égale, à un coefficient de normalisation près, à un polynôme de Macdonald indexé par une partition escalier pour une certaine spécialisation des paramètres. Nous examinons les développements de $\mathfrak{D}_k(\mathbb{X};q)$ dans différentes bases de fonctions symétriques. En particulier, nous montrons que son écriture dans la base des fonctions monomiales peut être explicitement décrite en terme de tableaux standard et nous généralisons un résultat de King-Toumazet-Wybourne sur le développement du $q$-discriminant dans la base de Schur.
On hereditary Helly classes of graphs
Authors: Groshaus Marina , Szwarcfiter Jayme Luiz 
Published: August 2021

Graphs and Algorithms
In graph theory, the Helly property has been applied to families of sets, such as cliques, disks, bicliques, and neighbourhoods, leading to the classes of clique-Helly, disk-Helly, biclique-Helly, neighbourhood-Helly graphs, respectively. A natural question is to determine for which graphs the corresponding Helly property holds, for every induced subgraph. This leads to the corresponding classes of hereditary clique-Helly, hereditary disk-Helly, hereditary biclique-Helly and hereditary neighbourhood-Helly graphs. In this paper, we describe characterizations in terms of families of forbidden subgraphs, for the classes of hereditary biclique-Helly and hereditary neighbourhood-Helly graphs. We consider both open and closed neighbourhoods. The forbidden subgraphs are all of fixed size, implying polynomial time recognition for these classes.
A further analysis of Cuckoo Hashing with a Stash and Random Graphs of Excess r
Authors: Kutzelnigg Reinhard 
Published: August 2021

Analysis of Algorithms
Cuckoo hashing is a hash table data structure offering constant access time, even in the worst case. As a drawback, the construction fails with small, but practically significant probability. However, Kirsch et al. (2008) showed that a constant-sized additional memory, the so called stash, is sufficient to reduce the failure rate drastically. But so far, using a modified insertion procedure that demands additional running time to look for an admissible key is required. As a major contribution of this paper, we show that the same bounds on the failure probability hold even without this search process and thus, the performance increases. Second, we extend the analysis to simplified cuckoo hashing, a variant of the original algorithm offering increased performance. Further, we derive some explicit asymptotic approximations concerning the number of usual resp. bipartite graphs related to the data structures. Using these results, we obtain much more precise asymptotic expansions of the success rate. These calculations are based on a generating function approach and applying the saddle point method. Finally, we provide numerical results to support the theoretical analysis.
Edge-Removal and Non-Crossing Configurations in Geometric Graphs
Authors: Aichholzer Oswin , Cabello Sergio , Fabila-Monroy Ruy , Flores-Peñaloza David , Hackl Thomas , Huemer Clemens , Hurtado Ferran , Wood David R. 
Published: August 2021

Graphs and Algorithms
A geometric graph is a graph G = (V, E) drawn in the plane, such that V is a point set in general position and E is a set of straight-line segments whose endpoints belong to V. We study the following extremal problem for geometric graphs: How many arbitrary edges can be removed from a complete geometric graph with n vertices such that the remaining graph still contains a certain non-crossing subgraph. The non-crossing subgraphs that we consider are perfect matchings, subtrees of a given size, and triangulations. In each case, we obtain tight bounds on the maximum number of removable edges.
Polynomial-time normalizers
Authors: Luks Eugene M. , Miyazaki Takunari 
Published: August 2021

special issue in honor of Laci Babai's 60th birthday: Combinatorics, Groups, Algorithms, and Complexity
For an integer constant d \textgreater 0, let Gamma(d) denote the class of finite groups all of whose nonabelian composition factors lie in S-d; in particular, Gamma(d) includes all solvable groups. Motivated by applications to graph-isomorphism testing, there has been extensive study of the complexity of computation for permutation groups in this class. In particular, the problems of finding set stabilizers, intersections and centralizers have all been shown to be polynomial-time computable. A notable open issue for the class Gamma(d) has been the question of whether normalizers can be found in polynomial time. We resolve this question in the affirmative. We prove that, given permutation groups G, H \textless= Sym(Omega) such that G is an element of Gamma(d), the normalizer of H in G can be found in polynomial time. Among other new procedures, our method includes a key subroutine to solve the problem of finding stabilizers of subspaces in linear representations of permutation groups in Gamma(d).
On the complexity of vertex-coloring edge-weightings
Authors: Dudek Andrzej , Wajc David 
Published: August 2021

Graphs and Algorithms
Given a graph G = (V; E) and a weight function omega : E -\textgreater R, a coloring of vertices of G, induced by omega, is defined by chi(omega) (nu) = Sigma(e(sic)nu) omega (e) for all nu is an element of V. In this paper, we show that determining whether a particular graph has a weighting of the edges from \1, 2\ that induces a proper vertex coloring is NP-complete.
The Variance of the Profile in Digital Search Trees
Authors: Kazemi Ramin , Vahidi-Asl Mohammad Q. 
Published: August 2021

Analysis of Algorithms
What today we call digital search tree (DST) is Coffman and Eve's sequence tree introduced in 1970. A digital search tree is a binary tree whose ordering of nodes is based on the values of bits in the binary representation of a node's key. In fact, a digital search tree is a digital tree in which strings (keys, words) are stored directly in internal nodes. The profile of a digital search tree is a parameter that counts the number of nodes at the same distance from the root. In this paper we concentrate on external profile, i.e., the number of external nodes at level k when n strings are sorted. By assuming that the n input strings are independent and follow a (binary) memoryless source the asymptotic behaviour of the average profile was determined by Drmota and Szpankowski (2011). The purpose of the present paper is to extend their analysis and to provide a precise analysis of variance of the profile. The main (technical) difference is that we have to deal with an inhomogeneous part in a proper functional-differential equations satisfied by the second moment and Poisson variance. However, we show that the variance is asymptotically of the same order as the expected value which implies concentration. These results are derived by methods of analytic combinatorics such as generating functions, Mellin transform, Poissonization, the saddle point method and singularity analysis.
Digraph complexity measures and applications in formal language theory
Authors: Gruber Hermann 
Published: August 2021

Automata, Logic and Semantics
We investigate structural complexity measures on digraphs, in particular the cycle rank. This concept is intimately related to a classical topic in formal language theory, namely the star height of regular languages. We explore this connection, and obtain several new algorithmic insights regarding both cycle rank and star height. Among other results, we show that computing the cycle rank is NP-complete, even for sparse digraphs of maximum outdegree 2. Notwithstanding, we provide both a polynomial-time approximation algorithm and an exponential-time exact algorithm for this problem. The former algorithm yields an O((log n)^(3/2))- approximation in polynomial time, whereas the latter yields the optimum solution, and runs in time and space O*(1.9129^n) on digraphs of maximum outdegree at most two. Regarding the star height problem, we identify a subclass of the regular languages for which we can precisely determine the computational complexity of the star height problem. Namely, the star height problem for bideterministic languages is NP-complete, and this holds already for binary alphabets. Then we translate the algorithmic results concerning cycle rank to the bideterministic star height problem, thus giving a polynomial-time approximation as well as a reasonably fast exact exponential algorithm for bideterministic star height.
Random Cayley digraphs of diameter 2 and given degree
Authors: Lladser Manuel E. , Potočnik Primož , Širáň Jozef , Wilson Mark C. 
Published: August 2021

Graph Theory
We consider random Cayley digraphs of order n with uniformly distributed generating sets of size k. Specifically, we are interested in the asymptotics of the probability that such a Cayley digraph has diameter two as n -> infinity and k = f(n), focusing on the functions f(n) = left perpendicularn(delta)right perpendicular and f(n) = left perpendicularcnright perpendicular. In both instances we show that this probability converges to 1 as n -> infinity for arbitrary fixed delta is an element of (1/2, 1) and c is an element of (0, 1/2), respectively, with a much larger convergence rate in the second case and with sharper results for Abelian groups.
Connectivity for line-of-sight networks in higher dimensions
Authors: Devroye Luc , Farczadi Linda 
Published: August 2021

Analysis of Algorithms
Let T be a d-dimensional toroidal grid of n^d points. For a given range parameter ω, and a positive integer k ≤q d, we say that two points in T are mutually visible if they differ in at most k coordinates and are a distance at most ω apart, where distance is measured using the \ellₚ norm. We obtain a random d-dimensional line-of-sight graph G by placing a node at each point in T independently with some fixed probability p^* and connecting all pairs of mutually visible nodes. We prove an asymptotically tight connectivity result for this random graph.
The Cerný conjecture for automata respecting intervals of a directed graph
Authors: Grech Mariusz , Kisielewicz Andrzej 
Published: August 2021

Automata, Logic and Semantics
The Cerný's conjecture states that for every synchronizing automaton with n states there exists a reset word of length not exceeding (n - 1)2. We prove this conjecture for a class of automata preserving certain properties of intervals of a directed graph. Our result unifies and generalizes some earlier results obtained by other authors.
DUPLEX–TRIPLEX TRANSITION IN COMPLEXES OF NUCLEIC ACIDS WITH HOECHST 33258
Authors: Parsadanyan Marine A. 
Published: August 2021

The study of complexes of groove binding ligand Hoechst 33258 (H33258) with Calf Thymus DNA has been carried out. The data obtained revealed that the melting curves of the complexes of H33258 with DNA are monophasic at low ligand concentrations (0 < r ≤ 0.2) and become biphasic at relatively high concentrations (0.2 < r ≤ 0.33). This effect was revealed to depend on the ionic strength of the solution, and can also occur at high concentrations of the ligand. Comparison of the obtained data with the results for poly(rA)-poly(rU) and poly(dA)-poly(dT) shows a coincidence in the case of DNA and poly(rA)-poly(rU), while in the case of poly(dA)-poly(dT) the melting curves become biphasic at low ligand concentrations and actually do not depend on the ionic strength of the solution.