Reductions of Young tableau bijections

Igor Pak,Ernesto Vallejo

2004-08-13

Abstract: We introduce notions of linear reduction and linear equivalence of bijections for the purposes of study bijections between Young tableaux. Originating in Theoretical Computer Science, these notions allow us to give a unified view of a number of classical bijections, and establish formal connections between them.

Combinatorics,Representation Theory

What problem does this paper attempt to address?

Inversions of Semistandard Young Tableaux

Paul Drube

DOI: https://doi.org/10.48550/arXiv.1508.01175

2015-08-06

Abstract:A tableau inversion is a pair of entries from the same column of a row-standard tableau that lack the relative ordering necessary to make the tableau column-standard. An $i$-inverted Young tableau is a row-standard tableau with precisely $i$ inversion pairs, and may be interpreted as a generalization of (column-standard) Young tableau. Inverted Young tableau that lack repeated entries were introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, and were later developed as combinatorial objects in their own right by Beagley and Drube. This paper generalizes earlier notions of tableau inversions to row-standard tableaux with repeated entries, yielding an interesting new generalization of semistandard (as opposed to merely standard) Young tableaux. We develop a closed formula for the maximum numbers of inversion pairs for a row-standard tableau with a specific shape and content, and show that the number of $i$-inverted tableaux of a given shape is invariant under permutation of content. We then enumerate $i$-inverted Young tableaux for a variety of shapes and contents, and generalize an earlier result that places $1$-inverted Young tableaux of a general shape in bijection with $0$-inverted Young tableaux of a variety of related shapes.

Combinatorics
Two partial orders on Standard Young Tableaux with applications to invariant subspaces of nilpotent linear operators

Mariusz Kaniecki,Justyna Kosakowska

2023-11-08

Abstract:In the paper we investigate two partial orders on standard Young tableaux and show their applications in the theory of invariant subspaces of nilpotent linear operators.

Representation Theory
Enumeration formulas for Young tableaux in a diagonal strip

Yuliy Baryshnikov,Dan Romik

DOI: https://doi.org/10.48550/arXiv.0709.0498

2007-09-05

Abstract:We derive combinatorial identities, involving the Bernoulli and Euler numbers, for the numbers of standard Young tableaux of certain skew shapes. This generalizes the classical formulas of D. Andre on the number of up-down permutations. The analysis uses a transfer operator approach extending the method of Elkies, combined with an identity expressing the volume of a certain polytope in terms of a Schur function.

Combinatorics
Set-Valued Catalan Combinatorics

Alexander Lazar,Svante Linusson

2024-10-07

Abstract:Set-valued standard Young tableaux are a generalization of standard Young tableaux due to Buch (2002) with applications in algebraic geometry. The enumeration of set-valued SYT is significantly more complicated than in the ordinary case, although product formulas are known in certain special cases. In this work we study the case of two-rowed set-valued SYT with a fixed number of entries. These tableaux are a new combinatorial model for the Catalan, Narayana, and Kreweras numbers, and can be shown to be in correspondence with both 321-avoiding permutations and a certain class of bicolored Motzkin paths. We also introduce a generalization of the set-valued comajor index studied by Hopkins, Lazar, and Linusson (2023), and use this statistic to find seemingly new q-analogs of the Catalan and Narayana numbers.

Combinatorics
Piecewise-linear and birational toggling

David Einstein,James Propp

DOI: https://doi.org/10.48550/arXiv.1404.3455

2014-04-14

Abstract:We define piecewise-linear and birational analogues of the toggle-involutions on order ideals of posets studied by Striker and Williams and use them to define corresponding analogues of rowmotion and promotion that share many of the properties of combinatorial rowmotion and promotion. Piecewise-linear rowmotion (like birational rowmotion) admits an alternative definition related to Stanley's transfer map for the order polytope; piecewise-linear promotion relates to Schützenberger promotion for semistandard Young tableaux. The three settings for these dynamical systems (combinatorial, piecewise-linear, and birational) are intimately related: the piecewise-linear operations arise as tropicalizations of the birational operations, and the combinatorial operations arise as restrictions of the piecewise-linear operations to the vertex-set of the order polytope. In the case where the poset is of the form $[a] \times [b]$, we exploit a reciprocal symmetry property recently proved by Grinberg and Roby to show that birational rowmotion (and consequently piecewise-linear rowmotion) is of order $a+b$. This yields a new proof of a theorem of Cameron and Fon-der-Flaass. Our proofs make use of the correspondence between rowmotion and promotion orbits discovered by Striker and Williams, which we make more concrete. We also prove some homomesy results, showing that for certain functions $f$, the average value of $f$ over each rowmotion/promotion orbit is independent of the orbit chosen.

Combinatorics
Set theory and tableaux for teaching propositional logic

Nino Guallart,Angel Nepomuceno-Fernandez

DOI: https://doi.org/10.48550/arXiv.1507.03667

2015-07-14

Computers and Society

Abstract:In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory, this approach to semantical tableaux can clarify her the way semantic trees operate, linking the syntactical and semantical sides of the process. Also, it may be useful for the introduction of more advanced topics in logic, like modal logic.
Diagonal vectors of shifted Young tableaux

Dorian Croitoru

DOI: https://doi.org/10.48550/arXiv.0803.2253

2009-02-04

Abstract:We study vectors formed by entries on the diagonal of standard Young tableaux of shifted shapes. Such vectors are in bijection with integer lattice points of certain integral polytopes, which are Minkowski sums of simplices. We also describe vertices of these polytopes, and construct corresponding shifted Young tableaux.

Combinatorics
The Bethe Ansatz and the Combinatorics of Young Tableaux

A. N. Kirillov,N. Yu. Reshetikhin

DOI: https://doi.org/10.1007/bf01247088

1988-01-01

Journal of Soviet Mathematics

Abstract:The investigation of combinatorial aspects of the method of the inverse problem is continued in this paper.
A framework unifying some bijections for graphs and its connection to Lawrence polytopes

Changxin Ding

2024-03-23

Abstract:Let $G$ be a connected graph. The Jacobian group (also known as the Picard group or sandpile group) of $G$ is a finite abelian group whose cardinality equals the number of spanning trees of $G$. The Jacobian group admits a canonical simply transitive action on the set $\mathcal{R}(G)$ of cycle-cocycle reversal classes of orientations of $G$. Hence one can construct combinatorial bijections between spanning trees of $G$ and $\mathcal{R}(G)$ to build connections between spanning trees and the Jacobian group. The BBY bijections and the Bernardi bijections are two important examples. In this paper, we construct a new family of such bijections that includes both. Our bijections depend on a pair of atlases (different from the ones in manifold theory) that abstract and generalize certain common features of the two known bijections. The definitions of these atlases are derived from triangulations and dissections of the Lawrence polytopes associated to $G$. The acyclic cycle signatures and cocycle signatures used to define the BBY bijections correspond to regular triangulations. Our bijections can extend to subgraph-orientation correspondences. Most of our results hold for regular matroids. We present our work in the language of fourientations, which are a generalization of orientations.

Combinatorics
Properties of the Edelman-Greene bijection

Svante Linusson,Samu Potka

DOI: https://doi.org/10.48550/arXiv.1804.10034

2019-01-07

Abstract:Edelman and Greene constructed a correspondence between reduced words of the reverse permutation and standard Young tableaux. We prove that for any reduced word the shape of the region of the insertion tableau containing the smallest possible entries evolves exactly as the upper-left component of the permutation's (Rothe) diagram. Properties of the Edelman-Greene bijection restricted to 132-avoiding and 2143-avoiding permutations are presented. We also consider the Edelman-Greene bijection applied to non-reduced words.

Combinatorics
Multiprojective Seshadri stratifications and Young-tableaux

Henrik Müller

2024-08-29

Abstract:We provide an algebraic-geometrical interpretation of the classical semistandard Young-tableaux via the notion of Seshadri stratifications. The columns appearing in such a tableau correspond to vanishing multiplicities of certain rational functions on Schubert varieties. To build a framework for this correspondence we generalize Seshadri stratifications to multiprojective varieties, which forms the largest part of this article.

Algebraic Geometry,Combinatorics,Representation Theory
Permuted composition tableaux, 0-Hecke algebra and labeled binary trees

Vasu Tewari,Stephanie van Willigenburg

DOI: https://doi.org/10.48550/arXiv.1712.05008

2018-08-28

Abstract:We introduce a generalization of semistandard composition tableaux called permuted composition tableaux. These tableaux are intimately related to permuted basement semistandard augmented fillings studied by Haglund, Mason and Remmel. Our primary motivation for studying permuted composition tableaux is to enumerate all possible ordered pairs of permutations $(\sigma_1,\sigma_2)$ that can be obtained by standardizing the entries in two adjacent columns of an arbitrary composition tableau. We refer to such pairs as compatible pairs. To study compatible pairs in depth, we define a $0$-Hecke action on permuted composition tableaux. This action naturally defines an equivalence relation on these tableaux. Certain distinguished representatives of the resulting equivalence classes in the special case of two-columned tableaux are in bijection with compatible pairs. We provide a bijection between two-columned tableaux and labeled binary trees. This bijection maps a quadruple of descent statistics for 2-columned tableaux to left and right ascent-descent statistics on labeled binary trees introduced by Gessel, and we use it to prove that the number of compatible pairs is $(n+1)^{n-1}$.

Combinatorics
Rewriting modulo isotopies in pivotal linear $(2,2)$-categories

Benjamin Dupont

DOI: https://doi.org/10.48550/arXiv.1906.03904

2019-06-10

Abstract:In this paper, we study rewriting modulo a set of algebraic axioms in categories enriched in linear categories, called linear~$(2,2)$-categories. We introduce the structure of linear~$(3,2)$-polygraph modulo as a presentation of a linear~$(2,2)$-category by a rewriting system modulo algebraic axioms. We introduce a symbolic computation method in order to compute linear bases for the vector spaces of $2$-cells of these categories. In particular, we study the case of pivotal $2$-categories using the isotopy relations given by biadjunctions on $1$-cells and cyclicity conditions on $2$-cells as axioms for which we rewrite modulo. By this constructive method, we recover the bases of normally ordered dotted oriented Brauer diagrams in te affine oriented Brauer linear~$(2,2)$-category.

Category Theory
Young tableaux, canonical bases and the Gindikin-Karpelevich formula

Kyu-Hwan Lee,Ben Salisbury

DOI: https://doi.org/10.4134/JKMS.2014.51.2.289

2013-04-09

Abstract:A combinatorial description of the crystal B(infinity) for finite-dimensional simple Lie algebras in terms of certain Young tableaux was developed by J. Hong and H. Lee. We establish an explicit bijection between these Young tableaux and canonical bases indexed by Lusztig's parametrization, and obtain a combinatorial rule for expressing the Gindikin-Karpelevich formula as a sum over the set of Young tableaux.

Representation Theory,Combinatorics
Logical reduction of relations: from relational databases to Peirce's reduction thesis

Sergiy Koshkin

DOI: https://doi.org/10.1093/jigpal/jzad010

2024-06-20

Abstract:We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of predicate calculus. Our algebraic framework unifies natural joins and data dependencies of database theory and relational algebra of clone theory with the bond algebra of C.S. Peirce. We also offer new constructions of reductions, systematically study irreducible relations and reductions to them, and introduce a new characteristic of relations, ternarity, that measures their `complexity of relating' and allows to refine reduction results. In particular, we refine Peirce's controversial reduction thesis, and show that reducibility behavior is dramatically different on finite and infinite domains.

Logic,Databases,Logic in Computer Science,Rings and Algebras
Some simple bijections involving lattice walks and ballot sequences

Marc A. A. Van Leeuwen

DOI: https://doi.org/10.48550/arXiv.1010.4847

2010-10-23

Abstract:In this note we observe that a bijection related to Littelmann's root operators (for type $A_1$) transparently explains the well known enumeration by length of walks on $\N$ (left factors of Dyck paths), as well as some other enumerative coincidences. We indicate a relation with bijective solutions of Bertrand's ballot problem: those can be mechanically transformed into bijective proofs of the mentioned enumeration formula.

Combinatorics
On a lattice of relational spaces (reducts) for the order of integers

A.L. Semenov,S. F. Soprunov

2024-11-27

Abstract:We investigate the definability (reducts) lattice of the order of integers and describe a sublattice generated by relations 'between', 'cycle', 'separation', 'neighbor', '1-codirection', 'order' and equality'. Some open questions are proposed.

Logic
Correlations between the most developed (G7) countries. A moving average window size optimisation

Janusz Miskiewicz,Marcel Ausloos

DOI: https://doi.org/10.48550/arXiv.physics/0505136

2005-05-20

Abstract:Different distance matrices are defined and applied to look for correlations between the gross domestic product of G7 countries. Results are illustrated through displays obtained from various graph methods. Significant similarities between results are obtained. A procedure for choosing the best distance function is proposed taking into account the size of the window in which correlation are averaged.

Physics and Society,Statistical Mechanics,Data Analysis, Statistics and Probability
Complete and Terminating Tableau Calculus for Undirected Graph

Yuki Nishimura,Tsubasa Takagi

2024-11-21

Abstract:Hybrid logic is a modal logic with additional operators specifying nominals and is highly expressive. For example, there is no formula corresponding to the irreflexivity of Kripke frames in basic modal logic, but there is in hybrid logic. Irreflexivity is significant in that irreflexive and symmetric Kripke frames can be regarded as undirected graphs reviewed from a graph theoretic point of view. Thus, the study of the hybrid logic with axioms corresponding to irreflexivity and symmetry can help to elucidate the logical properties of undirected graphs. In this paper, we formulate the tableau method of the hybrid logic for undirected graphs. Our main result is to show the completeness theorem and the termination property of the tableau method, which leads us to prove the decidability.

Logic,Logic in Computer Science
Constraint Vector Bundles and Reduction of Lie (Bi-)Algebroids

Marvin Dippell,David Kern

2023-12-14

Abstract:We present a framework for the reduction of various geometric structures extending the classical coisotropic Poisson reduction. For this we introduce constraint manifolds and constraint vector bundles. A constraint Serre-Swan theorem is proven, identifying constraint vector bundles with certain finitely generated projective modules, and a Cartan calculus for constraint differentiable forms and multivector fields is introduced. All of these constructions will be shown to be compatible with reduction. Finally, we apply this to obtain a reduction procedure for Lie (bi-)algebroids and Dirac manifolds.

Differential Geometry,Symplectic Geometry

Reductions of Young tableau bijections

Inversions of Semistandard Young Tableaux

Two partial orders on Standard Young Tableaux with applications to invariant subspaces of nilpotent linear operators

Enumeration formulas for Young tableaux in a diagonal strip

Set-Valued Catalan Combinatorics

Piecewise-linear and birational toggling

Set theory and tableaux for teaching propositional logic

Diagonal vectors of shifted Young tableaux

The Bethe Ansatz and the Combinatorics of Young Tableaux

A framework unifying some bijections for graphs and its connection to Lawrence polytopes

Properties of the Edelman-Greene bijection

Multiprojective Seshadri stratifications and Young-tableaux

Permuted composition tableaux, 0-Hecke algebra and labeled binary trees

Rewriting modulo isotopies in pivotal linear $(2,2)$-categories

Young tableaux, canonical bases and the Gindikin-Karpelevich formula

Logical reduction of relations: from relational databases to Peirce's reduction thesis

Some simple bijections involving lattice walks and ballot sequences

On a lattice of relational spaces (reducts) for the order of integers

Correlations between the most developed (G7) countries. A moving average window size optimisation

Complete and Terminating Tableau Calculus for Undirected Graph

Constraint Vector Bundles and Reduction of Lie (Bi-)Algebroids