Related papers: The SQInstructor: a guide to SQIsign and the Deuri…
Suppose that $\gamma$ and $\sigma$ are two continuous bounded variation paths which take values in a finite-dimensional inner product space $V$. Recent papers have introduced the truncated and the untruncated signature kernel of $\gamma$…
In modern collider experiments, the quest to explore fundamental interactions between elementary particles has reached unparalleled levels of precision. Signatures from particle physics detectors are low-level objects (such as energy…
The exact solution of Schrodinger equation for atoms, molecules and extended systems continues to be a "Holy Grail" problem that the entire field has been striving to solve since its inception. Recently, breakthroughs have been made in the…
Breaking symmetries is a popular way of speeding up the branch-and-bound method for symmetric integer programs. We study fundamental domains, which are minimal and closed symmetry breaking polyhedra. Our long-term goal is to understand the…
Morphology and dynamics at the meso-scale play crucial roles in the overall macro- or system-scale flow of heterogeneous materials. In a multi-scale framework, closure models upscale unresolved sub-grid (meso-scale) physics and therefore…
We construct a surface of general type with invariants \( \chi = K^2 = 1 \) and torsion group \( \Bbb{Z}/{2} \). We use a double plane construction by finding a plane curve with certain singularities, resolving these, and taking the double…
We define the q-deformed Gelfand-Dickey bracket on the space of q-pseudodifference symbols which agrees with the Poisson Virasoro algebra of E.Frenkel and N.Reshetikhin and its generalizations and prove its uniqueness (in a natural class of…
In this work, we focus on the task of learning and representing dense correspondences in deformable object categories. While this problem has been considered before, solutions so far have been rather ad-hoc for specific object types (i.e.,…
We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…
Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…
We study in some detail the structure of the projective quadric Q' obtained by taking the quotient of the isotropic cone in a standard pseudo-Hermitian space H_{p,q} with respect to the positive real numbers R^+ and, further, by taking the…
We develop a mathematical formalism that allows to study decoherence with a great level generality, so as to make it appear as a geometrical phenomenon between reservoirs of dimensions. It enables us to give quantitative estimates of the…
In earlier work, we introduced the `Monster tower', a tower of fibrations associated to planar curves. We constructed an algorithm for classifying its points with respect to the equivalence relation generated by the action of the contact…
A central machine is interested in estimating the underlying structure of a sparse Gaussian Graphical Model (GGM) from datasets distributed across multiple local machines. The local machines can communicate with the central machine through…
We introduce a general theoretical framework, designed for the study of gradient optimisation of deep neural networks, that encompasses ubiquitous architecture choices including batch normalisation, weight normalisation and skip…
New generalized Poisson structures are introduced by using skew-symmetric contravariant tensors of even order. The corresponding `Jacobi identities' are given by the vanishing of the Schouten-Nijenhuis bracket. As an example, we provide the…
We investigate some general machinery for describing semidualizing modules over generic constructions like ladder determinantal rings with coefficients in a normal domain. We also pose and investigate natural localization questions that…
We consider a class (M, g, q) of four-dimensional Riemannian manifolds M, where besides the metric g there is an additional structure q, whose fourth power is the unit matrix. We use the existence of a local coordinate system such that…
We present the architectural design and prototype implementation of QUT (Quantum Unit Testing), a framework for unit testing of quantum subroutines. The framework is developed with a focus on usability and simplicity, making the complex…