• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.651-661
• /
• 2007

Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies an identity $s{\approx}t$ if the corresponding graph algebra $\underline{A(G)}$ satisfies $s{\approx}t$. A graph G=(V,E) is called an $(xy)x{\approx}x(yy)$ graph if the graph algebra $\underline{A(G)}$ satisfies the equation $(xy)x{\approx}x(yy)$. An identity $s{\approx}t$ of terms s and t of any type ${\tau}$ is called a hyperidentity of an algebra $\underline{A}$ if whenever the operation symbols occurring in s and t are replaced by any term operations of $\underline{A}$ of the appropriate arity, the resulting identities hold in $\underline{A}$. In this paper we characterize $(xy)x{\approx}x(yy)$ graph algebras, identities and hyperidentities in $(xy)x{\approx}x(yy)$ graph algebras.

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.601-631
• /
• 2010

In [6] and [7], we introduced graph von Neumann algebras which are the (groupoid) crossed product algebras of von Neumann algebras and graph groupoids via groupoid actions. We showed that such crossed product algebras have the graph-depending amalgamated reduced free probabilistic properties. In this paper, we will consider a scalar-valued $W^*$-probability on a given graph von Neumann algebra. We show that a diagonal graph $W^*$-probability space (as a scalar-valued $W^*$-probability space) and a graph W¤-probability space (as an amalgamated $W^*$-probability space) are compatible. By this compatibility, we can find the relation between amalgamated free distributions and scalar-valued free distributions on a graph von Neumann algebra. Under this compatibility, we observe the scalar-valued freeness on a graph von Neumann algebra.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.1
• /
• pp.1-15
• /
• 2000

In this paper, an efficient system for finding answers to a given path algebra expression in a directed acylic graph is discussed more particulary, in a multimedia presentration graph. Path algebra expressions are formulated using revised versions of operators next and until of temporal logic, and the connected operator. To evaluate queries with path algebra expressions, the node code system is proposed. In the node code system, the nodes of a presentation graph are assigned binary codes (node codes) that are used to represent nodes and paths in a presentation graph. Using node codes makes it easy to find parent-child predecessor-sucessor relationships between nodes. A pair of node codes for connected nodes uniquely identifies a path, and allows efficient set-at-a-time evaluations of path algebra expressions. In this paper, the node code representation of nodes and paths in multimedia presentation graphs are provided. The efficient algorithms for the evaluation of queries with path algebra expressions are also provided.

• Journal of the Korean Mathematical Society
• /
• v.43 no.6
• /
• pp.1301-1324
• /
• 2006

The affine homogeneous hypersurface in ${\mathbb{R}}^{n+1}$, which is a graph of a function $F:{\mathbb{R}}^n{\rightarrow}{\mathbb{R}}$ with |det DdF|=1, corresponds to a complete unimodular left symmetric algebra with a nondegenerate Hessian type inner product. We will investigate the condition for the domain over the homogeneous hypersurface to be homogeneous through an extension of the complete unimodular left symmetric algebra, which is called the graph extension.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.521-531
• /
• 2000

Graph C*-algebras C*(E) are the universal C*-algebras generated by partial isometries satisfying the Cuntz-Krieger relations determined by directed graphs E, and it is known that a simple graph C*-algebra is extremally rich in sense that it contains enough extreme consider a sufficient condition on a graph for which the associated graph algebra(possibly nonsimple) is extremally rich. We also present examples of nonextremally rich prime graph C*-algebras with finitely many ideals and with real rank zero.

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.657-673
• /
• 2009

The fixed point algebra $C^*(E)^{\gamma}$ of a gauge action $\gamma$ on a graph $C^*$-algebra $C^*(E)$ and its AF subalgebras $C^*(E)^{\gamma}_{\upsilon}$ associated to each vertex v do play an important role for the study of dynamical properties of $C^*(E)$. In this paper, we consider the stability of $C^*(E)^{\gamma}$ (an AF algebra is either stable or equipped with a (nonzero bounded) trace). It is known that $C^*(E)^{\gamma}$ is stably isomorphic to a graph $C^*$-algebra $C^*(E_{\mathbb{Z}}\;{\times}\;E)$ which we observe being stable. We first give an explicit isomorphism from $C^*(E)^{\gamma}$ to a full hereditary $C^*$-subalgebra of $C^*(E_{\mathbb{N}}\;{\times}\;E)({\subset}\;C^*(E_{\mathbb{Z}}\;{\times}\;E))$ and then show that $C^*(E_{\mathbb{N}}\;{\times}\;E)$ is stable whenever $C^*(E)^{\gamma}$ is so. Thus $C^*(E)^{\gamma}$ cannot be stable if $C^*(E_{\mathbb{N}}\;{\times}\;E)$ admits a trace. It is shown that this is the case if the vertex matrix of E has an eigenvector with an eigenvalue $\lambda$ > 1. The AF algebras $C^*(E)^{\gamma}_{\upsilon}$ are shown to be nonstable whenever E is irreducible. Several examples are discussed.

• Journal of KIISE:Databases
• /
• v.27 no.2
• /
• pp.185-198
• /
• 2000

Recently the technological advance in the hardware dealing with multimedia data as well as the explosive increase of the volume of multimedia data bring about new interest in the use of multimedia presentations in many application domains. To use multimedia presentations efficiently, the integration of multimedia presentations into DBMS is necessary. This paper presents a multimedia presentatation query language based on contents and query processing techniques. Presently, multimedia presentation authoring tools denote a multimedia presentation using a presentation graph which is a DAG. A Node in the graph is a same type of media stream and edges denote a play-out order and a synchronization way among nodes. The contents of presentations graphs are the information of each stream, the sequential order of the information inside each stream and the play-out order among the streams. GCalculus/S is a calculus-based query language and can deal with the contents of a presentation graph and physical characteristics of multimedia data. It expresses the sequential order of information inside each stream and the play-out order of streams of a presentation graph using temporal operators Next, Connected and Until. O-Algebra, which is object algebra, is extended to process GCalculus/S queries.

• Journal of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.711-725
• /
• 2008

We give an explicit construction of Grobner-Shirshov pairs and monomial bases for finite-dimensional irreducible representations of the simple Lie algebra $sp_4$. We also identify the monomial basis consisting of the reduced monomials with a set of semistandard tableaux of a given shape, on which we give a colored oriented graph structure.

• East Asian mathematical journal
• /
• v.21 no.2
• /
• pp.249-260
• /
• 2005

Experimentation using computer plays an important part in education and research in graph theory. The purpose of this paper is to develop the CAS techniques for the hands-on approach in graph theory specifically on the topic of constructing the spanning tree. This paper discusses the advantages of CAS as the software system for doing graph theory and introduces the software solutions integrating multimedia user interface developed by the author, which extend the functionality of the existing CAS-based graph theory software package.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.161-164
• /
• 2000

A cyclic shop is a production system that repeatedly produces identical sets of jobs, called minimal part sets, in the same loading and processing sequence. We consider a version of cyclic shop where the operations are processed and unloaded within time limits, so called a time window. We model the shop using an event graph model, a class of Petri nets. To represent the time window constraint, we introduce places with negative time delays. From the shop modeling graph, we develop a linear system model based on the max- plus algebra and characterize the conditions on the existence of a stable schedule.