-
Shuffle formula in science fiction for Macdonald polynomials
Authors:
Donghyun Kim,
Seung ** Lee,
Jaeseong Oh
Abstract:
We initiate the study of the Macdonald intersection polynomials $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}[X;q,t]$, which are indexed by $k$-tuples of partitions $μ^{(1)},\dots,μ^{(k)}$. These polynomials are conjectured to be equal to the bigraded Frobenius characteristic of the intersection of Garsia-Haiman modules, as proposed by the science fiction conjecture of Bergeron and Garsia. In this wor…
▽ More
We initiate the study of the Macdonald intersection polynomials $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}[X;q,t]$, which are indexed by $k$-tuples of partitions $μ^{(1)},\dots,μ^{(k)}$. These polynomials are conjectured to be equal to the bigraded Frobenius characteristic of the intersection of Garsia-Haiman modules, as proposed by the science fiction conjecture of Bergeron and Garsia. In this work, we establish the vanishing identity and the shape independence of the Macdonald intersection polynomials. Additionally, we unveil a remarkable connection between $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}$ and the character $\nabla e_{k-1}$ of diagonal coinvariant algebra by employing the plethystic formula for the Macdonald polynomials of Garsia--Haiman--Tesler. Furthermore, we establish a connection between $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}$ and the shuffle formula $D_{k-1}[X;q,t]$, utilizing novel combinatorial tools such as the column exchange rule, a new fermionic formula for the shuffle formula, and the lightning bolt formula for Macdonald intersection polynomials. Notably, our findings provide a new proof for the shuffle theorem.
△ Less
Submitted 11 August, 2023; v1 submitted 25 June, 2023;
originally announced June 2023.
-
Toward Butler's conjecture
Authors:
Donghyun Kim,
Seung ** Lee,
Jaeseong Oh
Abstract:
For a partition $ν$, let $λ,μ\subseteq ν$ be two distinct partitions such that $|ν/λ|=|ν/μ|=1$. Butler conjectured that the divided difference $\operatorname{I}_{λ,μ}[X;q,t]=(T_λ\widetilde{H}_μ[X;q,t]-T_μ\widetilde{H}_λ[X;q,t])/(T_λ-T_μ)$ of modified Macdonald polynomials of two partitions $λ$ and $μ$ is Schur positive. By introducing a new LLT equivalence called column exchange rule, we give a co…
▽ More
For a partition $ν$, let $λ,μ\subseteq ν$ be two distinct partitions such that $|ν/λ|=|ν/μ|=1$. Butler conjectured that the divided difference $\operatorname{I}_{λ,μ}[X;q,t]=(T_λ\widetilde{H}_μ[X;q,t]-T_μ\widetilde{H}_λ[X;q,t])/(T_λ-T_μ)$ of modified Macdonald polynomials of two partitions $λ$ and $μ$ is Schur positive. By introducing a new LLT equivalence called column exchange rule, we give a combinatorial formula for $\operatorname{I}_{λ,μ}[X;q,t]$, which is a positive monomial expansion. We also prove Butler's conjecture for some special cases.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Haglund's conjecture for multi-$t$ Macdonald polynomials
Authors:
Seung ** Lee,
Jaeseong Oh,
Brendon Rhoades
Abstract:
We provide new approaches to prove identities for the modified Macdonald polynomials via their LLT expansions. As an application, we prove a conjecture of Haglund concerning the multi-$t$-Macdonald polynomials of two rows.
We provide new approaches to prove identities for the modified Macdonald polynomials via their LLT expansions. As an application, we prove a conjecture of Haglund concerning the multi-$t$-Macdonald polynomials of two rows.
△ Less
Submitted 13 February, 2023; v1 submitted 9 March, 2022;
originally announced March 2022.
-
Explicit formulas for e-positivity of chromatic quasisymmetric functions
Authors:
Seung ** Lee,
Sue Kyong Y. Soh
Abstract:
In 1993, Stanley and Stembridge conjectured that a chromatic symmetric function of any $(3+1)$-free poset is $e$-positive. Guay-Paquet reduced the conjecture to $(3+1)$- and $(2+2)$-free posets which are also called natural unit interval orders. Shareshian and Wachs defined chromatic quasisymmetric functions, generalizing chromatic symmetric functions, and conjectured that a chromatic quasisymmetr…
▽ More
In 1993, Stanley and Stembridge conjectured that a chromatic symmetric function of any $(3+1)$-free poset is $e$-positive. Guay-Paquet reduced the conjecture to $(3+1)$- and $(2+2)$-free posets which are also called natural unit interval orders. Shareshian and Wachs defined chromatic quasisymmetric functions, generalizing chromatic symmetric functions, and conjectured that a chromatic quasisymmetric function of any natural unit interval order is $e$-positive and $e$-unimodal.
For a given natural interval order, there is a corresponding partition $λ$ and we denote the chromatic quasisymmetric function by $X_λ$. The first author introduced local linear relations for chromatic quasisymmetric functions. In this paper, we prove a powerful generalization of the above-mentioned local linear relations, called a rectangular lemma, which also generalizes the result of Huh,Nam and Yoo. Such a lemma can be applied to describe explicit formulas for $e$-positivity of a chromatic symmetric function $X_λ$ where $λ$ is contained in a rectangle. We also suggest some conjectural formulas for $e$-positivity when $λ$ is not contained in a rectangle by applying the rectangular lemma.
△ Less
Submitted 13 February, 2022; v1 submitted 31 January, 2022;
originally announced January 2022.
-
Back stable K-theory Schubert calculus
Authors:
Thomas Lam,
Seung ** Lee,
Mark Shimozono
Abstract:
We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of Weigandt, we extend our previous results on bumpless pipedreams from cohomology to $K$-theory. We study finiteness and positivity properties of the ring of back stabl…
▽ More
We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of Weigandt, we extend our previous results on bumpless pipedreams from cohomology to $K$-theory. We study finiteness and positivity properties of the ring of back stable Grothendieck polynomials, and divided difference operators in $K$-homology.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
On zero-sum free sequences contained in random subsets of finite cyclic groups
Authors:
Sang June Lee,
Jun Seok Oh
Abstract:
Let $C_n$ be a cyclic group of order $n$. A sequence $S$ of length $\ell$ over $C_n$ is a sequence $S = a_1\boldsymbol\cdot a_2\boldsymbol\cdot \ldots\boldsymbol\cdot a_{\ell}$ of $\ell$ elements in $C_n$, where a repetition of elements is allowed and their order is disregarded. We say that $S$ is a zero-sum sequence if $Σ_{i=1}^{\ell} a_i = 0$ and that $S$ is a zero-sum free sequence if $S$ conta…
▽ More
Let $C_n$ be a cyclic group of order $n$. A sequence $S$ of length $\ell$ over $C_n$ is a sequence $S = a_1\boldsymbol\cdot a_2\boldsymbol\cdot \ldots\boldsymbol\cdot a_{\ell}$ of $\ell$ elements in $C_n$, where a repetition of elements is allowed and their order is disregarded. We say that $S$ is a zero-sum sequence if $Σ_{i=1}^{\ell} a_i = 0$ and that $S$ is a zero-sum free sequence if $S$ contains no zero-sum subsequence.
Let $R$ be a random subset of $C_n$ obtained by choosing each element in $C_n$ independently with probability $p$. Let $N^R_{n-1-k}$ be the number of zero-sum free sequences of length $n-1-k$ in $R$. Also, let $N^R_{n-1-k,d}$ be the number of zero-sum free sequences of length $n-1-k$ having $d$ distinct elements in $R$. We obtain the expectation of $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ for $0\leq k\leq \big\lfloor \frac{n}{3} \big\rfloor$. We also show a concentration result on $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ when $k$ is fixed.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Crystal structure on King tableaux and semistandard oscillating tableaux
Authors:
Seung ** Lee
Abstract:
In 1976, King defined certain tableaux model, called King tableaux in this paper, counting weight multiplicities of irreducible representation of the symplectic group $Sp(2m)$ for a given dominant weight. Since Kashiwara defined crystals, it is an open problem to provide a crystal structure on King tableaux. In this paper, we present crystal structures on King tableaux and semistandard oscillating…
▽ More
In 1976, King defined certain tableaux model, called King tableaux in this paper, counting weight multiplicities of irreducible representation of the symplectic group $Sp(2m)$ for a given dominant weight. Since Kashiwara defined crystals, it is an open problem to provide a crystal structure on King tableaux. In this paper, we present crystal structures on King tableaux and semistandard oscillating tableaux. The semistandard oscillating tableaux naturally appear as $Q$-tableaux in the symplectic version of RSK algorithms. As an application, we discuss Littlewood-Richardson coefficients for $Sp(2m)$ in terms of semistandard oscillating tableaux.
△ Less
Submitted 10 October, 2019;
originally announced October 2019.
-
On the coproduct in affine Schubert calculus
Authors:
Thomas Lam,
Seung ** Lee,
Mark Shimozono
Abstract:
The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomial…
▽ More
The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author.
△ Less
Submitted 20 September, 2020; v1 submitted 19 June, 2019;
originally announced June 2019.
-
Linear relations on LLT polynomials and their k-Schur positivity for k=2
Authors:
Seung ** Lee
Abstract:
LLT polynomials are $q$-analogues of product of Schur functions that are known to be Schur-positive by Grojnowski and Haiman. However, there is no known combinatorial formula for the coefficients in the Schur expansion. Finding such a formula also provides Schur positivity of Macdonald polynomials. On the other hand, Haiman and Hugland conjectured that LLT polynomials for skew partitions lying on…
▽ More
LLT polynomials are $q$-analogues of product of Schur functions that are known to be Schur-positive by Grojnowski and Haiman. However, there is no known combinatorial formula for the coefficients in the Schur expansion. Finding such a formula also provides Schur positivity of Macdonald polynomials. On the other hand, Haiman and Hugland conjectured that LLT polynomials for skew partitions lying on $k$ adjacent diagonals are $k$-Schur positive, which is much stronger than Schur positivity. In this paper, we prove the conjecture for $k=2$ by analyzing unicellular LLT polynomials. We first present a linearity theorem for unicellular LLT polynomials for $k=2$. By analyzing linear relations between LLT polynomials with known results on LLT polynomials for rectangles, we provide the $2$-Schur positivity of the unicellular LLT polynomials as well as LLT polynomials appearing in Haiman-Hugland conjecture for $k=2$.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
AK-type stability theorems on cross t-intersecting families
Authors:
Sang June Lee,
Mark Siggers,
Norihide Tokushige
Abstract:
Two families, ${\mathcal A}$ and ${\mathcal B}$, of subsets of $[n]$ are cross $t$-intersecting if for every $A \in {\mathcal A}$ and $B \in {\mathcal B}$, $A$ and $B$ intersect in at least $t$ elements. For a real number $p$ and a family ${\mathcal A}$ the product measure $μ_p ({\mathcal A})$ is defined as the sum of $p^{|A|}(1-p)^{n-|A|}$ over all $A\in{\mathcal A}$. For every non-negative integ…
▽ More
Two families, ${\mathcal A}$ and ${\mathcal B}$, of subsets of $[n]$ are cross $t$-intersecting if for every $A \in {\mathcal A}$ and $B \in {\mathcal B}$, $A$ and $B$ intersect in at least $t$ elements. For a real number $p$ and a family ${\mathcal A}$ the product measure $μ_p ({\mathcal A})$ is defined as the sum of $p^{|A|}(1-p)^{n-|A|}$ over all $A\in{\mathcal A}$. For every non-negative integer $r$, and for large enough $t$, we determine, for any $p$ satisfying $\frac r{t+2r-1}\leq p\leq\frac{r+1}{t+2r+1}$, the maximum possible value of $μ_p ({\mathcal A})μ_p ({\mathcal B})$ for cross $t$-intersecting families ${\mathcal A}$ and ${\mathcal B}$. In this paper we prove a stronger stability result which yields the above result.
△ Less
Submitted 22 September, 2019; v1 submitted 6 July, 2018;
originally announced July 2018.
-
Back stable Schubert calculus
Authors:
Thomas Lam,
Seung ** Lee,
Mark Shimozono
Abstract:
We study the back stable Schubert calculus of the infinite flag variety. Our main results are: 1) a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; 2) a novel definition of double and triple Stanley symmetric functions; 3) a proof of the positivity of double Edelman-Greene coefficients generalizing the results of Edelman-Gr…
▽ More
We study the back stable Schubert calculus of the infinite flag variety. Our main results are: 1) a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; 2) a novel definition of double and triple Stanley symmetric functions; 3) a proof of the positivity of double Edelman-Greene coefficients generalizing the results of Edelman-Greene and Lascoux-Schutzenberger; 4) the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman-Greene insertion algorithm; 5) the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case; 6) equivariant Pieri rules for the homology of the infinite Grassmannian; 7) homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian.
△ Less
Submitted 22 March, 2021; v1 submitted 28 June, 2018;
originally announced June 2018.
-
Positivity of Cylindric skew Schur functions
Authors:
Seung ** Lee
Abstract:
Cylindric skew Schur functions, a generalization of skew Schur functions, are closely related to the famous problem finding a combinatorial formula for the 3-point Gromov-Witten invariants of Grassmannian. In this paper, we prove cylindric Schur positivity of the cylindric skew Schur functions, conjectured by McNamara. We also show that all coefficients appearing in the expansion are the same as…
▽ More
Cylindric skew Schur functions, a generalization of skew Schur functions, are closely related to the famous problem finding a combinatorial formula for the 3-point Gromov-Witten invariants of Grassmannian. In this paper, we prove cylindric Schur positivity of the cylindric skew Schur functions, conjectured by McNamara. We also show that all coefficients appearing in the expansion are the same as $3$-point Gromov-Witten invariants. We start discussing properties of affine Stanley symmetric functions for general affine permutations and $321$-avoiding affine permutations, and explain how these functions are related to cylindric skew Schur functions. We also provide an effective algorithm to compute the expansion of the cylindric skew Schur functions in terms of the cylindric Schur functions, and the expansion of affine Stanley symmetric functions in terms of affine Schur functions.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
On $(1,2)$-step competition graphs of bipartite tournaments
Authors:
Jihoon Choi,
Soogang Eoh,
Suh-Ryung Kim,
So Jung Lee
Abstract:
In this paper, we study $(1,2)$-step competition graphs of bipartite tournaments. A bipartite tournament means an orientation of a complete bipartite graph. We show that the $(1,2)$-step competition graph of a bipartite tournament has at most one non-trivial component or consists of exactly two complete components of size at least three and, especially in the former, the diameter of the nontrivial…
▽ More
In this paper, we study $(1,2)$-step competition graphs of bipartite tournaments. A bipartite tournament means an orientation of a complete bipartite graph. We show that the $(1,2)$-step competition graph of a bipartite tournament has at most one non-trivial component or consists of exactly two complete components of size at least three and, especially in the former, the diameter of the nontrivial component is at most three if it exists. Based on this result, we show that, among the connected non-complete graphs which are triangle-free or the cycles of which are edge-disjoint, $K_{1,4}$ is the only graph that can be represented as the $(1,2)$-step competition graph of a bipartite tournament. We also completely characterize a complete graph and the disjoint union of two complete graphs, respectively, which can be represented as the $(1,2)$-step competition graph of a bipartite tournament. Finally we present the maximum number of edges and the minimum number of edges which the $(1,2)$-step competition graph of a bipartite tournament might have.
△ Less
Submitted 9 November, 2016; v1 submitted 7 November, 2016;
originally announced November 2016.
-
Chern class of Schubert cells in the flag manifold and related algebras
Authors:
Seung ** Lee
Abstract:
We discuss a relationship between Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds, Fomin-Kirillov algebra, and the generalized nil-Hecke algebra. We show that nonnegativity conjecture in Fomin-Kirillov algebra implies the nonnegativity of the Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds for type A. Motivated by this connection, we also prove that th…
▽ More
We discuss a relationship between Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds, Fomin-Kirillov algebra, and the generalized nil-Hecke algebra. We show that nonnegativity conjecture in Fomin-Kirillov algebra implies the nonnegativity of the Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds for type A. Motivated by this connection, we also prove that the (equivariant) Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds are certain summations of the structure constants of the equivariant cohomology of the Bott-Samelson varieties. We also discuss the refined positivity conjectures of the Chern-Schwartz-MacPherson classes for Schubert cells motivated by the nonnegativity conjecture in Fomin-Kirillov algebra.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
The independence number of non-uniform uncrowded hypergraphs and an anti-Ramsey type result
Authors:
Sang June Lee,
Hanno Lefmann
Abstract:
We prove the following: Fix an integer $k\geq 2$, and let $T$ be a real number with $T\geq 1.5$. Let $\cH=(V,\cE_2\cup \cE_3\cup\dots\cup\cE_k)$ be a non-uniform hypergraph with the vertex set $V$ and the set $\cE_i$ of edges of size $i=2,\ldots , k$. Suppose that $\cH$ has no $2$-cycles (regardless of sizes of edges), and neither contains $3$-cycles nor $4$-cycles consisting of $2$-element edges.…
▽ More
We prove the following: Fix an integer $k\geq 2$, and let $T$ be a real number with $T\geq 1.5$. Let $\cH=(V,\cE_2\cup \cE_3\cup\dots\cup\cE_k)$ be a non-uniform hypergraph with the vertex set $V$ and the set $\cE_i$ of edges of size $i=2,\ldots , k$. Suppose that $\cH$ has no $2$-cycles (regardless of sizes of edges), and neither contains $3$-cycles nor $4$-cycles consisting of $2$-element edges. If the average degrees $t_i^{i-1} := i |\cE_i|/ |V|$ satisfy that $t_i^{i-1} \leq T^{i-1} (\ln T)^{\frac{k-i}{k-1}}$ for $i= 2, \dots , k$, then there exists a constant $C_k > 0$, depending only on $k$, such that $α(\cH)\geq C_k \frac{|V|}{T} (\ln T)^{\frac{1}{k-1}}$, where $α(\cH)$ denotes the independence number of $\cH$. This extends results of Ajtai, Komlós, Pintz, Spencer and Szemerédi and Duke, Rödl and the second author for uniform hypergraphs.
As an application, we consider an anti-Ramsey type problem on non-uniform hypergraphs. Let $\cH=\cH(n;2,\ldots,\ell)$ be the hypergraph on the $n$-vertex set $V$ in which, for $s=2,\ldots,\ell$, each $s$-subset of $V$ is a hyperedge of $\cH$. Let $Δ$ be an edge-coloring of $\cH$ satisfying the following: (a) two hyperedges sharing a vertex have different colors; (b) two hyperedges with distinct size have different colors; (c) a color used for a hyperedge of size $s$ appears at most $u_s$ times. For such a coloring $Δ$, let $f_Δ(n;u_2,\ldots,u_{\ell})$ be the maximum size of a subset $U$ of $V$ such that each hyperedge of $\cH[U]$ has a distinct color, and let $f(n;u_2,\ldots,u_{\ell}):=\min_Δ f_Δ(n;u_2,\ldots,u_{\ell}).$ We determine $f(n;u_2,\ldots,u_{\ell})$ up to a multiplicative logarithm factor.
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Towards extending the Ahlswede-Khachatrian theorem to cross t-intersecting families
Authors:
Sang June Lee,
Mark Siggers,
Norihide Tokushige
Abstract:
Ahlswede and Khachatrian's diametric theorem is a weighted version of their complete intersection theorem, itself an extension of the $t$-intersecting Erdős-Ko-Rado theorem. Their intersection theorem says that the maximum size of a family of subsets of $[n] = \{1, \dots, n\}$, every pair of which intersects in at least $t$ elements, is the size of certain trivially intersecting families proposed…
▽ More
Ahlswede and Khachatrian's diametric theorem is a weighted version of their complete intersection theorem, itself an extension of the $t$-intersecting Erdős-Ko-Rado theorem. Their intersection theorem says that the maximum size of a family of subsets of $[n] = \{1, \dots, n\}$, every pair of which intersects in at least $t$ elements, is the size of certain trivially intersecting families proposed by Frankl. We address a cross intersecting version of their diametric theorem.
Two families $\mathcal{A}$ and $\mathcal{B}$ of subsets of $[n]$ are {\em cross $t$-intersecting} if for every $A \in \mathcal{A}$ and $B \in \mathcal{B}$, $A$ and $B$ intersect in at least $t$ elements. The $p$-weight of a $k$ element subset $A$ of $[n]$ is $p^{k}(1-p)^{n-k}$, and the weight of a family $\mathcal{A}$ is the sum of the weights of its sets. The weight of a pair of families is the product of the weights of the families.
The maximum $p$-weight of a $t$-intersecting family depends on the value of $p$. Ahlswede and Khachatrian showed that for $p$ in the range $[\frac{r}{t + 2r - 1}, \frac{r+1}{t + 2r + 1}]$, the maximum $p$-weight of a $t$-intersecting family is that of the family $\mathcal{F}^t_r$ consisting of all subsets of $[n]$ containing at least $t+r$ elements of the set $[t+2r]$.
In a previous paper we showed a cross $t$-intersecting version of this for large $t$ in the case that $r = 0$. In this paper, we do the same in the case that $r = 1$. We show that for $p$ in the range $[\frac{1}{t + 1}, \frac{2}{t + 3}]$ the maximum $p$-weight of a cross $t$-intersecting pair of families, for $t \geq 200$, is achieved when both families are $\mathcal{F}^t_1$. Further, we show that except at the endpoints of this range, this is, up to isomorphism, the only pair of $t$-intersecting families achieving this weight.
△ Less
Submitted 8 September, 2015;
originally announced September 2015.
-
On the total variation distance between the binomial random graph and the random intersection graph
Authors:
Jeong Han Kim,
Sang June Lee,
Joohan Na
Abstract:
When each vertex is assigned a set, the intersection graph generated by the sets is the graph in which two distinct vertices are joined by an edge if and only if their assigned sets have a nonempty intersection. An interval graph is an intersection graph generated by intervals in the real line. A chordal graph can be considered as an intersection graph generated by subtrees of a tree. In 1999, Kar…
▽ More
When each vertex is assigned a set, the intersection graph generated by the sets is the graph in which two distinct vertices are joined by an edge if and only if their assigned sets have a nonempty intersection. An interval graph is an intersection graph generated by intervals in the real line. A chordal graph can be considered as an intersection graph generated by subtrees of a tree. In 1999, Karoński, Scheinerman and Singer-Cohen [Combin Probab Comput 8 (1999), 131--159] introduced a random intersection graph by taking randomly assigned sets. The random intersection graph $G(n,m;p)$ has $n$ vertices and sets assigned to the vertices are chosen to be i.i.d. random subsets of a fixed set $M$ of size $m$ where each element of $M$ belongs to each random subset with probability $p$, independently of all other elements in $M$. Fill, Scheinerman and Singer-Cohen [Random Struct Algorithms 16 (2000), 156--176] showed that the total variation distance between the random graph $G(n,m;p)$ and the Erdös-Rényi graph $G(n,\hat{p})$ tends to $0$ for any $0 \leq p=p(n) \leq 1$ if $m=n^α$, $α>6$, where $\hat{p}$ is chosen so that the expected numbers of edges in the two graphs are the same. In this paper, it is proved that the total variation distance still tends to $0$ for any $0 \leq p=p(n) \leq 1$ whenever $m \gg n^4$.
△ Less
Submitted 9 February, 2017; v1 submitted 10 June, 2015;
originally announced June 2015.
-
Combinatorial description of the cohomology of the affine flag variety
Authors:
Seung ** Lee
Abstract:
We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of…
▽ More
We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.
△ Less
Submitted 27 June, 2018; v1 submitted 8 June, 2015;
originally announced June 2015.
-
Pieri rule for the affine flag variety
Authors:
Seung ** Lee
Abstract:
We prove the affine Pieri rule for the cohomology of the affine flag variety conjectured by Lam, Lapointe, Morse and Shimozono. We study the cap operator on the affine nilHecke ring that is motivated by Kostant and Kumar's work on the equivariant cohomology of the affine flag variety. We show that the cap operators for Pieri elements are the same as Pieri operators defined by Berg, Saliola and Ser…
▽ More
We prove the affine Pieri rule for the cohomology of the affine flag variety conjectured by Lam, Lapointe, Morse and Shimozono. We study the cap operator on the affine nilHecke ring that is motivated by Kostant and Kumar's work on the equivariant cohomology of the affine flag variety. We show that the cap operators for Pieri elements are the same as Pieri operators defined by Berg, Saliola and Serrano. This establishes the affine Pieri rule.
△ Less
Submitted 15 April, 2015; v1 submitted 17 June, 2014;
originally announced June 2014.
-
On Sidon sets in a random set of vectors
Authors:
Sang June Lee
Abstract:
For positive integers $d$ and $n$, let $[n]^d$ be the set of all vectors $(a_1,a_2,\dots, a_d)$, where $a_i$ is an integer with $0\leq a_i\leq n-1$. A subset $S$ of $[n]^d$ is called a \emph{Sidon set} if all sums of two (not necessarily distinct) vectors in $S$ are distinct.
In this paper, we estimate two numbers related to the maximum size of Sidon sets in $[n]^d$. First, let…
▽ More
For positive integers $d$ and $n$, let $[n]^d$ be the set of all vectors $(a_1,a_2,\dots, a_d)$, where $a_i$ is an integer with $0\leq a_i\leq n-1$. A subset $S$ of $[n]^d$ is called a \emph{Sidon set} if all sums of two (not necessarily distinct) vectors in $S$ are distinct.
In this paper, we estimate two numbers related to the maximum size of Sidon sets in $[n]^d$. First, let $\mathcal{Z}_{n,d}$ be the number of all Sidon sets in $[n]^d$. We show that $\log (\mathcal{Z}_{n,d})=Θ(n^{d/2})$, where the constants of $Θ$ depend only on $d$. Next, we estimate the maximum size of Sidon sets contained in a random set $[n]^d_p$, where $[n]^d_p$ denotes a random set obtained from $[n]^d$ by choosing each element independently with probability $p$.
△ Less
Submitted 21 October, 2014; v1 submitted 16 May, 2014;
originally announced May 2014.
-
Universality of random graphs for graphs of maximum degree two
Authors:
Jeong Han Kim,
Sang June Lee
Abstract:
For a family $\mathcal{F}$ of graphs, a graph $G$ is called \emph{$\mathcal{F}$-universal} if $G$ contains every graph in $\mathcal{F}$ as a subgraph. Let $\mathcal{F}_n(d)$ be the family of all graphs on $n$ vertices with maximum degree at most $d$. Dellamonica, Kohayakawa, Rödl and Ruciński showed that, for $d\geq 3$, the random graph $G(n,p)$ is $\mathcal{F}_n(d)$-universal with high probabilit…
▽ More
For a family $\mathcal{F}$ of graphs, a graph $G$ is called \emph{$\mathcal{F}$-universal} if $G$ contains every graph in $\mathcal{F}$ as a subgraph. Let $\mathcal{F}_n(d)$ be the family of all graphs on $n$ vertices with maximum degree at most $d$. Dellamonica, Kohayakawa, Rödl and Ruciński showed that, for $d\geq 3$, the random graph $G(n,p)$ is $\mathcal{F}_n(d)$-universal with high probability provided $p\geq C\big(\frac{\log n}{n}\big)^{1/d}$ for a sufficiently large constant $C=C(d)$. In this paper we prove the missing part of the result, that is, the random graph $G(n,p)$ is $\mathcal{F}_n(2)$-universal with high probability provided $p\geq C\big(\frac{\log n}{n}\big)^{1/2}$ for a sufficiently large constant $C$.
△ Less
Submitted 22 October, 2013;
originally announced October 2013.
-
An Erd\H os--Ko--Rado theorem for cross $t$-intersecting families
Authors:
Peter Frankl,
Sang June Lee,
Mark Siggers,
Norihide Tokushige
Abstract:
Two families $\mathcal{A}$ and $\mathcal{B}$, of $k$-subsets of an $n$-set, are {\em cross $t$-intersecting} if for every choice of subsets $A \in \mathcal{A}$ and $B \in \mathcal{B}$ we have $|A \cap B| \geq t$. We address the following conjectured cross $t$-intersecting version of the Erd\H os--Ko--Rado Theorem: For all $n \geq (t+1)(k-t+1)$ the maximum value of $|\mathcal{A}||\mathcal{B}|$ for…
▽ More
Two families $\mathcal{A}$ and $\mathcal{B}$, of $k$-subsets of an $n$-set, are {\em cross $t$-intersecting} if for every choice of subsets $A \in \mathcal{A}$ and $B \in \mathcal{B}$ we have $|A \cap B| \geq t$. We address the following conjectured cross $t$-intersecting version of the Erd\H os--Ko--Rado Theorem: For all $n \geq (t+1)(k-t+1)$ the maximum value of $|\mathcal{A}||\mathcal{B}|$ for two cross $t$-intersecting families $\mathcal{A}, \mathcal{B} \subset\binom{[n]}{k}$ is $\binom{n-t}{k-t}^2$. We verify this for all $t \geq 14$ except finitely many $n$ and $k$ for each fixed $t$. Further, we prove uniqueness and stability results in these cases, showing, for instance, that the families reaching this bound are unique up to isomorphism. We also consider a {\em $p$-weight} version of the problem, which comes from the product measure on the power set of an $n$-set.
△ Less
Submitted 20 August, 2014; v1 submitted 4 March, 2013;
originally announced March 2013.
-
On constant-multiple-free sets contained in a random set of integers
Authors:
Sang June Lee
Abstract:
For a rational number $r>1$, a set $A$ of positive integers is called an $r$-multiple-free set if $A$ does not contain any solution of the equation $rx = y$.
The extremal problem on estimating the maximum possible size of $r$-multiple-free sets contained in $[n]:={1,2,...,n}$ has been studied for its own interest in combinatorial number theory and application to coding theory. Let $a$, $b$ be po…
▽ More
For a rational number $r>1$, a set $A$ of positive integers is called an $r$-multiple-free set if $A$ does not contain any solution of the equation $rx = y$.
The extremal problem on estimating the maximum possible size of $r$-multiple-free sets contained in $[n]:={1,2,...,n}$ has been studied for its own interest in combinatorial number theory and application to coding theory. Let $a$, $b$ be positive integers such that $a<b$ and the greatest common divisor of $a$ and $b$ is 1. Wakeham and Wood showed that the maximum size of $(b/a)$-multiple-free sets contained in $[n]$ is $\frac{b}{b+1}n+O(\log n)$.
In this paper we generalize this result as follows. For a real number $p\in (0,1)$, let $[n]_p$ be a set of integers obtained by choosing each element $i\in [n]$ randomly and independently with probability $p$. We show that the maximum possible size of $(b/a)$-multiple-free sets contained in $[n]_p$ is $\frac{b}{b+p}pn+O(\sqrt{pn}\log n \log \log n)$ with probability that goes to 1 as $n\to \infty$.
△ Less
Submitted 26 December, 2012; v1 submitted 20 December, 2012;
originally announced December 2012.
-
Dynamic coloring of graphs having no $K_5$ minor
Authors:
Youn** Kim,
Sang June Lee,
Sang-il Oum
Abstract:
We prove that every simple connected graph with no $K_5$ minor admits a proper 4-coloring such that the neighborhood of each vertex $v$ having more than one neighbor is not monochromatic, unless the graph is isomorphic to the cycle of length 5. This generalizes the result by S.-J. Kim, S. J. Lee, and W.-J. Park on planar graphs.
We prove that every simple connected graph with no $K_5$ minor admits a proper 4-coloring such that the neighborhood of each vertex $v$ having more than one neighbor is not monochromatic, unless the graph is isomorphic to the cycle of length 5. This generalizes the result by S.-J. Kim, S. J. Lee, and W.-J. Park on planar graphs.
△ Less
Submitted 15 March, 2015; v1 submitted 8 October, 2012;
originally announced October 2012.
-
Explicit constructions of centrally symmetric k-neighborly polytopes and large strictly antipodal sets
Authors:
Alexander Barvinok,
Seung ** Lee,
Isabella Novik
Abstract:
We present explicit constructions of centrally symmetric 2-neighborly d-dimensional polytopes with about 3^{d/2} = (1.73)^d vertices and of centrally symmetric k-neighborly d-polytopes with about 2^{c_k d} vertices where c_k=3/20 k^2 2^k. Using this result, we construct for a fixed k > 1 and arbitrarily large d and N, a centrally symmetric d-polytope with N vertices that has at least (1-k^2 (gamma…
▽ More
We present explicit constructions of centrally symmetric 2-neighborly d-dimensional polytopes with about 3^{d/2} = (1.73)^d vertices and of centrally symmetric k-neighborly d-polytopes with about 2^{c_k d} vertices where c_k=3/20 k^2 2^k. Using this result, we construct for a fixed k > 1 and arbitrarily large d and N, a centrally symmetric d-polytope with N vertices that has at least (1-k^2 (gamma_k)^d) binom(N, k) faces of dimension k-1, where gamma_2=1/\sqrt{3} = 0.58 and gamma_k = 2^{-3/{20k^2 2^k}} for k > 2. Another application is a construction of a set of 3^{d/2 -1}-1 points in R^d every two of which are strictly antipodal as well as a construction of an n-point set (for an arbitrarily large n) in R^d with many pairs of strictly antipodal points. The two latter results significantly improve the previous bounds by Talata, and Makai and Martini, respectively.
△ Less
Submitted 19 April, 2012; v1 submitted 30 March, 2012;
originally announced March 2012.
-
Centrally symmetric polytopes with many faces
Authors:
Alexander Barvinok,
Seung ** Lee,
Isabella Novik
Abstract:
We present explicit constructions of centrally symmetric polytopes with many faces: first, we construct a d-dimensional centrally symmetric polytope P with about (1.316)^d vertices such that every pair of non-antipodal vertices of P spans an edge of P, second, for an integer k>1, we construct a d-dimensional centrally symmetric polytope P of an arbitrarily high dimension d and with an arbitrarily…
▽ More
We present explicit constructions of centrally symmetric polytopes with many faces: first, we construct a d-dimensional centrally symmetric polytope P with about (1.316)^d vertices such that every pair of non-antipodal vertices of P spans an edge of P, second, for an integer k>1, we construct a d-dimensional centrally symmetric polytope P of an arbitrarily high dimension d and with an arbitrarily large number N of vertices such that for some 0 < delta_k < 1 at least (1-delta_k^d) {N choose k} k-subsets of the set of vertices span faces of P, and third, for an integer k>1 and a>0, we construct a centrally symmetric polytope Q with an arbitrary large number N of vertices and of dimension d=k^{1+o(1)} such that least (1 - k^{-a}){N choose k} k-subsets of the set of vertices span faces of Q.
△ Less
Submitted 18 November, 2011; v1 submitted 2 June, 2011;
originally announced June 2011.
-
Neighborliness of the symmetric moment curve
Authors:
Alexander Barvinok,
Seung ** Lee,
Isabella Novik
Abstract:
We consider the convex hull B_k of the symmetric moment curve U(t)=(cos t, sin t, cos 3t, sin 3t, ..., cos (2k-1)t, sin (2k-1)t) in R^{2k}, where t ranges over the unit circle S= R/2pi Z. The curve U(t) is locally neighborly: as long as t_1, ..., t_k lie in an open arc of S of a certain length phi_k>0, the convex hull of the points U(t_1), ..., U(t_k) is a face of B_k. We characterize the maximum…
▽ More
We consider the convex hull B_k of the symmetric moment curve U(t)=(cos t, sin t, cos 3t, sin 3t, ..., cos (2k-1)t, sin (2k-1)t) in R^{2k}, where t ranges over the unit circle S= R/2pi Z. The curve U(t) is locally neighborly: as long as t_1, ..., t_k lie in an open arc of S of a certain length phi_k>0, the convex hull of the points U(t_1), ..., U(t_k) is a face of B_k. We characterize the maximum possible length phi_k, proving, in particular, that phi_k > pi/2 for all k and that the limit of phi_k is pi/2 as k grows. This allows us to construct centrally symmetric polytopes with a record number of faces.
△ Less
Submitted 15 November, 2011; v1 submitted 27 April, 2011;
originally announced April 2011.
-
Local neighborliness of the symmetric moment curve
Authors:
Seung ** Lee
Abstract:
A centrally symmetric analogue of the cyclic polytope, the bicyclic polytope, was defined in [BN08]. The bicyclic polytope is defined by the convex hull of finitely many points on the symmetric moment curve where the set of points has a symmetry about the origin. In this paper, we study the Barvinok-Novik orbitope, the convex hull of the symmetric moment curve.
It was proven in [BN08] that the o…
▽ More
A centrally symmetric analogue of the cyclic polytope, the bicyclic polytope, was defined in [BN08]. The bicyclic polytope is defined by the convex hull of finitely many points on the symmetric moment curve where the set of points has a symmetry about the origin. In this paper, we study the Barvinok-Novik orbitope, the convex hull of the symmetric moment curve.
It was proven in [BN08] that the orbitope is locally $k$-neighborly, that is, the convex hull of any set of $k$ distinct points on an arc of length not exceeding $φ_k$ in $\mathbb{S}^1$ is a $(k-1)$-dimensional face of the orbitope for some positive constant $φ_k$. We prove that we can choose $φ_k $ bigger than $γk^{-3/2} $ for some positive constant $γ$.
△ Less
Submitted 24 February, 2011;
originally announced February 2011.
-
Conjugacy classes of periodic braids
Authors:
Eon-Kyung Lee,
Sang ** Lee
Abstract:
Recently, there have been several progresses for the conjugacy search problem (CSP) in Garside groups, especially in braid groups. All known algorithms for solving this problem use a sort of exhaustive search in a particular finite set such as the super summit set and the ultra summit set. Their complexities are proportional to the size of the finite set, even when there exist very short conjuga…
▽ More
Recently, there have been several progresses for the conjugacy search problem (CSP) in Garside groups, especially in braid groups. All known algorithms for solving this problem use a sort of exhaustive search in a particular finite set such as the super summit set and the ultra summit set. Their complexities are proportional to the size of the finite set, even when there exist very short conjugating elements. However, ultra summit sets are very large in some cases especially for reducible braids and periodic braids. Some possible approaches to resolve this difficulty would be either to use different Garside structures and Garside groups in order to get a sufficiently small ultra summit set, or to develop an algorithm for finding a conjugating element faster than exhaustive search. Using the former method, Birman, González-Meneses and Gebhardt have proposed a polynomial-time algorithm for the CSP for periodic braids.
In this paper we study the conjugacy classes of periodic braids under the BKL Garside structure, and show that we can solve the CSP for periodic braids in polynomial time although their ultra summit sets are exponentially large. Our algorithm describes how to connect two periodic braids in the (possibly exponentially large) ultra summit set by applying partial cycling polynomially many times.
△ Less
Submitted 29 April, 2010; v1 submitted 12 February, 2007;
originally announced February 2007.
-
Abelian subgroups of Garside groups
Authors:
Eon-Kyung Lee,
Sang ** Lee
Abstract:
In this paper, we show that for every abelian subgroup $H$ of a Garside group, some conjugate $g^{-1}Hg$ consists of ultra summit elements and the centralizer of $H$ is a finite index subgroup of the normalizer of $H$. Combining with the results on translation numbers in Garside groups, we obtain an easy proof of the algebraic flat torus theorem for Garside groups and solve several algorithmic p…
▽ More
In this paper, we show that for every abelian subgroup $H$ of a Garside group, some conjugate $g^{-1}Hg$ consists of ultra summit elements and the centralizer of $H$ is a finite index subgroup of the normalizer of $H$. Combining with the results on translation numbers in Garside groups, we obtain an easy proof of the algebraic flat torus theorem for Garside groups and solve several algorithmic problems concerning abelian subgroups of Garside groups.
△ Less
Submitted 23 July, 2008; v1 submitted 25 September, 2006;
originally announced September 2006.
-
Translation numbers in a Garside group are rational with uniformly bounded denominators
Authors:
Eon Kyung Lee,
Sang ** Lee
Abstract:
It is known that Garside groups are strongly translation discrete. In this paper, we show that the translation numbers in a Garside group are rational with uniformly bounded denominators and can be computed in finite time. As an application, we give solutions to some group-theoretic problems.
It is known that Garside groups are strongly translation discrete. In this paper, we show that the translation numbers in a Garside group are rational with uniformly bounded denominators and can be computed in finite time. As an application, we give solutions to some group-theoretic problems.
△ Less
Submitted 22 March, 2007; v1 submitted 4 April, 2006;
originally announced April 2006.
-
Stable super summit sets in Garside groups
Authors:
Eon Kyung Lee,
Sang ** Lee
Abstract:
withdrawn and included in our new manuscript "Abelian subgroups of Garside groups", math.GT/0609683
withdrawn and included in our new manuscript "Abelian subgroups of Garside groups", math.GT/0609683
△ Less
Submitted 28 September, 2006; v1 submitted 25 February, 2006;
originally announced February 2006.
-
Garside groups are strongly translation discrete
Authors:
Sang ** Lee
Abstract:
The Garside group, as a generalization of braid groups and Artin groups of finite types, is defined as the group of fractions of a Garside monoid. We show that the semidirect product of Garside monoids is a Garside monoid. We use the semidirect product $\mathbb Z\ltimes G^n$ of the infinite cyclic group $\mathbb Z$ and the cartesian product $G^n$ of a Garside group $G$ to study the properties of…
▽ More
The Garside group, as a generalization of braid groups and Artin groups of finite types, is defined as the group of fractions of a Garside monoid. We show that the semidirect product of Garside monoids is a Garside monoid. We use the semidirect product $\mathbb Z\ltimes G^n$ of the infinite cyclic group $\mathbb Z$ and the cartesian product $G^n$ of a Garside group $G$ to study the properties of roots and powers of elements in $G$.
The main result is an estimate of the growth of the minimal word-length of powers of elements in Garside groups, when the generating set is the set of simple elements. A direct application is that the set of translation numbers in Garside groups is discrete. It gives an affirmative answer to the question of Gersten and Short for the case of Garside groups. The original question is for biautomatic groups.
And we show that the root extraction problem in a Garside group $G$ can be reduced to a conjugacy problem in $\mathbb Z\ltimes G^n$. Using the algorithm for the conjugacy problem in Garside groups, the root extraction problem is decidable for any Garside group.
△ Less
Submitted 28 March, 2006; v1 submitted 21 November, 2004;
originally announced November 2004.
-
Dual presentation and linear basis of the Temperley-Lieb algebras
Authors:
Eon-Kyung Lee,
Sang ** Lee
Abstract:
The braid group $B_n$ maps homomorphically into the Temperley-Lieb algebra $\TL_n$. It was shown by Zinno that the homomorphic images of simple elements arising from the dual presentation of the braid group $B_n$ form a basis for the vector space underlying the Temperley-Lieb algebra $\TL_n$. In this paper, we establish that there is a dual presentation of Temperley-Lieb algebras that correspond…
▽ More
The braid group $B_n$ maps homomorphically into the Temperley-Lieb algebra $\TL_n$. It was shown by Zinno that the homomorphic images of simple elements arising from the dual presentation of the braid group $B_n$ form a basis for the vector space underlying the Temperley-Lieb algebra $\TL_n$. In this paper, we establish that there is a dual presentation of Temperley-Lieb algebras that corresponds to the dual presentation of braid groups, and then give a simple geometric proof for Zinno's theorem, using the interpretation of simple elements as non-crossing partitions.
△ Less
Submitted 23 April, 2006; v1 submitted 24 March, 2004;
originally announced March 2004.
-
The kernel of $Burau(4) \otimes Z_p$ is all pseudo-Anosov
Authors:
Sang ** Lee,
Won Taek Song
Abstract:
We show that the kernel of $Burau(4) \otimes Z_p$, the reduced Burau representation with coefficients in $Z_p$ of the 4-braid group $B_4$, consists only of pseudo-Anosov braids.
We show that the kernel of $Burau(4) \otimes Z_p$, the reduced Burau representation with coefficients in $Z_p$ of the 4-braid group $B_4$, consists only of pseudo-Anosov braids.
△ Less
Submitted 22 March, 2004;
originally announced March 2004.
-
The infimum, supremum and geodesic length of a braid conjugacy class
Authors:
Joan S. Birman,
Ki Hyoung Ko,
Sang ** Lee
Abstract:
Algorithmic solutions to the conjugacy problem in the braid groups B_n were given by Elrifai-Morton in 1994 and by the authors in 1998. Both solutions yield two conjugacy class invariants which are known as `inf' and `sup'. A problem which was left unsolved in both papers was the number m of times one must `cycle' (resp. `decycle') in order to increase inf (resp. decrease sup) or to be sure that…
▽ More
Algorithmic solutions to the conjugacy problem in the braid groups B_n were given by Elrifai-Morton in 1994 and by the authors in 1998. Both solutions yield two conjugacy class invariants which are known as `inf' and `sup'. A problem which was left unsolved in both papers was the number m of times one must `cycle' (resp. `decycle') in order to increase inf (resp. decrease sup) or to be sure that it is already maximal (resp. minimal) for the given conjugacy class. Our main result is to prove that m is bounded above by n-2 in the situation of the second algorithm and by ((n^2-n)/2)-1 in the situation of the first. As a corollary, we show that the computation of inf and sup is polynomial in both word length and braid index, in both algorithms. The integers inf and sup determine (but are not determined by) the shortest geodesic length for elements in a conjugacy class, as defined by Charney, and so we also obtain a polynomial-time algorithm for computing this geodesic length.
△ Less
Submitted 21 March, 2000;
originally announced March 2000.