Related papers: Keldysh formalism for multiple parallel worlds
Formal methods have been a successful approach for modelling and verifying the correctness of complex technologies like microprocessor chip design, biological systems and others. This is the main motivation of developing quantum formal…
The worldline formalism offers an alternative framework to the standard diagrammatic approach in quantum field theory, grounded in first-quantized relativistic path integrals. Over recent decades, this formalism has attracted growing…
We provide a mathematically rigorous Keldysh functional integral for fermionic quantum field theories. We show convergence of a discrete-time Grassmann Gaussian integral representation in the time-continuum limit under very general…
We give a scheme for interpreting shaded tangles as quantum circuits, with the property that if two shaded tangles are ambient isotopic, their corresponding computational effects are identical. We analyze 11 known quantum procedures in this…
In this paper, we develop the general formalism and properties of the spacetime density matrix, which captures correlations among different Cauchy surfaces and can be regarded as a natural generalization of the standard density matrix…
Recently, the R\'{e}nyi and Tsallis generalized entropies have extensively been used in order to study various cosmological and gravitational setups. Here, using a special type of generalized entropy, a generalization of both the R\'{e}nyi…
These lecture notes survey some joint work with Samson Abramsky. Somewhat informally I will discuss the main results in a pedestrian not too technical way. These include: (1) `The logic of entanglement', that is, the identification and…
Contour integral algorithms seek to compute a small number of eigenvalues located within a bounded region of the complex plane. These methods can be applied to both linear and nonlinear matrix eigenvalue problems. In the latter case, the…
Modern large language models (LLMs) show promising progress in formalizing informal mathematics into machine-verifiable theorems. However, these methods still face bottlenecks due to the limited quantity and quality of multilingual parallel…
The worldline formalism shares with string theory the property that it allows one to write down master integrals that effectively combine the contributions of many Feynman diagrams. While at the one-loop level these diagrams differ only by…
We present a universal relation between the flow of a Renyi entropy and the full counting statistics of energy transfers. We prove the exact relation for a flow to a system in thermal equilibrium that is weakly coupled to an arbitrary…
The complex-time formalism is developed in the framework of the path-integral formalism, to be used for analysis of the quantum tunneling phenomena. We show that subleading complex-time saddle-points do not account for the right WKB result.…
We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. We have extended the quantum process calculus to…
We consider 2D Yukawa theory in the strong scalar wave background. We use operator and functional formalisms. In the latter the Schwinger--Keldysh diagrammatic technique is used to calculate retarded, advanced and Keldysh propagators. We…
In this paper we describe a numerical method designed for modelling different kinds of astrophysical flows in three dimensions. Our method is a standard explicit finite difference method employing the local shearing-box technique. To model…
We propose a 2-categorical formalism for describing classical information, quantum systems, and their interactions, based on the principle that classical information can be encoded as correlations between quantum systems. Applying this in…
The Deutsch multiverse is collection of parallel universes. In this article a formal theory and a topos-theoretic model of the Deutsch multiverse are given. For this the Lawvere-Kock Synthetic Differential Geometry and topos models for…
This paper describes the results of our theoretical and numerical studies of hydrodynamic interactions in a suspension of spherical particles confined between two parallel planar walls, under creeping-flow conditions. We propose a novel…
A new method for the simulation of evolving multi-domains problems has been introduced in a previous work (RealIMotion), Florez et al. (2020). In this article further developments of the model will be presented. The main focus here is a…
We introduce an object called a \emph{subspace graph} that formalizes the technique of multidimensional quantum walks. Composing subspace graphs allows one to seamlessly combine quantum and classical reasoning, keeping a classical structure…