-
arXiv:2401.11556 [pdf, ps, other]
On stable assignments generated by choice functions of mixed type
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
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
-
arXiv:2308.09797 [pdf, ps, other]
On diversifying stable assignments
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.
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
-
arXiv:2301.04029 [pdf, ps, other]
On the set of stable matchings of a bipartite graph
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.
Submitted 10 January, 2023; originally announced January 2023.
Comments: 24 pages, in Russian language, 3 figures
MSC Class: 05C21; 91B10
-
arXiv:2203.06919 [pdf, ps, other]
On Manin-Schechtman orders related to directed graphs
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
Submitted 28 March, 2022; v1 submitted 14 March, 2022; originally announced March 2022.
Comments: 16 pages, 3 figures. Compared with the initial version, the last section is re-written
MSC Class: 05E10; 05B45
-
arXiv:2202.13089 [pdf, ps, other]
Stable and metastable contract networks
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
Submitted 15 May, 2023; v1 submitted 26 February, 2022; originally announced February 2022.
Comments: 18 pages
-
arXiv:2107.09462 [pdf, ps, other]
Higher Bruhat orders of types B and C
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.
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
-
arXiv:2102.08974 [pdf, ps, other]
Flips in symmetric separated set-systems
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
Submitted 14 June, 2022; v1 submitted 17 February, 2021; originally announced February 2021.
Comments: 39 pages, 8 figures
MSC Class: 05E10; 05B45
-
arXiv:1904.09798 [pdf, ps, other]
The weak separation in higher dimensions
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
Submitted 16 July, 2019; v1 submitted 22 April, 2019; originally announced April 2019.
Comments: 28 pages, 3 figures
MSC Class: 05E10; 05B45
-
arXiv:1902.07156 [pdf, ps, other]
Cubillages of cyclic zonotopes
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
Submitted 19 February, 2019; originally announced February 2019.
Comments: in Russian, 61 pages
MSC Class: 05E10; 05B45
-
arXiv:1810.05517 [pdf, ps, other]
Cubillages on cyclic zonotopes, membranes, and higher separatation
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$.)
Submitted 29 November, 2018; v1 submitted 12 October, 2018; originally announced October 2018.
Comments: 16 pages, 1 figure
MSC Class: 05E10; 05B45
-
arXiv:1805.09595 [pdf, ps, other]
On interrelations between strongly, weakly and chord separated set-systems (a geometric approach)
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
Submitted 24 May, 2018; originally announced May 2018.
Comments: 30 pages, 16 figures
MSC Class: 05E10; 05B45
-
arXiv:1803.07020 [pdf, ps, other]
An efficient algorithm for packing cuts and (2,3)-metrics in a planar graph with three holes
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
Submitted 19 March, 2018; originally announced March 2018.
Comments: 25 pages, 10 figures
MSC Class: 90C27; 05C10; 05C12; 05C21; 05C85
-
arXiv:1611.00302 [pdf, ps, other]
Two statements on path systems related to quantum minors
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
Submitted 1 November, 2016; originally announced November 2016.
Comments: 28 pages
MSC Class: 16T99; 05C75; 05E99
-
arXiv:1410.7208 [pdf, ps, other]
A combinatorial algorithm for the planar multiflow problem with demands located on three holes
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
Submitted 27 October, 2014; originally announced October 2014.
Comments: 16 pages, 4 figures
MSC Class: 90C27; 05C10; 05C21; 05C85
-
arXiv:1401.6418 [pdf, ps, other]
Combined tilings and separated set-systems
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
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
-
arXiv:1212.5771 [pdf, ps, other]
Assembling crystals of type A
Abstract: Regular $A_n$-crystals are certain edge-colored directed graphs which are related to representations of the quantized universal envelo** 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
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
-
arXiv:1212.0224 [pdf, ps, other]
On Weighted Multicommodity Flows in Directed Networks
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
Submitted 2 December, 2012; originally announced December 2012.
Comments: 12 pages
MSC Class: 05C21; 05C85; 90C27
-
arXiv:1102.2578 [pdf, ps, other]
Planar flows and quadratic relations over semirings
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
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
-
arXiv:1011.2888 [pdf, ps, other]
Condorcet domains of tiling type
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
Submitted 18 August, 2011; v1 submitted 12 November, 2010; originally announced November 2010.
Comments: 16 pages. To appear in Discrete Applied Mathematics
-
arXiv:1008.3124 [pdf, ps, other]
Planar flows and Plücker's type quadratic relations over semirings
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
Submitted 18 August, 2010; originally announced August 2010.
Comments: 21 pges
MSC Class: 05C75; 05E99
-
arXiv:1001.0125 [pdf, ps, other]
On Min-Cost Multiflow Problem in Node-Capacitated Undirected Networks
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
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
-
arXiv:0909.1423 [pdf, ps, other]
On maximal weakly separated set-systems
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
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
-
arXiv:0902.3362 [pdf, ps, other]
Plücker environments, wiring and tiling diagrams, and weakly separated set-systems
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
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
-
arXiv:0712.3996 [pdf, ps, other]
On bases of tropical Plücker functions
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
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
-
arXiv:0708.2198 [pdf, ps, other]
$B_2$-crystals: axioms, structure, models
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.
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
-
arXiv:math/0612360 [pdf, ps, other]
The crossing model for regular $A_n$-crystals
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
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
-
arXiv:math/0611641 [pdf, ps, other]
On the structure of regular $B_2$-type crystals
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
Submitted 21 November, 2006; originally announced November 2006.
Comments: 29 pages, 12 figures
MSC Class: 17B37; 05C75; 05E99
-
arXiv:math/0608443 [pdf, ps, other]
Minimum Mean Cycle Problem in Bidirected and Skew-Symmetric Graphs
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
Submitted 17 August, 2006; originally announced August 2006.
Comments: 10 pages, 2 figures
MSC Class: 05C38; 05C85; 90C27
-
arXiv:math/0604333 [pdf, ps, other]
Combinatorics of $A_2$-crystals
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.
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
-
arXiv:math/0510463 [pdf, ps, other]
Free multiflows in bidirected and skew-symmetric graphs
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
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
-
arXiv:math/0404298 [pdf, ps, other]
Discrete strip-concave functions, Gelfand-Tsetlin patterns, and related polyhedra
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
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
-
arXiv:math/0401313 [pdf, ps, other]
Integer concave cocirculations and honeycombs
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
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
-
arXiv:math/0304290 [pdf, ps, other]
Maximum Skew-Symmetric Flows and Matchings
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
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
-
arXiv:math/0304289 [pdf, ps, other]
Concave cocirculations in a triangular grid
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
Submitted 21 April, 2003; originally announced April 2003.
Comments: 21 pages
Journal ref: Linear Algebra and its Applications, 400C, 2005, 67-89
-
arXiv:math/0004090 [pdf, ps, other]
How to Uncross Some Modular Metrics
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
Submitted 13 April, 2000; originally announced April 2000.
Comments: 25 pages
Report number: FI-GT1999-003