Related papers: An inhomogeneous Lambda-determinant
$C_\infty$ Algebras and their morphisms are a framework in which one can study algebras and their maps that are not commutaive-associative but are homotopic to being that. In statistics cumulants measure the independence of random…
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
We calculate Lorentz-invariant and gauge-invariant quantities characterizing the product $\sum_a D_R(T^a) F^a_{\mu\nu}$, where $D_R(T^a)$ denotes the matrix for the generator $T^a$ in the representation $R=$ fundamental and adjoint, for…
We introduce a generalization of immanants of matrices, using partition algebra characters in place of symmetric group characters. We prove that our immanant-like function on square matrices, which we refer to as the recombinant, agrees…
Structural properties of large random maps and lambda-terms may be gleaned by studying the limit distributions of various parameters of interest. In our work we focus on restricted classes of maps and their counterparts in the…
In 2005, Abramsky introduced various linear/affine combinatory algebras of partial involutions over a suitable formal language, to discuss reversible computation in a game-theoretic setting. These algebras arise as instances of the general…
Recent developments have found unexpected connections between non-commutative probability theory and algebraic topology. In particular, Boolean cumulants functionals seem to be important for describing morphisms of homotopy operadic…
Quantum systems with real energies generated by an apparently non-Hermitian Hamiltonian may re-acquire the consistent probabilistic interpretation via an ad hoc metric which specifies the set of observables in the updated Hilbert space of…
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of…
We introduce a generalization of bivariate Griffiths polynomials depending on an additional parameter $\lambda$. These $\lambda$-Griffiths polynomials are bivariate, bispectral and biorthogonal. For two specific values of the parameter…
We generalise well-known integrals of Ingham-Siegel and Fisher-Hartwig type over the unitary group $U(N)$ with respect to Haar measure, for finite $N$ and including fixed external matrices. When depending only on the eigenvalues of the…
In this paper we extend the bump conjecture and a particular case of the separated bump conjecture with logarithmic bumps to iterated commutators $T_b^m$. Our results are new even for the first order commutator $T_b^1$. A new bump type…
In Diophantine approximation, inhomogeneous problems are linked with homogeneous ones by means of the so-called Transference Theorems. We revisit this classical topic by introducing new exponents of Diophantine approximation. We prove that…
Hamiltonian systems with a mixed phase space typically exhibit an algebraic decay of correlations and of Poincare' recurrences, with numerical experiments over finite times showing system-dependent power-law exponents. We conjecture the…
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value lambda-calculus can simulate each other within a polynomial…
Let $f=(f_1,\ldots,f_n)$ be a system of $n$ complex homogeneous polynomials in $n$ variables of degree $d$. We call $\lambda\in\mathbb{C}$ an eigenvalue of $f$ if there exists $v\in\mathbb{C}^n\backslash\{0\}$ with $f(v)=\lambda v$,…
For every finite-to-one map $\lambda:\Gamma\to\Gamma$ and for every abelian group $K$, the generalized shift $\sigma_\lambda$ of the direct sum $\bigoplus_\Gamma K$ is the endomorphism defined by…
Clustering high-dimensional data often requires some form of dimensionality reduction, where clustered variables are separated from "noise-looking" variables. We cast this problem as finding a low-dimensional projection of the data which is…
Establishing the convergence of splines can be cast as a variational problem which is amenable to a $\Gamma$-convergence approach. We consider the case in which the regularization coefficient scales with the number of observations, $n$, as…
We consider polynomials of the form $\operatorname{s}_\lambda(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $\lambda$ is an integer partition, $\operatorname{s}_\lambda$ is the Schur polynomial associated to $\lambda$, and…