Brown and Pooley’s ‘dynamical approach’ to physical theories asserts, in opposition to the orthodox position on physical geometry, that facts about physical geometry are grounded in, or explained by, facts about dynamical fields, not the other way round. John Norton has claimed that the proponent of the dynamical approach is illicitly committed to spatiotemporal presumptions in ‘constructing’ space-time from facts about dynamical symmetries. In this article, I present an abstract, algebraic formulation of field theories and demonstrate that the (...) proponent of the dynamical approach is not committed, in special relativity, to the illicit presumptions to which Norton refers. (shrink)

In this paper, we use the differential forms of three-dimensional Euclidean space to realize a Clifford algebra which is isomorphic to the algebra of the Pauli matrices or the complex quaternions. This is an associative vector-antisymmetric tensor algebra with division: We provide the algebraic inverse of an eight-component spinor field which is the sum of a scalar + vector + pseudovector + pseudoscalar. A surface of singularities is defined naturally by the inverse of an eight-component spinor and corresponds to (...) a generalized Minkowski “double” light cone in the parameter space. A general description of finite spatial rotations, which utilizes the Baker-Campbell-Hausdorff formula, generalizes the usual infinitesimal treatments of the rotation group. We derive an explicit expression for the angle corresponding to two successive finite rotations in any direction. We also discuss Lorentz transformations and duality rotations of the electromagnetic field and exhibit a relationship between the algebraic inverse and a duality rotated field. Using a combined transformation, one can always transform an arbitrary electromagnetic field (E≠0) into a pure electric field, but never into a pure magnetic field. (shrink)

We use the Low Basis Theorem of Jockusch and Soare to show that all computable algebraic fields are d-computably categorical for a particular Turing degree d with d' = θ", but that not all such fields are 0'-computably categorical. We also prove related results about algebraic fields with splitting algorithms, and fields of finite transcendence degree over ℚ.

We study when the property that a field is dense in its real and p-adic closures is elementary in the language of rings and deduce that all models of the theory of algebraic fields have this property.

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the (...) theory, we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by Doplicher, Haag, and Roberts (DHR); and we give an alternative proof of Doplicher and Robert's reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to J. E. Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix. (shrink)

Given a theory T of a polynomially bounded o-minimal expansion R of $${\bar{\mathbb{R}} = \langle\mathbb{R}, +,., 0, 1, < \rangle}$$ with field of exponents $${\mathbb{Q}}$$, we introduce a theory $${\mathbb{T}}$$ whose models are expansions of dense pairs of models of T by a discrete multiplicative group. We prove that $${\mathbb{T}}$$ is complete and admits quantifier elimination when predicates are added for certain existential formulas. In particular, if T = RCF then $${\mathbb{T}}$$ axiomatises $${\langle\bar{\mathbb{R}}, \mathbb{R}_{alg}, 2^{\mathbb{Z}}\rangle}$$, where $${\mathbb{R}_{alg}}$$ denotes the real (...) algebraic numbers. We describe types and definable sets in our models and prove that $${\mathbb{T}}$$ is dependent. (shrink)

According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to the unjustified primacy of an undetermined scalar field. Instead, we propose to consider algebraic structures in which all (and (...) only) physical fields are primitive. We explain how the theory of natural operations in differential geometry—the modern formalism behind classifying diffeomorphism-invariant constructions—can be used to obtain concrete implementations of this idea for any given collection of fields. For concrete examples, we illustrate how our approach applies to a number of particular physical fields, including electrodynamics coupled to a Weyl spinor. (shrink)

We study the automorphism group of the algebraic closure of a substructure A of a pseudofinite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all completions of the theory of pseudofinite fields, we show that over A, algebraic closure agrees with definable closure, as soon as A contains the relative algebraic closure of the prime field.

The general context of this paper is the locality problem in quantum theory. In a recent issue of this journal, Redei (1991) offered a proof of the proposition that algebraic Lorentz-covariant quantum field theory is past stochastic Einstein local. We show that Redei's proof is either spurious or circular, and that it contains two deductive fallacies. Furthermore, we prove that the mentioned theory meets the stronger condition of stochastic Haag locality.

This paper surveys the issue of relativistic causality within the framework of algebraic quantum field theory . In doing so, we distinguish various notions of causality formulated in the literature and study their relationships, and thereby we offer what we hope to be a useful taxonomy. We propose that the most direct expression of relativistic causality in AQFT is captured not by the spectrum condition but rather by the axiom of local primitive causality, in that it entails a form (...) of local determinism for quantum fields which generalizes the constraint of no superluminal propagation of classical field theories to relativistic quantum field theory. We discuss the status of the axiom of micro-causality by locating its place within a large family of separability/independence/locality conditions developed for AQFT and also by relating it to so-called no-signalling theorems. And we also provide a critical survey of attempts to understand the implications for relativistic causality of the distant correlations endemic to the states in models of AQFT satisfying the standard axioms, and we provide an assessment of attempts to employ Reichenbach's common cause principle in AQFT to defuse worries that these distant correlations implicate direct causal connections between relatively spacelike events. (shrink)

An exponential $\exp $ on an ordered field $$. The structure $$ is then called an ordered exponential field. A linearly ordered structure $$ is called o-minimal if every parametrically definable subset of M is a finite union of points and open intervals of M.The main subject of this thesis is the algebraic and model theoretic examination of o-minimal exponential fields $$ whose exponential satisfies the differential equation $\exp ' = \exp $ with initial condition $\exp = 1$. (...) This study is mainly motivated by the Transfer Conjecture, which states as follows:Any o-minimal exponential field $$ whose exponential satisfies the differential equation $\exp ' = \exp $ with initial condition $\exp =1$ is elementarily equivalent to $\mathbb {R}_{\exp }$.Here, $\mathbb {R}_{\exp }$ denotes the real exponential field $$, where $\exp $ denotes the standard exponential $x \mapsto \mathrm {e}^x$ on $\mathbb {R}$. Moreover, elementary equivalence means that any first-order sentence in the language $\mathcal {L}_{\exp } = \{+,-,\cdot,0,1, <,\exp \}$ holds for $$ if and only if it holds for $\mathbb {R}_{\exp }$.The Transfer Conjecture, and thus the study of o-minimal exponential fields, is of particular interest in the light of the decidability of $\mathbb {R}_{\exp }$. To the date, it is not known if $\mathbb {R}_{\exp }$ is decidable, i.e., whether there exists a procedure determining for a given first-order $\mathcal {L}_{\exp }$ -sentence whether it is true or false in $\mathbb {R}_{\exp }$. However, under the assumption of Schanuel’s Conjecture—a famous open conjecture from Transcendental Number Theory—a decision procedure for $\mathbb {R}_{\exp }$ exists. Also a positive answer to the Transfer Conjecture would result in the decidability of $\mathbb {R}_{\exp }$. Thus, we study o-minimal exponential fields with regard to the Transfer Conjecture, Schanuel’s Conjecture, and the decidability question of $\mathbb {R}_{\exp }$.Overall, we shed light on the valuation theoretic invariants of o-minimal exponential fields—the residue field and the value group—with additional induced structure. Moreover, we explore elementary substructures and extensions of o-minimal exponential fields to the maximal ends—the smallest elementary substructures being prime models and the maximal elementary extensions being contained in the surreal numbers. Further, we draw connections to models of Peano Arithmetic, integer parts, density in real closure, definable Henselian valuations, and strongly NIP ordered fields.Parts of this thesis were published in [2–5].Abstract prepared by Lothar Sebastian KrappE-mail: [email protected]: https://d-nb.info/1202012558/34. (shrink)

Algebraic quantum field theory (AQFT) puts forward three ``causal axioms'' that aim to characterize the theory as one that implements relativistic causation: the spectrum condition, microcausality, and primitive causality. In this paper, I aim to show, in a minimally technical way, that none of them fully explains the notion of causation appropriate for AQFT because they only capture some of the desiderata for relativistic causation I state or because it is often unclear how each axiom implements its respective desideratum. (...) After this diagnostic, I will show that a fourth condition, local primitive causality (LPC), fully characterizes relativistic causation in the sense of fulfilling all the relevant desiderata. However, it only encompasses the virtues of the other axioms because it is implied by them, as I will show from a construction by Haag and Schroer (1962). Since the conjunction of the three causal axioms implies LPC and other important results in QFT that LPC does not imply, and since LPC helps clarify some of the shortcomings of the three axioms, I advocate for a holistic interpretation of how the axioms characterize the causal structure of AQFT against the strategy in the literature to rivalize the axioms and privilege one among them. (shrink)

Ghost Dirac’s fermions are a manifestation of virtual particles. One fermion is the particle whose companion is the antiparticle. An ensemble of these fermions coupled in pairs represents the Bose-Einstein condensate. This condensate forms the superfluid ether. Due to the Meissner effect inherent in a superfluid medium, the paired fermions are inaccessible for instrument observation. For that reason, the ghost particles can pose the dark matter that, together with the dark energy, can be the fundamental basis of physical reality. In (...) the article, we consider this item through the prism of the Dirac equation stemming from the superfluid quantum ether. The latter is the inherent ubiquitous parent of fermion particle-antiparticle pairs. (shrink)

We construct and study structures imitating the field of complex numbers with exponentiation. We give a natural, albeit non first-order, axiomatisation for the corresponding class of structures and prove that the class has a unique model in every uncountable cardinality. This gives grounds to conjecture that the unique model of cardinality continuum is isomorphic to the field of complex numbers with exponentiation.

Results of R. Miller in 2009 proved several theorems about algebraic fields and computable categoricity. Also in 2009, A. Frolov, I. Kalimullin, and R. Miller proved some results about the degree spectrum of an algebraic field when viewed as a subfield of its algebraic closure. Here, we show that the same computable categoricity results also hold for finite-branching trees under the predecessor function and for connected, finite-valence, pointed graphs, and we show that the degree spectrum results (...) do not hold for these trees and graphs. We also offer an explanation for why the degree spectrum results distinguish these classes of structures: although all three structures are algebraic structures, the fields are what we call effectively algebraic. (shrink)

In, Marker and Steinhorn characterized models of an o‐minimal theory such that all types over M realized in N are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. In o‐minimal theories, a pair of models for which all 1‐types over M realized in N are definable has already the desired property. Although it is true that if M is an algebraically closed valued field such that all 1‐types over M are definable (...) then all types over M are definable, we build a counterexample for the relative statement, i.e., we show for any that there is a pair of algebraically closed valued fields such that all n‐types over M realized in N are definable but there is an ‐type over M realized in N which is not definable. (shrink)

I argue that algebraic quantum field theory (AQFT) permits an undisturbed view of the right ontology for fundamental physics, whereas standard (or Lagrangian) QFT offers different mutually incompatible ontologies.My claim does not depend on the mathematical inconsistency of standard QFT but on the fact that AQFT has the same concerns as ontology, namely categorical parsimony and a clearly structured hierarchy of entities.

A novel algebraic structure of the genetic code is proposed. Here, the principal partitions of the genetic code table were obtained as equivalent classes of quotient spaces of the genetic code vector space over the Galois field of the four DNA bases. The new algebraic structure shows strong connections among algebraic relationships, codon assignment and physicochemical properties of amino acids. Moreover, a distance function defined between the codon binary representations in the vector space was demonstrated to have (...) a linear behavior respect to physical variables such as the mean of amino acids interaction energies in proteins. It was also noticed that the distance between wild type and mutant codons approach to smaller values in mutational variants of four genes, i.e., human phenylalanine hydroxylase, human β-globin, HIV-1 protease and HIV-1 reverse transcriptase. These results strongly suggest that deterministic rules must be involved in the genetic code origin. (shrink)

Ekstein has shown that causal independence neither implies nor is implied by commutativity in an infinite-dimensional, reducible construction. DeFacio and Taylor have presented a finite-dimensional irreducible example of Ekstein's proposition. Avishai and Ekstein have shown that the original question regarding locality for algebraic quantum field theories remainsopen. We concur with that claim and offer additional arguments. A new denumerably infinite-dimensional, irreducible example is presented here which shows that a sort of “orthogonality” among operators is involved. Some observations on localC*-andW*-algebras (...) are given. (shrink)

In the paper it will be shown that Reichenbach’s Weak Common Cause Principle is not valid in algebraic quantum field theory with locally finite degrees of freedom in general. Namely, for any pair of projections A, B supported in spacelike separated double cones ${\mathcal{O}}_{a}$ and ${\mathcal{O}}_{b}$ , respectively, a correlating state can be given for which there is no nontrivial common cause (system) located in the union of the backward light cones of ${\mathcal{O}}_{a}$ and ${\mathcal{O}}_{b}$ and commuting with the (...) both A and B. Since noncommuting common cause solutions are presented in these states the abandonment of commutativity can modulate this result: noncommutative Common Cause Principles might survive in these models. (shrink)

We give some general criteria for the stable embeddedness of a definable set. We use these criteria to establish the stable embeddedness in algebraically closed valued fields of two definable sets: The set of balls of a given radius r < 1 contained in the valuation ring and the set of balls of a given multiplicative radius r < 1. We also show that in an algebraically closed valued field a 0-definable set is stably embedded if and only if (...) its algebraic closure is stably embedded. (shrink)

This paper studies unbounded pseudo-algebraically closed fields and shows an amalgamation result for types over algebraically closed sets. It discusses various applications, for instance that omega-free PAC fields have the property NSOP3. It also contains a description of imaginaries in PAC fields.

Let ℛ be an o-minimal expansion of a real closed field R. We continue here the investigation we began in [11] of differentiability with respect to the algebraically closed field [Formula: see text]. We develop the basic theory of such K-differentiability for definable functions of several variables, proving theorems on removable singularities as well as analogues of the Weierstrass preparation and division theorems for definable functions. We consider also definably meromorphic functions and prove that every definable function which is meromorphic (...) on Kn is necessarily a rational function. We finally discuss definable analogues of complex analytic manifolds, with possible connections to the model theoretic work on compact complex manifolds, and present two examples of "nonstandard manifolds" in our setting. (shrink)

Entanglement has long been the subject of discussion by philosophers of quantum theory, and has recently come to play an essential role for physicists in their development of quantum information theory. In this paper we show how the formalism of algebraic quantum field theory (AQFT) provides a rigorous framework within which to analyse entanglement in the context of a fully relativistic formulation of quantum theory. What emerges from the analysis are new practical and theoretical limitations on an experimenter's ability (...) to perform operations on a field in one spacetime region that can disentangle its state from the state of the field in other spacelike-separated regions. These limitations show just how deeply entrenched entanglement is in relativistic quantum field theory, and yield a fresh perspective on the ways in which the theory differs conceptually from both standard non-relativistic quantum theory and classical relativistic field theory. (shrink)

We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the fundamental work of Hrushovski and Kazhdan [8]. We limit our attention to a simple major subclass of V-minimal theories of the form ACV FS, that is, the theory of algebraically closed valued fields of pure characteristic 0 expanded by a -generated substructure S in (...) the language . The main advantage of this subclass is the presence of syntax. It enables us to simplify the arguments with many different technical details while following the major steps of the Hrushovski–Kazhdan theory. (shrink)

The theory of algebraically closed non-Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper. This theorem also has other consequences in the geometry of definable sets. The method of proving quantifier elimination in this paper for an analytic language does not require the algebraic quantifier elimination theorem of Weispfenning, (...) unlike the customary method of proof used in similar earlier analytic quantifier elimination theorems. (shrink)

Bell inequalities, understood as constraints between classical conditional probabilities, can be derived from a set of assumptions representing a common causal explanation of classical correlations. A similar derivation, however, is not known for Bell inequalities in algebraic quantum field theories establishing constraints for the expectation of specific linear combinations of projections in a quantum state. In the paper we address the question as to whether a ‘common causal justification’ of these non-classical Bell inequalities is possible. We will show that (...) although the classical notion of common causal explanation can readily be generalized for the non-classical case, the Bell inequalities used in quantum theories cannot be derived from these non-classical common causes. Just the opposite is true: for a set of correlations there can be given a non-classical common causal explanation even if they violate the Bell inequalities. This shows that the range of common causal explanations in the non-classical case is wider than that restricted by the Bell inequalities. (shrink)

We construct Hrushovski–Kazhdan style motivic integration in certain expansions of ACVF. Such an expansion is typically obtained by adding a full section or a cross-section from the RV-sort into the VF-sort and some extra structure in the RV-sort. The construction of integration, that is, the inverse of the lifting map , is rather straightforward. What is a bit surprising is that the kernel of is still generated by one element, exactly as in the case of integration in ACVF. The overall (...) construction is more or less parallel to the main construction of Hrushovski and Kazhdan , as presented in Yin and Yin . As an application, we show uniform rationality of Igusa zeta functions for non-archimedean local fields with unbounded ramification degrees. (shrink)

Fix an algebraically closed field of characteristic zero and let G be its geometry of transcendence degree one extensions. Let X be a set of points of G. We show that X extends to a projective subgeometry of G exactly if the partial derivatives of the polynomials inducing dependence on its elements satisfy certain separability conditions. This analysis produces a concrete representation of the coordinatizing fields of maximal projective subgeometries of G.

It is shown that a Clifford algebra formalism provides a unifying description of spin-0, -1/2, and-1 fields. Since the operators and operands are both expressed in terms of the same Clifford algebra, the formalism obtains some results which are considerably different from those of the standard formalisms for these fields. In particular, the conservation laws are obtained uniquely and unambiguously from the equations of motion in this formalism and do not suffer from the ambiguities and inconsistencies of the (...) standard methods. (shrink)

I argue against the currently prevalent view that algebraic quantum field theory (AQFT) is the correct framework for philosophy of quantum field theory and that “conventional” quantum field theory (CQFT), of the sort used in mainstream particle physics, is not suitable for foundational study. In doing so, I defend that position that AQFT and CQFT should be understood as rival programs to resolve the mathematical and physical pathologies of renormalization theory, and that CQFT has succeeded in this task and (...) AQFT has failed. I also defend CQFT from recent criticisms made by Doreen Fraser. (shrink)

A mathematical rigorous definition of EPR states has been introduced by Arens and Varadarajan for finite dimensional systems, and extended by Werner to general systems. In the present paper we follow a definition of EPR states due to Werner. Then we show that an EPR state for incommensurable pairs is Bell correlated, and that the set of EPR states for incommensurable pairs is norm dense between two strictly space-like separated regions in algebraic quantum field theory.

We consider the theory P of pairs Ffields of a given characteristic p. We exhibit a collection of additional sorts in which this theory has geometric elimination of imaginaries. The sorts are essentially of the form aBVa/Ga, where G,V,B are varieties over the prime field, G is a group scheme over B and V is a scheme over B , G acts algebraically on V over B, and for generic bB the action of Gb on (...) Vb is generically free. (shrink)

An aggregation procedure merges a list of objects into a representative object. This paper considers the problem of aggregating n rows in an n-by-m matrix into a summary row, where every entry is an element in an algebraic field. It focuses on consistent aggregators, which require each entry in the summary row to depend only on its column entries in the matrix and to be the same as the column entry if the column is constant. Consistent aggregators are related (...) to additive, linear and.. (shrink)

The first two steps of the construction of motivic integration in the fundamental work of Hrushovski and Kazhdan [8] have been presented in Yin [12]. In this paper we present the final third step. As in Yin [12], we limit our attention to the theory of algebraically closed valued fields of pure characteristic 0 expanded by a -generated substructure S in the language . A canonical description of the kernel of the homomorphism is obtained.

We give a simplified proof of elimination of imaginaries in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues which arose in the original proof by Haskell, Hrushovski, and Macpherson.

We study structures on the fields of characteristic zero obtained by introducing operations of raising to power. Using Hrushovski–Fraisse construction we single out among the structures exponentially-algebraically closed once and prove, under certain Diophantine conjecture, that the first order theory of such structures is model complete and every its completion is superstable.