Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.
-
Upload
emery-ellis -
Category
Documents
-
view
217 -
download
0
Transcript of Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.
![Page 1: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/1.jpg)
Algorithmic Problems for Curveson Surfaces
Daniel ŠtefankovičUniversity of Rochester
![Page 2: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/2.jpg)
● Simple curves on surfaces
* representing surfaces, simple curves in surfaces
* algorithmic questions, history
● TOOL: (Quadratic) word equations
● Regular structures in drawings (?)
● Using word equations (Dehn twist, geometric intersection numbers, ...)
● What I would like...
outline
![Page 3: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/3.jpg)
How to represent surfaces?
![Page 4: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/4.jpg)
Combinatorial description of a surface
1. (pseudo) triangulation
bunch of triangles + description of how to glue them
a
b
c
![Page 5: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/5.jpg)
Combinatorial description of a surface
2. pair-of-pants decomposition
bunch of pair-of-pants + description of how to glue them
(cannnot be used to represent: ball with 2 holes, torus)
![Page 6: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/6.jpg)
Combinatorial description of a surface
3. polygonal schema
2n-gon + pairing of the edges
=a a
b
b
![Page 7: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/7.jpg)
Simple curves on surfacesclosed curve homeomorphic image of circle S1
simple closed curve = is injective (no self-intersections)
(free) homotopy equivalentsimple closed curves
![Page 8: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/8.jpg)
How to represent simple curvesin surfaces (up to homotopy)?
Ideally the representation is “unique” (each curve has a unique representation)
(properly embedded arc)
![Page 9: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/9.jpg)
Combinatorial description of a (homotopy type of) a simple curve in a surface
1. intersection sequence with a triangulation
a
b
c
![Page 10: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/10.jpg)
Combinatorial description of a (homotopy type of) a simple curve in a surface
1. intersection sequence with a triangulation
a
b
c
bc-1bc-1ba-1
almost unique if triangulation points on S
![Page 11: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/11.jpg)
Combinatorial description of a (homotopy type of) a simple curve in a surface
2. normal coordinates (w.r.t. a triangulation)
a)=1
b)=3
c)=2
(Kneser ’29) unique if triangulation points on S
![Page 12: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/12.jpg)
Combinatorial description of a (homotopy type of) a simple curve in a surface
2. normal coordinates (w.r.t. a triangulation)
a)=100
b)=300
c)=200
a very concise representation!(compressed)
![Page 13: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/13.jpg)
Combinatorial description of a (homotopy type of) a simple curve in a surface
3. weighted train track
5
10
3
1310
5
![Page 14: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/14.jpg)
Combinatorial description of a (homotopy type of) a simple curve in a surface
4. Dehn-Thurston coordinates
● number of intersections ● “twisting number”for each “circle”
unique
(important for surfaces without boundary)
![Page 15: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/15.jpg)
● Simple curves on surfaces
* representing surfaces, simple curves in surfaces
* algorithmic questions, history
● TOOL: (Quadratic) word equations
● Regular structures in drawings (?)
● Using word equations (Dehn twist, geometric intersection numbers, ...)
● What I would like...
outline
![Page 16: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/16.jpg)
Algorithmic problems - HistoryContractibility (Dehn 1912) can shrink curve to point?Transformability (Dehn 1912) are two curves homotopy equivalent?
Schipper ’92; Dey ’94; Schipper, Dey ’95 Dey-Guha ’99 (linear-time algorithm)
Simple representative (Poincaré 1895) can avoid self-intersections?
Reinhart ’62; Ziechang ’65; Chillingworth ’69 Birman, Series ’84
![Page 17: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/17.jpg)
Geometric intersection number minimal number of intersections of two curves
Reinhart ’62; Cohen,Lustig ’87; Lustig ’87; Hamidi-Tehrani ’97
Computing Dehn-twists “wrap” curve along curve
Penner ’84; Hamidi-Tehrani, Chen ’96; Hamidi-Tehrani ’01
polynomial only in explicit representations
polynomial in compressed representations, butonly for fixed set of curves
Algorithmic problems - History
![Page 18: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/18.jpg)
Algorithmic problems – will show Geometric intersection number minimal number of intersections of two curves
Reinhart ’62; Cohen,Lustig ’87; Lustig ’87; Hamidi-Tehrani ’97, Schaefer-Sedgewick-Š ’08
Computing Dehn-twists “wrap” curve along curve
Penner ’84; Hamidi-Tehrani, Chen ’96; Hamidi-Tehrani ’01, Schaefer-Sedgewick-Š ’08
polynomial in explicit compressed representations
polynomial in compressed representations, for fixed set of curves any pair of curves
![Page 19: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/19.jpg)
● Simple curves on surfaces
* representing surfaces, simple curves in surfaces
* algorithmic questions, history
● TOOL: (Quadratic) word equations
● Regular structures in drawings (?)
● Using word equations (Dehn twist, geometric intersection numbers, ...)
● What I would like...
outline
![Page 20: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/20.jpg)
Word equations
xabx =yxy x,y – variablesa,b - constants
![Page 21: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/21.jpg)
xabx =yxy x,y – variablesa,b - constants
a solution:
x=ab y=ab
Word equations
![Page 22: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/22.jpg)
Word equations with given lengths
x,y – variablesa,b - constantsxayxb = axbxy
additional constraints: |x|=4, |y|=1
![Page 23: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/23.jpg)
Word equations with given lengths
x,y – variablesa,b - constantsxayxb = axbxy
additional constraints: |x|=4, |y|=1
a solution:
x=aaaa y=b
![Page 24: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/24.jpg)
Word equations
word equations
word equations with given lengths
![Page 25: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/25.jpg)
Word equations
word equations - NP-hard
word equations with given lengths
Plandowski, Rytter ’98 – polynomial time algorithmDiekert, Robson ’98 – linear time for quadratic eqns
decidability – Makanin 1977PSPACE – Plandowski 1999
(quadratic = each variable occurs 2 times)
In NP ???
![Page 26: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/26.jpg)
Word equations
word equations - NP-hard
word equations with given lengths
Plandowski, Rytter ’98 – polynomial time algorithmDiekert, Robson ’98 – linear time for quadratic eqns
decidability – Makanin 1977PSPACE – Plandowski 1999
(quadratic = each variable occurs 2 times)
In NP ???
exponential upper bound on the length of a minimal solution
MISSING:
OPEN:
![Page 27: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/27.jpg)
● Simple curves on surfaces
* representing surfaces, simple curves in surfaces
* algorithmic questions, history
● TOOL: (Quadratic) word equations
● Regular structures in drawings (?)
● Using word equations (Dehn twist, geometric intersection numbers, ...)
● What I would like...
outline
![Page 28: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/28.jpg)
Shortcut number (g,k) k curves on surface of genus gintersecting another curve
(the curves do not intersect)
![Page 29: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/29.jpg)
Shortcut number (g,k) k curves on surface of genus gintersecting another curve
141
41
3 86
![Page 30: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/30.jpg)
Shortcut number (g,k) k curves on surface of genus gintersecting another curve
141
41
3 86
![Page 31: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/31.jpg)
Shortcut number (g,k) k curves on surface of genus gintersecting another curve
smallest n such that n intersectionsreduced drawing
![Page 32: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/32.jpg)
Shortcut number (g,1) 2
4 1
3 2
4 1
3 2
![Page 33: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/33.jpg)
Shortcut number (1,2) 6
4 6 6 1 1 3
3 5 5 2 2 4
![Page 34: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/34.jpg)
Shortcut number (1,2) 6
Conjecture: g,k) Ck
Experimentally:,2) 7,3) 31 (?)
Known [Schaefer, Š ‘2000]: (0,k) 2k
![Page 35: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/35.jpg)
Directed shortcut number d(g,k) k curves on surface of genus gintersecting another curve
141
41
3 86
BAD
![Page 36: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/36.jpg)
Directed shortcut number d(g,k)
d(0,2) = 20
upper bound must depend on g,k
finite?
Experimentally:
![Page 37: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/37.jpg)
Directed shortcut number d(g,k)
finite?
quadratic word equation drawing problembound on d(,) upper bound on word eq.
x=yzz=wBx=Awy=AB
x y
zw
A
B
AB
interesting?
![Page 38: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/38.jpg)
Spirals
spiral of depth 1(spanning arcs, 3 intersections)
interesting for word equations
![Page 39: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/39.jpg)
Unfortunately: Example with no spirals
[Schaefer, Sedgwick, Š ’07]
![Page 40: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/40.jpg)
Spirals and folds
spiral of depth 1(spanning arcs, 3 intersections)
fold of width 3
Pach-Tóth’01: In the plane (with puncures) either a large spiral or a large fold must exist.
![Page 41: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/41.jpg)
Unfortunately: Example with no spirals, no folds
[Schaefer, Sedgwick, Š ’07]
![Page 42: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/42.jpg)
Embedding on torus
![Page 43: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/43.jpg)
● Simple curves on surfaces
* representing surfaces, simple curves in surfaces
* algorithmic questions, history
● TOOL: (Quadratic) word equations
● Regular structures in drawings (?)
● Using word equations (Dehn twist, geometric intersection numbers, ...)
● What I would like...
outline
![Page 44: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/44.jpg)
Geometric intersection numberminimum number of intersections achievable by continuous deformations.
![Page 45: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/45.jpg)
Geometric intersection numberminimum number of intersections achievable by continuous deformations.
i(,)=2
![Page 46: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/46.jpg)
EXAMPLE: Geometric intersection numbersare well understood on the torus
(3,5) (2,-1)
3 5 2 -1
det = -13
![Page 47: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/47.jpg)
Recap:
1) how to represent them?
2) what/how to compute?
1. intersection sequence with a triangulation
2. normal coordinates (w.r.t. a triangulation)
bc-1bc-1ba-1
a)=1 b)=3 c)=2
geometric intersection number
![Page 48: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/48.jpg)
STEP1: Moving between the representations
1. intersection sequence with a triangulation
2. normal coordinates (w.r.t. a triangulation)
bc-1bc-1ba-1
a)=1 b)=3 c)=2
Can we move between these two representations efficiently?
a)=1+2100 b)=1+3.2100 c)=2101
![Page 49: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/49.jpg)
compressed = straight line program (SLP)
X0 a X1 b X2 X1X1
X3 X0X2
X4 X2X1
X5 X4X3
Theorem (SSS’08): normal coordinatescompressed intersection sequence in time O( log (e))
compressed intersection sequencenormal coordinates in time O(|T|.SLP-length(S))
X5 = bbbabb
![Page 50: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/50.jpg)
compressed = straight line program (SLP)
X0 a X1 b X2 X1X1
X3 X0X2
X4 X2X1
X5 X4X3
X5 = bbbabb
Plandowski, Rytter ’98 – polynomial time algorithmDiekert, Robson ’98 – linear time for quadratic eqns
OUTPUT OF:
CAN DO (in poly-time): ● count the number of occurrences of a symbol ● check equaltity of strings given by two SLP’s (Miyazaki, Shinohara, Takeda’02 – O(n4)) ● get SLP for f(w) where f is a substitution *
and w is given by SLP
![Page 51: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/51.jpg)
Simulating curve using quadratic word equations
X
yz
u v
u=xy...v=u
|u|=|v|=(u)...
Diekert-Robsonnumber ofcomponents
w
z
|x|=(|z|+|u|-|w|)/2
![Page 52: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/52.jpg)
Moving between the representations1. intersection sequence with a triangulation
2. normal coordinates (w.r.t. a triangulation)bc-1bc-1ba-1
a)=1 b)=3 c)=2
Theorem: normal coordinatescompressed intersection sequence in time O( log (e))
“Proof”:
X
yz
u v
u=xy...av=ua
|u|=|v|=|T| (u)
![Page 53: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/53.jpg)
Dehn twist of along
![Page 54: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/54.jpg)
Dehn twist of along
D()
![Page 55: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/55.jpg)
Dehn twist of along
D()
![Page 56: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/56.jpg)
Geometric intersection numbers
n¢ i(,)i(,) -i(,) i(,Dn
()) n¢ i(,)i(,)+i(,)
i(,Dn())/i(,) ! i(,
![Page 57: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/57.jpg)
Computing Dehn-Twists (outline)1. normal coordinates ! word equations with given lengths
2. solution = compressed intersection sequence with triangulation
3. sequences ! (non-reduced) word for Dehn-twist (substitution in SLPs)
4. Reduce the word ! normal coordinates
(only for surfaces with S 0)
![Page 58: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/58.jpg)
● Simple curves on surfaces
* representing surfaces, simple curves in surfaces
* algorithmic questions, history
● TOOL: (Quadratic) word equations
● Regular structures in drawings (?)
● Using word equations (Dehn twist, geometric intersection numbers, ...)
● What I would like...
outline
![Page 59: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/59.jpg)
PROBLEM #1: Minimal weight representative
2. normal coordinates (w.r.t. a triangulation)
a)=1
b)=3
c)=2
unique if triangulation points on S
![Page 60: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/60.jpg)
PROBLEM #1: Minimal weight representative
INPUT: triangulation + gluing normal coordinates of edge weights
OUTPUT: ’ minimizing ’(e)
eT
![Page 61: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/61.jpg)
PROBLEM #2: Moving between representations
4. Dehn-Thurston coordinates(Dehn ’38, W.Thurston ’76)
unique representation for closed surfaces!
PROBLEM normal coordinatesDehn-Thurston coordinates
in polynomial time? linear time?
![Page 62: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/62.jpg)
PROBLEM #3: Word equations
PROBLEM: are word equations in NP? are quadratic word equations in NP?
NP-hard
decidability – Makanin 1977PSPACE – Plandowski 1999
![Page 63: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/63.jpg)
PROBLEM #4: Computing Dehn-Twists faster?
1. normal coordinates ! word equations with given lengths
2. solution = compressed intersection sequence with triangulation
3. sequences ! (non-reduced) word for Dehn-twist (substitution in SLPs)
4. Reduce the word ! normal coordinates
O(n3) randomized, O(n9) deterministic
![Page 64: Algorithmic Problems for Curves on Surfaces Daniel Štefankovič University of Rochester.](https://reader034.fdocuments.net/reader034/viewer/2022042821/56649cdb5503460f949a5b5a/html5/thumbnails/64.jpg)
PROBLEM #5: Realizing geometric intersection #?
our algorithm is very indirect
can compress drawing realizing geometric intersection #?
can find the drawing?