We study the sofic tree shifts of A ∗ , where Σ∗ is a regular rooted tree of finite rank. In particular, we give their characterization in terms of unrestricted Rabin automata. We show that if X ⊂ A ∗ is a sofic tree shift, then the configurations in X whose orbit under the shift action is finite are dense in X , and, as a consequence of this, we deduce that every injective cellular automata τ ...

A main theme of the paper is a conjecture of Bloch-Kato on the image of padic regulator maps for a proper smooth variety X over an algebraic number field k. The conjecture for a regulator map of particular degree and weight is related to finiteness of two arithmetic objects: One is the p-primary torsion part of the Chow group in codimension 2 of X . Another is an unramified cohomology group of ...

We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the quantifier-free fragment, based on an encoding into the first-order theory of concatenation; the procedure has PSPACE complexity. The quantifier-free fragment o...

Abstract We prove a radial maximal function characterisation of the local atomic Hardy space $${{\mathfrak {h}}}^1(M)$$ h 1 ( M ) on Riemannian manifold M with positive injectivity radius and Ricc...

The following investigation deals with injectivity results for general diffeomorphisms as well as for Haar’s transformation. We apply these results to adjoint variational problems introduced by Haar [6]. In particular, we prove a generalization of Krust’s theorem for two-dimensional adjoint extremals. AMS Classification Code: 26B10, 49B, 49L, 53A05, 53A10, 70G, 70H

At the morphism level, exponentiability implies the existence of certain injective hulls. We prove a converse statement, thus showing an intimate link between the concepts given by the title.