Source author record

Suyoung Choi

Suyoung Choi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

24works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2026arXiv

Shape-Aware Topological Representation for Pipeline Hyperbola Detection in GPR Data

Ground Penetrating Radar (GPR) is a widely used Non-Destructive Testing (NDT) technique for subsurface exploration, particularly in infrastructure inspection and maintenance. However, conventional interpretation methods are often limited by noise sensitivity and a lack of structural awareness. This study presents a novel framework that enhances the detection of underground utilities, especially pipelines, by integrating shape-aware topological features derived from B-scan GPR images using Topological Data Analysis (TDA), with the spatial detection capabilities of the YOLOv5 deep neural network (DNN). We propose a novel shape-aware topological representation that amplifies structural features in the input data, thereby improving the model's responsiveness to the geometrical features of buried objects. To address the scarcity of annotated real-world data, we employ a Sim2Real strategy that generates diverse and realistic synthetic datasets, effectively bridging the gap between simulated and real-world domains. Experimental results demonstrate significant improvements in mean Average Precision (mAP), validating the robustness and efficacy of our approach. This approach underscores the potential of TDA-enhanced learning in achieving reliable, real-time subsurface object detection, with broad applications in urban planning, safety inspection, and infrastructure management.

preprint2016arXiv

Pseudograph and its associated real toric manifold

Given a simple graph $G$, the graph associahedron $P_G$ is a convex polytope whose facets correspond to the connected induced subgraphs of $G$. Graph associahedra have been studied widely and are found in a broad range of subjects. Recently, S. Choi and H. Park computed the rational Betti numbers of the real toric variety corresponding to a graph associahedron under the canonical Delzant realization. In this paper, we focus on a pseudograph associahedron which was introduced by Carr, Devadoss and Forcey, and then discuss how to compute the Poincaré polynomial of the real toric variety corresponding to a pseudograph associahedron under the canonical Delzant realization.

preprint2014arXiv

Invariance of Pontrjagin classes for Bott manifolds

A Bott manifold is the total space of some iterated $\mathbb C P^1$-bundle over a point. We prove that any graded ring isomorphism between the cohomology rings of two Bott manifolds preserves their Pontrjagin classes. Moreover, we prove that such an isomorphism is induced from a diffeomorphism if the Bott manifolds are $\mathbb Z/2$-trivial, where a Bott manifold is called $\mathbb Z/2$-trivial if its cohomology ring with $\mathbb Z/2$-coefficient is isomorphic to that of a product of $\mathbb C P^1$'s.

preprint2013arXiv

A new graph invariant arises in toric topology

In this paper, we introduce new combinatorial invariants of any finite simple graph, which arise in toric topology. We compute the $i$-th (rational) Betti number and Euler characteristic of the real toric variety associated to a graph associahedron $P_{\B(G)}$. They can be calculated by a purely combinatorial method (in terms of graphs) and are named $a_i(G)$ and $b(G)$, respectively. To our surprise, for specific families of the graph $G$, our invariants are deeply related to well-known combinatorial sequences such as the Catalan numbers and Euler zigzag numbers.

preprint2013arXiv

On the cohomology and their torsion of real toric objects

In this paper, we do the two things. 1. We present a formula to compute the rational cohomology ring of a real topological toric manifold, and thus that of a small cover or a real toric manifold, which implies the formula of Suciu and Trevisan. Furthermore, the formula also works for other coefficient $\mathbb{Z}_q = \mathbb{Z}/q\mathbb{Z}$, where $q$ is a positive odd integer. 2. We construct infinitely many real toric manifolds and small covers whose integral cohomology have a $q$-torsion for any positive odd integer $q$.

preprint2012arXiv

Different moment-angle manifolds arising from two polytopes having the same bigraded Betti numbers

Two simple polytopes of dimension 3 having the identical bigraded Betti numbers but non-isomorphic Tor-algebras are presented. These polytopes provide two homotopically different moment-angle manifolds having the same bigraded Betti numbers. These two simple polytopes are the first examples of polytopes that are (toric) cohomologically rigid but not combinatorially rigid.

preprint2012arXiv

Torus actions on cohomology complex generalized Bott manifolds

A torus manifold is a closed smooth manifold of dimension $2n$ having an effective smooth $T^n = (S^1)^n$-action with non-empty fixed points. Petrie \cite{petrie:1973} has shown that any homotopy equivalence between a complex projective space $\CP^n$ and a torus manifold homotopy equivalent to $\CP^n$ preserves their Pontrjagin classes. A \emph{generalized Bott manifold} is a closed smooth manifold obtained as the total space of an iterated complex projective space bundles over a point, where each fibration is a projectivization of the Whitney sum of a finite many complex line bundles. For instance, we obtain a product of complex projective spaces if all fibrations are trivial. If each fiber is $\CP^1$, then we call it an (ordinary) \emph{Bott manifold}. In this paper, we investigate the invariance of Pontrjagin classes for torus manifolds whose cohomology ring is isomorphic to that of generalized Bott manifolds. We show that any cohomology ring isomorphism between two torus manifolds whose cohomology ring is isomorphic to that of a product of projective spaces preserves their Pontrjagin classes, which generalizes the Petrie's theorem. In addition, we show that any cohomology ring isomorphism between two torus cohomology Bott manifolds preserves their Pontrjagin classes. As a corollary, there are at most a finite number of torus manifolds homotopy equivalent to either a given product of complex projective space or a given Bott manifold.

preprint2010arXiv

Topological classification of torus manifolds which have codimension one extended actions

A toric manifold is a compact non-singular toric variety equipped with a natural half-dimensional compact torus action. A torus manifold is an oriented, closed, smooth manifold of dimension $2n$ with an effective action of a compact torus $T^{n}$ having a non-empty fixed point set. Hence, a torus manifold can be thought of as a generalization of a toric manifold. In the present paper, we focus on a certain class $\mM$ in the family of torus manifolds with codimension one extended actions, and we give a topological classification of $\mM$. As a result, their topological types are completely determined by their cohomology rings and real characteristic classes. The problem whether the cohomology ring determines the topological type of a toric manifold or not is one of the most interesting open problems in toric topology. One can also ask this problem for the class of torus manifolds even if its orbit spaces are highly structured. Our results provide a negative answer to this problem for torus manifolds. However, we find a sub-class of torus manifolds with codimension one extended actions which is not in the class of toric manifolds but which is classified by their cohomology rings.

preprint2009arXiv

A combinatorial proof of a formula for Betti numbers of a stacked polytope

For a simplicial complex $Δ$, the graded Betti number $β_{i,j}(k[Δ])$ of the Stanley-Reisner ring $k[Δ]$ over a field $k$ has a combinatorial interpretation due to Hochster. Terai and Hibi showed that if $Δ$ is the boundary complex of a $d$-dimensional stacked polytope with $n$ vertices for $d\geq3$, then $β_{k-1,k}(k[Δ])=(k-1)\binom{n-d}{k}$. We prove this combinatorially.

preprint2009arXiv

Classification of Q-trivial Bott manifolds

A Bott manifold is a closed smooth manifold obtained as the total space of an iterated $\C P^1$-bundle starting with a point, where each $\C P^1$-bundle is the projectivization of a Whitney sum of two complex line bundles. A \emph{$\Q$-trivial Bott manifold} of dimension $2n$ is a Bott manifold whose cohomology ring is isomorphic to that of $(\CP^1)^n$ with $\Q$-coefficients. We find all diffeomorphism types of $\Q$-trivial Bott manifolds and show that they are distinguished by their cohomology rings with $\Z$-coefficients. As a consequence, we see that the number of diffeomorphism classes in $\Q$-trivial Bott manifolds of dimension $2n$ is equal to the number of partitions of $n$. We even show that any cohomology ring isomorphism between two $\Q$-trivial Bott manifolds is induced by a diffeomorphism.

preprint2009arXiv

Properties of Bott manifolds and cohomological rigidity

The cohomological rigidity problem for toric manifolds asks whether the cohomology ring of a toric manifold determines the topological type of the manifold. In this paper, we consider the problem with the class of one-twist Bott manifolds to get an affirmative answer to the problem. We also generalize the result to quasitoric manifolds. In doing so, we show that the twist number of a Bott manifold is well-defined and is equal to the cohomological complexity of the cohomology ring of the manifold. We also show that any cohomology Bott manifold is homeomorphic to a Bott manifold. All these results are also generalized to the case with $\mathbb Z_{(2)}$-coefficients, where $\mathbb Z_{(2)}$ is the localized ring at 2.

preprint2009arXiv

Toric cohomological rigidity of simple convex polytopes

A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as simplices or cubes are known to be cohomologically rigid. In this article we investigate the cohomological rigidity of polytopes and establish it for several new classes of polytopes including products of simplices. Cohomological rigidity of $P$ is related to the \emph{bigraded Betti numbers} of its \emph{Stanley--Reisner ring}, another important invariants coming from combinatorial commutative algebra.

preprint2008arXiv

Quasitoric manifolds over a product of simplices

A quasitoric manifold (resp. a small cover) is a $2n$-dimensional (resp. an $n$-dimensional) smooth closed manifold with an effective locally standard action of $(S^1)^n$ (resp. $(\mathbb Z_2)^n$) whose orbit space is combinatorially an $n$-dimensional simple convex polytope $P$. In this paper we study them when $P$ is a product of simplices. A generalized Bott tower over $\F$, where $\F=\C$ or $\R$, is a sequence of projective bundles of the Whitney sum of $\F$-line bundles starting with a point. Each stage of the tower over $\F$, which we call a generalized Bott manifold, provides an example of quasitoric manifolds (when $\F=\C$) and small covers (when $\F=\R$) over a product of simplices. It turns out that every small cover over a product of simplices is equivalent (in the sense of Davis and Januszkiewicz \cite{DJ}) to a generalized Bott manifold. But this is not the case for quasitoric manifolds and we show that a quasitoric manifold over a product of simplices is equivalent to a generalized Bott manifold if and only if it admits an almost complex structure left invariant under the action. Finally, we show that a quasitoric manifold $M$ over a product of simplices is homeomorphic to a generalized Bott manifold if $M$ has the same cohomology ring as a product of complex projective spaces with $\Q$ coefficients.

preprint2008arXiv

The number of small covers over cubes

In the present paper we find a bijection between the set of small covers over an $n$-cube and the set of acyclic digraphs with $n$ labeled nodes. Using this, we give a formula of the number of small covers over an $n$-cube (generally, a product of simplices) up to Davis-Januszkiewicz equivalence classes and $\mathbf{Z}^n$-equivariant diffeomorphism classes. Moreover we prove that the number of acyclic digraphs with $n$ unlabeled nodes is an upper bound of the number of small covers over an $n$-cube up to diffeomorphism.

preprint2008arXiv

Topological classification of generalized Bott towers

If $B$ is a toric manifold and $E$ is a Whitney sum of complex line bundles over $B$, then the projectivization $P(E)$ of $E$ is again a toric manifold. Starting with $B$ as a point and repeating this construction, we obtain a sequence of complex projective bundles which we call a generalized Bott tower. We prove that if the top manifold in the tower has the same cohomology ring as a product of complex projective spaces, then every fibration in the tower is trivial so that the top manifold is diffeomorphic to the product of complex projective spaces. This gives a supporting evidence to what we call cohomological rigidity problem for toric manifolds "Are toric manifolds diffeomorphic (or homeomorphic) if their cohomology rings are isomorphic?" We provide two more results which support the cohomological rigidity problem.