arXiv++ Combinatorics

In 2010s Fleiner introduced a notion of stable flows in directed networks and showed that such a flow always exists and can be found by use of a reduction to the stable allocation problem due to Baiou and Balinski. Recently Cseh and Matuschke devised a direct strongly polynomial algorithm. In this paper we give an alternative algorithm to find a stable flow in a network with several sources and sinks. It is based on an idea of preflows (appeared in 1970s in a faster algorithm for the classical max-flow problem), and runs in $O(nm)$ time for a network with $n$ vertices and $m$ edges. The results are further generalized to a larger class of objects, so-called stable quasi-flows with bounded excesses in non-terminal vertices. (The paper is written in Russian.)

Let $n$ be a positive integer. A collection $\cal S$ of subsets of $[n]=\{1,\ldots,n\}$ is called {\it symmetric} if $X\in {\cal S}$ implies $X^\ast\in {\cal S}$, where $X^\ast:=\{i\in [n]\colon n-i+1\notin X\}$. We show that in each of the three types of separation relations: {\it strong}, {\it weak} and {\it chord} ones, the following "purity phenomenon" takes place: all inclusion-wise maximal symmetric separated collections in $2^{[n]}$ have the same cardinality. These give "symmetric versions" of well-known results on the purity of usual strongly, weakly and chord separated collections of subsets of $[n]$, and in the case of weak separation, this extends a recent result due to Karpman on the purity of symmetric weakly separated collections in $\binom{[n]}{n/2}$ for $n$ even.

In this paper we consider a Condorcet domain (CD) formed by a rhombus tiling as a voting design and consider a problem of aggregation of voting designs using majority rule. A Condorcet super-domain is a collection of CDs obtained from rhombus tilings on a zonogone Z(n; 2) with the property that if voting designs (ballots) belong to this collection, then the simple majority rule does not yield cycles. A study of Condorcet super-domains and methods of constructing them form the main subject of this paper.

This paper continues an earlier research of the authors on universal quadratic identities (QIs) on minors of quantum matrices. We demonstrate situations when the universal QIs are provided, in a sense, by the ones of four special types (Plucker, co-Plucker, Dodgson identities and quasi-commutation relations on flag and co-flag interval minors).

In this erratum we explain how to implement some axioms stated in our paper of 2009 so as to obtain a purely "local" characterization for finite $B_2$-crystals, which was declared but not clarified at some moments there. Also we correct some inaccuracies in that paper.

We give a complete combinatorial characterization of homogeneous quadratic relations of "universal character" valid for minors of quantum matrices (more precisely, for minors in the quantized coordinate ring $O_q(M_{m,n}(K))$ of $m\times n$ matrices over a field $K$, where $q\in K^\ast$). This is obtained as a consequence of a study of quantized minors of matrices generated by paths in certain planar graphs, called SE-graphs, generalizing the ones associated with Cauchon diagrams. Our efficient method of verifying universal quadratic identities for minors of quantum matrices is illustrated with many appealing examples.

Studying the problem of quasicommuting quantum minors, Leclerc and Zelevinsky introduced in 1998 the notion of weakly separated sets in $[n]:=\{1,\ldots, n\}$. Moreover, they raised several conjectures on the purity for this symmetric relation, in particular, on the Boolean cube $2^{[n]}$. In 0909.1423[math.CO] we proved these purity conjectures for the Boolean cube $2^{[n]}$, the discrete Grassmanian ${[n]\choose r}$, and some other set-systems. Oh, Postnikov, and Speyer in arxiv:1109.4434 proved the purity for weakly separated collections inside a positroid which contain a Grassmann necklace $\mathcal N$ defining the positroid. We denote such set-systems as $\mathcal{I}nt(\mathcal N )$. In this paper we give an alternative (and shorter) proof of the purity of $\mathcal{I}nt(\mathcal N )$ and present a stronger result. More precisely, we introduce a set-system $\mathcal{O}ut(\mathcal N )$ complementary to $\mathcal{I}nt(\mathcal N )$, in a sense, and establish its purity. Moreover, we prove (Theorem~3) that these two set-systems are weakly separated from each other. As a consequence of Theorem~3, we obtain the purity of set-systems related to pairs of weakly separated necklaces (Proposition 4 and Corollaries 1 and 2). Finally, we raise a conjecture on the purity of both the interior and exterior of a generalized necklace.

Regular $A_n$-, $B_n$- and $C_n$-crystals are edge-colored directed graphs, with ordered colors $1,2,...,n$, which are related to representations of quantized algebras $U_q(\mathfrak{sl}_{n+1})$, $U_q(\mathfrak{sp}_{2n})$ and $U_q(\mathfrak{so}_{2n+1})$, respectively. We develop combinatorial methods to reveal refined structural properties of such objects. Firstly, we study subcrystals of a regular $A_n$-crystal $K$ and characterize pairwise intersections of maximal subcrystals with colors $1,...,n-1$ and colors $2,...,n$. This leads to a recursive description of the structure of $K$ and provides an efficient procedure of assembling $K$. Secondly, using merely combinatorial means, we demonstrate a relationship between regular $B_n$-crystals (resp. $C_n$-crystals) and regular symmetric $A_{2n-1}$-crystals (resp. $A_{2n}$-crystals).