455 research outputs found
Disjointness for measurably distal group actions and applications
We generalize Berg's notion of quasi-disjointness to actions of countable
groups and prove that every measurably distal system is quasi-disjoint from
every measure preserving system. As a corollary we obtain easy to check
necessary and sufficient conditions for two systems to be disjoint, provided
one of them is measurably distal. We also obtain a Wiener--Wintner type theorem
for countable amenable groups with distal weights and applications to weighted
multiple ergodic averages and multiple recurrence.Comment: 28 page
Joining primeness and disjointness from infinitely divisible systems
We show that ergodic dynamical systems generated by infinitely divisible
stationary processes are disjoint in the sense of Furstenberg with distally
simple systems and systems whose maximal spectral type is singular with respect
to the convolution of any two continuous measures.Comment: 15 page
Disjointness properties for Cartesian products of weakly mixing systems
For we consider the class JP() of dynamical systems whose every
ergodic joining with a Cartesian product of weakly mixing automorphisms
() can be represented as the independent extension of a joining of the
system with only coordinate factors. For we show that, whenever
the maximal spectral type of a weakly mixing automorphism is singular with
respect to the convolution of any continuous measures, i.e. has the
so-called convolution singularity property of order , then belongs to
JP(). To provide examples of such automorphisms, we exploit spectral
simplicity on symmetric Fock spaces. This also allows us to show that for any
the class JP() is essentially larger than JP(). Moreover, we
show that all members of JP() are disjoint from ergodic automorphisms
generated by infinitely divisible stationary processes.Comment: 24 pages, corrected versio
M\"obius disjointness for models of an ergodic system and beyond
Given a topological dynamical system and an arithmetic function
, we study the strong MOMO
property (relatively to ) which is a strong version of
-disjointness with all observable sequences in . It is
proved that, given an ergodic measure-preserving system
, the strong MOMO property (relatively to
) of a uniquely ergodic model of yields all other
uniquely ergodic models of to be -disjoint. It follows that
all uniquely ergodic models of: ergodic unipotent diffeomorphisms on
nilmanifolds, discrete spectrum automorphisms, systems given by some
substitutions of constant length (including the classical Thue-Morse and
Rudin-Shapiro substitutions), systems determined by Kakutani sequences are
M\"obius (and Liouville) disjoint. The validity of Sarnak's conjecture implies
the strong MOMO property relatively to in all zero entropy
systems, in particular, it makes -disjointness uniform. The
absence of strong MOMO property in positive entropy systems is discussed and,
it is proved that, under the Chowla conjecture, a topological system has the
strong MOMO property relatively to the Liouville function if and only if its
topological entropy is zero.Comment: 35 page
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Structured reversible flowchart languages is a class of imperative reversible
programming languages allowing for a simple diagrammatic representation of
control flow built from a limited set of control flow structures. This class
includes the reversible programming language Janus (without recursion), as well
as more recently developed reversible programming languages such as R-CORE and
R-WHILE.
In the present paper, we develop a categorical foundation for this class of
languages based on inverse categories with joins. We generalize the notion of
extensivity of restriction categories to one that may be accommodated by
inverse categories, and use the resulting decisions to give a reversible
representation of predicates and assertions. This leads to a categorical
semantics for structured reversible flowcharts, which we show to be
computationally sound and adequate, as well as equationally fully abstract with
respect to the operational semantics under certain conditions
General Covariance in Algebraic Quantum Field Theory
In this review we report on how the problem of general covariance is treated
within the algebraic approach to quantum field theory by use of concepts from
category theory. Some new results on net cohomology and superselection
structure attained in this framework are included.Comment: 61 pages, 3 figures, LaTe
- âŠ