Infinite discrete symmetry group for the Yang-Baxter equations: Spin models

One-dimensional flows in the quantum Hall system

In recent years, great success has been achieved on the classification of symmetry-protected topological (SPT) phases for interacting fermion systems by using generalized cohomology theory. However, the explicit calculation of generalized cohomology theory is extremely hard due to the difficulty of computing obstruction functions. Based on the physical picture of topological invariants and mathematical techniques in homotopy algebra, we develop an algorithm to resolve this hard problem. It is well known that cochains in the cohomology of the symmetry group, which are used to enumerate the SPT phases, can be expressed equivalently in different linear bases, known as the resolutions. By expressing the cochains in a reduced resolution containing much fewer basis than the choice commonly used in previous studies, the computational cost is drastically reduced. In particular, it reduces the computational cost for infinite discrete symmetry groups, like the wallpaper groups and space groups, from infinity to finity. As examples, we compute the classification of two-dimensional interacting fermionic SPT phases, for all 17 wallpaper symmetry groups.

A connection between integrability properties and general statistical properties of the spectra of symmetric transfer matrices of the asymmetric eight-vertex model is studied using random matrix theory (eigenvalue spacing distribution and spectral rigidity). For Yang-Baxter integrable cases, including free-fermion solutions, we have found a Poissonian behavior, whereas level repulsion close to the Wigner distribution is found for non-integrable models. For the asymmetric eight-vertex model, however, the level repulsion can also disappearand the Poisson distribution be recovered on (non Yang--Baxter integrable) algebraic varieties, the so-called disorder varieties. We also present an infinite set of algebraic varieties which are stable under the action of an infinite discrete symmetry group of the parameter space. These varieties are possible loci for free parafermions. Using our numerical criterion we have tested the generic calculability of the model on these algebraic varieties.

Self-dual models with theta terms

This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective ‘proper’ alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from equivariant cells with compact isotropy groups; the adjective ‘genuine’ indicates that the theory comes with appropriate transfers and Wirthmüller isomorphisms, and the resulting equivariant cohomology theories support the analog of an R O ( G ) R O(G) -grading. Our model for genuine proper G G -equivariant stable homotopy theory is the category of orthogonal G G -spectra; the equivalences are those morphisms that induce isomorphisms of equivariant stable homotopy groups for all compact subgroups of G G . This class of π ∗ \pi _* -isomorphisms is part of a symmetric monoidal stable model structure, and the associated tensor triangulated homotopy category is compactly generated. Consequently, every orthogonal G G -spectrum represents an equivariant cohomology theory on the category of G G -spaces. These represented cohomology theories are designed to only depend on the ‘proper G G -homotopy type’, tested by fixed points under all compact subgroups. An important special case of our theory are infinite discrete groups. For these, our genuine equivariant theory is related to finiteness properties in the sense of geometric group theory; for example, the G G -sphere spectrum is a compact object in our triangulated equivariant homotopy category if the universal space for proper G G -actions has a finite G G -CW-model. For discrete groups, the represented equivariant cohomology theories on finite proper G G -CW-complexes admit a more explicit description in terms of parameterized equivariant homotopy theory, suitably stabilized by G G -vector bundles. Via this description, we can identify the previously defined G G -cohomology theories of equivariant stable cohomotopy and equivariant K-theory as cohomology theories represented by specific orthogonal G G -spectra.

This thesis presents recent developments concerning two open problems related to algebra and discrete geometry. In 1934, Harold S. M. Coxeter introduced Coxeter groups as abstractions of groups generated by reflections in a vector space [Cox34]. The present work lays out how a study of geometric and combinatorial properties of Coxeter groups contributed to the comprehension of the two open problems. Furthermore, this thesis presents some progress in proving the first problem, and an application of the approach introduced in this thesis for the second problem. Open Problem (Lattice for infinite Coxeter groups, Dyer [Dye11]). Is there, for each infinite Coxeter group, a complete ortholattice that contains the weak order? In Chapter 2, we study the asymptotical behaviour of roots of infinite Coxeter groups, which is part of a joint work with Christophe Hohlweg and Vivien Ripoll [HLR13]. In particular, we show that the directions of roots tend to the isotropic cone of the geometric representation of the root system. Moreover, using this framework, this thesis presents a proof that there is a complete ortholattice structure enclosing the weak order of infinite Coxeter groups of rank at most 3. Open Problem (Existence of multiassociahedra, Jonsson [Jon05]). Let k be an integer such that k >= 1. Is there a polytope whose boundary complex corresponds to the simplicial complex of sets of diagonals of a convex polygon not containing k + 1 mutually crossing diagonals? In Chapter 3 we introduce, for any finite Coxeter group and any nonnegative integer k, a spherical subword complex called multi-cluster complex. This family generalizes the concept of multitriangulations of type A and B to arbitrary finite Coxeter groups. For k = 1, this simplicial complex coincides with the finite cluster complex of the given type. We study combinatorial and geometric properties of multi-cluster complexes. In particular, we show that every spherical subword complex is the link of a face of a multi-cluster complex. This work was realized jointly with Cesar Ceballos and Christian Stump [CLS13]. Finally, this approach allows us to exhibit formulas counting the number of common vertices of permutahedra and generalized associahedra for arbitrary finite Coxeter groups and Coxeter elements.

Let W W be an infinite irreducible Coxeter group with ( s 1 , … , s n ) (s_1, \ldots , s_n) the simple generators. We give a short proof that the word s 1 s 2 ⋯ s n s 1 s 2 ⋯ s_1 s_2 \cdots s_n s_1 s_2 \cdots s n ⋯ s 1 s 2 ⋯ s n s_n \cdots s_1 s_2 \cdots s_n is reduced for any number of repetitions of s 1 s 2 ⋯ s n s_1 s_2 \cdots s_n . This result was proved for simply laced, crystallographic groups by Kleiner and Pelley using methods from the theory of quiver representations. Our proof uses only basic facts about Coxeter groups and the geometry of root systems. We also prove that, in finite Coxeter groups, there is a reduced word for w 0 w_0 which is obtained from the semi-infinite word s 1 s 2 ⋯ s n s 1 s 2 ⋯ s n ⋯ s_1 s_2 \cdots s_n s_1 s_2 \cdots s_n \cdots by interchanging commuting elements and taking a prefix.

We show that every infinite discrete group <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> has an infinite minimal subflow in its Bernoulli flow <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-brace 0 comma 1 right-brace Superscript upper G"> <mml:semantics> <mml:mrow> <mml:mo fence="false" stretchy="false">{</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:msup> <mml:mo fence="false" stretchy="false">}</mml:mo> <mml:mi>G</mml:mi> </mml:msup> </mml:mrow> <mml:annotation encoding="application/x-tex">\{0,1\}^G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . A countably infinite group <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> has an effective minimal subflow in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-brace 0 comma 1 right-brace Superscript upper G"> <mml:semantics> <mml:mrow> <mml:mo fence="false" stretchy="false">{</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:msup> <mml:mo fence="false" stretchy="false">}</mml:mo> <mml:mi>G</mml:mi> </mml:msup> </mml:mrow> <mml:annotation encoding="application/x-tex">\{0,1\}^G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . If <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is countable and residually finite, then it has such a subflow which is free. We do not know whether there are groups <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with no free subflows in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-brace 0 comma 1 right-brace Superscript upper G"> <mml:semantics> <mml:mrow> <mml:mo fence="false" stretchy="false">{</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:msup> <mml:mo fence="false" stretchy="false">}</mml:mo> <mml:mi>G</mml:mi> </mml:msup> </mml:mrow> <mml:annotation encoding="application/x-tex">\{0,1\}^G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> .

The purpose of this paper is to investigate the topological and analytical restrictions on a domain D in euclidean n-space R n on which an infinite discrete quasiconformal group can act. We will see that the restrictions are indeed severe, unlike the case of a discrete group of topological or differentiable homeomorphisms.KeywordsUnit BallLimit PointUniversal CoverTangent PlaneQuasiconformal MappingThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

We will discuss a method of finding essential conservation laws for equations possessing an infinite symmetry group whose generators contain arbitrary functions of time. We will show how to generate a finite number of conserved quantities corresponding to infinite symmetries for the equation of non-stationary transonic gas flows in two dimensions, and discuss a critical role of boundary conditions.

Let $G$ be an infinite discrete group. A classifying space for proper actions\nof $G$ is a proper $G$-CW-complex $X$ such that the fixed point sets $X^H$ are\ncontractible for all finite subgroups $H$ of $G$. In this paper we consider the\nstable analogue of the classifying space for proper actions in the category of\nproper $G$-spectra and study its finiteness properties. We investigate when $G$\nadmits a stable classifying space for proper actions that is finite or of\nfinite type and relate these conditions to the compactness of the sphere\nspectrum in the homotopy category of proper $G$-spectra and to classical\nfiniteness properties of the Weyl groups of finite subgroups of $G$. Finally,\nif the group $G$ is virtually torsion-free we also show that the smallest\npossible dimension of a stable classifying space for proper actions coincides\nwith the virtual cohomological dimension of $G$, thus providing the first\ngeometric interpretation of the virtual cohomological dimension of a group.\n

Expander graphs are ingredients for making concentrating, switching, and sorting networks, and are closely related to sparse, doubly-stochastic matrices called diffusers. The best explicit examples of diffusers are defined by means of the action of elements of the matrix group $SL (2,{\bf Z} )$ on certain finite mathematical objects. Some corresponding, explicit expanders were introduced by Margulis. However, Gabber and Galil were the first to obtain good estimates for the expanders and produce from them a family of directed acyclic superconcentrators having density 271.8. In this paper we review various techniques for making expanders from diffusers. We also demonstrate asymptotic upper bounds on the strength of algebraically defined classes of degree k diffusers. Each upper bound is given as the norm of a diffusion operator on an infinite discrete group, and bounds for several examples are calculated. Numerical evidence is supplied in support of our conjecture that these bounds can be achieved by certain algebraically defined examples. The conjecture, if true, would lead to superconcentrators of density less than 58.

A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher (Abelian Coxeter) group to arbitrary Coxeter group is obtained. Applications to harmonic analysis, operator spaces and noncommutative probability is presented. Characterization of radial and colour-radial functions on dihedral groups and infinite permutation group are shown.

Given an infinite countable discrete amenable group Γ \Gamma , we construct explicitly sharply weak mixing nonsingular Poisson Γ \Gamma -actions of each Krieger’s type: I I I λ III_\lambda , for λ ∈ [ 0 , 1 ] \lambda \in [0,1] , and I I ∞ II_\infty . The result is new even for Γ = Z \Gamma =\mathbb {Z} . As these Poisson suspension actions are over very special dissipative base, we obtain also new examples of sharply weak mixing nonsingular Bernoulli Γ \Gamma -actions and infinite direct product of finite type systems of each possible Krieger’s type.

Let ( X , Γ ) (X, \Gamma ) be a free and minimal topological dynamical system, where X X is a separable compact Hausdorff space and Γ \Gamma is a countable infinite discrete amenable group. It is shown that if ( X , Γ ) (X, \Gamma ) has the Uniform Rokhlin Property (URP) and Cuntz comparison of open sets (COS), then m d i m ( X , Γ ) = 0 \mathrm {mdim}(X, \Gamma )=0 implies that ( C ( X ) ⋊ Γ ) ⊗ Z ≅ C ( X ) ⋊ Γ (\mathrm {C}(X) \rtimes \Gamma )\otimes \mathcal Z \cong \mathrm {C}(X) \rtimes \Gamma , where m d i m \mathrm {mdim} is the mean dimension of ( X , Γ ) (X, \Gamma ) , Z \mathcal Z is the Jiang-Su algebra, and C ( X ) ⋊ Γ \mathrm {C}(X) \rtimes \Gamma is the transformation group C*-algebra of ( X , Γ ) (X, \Gamma ) . In particular, in this case, m d i m ( X , Γ ) = 0 \mathrm {mdim}(X, \Gamma )=0 implies that the C*-algebra C ( X ) ⋊ Γ \mathrm {C}(X) \rtimes \Gamma is classified by the Elliott invariant.