SearcharxivSearch

arXiv subjects

Daniele Guido

Publications and source records attributed to Daniele Guido.

At least 19 recordsLinked to original sources

Self-Similar Topological Fractals

We introduce the notion of (abelian) similarity scheme, as a constructive model for topological self-similar fractals, in the same way in which the notion of iterated function system furnishes a constructive notion of self-similar fractals in a metric environment. At the same time, our notion gives a constructive approach to the Kigami-Kameyama notion of topological fractals, since a similarity scheme produces a topological fractal a la Kigami-Kameyama, and many Kigami-Kameyama topological fractals may be constructed via similarity schemes. Our scheme consists of objects $X_0\stackrelφ{\rightarrow}X_1\stackrelπ{\leftarrow} Y\times X_0$, where $X_0,X_1$ and $Y$ are compact Hausdorff spaces, the map $φ$ is continuous injective and the map $π$ is continuous surjective. This scheme produces a sequence $X_n$, $n\in\mathbb{N}$, of compact Hausdorff spaces, $X_n$ embedded in $X_{n+1}$, and a compact Hausdorff space $X_\infty$ giving a sort of injective limit space, which turns out to be self-similar. We observe that the space $Y$ parametrizes the generalized similarity maps, and finiteness of $Y$ is not required.

math.FA

A noncommutative Sierpinski Gasket

A quantized version of the Sierpinski gasket is proposed, on purely topological grounds, as a $C^*$-algebra $\mathcal{A}_\infty$ with a suitable form of self-similarity. Several properties of $\mathcal{A}_\infty$ are studied, in particular its nuclearity, the structure of ideals as well as the description of irreducible representations and extremal traces. A harmonic structure is introduced, giving rise to a self-similar Dirichlet form $\mathcal{E}$. A spectral triple is also constructed, extending one already known for the classical gasket, from which $\mathcal{E}$ can be reconstructed. Moreover we show that $\mathcal{A}_\infty$ is a compact quantum metric space.

math.OA

Spectral triples on irreversible $C^*$-dynamical systems

Given a spectral triple on a $C^*$-algebra $\mathcal A$ together with a unital injective endomorphism $α$, the problem of defining a suitable crossed product $C^*$-algebra endowed with a spectral triple is addressed. The proposed construction is mainly based on the works of Cuntz and of Hawkins, Skalski, White and Zacharias, and on our previous papers. The embedding of $α(\mathcal A)$ in $\mathcal A$ can be considered as the dual form of a covering projection between noncommutative spaces. A main assumption is the expansiveness of the endomorphism, which takes the form of the local isometricity of the covering projection and is expressed via the compatibility of the Lip-norms on $\mathcal A$ and $α(\mathcal A)$.

math.OA

Spectral triples for nested fractals

It is shown that, for nested fractals [T.Lindstrom, Mem. Amer. Math. Soc. 420, 1990], the main structural data, such as the Hausdorff dimension and measure, the geodesic distance (when it exists) induced by the immersion in $R^n$, and the self-similar energy can all be recovered by the description of the fractals in terms of the spectral triples considered in [D.Guido, T.Isola, in "Advances in Operator Algebras and Mathematical Physics", Theta Series in Advanced Mathematics, Bucharest 2005].

math.OA

Spectral triples for noncommutative solenoidal spaces from self-coverings

Examples of noncommutative self-coverings are described, and spectral triples on the base space are extended to spectral triples on the inductive family of coverings, in such a way that the covering projections are locally isometric. Such triples are shown to converge, in a suitable sense, to a semifinite spectral triple on the direct limit of the tower of coverings, which we call noncommutative solenoidal space. Some of the self-coverings described here are given by the inclusion of the fixed point algebra in a C$^*$-algebra acted upon by a finite abelian group. In all the examples treated here, the noncommutative solenoidal spaces have the same metric dimension and volume as on the base space, but are not quantum compact metric spaces, namely the pseudo-metric induced by the spectral triple does not produce the weak$^*$ topology on the state space.

math.OA

Zeta functions for infinite graphs and functional equations

The definitions and main properties of the Ihara and Bartholdi zeta functions for infinite graphs are reviewed. The general question of the validity of a functional equation is discussed, and various possible solutions are proposed.

math.OA

Integrals and Potentials of Differential 1-forms on the Sierpinski Gasket

We provide a definition of integral, along paths in the Sierpinski gasket K, for differential smooth 1-forms associated to the standard Dirichlet form K. We show how this tool can be used to study the potential theory on K. In particular, we prove: i) a de Rham reconstruction of a 1-form from its periods around lacunas in K; ii) a Hodge decomposition of 1-forms with respect to the Hilbertian energy norm; iii) the existence of potentials of smooth 1-forms on a suitable covering space of K. We finally show that this framework provides versions of the de Rham duality theorem for the fractal K.

math.FA

Bose Einstein condensation on inhomogeneous amenable graphs

We investigate the Bose-Einstein Condensation on nonhomogeneous amenable networks for the model describing arrays of Josephson junctions. The resulting topological model, whose Hamiltonian is the pure hopping one given by the opposite of the adjacency operator, has also a mathematical interest in itself. We show that for the nonhomogeneous networks like the comb graphs, particles condensate in momentum and configuration space as well. In this case different properties of the network, of geometric and probabilistic nature, such as the volume growth, the shape of the ground state, and the transience, all play a role in the condensation phenomena. The situation is quite different for homogeneous networks where just one of these parameters, e.g. the volume growth, is enough to determine the appearance of the condensation.

math.OA

Modular theory for the von Neumann algebras of Local Quantum Physics

In the first part, the second quantization procedure and the free Bosonic scalar field will be introduced, and the axioms for quantum fields and nets of observable algebras will be discussed. The second part is mainly devoted to an illustration of the Bisognano-Wichmann theorem for Wightman fields and in the algebraic setting, with a discussion on the physical meaning of this result. In the third part some reconstruction theorems based on modular groups will be described, in particular the possibility of constructing an action of the symmetry group of a given theory via modular groups, and the construction of free field algebras via representations of the symmetry group.

math.OA

A trace on fractal graphs and the Ihara zeta function

Starting with Ihara's work in 1968, there has been a growing interest in the study of zeta functions of finite graphs, by Sunada, Hashimoto, Bass, Stark and Terras, Mizuno and Sato, to name just a few authors. Then, Clair and Mokhtari-Sharghi have studied zeta functions for infinite graphs acted upon by a discrete group of automorphisms. The main formula in all these treatments establishes a connection between the zeta function, originally defined as an infinite product, and the Laplacian of the graph. In this article, we consider a different class of infinite graphs. They are fractal graphs, i.e. they enjoy a self-similarity property. We define a zeta function for these graphs and, using the machinery of operator algebras, we prove a determinant formula, which relates the zeta function with the Laplacian of the graph. We also prove functional equations, and a formula which allows approximation of the zeta function by the zeta functions of finite subgraphs.

math.OA

Ihara zeta functions for periodic simple graphs

The definition and main properties of the Ihara zeta function for graphs are reviewed, focusing mainly on the case of periodic simple graphs. Moreover, we give a new proof of the associated determinant formula, based on the treatment developed by Stark and Terras for finite graphs.

math.OA

Ihara's zeta function for periodic graphs and its approximation in the amenable case

In this paper, we give a more direct proof of the results by Clair and Mokhtari-Sharghi on the zeta functions of periodic graphs. In particular, using appropriate operator-algebraic techniques, we establish a determinant formula in this context and examine its consequences for the Ihara zeta function. Moreover, we answer in the affirmative one of the questions raised by Grigorchuk and Zuk. Accordingly, we show that the zeta function of a periodic graph with an amenable group action is the limit of the zeta functions of a suitable sequence of finite subgraphs.

math.OA

A C*-algebra of geometric operators on self-similar CW-complexes. Novikov-Shubin and L^2-Betti numbers

A class of CW-complexes, called self-similar complexes, is introduced, together with C*-algebras A_j of operators, endowed with a finite trace, acting on square-summable cellular j-chains. Since the Laplacian Delta_j belongs to A_j, L^2-Betti numbers and Novikov-Shubin numbers are defined for such complexes in terms of the trace. In particular a relation involving the Euler-Poincare' characteristic is proved. L^2-Betti and Novikov-Shubin numbers are computed for some self-similar complexes arising from self-similar fractals.

math.OA

Dimensions and spectral triples for fractals in R^N

Two spectral triples are introduced for a class of fractals in R^n. The definitions of noncommutative Hausdorff dimension and noncommutative tangential dimensions, as well as the corresponding Hausdorff and Hausdorff-Besicovitch functionals considered in math.OA/0202108, are studied for the mentioned fractals endowed with these spectral triples, showing in many cases their correspondence with classical objects. In particular, for any limit fractal, the Hausdorff-Besicovitch functionals do not depend on the generalized limit procedure.

math.OA

The problem of completeness for Gromov-Hausdorff metrics on C*-algebras

It is proved that the family of equivalence classes of Lip-normed C*-algebras introduced by M. Rieffel, up to isomorphisms preserving the Lip-seminorm, is not complete w.r.t. the matricial quantum Gromov-Hausdorff distance introduced by D. Kerr. This is shown by exhibiting a Cauchy sequence whose limit, which always exists as an operator system, is not completely order isomorphic to any C*-algebra. Conditions ensuring the existence of a C*-structure on the limit are considered, making use of the notion of ultraproduct. More precisely, a necessary and sufficient condition is given for the existence, on the limiting operator system, of a C*-product structure inherited from the approximating C*-algebra. Such condition can be considered as a generalisation of the f-Leibniz conditions introduced by Kerr and Li. Furthermore, it is shown that our condition is not necessary for the existence of a C*-structure tout court, namely there are cases in which the limit is a C*-algebra, but the C*-structure is not inherited.

math.OA

Tangential dimensions I. Metric spaces

Pointwise tangential dimensions are introduced for metric spaces. Under regularity conditions, the upper, resp. lower, tangential dimensions of X at x can be defined as the supremum, resp. infimum, of box dimensions of the tangent sets, a la Gromov, of X at x. Our main purpose is that of introducing a tool which is very sensitive to the "multifractal behaviour at a point" of a set, namely which is able to detect the "oscillations" of the dimension at a given point. In particular we exhibit examples where upper and lower tangential dimensions differ, even when the local upper and lower box dimensions coincide. Tangential dimensions can be considered as the classical analogue of the tangential dimensions for spectral triples introduced in math.OA/0202108 and math.OA/0404295, in the framework of Alain Connes' noncommutative geometry.

math.FA

Tangential dimensions II. Measures

Notions of (pointwise) tangential dimension are considered, for measures of R^n. Under regularity conditions (volume doubling), the upper resp. lower dimension at a point x of a measure can be defined as the supremum, resp. infimum, of local dimensions of the measures tangent to the given measure at x. Our main purpose is that of introducing a tool which is very sensitive to the "multifractal behaviour at a point" of a measure, namely which is able to detect the "oscillations" of the dimension at a given point, even when the local dimension exists, namely local upper and lower dimensions coincide. These definitions are tested on a class of fractals, which we call translation fractals, where they can be explicitly calculated for the canonical limit measure. In these cases the tangential dimensions of the limit measure coincide with the metric tangential dimensions of the fractal defined in math.FA/0305091, and they are constant, i.e. do not depend on the point. However, upper and lower dimensions may differ. Moreover, on these fractals, these quantities coincide with their noncommutative analogues, defined in math.OA/0202108 and math.OA/0404295, in the framework of Alain Connes' noncommutative geometry.

math.FA