Related papers: $\lambda$-Scale, a lambda calculus for spaces with…
$\tau$-tilting theory can be thought of as a generalization of the classical tilting theory which allows mutations at any indecomposable summand of a support $\tau$-tilting pair. Indeed, for any algebra $\Lambda$ its tilting modules…
Many recent loss functions in deep metric learning are expressed with logarithmic and exponential forms, and they involve margin and scale as essential hyper-parameters. Since each data class has an intrinsic characteristic, several…
We study a new bi-Lipschitz invariant \lambda(M) of a metric space M; its finiteness means that Lipschitz functions on an arbitrary subset of M can be linearly extended to functions on M whose Lipschitz constants are enlarged by a factor…
We present a novel algorithm which can overcome the drawbacks of the conventional linear scaling method with minimal computational overhead. This is achieved by introducing additional constraints, thus eliminating the redundancy of the…
This short note presents a new formal language, lambda dependency-based compositional semantics (lambda DCS) for representing logical forms in semantic parsing. By eliminating variables and making existential quantification implicit, lambda…
Mirror matter is a dark matter candidate. In this paper, we re-examine the linear regime of density perturbation growth in a universe containing mirror dark matter. Taking adiabatic scale-invariant perturbations as the input, we confirm…
Large matrices arise in many machine learning and data analysis applications, including as representations of datasets, graphs, model weights, and first and second-order derivatives. Randomized Numerical Linear Algebra (RandNLA) is an area…
In this paper, in continuation of our work, on the determinants of cubic -matrix of order 2 and order 3, we have analyzed the possibilities of developing the concept of determinant of cubic-matrix with three indexes, studying the…
A calcular algebra is a subalgebra of $H^\infty(\Omega)$ with norm given by $\| \phi \| = \sup \| \phi(T) \|$ as $T$ ranges over a given class of commutative $d$-tuples of operators with Taylor spectrum in $\O$. We discuss what algebras…
We extend Hadamard's Lemma to the setting of a separable Hilbert space.
We introduce a notion of elliptic differential graded Lie algebra. The class of elliptic algebras contains such examples as the algebra of differential forms with values in endomorphisms of a flat vector bundle over a compact manifold, etc.…
We consider a general problem of the calculus of variations on time scales with a cost functional that is the composition of a certain scalar function with delta and nabla integrals of a vector valued field. Euler-Lagrange delta-nabla…
`Umbral calculus' deals with representations of the canonical commutation relations. We present a short exposition of it and discuss how this calculus can be used to discretize continuum models and to construct representations of Lie…
We apply methods of nonstandard mathematics in order to regard analytic geometry in a very different way. For example, complex spaces are seen to be the "standard part" of certain algebraic nonstandard schemes. We construct a category of…
It is conjectured that the size scaling of the nearest level spacing in the critical spectral region, $S(N)\propto N^{-\lambda}$, remains qualitatively the same within phases of extended and critical states. The exponent $\lambda$ is…
We classify $n$-representation infinite algebras $\Lambda$ of type \~A. This type is defined by requiring that $\Lambda$ has higher preprojective algebra $\Pi_{n+1}(\Lambda) \simeq k[x_1, \ldots, x_{n+1}] \ast G$, where $G \leq…
For an arbitrary infinite cardinal $\kappa$, we define classes of coordinatewise $\kappa$-slender and tailwise $\kappa$-slender modules as well as related classes of $h\kappa$-modules and initiate a study of these classes.
We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike $\lambda$-calculus, the syntax of this calculus sticks closely to the syntax of proofs, in particular, no names…
For any skew symmetric matrix over complex numbers, we introduce an EALA and it is called Skew Symmetric Extended Affine Lie Algebra (SSEALA). This way we get a large class of EALAs and most often they are non-isomorphic. In this paper we…
Interactive behaviors are ubiquitous in modern cryptography, but are also present in $\lambda$-calculi, in the form of higher-order constructions. Traditionally, however, typed $\lambda$-calculi simply do not fit well into cryptography,…