Related papers: Lambda Determinants
In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the…
We show that the Generalized Vanishing Conjecture $$\forall_{m \ge 1} [\Lam^m f^m = 0] \Longrightarrow \forall_{m \gg 0} [\Lam^m (g f^m) = 0]$$ for a fixed differential operator $\Lam \in k[\partial]$ follows from a special case of it,…
The multiplication theorem for univariate Hermite polynomials $H_k(\lambda x)$ is well-known. In this paper we generalize this result to multivariate Hermite polynomials ${\rm H}_{\bf k}({\mathbf{\Lambda}}{\bf x};{\mathbf{\Sigma}})$, and…
We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using…
We present some lambda calculus with explicit substitutions and named variables. The characteristic feature of this calculus is as follows: renaming of bound variables when performing substitutions is done using special reductions and may…
We show that in the point process limit of the bulk eigenvalues of $\beta$-ensembles of random matrices, the probability of having no eigenvalue in a fixed interval of size $\lambda$ is given by \[\bigl(\…
In this note, we compute the explicit formula of the monodromy data for a generalized Lam\'{e} equation when its monodromy is reducible but not completely reducible. We also solve the corresponding Riemman-Hilbert problem.
In this paper we consider finite dimensional dynamical systems generated by a Lipschitz function. We prove a version of the Whitney's Extension Theorem on compact manifolds to obtain a version of the well-known Lambda Lemma for Lipschitz…
In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials of a given degree and exhibit explicit decompositions into…
Let A be a quasi-finite R-algebra (i.e., a direct limit of module finite algebras) with identity. Let I_i, i=0,...,m, be two-sided ideals of A, \GL_n(A,I_i) the principal congruence subgroup of level I_i in GL_n(A) and E_n(A,I_i) be the…
We present a general formula for the Atiyah-Sutcliffe determinant function, which holds for any integer $n \geq 2$, as a global factor times a sum of terms, with each term similar to a higher degree cross-ratio. The formula is to our…
We study the question of whether for each n there is another integer m with lambda(m)=lambda(n), where lambda is Carmichael's function. We give a "near" proof of the fact that this is the case unconditionally, and a complete conditional…
After having shown that the formula which describes the Doppler effect in the general case holds only in the case of the "very high" frequency assumption, we derive free of assumptions Doppler formulas for two scenarios presented in the…
We offer a conjecture on sharp estimation of a definite improper integral depend on a parameter $\lambda \in (0,+\infty)$ by means of given estimate of other definite integral depend on parameters $t\in [0,+\infty)$ and $\lambda$. Such…
Recently the Hamilton-Jacobi formulation for first order constrained systems has been developed. In such formalism the equations of motion are written as total differential equations in many variables. We generalize the Hamilton-Jacobi…
Recently, by the Riordan's identity related to tree enumerations, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}(k+1)!(n+1)^{n-k} &=& (n+1)^{n+1}, \end{eqnarray*} Sun and Xu derived another analogous one, \begin{eqnarray*}…
We prove the differentiability of $\beta $ of Mather function on all homology classes corresponding to rotation vectors of measures whose supports are contained in a Lipschitz Lagrangian absorbing graph, invariant by Tonelli Hamiltonians.…
We study determinants of matrices whose entries are powers of Fibonacci numbers. We then extend the results to include entries that are powers of generalized Fibonacci numbers defined as a second-order linear recurrence relation. These…
We give a further extension and generalization of Dedekind's theorem over those presented by Yamaguchi. In addition, we give two corollaries on irreducible representations of finite groups and a conjugation of the group algebra of the…
Recently, Glasner, Tsankov, Weiss, and Zucker showed that if $\Gamma$ is an infinite discrete group, then every minimal $\Gamma$-flow is disjoint from the Bernoulli shift $2^\Gamma$. Their proof is somewhat involved; in particular, it…