Related papers: Characterizing Van Kampen Squares via Descent Data

Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable non-deterministic choices that would jeopardize the completeness of computations.…

A set of curves or images of similar shape is an increasingly common functional data set collected in the sciences. Principal Component Analysis (PCA) is the most widely used technique to decompose variation in functional data. However, the…

We consider N identical oscillators coupled to a single environment and show that the conditions for the existence of decoherence free subspaces are degeneracy of the oscillator frequencies and separability of the coupling with the…

We characterize when the countable power of a Corson compactum has a dense metrizable subspace and construct consistent examples of Corson compacta whose countable power does not have a dense metrizable subspace. We also give several…

This paper presents a new technique for norm-convergent dynamic mode decomposition of deterministic systems. The developed method utilizes recent results on singular dynamic mode decomposition where it is shown that by appropriate selection…

The properties of the processes of deformation of a packing of rigid grains are analysed when the exact distribution of the normal forces at contacts is known. Importance of grain rotation and of counter-rotation of adjacent grains is…

Virtual double categories provide an effective framework for formal category theory. Recent work has investigated the question of higher morphisms between virtual double categories, following on from work on higher morphisms between double…

We consider the existence problem of lifting a smooth contact map between Carnot groups to a smooth contact map between central extensions of the original groups. Our main result is a necessary and sufficient criterion formulated using the…

We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that…

Many properties of a module can be expressed in terms of the dimension of the vector space obtained by applying a finitely presented functor to that module. For example, the dimension of the kernel, image or cokernel of the multiplication…

The pull-back, push-forward and multiplication of smooth functions can be extended to distributions if their wave front set satisfies some conditions. Thus, it is natural to investigate the topological properties of these operations between…

We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…

Tensors, which provide a powerful and flexible model for representing multi-attribute data and multi-way interactions, play an indispensable role in modern data science across various fields in science and engineering. A fundamental task is…

How can we efficiently compress Convolutional Neural Network (CNN) while retaining their accuracy on classification tasks? Depthwise Separable Convolution (DSConv), which replaces a standard convolution with a depthwise convolution and a…

In this paper we address the problem of feature selection when the data is functional, we study several statistical procedures including classification, regression and principal components. One advantage of the blinding procedure is that it…

We study pullback from a topological viewpoint with emphasis on pullback of covering maps. We generalize a triad of Quillen on properties of the pullback functor.

We study models of quintessence consisting of a number of scalar fields coupled to several dark matter components. In the case of exponential potentials the scaling solutions can be described in terms of a single field. The corresponding…

A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…

The decay of a crystalline cone below the roughening transition is studied. We consider local mass transport through surface diffusion, focusing on the two cases of diffusion limited and attachment-detachment limited step kinetics. In both…

We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…