Related papers: Normalizing the Taylor expansion of non-determinis…
We consider combinatorial aspects of $\lambda$-terms in the model based on de Bruijn indices where each building constructor is of size one. Surprisingly, the counting sequence for $\lambda$-terms corresponds also to two families of binary…
$\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…
We carry out the complete group classification of the class of (1+1)-dimensional linear Schr\"odinger equations with complex-valued potentials. After introducing the notion of uniformly semi-normalized classes of differential equations, we…
For $0<r<1$, let us consider the following annulus: \[ \mathbb A_r= \{ z\in \mathbb C\, : \, r<|z|<1 \}. \] A Hilbert space operator $T$ for which $\overline{\mathbb A}_r$ is a spectral set is called an $\mathbb A_r$-\textit{contraction}.…
We consider a product of $2 \times 2$ random matrices which appears in the physics literature in the analysis of some 1D disordered models. These matrices depend on a parameter $\epsilon >0$ and on a positive random variable $Z$. Derrida…
In a previous work ("Abstract Data Type Systems", TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed lambda-calculus enriched by pattern-matching…
Using the Hilbert-Schmidt theorem, we reformulate the R-matrix theory in terms of a uniformly and absolutely convergent expansion. Term by term differentiation is possible with this expansion in the neighborhood of the surface. Methods for…
For any given spacetime the choice of time coordinate is undetermined. A particular choice is the absolute time associated with a preferred vector field. Using the absolute time Hamilton's equations are $- (\delta H_{c})/(\delta…
The Taylor expansion of thermodynamic observables at a finite baryon chemical potential $\mu_B$ is an oft-used method to circumvent the well-known sign problem of Lattice QCD. Owing to the associated difficulty and limitations of precision…
The $\lambda$-calculus is a handy formalism to specify the evaluation of higher-order programs. It is not very handy, however, when one interprets the specification as an execution mechanism, because terms can grow exponentially with the…
Computing partial differential equation (PDE) operators via nested backpropagation is expensive, yet popular, and severely restricts their utility for scientific machine learning. Recent advances, like the forward Laplacian and randomizing…
The exponential growth rate of non polynomially growing subgroups of $GL_d$ is conjectured to admit a uniform lower bound. This is known for non-amenable subgroups, while for amenable subgroups it is known to imply the Lehmer conjecture…
Tabular neural network (NN) has attracted remarkable attentions and its recent advances have gradually narrowed the performance gap with respect to tree-based models on many public datasets. While the mainstreams focus on calibrating NN to…
For a function of a type $ \left| \mathbf{r}_1{+}\ldots {+}\mathbf{r}_{_N} \right|^{-\nu} \in \mathbb{R} $ from the many-dimensional vectors $ \mathbf{r}_s $ in Euclidean space, the successive algebraic approach is the derivation of the…
A simple version for the extension of the Taylor theorem to the operator functions was found. The expansion was done with respect to a value given by a diagonal matrix for the non-commutative case, and the coefficients are given both by…
We present quantitative analysis of various (syntactic and behavioral) properties of random \lambda-terms. Our main results are that asymptotically all the terms are strongly normalizing and that any fixed closed term almost never appears…
A general method has been developed to solve the Schr\"odinger equation for an arbitrary derivative of the $\delta$-function potential in 1-d using cutoff regularization. The work treats both the relativistic and nonrelativistic cases. A…
Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the…
In this paper, under certain restrictions on linear factors of the denominator of a rational function of two variables, the leading term of the asymptotic expansion of the coefficients is found.
The previously developed renormalizable perturbative 1/N-expansion in higher dimensional scalar field theories is extended to gauge theories with fermions. It is based on the $1/N_f$-expansion and results in a logarithmically divergent…