Related papers: Iterations of V and the core model
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a…
We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.
Motivated by some recent results of F. P\'erez and R. R.G connecting test ideal of module closure operations and trace ideals, we investigate the test ideal restricted to principal ideals corresponding to a module closure operation of a…
A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive…
A topological dynamical system $(X,f)$ is said to be multi-transitive if for every $n\in\mathbb{N}$ the system $(X^{n}, f\times f^{2}\times \dotsb\times f^{n})$ is transitive. We introduce the concept of multi-transitivity with respect to a…
The modular decomposition of a graph is a canonical representation of its modules. Algorithms for computing the modular decomposition of directed and undirected graphs differ significantly, with the undirected case being simpler, and…
Eventually positive matrices are real matrices whose powers become and remain strictly positive. As such, eventually positive matrices are a fortiori matrix roots of positive matrices, which motivates us to study the matrix roots of…
We generalize the notion of a modified trace (or m-trace) to the setting of non-unimodular categories. M-traces are known to play an important role in low-dimensional topology and representation theory, as well as in studying the category…
Perturbations due to round-off errors in computer modeling are discontinuous and therefore one cannot use results like KAM theory about smooth perturbations of twist maps. We elaborate a special approximation scheme to construct two smooth…
The combinatorial interpretation of the persistence diagram as a M\"obius inversion was recently shown to be functorial. We employ this discovery to recast the Persistent Homology Transform of a geometric complex as a representation of a…
Graph maps that are homotopic to the identity and that permute the vertices are studied. Given a periodic point for such a map, a {\em rotation element} is defined in terms of the fundamental group. A number of results are proved about the…
The core of an ideal is the intersection of all its reductions. For large classes of ideals I we explicitly describe the core as a colon ideal of a power of a single reduction and a power of I.
It is often assumed that a warped galaxy can be modeled by a set of rings. This paper verifies numerically the validity of this assumption by the study of periodic orbits populating a heavy self-gravitating warped disk. The phase space…
We consider expansions of vectors by a general class of multidimensional continued fraction algorithms. If the expansion is eventually periodic, then we describe the possible structure of a matrix corresponding to the repetend, and use it…
Iteration is a programming operation that traditionally refers to visiting the elements of a data structure in sequence. However, modern programming systems such as Rust, Java, and C# generalise iteration far beyond the traditional use…
Sequential and terminal constraint feasibility of the model predictive control (MPC) play important roles in ensuring MPC control continuity. This study thus investigates these two properties theoretically using an MPC model for vehicle…
We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration…
A multidimensional basis of p-adic wavelets is constructed. The relation of the constructed basis to a system of coherent states (i.e. orbit of action) for some $p$-adic group of linear transformations is discussed. We show that the set of…
We consider the enumeration of tropical curves in M\"obius strips for two different lattice structures and relate them to the enumeration of curves in two rational ruled surfaces over a complex elliptic curve. Using this correspondence, we…
A $\textit{polygonal curve}$ is a collection of $m$ connected line segments specified as the linear interpolation of a list of points $\{p_0, p_1, \ldots, p_m\}$. These curves may be obtained by sampling points from an oriented curve in…