Related papers: Transfer Principle for the Fundamental Lemma
Correspondence theory allows us to create sound and complete axiomatizations for modal logic on frames with certain properties. For example, if we restrict ourselves to transitive frames we should add the axiom $\square \phi \rightarrow…
We prove that the (elementary) class of differential-difference fields in characteristic $p>0$ admits a model-companion. In the terminology of Chatzidakis-Pillay, this says that the class of differentially closed fields of characteristic…
Transfer learning is an emerging and popular paradigm for utilizing existing knowledge from previous learning tasks to improve the performance of new ones. Despite its numerous empirical successes, theoretical analysis for transfer learning…
We study a mod $p^c$ analog of the notion of transfer for automorphic forms. Instead of existence of eigenforms, such transfers yield congruences between eigenforms but, like transfers, we show that they can be established by a comparison…
The poles and zeros of a transfer function can be studied by various means. The main motivation of the present paper is to give a state-space description of the module theoretic definition of zeros introduced and analyzed by Wyman et al.…
This short introductory category theory textbook is for readers with relatively little mathematical background (e.g. the first half of an undergraduate mathematics degree). At its heart is the concept of a universal property, important…
Transfer learning methods address the situation where little labeled training data from the "target" problem exists, but much training data from a related "source" domain is available. However, the overwhelming majority of transfer learning…
The subordination principle states roughly : if a property is true for Hardy spaces in some kind of domains in $C^n$ then it is also true for the Bergman spaces of the same kind of domains in $C^{n-1}$. We give applications of this…
Working with a rather general notion of independence, we provide a transference method which allows to compare the p-norm of sums of independent copies with the p-norm of sums of free copies. Our main technique is to construct explicit…
In this paper, for any prime $p$, we propose the notion of a $p$-transitive association scheme. This notion aims to generalize the fact that the regular module of a group algebra of a finite group has a unique trivial submodule to the case…
The heat equation is considered in the complex system consisting of many small bodies (particles) embedded in a given material. On the surfaces of the small bodies a Newton-type boundary condition is imposed. An equation for the limiting…
The transfer matrix in lattice field theory connects the covariant and the initial data frameworks; in spin foam models, it can be written as a composition of elementary cellular amplitudes/propagators. We present a framework for discrete…
We are studying properties of the name appointment in various categories of enriched graphs. The Yoneda lemma is generalized for continuous transforms between transports of enriched original graphs.
The aim of this paper is to to show the admissibility of some class of Frechet spaces (see Definition 2.3). In particular, this generalizes the main results of [3]. As an application, we show the admissibility of a large class modular…
We study a new technique for understanding convergence of learning agents under small modifications of data. We show that such convergence can be understood via an analogue of Fatou's lemma which yields gamma-convergence. We show it's…
Transfer learning is fundamental for addressing problems in settings with little training data. While several transfer learning approaches have been proposed in 3D, unfortunately, these solutions typically operate on an entire 3D object or…
A criterion for determining exactly when an order of a maximal subfield of a central simple algebra over a number field can be embedded into an order of this algebra is given. Various previous results have been generalized and recovered by…
The validity of classical hypothesis testing requires the significance level $\alpha$ be fixed before any statistical analysis takes place. This is a stringent requirement. For instance, it prohibits updating $\alpha$ during (or after) an…
The dependently-typed lambda calculus LF is often used as a vehicle for formalizing rule-based descriptions of object systems. Proving properties of object systems encoded in this fashion requires reasoning about formulas over LF typing…
There is a known generalization of the classical Schwarz lemma to holomorphic functions from the polydisk to the disk. In this paper, we characterize those functions which satisfy equality everywhere in this generalized inequality: they are…