Related papers: Parametricity, automorphisms of the universe, and …
We show that if a Lagrangian is invariant under a transformation (with the invariance defined in the standard manner), then the equations of motion obtained from it maintain their form under the transformation. We also show that the…
The two ways of constrained systems quantization are considered from the point of view of their self-consistency at the quantum level. With a transparent example of a particle in the external electromagnetic field we demonstrate that the…
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class-forcing extension which…
Evidence for fine-tuning of physical parameters suitable for life can perhaps be explained by almost any combination of providence, coincidence or multiverse. A multiverse usually includes parts unobservable to us, but if the theory for it…
We propose an integration of possibility theory into non-classical logics. We obtain many formal results that generalize the case where possibility and necessity functions are based on classical logic. We show how useful such an approach is…
If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the…
We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…
A unifying principle explaining the numerical bounds of quantum correlations remains elusive despite the efforts devoted to identifying it. Here we show that these bounds are indeed not exclusive to quantum theory: for any abstract…
We provide upper and lower bounds on the lowest free energy of a classical system at given one-particle density $\rho(x)$. We study both the canonical and grand-canonical cases, assuming the particles interact with a pair potential which…
Classical linear wave superposition produces the appearance of interference. This observation can be interpreted in two equivalent ways: one can assume that interference is an illusion because input components remain unperturbed, or that…
The Standard Model of particle physics can be deduced from a small number of axioms within Connes' noncommutative geometry (NCG). Boyle and Farnsworth [New J. Phys. 16 (2014) 123027] proposed to interpret Connes' approach as an algebra…
In this paper we consider generalization of classical and quantum mechanics that directly follows from the causality principle and topology of a system state space. In generalized mechanics, the Hamiltonian/Schrodinger equations remain the…
In the classical world one can construct two identical systems which have identical behavior and give identical measurement results. We show this to be impossible in the quantum domain. We prove that after the same quantum measurement two…
We prove the renormalizability of various theories of classical gravity coupled with interacting quantum fields. The models contain vertices with dimensionality greater than four, a finite number of matter operators and a finite or reduced…
Measurements on classical systems are usually idealized and assumed to have infinite precision. In practice, however, any measurement has a finite resolution. We investigate the theory of non-ideal measurements in classical mechanics using…
In this article the author endows the functor category [B(Z2),Gpd] with the structure of a type-theoretic fibration category with a univalent universe using the so-called injective model structure. It gives us a new model of Martin-L\"of…
We give a brief summary of the formalism of invariants in general scalar-tensor and multiscalar-tensor gravities without derivative couplings. By rescaling of the metric and reparametrization of the scalar fields, the theory can be…
Motivated by the apparent dependence of string $\sigma$--models on the sum of spacetime metric and antisymmetric tensor fields, we reconsider gravity theories constructed from a nonsymmetric metric. We first show that all such "geometrical"…
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…
We study the classical dynamics of non-relativistic particles endowed with spin. Non-vanishing Zitterbewegung terms appear in the equation of motion also in the small momentum limit. We derive a generalized work-energy theorem which…