Related papers: The Geometry of Picture Changing Operators
A basic problem in computer vision is to understand the structure of a real-world scene given several images of it. Here we study several theoretical aspects of the intra multi-view geometry of calibrated cameras when all that they can…
We show that an elliptic uniform pseudodifferential operator over a manifold of bounded geometry defines a class in uniform K-homology, and that this class only depends on the principal symbol of the operator.
It is known that local operators in quantum field theory transform in representations of ordinary global symmetry groups. The purpose of this paper is to generalise this statement to extended operators such as line and surface defects. We…
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the…
We study how the number $c(X)$ of components of a graph $X$ can be expressed through the number and properties of the components of a quotient graph $X/\sim.$ We partially rely on classic qualifications of graph homomorphisms such as…
Let $S(H)$ be the set of all self-adjoint bonded linear operators on $H$ and $\mathcal{V} \subset S(H)$ a subset that is pertinent in mathematical foundations of quantum mechanics. A symmetry is a bijective map $\phi :\mathcal{V} \to…
Trivially-acting symmetries in two-dimensional conformal field theory include twist fields of dimension zero which are local topological operators. We investigate the consequences of regarding these operators as part of the global symmetry…
A map between operator spaces is called completely coarse if the sequence of its amplifications is equi-coarse. We prove that all completely coarse maps must be $\mathbb R$-linear. On the opposite direction of this result, we introduce a…
We observe that the existence of sequential and parallel composition supermaps in higher order theories of transformations can be formalised using enriched category theory. Encouraged by relevant examples such as unitary supermaps and…
We use homotopy operators for the $L_\infty$-algebra associated with an equivariant deformation problem in order to describe a smooth parametrization of the space of structures around a given one. Along the way we give new algebraic and…
Transfer operators have been used widely to study the long time properties of chaotic maps or flows. We describe quantum analogues of these operators, which have been used as toy models by the quantum chaos community, but are also relevant…
We give $\operatorname{CMSO}$-transductions that, given a graph $G$, output its modular decomposition, its split decomposition and its bi-join decomposition. This improves results by Courcelle [Logical Methods in Computer Science, 2006] who…
In the study of quantum computation, data is represented in terms of linear operators which form a generalized model of probability, and computations are most commonly described as products of unitary transformations, which are the…
Transformations in the field of computer graphics and geometry are one of the most important concepts for efficient manipulation and control of objects in 2-dimensional and 3-dimensional space. Transformations take many forms each with…
A piecewise constant curvature manifold is a triangulated manifold that is assigned a geometry by specifying lengths of edges and stipulating that for a chosen background geometry (Euclidean, hyperbolic, or spherical), each simplex has an…
Topological photonics provides a powerful framework to describe and understand many nontrivial wave phenomena in complex electromagnetic platforms. The topological index of a physical system is an abstract global property that depends on…
This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher…
The object recognition is a complex problem in the image processing. Mathematical morphology is Shape oriented operations, that simplify image data, preserving their essential shape characteristics and eliminating irrelevancies. This paper…
Vertex operator algebras are mathematically rigorous objects corresponding to chiral algebras in conformal field theory. Operads are mathematical devices to describe operations, that is, $n$-ary operations for all $n$ greater than or equal…
Using a notation of corner between edges when graph has a fixed rotation, i.e. cyclical order of edges around vertices, we define combinatorial objects - combinatorial maps as pairs of permutations, one for vertices and one for faces.…