The dynamical zeta function for commuting automorphisms of zero-dimensional groups

The Kac-Baker model describes a 1-dim. classical lattice spin system with exponentially fast decaying two body interaction. The model was introduced by M. Kac and G. Baker to investigate the phenomenon of phase transition in systems with weak long-range interactions like van der Waals gas. Ruelle's dynamical zeta function for this model can be expressed in terms of Fredholm determinants of two transfer operators and hence is a meromorphic function. One of the two operators, found by M. Kac, is an integral operator with symmetric kernel acting in the Hilbert space of square integrable functions on the line. The other one is Ruelle's transfer operator acting in some Banach space of holomorphic observables of the system. In this paper we show how the Kac operator can be explicitly related basically through the Segal-Bargmann transform to the Ruelle operator restricted to a certain Segal-Bargmann space of entire functions in the complex plane. This allows us to show that Ruelle's zeta function for the Kac-Baker model has infinitely many non-trivial zeros on the real axis. In a special case we can show the existence of also infinitely many trivial zeros on the line Re s = ln 2 in the complex s-plane. Hence some kind of Riemann hypothesis seems to hold for this dynamical zeta function.

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 with variable negative curvature. Applying results from dynamics on these spaces, we obtain optimal meromorphic extensions of weighted dynamical Zeta functions and asymptotic counting estimates for the number of weighted closed geodesics. A meromorphic extension of the standard dynamical Zeta function and the prime orbit theorem follow as corollaries. Finally, we investigate interactions between the dynamics and spectral theory of these spaces.

It is shown that the condition\(\omega \equiv \{ \omega _n \} _0^\infty \searrow 0\) is a criterion of modulus of continuity in the spaces C(G), L(G), and L2(G) of functions defined on a zero-dimensional compact Abelian group G.

We define a category containing the discrete quantum groups (and hence the discrete groups and the duals of compact groups) and the compact quantum groups (and hence the compact groups and the duals of discrete groups). The dual of an object can be defined within the same category and we have a biduality theorem. This theory extends the duality between compact quantum groups and discrete quantum groups (and hence the one between compact abelian groups and discrete abelian groups). The objects in our category are multiplier Hopf algebras, with invertible antipode, admitting invariant functionals (integrals), satisfying some extra condition (to take care of the non-abelianness of the underlying algebras). If we start with a multiplier Hopf ∗-algebra with positive invariant functionals, then also the dual is a multiplier Hopf ∗-algebra with positive invariant functionals. This makes it possible to formulate this duality also within the framework of C∗-algebras.

We study Pontryagin reflexivity in the class of precompact topological Abelian groups. We find reflexive groups among precompact not pseudocompact and among pseudocompact not compact groups. Making use of Martin's axiom we give an example of a reflexive countably compact not compact Abelian group. We also prove that every pseudocompact Abelian group is a quotient of a reflexive pseudocompact group with respect to a closed reflexive pseudocompact subgroup.

We prove that the category M of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category A of abelian Polish groups in the sense of Beilinson–Bernstein–Deligne and Schneiders. Thus, M is an abelian category containing A as a full subcategory such that the inclusion functor A→M is exact and finitely continuous. Furthermore, M is uniquely characterized up to equivalence by the following universal property: for every abelian category B, a functor A→B is exact and finitely continuous if and only if it extends to an exact and finitely continuous functor M→B. In particular, this provides a description of the left heart of A as a concrete category.We provide similar descriptions of the left heart of a number of categories of algebraic structures endowed with a topology, including: non-Archimedean abelian Polish groups; locally compact abelian Polish groups; totally disconnected locally compact abelian Polish groups; Polish R-modules, for a given Polish group or Polish ring R; and separable Banach spaces and separable Fréchet spaces over a separable complete non-Archimedean valued field.

We study homoclinic points of non-expansive automorphisms of compact abelian groups. Connections between the existence of non-trivial homoclinic points, expansiveness, entropy and adjoint automorphisms (in the sense of Einsiedler and Schmidt) are explored. Some implications for countable abelian group actions by automorphisms of compact abelian groups are also considered and it is shown that if every element of such an action has finite entropy, there can be no non-trivial common homoclinic points, unless the action is generated by a single automorphism.

In Pontrjagin's theory of duality for compact abelian groups, the following theorem is known : Let G be a compact abelian group, G* the dual group. Then the topological dimension of G, in the sense of Lebesgue, is equal to the rank of discrete abelian group G*. It was Prof. T. Tannaka who has called my attention to the lack of corresponding theorem in non-commutative case. I intend to give, in this note, a theorem of this kind in the following form: THEOREM A. Let G be an arbitrary compact group, G the aggregate of continuous finite dimensional representstions of G, C[ G ] the algebra over the complex numbers C generated by the coefficients of representations in G, i.e., the representative ring of G in the sense of C. Chevalley^. Then the topological dimension of G, in the sense of Lebesgue, is equal to the transcendental degree of C[G] over C.

Given a locally compact group G, G L U C is the largest semigroup compactification of G and G * = G L U C ∖ G . We show that (i) for every locally compact compactly generated Abelian group G and for every p , q ∈ G * , the multiplication in G L U C is discontinuous at ( p , q ) , (ii) there is a locally compact σ-compact torsion-free Abelian group G for which, assuming Martin's Axiom, there are p , q ∈ G * such that the multiplication in G L U C is continuous at ( p , q ) , and (iii) it is consistent with ZFC that for every locally compact Abelian group G and for every p , q ∈ G * , the left translation by p in G * is discontinuous at q.

Maximally localized Gabor orthonormal bases on locally compact Abelian groups

Given a compact group G and r ∈ N, let sr(G) denote the least upper bound of real ϵ > 0 such that for every measurable r-coloring of G, there exists a monochrome symmetric subset of measure ≥ ϵ. A subset A ⊆ G is symmetric if there exists g ∈ G such that gA −1 g = A. We give a general picture of asymptotic behaviour of the function sr(G) for compact Abelian groups.

<!-- *** Custom HTML *** --> Actions of $\mathbb Z^d$ by automorphisms of compact zero-dimensional groups exhibit a range of mixing behaviour. Schmidt introduced the notion of mixing shapes for these systems, and proved that non-mixing shapes can only arise non-trivially for actions on zero-dimensional groups. Masser has shown that the failure of higher-order mixing is always witnessed by non-mixing shapes. Here we show how valuations can be used to understand the (non-)mixing behaviour of a certain family of examples. The sharpest information arises for systems corresponding to tight polyhedra.

Analytic continuation of the resolvent of the Laplacian and the dynamical zeta function

Bogomolny's transfer operator method plays a significant role in the study of quantum chaos, along with other well known methods like Gutzwiller's trace formula and the dynamical zeta function, which generalize the Einstein-Brillouin-Keller quantization rule from integrable systems to chaotic systems. According to the theory, the Fredholm determinant of the transfer operator, defined on a Poincaré section of a classical physical system, provides a quantization condition to the energy spectrum of the corresponding quantum system. This study presents two factorization formulas, which relate different quantization conditions defined on different classical trajectory segments. These explicit relations answer the question of why all these classical quantization conditions determine exactly the same energy spectrum of the corresponding quantum systems. As an example, these formulas are illustrated in the equilateral triangular billiard.

We show an equality between the analytic torsion and the absolute value at zero of the Ruelle dynamical zeta function on a closed odd dimensional locally symmetric space twisted by an acyclic flat vector bundle obtained by the restriction of a representation of the underlying Lie group. This generalises author’s previous result for unitarily flat vector bundles, and the results of Bröcker, Müller, and Wotzke on closed hyperbolic manifolds.