Related papers: General removal lemma
We prove formulas for generalized rank deviations for overpartitions. These formulas are in terms of Appell-Lerch series and sums of quotients of theta functions and extend work of Lovejoy and the second author. As an application, we…
Hypergraphs are structures that can be decomposed or described; in other words they are recursively countable. Here, we get exact and asymptotic enumeration results on hypergraphs by means of exponential generating functions. The number of…
For given depth of a we derive a formula for the depth of the image of that term under a given hypersubstitution.
We prove a version of the moving particle lemma for the exclusion process on any finite weighted graph, based on the octopus inequality of Caputo, Liggett, and Richthammer. In light of their proof of Aldous' spectral gap conjecture, we…
Removing information from a machine learning model is a non-trivial task that requires to partially revert the training process. This task is unavoidable when sensitive data, such as credit card numbers or passwords, accidentally enter the…
In this paper, we derive the quadratic formula as a consequence of constructively proving the existence of standard and factored forms for general form real quadratic functions. Emphasis is put on connections to graphing of corresponding…
In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…
We show that the notion of generalized Lenard chains naturally allows formulation of the theory of multi-separable and superintegrable systems in the context of bi-Hamiltonian geometry. We prove that the existence of generalized Lenard…
We consider the derivatives of Horn hypergeometric functions of any number variables with respect to their parameters. The derivative of the function in $n$ variables is expressed as a Horn hypergeometric series of $n+1$ infinite summations…
The main object of this work is to show how some rather elementary techniques based upon certain inverse pairs of symbolic operators would lead us easily to several decomposition formulas associated with confluent hypergeometric functions…
Some quantitative results obtained by proof mining take the form of Herbrand disjunctions that may depend on additional parameters. We attempt to elucidate this fact through an extension to first-order arithmetic of the proof of Herbrand's…
We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…
We consider the ratio of two Gauss hypergeometric functions with real parameters shifted by arbitrary integers. We find a formula for the jump of this ratio over the branch cut in terms of a real hypergeometric polynomial, the beta density…
In this work, generalized hypergeometric functions for bicomplex argument is introduced and its convergence criteria is derived. Furthermore, integral representation of this function has been established. Moreover, quadratic transformation,…
In this paper hypergraph Lambek calculus ($\mathrm{HL}$) is presented. This formalism aims to generalize the Lambek calculus ($\mathrm{L}$) to hypergraphs as hyperedge replacement grammars extend context-free grammars. In contrast to the…
The theoretical computing of special values assumed by the hypergeometric functions has a high interest not only on its own, but also in sight of the remarkable implications to both pure Mathematics and Mathematical Physics. Accordingly, in…
We provide an observability inequality in terms of a measurable set for general Gevrey regular functions. As an application, we establish an observability estimate from a measurable set for sums of Laplace eigenfunctions in a compact and…
Value of generalized hypergeometric function at a special point is calculated. More precisely, value of certain multiple integral over vanishing cycle (all arguments collapse to unity) is calculated. The answer is expressed in terms of…
In this paper we will give a proof of a certain summation formula for Gamma functions utilizing Gegenbauer polynomials.
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].