For a non-elementary subgroup of the mapping class group of a surface, we study its invariant Radon measures on the space of measured laminations, by classifying them on the recurrent measured laminations. In particular, given a divergence-type subgroup, we show the uniquely ergodic by explicitly constructing the ergodic measure. This generalizes Lindenstrauss--Mirzakhani's result and Hamenstädt's result for the full mapping class group, in which case the ergodic measure is the Thurston measure. As a special case, we deduce that for a convex cocompact subgroup, every invariant ergodic Radon measure on the space of all measured laminations is either the unique measure on recurrent measured laminations, or a counting measure on the orbit of a non-recurrent measured lamination. Our method is geometric and does not rely on continuous or homogeneous flows on the ambient space or a dynamical system associated with a finite measure space. This leads to a unifying approach for various metric spaces, including Teichmüller spaces and partially $\operatorname{CAT}(-1)$ spaces.
Quantum information processing is limited, in practice, to efficiently implementable operations. This motivates the study of quantum divergences that preserve their operational meaning while faithfully capturing these computational constraints. Using geometric, computational, and information theoretic tools, we define two new types of computational divergences, which we term computational max-divergence and computational measured Rényi divergences. Both are constrained by a family of efficient binary measurements, and thus useful for state discrimination tasks in the computational setting. We prove that, in the infinite-order limit, the computational measured Rényi divergence coincides with the computational max-divergence, mirroring the corresponding relation in the unconstrained information-theoretic setting. For the many-copy regime, we introduce regularized versions and establish a one-sided computational Stein bound on achievable hypothesis-testing exponents under efficient measurements, giving the regularized computational measured relative entropy an operational meaning. We further define resource measures induced by our computational divergences and prove an asymptotic cont
Since their introduction by Thurston, measured geodesic laminations on hyperbolic surfaces occur in many contexts. In this survey, we give a generalization of geodesic laminations on surfaces endowed with a half-translation structure, called flat laminations, and we define transverse measures on flat laminations similar to transverse measures on hyperbolic laminations, taking into account that the images of the leaves of a flat lamination are in general not pairwise disjoint. One aim is to construct a tool that could allow a fine description of the space of degenerations of half-translation structures on a surface. We define a topology on the set of measured flat laminations and a natural continuous projection of the space of measured flat laminations onto the space of measured hyperbolic laminations, for any arbitrary half-translation structure and hyperbolic metric on a surface. We prove in particular that the space of measured flat laminations is projectively compact. The main result of this survey is a classification theorem of (measured) flat laminations on a compact surface endowed with a half-translation structure. We also give an exposition of that every finite metric fat g
One possibility of defining a quantum Rényi $α$-divergence of two quantum states is to optimize the classical Rényi $α$-divergence of their post-measurement probability distributions over all possible measurements (measured Rényi divergence), and maybe regularize these quantities over multiple copies of the two states (regularized measured Rényi $α$-divergence). A key observation behind the theorem for the strong converse exponent of asymptotic binary quantum state discrimination is that the regularized measured Rényi $α$-divergence coincides with the sandwiched Rényi $α$-divergence when $α>1$. Moreover, it also follows from the same theorem that to achieve this, it is sufficient to consider $2$-outcome measurements (tests) for any number of copies (this is somewhat surprising, as achieving the measured Rényi $α$-divergence for $n$ copies might require a number of measurement outcomes that diverges in $n$, in general). In view of this, it seems natural to expect the same when $α<1$; however, we show that this is not the case. In fact, we show that even for commuting states (classical case) the regularized quantity attainable using $2$-outcome measurements is in general strict
Mimicking the von Neumann version of Kustermans and Vaes' locally compact quantum groups, Franck Lesieur had introduced a notion of measured quantum groupoid, in the setting of von Neumann algebras. In this article, we suppose that the basis of the measured quantum groupoid is central; in that case, we prove that a specific sub-${\bf C}^*$ algebra is invariant under all the data of the measured quantum groupoid; moreover, this sub-${\bf C}^*$-algebra is a continuous field of ${\bf C}^*$-algebras; when the basis is central in both the measured quantum groupoid and its dual, we get that the measured quantum groupoid is a continuous field of locally compact quantum groups. On the other hand, using this sub-${\bf C}^*$-algebra, we prove that any abelian measured quantum groupoid comes from a locally compact groupoid.
Franck Lesieur had introduced in his thesis (now published in an expended and revised version in the {\it Mémoires de la SMF} (2007)) a notion of measured quantum groupoid, in the setting of von Neumann algebras and a simplification of Lesieur's axioms is presented in an appendix of this article. We here develop the notions of actions, crossed-product, and obtain a biduality theorem, following what had been done by Stefaan Vaes for locally compact quantum groups. Moreover, we prove that the inclusion of the initial algebra into its crossed-product is depth 2, which gives a converse of a result proved by Jean-Michel Vallin and the author. More precisely, to any action of a measured quantum groupoid, we associate another measured quantum groupoid. In particular, starting from an action of a locally compact quantum group, we obtain a measured quantum groupoid canonically associated to this action; when the action is outer, this measured quantum groupoid is the initial locally compact quantum group
Since their introduction by Thurston, measured geodesic laminations on hyperbolic surfaces occur in many contexts. In [Mor], we have introduced a notion of flat laminations on surfaces endowed with a half-translation structure (that is a singular flat surface with holonomy {+/-Id}, similar to geodesic laminations on hyperbolic surfaces. Here is a sequel to this article that aims at defining transverse measures on flat laminations similar to transverse measures on hyperbolic laminations, taking into account that two different leaves of a flat lamination may no longer be disjoint. One aim of this paper is to construct a tool that could allow a fine description of the space of degenerations of half-translation structures on a surface. In this paper, we define a nicer topology than the Hausdorff topology on the set of measured flat laminations and a natural continuous projection of the space of measured flat laminations onto the space of measured hyperbolic laminations, for some arbitrary half-translation structure and hyperbolic metric on a surface. We prove in particular that the space of measured flat laminations is projectively compact.
In the author's Ph.D., a version of the tangential LS category for foliated spaces depending on a transverse invariant measure, called the measured category, was introduced. Unfortunately, the measured category vanishes easily. When it is zero, the rate of convergence to zero of the quantity involved in the definition, by taking arbitrarily large homotopies, gives a new invariant, called the secondary measured category. Several versions of classical results are proved for the secondary measured category. It is also shown that the secondary measured category is a transverse invariant related to the growth of (pseudo)groups. The equality between secondary category and the growth of a group is done in the case of free suspensions by Rohlin groups.
We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a measure class preserving action of a locally compact group $G$ on a standard Borel space is isomorphic to the continuous bounded cohomology of $G$ with twisted coefficients. We also prove the invariance of measurable bounded cohomology under similarity. As an application, we compare the bounded cohomology of (weakly) orbit equivalent actions and of measure equivalent groups. In this way we recover an isomorphism in bounded cohomology similar to one proved by Monod and Shalom. Other relevant consequences are related to the cohomological vanishing for actions of the Thompson group $F$, of higher rank lattices and of lattices in products of locally compact groups. We obtain a variant of the Eckmann-Shapiro isomorphism for transitive actions. In the case of a higher rank simple Lie group, we show that the cohomology of the action is actually determined by the usual cohomology of a suitable lattice. For amenable groupoids, we prove that the measurable b
Human exposure to mobile devices is traditionally measured by a system in which the human body (or head) is modelled by a phantom and the energy absorbed from the device is estimated based on the electric fields measured with a single probe. Such a system suffers from low efficiency due to repeated volumetric scanning within the phantom needed to capture the absorbed energy throughout the volume. To speed up the measurement, fast SAR (specific absorption rate) measuring systems have been developed. However, discrepancies of measured results are observed between traditional and fast measuring systems. In this paper, the discrepancies in terms of post-processing procedures after the measurement of electric field (or its amplitude) are investigated. Here, the concerned fast measuring system estimates SAR based on the reconstructed field of the region of interest while the amplitude and phase of electric field are measured on a single plane with a probe array. The numerical results presented indicate that the fast SAR measuring system has the potential to yield more accurate estimations than the traditional system, but no conclusion can be made on which kind of system is superior witho
In this article, we generalize to the case of measured quantum groupoids on a finite basis some important results concerning equivariant Kasparov theory for actions of locally compact quantum groups [S. Baaj and G. Skandalis, 1989, 1993]. To every pair $(A,B)$ of C*-algebras continuously acted upon by a regular measured quantum groupoid on a finite basis $\cal G$, we associate a $\cal G$-equivariant Kasparov theory group ${\sf KK}_{\cal G}(A,B)$. The Kasparov product generalizes to this setting. By applying recent results concerning actions of regular measured quantum groupoids on a finite basis [S. Baaj and J. C., 2015; J. C., 2017], we obtain two canonical homomorphisms $J_{\cal G}:{\sf KK}_{\cal G}(A,B)\rightarrow{\sf KK}_{\widehat{\cal G}}(A\rtimes{\cal G},B\rtimes{\cal G})$ and $J_{\widehat{\cal G}}:{\sf KK}_{\widehat{\cal G}}(A,B)\rightarrow{\sf KK}_{\cal G}(A\rtimes\widehat{\cal G},B\rtimes\widehat{\cal G})$ inverse of each other through the Morita equivalence coming from a version of the Takesaki-Takai duality theorem [S. Baaj and J. C., 2015; J. C., 2017]. We investigate in detail the case of colinking measured quantum groupoids. In particular, if $\mathbb{G}_1$ and $\math
Superconducting stiffness $ρ_s$ and coherence length $ξ$ are usually determined by measuring the penetration depth $λ$ of a magnetic field and the upper critical field $H_{c2}$ of a superconductor (SC), respectively. However, in magnetic SC, e.g. some of the iron-based, this could lead to erroneous results since the internal field could be very different from the applied one. To overcome this problem in Fe$_{1+y}$Se$_x$Te$_{1-x}$ with $x \sim 0.5$ and $y \sim 0$ (FST), we measure both quantities with the Stiffnessometer technique. In this technique, one applies a rotor-free vector potential $\textbf{A}$ to a superconducting ring and measures the current density $\textbf{j}$ via the ring's magnetic moment $\textbf{m}$. $ρ_s$ and $ξ$ are determined from London's equation $\textbf{j}=-ρ_s\textbf{A}$ and its range of validity. This method is particularly accurate at temperatures close to the critical temperature $T_c$. We find weaker $ρ_s$ and longer $ξ$ than existing literature reports, and critical exponents which agree better with expectations based on the Ginzburg-Landau theory.
By measured graphs we mean graphs endowed with a measure on the set of vertices. In this context, we explore the relations between the appropriate Cheeger constant and Poincaré inequalities. We prove that the so-called Cheeger inequality holds in two cases: when the measure comes from a random walk, or when the measure has a bounded measure ratio. Moreover, we also prove that our measured (asymptotic) expanders are generalised expanders introduced by Tessera. Finally, we present some examples to demonstrate relations and differences between classical expander graphs and the measured ones. The current paper is motivated primarily by our previous work on the rigidity problem for Roe algebras.
The experimentally measured spectral density of current noise in Josephson junctions provides direct evidence for the existence of zero-point fluctuations. Assuming that the total vacuum energy associated with these fluctuations cannot exceed the presently measured dark energy of the universe, we predict an upper cutoff frequency of nu_c=(1.69 +- 0.05) x 10^12 Hz for the measured frequency spectrum of zero-point fluctuations in the Josephson junction. The largest frequencies that have been reached in the experiments are of the same order of magnitude as nu_c and provide a lower bound on the dark energy density of the universe. It is shown that suppressed zero-point fluctuations above a given cutoff frequency can lead to 1/f noise. We propose an experiment which may help to measure some of the properties of dark energy in the lab.
This paper studies whether rationality can be computed. Rationality is defined as the use of complete information, which is processed with a perfect biological or physical brain, in an optimized fashion. To compute rationality one needs to quantify how complete is the information, how perfect is the physical or biological brain and how optimized is the entire decision making system. The rationality of a model (i.e. physical or biological brain) is measured by the expected accuracy of the model. The rationality of the optimization procedure is measured as the ratio of the achieved objective (i.e. utility) to the global objective. The overall rationality of a decision is measured as the product of the rationality of the model and the rationality of the optimization procedure. The conclusion reached is that rationality can be computed for convex optimization problems.
In a recent article of Kenny De Commer, was investigated a Morita equivalence between locally compact quantum groups, in which a measured quantum groupoid, of basis $\mathbb{C}^2$, was constructed as a linking object. Here, we generalize all these constructions and concepts to the level of measured quantum groupoids. As for locally compact quantum groups, we apply this construction to the deformation of a measured quantum groupoid by a 2-cocycle.
A framework for a quantum information theory is introduced that is based on the measure of quantum information associated with probability distribution predicted by quantum measuring of state. The entanglement between states of measured system and "pointer" states of measuring apparatus, which is generated by dynamical process of quantum measurement, plays a dominant role in expressing quantum characteristics of information theory. The quantum mutual information of transmission and reception of quantum states along a noisy quantum channel is given by the change of quantum measured information. In our approach, it is not necessary to purify the transmitted state by means of the reference system. It is also clarified that there exist relations between the approach given in this letter and those given by other authors.
On 17 October 2008, the Cassini spacecraft crossed the southern sources of Saturn kilometric radiation (SKR), while flying along high-latitude nightside magnetic field lines. In situ measurements allowed us to characterize for the first time the source region of an extra-terrestrial auroral radio emission. Using radio, magnetic field and particle observations, we show that SKR sources are surrounded by a hot tenuous plasma, in a region of upward field-aligned currents. Magnetic field lines supporting radio sources map a continuous, high-latitude and spiral-shaped auroral oval observed on the dawnside, consistent with enhanced auroral activity. Investigating the Cyclotron Maser Instability (CMI) as a mechanism responsible for SKR generation, we find that observed cutoff frequencies are consistent with radio waves amplified perpendicular to the magnetic field by hot (6 to 9 keV) resonant electrons, measured locally.
AIMS: We wish to study the spectral dependence of the radio emission from cosmic-ray air showers around 100 PeV (1017 eV). METHODS: We observe short radio pulses in a broad frequency band with the dipole-interferometer LOPES (LOFAR Prototype Station), which is triggered by a particle detector array named Karlsruhe Shower Core and Array Detector (KASCADE). LOFAR is the Low Frequency Array. For this analysis, 23 strong air shower events are selected using parameters from KASCADE. RESULTS: The resulting electric field spectra fall off to higher frequencies. An average electric field spectrum is fitted with an exponential, or alternatively, with a power law. The spectral slope obtained is not consistent within uncertainties and it is slightly steeper than the slope obtained from Monte Carlo simulations based on air showers simulated with CORSIKA (Cosmic Ray Simulations for KASCADE). One of the strongest events was measured during thunderstorm activity in the vicinity of LOPES and shows the longest pulse length measured of 110 ns and a spectral slope of -3.6. CONCLUSIONS: We show with two different methods that frequency spectra from air shower radio emission can be reconstructed on eve
Following Davies, Elekes and Keleti, we study measured sets, i.e. Borel sets $B$ in $\mathbb{R}$ (or in a Polish group) for which there is a translation invariant Borel measure assigning positive and σ-finite measure to $B$. We investigate which sets can be written as a (disjoint) union of measured sets. We show that every Borel nullset $B\subset \mathbb{R}$ of the second category is larger than any nullset $A\subset \mathbb{R}$ in the sense that there are partitions $B=B_1\cup B_2$, $A=A_1\cup A_2$ and gauge functions $g_1, g_2$ such that the Hausdorff measures satisfy $H^{g_i}(B_i)=1$ and $H^{g_i}(A_i)=0$ ($i=1,2$). This implies that every Borel set of the second category is a union of two measured sets. We also present Borel and compact sets in $\mathbb{R}$ which are not a union of countably many measured sets. This is done in two steps. First we show that non-locally compact Polish groups are not a union of countably many measured sets. Then, to certain Banach spaces we associate a Borel and/or σ-compact additive subgroup of $\mathbb{R}$ which is not a union of countably many measured sets. It is also shown that there are measured sets which are null or non-σ-finite for every H