Counterfactual Causality from First Principles?

In this position paper we discuss three main shortcomings of existing approaches to counterfactual causality from the computer science perspective, and sketch lines of work to try and overcome these issues: (1) causality definitions should be driven by a set of precisely specified requirements rather than specific examples; (2) causality frameworks should support system dynamics; (3) causality analysis should have a well-understood behavior in presence of abstraction.Comment: In Proceedings CREST 2017, arXiv:1710.0277

Semiclassical Universe from First Principles

Causal Dynamical Triangulations in four dimensions provide a background-independent definition of the sum over space-time geometries in nonperturbative quantum gravity. We show that the macroscopic four-dimensional world which emerges in the Euclidean sector of this theory is a bounce which satisfies a semiclassical equation. After integrating out all degrees of freedom except for a global scale factor, we obtain the ground state wave function of the universe as a function of this scale factor.Comment: 15 pages, 4 figure

Spin and Statistics and First Principles

It was shown in the early Seventies that, in Local Quantum Theory (that is the most general formulation of Quantum Field Theory, if we leave out only the unknown scenario of Quantum Gravity) the notion of Statistics can be grounded solely on the local observable quantities (without assuming neither the commutation relations nor even the existence of unobservable charged field operators); one finds that only the well known (para)statistics of Bose/Fermi type are allowed by the key principle of local commutativity of observables. In this frame it was possible to formulate and prove the Spin and Statistics Theorem purely on the basis of First Principles. In a subsequent stage it has been possible to prove the existence of a unique, canonical algebra of local field operators obeying ordinary Bose/Fermi commutation relations at spacelike separations. In this general guise the Spin - Statistics Theorem applies to Theories (on the four dimensional Minkowski space) where only massive particles with finite mass degeneracy can occur. Here we describe the underlying simple basic ideas, and briefly mention the subsequent generalisations; eventually we comment on the possible validity of the Spin - Statistics Theorem in presence of massless particles, or of violations of locality as expected in Quantum Gravity.Comment: Survey based on a talk given at the Meeting on "Theoretical and experimental aspects of the spin - statistics connection and related symmetries", Trieste, Italy - October 21-25, 200

Unfolding first-principles band structures

A general method is presented to unfold band structures of first-principles super-cell calculations with proper spectral weight, allowing easier visualization of the electronic structure and the degree of broken translational symmetry. The resulting unfolded band structures contain additional rich information from the Kohn-Sham orbitals, and absorb the structure factor that makes them ideal for a direct comparison with angular resolved photoemission spectroscopy experiments. With negligible computational expense via the use of Wannier functions, this simple method has great practical value in the studies of a wide range of materials containing impurities, vacancies, lattice distortions, or spontaneous long-range orders.Comment: 4 pages, 3 figure

Quantum Field Theory from First Principles

When quantum fields are studied on manifolds with boundary, the corresponding one-loop quantum theory for bosonic gauge fields with linear covariant gauges needs the assignment of suitable boundary conditions for elliptic differential operators of Laplace type. There are however deep reasons to modify such a scheme and allow for pseudo-differential boundary-value problems. When the boundary operator is allowed to be pseudo-differential while remaining a projector, the conditions on its kernel leading to strong ellipticity of the boundary-value problem are studied in detail. This makes it possible to develop a theory of one-loop quantum gravity from first principles only, i.e. the physical principle of invariance under infinitesimal diffeomorphisms and the mathematical requirement of a strongly elliptic theory. It therefore seems that a non-local formulation of quantum field theory has some attractive features which deserve further investigation.Comment: 16 pages, plain Tex, paper submitted for the Proceedings of the Conference "Geometrical Aspects of Quantum Fields", Physics Department of Londrina University, April 17-20, 200