Skip to main content Skip to search

Open Access Journals

Sign in(new window)

Discrete Mathematics & Theoretical Computer Science

Discrete Mathematics & Theoretical Computer Science

Sign in(new window)

Articles & Issues

All articles All accepted articles All volumes Last volume Sections Special issues Authors

The journal Indexing

For authors Ethical charter

|

eISSN 1365-8050

|

|

|

Acknowledgements

|

Publishing policy

Accessibility: non-compliant

|

|

Privacy statement

|

Home > Articles & Issues >
Sections >
Proceedings

Proceedings

section

1058 articles

Types of document

Article

Conference paper

Years

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

2001

1058 articles

Conference paper

Generalized Polarization Modules (extended abstract)

Héctor Blandin

Abstract

This work enrols the research line of M. Haiman on the Operator Theorem (the old operator conjecture). This theorem states that the smallest $\mathfrak{S}_n$-module closed under taking partial derivatives and closed under the action of polarization operators that contains the Vandermonde determinant is the space of diagonal harmonics polynomials. We start generalizing the context of this theorem to the context of polynomials in $\ell$ sets of $n$ variables $x_{ij}$ with $1\le i \le \ell$ and $1 \le j \le n$. Given a $\mathfrak{S}_n$-stable family of homogeneous polynomials in the variables $x_{ij}$ the smallest vector space closed under taking partial derivatives and closed under the action of polarization operators that contains $F$ is the polarization module generated by the family $F$. These polarization modules are all representation of the direct product $\mathfrak{S}_n \times GL_\ell(\mathbb{C})$. In order to study the decomposition into irreducible submodules, we compute the graded Frobenius characteristic of these modules. For several cases of $\mathfrak{S}_n$-stable families of homogeneous polynomials in n variables, for every $n \ge 1$, we show general formulas for this graded characteristic in a global manner, independent of the value of $\ell$.

Published on December 31, 2014

Conference paper

Depth in Coxeter groups of type $B$

Eli Bagno, Riccardo Biagioli, Mordechai Novick

Abstract

The depth statistic was defined for every Coxeter group in terms of factorizations of its elements into product of reflections. Essentially, the depth gives the minimal path cost in the Bruaht graph, where the edges have prescribed weights. We present an algorithm for calculating the depth of a signed permutation which yields a simple formula for this statistic. We use our algorithm to characterize signed permutations having depth equal to length. These are the fully commutative top-and-bottom elements defined by Stembridge. We finally give a characterization of the signed permutations in which the reflection length coincides with both the depth and the length.

Published on December 31, 2014

Conference paper

Tableaux combinatorics for two-species PASEP probabilities

Olya Mandelshtam

Abstract

The goal of this paper is to provide a combinatorial expression for the steady state probabilities of the twospecies PASEP. In this model, there are two species of particles, one “heavy” and one “light”, on a one-dimensional finite lattice with open boundaries. Both particles can hop into adjacent holes to the right and left at rates 1 and $q$. Moreover, when the heavy and light particles are adjacent to each other, they can switch places as if the light particle were a hole. Additionally, the heavy particle can hop in and out at the boundary of the lattice. Our first result is a combinatorial interpretation for the stationary distribution at $q=0$ in terms of certain multi-Catalan tableaux. We provide an explicit determinantal formula for the steady state probabilities, as well as some general enumerative results for this case. We also describe a Markov process on these tableaux that projects to the two-species PASEP, and hence directly explains the connection between the two. Finally, we extend our formula for the stationary distribution to the $q=1$ case, using certain two-species alternative tableaux.

Published on December 31, 2014

Conference paper

Weighted Tree-Numbers of Matroid Complexes

Woong Kook, Kang-Ju Lee

Abstract

We give a new formula for the weighted high-dimensional tree-numbers of matroid complexes. This formula is derived from our result that the spectra of the weighted combinatorial Laplacians of matroid complexes consist of polynomials in the weights. In the formula, Crapo’s $\beta$-invariant appears as the key factor relating weighted combinatorial Laplacians and weighted tree-numbers for matroid complexes.

Published on December 31, 2014

Conference paper

Lattice structure of Grassmann-Tamari orders

Thomas Mcconville

Abstract

The Tamari order is a central object in algebraic combinatorics and many other areas. Defined as the transitive closure of an associativity law, the Tamari order possesses a surprisingly rich structure: it is a congruence-uniform lattice. In this work, we consider a larger class of posets, the Grassmann-Tamari orders, which arise as an ordering on the facets of the non-crossing complex introduced by Pylyavskyy, Petersen, and Speyer. We prove that the Grassmann-Tamari orders are congruence-uniform lattices, which resolves a conjecture of Santos, Stump, and Welker. Towards this goal, we define a closure operator on sets of paths inside a rectangle, and prove that the biclosed sets of paths, ordered by inclusion, form a congruence-uniform lattice. We then prove that the Grassmann-Tamari order is a quotient lattice of the corresponding lattice of biclosed sets.

Published on December 31, 2014

Conference paper

Scaling Limits of Random Graphs from Subcritical Classes: Extended abstract

Konstantinos Panagiotou, Benedikt Stufler, Kerstin Weller

Abstract

We study the uniform random graph $\mathsf{C}_n$ with $n$ vertices drawn from a subcritical class of connected graphs. Our main result is that the rescaled graph $\mathsf{C}_n / \sqrt{n}$ converges to the Brownian Continuum Random Tree $\mathcal{T}_{\mathsf{e}}$ multiplied by a constant scaling factor that depends on the class under consideration. In addition, we provide subgaussian tail bounds for the diameter $\text{D}(\mathsf{C}_n)$ and height $\text{H}(\mathsf{C}_n^\bullet)$ of the rooted random graph $\mathsf{C}_n^\bullet$. We give analytic expressions for the scaling factor of several classes, including for example the prominent class of outerplanar graphs. Our methods also enable us to study first passage percolation on $\mathsf{C}_n$, where we show the convergence to $\mathcal{T}_{\mathsf{e}}$ under an appropriate rescaling.

Published on December 31, 2014

Conference paper

Cohomology classes of rank varieties and a counterexample to a conjecture of Liu

Brendan Pawlowski

Abstract

To each finite subset of a discrete grid $\mathbb{N}×\mathbb{N}$ (a diagram), one can associate a subvariety of a complex Grassmannian (a diagram variety), and a representation of a symmetric group (a Specht module). Liu has conjectured that the cohomology class of a diagram variety is represented by the Frobenius characteristic of the corresponding Specht module. We give a counterexample to this conjecture.However, we show that for the diagram variety of a permutation diagram, Liu's conjectured cohomology class $\sigma$ is at least an upper bound on the actual class $\tau$, in the sense that $\sigma - \tau$ is a nonnegative linear combination of Schubert classes. To do this, we consider a degeneration of Coskun's rank varieties which contains the appropriate diagram variety as a component. Rank varieties are instances of Knutson-Lam-Speyer's positroid varieties, whose cohomology classes are represented by affine Stanley symmetric functions. We show that the cohomology class of a rank variety is in fact represented by an ordinary Stanley symmetric function.

Published on December 31, 2014

Conference paper

Walks in the Quarter Plane with Multiple Steps

Manuel Kauers, Rika Yatchak

Abstract

We extend the classification of nearest neighbour walks in the quarter plane to models in which multiplicities are attached to each direction in the step set. Our study leads to a small number of infinite families that completely characterize all the models whose associated group is D4, D6, or D8. These families cover all the models with multiplicites 0, 1, 2, or 3, which were experimentally found to be D-finite — with three noteworthy exceptions.

Published on December 31, 2014

Conference paper

Invariance properties for coefficients of symmetric functions

Emmanuel Briand, Rosa Orellana, Mercedes Rosas

Abstract

We show that several of the main structural constants for symmetric functions (Littlewood-Richardsoncoefficients, Kronecker coefficients, plethysm coefficients, and the Kostka–Foulkes polynomials) share invarianceproperties related to the operations of taking complements with respect to rectangles and adding rectangles.

Published on December 31, 2014

Conference paper

The number of directed $k$-convex polyominoes

Adrien Boussicault, Simone Rinaldi, Samanta Socci

Abstract

We present a new method to obtain the generating functions for directed convex polyominoes according to several different statistics including: width, height, size of last column/row and number of corners. This method can be used to study different families of directed convex polyominoes: symmetric polyominoes, parallelogram polyominoes. In this paper, we apply our method to determine the generating function for directed $k$-convex polyominoes.We show it is a rational function and we study its asymptotic behavior.

Published on December 31, 2014

Conference paper

On non-conjugate Coxeter elements in well-generated reflection groups

Victor Reiner, Vivien Ripoll, Christian Stump

Abstract

Given an irreducible well-generated complex reflection group $W$ with Coxeter number $h$, we call a Coxeter element any regular element (in the sense of Springer) of order $h$ in $W$; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in $W$ under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element $c$ is a Coxeter element if and only if there exists a simple system $S$ of reflections such that $c$ is the product of the generators in $S$. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of $W$ associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of $W$ on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer's regular elements of arbitrary order.

Published on December 31, 2014

Conference paper

Some combinatorial identities involving noncommuting variables

Michael Schlosser, Meesue Yoo

Abstract

We derive combinatorial identities for variables satisfying specific sets of commutation relations. The identities thus obtained extend corresponding ones for $q$-commuting variables $x$ and $y$ satisfying $yx=qxy$. In particular, we obtain weight-dependent binomial theorems, functional equations for generalized exponential functions, we propose a derivative of noncommuting variables, and finally utilize one of the considered weight functions to extend rook theory. This leads us to an extension of the $q$-Stirling numbers of the second kind, and of the $q$-Lah numbers.

Published on December 31, 2014

Conference paper

A Categorification of One-Variable Polynomials

Mikhail Khovanov, Radmila Sazdanovic

Abstract

We develop a diagrammatic categorification of the polynomial ring $\mathbb{Z} [x]$, based on a geometrically-defined graded algebra and show how to lift various operations on polynomials to the categorified setting. Our categorification satisfies a version of the Bernstein-Gelfand-Gelfand reciprocity property, with indecomposable projective modules corresponding to $x^n$ and standard modules to $(x -1)^n$ in the Grothendieck ring. This construction generalizes tocategorification of various orthogonal polynomials.

Published on December 31, 2014

Conference paper

Arrangements Of Minors In The Positive Grassmannian And a Triangulation of The Hypersimplex

Miriam Farber, Yelena Mandelshtam

Abstract

The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimplex that was studied by Stanley, Sturmfels, Lam and Postnikov. Here we investigate the entire set of arrangements and its relations with this triangulation. First, we show that second largest minors correspond to the facets of the simplices. We then introduce the notion of cubical distance on the dual graph of the triangulation, and study its relations with the arrangement of t-th largest minors. Finally, we show that arrangements of largest minors induce a structure of partially ordered sets on the entire collection of minors. We use the Lam and Postnikov circuit triangulation of the hypersimplex to describe a 2-dimensional grid structure of this poset.

Published on December 31, 2014

Conference paper

Affine charge and the $k$-bounded Pieri rule

Jennifer Morse, Anne Schilling

Abstract

We provide a new description of the Pieri rule of the homology of the affine Grassmannian and an affineanalogue of the charge statistics in terms of bounded partitions. This makes it possible to extend the formulation ofthe Kostka–Foulkes polynomials in terms of solvable lattice models by Nakayashiki and Yamada to the affine setting.

Published on December 31, 2014

Conference paper

Enumeration of minimal acyclic automata via generalized parking functions

Jean-Baptiste Priez

Abstract

We give an exact enumerative formula for the minimal acyclic deterministic finite automata. This formula is obtained from a bijection between a family of generalized parking functions and the transitions functions of acyclic automata.

Published on December 31, 2014

Conference paper

The Bruhat order on conjugation-invariant sets of involutions in the symmetric group

Mikael Hansson

Abstract

Let $I_n$ be the set of involutions in the symmetric group $S_n$, and for $A \subseteq \{0,1,\ldots,n\}$, let \[ F_n^A=\{\sigma \in I_n \mid \text{$\sigma$ has $a$ fixed points for some $a \in A$}\}. \] We give a complete characterisation of the sets $A$ for which $F_n^A$, with the order induced by the Bruhat order on $S_n$, is a graded poset. In particular, we prove that $F_n^{\{1\}}$ (i.e., the set of involutions with exactly one fixed point) is graded, which settles a conjecture of Hultman in the affirmative. When $F_n^A$ is graded, we give its rank function. We also give a short new proof of the EL-shellability of $F_n^{\{0\}}$ (i.e., the set of fixed point-free involutions), which was recently proved by Can, Cherniavsky, and Twelbeck.

Published on December 31, 2014

Conference paper

Enumerating some symmetry classes of rhombus tilings of holey hexagons

Tomack Gilmore

Abstract

This extended abstract presents some recent (exact and asymptotic) enumerative results concerning rhombustilings of hexagons that have had symmetrically distributed inward pointing triangles of side length 2 removedfrom their interiors. These results form part of a larger article that is currently available online (arXiv:1501.05772).

Published on December 31, 2014

Conference paper

Lozenge tilings with free boundary

Greta Panova

Abstract

We study tilings with lozenges of a domain with free boundary conditions on one side. These correspondto boxed symmetric plane partitions. We show that the positions of the horizontal lozenges near the left flatboundary, in the limit, have the same joint distribution as the eigenvalues from a Gaussian Unitary Ensemble (theGUE-corners/minors process). We also prove the existence of a limit shape of the height function (the symmetricplane partition). We also consider domains where the sides converge to $\infty$ at different rates and recover again theGUE-corners process.

Published on December 31, 2014

Conference paper

The polytope of Tesler matrices

Karola Mészáros, Alejandro H. Morales, Brendon Rhoades

Abstract

We introduce the Tesler polytope $Tes_n(a)$, whose integer points are the Tesler matrices of size n with hook sums $a_1,a_2,...,a_n in Z_{\geq 0}$. We show that $Tes_n(a)$ is a flow polytope and therefore the number of Tesler matrices is counted by the type $A_n$ Kostant partition function evaluated at $(a_1,a_2,...,a_n,-\sum_{i=1}^n a_i)$. We describe the faces of this polytope in terms of "Tesler tableaux" and characterize when the polytope is simple. We prove that the h-vector of $Tes_n(a)$ when all $a_i>0$ is given by the Mahonian numbers and calculate the volume of $Tes_n(1,1,...,1)$ to be a product of consecutive Catalan numbers multiplied by the number of standard Young tableaux of staircase shape.

Published on December 31, 2014

1
2
3
...
52
53