Fundamental group of tiles associated to quadratic canonical number systems

2008 ◽  
Vol 58 (2) ◽  
Author(s):  
Benoit Loridant

AbstractIf A is a 2 × 2 expanding matrix with integral coefficients, and ⊂ ℤ2 a complete set of coset representatives of ℤ2/Aℤ2 with |det(A)| elements, then the set ℐ defined by Aℐ = ℐ + is a self-affine plane tile of ℝ2, provided that its two-dimensional Lebesgue measure is positive.It was shown by Luo and Thuswaldner that the fundamental group of such a tile is either trivial or uncountable.To a quadratic polynomial x 2 + Ax + B, A, B ∈ ℤ such that B ≥ 2 and −1 ≤ A ≤ B, one can attach a tile ℐ. Akiyama and Thuswaldner proved the triviality of the fundamental group of this tile for 2A < B + 3, by showing that a tile of this class is homeomorphic to a closed disk. The case 2A ≥ B + 3 is treated here by using the criterion given by Luo and Thuswaldner.

Author(s):  
PENG-FEI ZHANG ◽  
XIN-HAN DONG

Abstract For $n\geq 3$ , let $Q_n\subset \mathbb {C}$ be an arbitrary regular n-sided polygon. We prove that the Cauchy transform $F_{Q_n}$ of the normalised two-dimensional Lebesgue measure on $Q_n$ is univalent and starlike but not convex in $\widehat {\mathbb {C}}\setminus Q_n$ .


Author(s):  
P. A. P. Moran

We consider bounded sets in a plane. If X is such a set, we denote by Pθ(X) the projection of X on the line y = x tan θ, where x and y belong to some fixed coordinate system. By f(θ, X) we denote the measure of Pθ(X), taking this, in general, as an outer Lebesgue measure. The least upper bound of f (θ, X) for all θ we denote by M. We write sm X for the outer two-dimensional Lebesgue measure of X. Then G. Szekeres(1) has proved that if X consists of a finite number of continua,Béla v. Sz. Nagy(2) has obtained a stronger inequality, and it is the purpose of this paper to show that these results hold for more general classes of sets.


2009 ◽  
Vol 16 (4) ◽  
pp. 705-710
Author(s):  
Alexander Kharazishvili

Abstract Following the paper of Pkhakadze [Trudy Tbiliss. Mat. Inst. Razmadze 20: 167–209, 1954], we consider some properties of real-valued functions of two variables, which are not assumed to be measurable with respect to the two-dimensional Lebesgue measure on the plane 𝐑2, but for which the corresponding iterated integrals exist and are equal to each other. Close connections of these properties with certain set-theoretical axioms are emphasized.


2000 ◽  
Vol 20 (5) ◽  
pp. 1271-1285 ◽  
Author(s):  
GAVIN BROWN ◽  
QINGHE YIN

For $\beta>1$, consider the $\beta$-transformation $T_\beta$. When $\beta$ is an integer, the natural extension of $T_\beta$ can be represented explicitly as a map on the unit square with an invariant measure: the corresponding two-dimensional Lebesgue measure. We show that, under certain conditions on $\beta$, the natural extension is defined on a simply connected region and an invariant measure is a constant multiple of the Lebesgue measure.We characterize those $\beta$ in terms of the $\beta$-expansion of one, and study the structure and size of the set of all such $\beta$.


1999 ◽  
Vol 6 (5) ◽  
pp. 441-446
Author(s):  
A. Kharazishvili

Abstract We consider some subsets of the Euclidean plane 𝐑2, having small linear sections (in all directions), and investigate those sets from the point of view of measurability with respect to certain invariant extensions of the classical Lebesgue measure on 𝐑2.


1997 ◽  
Vol 07 (11) ◽  
pp. 2603-2610 ◽  
Author(s):  
Peter Ashwin ◽  
W. Chambers ◽  
G. Petkov

We investigate second order lossless digital filters with two's complement overflow. We numerically approximate the fractal set D of points that iterate arbitrarily close to the discontinuity. For the case of eigenvalues of the associated linear map of the form eiθ with θ/π ∉ Q we present evidence that D has positive two dimensional Lebesgue measure. For θ/π ∈ Q we confirm that D has Lebesgue measure zero. As a by-product we get estimates of the exterior dimension of D. These results imply that if such filters are realized using finite-precision arithmetic then they will have a sizeable fraction of orbits that are periodic with high period overflows.


Author(s):  
K. J. Falconer

Let H(μ, θ) be the hyperplane in Rn (n ≥ 2) that is perpendicular to the unit vector 6 and perpendicular distance μ from the origin; that is, H(μ, θ) = (x ∈ Rn: x. θ = μ). (Note that H(μ, θ) and H(−μ, −θ) are the same hyperplanes.) Let X be a proper compact convex subset of Rm. If f(x) ∈ L1(X) we will denote by F(μ, θ) the projection of f perpendicular to θ; that is, the integral of f(x) over H(μ, θ) with respect to (n − 1)-dimensional Lebesgue measure. By Fubini's Theorem, if f(x) ∈ L1(X), F(μ, θ) exists for almost all μ for every θ. Our aim in this paper is, given a finite collection of unit vectors θ1, …, θN, to characterize the F(μ, θi) that are the projections of some function f(x) with support in X for 1 ≤ i ≤ N.


2011 ◽  
Vol 11 (5&6) ◽  
pp. 361-373
Author(s):  
Pawel Kurzynski

An ability to describe quantum states directly by average values of measurement outcomes is provided by the Bloch vector. For an informationally complete set of measurements one can construct unique Bloch vector for any quantum state. However, not every Bloch vector corresponds to a quantum state. It seems that only for two-dimensional quantum systems it is easy to distinguish proper Bloch vectors from improper ones, i.e. the ones corresponding to quantum states from the other ones. I propose an alternative approach to the problem in which more than one vector is used. In particular, I show that a state of the qutrit can be described by the three qubit-like Bloch vectors.


Sign in / Sign up

Export Citation Format

Share Document