Related papers: A porism concerning cyclic quadrilaterals
An old theorem, due to Graustein, asserts that the average curvature of a plane oval is attained at least at four points. We present a proof by way of wave propagation and extend this result to the spherical and hyperbolic geometries - in…
A quadrilateral is said to be rational if its four sides, the two diagonals and the area are all expressible by rational numbers. The problem of constructing rational quadrilaterals dates back to the seventh century when Brahmagupta gave an…
A free-by-cyclic group can often be viewed as a mapping torus of a free group automorphism (monodromy) in multiple ways. What dynamical properties must these monodromies share, and to what extent are they invariant under quasi-isometries?…
We study smooth tropical plane quartic curves and show that they satisfy certain properties analogous to (but also different from) smooth plane quartics in algebraic geometry. For example, we show that every such curve admits either…
The four-point function arising in the scattering of closed bosonic strings in their tachyonic ground state is evaluated on a surface of infinite genus. The amplitude has poles corresponding to physical intermediate states and divergences…
Planar curves with periodically varying curvature arise in the natural sciences as the result of a wide variety of periodic processes. The total curvature of a periodic arc in such curves constrains their symmetry. It is shown how the total…
Let $P(X)\in\mathbb{Z}[X]$ be an irreducible, monic, quartic polynomial with cyclic or dihedral Galois group. We prove that there exists a constant $c_P>0$ such that for a positive proportion of integers $n$, $P(n)$ has a prime factor $\ge…
We examine pairs of closed plane curves that have the same closing property as two conic sections in Poncelet's porism. We show how the vertex curve can be computed for a given envelope and vice versa. Our formulas are universal in the…
In this paper we are concerned with determining lower bounds of the number of limit cycles for piecewise polynomial holomorphic systems with a straight line of discontinuity. We approach this problem with different points of view: study of…
We prove some recent experimental observations of D. Reznik concerning periodic billiard orbits in ellipses. For example, the sum of cosines of the angles of a periodic billiard polygon remains constant in the one-parameter family of such…
In this paper, we give a criterion to assess the effectiveness and ampleness of divisors on a fake quadric surface $S$, and then we establish a relationship between the cones: \[\mathring{\Eff}(S)=\Amp(S)\subset \SAmp(S)=\Mov(S) \subset…
We prove a centre manifold theorem for a map along a manifold-with-boundary of fixed points, and provide an application to the study of gradient descent with large step size on two-layer matrix factorisation problems.
The existence or non-existence of Einstein metrics on 4-manifolds with non-trivial fundamental group and the relation with the underlying differential structure are analyzed. For most points $(n,m)$ in a large region of the integer lattice,…
We derive a numerical criterion for J-holomorphic curves in 4-dimensional symplectic cobordisms to achieve transversality without any genericity assumption. This generalizes results of Hofer-Lizan-Sikorav and Ivashkovich-Shevchishin to…
We construct a sequence of convex polyhedra on n vertices with the property that, as n -> infinity, the fraction of its edge unfoldings that avoid overlap approaches 0, and so the fraction that overlap approaches 1. Nevertheless, each does…
We classify spherical quadrilaterals up to isometry in the case when one inner angle is a multiple of pi while the other three are not. This is equivalent to classification of Heun's equations with real parameters and one apparent…
In our previous works (2012, 2013), we provided a finite list of properties characterizing all potential types of quadratic birational transformations of a projective space into a factorial variety, whose base locus is smooth and…
Given two graphs, a mapping between their edge-sets is cycle-continuous, if the preimage of every cycle is a cycle. The motivation for this notion is Jaeger's conjecture that for every bridgeless graph there is a cycle-continuous mapping to…
In this paper, we give an example of a chiral 4-polytope in projective 3-space. This example naturally yields a finite chiral 4-polytope in Euclidean 4-space, giving a counterexample to Theorem 11.2 of [2].
A reflexive cycle is any reflexive digraph whose underlying undirected graph is a cycle. Call a relational structure Slupecki if its surjective polymorphisms are all essentially unary. We prove that all reflexive cycles of girth at least 4…