arXiv subjects

Bruce Solomon

Publications and source records attributed to Bruce Solomon.

11 recordsLinked to original sources

arXiv2015

Central figure-8 cross-cuts make surfaces cylindrical

We prove: If a complete connected smooth surface M in euclidean 3-space has general position, intersects some plane along a clean figure-8 (a loop with total curvature zero) and all compact intersections with planes have central symmetry, then M is a (geometric) cylinder over some central figure-8. On the way, we establish interesting facts about centrally symmetric loops in the plane; for instance, a clean loop with even rotation number 2k can never be central unless it passes through its center exactly twice and k=0.

math.DG↗

arXiv2013

Constant mean curvature, flux conservation, and symmetry

As first noted in Korevaar, Kusner and Solomon ("KKS"), constant mean curvature implies a homological conservation law for hypersurfaces in ambient spaces with Killing fields.In Theorem 3.5 here, we generalize that law by relaxing the topological restrictions assumed in [KKS] and by allowing a weighted mean curvature functional. We also prove a partial converse (Theorem 4.1) which roughly says that when flux is conserved along a Killing field, a hypersurface splits into two regions: one with constant (weighted) mean curvature, and one preserved by the Killing field. We demonstrate our theory by using it to derive a first integral for helicoidal surfaces of constant mean curvature in Euclidean 3-space, i.e., "twizzlers."

math.DG↗

arXiv2009

X-rays of currents and projections of forms

We introduce and study a new Radon-like transform that averages projected differential p-forms in R^n over affine (n-k)-planes. We then prove an explicit inversion formula for our transform on the space of rapidly-decaying smooth p-forms. Our transform differs from the one in Gelfand-Graev-Shapiro. Moreover, if it can be extended to a somewhat larger space of p-forms, our inversion formula will allow the synthesis of any rapidly-decaying smooth p-form on R^n as a (continuous) superposition of pullbacks from p-forms on k-dimensional subspaces. In turn, such synthesis implies an explicit formula (which we derive) for reconstructing compactly supported currents in R^n (e.g., compact oriented k-dimensional subvarieties) from their oriented projections onto k-planes.

math.DG↗

arXiv2009

Surfaces with central cross-sections

A surface S in R^3 has the central plane oval property (cpo) if (i) S meets at least one affine plane transversally along a strictly convex oval, and (ii) Every such transverse oval on S has central symmetry. We show that a complete, connected C^2 surface with cpo must be either a generalized cylinder, or quadric. Applying this, we deduce that a complete C^2 surface containing a transverse plane oval but no skewloop, must be a cylinder or a quadric.

math.DG↗

arXiv2008

Central cross-sections make surfaces of revolution quadric

We prove here that when all planes transverse and nearly perpendicular to the axis of a surface of revolution intersect it in loops having central symmetry, the surface must be quadric. It follows that the quadrics are the only surfaces of revolution without skewloops. Similar statements hold for hypersurfaces of revolution in higher dimensions.

math.DG↗

arXiv2007

Skew loops in flat tori

We produce skew loops -- loops having no pair of parallel tangent lines -- homotopic to any loop in a flat torus or other quotient of R^n. The interesting case here is n=3. More subtly for any n, we characterize the homotopy classes that will contain a skew loop having a specified loop in the unit sphere as tangent indicatrix.

math.DG↗

arXiv2004

No skew branes on non-degenerate hyperquadrics

We show that non-degenerate hyperquadrics in R^{n+2} admit no skew branes. Stated more traditionally, a compact codimension-one immersed submanifold of a non-degenerate hyperquadric of euclidean space must have parallel tangent spaces at two distinct points. Similar results have been proven by others, but (except for ellipsoids in R^3) always under C^2 smoothness and genericity assumptions. We use neither assumption here.

math.DG↗

arXiv2003

Large-determinant sign matrices of order 4k+1

The Hadamard maximal determinant problem asks for the largest n-by-n determinant with entries in {+1,-1}. When n is congruent to 1 (mod 4), the maximal excess construction of Farmakis & Kounias has been the most successful general method for constructing large (though seldom maximal) determinants. For certain small n, however, still larger determinants have been known; several new records were recently reported in ArXiv preprint math.CO/0304410 . Here, we define ``3-normalized'' n-by-n Hadamard matrices, and construct large-determinant matrices of order n+1 from them. Our constructions account for most of the previous ``small n'' records, and set new records when n=37, 49, 65, 73, 77, 85, 93, and 97, most of which are beyond the reach of the maximal excess technique. We conjecture that our n=37 determinant, 72 x 9^{17} x 2^{36}, achieves the global maximum.

math.CO↗

arXiv2003

New lower bounds for the maximal determinant problem

We report new world records for the maximal determinant of an n-by-n matrix with entries +/-1. Using various techniques, we beat existing records for n=22, 23, 27, 29, 31, 33, 34, 35, 39, 45, 47, 53, 63, 69, 73, 77, 79, 93, and 95, and we present the record-breaking matrices here. We conjecture that our n=22 value attains the globally maximizing determinant in its dimension. We also tabulate new records for n=67, 75, 83, 87, 91 and 99, dimensions for which no previous claims have been made. The relevant matrices in all these dimensions, along with other pertinent information, are posted at http://www.indiana.edu/~maxdet \.

math.CO↗

arXiv2002

Skew loops and quadric surfaces

A skew loop is a closed curve without parallel tangent lines. We prove: The only complete surfaces in euclidean 3-space with a point of positive curvature and no skew loops are the quadrics. In particular, ellipsoids are the only closed surfaces without skew loops. We also prove results about skew loops on cylinders and positively curved surfaces.

math.DG↗

arXiv2002

Projecting (n-1)-cycles to zero on hyperplanes in R^{n+1}

The projection of a compact oriented submanifold M^{n-1} in R^{n+1} on a hyperplane P^{n} can fail to bound any region in P. We call this ``projecting to zero.'' Example: The equatorial S^1 in S^2 projects to zero in any plane containing the x_3-axis. Using currents to make this precise, we show: A lipschitz (homology) (n-1)-sphere embedded in a compact, strictly convex hypersurface cannot project to zero on n+1 linearly independent hyperplanes in R^{n+1}. We also show, using examples, that all the hypotheses in this statement are sharp.

math.DG↗