Related papers: On triangleleft^*-maximality
Let $U_0,U_1$ be two normal measures on $\kappa .$ We say that $U_0$ is in the Mitchell ordering less then $U_1,$ $U_0\vartriangleleft U_1,$ if $U_0 \in Ult(V,U_1) .$ The ordering is well-known to be transitive and well-founded. It has been…
Quantum supermaps provide a framework in which higher order quantum processes can act on lower order quantum processes. In doing so, they enable the definition and analysis of new quantum protocols and causal structures. Recently, key…
This is a short summary of the phase structure of vector O(N) symmetric quantum field theories in a singular limit, the double scaling limit.It is motivated by the fact that summing up dynamically triangulated random surfaces using Feynman…
Necessary conditions for high-order optimality in smooth nonlinear constrained optimization are explored and their inherent intricacy discussed. A two-phase minimization algorithm is proposed which can achieve approximate first-, second-…
In polydisperse systems, describing the structure and any structural order parameter (SOP) is not trivial as it varies with the number of species we use to describe the system, M . Depending on the degree of polydispersity, there is an…
We investigate the low energy dynamics of N=1 supersymmetric SO(N) gauge theories with a single symmetric tensor matter field. These theories exhibit non-trivial matching of global 't Hooft anomalies at the origin of moduli space. We argue…
By relating and ordering events, causality constitutes a pivotal feature of our world. On the one hand, there are information-theoretic notions of causality defined in terms of the information processing ability of agents and on the other…
The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is \omega-stable n-ample yet not (n+1)-ample. In…
In 4D renormalisable theories, integrating out massive states generates in the low energy effective action higher dimensional operators (derivative or otherwise). Using a superfield language it is shown that a 4D N=1 supersymmetric theory…
This paper studies the logical properties of a very general class of infinite ranked trees, namely those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal mu-calculus, three main…
We consider a class of non-linear PDE systems, whose equations possess Noether identities (the equations are redundant), including non-variational systems (not coming from Lagrangian field theories), where Noether identities and…
We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition,…
We introduce a hierarchical system of approximations for summing both conventional perturbation theory and large N vector expansions of models in quantum field theory and condensed matter physics. Each stage of the hierarchy consists of a…
Similarly to the bosonic Liouville theory, the $\mathcal{N}=2$ supersymmetric Liouville theory was conjectured to be equipped with the duality that exchanges the superpotential and the K\"ahler potential. The conjectured duality, however,…
We introduce the higher order spreading models associated to a Banach space $X$. Their definition is based on $\ff$-sequences $(x_s)_{s\in\ff}$ with $\ff$ a regular thin family and the plegma families. We show that the higher order…
In this paper we construct a map between a solution of supersymmetric Chern-Simons higher spin gravity based on the superalgebra $sl(3|2)$ with Lifshitz scaling and the $N=2$ super Boussinesq hierarchy. We show that under this map the time…
We construct $\mathcal{N}=1$ supersymmetric nonlocal theories in four dimension. We discuss higher derivative extensions of chiral and vector superfields, and write down generic forms of K\"ahler potential and superpotential up to quadratic…
We study the beta-function of the N=2 sigma-model coupled to N=2 induced supergravity. We compute corrections to first order in the semiclassical limit, $c \to -\infty$, beyond one-loop in the matter fields. As compared to the corresponding…
We conjecture that any perverse sheaf on a compact aspherical K\"ahler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the K\"ahler setting. We verify the stronger conjecture when the manifold X…
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…