Showing 1–46 of 46 results for author: Karzanov, A

On universal quadratic inequalities for minors of TNN matrices

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: In this note, for positive integers $n,n'$, we give a geometric-combinatorial characterization for the set of quadratic inequalities on minors that are valid for all $n\times n'$ totally nonnegative matrices. This is obtained as a consequence from our earlier results on ``stable'' quadratic identities on minors of matrices generated by flows in planar graphs via Lindström's construction. In this note, for positive integers $n,n'$, we give a geometric-combinatorial characterization for the set of quadratic inequalities on minors that are valid for all $n\times n'$ totally nonnegative matrices. This is obtained as a consequence from our earlier results on ``stable'' quadratic identities on minors of matrices generated by flows in planar graphs via Lindström's construction. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Comments: 10 pages, 5 figures

MSC Class: 05C75; 05E99; 15A15

On one generalization of stable allocations in a two-sided market

Authors: Alexander V. Karzanov

Abstract: In the stable allocation problem on a two-sided market introduced and studied by Baiou and Balinski in the early 2000's, one is given a bipartite graph $G=(V,E)$ with capacities $b$ on the edges (``contracts'') and quotas $q$ on the vertices (``agents''). Each vertex $v\in V$ is endowed with a linear order on the set $E_v$ of edges incident to $v$, which generates preference relations among functi… ▽ More In the stable allocation problem on a two-sided market introduced and studied by Baiou and Balinski in the early 2000's, one is given a bipartite graph $G=(V,E)$ with capacities $b$ on the edges (``contracts'') and quotas $q$ on the vertices (``agents''). Each vertex $v\in V$ is endowed with a linear order on the set $E_v$ of edges incident to $v$, which generates preference relations among functions (``contract intensities'') on $E_v$, giving rise to a model of \it{stable allocations} for $G$. This is a special case of Alkan-Gale's stability model for a bipartite graph with edge capacities in which, instead of linear orders, the preferences of each ``agent'' $v$ are given via a choice function that acts on the box $\{z\in{\mathbb R}_+^{E_v}\colon z(e)\le b(e),\, e\in E_v\}$ or a closed subset in it and obeys the (well motivated) axioms of consistence, substitutability and cardinal monotonicity. By central results in Alkan-Gale's theory, the set of stable assignments generated by such choice functions is nonempty and forms a distributive lattice. In this paper, being in frameworks of Alkan-Gale's model and generalizing the stable allocation one, we consider the situation when the preferences of ``agents'' of one side (``workers'') are given via linear orders, whereas the ones of the other side (``firms'') via integer-valued choice functions subject to the three axioms as above, thus introducing the model of \it{generalized allocations}, or g-allocations for short. Our main aims are to characterize and efficiently construct rotations, functions on $E$ associated with immediately preceding relations in the lattice $(S,\prec)$ of stable g-allocations, and to estimate the complexity of constructing a poset generated by rotations for which the lattice of closed functions is isomorphic to $(S,\prec)$, obtaining a ``compact'' representation of the latter. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Comments: 35 pages, 2 fig

MSC Class: 91C02; 91C78

Stable matchings, choice functions, and linear orders

Authors: Alexander V. Karzanov

Abstract: We consider a model of stable edge sets (``matchings'') in a bipartite graph $G=(V,E)$ in which the preferences for vertices of one side (``firms'') are given via choice functions subject to standard axioms of consistency, substitutability and cardinal monotonicity, whereas the preferences for the vertices of the other side (``workers'') via linear orders. For such a model, we present a combinator… ▽ More We consider a model of stable edge sets (``matchings'') in a bipartite graph $G=(V,E)$ in which the preferences for vertices of one side (``firms'') are given via choice functions subject to standard axioms of consistency, substitutability and cardinal monotonicity, whereas the preferences for the vertices of the other side (``workers'') via linear orders. For such a model, we present a combinatorial description of the structure of rotations and develop an algorithm to construct the poset of rotations, in time $O(|E|^2)$ (including oracle calls). As consequences, one can obtain a ``compact'' affine representation of stable matchings and efficiently solve some related problems. Keywords: bipartite graph, choice function, linear preferences, stable matching, affine representation, sequential choice △ Less

Submitted 27 January, 2025; v1 submitted 30 August, 2024; originally announced August 2024.

Comments: 26 pages. In this version small improvements and corrections are done

MSC Class: 91C02; 91C78

On stable assignments generated by choice functions of mixed type

Authors: Alexander V. Karzanov

Abstract: We consider one variant of stable assignment problems in a bipartite graph endowed with nonnegative capacities on the edges and quotas on the vertices. It can be viewed as a generalization of the stable allocation problem introduced by BaHiou and Balinsky, which arises when strong linear orders of preferences on the vertices in the latter are replaced by weak ones. At the same time, our stability… ▽ More We consider one variant of stable assignment problems in a bipartite graph endowed with nonnegative capacities on the edges and quotas on the vertices. It can be viewed as a generalization of the stable allocation problem introduced by BaHiou and Balinsky, which arises when strong linear orders of preferences on the vertices in the latter are replaced by weak ones. At the same time, our stability problem can be stated in the framework of a theory by Alkan and Gale on stable schedule matchings generated by choice functions of a wide scope. In our case, the choice functions are of a special, so-called mixed, type. The main content of this paper is devoted to a study of rotations in our mixed model, functions on the edges determining ``elementary'' transformations between close stable assignments. These look more sophisticated compared with rotations in the stable allocation problem (which are generated by simple cycles). We efficiently construct a poset of rotations and show that the stable assignments are in bijection with the so-called closed functions for this poset; this gives rise to a ``compact'' affine representation for the lattice of stable assignments and leads to an efficient method to find a stable assignment of minimum cost. △ Less

Submitted 21 May, 2024; v1 submitted 21 January, 2024; originally announced January 2024.

Comments: 39 pages, 1 figure. This is the improved and extended version

MSC Class: 91C02; 91C78

On diversifying stable assignments

Authors: Alexander V. Karzanov

Abstract: We consider the stable assignment problem on a graph with nonnegative real capacities on the edges and quotas on the vertices, in which the preferences of agents are given via diversifying choice functions. We prove that for any input of the problem, there exists exactly one stable assignment, and propose a polynomial time algorithm to find it. We consider the stable assignment problem on a graph with nonnegative real capacities on the edges and quotas on the vertices, in which the preferences of agents are given via diversifying choice functions. We prove that for any input of the problem, there exists exactly one stable assignment, and propose a polynomial time algorithm to find it. △ Less

Submitted 28 August, 2023; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 10 pages, 1 figure. At the end of updated version, a generalization to hypergraphs is briefly discussed

MSC Class: 91C02; 91C78

On the set of stable matchings of a bipartite graph

Authors: Alexander V. Karzanov

Abstract: The topic of stable matchings (marriages) in a bipartite graph has become widely popular, starting with the appearance of the classical work by Gale and Shapley. We give a detailed survey on selected known results in this field that demonstrate structural, polyhedral and algorithmic properties of such matchings and their sets, providing our description with relatively short proofs. The topic of stable matchings (marriages) in a bipartite graph has become widely popular, starting with the appearance of the classical work by Gale and Shapley. We give a detailed survey on selected known results in this field that demonstrate structural, polyhedral and algorithmic properties of such matchings and their sets, providing our description with relatively short proofs. △ Less

Submitted 10 January, 2023; originally announced January 2023.

Comments: 24 pages, in Russian language, 3 figures

MSC Class: 05C21; 91B10

On stable flows and preflows

Authors: Alexander Karzanov

Abstract: 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 si… ▽ More 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.) △ Less

Submitted 29 October, 2022; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: 19 pages, in Russian language. Compared with the previous version, the reference to a grant is removed

MSC Class: 05C21; 91B10

On Manin-Schechtman orders related to directed graphs

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: As a generalization of weak Bruhat orders on permutations, in 1989 Manin and Schechtman introduced the notion of a higher Bruhat order on the $d$-element subsets of a set $[n]=\{1,2,\ldots,n\}$. Among other results in this field, they proved that the set of such orders for $n,d$ fixed, endowed with natural local transformations, constitutes a poset with one minimal and one maximal elements. In thi… ▽ More As a generalization of weak Bruhat orders on permutations, in 1989 Manin and Schechtman introduced the notion of a higher Bruhat order on the $d$-element subsets of a set $[n]=\{1,2,\ldots,n\}$. Among other results in this field, they proved that the set of such orders for $n,d$ fixed, endowed with natural local transformations, constitutes a poset with one minimal and one maximal elements. In this paper we consider a wider model, involving the so-called convex order on certain path systems in an acyclic directed graph, introduce local transformations, or flips, on such orders and prove that the resulting structure gives a poset with one minimal and one maximal elements as well, yielding a generalization of the above-mentioned classical result. △ Less

Submitted 27 November, 2024; v1 submitted 14 March, 2022; originally announced March 2022.

Comments: Theorem 2.1 is not valid for some acyclic directed graphs

MSC Class: 05E10; 05B45

Stable and metastable contract networks

Authors: Vladimir I. Danilov, Alexander V. Karzanov

Abstract: We consider a hypergraph (I,C), with possible multiple (hyper)edges and loops, in which the vertices $i\in I$ are interpreted as agents, and the edges $c\in C$ as contracts that can be concluded between agents. The preferences of each agent i concerning the contracts where i takes part are given by use of a choice function $f_i$ possessing the so-called path independent property. In this general s… ▽ More We consider a hypergraph (I,C), with possible multiple (hyper)edges and loops, in which the vertices $i\in I$ are interpreted as agents, and the edges $c\in C$ as contracts that can be concluded between agents. The preferences of each agent i concerning the contracts where i takes part are given by use of a choice function $f_i$ possessing the so-called path independent property. In this general setup we introduce the notion of stable network of contracts. The paper contains two main results. The first one is that a general problem on stable systems of contracts for (I,C,f) is reduced to a set of special ones in which preferences of agents are described by use of so-called weak orders, or utility functions. However, for a special case of this sort, the stability may not exist. Trying to overcome this trouble when dealing with such special cases, we introduce a weaker notion of metastability for systems of contracts. Our second result is that a metastable system always exists. △ Less

Submitted 15 May, 2023; v1 submitted 26 February, 2022; originally announced February 2022.

Comments: 18 pages

Higher Bruhat orders of types B and C

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: We propose versions of higher Bruhat orders for types $B$ and $C$. This is based on a theory of higher Bruhat orders of type~A and their geometric interpretations (due to Manin--Shekhtman, Voevodskii--Kapranov, and Ziegler), and on our study of the so-called symmetric cubillages of cyclic zonotopes. We propose versions of higher Bruhat orders for types $B$ and $C$. This is based on a theory of higher Bruhat orders of type~A and their geometric interpretations (due to Manin--Shekhtman, Voevodskii--Kapranov, and Ziegler), and on our study of the so-called symmetric cubillages of cyclic zonotopes. △ Less

Submitted 1 July, 2022; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: 22 pages, 12 figures, a reference is added, a misprint in commutative diagram is corrected

MSC Class: 05E10; 05B45

Flips in symmetric separated set-systems

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: For a positive integer $n$, a collection $S$ of subsets of $[n]=\{1,\ldots,n\}$ is called symmetric if $X\in S$ implies $X^\ast\in S$, where $X^\ast:=\{i\in [n]\colon n-i+1\notin X\}$ (the involution $\ast$ was introduced by Karpman). Leclerc and Zelevinsky showed that the set of maximal strongly (resp. weakly) separated collections in $2^{[n]}$ is connected via flips, or mutations, ``in the prese… ▽ More For a positive integer $n$, a collection $S$ of subsets of $[n]=\{1,\ldots,n\}$ is called symmetric if $X\in S$ implies $X^\ast\in S$, where $X^\ast:=\{i\in [n]\colon n-i+1\notin X\}$ (the involution $\ast$ was introduced by Karpman). Leclerc and Zelevinsky showed that the set of maximal strongly (resp. weakly) separated collections in $2^{[n]}$ is connected via flips, or mutations, ``in the presence of six (resp. four) witnesses''. We give a symmetric analog of those results, by showing that each maximal symmetric strongly (weakly) separated collection in $2^{[n]}$ can be obtained from any other one by a series of special symmetric local transformations, so-called symmetric flips. Also we establish the connectedness via symmetric flips for the class of maximal symmetric $r$-separated collections in $2^{[n]}$ when $n,r$ are even (where sets $A,B\subseteq [n]$ are called $r$-separated if there are no elements $i_0<i_1< \cdots <i_{r+1}$ in $[n]$ which alternate in $A\setminus B$ and $B\setminus A$). This is related to a symmetric version of higher Bruhat orders. These results are obtained as consequences of our study of related geometric objects: symmetric rhombus and combined tilings and symmetric cubillages. △ Less

Submitted 14 June, 2022; v1 submitted 17 February, 2021; originally announced February 2021.

Comments: 39 pages, 8 figures

MSC Class: 05E10; 05B45

The purity phenomenon for symmetric separated set-systems

Authors: Vladimir Danilov, Alexander Karzanov, Gleb Koshevoy

Abstract: 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 s… ▽ More 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. △ Less

Submitted 1 May, 2022; v1 submitted 4 July, 2020; originally announced July 2020.

Comments: 29 pages, 12 figures. This is an improved version. Also new results are added in the ends of Sects. 5 and 6

MSC Class: 05E10; 05B45

Majority rule on rhombus tilings and Condorcet super-domains

Authors: Vladimir Danilov, Alexander Karzanov, Gleb Koshevoy

Abstract: 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 cycl… ▽ More 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. △ Less

Submitted 17 April, 2020; originally announced April 2020.

Comments: 17 pages, 8 figures

Basic quadratic identities on quantum minors

Authors: Vladimir Danilov, Alexander Karzanov

Abstract: 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). 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). △ Less

Submitted 1 February, 2020; originally announced February 2020.

Comments: 14 pages, 3 figures

MSC Class: 16T99; 05C75; 05E99

Erratum to "$B_2$-crystals: Axioms, structure, models" [J. Combin. Theory, Ser. A, 116 (2009), 265--289]

Authors: Vladimir Danilov, Alexander Karzanov, Gleb Koshevoy

Abstract: 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. 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. △ Less

Submitted 12 February, 2020; v1 submitted 29 December, 2019; originally announced December 2019.

Comments: 4 pages

MSC Class: 17B37; 05C75; 05E99

The weak separation in higher dimensions

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: For an odd integer $r>0$ and an integer $n>r$, we introduce a notion of weakly $r$-separated collections of subsets of $[n]=\{1,2,\ldots,n\}$. When $r=1$, this corresponds to the concept of weak separation introduced by Leclerc and Zelevinsky. In this paper, extending results due to Leclerc-Zelevinsky, we develop a geometric approach to establish a number of nice combinatorial properties of maxima… ▽ More For an odd integer $r>0$ and an integer $n>r$, we introduce a notion of weakly $r$-separated collections of subsets of $[n]=\{1,2,\ldots,n\}$. When $r=1$, this corresponds to the concept of weak separation introduced by Leclerc and Zelevinsky. In this paper, extending results due to Leclerc-Zelevinsky, we develop a geometric approach to establish a number of nice combinatorial properties of maximal weakly r-separated collections. As a supplement, we also discuss an analogous concept when $r$ is even. △ Less

Submitted 16 July, 2019; v1 submitted 22 April, 2019; originally announced April 2019.

Comments: 28 pages, 3 figures

MSC Class: 05E10; 05B45

Cubillages of cyclic zonotopes

Authors: V. I. Danilov, A. V. Karzanov, G. A. Koshevoy

Abstract: This paper (written in Russian) presents a survey of new and earlier results on fine zonotopal tilings (briefly, cubillages) of cyclic zonotopes. The combinatorial theory of these objects is of interest in its own right and also has a connection to higher Bruhat orders, triangulations of cyclic polytopes, and Tamari-Stasheff posets applied in the study of Kadomtsev--Petviashvily equations, and etc… ▽ More This paper (written in Russian) presents a survey of new and earlier results on fine zonotopal tilings (briefly, cubillages) of cyclic zonotopes. The combinatorial theory of these objects is of interest in its own right and also has a connection to higher Bruhat orders, triangulations of cyclic polytopes, and Tamari-Stasheff posets applied in the study of Kadomtsev--Petviashvily equations, and etc. △ Less

Submitted 19 February, 2019; originally announced February 2019.

Comments: in Russian, 61 pages

MSC Class: 05E10; 05B45

Cubillages on cyclic zonotopes, membranes, and higher separatation

Authors: V. I. Danilov, A. V. Karzanov, G. A. Koshevoy

Abstract: We study certain structural properties of fine zonotopal tilings, or cubillages, on cyclic zonotopes $Z(n,d)$ of an arbitrary dimension $d$ and their relations to $(d-1)$-separated collections of subsets of a set $\{1,2,\ldots,n\}$. (Collections of this sort are well known as strongly separated ones when $d=2$, and as chord separated ones when $d=3$.) We study certain structural properties of fine zonotopal tilings, or cubillages, on cyclic zonotopes $Z(n,d)$ of an arbitrary dimension $d$ and their relations to $(d-1)$-separated collections of subsets of a set $\{1,2,\ldots,n\}$. (Collections of this sort are well known as strongly separated ones when $d=2$, and as chord separated ones when $d=3$.) △ Less

Submitted 29 November, 2018; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: 16 pages, 1 figure

MSC Class: 05E10; 05B45

On interrelations between strongly, weakly and chord separated set-systems (a geometric approach)

Authors: V. I. Danilov, A. V. Karzanov, G. A. Koshevoy

Abstract: We consider three types of set-systems that have interesting applications in algebraic combinatorics and representation theory: maximal collections of the so-called strongly separated, weakly separated, and chord separated subsets of a set $[n]=\{1,2,\ldots,n\}$. These collections are known to admit nice geometric interpretations; namely, they are bijective, respectively, to rhombus tilings on the… ▽ More We consider three types of set-systems that have interesting applications in algebraic combinatorics and representation theory: maximal collections of the so-called strongly separated, weakly separated, and chord separated subsets of a set $[n]=\{1,2,\ldots,n\}$. These collections are known to admit nice geometric interpretations; namely, they are bijective, respectively, to rhombus tilings on the zonogon $Z(n,2)$, combined tilings on $Z(n,2)$, and fine zonotopal tilings (or `cubillages') on the 3-dimensional zonotope $Z(n,3)$. We describe interrelations between these three types of set-systems in $2^{[n]}$, by studying interrelations between their geometric models. In particular, we completely characterize the sets of rhombus and combined tilings properly embeddable in a fixed cubillage, explain that they form distributive lattices, give efficient methods of extending a given rhombus or combined tiling to a cubillage, and etc. △ Less

Submitted 24 May, 2018; originally announced May 2018.

Comments: 30 pages, 16 figures

MSC Class: 05E10; 05B45

An efficient algorithm for packing cuts and (2,3)-metrics in a planar graph with three holes

Authors: Alexander V. Karzanov

Abstract: We consider a planar graph $G$ in which the edges have nonnegative integer lengths such that the length of every cycle of $G$ is even, and three faces are distinguished, called holes in $G$. It is known that there exists a packing of cuts and (2,3)-metrics with nonnegative integer weights in $G$ which realizes the distances within each hole. We develop a strongly polynomial purely combinatorial al… ▽ More We consider a planar graph $G$ in which the edges have nonnegative integer lengths such that the length of every cycle of $G$ is even, and three faces are distinguished, called holes in $G$. It is known that there exists a packing of cuts and (2,3)-metrics with nonnegative integer weights in $G$ which realizes the distances within each hole. We develop a strongly polynomial purely combinatorial algorithm to find such a packing. △ Less

Submitted 19 March, 2018; originally announced March 2018.

Comments: 25 pages, 10 figures

MSC Class: 90C27; 05C10; 05C12; 05C21; 05C85

Two statements on path systems related to quantum minors

Authors: Vladimir I. Danilov, Alexander V. Karzanov

Abstract: In ArXiv:1604.00338[math.QA] we gave a complete combinatorial characterization of homogeneous quadratic identities for minors of quantum matrices. It was obtained as a consequence of results on minors of matrices of a special sort, the so-called path matrices $Path_G$ generated by paths in special planar directed graphs $G$. In this paper we prove two assertions that were stated but left unprove… ▽ More In ArXiv:1604.00338[math.QA] we gave a complete combinatorial characterization of homogeneous quadratic identities for minors of quantum matrices. It was obtained as a consequence of results on minors of matrices of a special sort, the so-called path matrices $Path_G$ generated by paths in special planar directed graphs $G$. In this paper we prove two assertions that were stated but left unproved in ArXiv:1604.00338[math.QA]. The first one says that any minor of $Path_G$ is determined by a system of disjoint paths, called a flow, in $G$ (generalizing a similar result of Lindström's type for the path matrices of Cauchon graphs by Casteels). The second, more sophisticated, assertion concerns certain transformations of pairs of flows in $G$. △ Less

Submitted 1 November, 2016; originally announced November 2016.

Comments: 28 pages

MSC Class: 16T99; 05C75; 05E99

On universal quadratic identities for minors of quantum matrices

Authors: Vladimir Danilov, Alexander Karzanov

Abstract: 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 pla… ▽ More 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. △ Less

Submitted 18 December, 2016; v1 submitted 1 April, 2016; originally announced April 2016.

Comments: 53 pages, 27 figures. This combines the (improved) original version and arXiv:1611.00302 [math.CO]. Submitted

MSC Class: 16T99; 05C75; 05E99

A combinatorial algorithm for the planar multiflow problem with demands located on three holes

Authors: Maxim A. Babenko, Alexander V. Karzanov

Abstract: We consider an undirected multi(commodity)flow demand problem in which a supply graph is planar, each source-sink pair is located on one of three specified faces of the graph, and the capacities and demands are integer-valued and Eulerian. It is known that such a problem has a solution if the cut and (2,3)-metric conditions hold, and that the solvability implies the existence of an integer solutio… ▽ More We consider an undirected multi(commodity)flow demand problem in which a supply graph is planar, each source-sink pair is located on one of three specified faces of the graph, and the capacities and demands are integer-valued and Eulerian. It is known that such a problem has a solution if the cut and (2,3)-metric conditions hold, and that the solvability implies the existence of an integer solution. We develop a purely combinatorial strongly polynomial solution algorithm. △ Less

Submitted 27 October, 2014; originally announced October 2014.

Comments: 16 pages, 4 figures

MSC Class: 90C27; 05C10; 05C21; 05C85

Combined tilings and separated set-systems

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: In 1998, Leclerc and Zelevinsky introduced the notion of weakly separated collections of subsets of the ordered $n$-element set $[n]$ (using this notion to give a combinatorial characterization for quasi-commuting minors of a quantum matrix). They conjectured the purity of certain natural domains $D\subseteq 2^{[n]}$ (in particular, of the hypercube $2^{[n]}$ itself, and the hyper-simplex… ▽ More In 1998, Leclerc and Zelevinsky introduced the notion of weakly separated collections of subsets of the ordered $n$-element set $[n]$ (using this notion to give a combinatorial characterization for quasi-commuting minors of a quantum matrix). They conjectured the purity of certain natural domains $D\subseteq 2^{[n]}$ (in particular, of the hypercube $2^{[n]}$ itself, and the hyper-simplex $\{X\subseteq[n]\colon |X|=m\}$ for $m$ fixed), where $D$ is called pure if all maximal weakly separated collections in $D$ have the same cardinality. These conjectures have been answered affirmatively. In this paper, generalizing those earlier results, we reveal wider classes of pure domains in $2^{[n]}$. This is obtained as a consequence of our study of a novel geometric--combinatorial model for weakly separated set-systems, so-called \emph{combined (polygonal) tilings} on a zonogon, which yields a new insight in the area. △ Less

Submitted 17 September, 2016; v1 submitted 24 January, 2014; originally announced January 2014.

Comments: 30 pages. Revised version. To appear in Selecta Mathematica

MSC Class: 05E10; 05B45

The purity of set-systems related to Grassmann necklaces

Authors: Vladimir Danilov, Alexander Karzanov, Gleb Koshevoy

Abstract: 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 Grassma… ▽ More 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. △ Less

Submitted 11 December, 2013; originally announced December 2013.

Comments: 13 pages, 3 figures

Assembling crystals of type A

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: Regular $A_n$-crystals are certain edge-colored directed graphs which are related to representations of the quantized universal enveloping algebra $U_q(\mathfrak{sl}_{n+1})$. For such a crystal $K$ with colors $1,2,...,n$, we consider its maximal connected subcrystals with colors $1,...,n-1$ and with colors $2,...,n$ and characterize the interlacing structure for all pairs of these subcrystals. Th… ▽ More Regular $A_n$-crystals are certain edge-colored directed graphs which are related to representations of the quantized universal enveloping algebra $U_q(\mathfrak{sl}_{n+1})$. For such a crystal $K$ with colors $1,2,...,n$, we consider its maximal connected subcrystals with colors $1,...,n-1$ and with colors $2,...,n$ and characterize the interlacing structure for all pairs of these subcrystals. This is used to give a recursive description of the combinatorial structure of $K$ and develop an efficient procedure of assembling $K$. △ Less

Submitted 23 December, 2012; originally announced December 2012.

Comments: 24 pages. This is an improved version of the first part of ArXiv:1201.4549v3[math.CO]

MSC Class: 17B37; 05C75; 05E99

On Weighted Multicommodity Flows in Directed Networks

Authors: Maxim A. Babenko, Alexander V. Karzanov

Abstract: Let $G = (VG, AG)$ be a directed graph with a set $S \subseteq VG$ of terminals and nonnegative integer arc capacities $c$. A feasible multiflow is a nonnegative real function $F(P)$ of "flows" on paths $P$ connecting distinct terminals such that the sum of flows through each arc $a$ does not exceed $c(a)$. Given $μ\colon S \times S \to \R_+$, the \emph{$μ$-value} of $F$ is… ▽ More Let $G = (VG, AG)$ be a directed graph with a set $S \subseteq VG$ of terminals and nonnegative integer arc capacities $c$. A feasible multiflow is a nonnegative real function $F(P)$ of "flows" on paths $P$ connecting distinct terminals such that the sum of flows through each arc $a$ does not exceed $c(a)$. Given $μ\colon S \times S \to \R_+$, the \emph{$μ$-value} of $F$ is $\sum_P F(P) μ(s_P, t_P)$, where $s_P$ and $t_P$ are the start and end vertices of a path $P$, respectively. Using a sophisticated topological approach, Hirai and Koichi showed that the maximum $μ$-value multiflow problem has an integer optimal solution when $μ$ is the distance generated by subtrees of a weighted directed tree and $(G,S,c)$ satisfies certain Eulerian conditions. We give a combinatorial proof of that result and devise a strongly polynomial combinatorial algorithm. △ Less

Submitted 2 December, 2012; originally announced December 2012.

Comments: 12 pages

MSC Class: 05C21; 05C85; 90C27

On the combinatorial structure of crystals of types A,B,C

Authors: Vladimir Danilov, Alexander Karzanov, Gleb Koshevoy

Abstract: 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 regu… ▽ More 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). △ Less

Submitted 15 August, 2012; v1 submitted 22 January, 2012; originally announced January 2012.

Comments: 54 pages. Compared with the previous version, some illustrations and references are added

MSC Class: 17B37; 05C75; 05E99

Planar flows and quadratic relations over semirings

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: Adapting Lindström's well-known construction, we consider a wide class of functions which are generated by flows in a planar acyclic directed graph whose vertices (or edges) take weights in an arbitrary commutative semiring. We give a combinatorial description for the set of "universal" quadratic relations valid for such functions. Their specializations to particular semirings involve plenty of kn… ▽ More Adapting Lindström's well-known construction, we consider a wide class of functions which are generated by flows in a planar acyclic directed graph whose vertices (or edges) take weights in an arbitrary commutative semiring. We give a combinatorial description for the set of "universal" quadratic relations valid for such functions. Their specializations to particular semirings involve plenty of known quadratic relations for minors of matrices (e.g., Plücker relations) and the tropical counterparts of such relations. Also some applications and related topics are discussed. △ Less

Submitted 29 January, 2012; v1 submitted 13 February, 2011; originally announced February 2011.

Comments: 35 pages. This is the revised version accepted for publication in J. Algebraic Comb. (The final publication is available at springerlink.com.) Also in the Appendix we add the assertion that the function of minors of any matrix over a field is generated (using Lindström method) by flows in a weighted planar acyclic directed graph

MSC Class: 05C75; 05E99

Condorcet domains of tiling type

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: A Condorcet domain (CD) is a collection of linear orders on a set of candidates satisfying the following property: for any choice of preferences of voters from this collection, a simple majority rule does not yield cycles. We propose a method of constructing "large" CDs by use of rhombus tiling diagrams and explain that this method unifies several constructions of CDs known earlier. Finally, we sh… ▽ More A Condorcet domain (CD) is a collection of linear orders on a set of candidates satisfying the following property: for any choice of preferences of voters from this collection, a simple majority rule does not yield cycles. We propose a method of constructing "large" CDs by use of rhombus tiling diagrams and explain that this method unifies several constructions of CDs known earlier. Finally, we show that three conjectures on the maximal sizes of those CDs are, in fact, equivalent and provide a counterexample to them. △ Less

Submitted 18 August, 2011; v1 submitted 12 November, 2010; originally announced November 2010.

Comments: 16 pages. To appear in Discrete Applied Mathematics

Planar flows and Plücker's type quadratic relations over semirings

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: It is well known, due to Lindström, that the minors of a (real or complex) matrix can be expressed in terms of weights of flows in a planar directed graph. Another classical fact is that there are plenty of homogeneous quadratic relations involving flag minors, or Plücker coordinates of the corresponding flag manifold. Generalizing and unifying these facts and their tropical counterparts, we consi… ▽ More It is well known, due to Lindström, that the minors of a (real or complex) matrix can be expressed in terms of weights of flows in a planar directed graph. Another classical fact is that there are plenty of homogeneous quadratic relations involving flag minors, or Plücker coordinates of the corresponding flag manifold. Generalizing and unifying these facts and their tropical counterparts, we consider a wide class of functions on $2^{[n]}$ that are generated by flows in a planar graph and take values in an arbitrary commutative semiring, where $[n]=\{1,2,\ldots,n\}$. We show that the ``universal'' homogeneous quadratic relations fulfilled by such functions can be described in terms of certain matchings, and as a consequence, give combinatorial necessary and sufficient conditions on the collections of subsets of $[n]$ determining these relations. △ Less

Submitted 18 August, 2010; originally announced August 2010.

Comments: 21 pges

MSC Class: 05C75; 05E99

On Min-Cost Multiflow Problem in Node-Capacitated Undirected Networks

Authors: Maxim A. Babenko, Alexander V. Karzanov

Abstract: We consider an undirected graph $G = (VG, EG)$ with a set $T \subseteq VG$ of terminals, and with nonnegative integer capacities $c(v)$ and costs $a(v)$ of nodes $v\in VG$. A path in $G$ is a \emph{$T$-path} if its ends are distinct terminals. By a \emph{multiflow} we mean a function $F$ assigning to each $T$-path $P$ a nonnegative rational \emph{weight} $F(P)$, and a multiflow is called \emph{fea… ▽ More We consider an undirected graph $G = (VG, EG)$ with a set $T \subseteq VG$ of terminals, and with nonnegative integer capacities $c(v)$ and costs $a(v)$ of nodes $v\in VG$. A path in $G$ is a \emph{$T$-path} if its ends are distinct terminals. By a \emph{multiflow} we mean a function $F$ assigning to each $T$-path $P$ a nonnegative rational \emph{weight} $F(P)$, and a multiflow is called \emph{feasible} if the sum of weights of $T$-paths through each node $v$ does not exceed $c(v)$. The \emph{value} of $F$ is the sum of weights $F(P)$, and the \emph{cost} of $F$ is the sum of $F(P)$ times the cost of $P$ w.r.t. $a$, over all $T$-paths $P$. Generalizing known results on edge-capacitated multiflows, we show that the problem of finding a minimum cost multiflow among the feasible multiflows of maximum possible value admits \emph{half-integer} optimal primal and dual solutions. Moreover, we devise a strongly polynomial algorithm for finding such optimal solutions. △ Less

Submitted 6 January, 2011; v1 submitted 31 December, 2009; originally announced January 2010.

Comments: 26 pages; improved presentation; replaced skew-symmetric graphs with bidirected ones in the main content; accepted to Journal of Combinatorial Optimization

On maximal weakly separated set-systems

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: For a permutation $ω\in S_n$, Leclerc and Zelevinsky \cite{LZ} introduced a concept of $ω$-{\em chamber weakly separated collection} of subsets of $\{1,2,...,n\}$ and conjectured that all inclusion-wise maximal collections of this sort have the same cardinality $\ell(ω)+n+1$, where $\ell(ω)$ is the length of $ω$. We answer affirmatively this conjecture and present a generalization and additional r… ▽ More For a permutation $ω\in S_n$, Leclerc and Zelevinsky \cite{LZ} introduced a concept of $ω$-{\em chamber weakly separated collection} of subsets of $\{1,2,...,n\}$ and conjectured that all inclusion-wise maximal collections of this sort have the same cardinality $\ell(ω)+n+1$, where $\ell(ω)$ is the length of $ω$. We answer affirmatively this conjecture and present a generalization and additional results. △ Less

Submitted 12 November, 2010; v1 submitted 8 September, 2009; originally announced September 2009.

Comments: 36 pages. This is the final version for J. Algebr. Comb

MSC Class: 05C75; 05E99

Journal ref: J. of Algebraic Combinatorics, 32, 2010, 497-531

Plücker environments, wiring and tiling diagrams, and weakly separated set-systems

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: For the ordered set $[n]$ of $n$ elements, we consider the class $\Bscr_n$ of bases $B$ of tropical Plücker functions on $2^{[n]}$ such that $B$ can be obtained by a series of mutations (flips) from the basis formed by the intervals in $[n]$. We show that these bases are representable by special wiring diagrams and by certain arrangements generalizing rhombus tilings on the $n$-zonogon. Based on… ▽ More For the ordered set $[n]$ of $n$ elements, we consider the class $\Bscr_n$ of bases $B$ of tropical Plücker functions on $2^{[n]}$ such that $B$ can be obtained by a series of mutations (flips) from the basis formed by the intervals in $[n]$. We show that these bases are representable by special wiring diagrams and by certain arrangements generalizing rhombus tilings on the $n$-zonogon. Based on the generalized tiling representation, we then prove that each weakly separated set-system in $2^{[n]}$ having maximum possible size belongs to $\Bscr_n$, thus answering affirmatively a conjecture due to Leclerc and Zelevinsky. We also prove an analogous result for a hyper-simplex $Δ_n^m=\{S\subseteq[n]\colon |S|=m\}$. △ Less

Submitted 14 April, 2009; v1 submitted 19 February, 2009; originally announced February 2009.

Comments: 47 pages. In this revision we add an Appendix containing results on weakly separated set-systems in a hyper-simplex and related subjects

MSC Class: 05C75; 05E99

Journal ref: Advances in Mathematics, 224, 2010, 1-44

On bases of tropical Plücker functions

Authors: Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy

Abstract: We consider functions $f:B\to\Rset$ that obey tropical analogs of classical Plücker relations on minors of a matrix. The most general set $B$ that we deal with in this paper is of the form $\{x\in \Zset^n\colon 0\le x\le a, m\le x_1+...+x_n\le m'\}$ (a rectangular integer box ``truncated from below and above''). We construct a basis for the set $\Tscr$ of tropical Plücker functions on $B$, a sub… ▽ More We consider functions $f:B\to\Rset$ that obey tropical analogs of classical Plücker relations on minors of a matrix. The most general set $B$ that we deal with in this paper is of the form $\{x\in \Zset^n\colon 0\le x\le a, m\le x_1+...+x_n\le m'\}$ (a rectangular integer box ``truncated from below and above''). We construct a basis for the set $\Tscr$ of tropical Plücker functions on $B$, a subset $\Bscr\subseteq B$ such that the restriction map $\Tscr\to\Rset^\Bscr$ is bijective. Also we characterize, in terms of the restriction to the basis, the classes of submodular, so-called skew-submodular, and discrete concave functions in $\Tscr$, discuss a tropical analogue of the Laurentness property, and present other results. △ Less

Submitted 11 February, 2008; v1 submitted 24 December, 2007; originally announced December 2007.

Comments: 44 pages. This is a revision of the original version, where some improvements are done and new results are added (in particular, the classes of submodular and discrete concave tropical Plücker functions are characterized, and a tropical analogue of the Laurent phenomenon is shown

MSC Class: 05C75; 05E99

$B_2$-crystals: axioms, structure, models

Authors: V. I. Danilov, A. V. Karzanov, G. A. Koshevoy

Abstract: We present a list of ``local'' axioms and an explicit combinatorial construction for the regular $B_2$-crystals (crystal graphs of highest weight integrable modules over $U_q(sp_4)$). Also a new combinatorial model for these crystals is developed. We present a list of ``local'' axioms and an explicit combinatorial construction for the regular $B_2$-crystals (crystal graphs of highest weight integrable modules over $U_q(sp_4)$). Also a new combinatorial model for these crystals is developed. △ Less

Submitted 8 January, 2020; v1 submitted 16 August, 2007; originally announced August 2007.

Comments: 33 pages, 9 figures, this paper is updated version of published version in Journal of Combinatorial Theory, Series A Volume 116, Issue 2, February 2009, Pages 265-289

MSC Class: 17B37; 05C75; 05E99

The crossing model for regular $A_n$-crystals

Authors: V. I. Danilov, A. V. Karzanov, G. A. Koshevoy

Abstract: A regular $A_n$-crystal is an edge-colored directed graph, with $n$ colors, related to an irreducible highest weight integrable module over $U_q(sl_{n+1})$. Based on Stembridge's local axioms for regular simply-laced crystals and a structural characterization of regular $A_2$-crystals in \cite{DKK-07}, we present a new combinatorial construction, the so-called {\em crossing model}, and prove tha… ▽ More A regular $A_n$-crystal is an edge-colored directed graph, with $n$ colors, related to an irreducible highest weight integrable module over $U_q(sl_{n+1})$. Based on Stembridge's local axioms for regular simply-laced crystals and a structural characterization of regular $A_2$-crystals in \cite{DKK-07}, we present a new combinatorial construction, the so-called {\em crossing model}, and prove that this model generates precisely the set of regular $A_n$-crystals. Using the model, we obtain a series of results on the combinatorial structure of such crystals and properties of their subcrystals. △ Less

Submitted 8 August, 2008; v1 submitted 13 December, 2006; originally announced December 2006.

Comments: 39 pages, LATEX; minor corrections and improvements; this is the final version to appear in J. of Algebra

MSC Class: 17B37; 05C75; 05E99

Journal ref: J. of Algebra, 320, 2008, 3398-3424

On the structure of regular $B_2$-type crystals

Authors: V. I. Danilov, A. V. Karzanov, G. A. Koshevoy

Abstract: For simply-laced Kac-Moody algebras $\frak g$, Stembridge (2003) proposed a `local' axiomatization of crystal graphs of representations of $U_q(\frak g)$. In this paper we propose axioms for edge-2-colored graphs which characterize the crystals of integrable representations of $U_q(sp(4))$, regular crystal graphs of $B_2$-type. An edge-colored directed graph which obeys our Axioms (K0)--(K5) is… ▽ More For simply-laced Kac-Moody algebras $\frak g$, Stembridge (2003) proposed a `local' axiomatization of crystal graphs of representations of $U_q(\frak g)$. In this paper we propose axioms for edge-2-colored graphs which characterize the crystals of integrable representations of $U_q(sp(4))$, regular crystal graphs of $B_2$-type. An edge-colored directed graph which obeys our Axioms (K0)--(K5) is called an R-{\em graph} (for brevity), and our main result is that the regular crystals of $B_2$-type are R-graphs and vice versa. We give a direct combinatorial construction for the crystals in question. On this way we introduce a new, so-called {\em crossing model}, which does not exploit Young tableaux. This combinatorial model consists of a two-component graph of a rather simple form and of a certain set of integer-valued functions on its vertices. △ Less

Submitted 21 November, 2006; originally announced November 2006.

Comments: 29 pages, 12 figures

MSC Class: 17B37; 05C75; 05E99

Minimum Mean Cycle Problem in Bidirected and Skew-Symmetric Graphs

Authors: Maxim A. Babenko, Alexander V. Karzanov

Abstract: The problem of finding, in an edge-weighted bidirected graph $G=(V,E)$, a cycle with minimum mean weight of its edges generalizes similar problems for both directed and undirected graphs. (The problem is considered in two variants: for the cycles without repeated edges and for the cycles without repeated nodes.) In this note we develop an algorithm to solve this problem in… ▽ More The problem of finding, in an edge-weighted bidirected graph $G=(V,E)$, a cycle with minimum mean weight of its edges generalizes similar problems for both directed and undirected graphs. (The problem is considered in two variants: for the cycles without repeated edges and for the cycles without repeated nodes.) In this note we develop an algorithm to solve this problem in $O(V^2 \min(V^2, E\log V))$-time (to compare: the complexity of an improved version of Barahona's algorithm for undirected cycles is $O(V^4)$). Our algorithm is based on a certain general approach to minimum mean problems and uses, as a subroutine, Gabow's algorithm for the minimum weight 2-factor problem in a graph. The problem admits a reformulation in terms of regular cycles in a skew-symmetric graph. △ Less

Submitted 17 August, 2006; originally announced August 2006.

Comments: 10 pages, 2 figures

MSC Class: 05C38; 05C85; 90C27

Combinatorics of $A_2$-crystals

Authors: V. I. Danilov, A. V. Karzanov, G. A. Koshevoy

Abstract: We show that a connected regular $A_2$-crystal (the crystal graph of an irreducible representation of $sl_3$) can be produced from two half-grids by replicating them and glying together in a certain way. Also some extensions and related aspects are discussed. We show that a connected regular $A_2$-crystal (the crystal graph of an irreducible representation of $sl_3$) can be produced from two half-grids by replicating them and glying together in a certain way. Also some extensions and related aspects are discussed. △ Less

Submitted 14 April, 2006; originally announced April 2006.

Comments: 21 pages, 7 fugures, 8 bibl

MSC Class: 17B37; 05C75; 05E99

Journal ref: J. of Algebra, 310, 2007, 218-234

Free multiflows in bidirected and skew-symmetric graphs

Authors: M. A. Babenko, A. V. Karzanov

Abstract: A graph (digraph) $G=(V,E)$ with a set $T\subseteq V$ of terminals is called inner Eulerian if each nonterminal node $v$ has even degree (resp. the numbers of edges entering and leaving $v$ are equal). Cherkassky and Lovász showed that the maximum number of pairwise edge-disjoint $T$-paths in an inner Eulerian graph $G$ is equal to $\frac12\sum_{s\in T} λ(s)$, where $λ(s)$ is the minimum number… ▽ More A graph (digraph) $G=(V,E)$ with a set $T\subseteq V$ of terminals is called inner Eulerian if each nonterminal node $v$ has even degree (resp. the numbers of edges entering and leaving $v$ are equal). Cherkassky and Lovász showed that the maximum number of pairwise edge-disjoint $T$-paths in an inner Eulerian graph $G$ is equal to $\frac12\sum_{s\in T} λ(s)$, where $λ(s)$ is the minimum number of edges whose removal disconnects $s$ and $T-\{s\}$. A similar relation for inner Eulerian digraphs was established by Lomonosov. Considering undirected and directed networks with ``inner Eulerian'' edge capacities, Ibaraki, Karzanov, and Nagamochi showed that the problem of finding a maximum integer multiflow (where partial flows connect arbitrary pairs of distinct terminals) is reduced to $O(\log T)$ maximum flow computations and to a number of flow decompositions. In this paper we extend the above max-min relation to inner Eulerian bidirected and skew-symmetric graphs and develop an algorithm of complexity $O(VE\log T\log(2+V^2/E))$ for the corresponding capacitated cases. In particular, this improves the known bound for digraphs. Our algorithm uses a fast procedure for decomposing a flow with O(1) sources and sinks in a digraph into the sum of one-source-one-sink flows. △ Less

Submitted 21 October, 2005; originally announced October 2005.

Comments: 21 pages, 4 figures Submitted to a special issue of DAM

MSC Class: 90C27 90B10

Journal ref: Discrete Applied Math., 155, 2007, 1715-1730

Discrete strip-concave functions, Gelfand-Tsetlin patterns, and related polyhedra

Authors: V. I. Danilov, A. V. Karzanov, G. E. Koshevoy

Abstract: Discrete strip-concave functions considered in this paper are, in fact, equivalent to an extension of Gelfand-Tsetlin patterns to the case when the pattern has a not necessarily triangular but convex configuration. They arise by releasing one of the three types of rhombus inequalities for discrete concave functions (or ``hives'') on a ``convex part'' of a triangular grid. The paper is devoted to… ▽ More Discrete strip-concave functions considered in this paper are, in fact, equivalent to an extension of Gelfand-Tsetlin patterns to the case when the pattern has a not necessarily triangular but convex configuration. They arise by releasing one of the three types of rhombus inequalities for discrete concave functions (or ``hives'') on a ``convex part'' of a triangular grid. The paper is devoted to a combinatorial study of certain polyhedra related to such functions or patterns, and results on faces, integer points and volumes of these polyhedra are presented. Also some relationships and applications are discussed. In particular, we characterize, in terms of valid inequalities, the polyhedral cone formed by the boundary values of discrete strip-concave functions on a grid having trapezoidal configuration. As a consequence of this result, necessary and sufficient conditions on a pair of vectors to be the shape and content of a semi-standard skew Young tableau are obtained. △ Less

Submitted 28 February, 2005; v1 submitted 16 April, 2004; originally announced April 2004.

Comments: 26 pages, 6 figures. Updated and extended content

Journal ref: J. of Combinatorial Theory, Ser. A, 112, No 2, 2005, 175-193

Integer concave cocirculations and honeycombs

Authors: Alexander V. Karzanov

Abstract: A convex triangular grid is represented by a planar digraph $G$ embedded in the plane so that (a) each bounded face is surrounded by three edges and forms an equilateral triangle, and (b) the union $\Rscr$ of bounded faces is a convex polygon. A real-valued function $h$ on the edges of $G$ is called a concave cocirculation if $h(e)=g(v)-g(u)$ for each edge $e=(u,v)$, where $g$ is a concave funct… ▽ More A convex triangular grid is represented by a planar digraph $G$ embedded in the plane so that (a) each bounded face is surrounded by three edges and forms an equilateral triangle, and (b) the union $\Rscr$ of bounded faces is a convex polygon. A real-valued function $h$ on the edges of $G$ is called a concave cocirculation if $h(e)=g(v)-g(u)$ for each edge $e=(u,v)$, where $g$ is a concave function on $\Rscr$ which is affinely linear within each bounded face of $G$. Knutson and Tao [J. Amer. Math. Soc. 12 (4) (1999) 1055--1090] proved an integrality theorem for so-called honeycombs, which is equivalent to the assertion that an integer-valued function on the boundary edges of $G$ is extendable to an integer concave cocirculation if it is extendable to a concave cocirculation at all. In this paper we show a sharper property: for any concave cocirculation $h$ in $G$, there exists an integer concave cocirculation $h'$ satisfying $h'(e)=h(e)$ for each boundary edge $e$ with $h(e)$ integer and for each edge $e$ contained in a bounded face where $h$ takes integer values on all edges. On the other hand, we explain that for a 3-side grid $G$ of size $n$, the polytope of concave cocirculations with fixed integer values on two sides of $G$ can have a vertex $h$ whose entries are integers on the third side but $h(e)$ has denominator $Ω(n)$ for some interior edge $e$. Also some algorithmic aspects and related results on honeycombs are discussed. △ Less

Submitted 23 January, 2004; originally announced January 2004.

Comments: 20 pages, 12 figures, submitted to IPCO2004

MSC Class: 90C10; 90C27; 05C99

Journal ref: Lecture Notes in Computer Sci., 3064, 2004, 368-387

Maximum Skew-Symmetric Flows and Matchings

Authors: Andrew V. Goldberg, Alexander V. Karzanov

Abstract: The maximum integer skew-symmetric flow problem (MSFP) generalizes both the maximum flow and maximum matching problems. It was introduced by Tutte in terms of self-conjugate flows in antisymmetrical digraphs. He showed that for these objects there are natural analogs of classical theoretical results on usual network flows, such as the flow decomposition, augmenting path, and max-flow min-cut the… ▽ More The maximum integer skew-symmetric flow problem (MSFP) generalizes both the maximum flow and maximum matching problems. It was introduced by Tutte in terms of self-conjugate flows in antisymmetrical digraphs. He showed that for these objects there are natural analogs of classical theoretical results on usual network flows, such as the flow decomposition, augmenting path, and max-flow min-cut theorems. We give unified and shorter proofs for those theoretical results. We then extend to MSFP the shortest augmenting path method of Edmonds and Karp and the blocking flow method of Dinits, obtaining algorithms with similar time bounds in general case. Moreover, in the cases of unit arc capacities and unit ``node capacities'' the blocking skew-symmetric flow algorithm has time bounds similar to those established in Even and Tarjan (1975) and Karzanov (1973) for Dinits' algorithm. In particular, this implies an algorithm for finding a maximum matching in a nonbipartite graph in $O(\sqrt{n}m)$ time, which matches the time bound for the algorithm of Micali and Vazirani. Finally, extending a clique compression technique of Feder and Motwani to particular skew-symmetric graphs, we speed up the implied maximum matching algorithm to run in $O(\sqrt{n}m\log(n^2/m)/\log{n})$ time, improving the best known bound for dense nonbipartite graphs. Also other theoretical and algorithmic results on skew-symmetric flows and their applications are presented. △ Less

Submitted 23 January, 2004; v1 submitted 21 April, 2003; originally announced April 2003.

Comments: 35 pages, 3 figures, to appear in Mathematical Programming, minor stylistic corrections and shortenings to the original version

Journal ref: Mathematical Programming, 100, No 3, 2004, 537-568

Concave cocirculations in a triangular grid

Authors: Alexander V. Karzanov

Abstract: Let $G=(V(G),E(G))$ be a planar digraph embedded in the plane in which all inner faces are equilateral triangles (with three edges in each), and let the union $\Rscr$ of these faces forms a convex polygon. The question is: given a function $σ$ on the boundary edges of $G$, does there exist a concave function $f$ on $\Rscr$ which is affinely linear within each bounded face and satisfies… ▽ More Let $G=(V(G),E(G))$ be a planar digraph embedded in the plane in which all inner faces are equilateral triangles (with three edges in each), and let the union $\Rscr$ of these faces forms a convex polygon. The question is: given a function $σ$ on the boundary edges of $G$, does there exist a concave function $f$ on $\Rscr$ which is affinely linear within each bounded face and satisfies $f(v)-f(u)=σ(e)$ for each boundary edge $e=(u,v)$? The functions $σ$ admitting such an $f$ form a polyhedral cone $C$, and when the region $\Rscr$ is a triangle, $C$ turns out to be exactly the cone of boundary data of honeycombs. Studing honeycombs in connection with a problem on spectra of triples of zero-sum Hermitian matrices, Knutson, Tao, and Woodward \cite{KTW} showed that $C$ is described by linear inequalities of Horn's type with respect to so-called {\em puzzles}, along with obvious linear constraints. The purpose of this paper is to give an alternative proof of that result, working in terms of discrete concave finctions, rather than honeycombs, and using only linear programming and combinatorial tools. Moreover, we extend the result to an arbitrary convex polygon $\Rscr$. △ Less

Submitted 21 April, 2003; originally announced April 2003.

Comments: 21 pages

Journal ref: Linear Algebra and its Applications, 400C, 2005, 67-89

How to Uncross Some Modular Metrics

Authors: Alexander V. Karzanov

Abstract: Let $μ$ be a metric on a set T, and let c be a nonnegative function on the unordered pairs of elements of a superset $V\supseteq T$. We consider the problem of minimizing the inner product $c\cdot m$ over all semimetrics m on V such that m coincides with $μ$ within T and each element of V is at zero distance from T (a variant of the {\em multifacility location problem}). In particular, this gene… ▽ More Let $μ$ be a metric on a set T, and let c be a nonnegative function on the unordered pairs of elements of a superset $V\supseteq T$. We consider the problem of minimizing the inner product $c\cdot m$ over all semimetrics m on V such that m coincides with $μ$ within T and each element of V is at zero distance from T (a variant of the {\em multifacility location problem}). In particular, this generalizes the well-known multiterminal multiway) cut problem. Two cases of metrics $μ$ have been known for which the problem can be solved in polynomial time: (a) $μ$ is a modular metric whose underlying graph $H(μ)$ is hereditary modular and orientable (in a certain sense); and (b) $μ$ is a median metric. In the latter case an optimal solution can be found by use of a cut uncrossing method. \Xcomment{We give a common generalization for both cases by proving that the problem is in P for any modular metric $μ$ whose all orbit graphs are hereditary modular and orientable. To this aim, we show the existence of a retraction of the Cartesian product of the orbit graphs to $H(μ)$, which enables us to elaborate an analog of the cut uncrossing method for such metrics $μ$.} In this paper we generalize the idea of cut uncrossing to show the polynomial solvability for a wider class of metrics $μ$, which includes the median metrics as a special case. The metric uncrossing method that we develop relies on the existence of retractions of certain modular graphs. On the negative side, we prove that for $μ$ fixed, the problem is NP-hard if $μ$ is non-modular or $H(μ)$ is non-orientable. △ Less

Submitted 13 April, 2000; originally announced April 2000.

Comments: 25 pages

Report number: FI-GT1999-003