Related papers: Computing standard canonical forms of regular line…
We study the concept of canonical characteristic set of a characterizable differential ideal. We propose an efficient algorithm that transforms any characteristic set into the canonical one. We prove the basic properties of canonical…
We consider a class of perturbations of the 2D harmonic oscillator, and of some other dynamical systems, which we show are isomorphic to a function of a toric system (a Birkhoff canonical form). We show that for such systems there exists a…
We develop a Bayesian inference method for discretely-observed stochastic differential equations (SDEs). Inference is challenging for most SDEs, due to the analytical intractability of the likelihood function. Nevertheless, forward…
Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence or preorder checking to model checking, and are exactly the…
A natural way to obtain a system of partial differential equations on a manifold is to vary a suitably defined sesquilinear form. The sesquilinear forms we study are Hermitian forms acting on sections of the trivial $\mathbb{C}^n$-bundle…
Fourier transforms are ubiquitous mathematical tools in basic and applied sciences. We here report classical and quantum optical realizations of the discrete fractional Fourier transform, a generalization of the Fourier transform. In the…
Based on a recent development in the area of error control coding, we introduce the notion of convolutional factor graphs (CFGs) as a new class of probabilistic graphical models. In this context, the conventional factor graphs are referred…
Canonical Correlation Analysis (CCA) is a method for analyzing pairs of random vectors; it learns a sequence of paired linear transformations such that the resultant canonical variates are maximally correlated within pairs while…
Canonical transformations are defined and discussed along with the exponential, the coherent and the ultracoherent vectors. It is shown that the single-mode and the $n$-mode squeezing operators are elements of the group of canonical…
One way to study the physical plausibility of closed timelike curves (CTCs) is to examine their computational power. This has been done for Deutschian CTCs (D-CTCs) and post-selection CTCs (P-CTCs), with the result that they allow for the…
Simulators based on neural networks offer a path to orders-of-magnitude faster electromagnetic wave simulations. Existing models, however, only address narrowly tailored classes of problems and only scale to systems of a few dozen degrees…
Stencil computations are widely used to simulate the change of state of physical systems across a multidimensional grid over multiple timesteps. The state-of-the-art techniques in this area fall into three groups: cache-aware tiled looping…
A filtered manifold is a smooth manifold $M$ together with a filtration of the tangent bundle by smooth subbundles which is compatible with the Lie bracket of vector fields in a certain sense. The Lie bracket of vector fields then induces a…
Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…
We study a deflation method to reduce and to solve linear dfferential-algebraic equations (DAEs). It consists to define a sequence of DAEs with index reduction of one unit by step. This is simultaneously performed by substitution and…
Achieving reliable performance on early fault-tolerant quantum hardware will depend on protocols that manage noise without incurring prohibitive overhead. We propose a novel framework that integrates quantum computation with the…
In this paper, we study the Coxeter transformation of the derived categories of coherent sheaves on smooth complete varieties. We first obtain that if the rank of the Grothendieck group is finite, say $m$, then its characteristic…
We consider a large class of matrix problems, which includes the problem of classifying arbitrary systems of linear mappings. For every matrix problem from this class, we construct Belitskii's algorithm for reducing a matrix to a canonical…
A canonical-basis formulation of the time-dependent Hartree-Fock-Bogoliubov (TDHFB) theory is obtained with an approximation that the pair potential is assumed to be diagonal in the time-dependent canonical basis. The canonical-basis…
The nonlinear Fourier transform, which is also known as the forward scattering transform, decomposes a periodic signal into nonlinearly interacting waves. In contrast to the common Fourier transform, these waves no longer have to be…