Related papers: Square pegs between two graphs

Using a definition of Jordan curve similar to that of Dieudonn\'e, we prove that our notion is equivalent to that used by Berg et al. in their constructive proof of the Jordan Curve Theorem. We then establish a number of properties of…

In this paper, we show that the essentiality of the scole of an ideal B i a semi-simple Banach algebra A implies that any invertibility preserving isomorphism on A is a Jordan homomorphism. Specially ...

We give an affirmative answer to the rectangular peg problem for a large class of continuous Jordan curves that contains all rectifiable curves and Stromquist's locally monotone curves. Our proof is based on microlocal sheaf theory and…

Computing a morph between two drawings of a graph is a classical problem in computational geometry and graph drawing. While this problem has been widely studied in the context of planar graphs, very little is known about the existence of…

Toeplitz conjectured that any simple planar loop inscribes a square. Here we prove variants of Toeplitz' square peg problem. We prove Hadwiger's 1971 conjecture that any simple loop in $3$-space inscribes a parallelogram. We show that any…

Curves in ${\mathbb R}^n$ for which the ratios between two consecutive curvatures are constant are characterized by the fact that their tangent indicatrix is a geodesic in a flat torus. For $n= 3,4$, spherical curves of this kind are also…

Answering a question of Benjamini & Schramm [8], we show that the Poisson boundary of any planar, uniquely absorbing (e.g. one-ended and transient) graph with bounded degrees can be realised geometrically as a circle, namely as the boundary…

We consider Jordan curves of the form $\gamma=\cup_{j=1}^n \gamma_j$ on the Riemann sphere for which each $\gamma_j$ is a hyperbolic geodesic in $(\widehat{\mathbb C} \smallsetminus \gamma)\cup \gamma_j$. These Jordan curves are…

A set in the Euclidean plane is constructed whose image under the classical Radon transform is Lipschitz in every direction. It is also shown that, under mild hypotheses, for any such set the function which maps a direction to the…

We derive various inequalities involving the intersection number of the curves contained in geodesics and tight geodesics in the curve graph. While there already exist such inequalities on tight geodesics, our method applies in the setting…

K\'{a}rolyi, Pach, and T\'{o}th proved that every 2-edge-colored straight-line drawing of the complete graph contains a monochromatic plane spanning tree. It is open if this statement generalizes to other classes of drawings, specifically,…

In this paper, we prove that for x\in(0,{\pi}/2) (cos p_0x)^{1/p_0}<((sin x)/x)<(cos(x/3))^3 with the best constants p_0=0.347307245464... and 1/3. Moreover, if p\in (0,1/3] then the double inequality {\beta}_{p}(cos px)^{1/p}<((sin…

We define and discuss the utility of two equivalence graph classes over which a spectral projector-based graph Fourier transform is equivalent: isomorphic equivalence classes and Jordan equivalence classes. Isomorphic equivalence classes…

We study the topological entropy of a two-parameter family of maps related to (a,b)-continued fraction algorithms and prove that it is constant on a square within the parameter space (two vertices of this square correspond to well-studied…

A string graph is the intersection graph of curves in the plane. We prove that there exists an absolute constant $c>0$ such that if $G$ is a string graph on $n$ vertices, then $G$ contains either a clique or an independent set of size at…

For every smooth Jordan curve $\gamma$ and rectangle $R$ in the Euclidean plane, we show that there exists a rectangle similar to $R$ whose vertices lie on $\gamma$. The proof relies on Shevchishin's theorem that the Klein bottle does not…

For the family of quadratic rational functions having a $2$-cycle of bounded type Siegel disks, we prove that each of the boundaries of these Siegel disks contains at most one critical point. In the parameter plane, we prove that the locus…

A permutation graph is a cubic graph admitting a 1-factor M whose complement consists of two chordless cycles. Extending results of Ellingham and of Goldwasser and Zhang, we prove that if e is an edge of M such that every 4-cycle containing…

We consider polynomials that are orthogonal over an analytic Jordan curve L with respect to a positive analytic weight, and show that each such polynomial of sufficiently large degree can be expanded in a series of certain integral…

The function $ \tan(\pi x / 2) / (\pi x / 2) $ is expanded into a Laurent series of $ 1 - x^2 $, where the coefficients are given explicitly as combinations of zeta function of even integers. This is used to achieve a sequence of upper and…