相关论文: Loop series for discrete statistical models on gra…

A new approach to quantum gravity is described which joins the loop representation formulation of the canonical theory to the causal set formulation of the path integral. The theory assigns quantum amplitudes to special classes of causal…

This paper concerns the explicit treatment of substitutions in the lambda calculus. One of its contributions is the simplification and rationalization of the suspension calculus that embodies such a treatment. The earlier version of this…

We show that a substantial portion of stochastic calculus can be developed along similar lines to ordinary calculus, with derivative-based concepts driving the development. We define a notion of stopping derivative, which is a form of right…

In this work, we introduce a broad class of circuits, or quantum cellular automata, which we call 'pairwise-difference-conserving circuits' (PDC). These models are characterized by local gates that preserve the pairwise difference of local…

The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and…

We study the interplay between principal pivot transform (pivot) and loop complementation for graphs. This is done by generalizing loop complementation (in addition to pivot) to set systems. We show that the operations together, when…

Graphical techniques provide a very useful practical device for calculations involving the so-called spin network states, which encode the quantum degrees of freedom of spatial geometry in loop quantum gravity. Graphical calculus of SU(2),…

We study the one-loop partition function of 3D gravity without cosmological constant on the solid torus with arbitrary metric fluctuations on the boundary. To this end we employ the discrete approach of (quantum) Regge calculus. In contrast…

This article is the second of a series of three presenting an alternative method to compute the one-loop scalar integrals. It extends the results of the first article to general complex masses. Let us remind the main features enjoyed by…

We discuss the computational complexity of the perturbative evaluation of scattering amplitudes, both by the Caravaglios-Moretti algorithm and by direct evaluation of the individual diagrams. For a self-interacting scalar theory, we…

The sum-product or belief propagation (BP) algorithm is a widely used message-passing technique for computing approximate marginals in graphical models. We introduce a new technique, called stochastic orthogonal series message-passing…

We study locally interacting processes in discrete time, often called probabilistic cellular automata, indexed by locally finite graphs. For infinite regular trees and certain generalized Galton-Watson trees, we show that the marginal…

In this paper we provide an alternative method to compute correlation functions in the in-in formalism, with a modified set of Feynman rules to compute loop corrections. The diagrammatic expansion is based on an iterative solution of the…

We study the hard-core model defined on independent sets of an input graph where the independent sets are weighted by a parameter $\lambda>0$. For constant $\Delta$, previous work of Weitz (2006) established an FPTAS for the partition…

We describe a novel approach to statistical learning from particles tracked while moving in a random environment. The problem consists in inferring properties of the environment from recorded snapshots. We consider here the case of a fluid…

We study three-point correlation functions of local operators in planar $\mathcal{N}=4$ SYM at weak coupling using integrability. We consider correlation functions involving two scalar BPS operators and an operator with spin, in the so…

While the disciplines of physics and engineering sciences in many cases have taken advantage from accurate time-series prediction of system behaviour by applying ordinary differential equation systems upon precise basic physical laws such…

Most interesting proofs in mathematics contain an inductive argument which requires an extension of the LK-calculus to formalize. The most commonly used calculi for induction contain a separate rule or axiom which reduces the valid proof…

By carefully analyzing the relations between operator methods and the discretized and continuum path integral formulations of quantum-mechanical systems, we have found the correct Feynman rules for one-dimensional path integrals in curved…

Understanding the loop corrections to cosmological observables is of paramount importance for having control on the quantum consistency of a theory in an expanding universe as well as for phenomenological reasons. In the present work, we…