Related papers: On inverse Goodstein sequences

Inspired by Leivant's work on absolute predicativism, Bellantoni and Cook in 1992 introduced a structurally restricted form of recursion called predicative recursion. Using this recursion scheme on the inductive structures of natural…

Hochster's theta invariant is defined for a pair of finitely generated modules on a hypersurface ring having only an isolated singularity. Up to a sign, it agrees with the Euler invariant of a pair of matrix factorizations. Working over the…

We give an equivalent condition for the existence of invariant Gibbs measures for sequences of continuous functions on one-sided subshifts and, more generally, for the existence of Gibbs measures. These extend the results of Kim [6] and…

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point…

In this paper, we obtain almost sure invariance principles with rate of order $n^{1/p}\log^\beta n$, $2< p\le 4$, for sums associated to a sequence of reverse martingale differences. Then, we apply those results to obtain similar…

We prove a first inverse theorem for Gowers norms on all finite abelian groups that uses only nilmanifolds (rather than possibly more general nilspaces). This makes progress toward confirming the Jamneshan--Tao conjecture. The correlating…

Continuing the study of Hamiltonian pseudo-rotations of projective spaces, we focus on the conjecture that the fixed-point data set (the actions and the linearized flows at one-periodic orbits) of a pseudo-rotation exactly matches that data…

In this paper, we propose and analyze a third-order dynamical system for solving a generalized inverse mixed variational inequality problem in a Hilbert space H. We establish the existence and uniqueness of the trajectories generated by the…

The main result of this article is the fact that the currents defined by Levin give a description of the polylogarithm of an abelian scheme at the topological level. This result was a conjecture of Levin. This provides a method to explicit…

In this paper, we consider a two-parameter ($l$ and $a$) generalization of a sequence that Glasby and Paseman considered. Based on computer experiments, we conjecture its unimodality, log-concavity, peak positions, and the asymptotic…

We obtain new results on the existence and multiplicity of fixed points of Hammerstein equations in very general cones. In order to achieve this, we combine a new formulation of cones in terms of continuous functionals with fixed point…

We revisit the order $\varepsilon$ dilatation operator of the Wilson-Fisher fixed point obtained by Kehrein, Pismak, and Wegner in light of recent results in conformal field theory. Our approach is algebraic and based only on symmetry…

We give a geometric proof of inverse Hamiltonian reduction for all finite W-algebras in type $A$, a certain embedding of the finite W-algebra corresponding to an arbitrary nilpotent in $\mathfrak{gl}_N$ into that corresponding to a larger…

We determine the unipotent orbits attached to degenerate Eisenstein series on general linear groups. This confirms a conjecture of David Ginzburg. This also shows that any unipotent orbit of general linear groups does occur as the unipotent…

Motivated by the randomized version of the classical Bolzano--Weierstrass theorem, in this paper we first introduce the notion of a random sequentially compact set in a random normed module and develop the related theory systematically.…

The main aim of this paper is to solve an inverse source problem for a general nonlinear hyperbolic equation. Combining the quasi-reversibility method and a suitable Carleman weight function, we define a map of which fixed point is the…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

In this paper, we consider the problem of guessing a sequence subject to a distortion constraint. Specifically, we assume the following game between Alice and Bob: Alice has a sequence $\bx$ of length $n$. Bob wishes to guess $\bx$, yet he…

Let $(G, 1_G)$ be a finite group and let $S=g_1\bdot \ldots\bdot g_{\ell}$ be a nonempty sequence over $G$. We say $S$ is a tiny product-one sequence if its terms can be ordered such that their product equals $1_G$ and…

This paper is the third part of the series "Spherical higher order Fourier analysis over finite fields", aiming to develop the higher order Fourier analysis method along spheres over finite fields, and to solve the geometric Ramsey…