Related papers: Manifestly Causal Loop-Tree Duality
Standpoint linear temporal logic SLTL is a recent formalism able to model possibly conflicting commitments made by distinct agents, taking into account aspects of temporal reasoning. In this paper, we analyse the computational properties of…
We propose a new bi-intuitionistic type theory called Dualized Type Theory (DTT). It is a simple type theory with perfect intuitionistic duality, and corresponds to a single-sided polarized sequent calculus. We prove DTT strongly…
We present an extension of the duality theorem, previously defined by S. Catani et al. on the one-loop level, to higher loop orders. The duality theorem provides a relation between loop integrals and tree-level phase-space integrals. Here,…
The finite-difference time-domain (FDTD) method is a flexible and powerful technique for rigorously solving Maxwell's equations. However, three-dimensional optical nonlinearity in current commercial and research FDTD softwares requires…
The multi-loop amplitudes for the closed, oriented superstring are represented by finite dimensional integrals of explicit functions calculated through the super-Schottky group parameters and interaction vertex coordinates on the…
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited…
The transverse-momentum-dependent distributions (TMDs), which are defined by gauge-invariant 3D parton correlators with staple-shaped lightlike Wilson lines, can be calculated from quark and gluon correlators fixed in the Coulomb gauge on a…
We present team semantics for two of the most important linear and branching time specification languages, Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). With team semantics, LTL is able to express hyperproperties, which have…
The successive perturbative estimates of the pressure of QCD at high temperature T show no sign of convergence, unless the coupling constant g is unrealistically small. Exploiting known results of an effective field theory which separates…
The duality relation between one-loop integrals and phase-space integrals, developed in a previous work, is extended to higher-order loops. The duality relation is realized by a modification of the customary +i0 prescription of the Feynman…
We find that scattering amplitudes in massive scalar QCD can manifest the duality between color and kinematics at loop-level. Specifically we construct the one-loop integrands for four-point scattering between two distinct massive scalars,…
We derive a variant of the loop-tree duality for Feynman integrals in the Schwinger parametric representation. This is achieved by decomposing the integration domain into a disjoint union of cells, one for each spanning tree of the graph…
We propose a dual formulation for the S Matrix of N = 4 SYM. The dual provides a basis for the "leading singularities" of scattering amplitudes to all orders in perturbation theory, which are sharply defined, IR safe data that uniquely…
Based on our \bl{\textbf{Random Duality Theory (RDT)}}, in a sequence of our recent papers \cite{Stojnicclupint19,Stojnicclupcmpl19,Stojnicclupplt19}, we introduced a powerful algorithmic mechanism (called \bl{\textbf{CLuP}}) that can be…
We propose a new generalized version of the QCD Analytic Perturbation Theory of Shirkov and Solovtsov for the computation of higher-order corrections in inclusive and exclusive processes. We construct non-power series expansions for the…
We describe the unitarity approach for the numerical computation of two-loop integral coefficients of scattering amplitudes. It is well known that the leading propagator singularities of an amplitude's integrand are related to products of…
Causal Dynamical Triangulations (CDT) are a concrete attempt to define a nonperturbative path integral for quantum gravity. We present strong evidence that the lattice theory has a second-order phase transition line, which can potentially…
Perturbation theory (PT) is often used to model statistical observables capturing the translation and rotation-invariant information in cosmological density fields. PT produces higher-order corrections by integration over linear statistics…
We consider a random field, defined on an integer-valued d-dimensional lattice, with covariance function satisfying a condition more general than summability. Such condition appeared in the well-known Newman's conjecture concerning the…
The 2D $\mathbb{Z}_2$ toric code admits a global symmetry exchanging electric and magnetic quasiparticles, known as electromagnetic duality. Known realizations include lattice translation symmetry, an exact $\mathbb{Z}_4$ symmetry generated…