Number of homotopically inequivalent loops that pairwise intersect at most once

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












This is a follow-up to my previous question,
"Number of homotopically inequivalent loops on a surface":




Q. What is the largest number of
homotopically inequivalent,
simple closed curves,
each pair of which intersects in at most one point,
that can be drawn on a surface $S$ of genus $g$?




The previous question required the loops to be pairwise disjoint.
@LeeMosher answered: $3g - 3$.
For $g=4$, allowing the loops to intersect increases
the count from $3g-3=9$ to at least
$13$:




         
JeffE

         

Figure by Jeff Erickson here.


But I have no confidence that $13$ is the max here.
I would be interested to know if there is some general theory that bounds
the loops according to their intersections.





share|cite|improve this question















  • 2




    Indeed $13$ is not the maximum. There is another one which intersects the following curves exactly once (and the others zero times): the leftmost black curve, the adjacent red curve; the adjacent green curve; and the outer black curve. But I do not know the maximum, and I have a vague memory that this is a hard problem.
    – Lee Mosher
    Jul 28 at 18:01






  • 1




    This article by Josh Greene is probably the state of the art.
    – Mike Miller
    Jul 29 at 12:03











  • @MikeMiller: Excellent: $lesssim g^2 log g$.
    – Joseph O'Rourke
    Jul 29 at 13:02















up vote
1
down vote

favorite












This is a follow-up to my previous question,
"Number of homotopically inequivalent loops on a surface":




Q. What is the largest number of
homotopically inequivalent,
simple closed curves,
each pair of which intersects in at most one point,
that can be drawn on a surface $S$ of genus $g$?




The previous question required the loops to be pairwise disjoint.
@LeeMosher answered: $3g - 3$.
For $g=4$, allowing the loops to intersect increases
the count from $3g-3=9$ to at least
$13$:




         
JeffE

         

Figure by Jeff Erickson here.


But I have no confidence that $13$ is the max here.
I would be interested to know if there is some general theory that bounds
the loops according to their intersections.





share|cite|improve this question















  • 2




    Indeed $13$ is not the maximum. There is another one which intersects the following curves exactly once (and the others zero times): the leftmost black curve, the adjacent red curve; the adjacent green curve; and the outer black curve. But I do not know the maximum, and I have a vague memory that this is a hard problem.
    – Lee Mosher
    Jul 28 at 18:01






  • 1




    This article by Josh Greene is probably the state of the art.
    – Mike Miller
    Jul 29 at 12:03











  • @MikeMiller: Excellent: $lesssim g^2 log g$.
    – Joseph O'Rourke
    Jul 29 at 13:02













up vote
1
down vote

favorite









up vote
1
down vote

favorite











This is a follow-up to my previous question,
"Number of homotopically inequivalent loops on a surface":




Q. What is the largest number of
homotopically inequivalent,
simple closed curves,
each pair of which intersects in at most one point,
that can be drawn on a surface $S$ of genus $g$?




The previous question required the loops to be pairwise disjoint.
@LeeMosher answered: $3g - 3$.
For $g=4$, allowing the loops to intersect increases
the count from $3g-3=9$ to at least
$13$:




         
JeffE

         

Figure by Jeff Erickson here.


But I have no confidence that $13$ is the max here.
I would be interested to know if there is some general theory that bounds
the loops according to their intersections.





share|cite|improve this question











This is a follow-up to my previous question,
"Number of homotopically inequivalent loops on a surface":




Q. What is the largest number of
homotopically inequivalent,
simple closed curves,
each pair of which intersects in at most one point,
that can be drawn on a surface $S$ of genus $g$?




The previous question required the loops to be pairwise disjoint.
@LeeMosher answered: $3g - 3$.
For $g=4$, allowing the loops to intersect increases
the count from $3g-3=9$ to at least
$13$:




         
JeffE

         

Figure by Jeff Erickson here.


But I have no confidence that $13$ is the max here.
I would be interested to know if there is some general theory that bounds
the loops according to their intersections.







share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 28 at 17:50









Joseph O'Rourke

17.1k248103




17.1k248103







  • 2




    Indeed $13$ is not the maximum. There is another one which intersects the following curves exactly once (and the others zero times): the leftmost black curve, the adjacent red curve; the adjacent green curve; and the outer black curve. But I do not know the maximum, and I have a vague memory that this is a hard problem.
    – Lee Mosher
    Jul 28 at 18:01






  • 1




    This article by Josh Greene is probably the state of the art.
    – Mike Miller
    Jul 29 at 12:03











  • @MikeMiller: Excellent: $lesssim g^2 log g$.
    – Joseph O'Rourke
    Jul 29 at 13:02













  • 2




    Indeed $13$ is not the maximum. There is another one which intersects the following curves exactly once (and the others zero times): the leftmost black curve, the adjacent red curve; the adjacent green curve; and the outer black curve. But I do not know the maximum, and I have a vague memory that this is a hard problem.
    – Lee Mosher
    Jul 28 at 18:01






  • 1




    This article by Josh Greene is probably the state of the art.
    – Mike Miller
    Jul 29 at 12:03











  • @MikeMiller: Excellent: $lesssim g^2 log g$.
    – Joseph O'Rourke
    Jul 29 at 13:02








2




2




Indeed $13$ is not the maximum. There is another one which intersects the following curves exactly once (and the others zero times): the leftmost black curve, the adjacent red curve; the adjacent green curve; and the outer black curve. But I do not know the maximum, and I have a vague memory that this is a hard problem.
– Lee Mosher
Jul 28 at 18:01




Indeed $13$ is not the maximum. There is another one which intersects the following curves exactly once (and the others zero times): the leftmost black curve, the adjacent red curve; the adjacent green curve; and the outer black curve. But I do not know the maximum, and I have a vague memory that this is a hard problem.
– Lee Mosher
Jul 28 at 18:01




1




1




This article by Josh Greene is probably the state of the art.
– Mike Miller
Jul 29 at 12:03





This article by Josh Greene is probably the state of the art.
– Mike Miller
Jul 29 at 12:03













@MikeMiller: Excellent: $lesssim g^2 log g$.
– Joseph O'Rourke
Jul 29 at 13:02





@MikeMiller: Excellent: $lesssim g^2 log g$.
– Joseph O'Rourke
Jul 29 at 13:02
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865442%2fnumber-of-homotopically-inequivalent-loops-that-pairwise-intersect-at-most-once%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865442%2fnumber-of-homotopically-inequivalent-loops-that-pairwise-intersect-at-most-once%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?