Related papers: Univalent foundations and the equivalence principl…
Units equivariance (or units covariance) is the exact symmetry that follows from the requirement that relationships among measured quantities of physics relevance must obey self-consistent dimensional scalings. Here, we express this…
The role of the equivalence principle in the context of non-relativistic quantum mechanics and matter wave interferometry, especially atom beam interferometry, will be discussed. A generalised form of the weak equivalence principle which is…
Let $R$ be a unital ring with involution. We first show that the EP elements in $R$ can be characterized by three equations. Namely, let $a\in R$, then $a$ is EP if and only if there exists $x\in R$ such that $(xa)^{\ast}=xa$, $xa^{2}=a$…
We study symmetries of bases and spanning sets in finite element exterior calculus, using representation theory. We want to know which vector-valued finite element spaces have bases invariant under permutation of vertex indices. The…
We present the proof of the equivalence theorem in quantum field theory which is based on a formulation of this problem in the field-antifield formalism. As an example, we consider a model in which a different choices of natural finite…
We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming…
The Univalent Foundations requires a logic that allows us to define structures on homotopy types, similar to how first-order logic with equality ($\text{FOL}_=$) allows us to define structures on sets. We develop the syntax, semantics and…
Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Each such set is described by a single Set Theory formula with parameters unrelated to other formulas. Exotic expressions involving…
The goal of invariant theory is to find all the generators for the algebra of representations of a group that leave the group invariant. Such generators will be called \emph{basic invariants}. In particular, we set out to find the set of…
We will explore the nature of when certain finite groups have an equal covering, and when finite groups do not. Not to be confused with the concept of a cover group, a covering of a group is a collection of proper subgroups whose…
The MICROSCOPE space mission aims at testing the Equivalence Principle (EP) with an accuracy of $10^{-15}$. The test is based on the precise measurement delivered by a differential electrostatic accelerometer on-board a drag-free…
We discuss our understanding of the equivalence principle in both classical mechanics and quantum mechanics. We show that not only does the equivalence principle hold for the trajectories of quantum particles in a background gravitational…
We prove a general version of the crystalline equivalence principle which gives an equivalence of categories between a category of TQFTs defined on a generic space with $G$-symmetry, and a category of TQFTs with internal symmetry. We give a…
We prove a comparison principle for the porous medium equation in more general open sets in $\mathbb{R}^{n+1}$ than space-time cylinders. We apply this result in two related contexts: we establish a connection between a potential theoretic…
Voevodsky's univalence axiom is often motivated as a realization of the equivalence principle; the idea that equivalent mathematical structures satisfy the same properties. Indeed, in Homotopy Type Theory, properties and structures can be…
The equivalence of inertial and gravitational masses is a defining feature of general relativity. Here, we clarify the status of the equivalence principle for interactions mediated by a universally coupled scalar, motivated partly by recent…
A quotient construction defines an abstract type from a concrete type, using an equivalence relation to identify elements of the concrete type that are to be regarded as indistinguishable. The elements of a quotient type are…
The joint realm of quantum mechanics and the general-relativistic description of gravitation is becoming increasingly accessible to terrestrial experiments and observations. In this essay we study the emerging indications of the violation…
The famous equivalence theorem is reexamined in order to make it applicable to the case of intrinsically quantum infinite-component effective theories. We slightly modify the formulation of this theorem and prove it basing on the notion of…
The Einstein's equivalence principle is formulated in terms of the accuracy of measurements and its dependence of the size of the area of measurement. It is shown that different refinements of the statement 'the spacetime is locally flat'…