Related papers: $\lambda$-Scale, a lambda calculus for spaces with…
The present review is devoted to the problems of finite-size scaling due to the presence of long-range interaction decaying at large distance as $1/r^{d+\sigma}$, where $d$ is the spatial dimension and the long-range parameter $\sigma>0$.…
In this paper, we construct derived equivalences between matrix subrings. As applications, we calculate the global dimensions and the finitistic dimensions of some matrix subrings. And we show that the finitistic dimension conjecture holds…
A differential calculus on an associative algebra A is an algebraic analogue of the calculus of differential forms on a smooth manifold. It supplies A with a structure on which dynamics and field theory can be formulated to some extent in…
In a previous paper, we have given an algebraic model to the set of intervals. Here, we apply this model in a linear frame. We define a notion of diagonalization of square matrices whose coefficients are intervals. But in this case, with…
In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof…
$\lambda$-self-expanders $\Sigma$ in $\mathbb{R}^{n+1}$ are the solutions of the isoperimetric problem with respect to the same weighted area form as in the study of the self-expanders. In this paper, we mainly extend the results on…
If the result of an expensive computation is invalidated by a small change to the input, the old result should be updated incrementally instead of reexecuting the whole computation. We incrementalize programs through their derivative. A…
In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as…
In this paper, we study linear differential equations arising from $\lambda$- Changhee polynomials (or called degenerate Changhee polynomials) and give some explicit and new identities for the $\lambda$-Changhee polynomials associated with…
In this paper we provide an abstract model theory for the untyped differential lambda-calculus and the resource calculus. In particular we propose a general definition of model of these calculi, namely the notion of linear reflexive object…
We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps to a (non-functional) name-abstraction operation. The…
Scale transformations have played an extremely successful role in studies of cosmological large-scale structure by relating the non-linear spectrum of cosmological density fluctuations to the linear primordial power at longer wavelengths.…
We establish the $\#P$-hardness of computing a broad class of immanants, even when restricted to specific categories of matrices. Concretely, we prove that computing $\lambda$-immanants of $0$-$1$ matrices is $\#P$-hard whenever the…
Multidimensional scaling (MDS) is a popular technique for mapping a finite metric space into a low-dimensional Euclidean space in a way that best preserves pairwise distances. We overview the theory of classical MDS, along with its…
We introduce the definition of conformable derivative on time scales and develop its calculus. Fundamental properties of the conformable derivative and integral on time scales are proved. Linear conformable differential equations with…
A late time asymptotic perturbative analysis of curvature coupled complex scalar field models with accelerated cosmological expansion is carried out on the level of formal power series expansions. For this, algebraic analogues of the…
The paper deals with pretangent spaces to general metric spaces. An ltrametricity criterion for pretangent spaces is found and it is closely related to the metric betweenness in the pretangent spaces.
The bounded derived category of a finite dimensional algebra of finite global dimension is equivalent the stable category of $\mathbb{Z}$-graded modules over its trivial extension \cite{Happel}. In particular, given two derived equivalent…
We calculate a projective space of essential measured laminations in a surface pair, which will be used in another paper to help describe spaces of "finite height laminations."
In a quantum theory of gravity, the species scale $\Lambda_s$ can be defined as the scale at which corrections to the Einstein action become important or alternatively as codifying the "number of light degrees of freedom", due to the fact…