Related papers: Optimality of Gerver's Sofa
The moving sofa problem, posed by L. Moser in 1966, asks for the planar shape of maximal area that can move around a right-angled corner in a hallway of unit width. It is known that a maximal area shape exists, and that its area is at least…
The moving sofa problem, posed by L. Moser in 1966, asks for the planar shape of maximal area that can move around a right-angled corner in a hallway of unit width, and is conjectured to have as its solution a complicated shape derived by…
The moving sofa problem asks for the connected shape with the largest area $\mu_{\text{max}}$ that can move around the right-angled corner of a hallway $L$ with unit width. The best bounds currently known on $\mu_{\max}$ are summarized as…
In 1966, Leo Moser introduced the "moving sofa problem," which seeks to determine the largest area of a shape that can be maneuvered through a 90-degree hallway of unit-width. This problem remains unsolved and open yet. In this paper, we…
The Moving Sofa Problem, formally proposed by Leo Moser in 1966, seeks to determine the largest area of a two-dimensional shape that can navigate through an $L$-shaped corridor with unit width. The current best lower bound is about 2.2195,…
We consider eight natural planar corridors, including the standard $\mathrm{L}$-shaped one, and characterize the rectangles that can move around their corners. As a bi-product we describe completely the corresponding rectangles with maximum…
It was shown by K. Ball and F. Nazarov, that the maximal surface area of a convex set in $\mathbb{R}^n$ with respect to the Standard Gaussian measure is of order $n^{\frac{1}{4}}$. In the present paper we establish the analogous result for…
Local estimates of the maximal curvatures of admissible spacelike hypersurfaces in de Sitter space for k-symmetric curvature functions are obtained. They depend on interior and boundary data.
In this paper we solve three open problems on maximal curves with Frobenius dimension 3. In particular, we prove the existence of a maximal curve with order sequence (0,1,3,q).
The resolutions and maximal sets of compatible resolutions of all 2-(120,8,1) designs arising frommaximal (120,8)-arcs in the known projective planes of order 16 are computed. It is shown that each of these designs is embeddable in a unique…
We study arithmetical and geometrical properties of maximal curves, that is, curves defined over the finite field F_{q^2} whose number of F_{q^2}-rational points reaches the Hasse-Weil upper bound. Under a hypothesis on non-gaps at a…
We examine the maximum dimension of a linear system of plane cubic curves whose $\mathbb{F}_q$-members are all geometrically irreducible. Computational evidence suggests that such a system has a maximum (projective) dimension of $3$. As a…
A small polygon is a polygon of unit diameter. The maximal area of a small polygon with $n=2m$ vertices is not known when $m\ge 7$. Finding the largest small $n$-gon for a given number $n\ge 3$ can be formulated as a nonconvex quadratically…
We consider the following geometric optimization problem: find a maximum-area rectangle and a maximum-perimeter rectangle contained in a given convex polygon with $n$ vertices. We give exact algorithms that solve these problems in time…
Using an Euclidean approach, we prove a new upper bound for the number of closed points of degree 2 on a smooth absolutely irreducible projective algebraic curve defined over the finite field $\mathbb F\_q$.This bound enables us to provide…
A curve over the field of two elements with completely decomposable Jacobian is shown to have at most six rational points and genus at most 26. The bounds are sharp. The previous upper bound for the genus was 145. We also show that a curve…
We consider the problem of finding curves of minimum pointwise-maximum curvature, i.e., curves of minimax curvature, among planar curves of fixed length with prescribed endpoints and tangents at the endpoints. We reformulate the problem in…
Jordan showed that the incidence variety of a smooth cubic surface containing 27 lines has solvable Galois group over the incidence variety of a smooth cubic surface containing 3 skew lines. As noted by Harris, it follows that for any…
This paper proves that the maximum number of rational points on a smooth, absolutely irreducible genus 4 curve over the field of 8 elements is 25. The body of the paper shows that 27 points is not possible using techniques from algebraic…
Let $G$ be a finite group. Recall that an $A$-group is a group whose Sylow subgroups are all abelian. In this paper, we investigate the upper bound on the diameter of the commuting graph of a solvable $A$-group. Assuming that the commuting…