Related papers: Comparing angles in Euclid's Elements
What is physics? What are the limits of what physics can say about the world? In seeking ever-broader theoretical `umbrellas' for physical phenomena, we are seeking unifying principles. Emergent phenomena have turned out to be some of the…
We introduce orbifolds from the classical point of view, using charts, and present orbifold versions of elementary objects from Algebraic Topology, such as the fundamental group, coverings and Euler characteristic; Differential…
By employing certain extended classical summation theorems, several surprising \pi and other formulae are displayed.
Omar Khayyam's treatment of cubic equations by intersections of conic sections has often been read as an anticipation of analytic or coordinate geometry. This paper argues that such a reading obscures the conceptual structure of Khayyam's…
We formalise, in Coq, the opening sections of Parity Complexes [Street1991] up to and including the all important excision of extremals algorithm. Parity complexes describe the essential combinatorial structure exhibited by simplexes, cubes…
This paper, along with E592 and E636, seems to consider the binomial expansion (1+z)^n in the case where z is complex. Euler even gives the sums of divergent series. The paper is translated from Euler's Latin original into German.
Extended formulations are an important tool to obtain small (even compact) formulations of polytopes by representing them as projections of higher dimensional ones. It is an important question whether a polytope admits a small extended…
We examine implications of angles having their own dimension, in the same sense as do lengths, masses, {\it etc.} The conventional practice in scientific applications involving trigonometric or exponential functions of angles is to assume…
We discuss some examples in which symplectic monodromy (provably or conjecturally) splits off the symplectic mapping class group, hoping to illustrate different techniques and inputs to the arguments. Along the way we formulate several open…
These lectures were addressed to nonspecialists willing to learn some basic facts, approaches, tools and observational evidence which conform modern cosmology. The aim is also to try to complement the many excellent treatises that exists on…
A group, defined as set with associative multiplication and inverse, is a natural structure describing the symmetry of a space. The concept of group generalizes to group objects internal to other categories than sets. But there are yet more…
Pendulums have long fascinated humans ever since Galileo theorized that they are isochronic with regards to their swing. While this simplification is useful in the case of small-angle pendulums due to the accuracy of the small-angle…
The theory of modular forms and spherical harmonic analysis are applied to establish new best bounds towards the counting and equidistribution of rational points on spheres and other higher dimensional ellipsoids, in what may be viewed as a…
We describe some properties of noncompact Euclidean cone manifolds with cone angles less than c less than 2pi and singular locus a submanifold. More precisely, we describe its structure outside a compact set. As a corollary we classify…
We obtain a new upper estimate on the Euclidean diameter of the intersection of the kernel of a random matrix with iid rows with a given convex body. The proof is based on a small-ball argument rather than on concentration and thus the…
A well-known, but often ignored issue in Yoneda-style definitions of cohomology objects via collections of $n$-step extensions (i.e., equivalence classes of exact sequences of a given length $n$ between two given objects, usually subject to…
Recently, the homology and cohomology of non-k-overlapping discs, or, equivalently, no k-equal subspaces of Euclidean space, were calculated by Dobrinskaya and Turchin. We calculate the homology and cohomology of two classes of more general…
Symmetries and isomorphisms play similar conceptual roles when we consider how models represent physical situations, but they are formally distinct, as two models related by symmetries are not typically isomorphic. I offer a rigorous…
In systems with long-range interactions, since energy is a non-additive quantity, ensemble inequivalence can arise: it is possible that different statistical ensembles lead to different equilibrium descriptions, even in the thermodynamic…
We generalize the concept of a field by allowing addition to be a partial operation. We show that elements of such a "partially additive field" share many similarities with physical quantities. In particular, they form subsets of mutually…