Jump to content

Talk:Quadrisecant

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

GA Review

[edit]
This review is transcluded from Talk:Quadrisecant/GA1. The edit link for this section can be used to add comments to the review.

Reviewer: Ovinus (talk · contribs) 19:52, 24 July 2022 (UTC)[reply]

Alright. Haven't heard of this topic before.

  • I'll see if I can make a prettier image. Maybe even an STL would be cool, since a reader can "pivot" around to see the quadrisecants and infinite trisecants.
    • Thinking about how to do this now—should be fun. You are the computational geometer here, so I was wondering if you had any suggestions for finding quadrisecants numerically. I'm thinking a straightforward approach by choosing a random secant, perturbing it into a trisecant (within some epsilon), and then perturbing that into a quadrisecant. That should be at most quadratic time in the number of samples, per random initial choice. Ovinus (talk) 20:11, 26 July 2022 (UTC)[reply]
      • Finding the quadrisecants first and building the curve around them seems easiest to me. —David Eppstein (talk) 03:55, 27 July 2022 (UTC)[reply]
        • That is clever. I'll try that if I can't figure out my original idea; I want the knot to deform smoothly so that the reader can see how the quadrisecants move continuously. Anyway, I'm quite busy irl at the moment. Will put stuff on talk if/when I come up with anything. Ovinus (talk) 08:11, 27 July 2022 (UTC)[reply]
  • "However, quadrisecants are especially relevant" Are you contrasting quadrisecants with plain secants and trisecants? If so I'd be explicit, like "Compared to secants and trisecants" or something. "However" implies a weak contradiction, the nature of which is not obvious

Will continue in a bit. Ovinus (talk) 19:52, 24 July 2022 (UTC)[reply]

Thanks! A better image would be welcome; at least the present one is clearer than the one that was in there before. I changed the wording as you suggested above. —David Eppstein (talk) 20:04, 24 July 2022 (UTC)[reply]
LOL! I quite nearly spit out my water at that. Ovinus (talk) 20:21, 24 July 2022 (UTC)[reply]

Continuing:

  • "In contrast, if an arbitrary space curve is perturbed by a small distance to make it generic, there will be no lines through five or more points of the perturbed curve." Anything about degrees of freedom here?
    • "Degrees of freedom" and "generic curve" are not compatible concepts. The point of being generic is that it is not restricted to a class with finitely many degrees of freedom.
      • Ah, I should have been more clear. As in, an easy-to-understand heuristic explanation for why four points is discrete in the generic case, while five points requires special circumstances, based on the degrees of freedom of four points on a knot vs. of lines in 3D space. Perhaps that is misguided. In other words: is there a broadly understandable explanation for why 4? Why are trisecants not also discrete; why are "quintisecants" not a general occurrence? Ovinus (talk) 01:37, 27 July 2022 (UTC)[reply]
  • "Additionally, for generic space curves, the quadrisecants form a discrete set of lines that, in many cases, is finite" Are there any cases where it's infinite for a generic curve? I can't immediately think of one.
  • "locally flat" Link to local flatness
  • "In spaces with complex number coordinates rather than real coordinates" The jump to complex numbers is a bit sudden; it's no longer a plain old space curve
    • Well, it really kind of is. It lives in a space with three coordinates and three dimensions. Just one built on a different field. Anyway, I'm not sure what you think should be different here. —David Eppstein (talk) 03:56, 27 July 2022 (UTC)[reply]
      • I was thinking about this in conjunction with the next point, so that it's clear what collinearity means in a complex space, but I think it's straightforward enough to those with the background to fully appreciate the statement. All good. Ovinus (talk) 08:11, 27 July 2022 (UTC)[reply]
  • It'd be nice somewhere to see how quadrisecants can be put into symbols, even if it's obvious to some people. "Any knot may be parametrized as a function ... A quadrisecant is thus determined by any set of distinct inputs for which their images are collinear." Just something like that.
    • I didn't find any sources talking about quadrisecants of parametric curves. But how is "the images of distinct inputs of a curve parameterized by simpler than "four distinct points on a space curve"? What is gained by considering the parameterization? —David Eppstein (talk) 05:29, 27 July 2022 (UTC)[reply]
  • "If five lines ... " What restrictions must be imposed on these lines? Need they be distinct, skew, etc
  • "If the fourth of the given lines pierces this surface, its two points of intersection" Why is it guaranteed to have two points of intersection in general?

That's all for now. Ovinus (talk) 20:11, 26 July 2022 (UTC)[reply]