-
Recursive subhomogeneity of orbit-breaking subalgebras of $\mathrm{C}^*$-algebras associated to minimal homeomorphisms twisted by line bundles
Authors:
Marzieh Forough,
Ja A Jeong,
Karen R. Strung
Abstract:
In this paper, we construct a recursive subhomogeneous decomposition for the Cuntz--Pimsner algebras obtained from breaking the orbit of a minimal Hilbert $C(X)$-bimodule at a subset $Y \subset X$ with non-empty interior. This generalizes the known recursive subhomogeneous decomposition for orbit-breaking subalgebras of crossed products by minimal homeomorphisms.
In this paper, we construct a recursive subhomogeneous decomposition for the Cuntz--Pimsner algebras obtained from breaking the orbit of a minimal Hilbert $C(X)$-bimodule at a subset $Y \subset X$ with non-empty interior. This generalizes the known recursive subhomogeneous decomposition for orbit-breaking subalgebras of crossed products by minimal homeomorphisms.
△ Less
Submitted 26 March, 2025; v1 submitted 9 October, 2024;
originally announced October 2024.
-
Geometric commutation principle for weakly spectral sets in Euclidean Jordan algebras
Authors:
Juyoung Jeong
Abstract:
A geometric commutation principle in Euclidean Jordan algebra, recently proved by Gowda, says that, for any spectral set $E$ in a Euclidean Jordan algebra $V$ and $a \in E$, $a$ strongly operator commutes with every element in the normal cone $N_E(a)$. Further, it can be used to establish strong operator commutativity relations in certain optimization problems. Knowing that every spectral sets are…
▽ More
A geometric commutation principle in Euclidean Jordan algebra, recently proved by Gowda, says that, for any spectral set $E$ in a Euclidean Jordan algebra $V$ and $a \in E$, $a$ strongly operator commutes with every element in the normal cone $N_E(a)$. Further, it can be used to establish strong operator commutativity relations in certain optimization problems. Knowing that every spectral sets are special cases of broader class of weakly spectral sets, we prove an analog of a geometric commutation principle for weakly spectral sets and study its consequences and applications.
△ Less
Submitted 7 September, 2024;
originally announced September 2024.
-
Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
Authors:
Zheng Gong,
Hyun Joe Jeong,
Sylvia Herbert
Abstract:
Control Lyapunov functions (CLFs) play a vital role in modern control applications, but finding them remains a problem. Recently, the control Lyapunov-value function (CLVF) and robust CLVF have been proposed as solutions for nonlinear time-invariant systems with bounded control and disturbance. However, the CLVF suffers from the ''curse of dimensionality,'' which hinders its application to practic…
▽ More
Control Lyapunov functions (CLFs) play a vital role in modern control applications, but finding them remains a problem. Recently, the control Lyapunov-value function (CLVF) and robust CLVF have been proposed as solutions for nonlinear time-invariant systems with bounded control and disturbance. However, the CLVF suffers from the ''curse of dimensionality,'' which hinders its application to practical high-dimensional systems. In this paper, we propose a method to decompose systems of a particular coupled nonlinear structure, in order to solve for the CLVF in each low-dimensional subsystem. We then reconstruct the full-dimensional CLVF and provide sufficient conditions for when this reconstruction is exact. Moreover, a point-wise optimal controller can be obtained using a quadratic program. We also show that when the exact reconstruction is impossible, the subsystems' CLVFs and their ``admissible control sets'' can be used to generate a Lipschitz continuous CLF. We provide several numerical examples to validate the theory and show computational efficiency.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Commutation principles for nonsmooth variational problems on Euclidean Jordan algebras
Authors:
Juyoung Jeong,
David Sossa
Abstract:
The commutation principle proved by Ramírez, Seeger, and Sossa (SIAM J Optim 23:687-694, 2013) in the setting of Euclidean Jordan algebras says that for a Fréchet differentiable function $Θ$ and a spectral function $F$, any local minimizer or maximizer $a$ of $Θ+F$ over a spectral set $\mathcal{E}$ operator commutes with the gradient of $Θ$ at $a$. In this paper, we improve this commutation princi…
▽ More
The commutation principle proved by Ramírez, Seeger, and Sossa (SIAM J Optim 23:687-694, 2013) in the setting of Euclidean Jordan algebras says that for a Fréchet differentiable function $Θ$ and a spectral function $F$, any local minimizer or maximizer $a$ of $Θ+F$ over a spectral set $\mathcal{E}$ operator commutes with the gradient of $Θ$ at $a$. In this paper, we improve this commutation principle by allowing $Θ$ to be nonsmooth with mild regularity assumptions over it. For example, for the case of local minimizer, we show that $a$ operator commutes with some element of the limiting (Mordukhovich) subdifferential of $Θ$ at $a$ provided that $Θ$ is subdifferentially regular at $a$ satisfying a qualification condition. For the case of local maximizer, we prove that $a$ operator commutes with each element of the (Fenchel) subdifferential of $Θ$ at $a$ whenever this subdifferential is nonempty. As an application, we characterize the local optimizers of shifted strictly convex spectral functions and norms over automorphism invariant sets.
△ Less
Submitted 23 April, 2025; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Computing pivot-minors
Authors:
Konrad K. Dabrowski,
François Dross,
Jisu Jeong,
Mamadou Moustapha Kanté,
O-joung Kwon,
Sang-il Oum,
Daniël Paulusma
Abstract:
A graph $G$ contains a graph $H$ as a pivot-minor if $H$ can be obtained from $G$ by applying a sequence of vertex deletions and edge pivots. Pivot-minors play an important role in the study of rank-width. Pivot-minors have mainly been studied from a structural perspective. In this paper we perform the first systematic computational complexity study of pivot-minors. We first prove that the Pivot-M…
▽ More
A graph $G$ contains a graph $H$ as a pivot-minor if $H$ can be obtained from $G$ by applying a sequence of vertex deletions and edge pivots. Pivot-minors play an important role in the study of rank-width. Pivot-minors have mainly been studied from a structural perspective. In this paper we perform the first systematic computational complexity study of pivot-minors. We first prove that the Pivot-Minor problem, which asks if a given graph $G$ contains a pivot-minor isomorphic to a given graph $H$, is NP-complete. If $H$ is not part of the input, we denote the problem by $H$-Pivot-Minor. We give a certifying polynomial-time algorithm for $H$-Pivot-Minor when (1) $H$ is an induced subgraph of $P_3+tP_1$ for some integer $t\geq 0$, (2) $H=K_{1,t}$ for some integer $t\geq 1$, or (3) $|V(H)|\leq 4$ except when $H \in \{K_4,C_3+ P_1\}$. Let ${\cal F}_H$ be the set of induced-subgraph-minimal graphs that contain a pivot-minor isomorphic to $H$. To prove the above statement, we either show that there is an integer $c_H$ such that all graphs in ${\cal F}_H$ have at most $c_H$ vertices, or we determine ${\cal F}_H$ precisely, for each of the above cases.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Transfer principles, Fenchel conjugate and subdifferential formulas in Fan-Theobald-von Neumann systems
Authors:
Juyoung Jeong,
Muddappa Gowda
Abstract:
A Fan-Theobald-von Neumann system is a triple $(V,W,λ)$, where $V$ and $W$ are real inner product spaces and $λ:V\to W$ is a norm-preserving map satisfying a Fan-Theobald-von Neumann type inequality together with a condition for equality. Examples include Euclidean Jordan algebras, systems induced by certain hyperbolic polynomials, and normal decomposition systems (Eaton triples). The present arti…
▽ More
A Fan-Theobald-von Neumann system is a triple $(V,W,λ)$, where $V$ and $W$ are real inner product spaces and $λ:V\to W$ is a norm-preserving map satisfying a Fan-Theobald-von Neumann type inequality together with a condition for equality. Examples include Euclidean Jordan algebras, systems induced by certain hyperbolic polynomials, and normal decomposition systems (Eaton triples). The present article is a continuation of an earlier paper, where the concepts of commutativity, automorphisms, majorization, and reduction were introduced and elaborated. Here, we describe some transfer principles and present Fenchel conjugate and subdifferential formulas.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Commutativity, majorization, and reduction in Fan-Theobald-von Neumann systems
Authors:
M. Seetharama Gowda,
Juyoung Jeong
Abstract:
A Fan-Theobald-von Neumann system is a triple $(V,W,λ)$, where $V$ and $W$ are real inner product spaces and $λ:V \to W$ is a norm-preserving map satisfying a Fan-Theobald-von Neumann type inequality together with a condition for equality. Examples include Euclidean Jordan algebras, systems induced by certain hyperbolic polynomials, and normal decompositions systems (Eaton triples). In the previou…
▽ More
A Fan-Theobald-von Neumann system is a triple $(V,W,λ)$, where $V$ and $W$ are real inner product spaces and $λ:V \to W$ is a norm-preserving map satisfying a Fan-Theobald-von Neumann type inequality together with a condition for equality. Examples include Euclidean Jordan algebras, systems induced by certain hyperbolic polynomials, and normal decompositions systems (Eaton triples). In the previous paper (arXiv:1902.06640) we presented some basic properties of such systems and described results on optimization problems dealing with certain combinations of linear/distance and spectral functions. We also introduced the concept of commutativity via the equality in the Fan-Theobald-von Neumann type inequality. In the present paper, we elaborate on the concept of commutativity and introduce/study automorphisms, majorization, and reduction in Fan-Theobald-von Neumann systems.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Adaptive robust electric vehicle routing under energy consumption uncertainty
Authors:
Jaehee Jeong,
Bissan Ghaddar,
Nicolas Zufferey,
Jatin Nathwani
Abstract:
Electric vehicles (EVs) have been highly favoured as a future transportation mode in the transportation section in recent years. EVs have many advantages compared to traditional transportation, especially the environmental aspect. However, despite many EVs' benefits, operating EVs has limitations in their usage. One of the significant issues is the uncertainty in their driving range. The driving r…
▽ More
Electric vehicles (EVs) have been highly favoured as a future transportation mode in the transportation section in recent years. EVs have many advantages compared to traditional transportation, especially the environmental aspect. However, despite many EVs' benefits, operating EVs has limitations in their usage. One of the significant issues is the uncertainty in their driving range. The driving range of EVs is closely related to their energy consumption, which is highly affected by exogenous and endogenous factors. Since those factors are unpredictable, uncertainty in EVs' energy consumption should be considered for efficient operation. This paper proposes an adaptive robust optimization framework for the electric vehicle routing problem. The objective is to minimize the worst-case energy consumption while guaranteeing that services are delivered at the appointed time windows without battery level deficiency. We postulate that EVs can be recharged en route, and the charging amount can be adjusted depending on the circumstance. The proposed problem is formulated as a two-stage adaptive robust problem. A column-and-constraint generation based heuristic algorithm, which is cooperated with variable neighborhood search and alternating direction algorithm, is proposed to solve the proposed model. The computational results show the economic efficiency and robustness of the proposed model, and that there is a tradeoff between the total required energy and the risk of failing to satisfy all customers' demand.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
$\mathrm{C}^*$-algebras associated to homeomorphisms twisted by vector bundles over finite dimensional spaces
Authors:
Maria Stella Adamo,
Dawn E. Archey,
Marzieh Forough,
Magdalena C. Georgescu,
Ja A Jeong,
Karen R. Strung,
Maria Grazia Viola
Abstract:
In this paper we study Cuntz--Pimsner algebras associated to $\mathrm{C}^*$-correspondences over commutative $\mathrm{C}^*$-algebras from the point of view of the $\mathrm{C}^*$-algebra classification programme. We show that when the correspondence comes from an aperiodic homeomorphism of a finite-dimensional infinite compact metric space $X$ twisted by a vector bundle, the resulting Cuntz--Pimsne…
▽ More
In this paper we study Cuntz--Pimsner algebras associated to $\mathrm{C}^*$-correspondences over commutative $\mathrm{C}^*$-algebras from the point of view of the $\mathrm{C}^*$-algebra classification programme. We show that when the correspondence comes from an aperiodic homeomorphism of a finite-dimensional infinite compact metric space $X$ twisted by a vector bundle, the resulting Cuntz--Pimsner algebras have finite nuclear dimension. When the homeomorphism is minimal, this entails classification of these $\mathrm{C}^*$-algebras by the Elliott invariant. This establishes a dichotomy: when the vector bundle has rank one, the Cuntz--Pimsner algebra has stable rank one. Otherwise, it is purely infinite.
For a Cuntz--Pimsner algebra of a minimal homeomorphism of an infinite compact metric space $X$ twisted by a line bundle over $X$, we introduce orbit-breaking subalgebras. With no assumptions on the dimension of $X$, we show that they are centrally large subalgebras and hence simple and stably finite. When the dimension of $X$ is finite, they are furthermore $\mathcal{Z}$-stable and hence classified by the Elliott invariant.
△ Less
Submitted 5 January, 2023; v1 submitted 21 February, 2022;
originally announced February 2022.
-
On the Boomerang Uniformity of Permutations of Low Carlitz Rank
Authors:
Jaeseong Jeong,
Namhun Koo,
Soonhak Kwon
Abstract:
Finding permutation polynomials with low differential and boomerang uniformityis an important topic in S-box designs of many block ciphers. For example, AES chooses the inverse function as its S-box, which is differentially 4-uniform and boomerang 6-uniform. Also there has been considerable research on many non-quadratic permutations which are obtained by modifying certain set of points from the i…
▽ More
Finding permutation polynomials with low differential and boomerang uniformityis an important topic in S-box designs of many block ciphers. For example, AES chooses the inverse function as its S-box, which is differentially 4-uniform and boomerang 6-uniform. Also there has been considerable research on many non-quadratic permutations which are obtained by modifying certain set of points from the inverse function. In this paper, we give a novel approach that shows that plenty of existing modifications of the inverse function are in fact affine equivalent to permutations of low Carlitz rank and those modifications cannot be APN (almost perfect nonlinear) unless the Carlitz rank is very large. Using nice properties of the permutations of Carlitz form, we present the complete list of permutations of Carlitz rank 3 having the boomerang uniformity six, and also give the complete classification of the differential uniformity of permutations of Carlitz rank 3. We also provide, up to affine equivalence, all the involutory permutations of Carlitz rank 3 having the boomerang uniformity six.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Tree pivot-minors and linear rank-width
Authors:
Konrad K. Dabrowski,
François Dross,
Jisu Jeong,
Mamadou Moustapha Kanté,
O-joung Kwon,
Sang-il Oum,
Daniël Paulusma
Abstract:
Tree-width and its linear variant path-width play a central role for the graph minor relation. In particular, Robertson and Seymour (1983) proved that for every tree~$T$, the class of graphs that do not contain $T$ as a minor has bounded path-width. For the pivot-minor relation, rank-width and linear rank-width take over the role from tree-width and path-width. As such, it is natural to examine if…
▽ More
Tree-width and its linear variant path-width play a central role for the graph minor relation. In particular, Robertson and Seymour (1983) proved that for every tree~$T$, the class of graphs that do not contain $T$ as a minor has bounded path-width. For the pivot-minor relation, rank-width and linear rank-width take over the role from tree-width and path-width. As such, it is natural to examine if for every tree~$T$, the class of graphs that do not contain $T$ as a pivot-minor has bounded linear rank-width. We first prove that this statement is false whenever $T$ is a tree that is not a caterpillar. We conjecture that the statement is true if $T$ is a caterpillar. We are also able to give partial confirmation of this conjecture by proving: (1) for every tree $T$, the class of $T$-pivot-minor-free distance-hereditary graphs has bounded linear rank-width if and only if $T$ is a caterpillar; (2) for every caterpillar $T$ on at most four vertices, the class of $T$-pivot-minor-free graphs has bounded linear rank-width. To prove our second result, we only need to consider $T=P_4$ and $T=K_{1,3}$, but we follow a general strategy: first we show that the class of $T$-pivot-minor-free graphs is contained in some class of $(H_1,H_2)$-free graphs, which we then show to have bounded linear rank-width. In particular, we prove that the class of $(K_3,S_{1,2,2})$-free graphs has bounded linear rank-width, which strengthens a known result that this graph class has bounded rank-width.
△ Less
Submitted 11 August, 2021; v1 submitted 2 August, 2020;
originally announced August 2020.
-
Some log and weak majorization inequalities in Euclidean Jordan algebras
Authors:
Jiyuan Tao,
Juyoung Jeong,
Muddappa Gowda
Abstract:
Motivated by Horn's log-majorization (singular value) inequality $s(AB)\underset{log}{\prec} s(A)*s(B)$ and the related weak-majorization inequality $s(AB)\underset{w}{\prec} s(A)*s(B)$ for square complex matrices, we consider their Hermitian analogs $λ(\sqrt{A}B\sqrt{A}) \underset{log}{\prec} λ(A)*λ(B)$ for positive semidefinite matrices and $λ(|A\circ B|) \underset{w}{\prec} λ(|A|)*λ(|B|)$ for g…
▽ More
Motivated by Horn's log-majorization (singular value) inequality $s(AB)\underset{log}{\prec} s(A)*s(B)$ and the related weak-majorization inequality $s(AB)\underset{w}{\prec} s(A)*s(B)$ for square complex matrices, we consider their Hermitian analogs $λ(\sqrt{A}B\sqrt{A}) \underset{log}{\prec} λ(A)*λ(B)$ for positive semidefinite matrices and $λ(|A\circ B|) \underset{w}{\prec} λ(|A|)*λ(|B|)$ for general (Hermitian) matrices, where $A\circ B$ denotes the Jordan product of $A$ and $B$ and $*$ denotes the componentwise product in $R^n$. In this paper, we extended these inequalities to the setting of Euclidean Jordan algebras in the form $λ\big (P_{\sqrt{a}}(b)\big )\underset{log}{\prec} λ(a)*λ(b)$ for $a,b\geq 0$ and $λ\big (|a\circ b|\big )\underset{w}{\prec} λ(|a|)*λ(|b|)$ for all $a$ and $b$, where $P_u$ and $λ(u)$ denote, respectively, the quadratic representation and the eigenvalue vector of an element $u$. We also describe inequalities of the form $λ(|A\bullet b|)\underset{w}{\prec} λ({\mathrm{diag}}(A))*λ(|b|)$, where $A$ is a real symmetric positive semidefinite matrix and $A\,\bullet\, b$ is the Schur product of $A$ and $b$. In the form of an application, we prove the generalized Hölder type inequality $||a\circ b||_p\leq ||a||_r\,||b||_s$, where $||x||_p:=||λ(x)||_p$ denotes the spectral $p$-norm of $x$ and $p,q,r\in [1,\infty]$ with $\frac{1}{p}=\frac{1}{r}+\frac{1}{s}$. We also give precise values of the norms of the Lyapunov transformation $L_a$ and $P_a$ relative to two spectral $p$-norms.
△ Less
Submitted 7 May, 2020; v1 submitted 27 March, 2020;
originally announced March 2020.
-
Online Ramsey theory for a triangle on $F$-free graphs
Authors:
Hojin Choi,
Ilkyoo Choi,
Jisu Jeong,
Sang-il Oum
Abstract:
Given a class $\mathcal{C}$ of graphs and a fixed graph $H$, the online Ramsey game for $H$ on $\mathcal C$ is a game between two players Builder and Painter as follows: an unbounded set of vertices is given as an initial state, and on each turn Builder introduces a new edge with the constraint that the resulting graph must be in $\mathcal C$, and Painter colors the new edge either red or blue. Bu…
▽ More
Given a class $\mathcal{C}$ of graphs and a fixed graph $H$, the online Ramsey game for $H$ on $\mathcal C$ is a game between two players Builder and Painter as follows: an unbounded set of vertices is given as an initial state, and on each turn Builder introduces a new edge with the constraint that the resulting graph must be in $\mathcal C$, and Painter colors the new edge either red or blue. Builder wins the game if Painter is forced to make a monochromatic copy of $H$ at some point in the game. Otherwise, Painter can avoid creating a monochromatic copy of $H$ forever, and we say Painter wins the game.
We initiate the study of characterizing the graphs $F$ such that for a given graph $H$, Painter wins the online Ramsey game for $H$ on $F$-free graphs. We characterize all graphs $F$ such that Painter wins the online Ramsey game for $C_3$ on the class of $F$-free graphs, except when $F$ is one particular graph. We also show that Painter wins the online Ramsey game for $C_3$ on the class of $K_4$-minor-free graphs, extending a result by Grytczuk, Hałuszczak, and Kierstead.
△ Less
Submitted 9 January, 2019;
originally announced January 2019.
-
AF-embeddable labeled graph $C^*$-algebras
Authors:
Ja A Jeong,
Gi Hyun Park
Abstract:
Finiteness conditions for $C^*$-algebras like AF-embeddability, quasidiagonality, stable finiteness have been studied by many authors and shown to be equivalent for certain classes of $C^*$-algebras. For example, Schfhauser proves that these conditions are all equivalent for $C^*$-algebras of compact topological graphs, and similar results were established by Clark, an Huef, and Sims for $k$-graph…
▽ More
Finiteness conditions for $C^*$-algebras like AF-embeddability, quasidiagonality, stable finiteness have been studied by many authors and shown to be equivalent for certain classes of $C^*$-algebras. For example, Schfhauser proves that these conditions are all equivalent for $C^*$-algebras of compact topological graphs, and similar results were established by Clark, an Huef, and Sims for $k$-graph algebras. If $C^*(E,\mathcal L)$ is a labeled graph $C^*$-algebra over finite alphabet, it can be viewed as a $C^*$-algebra of a compact topological graph. For these labeled graph $C^*$-algebras, we provide conditions on labeled paths and show that they are equivalent to AF-embeddability of $C^*(E,\mathcal L)$.
△ Less
Submitted 1 November, 2018;
originally announced November 2018.
-
On the connectedness of spectral sets and irreducibility of spectral cones in Euclidean Jordan algebras
Authors:
Muddappa Gowda,
Juyoung Jeong
Abstract:
Let V be a Euclidean Jordan algebra of rank n. The eigenvalue map from V to R^n takes any element x in V to the vector of eigenvalues of x written in the decreasing order. A spectral set in V is the inverse image of a permutation set in R^n under the eigenvalue map. If the permutation set is also a convex cone, the spectral set is said to be a spectral cone. This paper deals with connectedness and…
▽ More
Let V be a Euclidean Jordan algebra of rank n. The eigenvalue map from V to R^n takes any element x in V to the vector of eigenvalues of x written in the decreasing order. A spectral set in V is the inverse image of a permutation set in R^n under the eigenvalue map. If the permutation set is also a convex cone, the spectral set is said to be a spectral cone. This paper deals with connectedness and arcwise connectedness properties of spectral sets. By relying on the result that in a simple Euclidean Jordan algebra, every eigenvalue orbit is arcwise connected, we show that if a permutation invariant set is connected (arcwise connected), then the corresponding spectral set is connected (respectively, arcwise connected). A related result is that in a simple Euclidean Jordan algebra, every pointed spectral cone is irreducible.
△ Less
Submitted 4 May, 2018;
originally announced May 2018.
-
Finding branch-decompositions of matroids, hypergraphs, and more
Authors:
Jisu Jeong,
Eun Jung Kim,
Sang-il Oum
Abstract:
Given $n$ subspaces of a finite-dimensional vector space over a fixed finite field $\mathbb F$, we wish to find a "branch-decomposition" of these subspaces of width at most $k$ that is a subcubic tree $T$ with $n$ leaves mapped bijectively to the subspaces such that for every edge $e$ of $T$, the sum of subspaces associated to the leaves in one component of $T-e$ and the sum of subspaces associate…
▽ More
Given $n$ subspaces of a finite-dimensional vector space over a fixed finite field $\mathbb F$, we wish to find a "branch-decomposition" of these subspaces of width at most $k$ that is a subcubic tree $T$ with $n$ leaves mapped bijectively to the subspaces such that for every edge $e$ of $T$, the sum of subspaces associated to the leaves in one component of $T-e$ and the sum of subspaces associated to the leaves in the other component have the intersection of dimension at most $k$. This problem includes the problems of computing branch-width of $\mathbb F$-represented matroids, rank-width of graphs, branch-width of hypergraphs, and carving-width of graphs.
We present a fixed-parameter algorithm to construct such a branch-decomposition of width at most $k$, if it exists, for input subspaces of a finite-dimensional vector space over $\mathbb F$. Our algorithm is analogous to the algorithm of Bodlaender and Kloks (1996) on tree-width of graphs. To extend their framework to branch-decompositions of vector spaces, we developed highly generic tools for branch-decompositions on vector spaces. The only known previous fixed-parameter algorithm for branch-width of $\mathbb F$-represented matroids was due to Hliněný and Oum (2008) that runs in time $O(n^3)$ where $n$ is the number of elements of the input $\mathbb F$-represented matroid. But their method is highly indirect. Their algorithm uses the nontrivial fact by Geelen et al. (2003) that the number of forbidden minors is finite and uses the algorithm of Hliněný (2006) on checking monadic second-order formulas on $\mathbb F$-represented matroids of small branch-width. Our result does not depend on such a fact and is completely self-contained, and yet matches their asymptotic running time for each fixed $k$.
△ Less
Submitted 27 October, 2021; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Permutation invariant proper polyhedral cones and their Lyapunov rank
Authors:
Juyoung Jeong,
M. Seetharama Gowda
Abstract:
The Lyapunov rank of a proper cone $K$ in a finite dimensional real Hilbert space is defined as the dimension of the space of all Lyapunov-like transformations on $K$, or equivalently, the dimension of the Lie algebra of the automorphism group of $K$. This (rank) measures the number of linearly independent bilinear relations needed to express a complementarity system on $K$ (that arises, for examp…
▽ More
The Lyapunov rank of a proper cone $K$ in a finite dimensional real Hilbert space is defined as the dimension of the space of all Lyapunov-like transformations on $K$, or equivalently, the dimension of the Lie algebra of the automorphism group of $K$. This (rank) measures the number of linearly independent bilinear relations needed to express a complementarity system on $K$ (that arises, for example, from a linear program or a complementarity problem on the cone). Motivated by the problem of describing spectral/proper cones where the complementarity system can be expressed as a square system (that is, where the Lyapunov rank is greater than equal to the dimension of the ambient space), we consider proper polyhedral cones in $\mathbb{R}^n$ that are permutation invariant. For such cones we show that the Lyapunov rank is either 1 (in which case, the cone is irreducible) or n (in which case, the cone is isomorphic to the nonnegative orthart in $\mathbb{R}^n$). In the latter case, we show that the corresponding spectral cone is isomorphic to a symmetric cone.
△ Less
Submitted 10 August, 2017;
originally announced August 2017.
-
Simple labeled graph $C^*$-algebras are associated to disagreeable labeled spaces
Authors:
Ja A Jeong,
Gi Hyun Park
Abstract:
By a labeled graph $C^*$-algebra we mean a $C^*$-algebra associated to a labeled space $(E,\mathcal L,\mathcal E)$ consisting of a labeled graph $(E,\mathcal L)$ and the smallest normal accommodating set $\mathcal E$ of vertex subsets. Every graph $C^*$-algebra $C^*(E)$ is a labeled graph $C^*$-algebra and it is well known that $C^*(E)$ is simple if and only if the graph $E$ is cofinal and satisfi…
▽ More
By a labeled graph $C^*$-algebra we mean a $C^*$-algebra associated to a labeled space $(E,\mathcal L,\mathcal E)$ consisting of a labeled graph $(E,\mathcal L)$ and the smallest normal accommodating set $\mathcal E$ of vertex subsets. Every graph $C^*$-algebra $C^*(E)$ is a labeled graph $C^*$-algebra and it is well known that $C^*(E)$ is simple if and only if the graph $E$ is cofinal and satisfies Condition (L). Bates and Pask extend these conditions of graphs $E$ to labeled spaces, and show that if a set-finite and receiver set-finite labeled space $(E,\mathcal L, \mathcal E)$ is cofinal and disagreeable, then its $C^*$-algebra $C^*(E,\mathcal L, \mathcal E)$ is simple. In this paper, we show that the converse is also true.
△ Less
Submitted 30 July, 2017; v1 submitted 16 July, 2017;
originally announced July 2017.
-
Purely infinite labeled graph $C^*$-algebras
Authors:
Ja A Jeong,
Eun Ji Kang,
Gi Hyun Park
Abstract:
In this paper, we consider pure infiniteness of generalized Cuntz-Krieger algebras associated to labeled spaces $(E,\mathcal{L},\mathcal{E})$. It is shown that a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{E})$ is purely infinite in the sense that every nonzero hereditary subalgebra contains an infinite projection (we call this property (IH)) if $(E, \mathcal{L},\mathcal{E})$ is disagreeable and eve…
▽ More
In this paper, we consider pure infiniteness of generalized Cuntz-Krieger algebras associated to labeled spaces $(E,\mathcal{L},\mathcal{E})$. It is shown that a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{E})$ is purely infinite in the sense that every nonzero hereditary subalgebra contains an infinite projection (we call this property (IH)) if $(E, \mathcal{L},\mathcal{E})$ is disagreeable and every vertex connects to a loop. We also prove that under the condition analogous to (K) for usual graphs, $C^*(E,\mathcal{L},\mathcal{E})=C^*(p_A, s_a)$ is purely infinite in the sense of Kirchberg and Rørdam if and only if every generating projection $p_A$, $A\in \mathcal{E}$, is properly infinite, and also if and only if every quotient of $C^*(E,\mathcal{L},\mathcal{E})$ has the property (IH).
△ Less
Submitted 5 March, 2017;
originally announced March 2017.
-
Deciding whether there are infinitely many prime graphs with forbidden induced subgraphs
Authors:
Robert Brignall,
Hojin Choi,
Jisu Jeong,
Sang-il Oum
Abstract:
A homogeneous set of a graph $G$ is a set $X$ of vertices such that $2\le \lvert X\rvert <\lvert V(G)\rvert$ and no vertex in $V(G)-X$ has both a neighbor and a non-neighbor in $X$. A graph is prime if it has no homogeneous set.
We present an algorithm to decide whether a class of graphs given by a finite set of forbidden induced subgraphs contains infinitely many non-isomorphic prime graphs.
A homogeneous set of a graph $G$ is a set $X$ of vertices such that $2\le \lvert X\rvert <\lvert V(G)\rvert$ and no vertex in $V(G)-X$ has both a neighbor and a non-neighbor in $X$. A graph is prime if it has no homogeneous set.
We present an algorithm to decide whether a class of graphs given by a finite set of forbidden induced subgraphs contains infinitely many non-isomorphic prime graphs.
△ Less
Submitted 15 January, 2019; v1 submitted 22 July, 2016;
originally announced July 2016.
-
Characterizing graphs of maximum matching width at most 2
Authors:
Jisu Jeong,
Seongmin Ok,
Geewon Suh
Abstract:
The maximum matching width is a width-parameter that is defined on a branch-decomposition over the vertex set of a graph. The size of a maximum matching in the bipartite graph is used as a cut-function. In this paper, we characterize the graphs of maximum matching width at most 2 using the minor obstruction set. Also, we compute the exact value of the maximum matching width of a grid.
The maximum matching width is a width-parameter that is defined on a branch-decomposition over the vertex set of a graph. The size of a maximum matching in the bipartite graph is used as a cut-function. In this paper, we characterize the graphs of maximum matching width at most 2 using the minor obstruction set. Also, we compute the exact value of the maximum matching width of a grid.
△ Less
Submitted 22 June, 2016;
originally announced June 2016.
-
Commutation principles in Euclidean Jordan algebras and normal decomposition systems
Authors:
M. Seetharama Gowda,
Juyoung Jeong
Abstract:
The commutation principle of Ramirez, Seeger, and Sossa \cite{ramirez-seeger-sossa} proved in the setting of Euclidean Jordan algebras says that when the sum of a Fréchet differentiable function $Θ(x)$ and a spectral function $F(x)$ is minimized over a spectral set $Ω$, any local minimizer $a$ operator commutes with the Fréchet derivative $Θ^{\prime}(a)$. In this paper, we extend this result to se…
▽ More
The commutation principle of Ramirez, Seeger, and Sossa \cite{ramirez-seeger-sossa} proved in the setting of Euclidean Jordan algebras says that when the sum of a Fréchet differentiable function $Θ(x)$ and a spectral function $F(x)$ is minimized over a spectral set $Ω$, any local minimizer $a$ operator commutes with the Fréchet derivative $Θ^{\prime}(a)$. In this paper, we extend this result to sets and functions which are (just) invariant under algebra automorphisms. We also consider a similar principle in the setting of normal decomposition systems.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
Maximum matching width: new characterizations and a fast algorithm for dominating set
Authors:
Jisu Jeong,
Sigve Hortemo Sæther,
Jan Arne Telle
Abstract:
We give alternative definitions for maximum matching width, e.g. a graph $G$ has $\operatorname{mmw}(G) \leq k$ if and only if it is a subgraph of a chordal graph $H$ and for every maximal clique $X$ of $H$ there exists $A,B,C \subseteq X$ with $A \cup B \cup C=X$ and $|A|,|B|,|C| \leq k$ such that any subset of $X$ that is a minimal separator of $H$ is a subset of either $A, B$ or $C$. Treewidth…
▽ More
We give alternative definitions for maximum matching width, e.g. a graph $G$ has $\operatorname{mmw}(G) \leq k$ if and only if it is a subgraph of a chordal graph $H$ and for every maximal clique $X$ of $H$ there exists $A,B,C \subseteq X$ with $A \cup B \cup C=X$ and $|A|,|B|,|C| \leq k$ such that any subset of $X$ that is a minimal separator of $H$ is a subset of either $A, B$ or $C$. Treewidth and branchwidth have alternative definitions through intersections of subtrees, where treewidth focuses on nodes and branchwidth focuses on edges. We show that mm-width combines both aspects, focusing on nodes and on edges. Based on this we prove that given a graph $G$ and a branch decomposition of mm-width $k$ we can solve Dominating Set in time $O^*({8^k})$, thereby beating $O^*(3^{\operatorname{tw}(G)})$ whenever $\operatorname{tw}(G) > \log_3{8} \times k \approx 1.893 k$. Note that $\operatorname{mmw}(G) \leq \operatorname{tw}(G)+1 \leq 3 \operatorname{mmw}(G)$ and these inequalities are tight. Given only the graph $G$ and using the best known algorithms to find decompositions, maximum matching width will be better for solving Dominating Set whenever $\operatorname{tw}(G) > 1.549 \times \operatorname{mmw}(G)$.
△ Less
Submitted 9 July, 2015;
originally announced July 2015.
-
The "art of trellis decoding" is fixed-parameter tractable
Authors:
Jisu Jeong,
Eun Jung Kim,
Sang-il Oum
Abstract:
Given n subspaces of a finite-dimensional vector space over a fixed finite field $\mathbb F$, we wish to find a linear layout $V_1,V_2,\ldots,V_n$ of the subspaces such that $\dim((V_1+V_2+\cdots+V_i) \cap (V_{i+1}+\cdots+V_n))\le k$ for all i, such a linear layout is said to have width at most k. When restricted to 1-dimensional subspaces, this problem is equivalent to computing the trellis-width…
▽ More
Given n subspaces of a finite-dimensional vector space over a fixed finite field $\mathbb F$, we wish to find a linear layout $V_1,V_2,\ldots,V_n$ of the subspaces such that $\dim((V_1+V_2+\cdots+V_i) \cap (V_{i+1}+\cdots+V_n))\le k$ for all i, such a linear layout is said to have width at most k. When restricted to 1-dimensional subspaces, this problem is equivalent to computing the trellis-width (or minimum trellis state-complexity) of a linear code in coding theory and computing the path-width of an $\mathbb F$-represented matroid in matroid theory.
We present a fixed-parameter tractable algorithm to construct a linear layout of width at most k, if it exists, for input subspaces of a finite-dimensional vector space over $\mathbb F$. As corollaries, we obtain a fixed-parameter tractable algorithm to produce a path-decomposition of width at most k for an input $\mathbb F$-represented matroid of path-width at most k, and a fixed-parameter tractable algorithm to find a linear rank-decomposition of width at most k for an input graph of linear rank-width at most k. In both corollaries, no such algorithms were known previously.
It was previously known that a fixed-parameter tractable algorithm exists for the decision version of the problem for matroid path-width, a theorem by Geelen, Gerards, and Whittle~(2002) implies that for each fixed finite field $\mathbb F$, there are finitely many forbidden $\mathbb F$-representable minors for the class of matroids of path-width at most k. An algorithm by Hliněný (2006) can detect a minor in an input $\mathbb F$-represented matroid of bounded branch-width. However, this indirect approach would not produce an actual path-decomposition. Our algorithm is the first one to construct such a path-decomposition and does not depend on the finiteness of forbidden minors.
△ Less
Submitted 1 March, 2017; v1 submitted 8 July, 2015;
originally announced July 2015.
-
Finite simple labeled graph $C^*$-algebras of Cantor minimal subshifts
Authors:
Ja A Jeong,
Eun Ji Kang,
Sun Ho Kim,
Gi Hyun Park
Abstract:
It is now well known that a simple graph $C^*$-algebra $C^*(E)$ of a directed graph $E$ is either AF or purely infinite. In this paper, we address the question of whether this is the case for labeled graph $C^*$-algebras recently introduced by Bates and Pask as one of the generalizations of graph $C^*$-algebras, and show that there exists a family of simple unital labeled graph $C^*$-algebras whic…
▽ More
It is now well known that a simple graph $C^*$-algebra $C^*(E)$ of a directed graph $E$ is either AF or purely infinite. In this paper, we address the question of whether this is the case for labeled graph $C^*$-algebras recently introduced by Bates and Pask as one of the generalizations of graph $C^*$-algebras, and show that there exists a family of simple unital labeled graph $C^*$-algebras which are neither AF nor purely infinite. Actually these algebras are shown to be isomorphic to crossed products $C(X)\times_T \mathbb Z$ where the dynamical systems $(X,T)$ are Cantor minimal subshifts. Then it is an immediate consequence of well known results about this type of crossed products that each labeled graph $C^*$-algebra in the family obtained here is an $A\mathbb T$ algebra with real rank zero and has $\mathbb Z$ as its $K_1$-group.
△ Less
Submitted 28 February, 2016; v1 submitted 14 April, 2015;
originally announced April 2015.
-
$(1, k)$-coloring of graphs with girth at least $5$ on a surface
Authors:
Hojin Choi,
Ilkyoo Choi,
Jisu Jeong,
Geewon Suh
Abstract:
A graph is $(d_1, ..., d_r)$-colorable if its vertex set can be partitioned into $r$ sets $V_1, ..., V_r$ so that the maximum degree of the graph induced by $V_i$ is at most $d_i$ for each $i\in \{1, ..., r\}$. For a given pair $(g, d_1)$, the question of determining the minimum $d_2=d_2(g; d_1)$ such that planar graphs with girth at least $g$ are $(d_1, d_2)$-colorable has attracted much interest…
▽ More
A graph is $(d_1, ..., d_r)$-colorable if its vertex set can be partitioned into $r$ sets $V_1, ..., V_r$ so that the maximum degree of the graph induced by $V_i$ is at most $d_i$ for each $i\in \{1, ..., r\}$. For a given pair $(g, d_1)$, the question of determining the minimum $d_2=d_2(g; d_1)$ such that planar graphs with girth at least $g$ are $(d_1, d_2)$-colorable has attracted much interest. The finiteness of $d_2(g; d_1)$ was known for all cases except when $(g, d_1)=(5, 1)$. Montassier and Ochem explicitly asked if $d_2(5; 1)$ is finite. We answer this question in the affirmative with $d_2(5; 1)\leq 10$; namely, we prove that all planar graphs with girth at least $5$ are $(1, 10)$-colorable. Moreover, our proof extends to the statement that for any surface $S$ of Euler genus $γ$, there exists a $K=K(γ)$ where graphs with girth at least $5$ that are embeddable on $S$ are $(1, K)$-colorable. On the other hand, there is no finite $k$ where planar graphs (and thus embeddable on any surface) with girth at least $5$ are $(0, k)$-colorable.
△ Less
Submitted 30 November, 2014;
originally announced December 2014.
-
Finite groups acting on higher dimensional noncommutative tori
Authors:
Ja A Jeong,
Jae Hyup Lee
Abstract:
For the canonical action $α$ of $\operatorname{SL}_2(\mathbb{Z})$ on 2-dimensional simple rotation algebras $\mathcal{A}_θ$, it is known that if $F$ is a finite subgroup of $\operatorname{SL}_2(\mathbb{Z})$, the crossed products $\mathcal{A}_θ\rtimes_αF$ are all AF algebras. In this paper we show that this is not the case for higher dimensional noncommutative tori. More precisely, we show that for…
▽ More
For the canonical action $α$ of $\operatorname{SL}_2(\mathbb{Z})$ on 2-dimensional simple rotation algebras $\mathcal{A}_θ$, it is known that if $F$ is a finite subgroup of $\operatorname{SL}_2(\mathbb{Z})$, the crossed products $\mathcal{A}_θ\rtimes_αF$ are all AF algebras. In this paper we show that this is not the case for higher dimensional noncommutative tori. More precisely, we show that for each $n\geq 3$ there exist noncommutative simple $φ(n)$-dimensional tori $\mathcal{A}_Θ$ which admit canonical action of $\mathbb{Z}_n$ and for each odd $n\geq 7$ with $2φ(n)\geq n+5$ their crossed products $\mathcal{A}_Θ\rtimes_α\mathbb{Z}_n$ are not AF (with nonzero $K_1$-groups). It is also shown that the only possible canonical action by a finite group on a $3$-dimensional simple torus is the flip action by $\mathbb{Z}_2$. Besides, we discuss the canonical actions by finite groups $\mathbb{Z}_5, \mathbb{Z}_8, \mathbb{Z}_{10}$, and $\mathbb{Z}_{12}$ on the $4$-dimensional torus of the form $\mathcal{A}_θ\otimes \mathcal{A}_θ$.
△ Less
Submitted 31 May, 2014; v1 submitted 8 February, 2014;
originally announced February 2014.
-
Excluded vertex-minors for graphs of linear rank-width at most k
Authors:
Jisu Jeong,
O-joung Kwon,
Sang-il Oum
Abstract:
Linear rank-width is a graph width parameter, which is a variation of rank-width by restricting its tree to a caterpillar. As a corollary of known theorems, for each $k$, there is a finite obstruction set $\mathcal{O}_k$ of graphs such that a graph $G$ has linear rank-width at most $k$ if and only if no vertex-minor of $G$ is isomorphic to a graph in $\mathcal{O}_k$. However, no attempts have been…
▽ More
Linear rank-width is a graph width parameter, which is a variation of rank-width by restricting its tree to a caterpillar. As a corollary of known theorems, for each $k$, there is a finite obstruction set $\mathcal{O}_k$ of graphs such that a graph $G$ has linear rank-width at most $k$ if and only if no vertex-minor of $G$ is isomorphic to a graph in $\mathcal{O}_k$. However, no attempts have been made to bound the number of graphs in $\mathcal{O}_k$ for $k\ge 2$. We show that for each $k$, there are at least $2^{Ω(3^k)}$ pairwise locally non-equivalent graphs in $\mathcal{O}_k$, and therefore the number of graphs in $\mathcal{O}_k$ is at least double exponential.
To prove this theorem, it is necessary to characterize when two graphs in $\mathcal O_k$ are locally equivalent. A graph is a block graph if all of its blocks are complete graphs. We prove that if two block graphs without simplicial vertices of degree at least $2$ are locally equivalent, then they are isomorphic. This not only is useful for our theorem but also implies a theorem of Bouchet [Transforming trees by successive local complementations, J. Graph Theory 12 (1988), no. 2, 195-207] stating that if two trees are locally equivalent, then they are isomorphic.
△ Less
Submitted 22 April, 2014; v1 submitted 11 November, 2013;
originally announced November 2013.
-
AF labeled graph $C^*$-algebras
Authors:
J. A. Jeong,
E. J. Kang,
S. H. Kim
Abstract:
It is known that a graph $C^*$-algebra $C^*(E)$ is approximately finite dimensional (AF) if and only if the graph $E$ has no loops. In this paper we consider the question of when a labeled graph $C^*$-algebra $C^*(E,\CL,\CB)$ is AF. A notion of loop in a labeled space $(E,\CL,\CB)$ is defined when $\CB$ is the smallest one among the accommodating sets that are closed under relative complements and…
▽ More
It is known that a graph $C^*$-algebra $C^*(E)$ is approximately finite dimensional (AF) if and only if the graph $E$ has no loops. In this paper we consider the question of when a labeled graph $C^*$-algebra $C^*(E,\CL,\CB)$ is AF. A notion of loop in a labeled space $(E,\CL,\CB)$ is defined when $\CB$ is the smallest one among the accommodating sets that are closed under relative complements and it is proved that if a labeled graph $C^*$-algebra is AF, the labeled space has no loops. A sufficient condition for a labeled space to be associated to AF algebra is also given. For graph $C^*$-algebras $C^*(E)$, this sufficient condition is also a necessary one. Besides, we discuss other equivalent conditions for a graph $C^*$-algebra to be AF in the setting of labeled graphs and prove that these conditions are not always equivalent by invoking various examples.
△ Less
Submitted 5 June, 2013; v1 submitted 4 March, 2013;
originally announced March 2013.
-
The structure of gauge-invariant ideals of labelled graph $C^*$-algebras
Authors:
Ja A Jeong,
Sun Ho Kim,
Gi Hyun Park
Abstract:
In this paper, we consider the gauge-invariant ideal structure of a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{B})$ associated to a set-finite, receiver set-finite and weakly left-resolving labelled space $(E,\mathcal{L},\mathcal{B})$, where $\mathcal{L}$ is a labelling map assigning an alphabet to each edge of the directed graph $E$ with no sinks. Under the assumption that an accommodating set…
▽ More
In this paper, we consider the gauge-invariant ideal structure of a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{B})$ associated to a set-finite, receiver set-finite and weakly left-resolving labelled space $(E,\mathcal{L},\mathcal{B})$, where $\mathcal{L}$ is a labelling map assigning an alphabet to each edge of the directed graph $E$ with no sinks. Under the assumption that an accommodating set $\mathcal{B}$ is closed under taking relative complement, it is obtained that there is a one to one correspondence between the set of all hereditary saturated subsets of $\mathcal{B}$ and the gauge-invariant ideals of $C^*(E,\mathcal{L},\mathcal{B})$. For this, we introduce a quotient labelled space $(E,\mathcal{L},[\mathcal{B}]_R)$ arising from an equivalence relation $\sim_R$ on $\mathcal{B}$ and show the existence of the $C^*$-algebra $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ generated by a universal representation of $(E,\mathcal{L},[\mathcal{B}]_R)$. Also the gauge-invariant uniqueness theorem for $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ is obtained.
For simple labelled graph $C^*$-algebras $C^*(E,\mathcal{L},\bar{\mathcal{E}})$, where $\bar{\mathcal{E}}$ is the smallest accommodating set containing all the generalized vertices, it is observed that if for each vertex $v$ of $E$, a generalized vertex $[v]_l$ is finite for some $l$, then $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ is simple if and only if $(E,\mathcal{L},\bar{\mathcal{E}})$ is strongly cofinal and disagreeable. This is done by examining the merged labelled graph $(F,\mathcal{L}_F)$ of $(E,\mathcal{L})$ and the common properties that $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ and $C^*(F,\mathcal{L},\bar{\mathcal{F}})$ share.
△ Less
Submitted 21 February, 2011;
originally announced February 2011.
-
On simple labelled graph $C^*$-algebras
Authors:
Ja A Jeong,
Sun Ho Kim
Abstract:
We consider the simplicity of the $C^*$-algebra associated to a labelled space $(E,\CL,\bE)$, where $(E,\CL)$ is a labelled graph and $\bE$ is the smallest accommodating set containing all generalized vertices. We prove that if $C^*(E, \CL, \bE)$ is simple, then $(E, \CL, \bE)$ is strongly cofinal, and if, in addition, $\{v\}\in \bE$ for every vertex $v$, then $(E, \CL, \bE)$ is disagreeable. It i…
▽ More
We consider the simplicity of the $C^*$-algebra associated to a labelled space $(E,\CL,\bE)$, where $(E,\CL)$ is a labelled graph and $\bE$ is the smallest accommodating set containing all generalized vertices. We prove that if $C^*(E, \CL, \bE)$ is simple, then $(E, \CL, \bE)$ is strongly cofinal, and if, in addition, $\{v\}\in \bE$ for every vertex $v$, then $(E, \CL, \bE)$ is disagreeable. It is observed that $C^*(E, \CL, \bE)$ is simple whenever $(E, \CL, \bE)$ is strongly cofinal and disagreeable, which is recently known for the $C^*$-algebra $C^*(E, \CL, \CEa)$ associated to a labelled space $(E, \CL, \CEa)$ of the smallest accommodating set $\CEa$.
△ Less
Submitted 25 January, 2011;
originally announced January 2011.
-
Cancellation for inclusions of C*-algebras of finite depth
Authors:
Ja A Jeong,
Hiroyuki Osaka,
N. Christopher Phillips,
Tamotsu Teruya
Abstract:
Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n - 1. As an application, we show that if a unital inclusion A \subset B of C*-algebras has index-finite type and finite depth, and A is simple with stable rank on…
▽ More
Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n - 1. As an application, we show that if a unital inclusion A \subset B of C*-algebras has index-finite type and finite depth, and A is simple with stable rank one and Property (SP), then B has cancellation. In particular, if A is a simple unital C*-algebra with stable rank one and Property (SP), and a finite group G acts on A, then the crossed product has cancellation. Separately, if the group is the integers, we obtain cancellation under the additional hypotheses that the group action is outer and is trivial on K_0 (A).
△ Less
Submitted 26 April, 2007;
originally announced April 2007.
-
Saturated actions by finite dimensional Hopf *-algebras on C*-algebras
Authors:
J. A. Jeong,
G. H. Park
Abstract:
If a finite group action $α$ on a unital $C^*$-algebra $M$ is saturated, the canonical conditional expectation $E:M\to M^α$ onto the fixed point algebra is known to be of index finite type with $Index(E)=|G|$ in the sense of Watatani. More generally if a finite dimensional Hopf $*$-algebra $A$ acts on $M$ and the action is saturated, the same is true with $Index (E)=\dim(A)$. In this paper we pr…
▽ More
If a finite group action $α$ on a unital $C^*$-algebra $M$ is saturated, the canonical conditional expectation $E:M\to M^α$ onto the fixed point algebra is known to be of index finite type with $Index(E)=|G|$ in the sense of Watatani. More generally if a finite dimensional Hopf $*$-algebra $A$ acts on $M$ and the action is saturated, the same is true with $Index (E)=\dim(A)$. In this paper we prove that the converse is true. Especially in case $M$ is a commutative $C^*$-algebra $C(X)$ and $α$ is a finite group action, we give an equivalent condition in order that the expectation $E:C(X)\to C(X)^α$ is of index finite type, from which we obtain that $α$ is saturated if and only if $G$ acts freely on $X$.
Actions by compact groups are also considered to show that the gauge action $γ$ on a graph $C^*$-algebra $C^*(E)$ associated with a locally finite directed graph $E$ is saturated.
△ Less
Submitted 12 April, 2007;
originally announced April 2007.
-
Topological entropy and AF subalgebras of graph C*-algebras
Authors:
Ja A Jeong,
Gi Hyun Park
Abstract:
Let A_E be the canonical AF subalgebra of a graph C*-algebra C*(E) associated with a locally finite directed graph E. For Brown-Voiculescu's topological entropy ht(Φ_E) of the canonical completely positive map Φ_E on C*(E), ht(Φ_E)=ht(Φ_E|_{A_E})=h_l(E)=h_b(E) is known to hold for a finite graph E, where h_l(E) is the loop entropy of Gurevic and h_b(E) is the block entropy of Salama. For an irre…
▽ More
Let A_E be the canonical AF subalgebra of a graph C*-algebra C*(E) associated with a locally finite directed graph E. For Brown-Voiculescu's topological entropy ht(Φ_E) of the canonical completely positive map Φ_E on C*(E), ht(Φ_E)=ht(Φ_E|_{A_E})=h_l(E)=h_b(E) is known to hold for a finite graph E, where h_l(E) is the loop entropy of Gurevic and h_b(E) is the block entropy of Salama. For an irreducible infinite graph E, the inequality h_l(E)\leq ht(Φ_E|_{A_E}) has been known recently. It is shown in this paper that ht(Φ_E|_{A_E})\leq max{h_b(E), h_b(tE)}, where tE is the graph E with the direction of the edges reversed. Some irreducible infinite graphs E_p(p>1) with ht(Φ_E|_{A_{E_p}})=log p are also examined.
△ Less
Submitted 29 June, 2004;
originally announced June 2004.
