We study the connections between Gelfand–Dickey (GD) systems and their modified counterparts, the Drinfeld–Sokolov (DS) systems in the case of general matrix–valued coefficients with entries in a commutative algebra over an arbitrary field. Our main results describe auto–Bäcklund transformations for the GD hierarchy based on Miura–type transformations associated with factorizations of n-th orde...

Participants were pretrained and tested on mutually entailed trigonometric relations and combinatorially entailed relations as they pertained to positive and negative forms of sine, cosine, secant, and cosecant. Experiment 1 focused on training and testing transformations of these mathematical functions in terms of amplitude and frequency followed by tests of novel relations. Experiment 2 addre...

Abstract The debate on the physical relevance of conformal transformations can be faced by taking the Palatini approach into account to gravitational theories. We show that conformal transformations are not only a mathematical tool to disentangle gravitational and matter degrees of freedom (passing from the Jordan frame to the Einstein frame) but they acquire a physical meaning considering the ...

In this thesis, we study Gaussian processes generated by certain linear transformations of two Gaussian martingales. This class of transformations is motivated by nancial equilibrium models with heterogeneous information. In Chapter 2 we derive the canonical decomposition of such processes, which are constructed in an enlarged ltration, as semimartingales in their own ltration. The resulting dr...

Traditional histology is the gold standard for tissue studies, but it is intrinsically reliant on two-dimensional (2D) images. Study of volumetric tissue samples such as whole hearts produces a stack of misaligned and distorted 2D images that need to be reconstructed to recover a congruent volume with the original sample's shape. In this paper, we develop a mathematical framework called Transfo...

Transformation optics aims to identify artificial materials and structures with desired electromagnetic properties by means of pertinent coordinate transformations. In general, such schemes are meant to appropriately tailor the constitutive parameters of metamaterials in order to control the trajectory of light in two and three dimensions. Here, we introduce a new class of one-dimensional optic...

We present networks for directly estimating the polynomial invariants of multi-party quantum states under local transformations. The structure of these networks is closely related to the structure of the invariants themselves and this lends a physical interpretation to these otherwise abstract mathematical quantities. Specifically, our networks estimate the invariants under local unitary (LU) t...

Understanding the transformation of nanoparticles emitted from vehicles is essential for developing appropriate methods for treating fine scale particle dynamics in dispersion models. This article provides an overview of significant research work relevant to modelling the dispersion of pollutants, especially nanoparticles, in the wake of vehicles. Literature on vehicle wakes and nanoparticle di...

The Alpha language results from research on automatic synthesis of systolic algorithms. It is based on the recurrence equation formalism introduced by Karp, Miller and Winograd in 1967. The basic objects of Alpha are variables indexed on integral points of a convex set. It is a functional/equational language, whose deenition is particularly well-suited to expressing regular algorithms, as well ...

Literate proving is the analogue for literate programming in the mathematical realm. That is, the goal of literate proving is to produce clear expositions of formal mathematics that could even be enjoyable for people to read whilst remaining faithful representations of the actual proofs. This paper describes maze, a generic literate proving system. Authors markup formal proof files, such as Miz...