scholarly journals On the Hausdorff measure of regular ω-languages in Cantor space

2015 ◽  
Vol Vol. 17 no. 1 (Automata, Logic and Semantics) ◽  
Author(s):  
Ludwig Staiger
Keyword(s):  
Hausdorff Dimension ◽  
Hausdorff Measure ◽  
Simple Structure ◽  
Finite Automata ◽  
Sufficient Conditions ◽  
The Other ◽  
Local Behaviour ◽  
Cantor Space ◽  
International Audience ◽  
Topological Density

Automata, Logic and Semantics International audience This paper deals with the calculation of the Hausdorff measure of regular ω-languages, that is, subsets of the Cantor space definable by finite automata. Using methods for decomposing regular ω-languages into disjoint unions of parts of simple structure we derive two sufficient conditions under which ω-languages with a closure definable by a finite automaton have the same Hausdorff measure as this closure. The first of these condition is related to the homogeneity of the local behaviour of the Hausdorff dimension of the underlying set, and the other with a certain topological density of the set in its closure.

scholarly journals A stronger recognizability condition for two-dimensional languages

2013 ◽  
Vol Vol. 15 no. 2 (Automata, Logic and Semantics) ◽  
Author(s):  
Marcella Anselmo ◽  
Maria Madonia
Keyword(s):  
Finite Automata ◽  
The Other ◽  
Two Dimensional ◽  
Minimal Size ◽  
One Dimensional ◽  
Tiling System ◽  
International Audience ◽  
The One

Automata, Logic and Semantics International audience The paper presents a condition necessarily satisfied by (tiling system) recognizable two-dimensional languages. The new recognizability condition is compared with all the other ones known in the literature (namely three conditions), once they are put in a uniform setting: they are stated as bounds on the growth of some complexity functions defined for two-dimensional languages. The gaps between such functions are analyzed and examples are shown that asymptotically separate them. Finally the new recognizability condition results to be the strongest one, while the remaining ones are its particular cases. The problem of deciding whether a two-dimensional language is recognizable is here related to the one of estimating the minimal size of finite automata recognizing a sequence of (one-dimensional) string languages.

scholarly journals Minimal F2-flows

1985 ◽  
Vol 39 (2) ◽  
pp. 187-193
Author(s):  
Daniel Berend
Keyword(s):  
Hausdorff Dimension ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Affine Transformations ◽  
Dimensional Torus ◽  
Minimal Sets ◽  
Necessary And Sufficient

AbstractLet σ be an ergodic endomorphism of the r–dimensional torus and Π a semigroup generated by two affine transformations lying above σ. We show that the flow defined by Π admits minimal sets of positive Hausdorff dimension and we give necessary and sufficient conditions for this flow to be minimal.

scholarly journals Jordan products of quantum channels and their compatibility

2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Mark Girard ◽  
Martin Plávala ◽  
Jamie Sikora
Keyword(s):  
Quantum State ◽  
Sufficient Conditions ◽  
The Other ◽  
Independent Interest ◽  
Quantum Channels ◽  
Semidefinite Programs ◽  
Jordan Product ◽  
Marginal Problem ◽  
Jordan Products ◽  
Product Of Matrices

AbstractGiven two quantum channels, we examine the task of determining whether they are compatible—meaning that one can perform both channels simultaneously but, in the future, choose exactly one channel whose output is desired (while forfeiting the output of the other channel). Here, we present several results concerning this task. First, we show it is equivalent to the quantum state marginal problem, i.e., every quantum state marginal problem can be recast as the compatibility of two channels, and vice versa. Second, we show that compatible measure-and-prepare channels (i.e., entanglement-breaking channels) do not necessarily have a measure-and-prepare compatibilizing channel. Third, we extend the notion of the Jordan product of matrices to quantum channels and present sufficient conditions for channel compatibility. These Jordan products and their generalizations might be of independent interest. Last, we formulate the different notions of compatibility as semidefinite programs and numerically test when families of partially dephasing-depolarizing channels are compatible.

scholarly journals On a New Geometric Constant Related to the Euler-Lagrange Type Identity in Banach Spaces

Mathematics ◽  
2021 ◽  
Vol 9 (2) ◽  
pp. 116
Author(s):  
Qi Liu ◽  
Yongjin Li
Keyword(s):  
Banach Spaces ◽  
Product Space ◽  
Sufficient Conditions ◽  
Normal Structure ◽  
The Other ◽  
Inner Product ◽  
Equivalent Characterization ◽  
Geometric Constant ◽  
Geometric Constants

In this paper, we will introduce a new geometric constant LYJ(λ,μ,X) based on an equivalent characterization of inner product space, which was proposed by Moslehian and Rassias. We first discuss some equivalent forms of the proposed constant. Next, a characterization of uniformly non-square is given. Moreover, some sufficient conditions which imply weak normal structure are presented. Finally, we obtain some relationship between the other well-known geometric constants and LYJ(λ,μ,X). Also, this new coefficient is computed for X being concrete space.

scholarly journals The local structure of the free boundary in the fractional obstacle problem

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Matteo Focardi ◽  
Emanuele Spadaro
Keyword(s):  
Hausdorff Dimension ◽  
Free Boundary ◽  
Hausdorff Measure ◽  
Local Structure ◽  
Obstacle Problem ◽  
List Type ◽  
Minkowski Content ◽  
Local Finiteness ◽  
Lower Dimensional

AbstractBuilding upon the recent results in [M. Focardi and E. Spadaro, On the measure and the structure of the free boundary of the lower-dimensional obstacle problem, Arch. Ration. Mech. Anal. 230 2018, 1, 125–184] we provide a thorough description of the free boundary for the solutions to the fractional obstacle problem in {\mathbb{R}^{n+1}} with obstacle function φ (suitably smooth and decaying fast at infinity) up to sets of null {{\mathcal{H}}^{n-1}} measure. In particular, if φ is analytic, the problem reduces to the zero obstacle case dealt with in [M. Focardi and E. Spadaro, On the measure and the structure of the free boundary of the lower-dimensional obstacle problem, Arch. Ration. Mech. Anal. 230 2018, 1, 125–184] and therefore we retrieve the same results:(i)local finiteness of the {(n-1)}-dimensional Minkowski content of the free boundary (and thus of its Hausdorff measure),(ii){{\mathcal{H}}^{n-1}}-rectifiability of the free boundary,(iii)classification of the frequencies and of the blowups up to a set of Hausdorff dimension at most {(n-2)} in the free boundary.Instead, if {\varphi\in C^{k+1}(\mathbb{R}^{n})}, {k\geq 2}, similar results hold only for distinguished subsets of points in the free boundary where the order of contact of the solution with the obstacle function φ is less than {k+1}.

scholarly journals Graph directed Markov systems on Hilbert spaces

2009 ◽  
Vol 147 (2) ◽  
pp. 455-488 ◽  
Author(s):  
R. D. MAULDIN ◽  
T. SZAREK ◽  
M. URBAŃSKI
Keyword(s):  
Hausdorff Measure ◽  
Iterated Function System ◽  
Sufficient Conditions ◽  
Topological Pressure ◽  
Limit Set ◽  
Covering Theorem ◽  
Limit Sets ◽  
Markov Systems ◽  
Polish Spaces ◽  
Iterated Function

AbstractWe deal with contracting finite and countably infinite iterated function systems acting on Polish spaces, and we introduce conformal Graph Directed Markov Systems on Polish spaces. Sufficient conditions are provided for the closure of limit sets to be compact, connected, or locally connected. Conformal measures, topological pressure, and Bowen's formula (determining the Hausdorff dimension of limit sets in dynamical terms) are introduced and established. We show that, unlike the Euclidean case, the Hausdorff measure of the limit set of a finite iterated function system may vanish. Investigating this issue in greater detail, we introduce the concept of geometrically perfect measures and provide sufficient conditions for geometric perfectness. Geometrical perfectness guarantees the Hausdorff measure of the limit set to be positive. As a by–product of the mainstream of our investigations we prove a 4r–covering theorem for all metric spaces. It enables us to establish appropriate co–Frostman type theorems.

scholarly journals Free vs. locally free Kleinian groups

2019 ◽  
Vol 2019 (746) ◽  
pp. 149-170
Author(s):  
Pekka Pankka ◽  
Juan Souto
Keyword(s):  
Hausdorff Dimension ◽  
Kleinian Group ◽  
Cantor Set ◽  
Cantor Sets ◽  
Kleinian Groups ◽  
The Other ◽  
Limit Set ◽  
Limit Sets ◽  
Other Hand

Abstract We prove that Kleinian groups whose limit sets are Cantor sets of Hausdorff dimension < 1 are free. On the other hand we construct for any ε > 0 an example of a non-free purely hyperbolic Kleinian group whose limit set is a Cantor set of Hausdorff dimension < 1 + ε.

scholarly journals The Hausdorff dimension and exact Hausdorff measure of random recursive sets with overlapping

2002 ◽  
Vol 31 (1) ◽  
pp. 11-21 ◽  
Author(s):  
Hongwen Guo ◽  
Dihe Hu
Keyword(s):  
Hausdorff Dimension ◽  
Hausdorff Measure ◽  
Intersection Property ◽  
Random Sets ◽  
Hausdorff Measures ◽  
Open Set Condition ◽  
Finite Intersection ◽  
Open Set ◽  
Finite Intersection Property

We weaken the open set condition and define a finite intersection property in the construction of the random recursive sets. We prove that this larger class of random sets are fractals in the sense of Taylor, and give conditions when these sets have positive and finite Hausdorff measures, which in certain extent generalize some of the known results, about random recursive fractals.

scholarly journals Equipartitioning and balancing points of polygons

Pythagoras ◽  
2010 ◽  
Vol 0 (71) ◽  
Author(s):  
Shunmugam Pillay ◽  
Poobhalan Pillay
Keyword(s):  
General Theorem ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
The Other ◽  
Sufficient Condition ◽  
Centre Of Mass ◽  
Necessary And Sufficient Condition ◽  
Necessary And Sufficient

The centre of mass G of a triangle has the property that the rays to the vertices from G sweep out triangles having equal areas. We show that such points, termed equipartitioning points in this paper, need not exist in other polygons. A necessary and sufficient condition for a quadrilateral to have an equipartitioning point is that one of its diagonals bisects the other. The general theorem, namely, necessary and sufficient conditions for equipartitioning points for arbitrary polygons to exist, is also stated and proved. When this happens, they are in general, distinct from the centre of mass. In parallelograms, and only in them, do the two points coincide.

Sign in / Sign up

Export Citation Format

Share Document