English
Related papers

Related papers: Generalizations of the Recursion Theorem

200 papers

We introduce a new notion of recursively generated enriched term which generalizes the one studied in joint work with Rosick\'y. These new terms come together with a notion of term-interpretability, which recovers the same type of…

Category Theory · Mathematics 2025-07-15 Giacomo Tendas

We explore the algebraic properties of a generalized version of the iterated-sums signature, inspired by previous work of F.~Kir\'aly and H.~Oberhauser. In particular, we show how to recover the character property of the associated linear…

Rings and Algebras · Mathematics 2023-07-17 Joscha Diehl , Kurusch Ebrahimi-Fard , Nikolas Tapia

This paper treats iterative solution methods to the generalized Lyapunov equation. Specifically it expands the existing theoretical justification for the alternating linear scheme (ALS) from the stable Lyapunov equation to the stable…

Numerical Analysis · Mathematics 2019-06-18 Tobias Breiten , Emil Ringh

In this paper, we extend Bourgain's double recurrence result to the Wiener-Wintner averages. Let $(X, \mathcal{F}, \mu, T)$ be a standard ergodic system. We will show that for any $f_1, f_2 \in L^\infty(X)$, the double recurrence…

Dynamical Systems · Mathematics 2014-04-30 Idris Assani , David Duncan , Ryo Moore

We consider a family $\{T_N:N \geq 1 \}$ of interval maps as generalizations of the Gauss transformation. For the continued fraction expansion arising from $T_N$, we solve its Gauss-Kuzmin-type problem by applying the theory of random…

Number Theory · Mathematics 2016-07-19 Dan Lascu

We give a short overview of the renormalization properties of rectangular Wilson loops, the Polyakov loop correlator and the cyclic Wilson loop. We then discuss how to renormalize loops with more than one intersection, using the simplest…

High Energy Physics - Theory · Physics 2015-06-18 Matthias Berwein , Nora Brambilla , Antonio Vairo

In this paper, we establish a refined transversality theorem on linear perturbations from a new perspective of Hausdorff measures. Furthermore, we give its applications not only to singularity theory but also to multiobjective optimization.

Optimization and Control · Mathematics 2023-04-13 Shunsuke Ichiki

In the framework of explicit substitutions there is two termination properties: preservation of strong normalization (PSN), and strong normalization (SN). Since there are not easily proved, only one of them is usually established (and…

Logic in Computer Science · Computer Science 2009-10-08 Emmanuel Polonowski

Regularization can mitigate the generalization gap between training and inference by introducing inductive bias. Existing works have already proposed various inductive biases from diverse perspectives. However, none of them explores…

Machine Learning · Computer Science 2022-11-02 Qiang Fu , Lun Du , Haitao Mao , Xu Chen , Wei Fang , Shi Han , Dongmei Zhang

We construct new sequence transformations based on Wynn's epsilon and rho algorithms. The recursions of the new algorithms include the recursions of Wynn's epsilon and rho algorithm and of Osada's generalized rho algorithm as special cases.…

Numerical Analysis · Mathematics 2019-03-26 Xiang-Ke Chang , Yi He , Xing-Biao Hu , Jian-Qing Sun , Ernst Joachim Weniger

A very short proof of Kneser's theorem via transversal is given.

Combinatorics · Mathematics 2021-09-16 Luis Montejano

We provide a new criterion for the existence of a global cross section to a volume-preserving Anosov flow. The criterion is expressed in terms of expansion and contraction rates of the flow and is more general than the previous results of…

Dynamical Systems · Mathematics 2015-06-24 Slobodan N. Simić

The general regularisation scheme, a versatile approach for nonparametric estimation, has been successfully applied to regression, density ratio, and score estimation. In this paper, we introduce a unified framework encompassing these…

Statistics Theory · Mathematics 2026-05-12 Gilles Germain

The general linear model is a universally accepted method to conduct and test multiple linear regression models. Using this model one has the ability to simultaneously regress covariates among different groups of data. Moreover, there are…

Methodology · Statistics 2024-10-15 Gavin T. Kress

We describe an Aldous--Hoover-type characterization of random relational structures that are exchangeable relative to a fixed structure which may have various equivalence relations. Our main theorem gives the common generalization of the…

Logic · Mathematics 2016-05-17 Harry Crane , Henry Towsner

A generalization of the dynamic regressor extension and mixing procedure is proposed, which, unlike the original procedure, first, guarantees a reduction of the unknown parameter identification error if the requirement of regressor…

Systems and Control · Electrical Eng. & Systems 2022-10-04 Anton Glushchenko , Konstantin Lastochkin

The second author studied arithmetic properties of a class of sequences that generalize the sequence of derangements. The aim of the following paper is to disprove two conjectures stated in \cite{miska}. The first conjecture regards the set…

Number Theory · Mathematics 2020-04-24 Eryk Lipka , Piotr Miska

We propose an alternative description of 2 dimensional Conformal Field Theory in terms of Quantum Inverse Scattering. It is based on the generalized KdV systems attached to $A_2^{(2)}$, yielding the classical limit of Virasoro as Poisson…

High Energy Physics - Theory · Physics 2009-10-28 Davide Fioravanti , Francesco Ravanini , Marian Stanishkov

In this ``experimental'' research, we use known topological recursion relations in genera-zero, -one, and -two to compute the n-point descendant Gromov-Witten invariants of P^1 for arbitrary degrees and low values of n. The results are…

High Energy Physics - Theory · Physics 2007-05-23 Jun S. Song

We reexamine the Riemann Rearrangement Theorem for different types of convergence. We consider series convergence with respect to a filter. We describe the Sum Range (SR) of a series along the 2n-filter and for statistically convergent…

Functional Analysis · Mathematics 2007-05-23 Yuriy Dybskiy , Konstantin Slutsky
‹ Prev 1 8 9 10 Next ›