Related papers: Effective zero-dimensionality for computable metri…
This work focuses on the problem of exact model reduction of positive linear systems, by leveraging minimal realization theory. While determining the existence of a positive reachable realization remains in general an open problem, we are…
We investigate aspects of the four-dimensional effective description of brane world scenarios based on warped compactification on anti-de Sitter space. The low-energy dynamics is described by visible matter gravitationally coupled to a…
In this note, we define a bounded variant on the Hilbert projective metric on an infinite dimensional space $E$ and study the contraction properties of the projective maps associated with positive linear operators on $E$. More precisely, we…
We find the minimal number of independent preparations and measurements certifying the dimension of a classical or quantum system limited to $d$ states, optionally reduced to the real subspace. As a dimension certificate, we use the linear…
Below, by space we mean a separable metrizable zero-dimensional space. It is studied when the space can be embedded in a Cantor set while maintaining the algebraic structure. Main results of the work: every space is an open retract of a…
The one-loop effective potential calculated for a generic model that originates from 5-dimensional theory reduced down to 4 dimensions is considered. The cut-off and dimensional regularization schemes are discussed and compared. It is…
We develop a linear-algebraic framework for dimensional analysis in systems with constraints, particularly when variables are numerous or related by implicit relations so that direct elimination is impractical. By expressing both…
Computability on uncountable sets has no standard formalization, unlike that on countable sets, which is given by Turing machines. Some of the approaches to define computability in these sets rely on order-theoretic structures to translate…
Motivated by the grid search method and Bayesian optimization, we introduce the concept of contractibility and its applications in model-based optimization. First, a basic framework of contraction methods is established to construct a…
We describe the supports of a class of real-valued maps on $C*(X)$ introduced by Radul. Using this description, a characterization of compact-valued retracts of a given space in terms of functional extenders is obtained. For example, if…
We give graphical rules, based on earlier work for the functional Schrodinger equation, for constructing the density matrix for scalar and gauge fields at finite temperature T. More useful is a dimensionally-reduced effective action (DREA)…
A major part of computability theory focuses on the analysis of a few structures of central importance. As a tool, the method of coding with first-order formulas has been applied with great success. For instance, in the c.e. Turing degrees,…
We define a class of computable functions over real numbers using functional schemes similar to the class of primitive and partial recursive functions defined by G\"odel and Kleene. We show that this class of functions can also be…
In this note, we study the dynamics and associated zeta functions of conformally compact manifolds with variable negative sectional curvatures. We begin with a discussion of a larger class of manifolds known as convex co-compact manifolds…
We assume that the noncommutativity starts to be visible continuously from a scale $\Lambda_{NC}$. According to this assumption, a two-loop effective action is derived for noncommutative $\phi^{4}$ and $\phi^{3}$ theories from a Wilsonian…
We derive and analyze the perturbation series for the classical effective action in quantum statistical mechanics, treated as a toy model for the dimensionally reduced effective action in quantum field theory at finite temperature. The…
Let $\mathbb T$ be the differential field of transseries. We establish some basic properties of the dimension of a definable subset of ${\mathbb T}^n$, also in relation to its codimension in the ambient space ${\mathbb T}^n$. The case of…
Compactness is one of the core notions of analysis: it connects local properties to global ones and makes limits well-behaved. We study the computational properties of the compactness of Cantor space $2^{\mathbb{N}}$ for uncountable covers.…
A new method of metric space investigation, based on classification of its finite subspaces, is suggested. It admits to derive information on metric space properties which is encoded in metric. The method describes geometry in terms of only…
This paper is an extended version of our work in \cite{Ca2025}. We extend the concept of effective reducibility between statements of set theory with ordinal Turing machines (OTMs) explored in \cite{Ca2018} for $\Pi_{2}$-statements to…