Related papers: Generalizations of the Recursion Theorem
In 2000, Kadell gave an orthogonality conjecture for a symmetric function generalization of the $q$-Dyson constant term identity or the Zeilberger--Bressoud $q$-Dyson theorem. The non-zero part of Kadell's orthogonality conjecture is a…
We prove that every degree-g polynomial in the $\psi$-classes on $\overline{\mathcal M}_{g, n}$ can be expressed as a sum of tautological classes supported on the boundary with no $\kappa$-classes. Such equations, which we refer to as…
We review the theory of renormalization, including perturbative renormalization, regularized functional integrals, Renormalization Group and rigorous renormalization.
The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to $\Pi^1_1$-comprehension, over $\mathsf{RCA_0}$ with the chain…
We provide primitive recursive bounds for the finite version of Gowers' $c_0$ theorem for both the positive and the general case. We also provide multidimensional versions of these results.
Lately there has been a lot of discussion about why deep learning algorithms perform better than we would theoretically suspect. To get insight into this question, it helps to improve our understanding of how learning works. We explore the…
In this article, we propose two classes of relative information measures based on extropy, viz., the generalized extropy similarity ratio (GESR) and generalized extropy divergence ratio (GEDR), that measure the similarity and discrepancy…
Residual connections significantly boost the performance of deep neural networks. However, there are few theoretical results that address the influence of residuals on the hypothesis complexity and the generalization ability of deep neural…
This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the…
A new necessary separability criterion that relates the structures of the total density matrix and its reductions is given. The method used is based on the realignment method [K. Chen and L.A. Wu, Quant. Inf. Comput. 3, 193 (2003)]. The new…
In this paper, we give a new characterization of generalized Browder's theorem by considering equality between the generalized Drazin-meromorphic Weyl spectrum and the generalized Drazin-meromorphic spectrum. Also, we generalize Cline's…
We formulate and discuss two conjectures concerning recursive formulae for Branson's $Q$-curvatures. The proposed formulae describe all $Q$-curvatures on manifolds of all even dimensions in terms of respective lower order $Q$-curvatures and…
A sequence of generalizations of Cartan's conservation of torsion theorem is given for n-dimensional differentiable manifolds having a general linear connection.
Assume that there is a set of monic polynomials $P_n(z)$ satisfying the second-order difference equation $$ A(s) P_n(z(s+1)) + B(s) P_n(z(s)) + C(s) P_n(z(s-1)) = \lambda_n P_n(z(s)), n=0,1,2,..., N$$ where $z(s), A(s), B(s), C(s)$ are some…
A theory of recursive definitions has been mechanized in Isabelle's Zermelo-Fraenkel (ZF) set theory. The objective is to support the formalization of particular recursive definitions for use in verification, semantics proofs and other…
We prove that every congruence distributive variety has directed J\'{o}nsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original…
We show that generalizations of general relativity theory, which consist in replacing the Hilbert Lagrangian $L_{Hilbert} = \frac 1{16\pi} \sqrt{|g|} R$ by a generic scalar density $L=L(g_{\mu\nu}, R^\lambda_{\mu\nu\kappa})$ depending upon…
This paper discusses various theorems on the approximation capabilities of neural networks (NNs), which are known as universal approximation theorems (UATs). The paper gives a systematic overview of UATs starting from the preliminary…
We prove a uniform extension of the Wiener-Wintner theorem for nilsequences due to Host and Kra and a nilsequence extension of the topological Wiener-Wintner theorem due to Assani. Our argument is based on (vertical) Fourier analysis and a…
Reconstruction theorems tackle the problem of building a global distribution on $\mathbb{R}^d$ or on a manifold, given a sufficiently coherent family of local approximations, see [M.Hairer, Invent. Math. 198 (2014), no. 2,269--504],…