Related papers: Lambda Determinants
We prove that for any choice of parameters $k,t,\lambda$ the class of all finite ordered designs with parameters $k,t,\lambda$ is a Ramsey class.
We formulate and prove a general result in spirit of hypergraph removal lemma for measurable functions of several variables.
We derive an expression for the generalized Bernoulli numbers in terms of the Bernoulli numbers involving the (exponential) complete Bell polynomials.
We classify the Lie symmetries of variable coefficient Gardner equations (called also the combined KdV-mKdV equations). In contrast to the particular results presented in Molati and Ramollo (2012) we perform the exhaustive group…
We generalize Rothberger's theorem for regular lambda. We prove that the discrepancy between the pseudointersection number and the towering number is limited, under some reasobable assumption
We prove a transformation formula relating two determinants involving elliptic shifted factorials. Similar determinants have been applied to multiple elliptic hypergeometric series.
In the literature there are several determinant formulas for Schur functions: the Jacobi-Trudi formula, the dual Jacobi-Trudi formula, the Giambelli formula, the Lascoux-Pragacz formula, and the Hamel-Goulden formula, where the…
We use the exterior product of double forms to reformulate celebrated classical results of linear algebra about matrices and bilinear forms namely the Cayley-Hamilton theorem, Laplace expansion of the determinant, Newton identities and…
In a recent paper, Griffin, Ono and Warnaar present a framework for Rogers-Ramanujan type identities using Hall-Littlewood polynomials to arrive at expressions of the form \[\sum_{\lambda : \lambda_1 \leq m}…
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…
We prove a single sum formula for the linearization coefficients of the Bessel polynomials. In two special cases we show that our formula reduces indeed to Berg and Vignat's formulas in their proof of the positivity results about these…
We give an elementary proof of a Caratheodory-type result on the invertibility of a sum of matrices, due first to Facchini and Barioli. The proof yields a polynomial identity, expressing the determinant of a large sum of matrices in terms…
We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of…
The paper considers a linear matrix inequality (LMI) that depends on a parameter varying in a compact topological space. It turns out that if a strict LMI continuously depends on a parameter and is feasible for any value of that parameter,…
We show an invariance result for the L2-torsion of groups under uniform measure equivalence provided a measure-theoretic version of the determinant conjecture holds. The measure-theoretic determinant conjecture is discussed and, for…
Perhaps it is not completely superfluous to remind that Clauser-Horne factorability, introduced in [1], is only necessary when \lambda, the hidden variable (HV), is sufficiently deterministic: for {M_i} a set of possible measurements…
We present a highly simplified model of the dynamical structure of a disk galaxy where only two parmeters fully determine the solution, mass and angular momentum. We show through simple physical scalings that once the mass has been fixed,…
The object of this paper is to generalize a theorem on the binomial coefficient [4] to the case in an arithmetic progression. We will also give a slightly stronger result than Langevin's [2].
Coefficients in the expansions of the form $\partial P_{n}(\lambda;z)}/\partial\lambda=\sum_{k=0}^{n}a_{nk}(\lambda)P_{k}(\lambda;z)$, where $P_{n}(\lambda;z)$ is the $n$th classical (the generalized Laguerre, Gegenbauer or Jacobi)…
In this paper we give a criterion to prove boundedness results for several operators from $H^1((0,\infty),\gamma_\alpha)$ to $L^1((0,\infty),\gamma_\alpha)$ and also from $L^\infty((0,\infty),\gamma_\alpha)$ to…