Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Weak Hopf algebras and the distribution of involutions in symmetric groups
By computing Frobenius-Schur indicators of modules of certain weak Hopf algebras, we give a formula for the number of involutions in symmetric groups, which are contained in a given coset with respect to a given Young subgroup.
Plactic monoids: a braided approach
Published
• View Publication
• BIB
Young tableaux carry an associative product, described by the Schensted algorithm. They thus form a monoid $\mathbf{Pl}$, called \emph{plactic}. It is central in numerous combinatorial and algebraic applications. In this paper, the tableaux product is shown to be completely determined by a braiding $σ$ on the (much simpler!) set of columns $\mathbf{Col}$. Here a \emph{braiding} is a set-theoretic solution to the Yang--Baxter equation. As an application, we identify the Hochschild cohomology of $\mathbf{Pl}$, which resists classical approaches, with the more accessible braided cohomology of $(\mathbf{Col},σ)$. The cohomological dimension of $\mathbf{Pl}$ is obtained as a corollary. Also, the braiding~$σ$ is proved to commute with the classical crystal reflection operators~$s\_i$.
Octal Games on Graphs: The game 0.33 on subdivided stars and bistars
Published
• View Publication
• BIB
Octal games are a well-defined family of two-player games played on heaps of counters, in which the players remove alternately a certain number of counters from a heap, sometimes being allowed to split a heap into two nonempty heaps, until no counter can be removed anymore. We extend the definition of octal games to play them on graphs: heaps are replaced by connected components and counters by vertices. Thus, an octal game on a path P\_n is equivalent to playing the same octal game on a heap of n counters. We study one of the simplest octal games, called 0.33, in which the players can remove one vertex or two adjacent vertices without disconnecting the graph. We study this game on trees and give a complete resolution of this game on subdivided stars and bistars.
Inverse Limits and Topologies of Infinite Graphs
Two of the natural topologies for infinite graphs with edge-ends are Etop and Itop. In this paper, we study and characterize them. We show that Itop can be constructed by inverse limits of inverse systems of graphs with finitely many vertices. Furthermore, as an application of the inverse limit approach, we construct a topological spanning tree in Itop
The geometric lattice of embedded subsets
This work proposes an alternative approach to the so-called lattice of embedded subsets, which is included in the product of the subset and partition lattices of a finite set, and whose elements are pairs consisting of a subset and a partition where the former is a block of the latter. The lattice structure proposed in a recent contribution relies on ad-hoc definitions of both the join operator and the bottom element, while also including join-irreducible elements distinct from atoms. Conversely, here embedded subsets obtain through a closure operator defined over the product of the subset and partition lattices, where elements are generic pairs of a subset and a partition. Those such pairs that coincide with their closure are precisely embedded subsets, and since the Steinitz exchange axiom is also satisfied, what results is a geometric (hence atomic) lattice given by a simple matroid (or combinatorial geometry) included in the product of the subset and partition lattices (as the partition lattice itself is the polygon matroid defined on the edges of a complete graph). By focusing on its Möbius function, this geometric lattice of embedded subsets of a n-set is shown to be isomorphic to the lattice of partitions of a n+1-set.
Counterexamples on spectra of sign patterns
Published
• View Publication
• BIB
An $n\times n$ sign pattern $S$, which is a matrix with entries $0,+,-$, is called spectrally arbitrary if any monic real polynomial of degree $n$ can be realized as a characteristic polynomial of a matrix obtained by replacing the non-zero elements of $S$ by numbers of the corresponding signs. A sign pattern $S$ is said to be a superpattern of those matrices that can be obtained from $S$ by replacing some of the non-zero entries by zeros. We develop a new technique that allows us to prove spectral arbitrariness of sign patterns for which the previously known "Nilpotent Jacobian" method does not work. Our approach leads us to solutions of numerous open problems known in the literature. In particular, we provide an example of a sign pattern $S$ and its superpattern $S'$ such that $S$ is spectrally arbitrary but $S'$ is not, disproving a conjecture proposed in 2000 by Drew, Johnson, Olesky, and van den Driessche.
Cograph generation with linear delay
Published in Theoretical Computer Science Volume 713, 22 February 2018, Pages 1-10
• View Publication
• BIB
Cographs have always been a research target in areas such as coloring, graph decomposition, and spectral theory. In this work, we present an algorithm to generate all unlabeled cographs with $n$ vertices, based on the generation of cotrees. The delay of our algorithm (time spent between two consecutive outputs) is $O(n)$. The time needed to generate the first output is also $O(n)$, which gives an overall $O(n\,M_n)$ time complexity, where $M_n$ is the number of unlabeled cographs with $n$ vertices. The algorithm avoids the generation of duplicates (isomorphic outputs) and produces, as a by-product, a linear ordering of unlabeled cographs wih $n$ vertices.
Borel Circle Squaring
Published in Ann. of Math. 186 (2017), 581-605
• View Publication
• BIB
We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \geq 1$ and $A, B \subseteq \mathbb{R}^k$ are bounded Borel sets with the same positive Lebesgue measure whose boundaries have upper Minkowski dimension less than $k$, then $A$ and $B$ are equidecomposable by translations using Borel pieces. This answers a question of Wagon. Our proof uses ideas from the study of flows in graphs, and a recent result of Gao, Jackson, Krohne, and Seward on special types of witnesses to the hyperfiniteness of free Borel actions of $\mathbb{Z}^d$.
Enumeration of chord diagrams via topological recursion and quantum curve techniques
Published in Trav. Math. 25 (2017) 285
• Search Publication
In this paper we consider the enumeration of orientable and non-orientable chord diagrams. We show that this enumeration is encoded in appropriate expectation values of the $β$-deformed Gaussian and RNA matrix models. We evaluate these expectation values by means of the $β$-deformed topological recursion, and - independently - using properties of quantum curves. We show that both these methods provide efficient and systematic algorithms for counting of chord diagrams with a given genus, number of backbones and number of chords.
Partial chord diagrams and matrix models
Published in Trav. Math. 25 (2017) 233
• Search Publication
In this article, the enumeration of partial chord diagrams is discussed via matrix model techniques. In addition to the basic data such as the number of backbones and chords, we also consider the Euler characteristic, the backbone spectrum, the boundary point spectrum, and the boundary length spectrum. Furthermore, we consider the boundary length and point spectrum that unifies the last two types of spectra. We introduce matrix models that encode generating functions of partial chord diagrams filtered by each of these spectra. Using these matrix models, we derive partial differential equations - obtained independently by cut-and-join arguments in an earlier work - for the corresponding generating functions.
Minimum Critical Exponents for Palindromes
We determine the minimum possible critical exponent for all palindromes over finite alphabets.
Weingarten Calculus and the IntHaar Package for Integrals over Compact Matrix Groups
Published
• View Publication
• BIB
In this paper, we present a uniform formula for the integration of polynomials over the unitary, orthogonal, and symplectic groups using Weingarten calculus. From this description, we further simplify the integration formulas and give several optimizations for various cases. We implemented the optimized Weingarten calculus in Maple in a package called IntHaar for all three compact groups. Here we will discuss its functions, provide instructions for the package, and produce some examples of computed integrals.
Loop Models and $K$-Theory
Published in SIGMA 14 (2018), 069, 48 pages
• View Publication
• BIB
This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the Grassmannian. We interpret various concepts from integrable systems ($R$-matrix, partition function on a finite domain) in geometric terms. As a byproduct, we provide explicit formulae for $K$-classes of various coherent sheaves, including structure and (conjecturally) square roots of canonical sheaves and canonical sheaves of conormal varieties of Schubert varieties.
Primitive transformation shift registers over finite fields
Published
• View Publication
• BIB
We consider the problem of existence and enumeration of primitive TSRs of order n over any finite field. Here we prove the existence of primitive TSRs of order two over finite fields of characteristic two and establish an equivalence between primitive TSRs and primitive polynomials of special form. A conjecture regarding the existence of these special type of primitive polynomials is submitted by us along with some experimental verification. Further we have attempted to enumerate primitive TSRs of order two over finite fields of characteristic two. Finally we give a general search algorithm for primitive TSRs of odd order over any finite field and in particular of order two over fields of characteristic two.
Improper coloring of graphs with no odd clique minor
Published in Combin. Probab. Comput., 2019
• View Publication
• BIB
As a strengthening of Hadwiger's conjecture, Gerards and Seymour conjectured that every graph with no odd $K_t$ minor is $(t-1)$-colorable. We prove two weaker variants of this conjecture. Firstly, we show that for each $t \geq 2$, every graph with no odd $K_t$ minor has a partition of its vertex set into $6t-9$ sets $V_1, \dots, V_{6t-9}$ such that each $V_i$ induces a subgraph of bounded maximum degree. Secondly, we prove that for each $t \geq 2$, every graph with no odd $K_t$ minor has a partition of its vertex set into $10t-13$ sets $V_1, \dots, V_{10t-13}$ such that each $V_i$ induces a subgraph with components of bounded size. The second theorem improves a result of Kawarabayashi (2008), which states that the vertex set can be partitioned into $496t$ such sets.
Mutation of friezes
Published
• View Publication
• BIB
We study mutations of Conway-Coxeter friezes which are compatible with mutations of cluster-tilting objects in the associated cluster category of Dynkin type $A$. More precisely, we provide a formula, relying solely on the shape of the frieze, describing how each individual entry in the frieze changes under cluster mutation. We observe how the frieze can be divided into four distinct regions, relative to the entry at which we want to mutate, where any two entries in the same region obey the same mutation rule. Moreover, we provide a combinatorial formula for the number of submodules of a string module, and with that a simple way to compute the frieze associated to a fixed cluster-tilting object in a cluster category of Dynkin type $A$ in the sense of Caldero and Chapoton.
Erdős-Gallai-type results for total monochromatic connection of graphs
Published
• View Publication
• BIB
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph are colored. A total-coloring of a graph is a {\it total monochromatically-connecting coloring} ({\it TMC-coloring}, for short) if any two vertices of the graph are connected by a path whose edges and internal vertices have the same color. For a connected graph $G$, the {\it total monochromatic connection number}, denoted by $tmc(G)$, is defined as the maximum number of colors used in a TMC-coloring of $G$. In this paper, we study two kinds of Erdős-Gallai-type problems for $tmc(G)$ and completely solve them.
Weak Separation, Pure Domains and Cluster Distance
Published in Selecta Math. (N.S.), 24(3):2093--2127, 2018
• View Publication
• BIB
Following the proof of the purity conjecture for weakly separated collections, recent years have revealed a variety of wider examples of purity in different settings. In this paper we consider the collection $\mathcal A_{I,J}$ of sets that are weakly separated from two fixed sets $I$ and $J$. We show that all maximal by inclusion weakly separated collections $\mathcal W\subset\mathcal A_{I,J}$ are also maximal by size, provided that $I$ and $J$ are sufficiently "generic". We also give a simple formula for the cardinality of $\mathcal W$ in terms of $I$ and $J$. We apply our result to calculate the cluster distance and to give lower bounds on the mutation distance between cluster variables in the cluster algebra structure on the coordinate ring of the Grassmannian. Using a linear projection that relates weak separation to the octahedron recurrence, we also find the exact mutation distances and cluster distances for a family of cluster variables.
On a Rogers-Ramanujan type identity from crystal base theory
Published
• View Publication
• BIB
We refine and generalise a Rogers-Ramanujan type partition identity arising from crystal base theory. Our proof uses the variant of the method of weighted words recently introduced by the first author.
Deep holes and MDS extensions of Reed-Solomon codes
Published
• View Publication
• BIB
We study the problem of classifying deep holes of Reed-Solomon codes. We show that this problem is equivalent to the problem of classifying MDS extensions of Reed-Solomon codes by one digit. This equivalence allows us to improve recent results on the former problem. In particular, we classify deep holes of Reed-Solomon codes of dimension greater than half the alphabet size.
We also give a complete classification of deep holes of Reed Solomon codes with redundancy three in all dimensions.