Showing 1–50 of 58 results for author: Im, S

Perturbation of dense graphs

Authors: Jie Han, Seonghyuk Im, Bin Wang, Junxue Zhang

Abstract: In the past two decades, various properties of randomly perturbed/augmented (hyper)graphs have been intensively studied, since the model was introduced by Bohman, Frieze and Martin in 2003. The model usually considers a deterministic graph $G$ with minimum degree condition, perturbed/augmented by a binomial random graph $G(n,p)$ on the same vertex set. In this paper, we show that for many problems… ▽ More In the past two decades, various properties of randomly perturbed/augmented (hyper)graphs have been intensively studied, since the model was introduced by Bohman, Frieze and Martin in 2003. The model usually considers a deterministic graph $G$ with minimum degree condition, perturbed/augmented by a binomial random graph $G(n,p)$ on the same vertex set. In this paper, we show that for many problems of finding spanning subgraphs, one can indeed relax the minimum degree condition to a density condition. This includes the embedding problem for $F$-factors when $F$ is not a forest, graphs with bounded maximum degree, $r$-th power of $k$-uniform tight Hamilton cycles for $r,k\ge 2$, and $k$-uniform Hamilton $\ell$-cycles for $\ell\in[2,k-1]$. These results strengthen the results of Balogh, Treglown, and Wagner, of Böttcher, Montgomery, Parczyk, and Person, and of Chang, Han and Thoma. △ Less

Submitted 25 August, 2025; originally announced August 2025.

Comments: 25 pages, 4 figures

Unbounded degree spanning hypertrees in Dirac hypergraphs

Authors: Yaobin Chen, Seonghyuk Im, Junchi Zhang

Abstract: In 2001, Komlós, Sárközy, and Szemerédi proved that every sufficiently large $n$-vertex graph with minimum degree at least $\left(1/2+γ\right)n$ contains all spanning trees with maximum degree at most $cn/\log n$. We extend this result to hypergraphs by considering loose hypertrees, which are linear hypergraphs obtained by successively adding edges that share exactly one vertex with a previous edg… ▽ More In 2001, Komlós, Sárközy, and Szemerédi proved that every sufficiently large $n$-vertex graph with minimum degree at least $\left(1/2+γ\right)n$ contains all spanning trees with maximum degree at most $cn/\log n$. We extend this result to hypergraphs by considering loose hypertrees, which are linear hypergraphs obtained by successively adding edges that share exactly one vertex with a previous edge. For all $k > \ell \geq 2$, we determine asymptotically optimal $\ell$-degree conditions that ensure the existence of all rooted spanning loose hypertrees, without any degree condition, in terms of the $(\ell-1)$-degree threshold for the existence of a perfect matching in $(k-1)$-graphs. As a corollary, we also asymptotically determine the $\ell$-degree threshold for the existence of bounded degree spanning loose hypertrees in $k$-graphs for $k/2 < \ell < k$, confirming a conjecture of Pehova and Petrova in this range. In our proof, we avoid the use of Szemerédi's regularity lemma. △ Less

Submitted 9 August, 2025; originally announced August 2025.

Comments: 15 pages

MSC Class: 05C65

On high discrepancy $1$-factorizations of complete graphs

Authors: Jiangdong Ai, Fankang He, Seonghyuk Im, Hyunwoo Lee

Abstract: We proved that for every sufficiently large $n$, the complete graph $K_{2n}$ with an arbitrary edge signing $σ: E(K_{2n}) \to \{-1, +1\}$ admits a high discrepancy $1$-factor decomposition. That is, there exists a universal constant $c > 0$ such that every edge-signed $K_{2n}$ has a perfect matching decomposition $\{ψ_1, \ldots, ψ_{2n-1}\}$, where for each perfect matching $ψ_i$, the discrepancy… ▽ More We proved that for every sufficiently large $n$, the complete graph $K_{2n}$ with an arbitrary edge signing $σ: E(K_{2n}) \to \{-1, +1\}$ admits a high discrepancy $1$-factor decomposition. That is, there exists a universal constant $c > 0$ such that every edge-signed $K_{2n}$ has a perfect matching decomposition $\{ψ_1, \ldots, ψ_{2n-1}\}$, where for each perfect matching $ψ_i$, the discrepancy $\lvert \frac{1}{n} \sum_{e\in E(ψ_i)} σ(e) \rvert$ is at least $c$. △ Less

Submitted 21 March, 2025; originally announced March 2025.

Comments: 11 pages

Two-dimensional topological quantum field theories of rank two over Dedekind domains

Authors: Fabian Espinoza, Mee Seong Im, Mikhail Khovanov

Abstract: We give examples of Frobenius algebras of rank two over ground Dedekind rings which are projective but not free and discuss possible applications of these algebras to link homology. We give examples of Frobenius algebras of rank two over ground Dedekind rings which are projective but not free and discuss possible applications of these algebras to link homology. △ Less

Submitted 28 February, 2025; v1 submitted 6 February, 2025; originally announced February 2025.

Comments: Minor sign typo in the first equation in (4.8), and the derived proceeding equations, have been fixed. 20 pages, 2 figures

MSC Class: Primary: 11R04; 57K16; 18M05; 16L60

Ramsey--Dirac theory for bounded degree hypertrees

Authors: Jie Han, Seonghyuk Im, Jaehoon Kim, Donglei Yang

Abstract: Ramsey--Turán theory considers Turán type questions in Ramsey-context, asking for the existence of a small subgraph in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, such as a clique of linear size. Similarly, one can consider Dirac-type questions in Ramsey context, asking for the existence of a spanning subgraph $H$ in a graph $G$ where the complement… ▽ More Ramsey--Turán theory considers Turán type questions in Ramsey-context, asking for the existence of a small subgraph in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, such as a clique of linear size. Similarly, one can consider Dirac-type questions in Ramsey context, asking for the existence of a spanning subgraph $H$ in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, which we call a Ramsey--Dirac theory question. When $H$ is a connected spanning subgraph, the disjoint union $K_{n/2}\cup K_{n/2}$ of two large cliques shows that it is natural to consider complete bipartite graphs $F$. Indeed, Han, Hu, Ping, Wang, Wang and Yang in 2024 proved that if $G$ is an $n$-vertex graph with $δ(G)=Ω(n)$ where the complement $\overline{G}$ does not contain any complete bipartite graph $K_{m,m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree tree $T$ as a subgraph. Extending this result to the Ramsey--Dirac theory for hypertrees, we prove that if $G$ is an $n$-vertex $r$-uniform hypergraph with $δ(G)=Ω(n^{r-1})$ where the complement $\overline{G}$ does not contain any complete $r$-partite hypergraph $K_{m,m,\dots, m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree hypertree $T$ as a subgraph. We also prove the existence of matchings and loose Hamilton cycles in the same setting, which extends the result of Mcdiarmid and Yolov into hypergraphs. This result generalizes the universality result on randomly perturbed graphs by Böttcher, Han, Kohayakawa, Montgomery, Parczyk and Person in 2019 into hypergraphs and also strengthen the results on quasirandom hypergraphs by Lenz, Mubayi and Mycroft in 2016 and Lenz and Mubayi in 2016 into hypergraphs satisfying a much weaker pseudorandomness condition. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Comments: 25 pages + 4 page appendix

Entropy, cocycles, and their diagrammatics

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the representation floating in the regions, and suitable rules for manipulation of these diagrams. When the group is a semidirect product, there is a similar presentation via ov… ▽ More The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the representation floating in the regions, and suitable rules for manipulation of these diagrams. When the group is a semidirect product, there is a similar presentation via overlapping networks for the two subgroups involved. M. Kontsevich and J.-L. Cathelineau have shown how to interpret the entropy of a finite random variable and infinitesimal dilogarithms, including their four-term functional relations, via 2-cocycles on the group of affine symmetries of a line. We convert their construction into a diagrammatical calculus evaluating planar networks that describe morphisms in suitable monoidal categories. In particular, the four-term relations become equalities of networks analogous to associativity equations. The resulting monoidal categories complement existing categorical and operadic approaches to entropy. △ Less

Submitted 8 October, 2024; v1 submitted 12 September, 2024; originally announced September 2024.

Comments: In v2, expanded Remarks 4.6, 4.8 and added more references. 82 pages, many figures

MSC Class: Primary: 94A17; 20J06; 18M10; 18M30; Secondary: 18B40; 37A20; 18G45

Sidorenko's conjecture for subdivisions and theta substitutions

Authors: Seonghyuk Im, Ruonan Li, Hong Liu

Abstract: The famous Sidorenko's conjecture asserts that for every bipartite graph $H$, the number of homomorphisms from $H$ to a graph $G$ with given edge density is minimized when $G$ is pseudorandom. We prove that for any graph $H$, a graph obtained from replacing edges of $H$ by generalized theta graphs consisting of even paths satisfies Sidorenko's conjecture, provided a certain divisibility condition… ▽ More The famous Sidorenko's conjecture asserts that for every bipartite graph $H$, the number of homomorphisms from $H$ to a graph $G$ with given edge density is minimized when $G$ is pseudorandom. We prove that for any graph $H$, a graph obtained from replacing edges of $H$ by generalized theta graphs consisting of even paths satisfies Sidorenko's conjecture, provided a certain divisibility condition on the number of paths. To achieve this, we prove unconditionally that bipartite graphs obtained from replacing each edge of a complete graph with a generalized theta graph satisfy Sidorenko's conjecture, which extends a result of Conlon, Kim, Lee and Lee [J. Lond. Math. Soc., 2018]. △ Less

Submitted 28 August, 2024; v1 submitted 6 August, 2024; originally announced August 2024.

Comments: 11 pages

Foams with flat connections and algebraic K-theory

Authors: David Gepner, Mee Seong Im, Mikhail Khovanov, Nitu Kitchloo

Abstract: This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will beco… ▽ More This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will become clear, a vertex (or the smallest stratum) of an $n$-dimensional foam replaces an $(n+1)$-simplex with a total ordering of vertices. We show that the first K-theory group of a ring $R$ can be identified with the cobordism group of decorated 1-foams embedded in the plane. A similar relation between the $n$-th algebraic K-theory group of a ring $R$ and the cobordism group of decorated $n$-foams embedded in $\mathbb{R}^{n+1}$ is expected for $n>1$. An analogous correspondence is proposed for arbitrary exact categories. Modifying the embedding and other conditions on the foams may lead to new flavors of K-theory groups. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 57 pages, many figures

MSC Class: Primary: 57R90; 19B99; 19D06; 18M05; Secondary: 19A99; 55N22

Dirac's theorem for linear hypergraphs

Authors: Seonghyuk Im, Hyunwoo Lee

Abstract: Dirac's theorem states that any $n$-vertex graph $G$ with even integer $n$ satisfying $δ(G) \geq n/2$ contains a perfect matching. We generalize this to $k$-uniform linear hypergraphs by proving the following. Any $n$-vertex $k$-uniform linear hypergraph $H$ with minimum degree at least $\frac{n}{k} + Ω(1)$ contains a matching that covers at least $(1-o(1))n$ vertices. This minimum degree conditio… ▽ More Dirac's theorem states that any $n$-vertex graph $G$ with even integer $n$ satisfying $δ(G) \geq n/2$ contains a perfect matching. We generalize this to $k$-uniform linear hypergraphs by proving the following. Any $n$-vertex $k$-uniform linear hypergraph $H$ with minimum degree at least $\frac{n}{k} + Ω(1)$ contains a matching that covers at least $(1-o(1))n$ vertices. This minimum degree condition is asymptotically tight and obtaining a perfect matching is impossible with any degree condition. Furthermore, we show that if $δ(H) \geq (\frac{1}{k}+o(1))n$, then $H$ contains almost spanning linear cycles, almost spanning hypertrees with $o(n)$ leaves, and ``long subdivisions'' of any $o(\sqrt{n})$-vertex graphs. △ Less

Submitted 25 March, 2025; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: Accepted version

Foam cobordism and the Sah-Arnoux-Fathi invariant

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: This is the first in a series of papers where scissor congruence and K-theoretical invariants are related to cobordism groups of foams in various dimensions. A model example is provided where the cobordism group of weighted one-foams is identified, via the Sah-Arnoux-Fathi invariant, with the first homology of the group of interval exchange automorphisms and with the Zakharevich first K-group of t… ▽ More This is the first in a series of papers where scissor congruence and K-theoretical invariants are related to cobordism groups of foams in various dimensions. A model example is provided where the cobordism group of weighted one-foams is identified, via the Sah-Arnoux-Fathi invariant, with the first homology of the group of interval exchange automorphisms and with the Zakharevich first K-group of the corresponding assembler. Several variations on this cobordism group are computed as well. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 38 pages, many figures

MSC Class: 37E05; 37E99; 18M30; 19D99

Graph with any rational density and no rich subsets of linear size

Authors: Seonghyuk Im, Suyun Jiang, Hong Liu, Tuan Tran

Abstract: A well-known application of the dependent random choice asserts that any $n$-vertex graph $G$ with positive edge density contains a `rich' vertex subset $U$ of size $n^{1-o(1)}$ such that every pair of vertices in $U$ has at least $n^{1-o(1)}$ common neighbors. In 2003, using a beautiful construction on hypercube, Kostochka and Sudakov showed that this is tight: one cannot remove the $o(1)$ terms… ▽ More A well-known application of the dependent random choice asserts that any $n$-vertex graph $G$ with positive edge density contains a `rich' vertex subset $U$ of size $n^{1-o(1)}$ such that every pair of vertices in $U$ has at least $n^{1-o(1)}$ common neighbors. In 2003, using a beautiful construction on hypercube, Kostochka and Sudakov showed that this is tight: one cannot remove the $o(1)$ terms even if the edge density of $G$ is $1/2$. In this paper, we generalize their result from pairs to tuples. To be precise, we show that given every pair of positive integers $p<q$, there is an $n$-vertex graph $G$ for all sufficiently large $n$ with edge density $p/q$ such that any vertex subset $U$ of size $Ω(n)$ contains $q$ vertices, any $p+1$ of which have $o(n)$ common neighbors. The edge density $p/q$ is best possible. Our construction uses isoperimetry and concentration of measure on high dimensional complex spheres. △ Less

Submitted 22 February, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Comments: 10 pages

Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words

Authors: Paul Gustafson, Mee Seong Im, Mikhail Khovanov

Abstract: Any finite state automaton gives rise to a Boolean one-dimensional TQFT with defects and inner endpoints of cobordisms. This paper extends the correspondence to Boolean TQFTs where defects accumulate toward inner endpoints, relating such TQFTs and topological theories to sofic systems and $ω$-automata. Any finite state automaton gives rise to a Boolean one-dimensional TQFT with defects and inner endpoints of cobordisms. This paper extends the correspondence to Boolean TQFTs where defects accumulate toward inner endpoints, relating such TQFTs and topological theories to sofic systems and $ω$-automata. △ Less

Submitted 25 December, 2023; originally announced December 2023.

Comments: 31 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M05; 37B10; Secondary: 06A12; 68Q70; 18B20

On rainbow Turán Densities of Trees

Authors: Seonghyuk Im, Jaehoon Kim, Hyunwoo Lee, Haesong Seo

Abstract: For a given collection $\mathcal{G} = (G_1,\dots, G_k)$ of graphs on a common vertex set $V$, which we call a \emph{graph system}, a graph $H$ on a vertex set $V(H) \subseteq V$ is called a \emph{rainbow subgraph} of $\mathcal{G}$ if there exists an injective function $ψ:E(H) \rightarrow [k]$ such that $e \in G_{ψ(e)}$ for each $e\in E(H)$. The maximum value of $\min_{i}\{|E(G_i)|\}$ over $n$-vert… ▽ More For a given collection $\mathcal{G} = (G_1,\dots, G_k)$ of graphs on a common vertex set $V$, which we call a \emph{graph system}, a graph $H$ on a vertex set $V(H) \subseteq V$ is called a \emph{rainbow subgraph} of $\mathcal{G}$ if there exists an injective function $ψ:E(H) \rightarrow [k]$ such that $e \in G_{ψ(e)}$ for each $e\in E(H)$. The maximum value of $\min_{i}\{|E(G_i)|\}$ over $n$-vertex graph systems $\mathcal{G}$ having no rainbow subgraph isomorphic to $H$ is called the rainbow Turán number $\mathrm{ex}_k^{\ast}(n, H)$ of $H$. In this article, we study the rainbow Turán density $π_k^{\ast}(T) = \lim_{n \rightarrow \infty} \frac{\mathrm{ex}_k^{\ast}(n, T)}{\binom{n}{2}}$ of a tree $T$. While the classical Turán density $π(H)$ of a graph $H$ lies in the set $\{1-\frac{1}{t} : t\in \mathbb{N}\}$, the rainbow Turán density exhibits different behaviors as it can even be an irrational number. Nevertheless, we conjecture that the rainbow Turán density is always an algebraic number. We provide evidence for this conjecture by proving that the rainbow Turán density of a tree is an algebraic number. To show this, we identify the structure of extremal graphs for rainbow trees. Moreover, we further determine all tuples $(α_1,\dots, α_k)$ such that every graph system $(G_1,\dots,G_k)$ satisfying $|E(G_i)|>(α_i+o(1))\binom{n}{2}$ contains all rainbow $k$-edge trees. In the course of proving these results, we also develop the theory on the limit of graph systems. △ Less

Submitted 26 December, 2023; originally announced December 2023.

Comments: 24pages + 9 page appendix, 2 figures

From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: This is a brief introduction to link homology theories that categorify Reshetikhin--Turaev $\mathsf{SL}(N)$-quantum link invariants. A recently discovered surprising connection between finite state automata and Boolean TQFTs in dimension one is explained as a warm-up. This is a brief introduction to link homology theories that categorify Reshetikhin--Turaev $\mathsf{SL}(N)$-quantum link invariants. A recently discovered surprising connection between finite state automata and Boolean TQFTs in dimension one is explained as a warm-up. △ Less

Submitted 17 September, 2023; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 40 pages, many figures, corrected minor misprints. To appear in Contemporary Mathematics, conference proceedings "From Representation Theory to Mathematical Physics and Back"

MSC Class: Primary: 57K16; 57K18; 57K45; 68Q45; 18M30; Secondary: 68Q70; 18B20

Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters

Authors: Mee Seong Im, Mikhail Khovanov, Victor Ostrik

Abstract: This paper clarifies basic definitions in the universal construction of topological theories and monoidal categories. The definition of the universal construction is given for various types of monoidal categories, including rigid and symmetric. It is also explained how to set up the universal construction for non-monoidal categories. The second part of the paper explains how to associate a rigid s… ▽ More This paper clarifies basic definitions in the universal construction of topological theories and monoidal categories. The definition of the universal construction is given for various types of monoidal categories, including rigid and symmetric. It is also explained how to set up the universal construction for non-monoidal categories. The second part of the paper explains how to associate a rigid symmetric monoidal category to a small category, a sort of the Brauer envelope of a category. The universal construction for the Brauer envelopes generalizes some earlier work of the first two authors on automata, power series and topological theories. Finally, the theory of pseudocharacters (or pseudo-representations), which is an essential tool in modern number theory, is interpreted via one-dimensional topological theories and TQFTs with defects. The notion of a pseudocharacter is studied for Brauer categories and the lifting property to characters of semisimple representations is established in characteristic 0 for Brauer categories with at most countably many objects. The paper contains a brief discussion of pseudo-holonomies, which are functions from loops in a manifold to real numbers similar to traces of the holonomies along loops of a connection on a vector bundle on the manifold. It concludes with a classification of pseudocharacters (pseudo-TQFTs) and their generating functions for the category of oriented two-dimensional cobordisms in the characteristic 0 case. △ Less

Submitted 5 March, 2023; originally announced March 2023.

Comments: 59 pages, many figures

MSC Class: Primary: 57K16; 18M05; 18M30; Secondary: 15A15

A bandwidth theorem for graph transversals

Authors: Debsoumya Chakraborti, Seonghyuk Im, Jaehoon Kim, Hong Liu

Abstract: Given a collection $\mathcal{G}=(G_1,\dots, G_h)$ of graphs on the same vertex set $V$ of size $n$, an $h$-edge graph $H$ on the vertex set $V$ is a $\mathcal{G}$-transversal if there exists a bijection $λ: E(H) \rightarrow [h]$ such that $e\in E(G_{λ(e)})$ for each $e\in E(H)$. The conditions on the minimum degree $δ(\mathcal{G})=\min_{i\in[h]}\{ δ(G_i)\}$ for finding a spanning $\mathcal{G}$-tra… ▽ More Given a collection $\mathcal{G}=(G_1,\dots, G_h)$ of graphs on the same vertex set $V$ of size $n$, an $h$-edge graph $H$ on the vertex set $V$ is a $\mathcal{G}$-transversal if there exists a bijection $λ: E(H) \rightarrow [h]$ such that $e\in E(G_{λ(e)})$ for each $e\in E(H)$. The conditions on the minimum degree $δ(\mathcal{G})=\min_{i\in[h]}\{ δ(G_i)\}$ for finding a spanning $\mathcal{G}$-transversal isomorphic to a graph $H$ have been actively studied when $H$ is a Hamilton cycle, an $F$-factor, a spanning tree with maximum degree $o(n/\log n)$ and a power of a Hamilton cycle, etc. In this paper, we determined the asymptotically tight threshold on $δ(\mathcal{G})$ for finding a $\mathcal{G}$-transversal isomorphic to $H$ when $H$ is a general $n$-vertex graph with bounded maximum degree and $o(n)$-bandwidth. This provides a transversal generalization of the celebrated Bandwidth theorem by Böttcher, Schacht and Taraz. △ Less

Submitted 19 February, 2023; originally announced February 2023.

Automata and one-dimensional TQFTs with defects

Authors: Paul Gustafson, Mee Seong Im, Remy Kaldawy, Mikhail Khovanov, Zachary Lihn

Abstract: This paper explains how any nondeterministic automaton for a regular language $L$ gives rise to a one-dimensional oriented Topological Quantum Field Theory (TQFT) with inner endpoints and zero-dimensional defects labelled by letters of the alphabet for $L$. The TQFT is defined over the Boolean semiring $\mathbb{B}$. Different automata for a fixed language $L$ produce TQFTs that differ by their val… ▽ More This paper explains how any nondeterministic automaton for a regular language $L$ gives rise to a one-dimensional oriented Topological Quantum Field Theory (TQFT) with inner endpoints and zero-dimensional defects labelled by letters of the alphabet for $L$. The TQFT is defined over the Boolean semiring $\mathbb{B}$. Different automata for a fixed language $L$ produce TQFTs that differ by their values on decorated circles, while the values on decorated intervals are described by the language $L$. The language $L$ and the TQFT associated to an automaton can be given a path integral interpretation. In this TQFT the state space of a one-point 0-manifold is a free module over $\mathbb{B}$ with the basis of states of the automaton. Replacing a free module by a finite projective $\mathbb{B}$-module $P$ allows to generalize automata and this type of TQFT to a structure where defects act on open subsets of a finite topological space. Intersection of open subsets induces a multiplication on $P$ allowing to extend the TQFT to a TQFT for one-dimensional foams (oriented graphs with defects modulo a suitable equivalence relation). A linear version of these constructions is also explained, with the Boolean semiring replaced by a commutative ring. △ Less

Submitted 27 February, 2023; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: Corollary 3.5 added. 36 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M10; 18M30; Secondary: 06A12; 68Q70; 18B20

One-dimensional topological theories with defects: the linear case

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The paper studies the Karoubi envelope of a one-dimensional topological theory with defects and inner endpoints, defined over a field. It turns out that the Karoubi envelope is determined by a symmetric Frobenius algebra K associated to the theory. The Karoubi envelope is then equivalent to the quotient of the Frobenius-Brauer category of K modulo the ideal of negligible morphisms. Symmetric Frobe… ▽ More The paper studies the Karoubi envelope of a one-dimensional topological theory with defects and inner endpoints, defined over a field. It turns out that the Karoubi envelope is determined by a symmetric Frobenius algebra K associated to the theory. The Karoubi envelope is then equivalent to the quotient of the Frobenius-Brauer category of K modulo the ideal of negligible morphisms. Symmetric Frobenius algebras, such as K, describe two-dimensional TQFTs for the category of thin flat surfaces, and elements of the algebra can be turned into defects on the side boundaries of these surfaces. We also explain how to couple K to the universal construction restricted to closed surfaces to define a topological theory of open-closed two-dimensional cobordisms which is usually not an open-closed 2D TQFT. △ Less

Submitted 4 April, 2023; v1 submitted 1 October, 2022; originally announced October 2022.

Comments: 38 pages, Figure 2.3.4 corrected. Many figures

MSC Class: 18M05; 18M30; 57K16; 16W60; 15A63

A proof of the Elliott-Rödl conjecture on hypertrees in Steiner triple systems

Authors: Seonghyuk Im, Jaehoon Kim, Joonkyung Lee, Abhishek Methuku

Abstract: Hypertrees are linear hypergraphs where every two vertices are connected by a unique path. Elliott and Rödl conjectured that for any given $μ>0$, there exists $n_0$ such that the following holds. Every $n$-vertex Steiner triple system contains all hypertrees with at most $(1-μ)n$ vertices whenever $n\geq n_0$. We prove this conjecture. Hypertrees are linear hypergraphs where every two vertices are connected by a unique path. Elliott and Rödl conjectured that for any given $μ>0$, there exists $n_0$ such that the following holds. Every $n$-vertex Steiner triple system contains all hypertrees with at most $(1-μ)n$ vertices whenever $n\geq n_0$. We prove this conjecture. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 19 pages, 2 figures

The proper conflict-free $k$-coloring problem and the odd $k$-coloring problem are NP-complete on bipartite graphs

Authors: Jungho Ahn, Seonghyuk Im, Sang-il Oum

Abstract: A proper coloring of a graph is \emph{proper conflict-free} if every non-isolated vertex $v$ has a neighbor whose color is unique in the neighborhood of $v$. A proper coloring of a graph is \emph{odd} if for every non-isolated vertex $v$, there is a color appearing an odd number of times in the neighborhood of $v$. For an integer $k$, the \textsc{PCF $k$-Coloring} problem asks whether an input gra… ▽ More A proper coloring of a graph is \emph{proper conflict-free} if every non-isolated vertex $v$ has a neighbor whose color is unique in the neighborhood of $v$. A proper coloring of a graph is \emph{odd} if for every non-isolated vertex $v$, there is a color appearing an odd number of times in the neighborhood of $v$. For an integer $k$, the \textsc{PCF $k$-Coloring} problem asks whether an input graph admits a proper conflict-free $k$-coloring and the \textsc{Odd $k$-Coloring} asks whether an input graph admits an odd $k$-coloring. We show that for every integer $k\geq3$, both problems are NP-complete, even if the input graph is bipartite. Furthermore, we show that the \textsc{PCF $4$-Coloring} problem is NP-complete when the input graph is planar. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 13 pages, 2 figures

MSC Class: 05C15; 68Q17

Journal ref: Discrete Appl. Math., 377:10-17, December 2025

Computational complexity reduction of deep neural networks

Authors: Mee Seong Im, Venkat R. Dasari

Abstract: Deep neural networks (DNN) have been widely used and play a major role in the field of computer vision and autonomous navigation. However, these DNNs are computationally complex and their deployment over resource-constrained platforms is difficult without additional optimizations and customization. In this manuscript, we describe an overview of DNN architecture and propose methods to reduce comp… ▽ More Deep neural networks (DNN) have been widely used and play a major role in the field of computer vision and autonomous navigation. However, these DNNs are computationally complex and their deployment over resource-constrained platforms is difficult without additional optimizations and customization. In this manuscript, we describe an overview of DNN architecture and propose methods to reduce computational complexity in order to accelerate training and inference speeds to fit them on edge computing platforms with low computational resources. △ Less

Submitted 29 July, 2022; originally announced July 2022.

Comments: 10 pages, 9 figures

Journal ref: Mathematica Militaris, 25 (2022), no. 1, 1-10

Crux, space constraints and subdivisions

Authors: Seonghyuk Im, Jaehoon Kim, Younjin Kim, Hong Liu

Abstract: For a given graph $H$, its subdivisions carry the same topological structure. The existence of $H$-subdivisions within a graph $G$ has deep connections with topological, structural and extremal properties of $G$. One prominent example of such a connection, due to Bollobás and Thomason and independently Komlós and Szemerédi, asserts that the average degree of $G$ being $d$ ensures a… ▽ More For a given graph $H$, its subdivisions carry the same topological structure. The existence of $H$-subdivisions within a graph $G$ has deep connections with topological, structural and extremal properties of $G$. One prominent example of such a connection, due to Bollobás and Thomason and independently Komlós and Szemerédi, asserts that the average degree of $G$ being $d$ ensures a $K_{Ω(\sqrt{d})}$-subdivision in $G$. Although this square-root bound is best possible, various results showed that much larger clique subdivisions can be found in a graph for many natural classes. We investigate the connection between crux, a notion capturing the essential order of a graph, and the existence of large clique subdivisions. This reveals the unifying cause underpinning all those improvements for various classes of graphs studied. Roughly speaking, when embedding subdivisions, natural space constraints arise; and such space constraints can be measured via crux. Our main result gives an asymptotically optimal bound on the size of a largest clique subdivision in a generic graph $G$, which is determined by both its average degree and its crux size. As corollaries, we obtain (1) a characterisation of extremal graphs for which the square-root bound above is tight: they are essentially disjoint unions of graphs having crux size linear in $d$; (2) a unifying approach to find a clique subdivision of almost optimal size in graphs which do not contain a fixed bipartite graph as a subgraph; (3) and that the clique subdivision size in random graphs $G(n,p)$ witnesses a dichotomy: when $p = ω(n^{-1/2})$, the barrier is the space, while when $p=o( n^{-1/2})$, the bottleneck is the density. △ Less

Submitted 21 August, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: 33 pages, 2 figures

MSC Class: 05C35

Topological theories and automata

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each pair of a regular language and a circular regular language we associate a topological theory for one-dimensional manifolds with zero-dimensional defects labell… ▽ More The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each pair of a regular language and a circular regular language we associate a topological theory for one-dimensional manifolds with zero-dimensional defects labelled by letters of the language. This theory takes values in the Boolean semiring. Universal construction of topological theories gives rise in this case to a monoidal category of Boolean semilinear combinations of one-dimensional cobordisms with defects modulo skein relations. The latter category can be interpreted as a semilinear rigid monoidal closure of standard structures associated to a regular language, including minimal deterministic and nondeterministic finite state automata for the language and the syntactic monoid. The circular language plays the role of a regularizer, allowing to define the rigid closure of these structures. When the state space of a single point for a regular language describes a distributive lattice, there is a unique associated circular language such that the resulting theory is a Boolean TQFT. △ Less

Submitted 27 February, 2022; originally announced February 2022.

Comments: 70 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M10; 18M30; Secondary: 06A12; 68Q70; 18B20

Foams, iterated wreath products, field extensions and Sylvester sums

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: Certain foams and relations on them are introduced to interpret functors and natural transformations in categories of representations of iterated wreath products of cyclic groups of order two. We also explain how patched surfaces with defect circles and foams relate to separable field extensions and Galois theory and explore a relation between overlapping foams and Sylvester double sums. In the ap… ▽ More Certain foams and relations on them are introduced to interpret functors and natural transformations in categories of representations of iterated wreath products of cyclic groups of order two. We also explain how patched surfaces with defect circles and foams relate to separable field extensions and Galois theory and explore a relation between overlapping foams and Sylvester double sums. In the appendix, joint with Lev Rozansky, we compare traces in two-dimensional TQFTs coming from matrix factorizations with those in field extensions. △ Less

Submitted 15 July, 2025; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: 86 pages, many figures

MSC Class: Primary: 57K16; 18M30; 20E22; Secondary: 18N25; 13P15; 57K99; 20C99

Natural transformations between induction and restriction on iterated wreath product of symmetric group of order $2$

Authors: Mee Seong Im, Can Ozan Oğuz

Abstract: Let $\mathbb{C}\mathsf{A}_n = \mathbb{C}[S_2\wr S_2 \wr\cdots \wr S_2]$ be the group algebra of $n$-step iterated wreath product. We prove some structural properties of $\mathsf{A}_n$ such as their centers, centralizers, right and double cosets. We apply these results to explicitly write down Mackey theorem for groups $\mathsf{A}_n$ and give a partial description of the natural transformations bet… ▽ More Let $\mathbb{C}\mathsf{A}_n = \mathbb{C}[S_2\wr S_2 \wr\cdots \wr S_2]$ be the group algebra of $n$-step iterated wreath product. We prove some structural properties of $\mathsf{A}_n$ such as their centers, centralizers, right and double cosets. We apply these results to explicitly write down Mackey theorem for groups $\mathsf{A}_n$ and give a partial description of the natural transformations between induction and restriction functors on the representations of the iterated wreath product tower by computing certain hom spaces of the category of $\displaystyle \bigoplus_{m\geq 0}(\mathsf{A}_m, \mathsf{A}_n)-$bimodules. A complete description of the category is an open problem. △ Less

Submitted 9 October, 2022; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: 20 pages, to appear in Mathematical Physics, MDPI

MSC Class: 16G99; 20C30 (Primary) 18N25; 20B35 (Secondary)

One-dimensional topological theories with defects and linear generating functions

Authors: Mee Seong Im, Paul Zimmer

Abstract: We study the Gram determinant and construct bases of hom spaces for the one-dimensional topological theory of decorated unoriented one-dimensional cobordisms, as recently defined by Khovanov, when the pair of generating functions is linear. We study the Gram determinant and construct bases of hom spaces for the one-dimensional topological theory of decorated unoriented one-dimensional cobordisms, as recently defined by Khovanov, when the pair of generating functions is linear. △ Less

Submitted 17 May, 2021; originally announced May 2021.

Comments: 14 pages

Journal ref: Involve 15 (2022) 319-331

Irreducible components of two-row Springer fibers for all classical types

Authors: Mee Seong Im, Chun-Ju Lai, Arik Wilbert

Abstract: We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup diagram, we explicitly write down all flags contained in the component associated to the cup diagram. This generalizes results by Stroppel--Webster and Fung to all cl… ▽ More We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup diagram, we explicitly write down all flags contained in the component associated to the cup diagram. This generalizes results by Stroppel--Webster and Fung to all classical types. △ Less

Submitted 30 January, 2022; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: 15 pages. To appear in Proc. Amer. Math. Soc. Some of the results contained were originally available in the unpublished manuscript arXiv:1910.03010 via Nakajima quiver varieties. We would like to thank Dongkwan Kim for pointing out that it can be obtained more efficiently without using the quiver variety. It has therefore been split off from the original preprint

A study of irreducible components of Springer fibers using quiver varieties

Authors: Mee Seong Im, Chun-Ju Lai, Arik Wilbert

Abstract: It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. T… ▽ More It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. This establishes an explicit and efficient way to compute the image of a complete flag contained in the Slodowy variety under the Maffei--Nakajima isomorphism and describe these flags in terms of quiver representations. As Slodowy varieties contain Springer fibers naturally, we can use these results to provide an explicit description of the irreducible components of two-row Springer fibers in terms of a family of kernel relations via quiver representations. △ Less

Submitted 27 October, 2021; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: 23 pages, 5 figures. v2: reference to the accompanying paper (arXiv:2011.13138) added. Note: This paper proves a stronger version of the first goal in the manuscript arXiv:1910.03010 (not intended for publication), and hence has a text overlap. v3: to appear in Journal of Algebra. Title is changed. Lemma 4.1 is clarified

Journal ref: J. Algebra 591 (2022), 217-248

Genetic optimization algorithms applied toward mission computability models

Authors: Mee Seong Im, Venkat R. Dasari

Abstract: Genetic algorithms are modeled after the biological evolutionary processes that use natural selection to select the best species to survive. They are heuristics based and low cost to compute. Genetic algorithms use selection, crossover, and mutation to obtain a feasible solution to computational problems. In this paper, we describe our genetic optimization algorithms to a mission-critical and cons… ▽ More Genetic algorithms are modeled after the biological evolutionary processes that use natural selection to select the best species to survive. They are heuristics based and low cost to compute. Genetic algorithms use selection, crossover, and mutation to obtain a feasible solution to computational problems. In this paper, we describe our genetic optimization algorithms to a mission-critical and constraints-aware computation problem. △ Less

Submitted 26 May, 2020; originally announced May 2020.

Comments: 11 pages

Towards the affine and geometric invariant theory quotients of the Borel moment map

Authors: Mee Seong Im, Meral Tosun

Abstract: We study the Borel moment map $μ_B:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, given by $(r,s,i,j)\mapsto [r,s]+ij$, and describe our algorithm to construct the geometric invariant theory (GIT) quotients $μ_B^{-1}(0)/\!\!/_{\det}B$ and $μ_B^{-1}(0)/\!\!/_{\det^{-1}}B$, and the affine quotient $μ_B^{-1}(0)/\!\!/B$. We also provide an insight of the singular locus of $2^n$ irred… ▽ More We study the Borel moment map $μ_B:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, given by $(r,s,i,j)\mapsto [r,s]+ij$, and describe our algorithm to construct the geometric invariant theory (GIT) quotients $μ_B^{-1}(0)/\!\!/_{\det}B$ and $μ_B^{-1}(0)/\!\!/_{\det^{-1}}B$, and the affine quotient $μ_B^{-1}(0)/\!\!/B$. We also provide an insight of the singular locus of $2^n$ irreducible components of $μ_B$. Finally, analogous to the Hilbert--Chow morphism, we discuss that the GIT quotient for the Borel setting is a resolution of singularities. △ Less

Submitted 27 January, 2020; originally announced January 2020.

Comments: 12 pages

Suggestions to study affine and GIT quotients of the extended Grothendieck--Springer resolution

Authors: Mee Seong Im

Abstract: We define filtered ADHM data and connect a notion of filtered quiver representations to Grothendieck--Springer resolutions. We also provide current developments and give a list of research problems to further study filtered ADHM equation. We define filtered ADHM data and connect a notion of filtered quiver representations to Grothendieck--Springer resolutions. We also provide current developments and give a list of research problems to further study filtered ADHM equation. △ Less

Submitted 20 December, 2019; originally announced December 2019.

Comments: 11 pages

Examples relating to Green's conjecture in low characteristics and genera

Authors: Topik Teguh Estu, Mee Seong Im, Benjamin Manning, Zachary Michaels, Joseph Pasko, William Rulla, Nishan Wijesinghe

Abstract: We exhibit approximately fifty Betti diagrams of free resolutions of rings of smooth, connected canonical curves of genera $9$-$14$ in prime characteristics between $2$ and $11$. Generic Green's conjecture is verified for genera $9$ and $10$ for characteristics $2$, $5$, $7$, and $11$. We exhibit approximately fifty Betti diagrams of free resolutions of rings of smooth, connected canonical curves of genera $9$-$14$ in prime characteristics between $2$ and $11$. Generic Green's conjecture is verified for genera $9$ and $10$ for characteristics $2$, $5$, $7$, and $11$. △ Less

Submitted 12 December, 2019; originally announced December 2019.

Comments: 15 pages

A short proof on the transition matrix from the Specht basis to the Kazhdan-Lusztig basis

Authors: Mee Seong Im

Abstract: We provide a short proof on the change-of-basis coefficients from the Specht basis to the Kazhdan-Lusztig basis, using Kazhdan-Lusztig theory for parabolic Hecke algebra. We provide a short proof on the change-of-basis coefficients from the Specht basis to the Kazhdan-Lusztig basis, using Kazhdan-Lusztig theory for parabolic Hecke algebra. △ Less

Submitted 8 December, 2019; originally announced December 2019.

Comments: 7 pages, submitted

Nonstandard approach to Hausdorff outer measure

Authors: Mee Seong Im

Abstract: We use nonstandard techniques, in the sense of Abraham Robinson, to give the exact Hausdorff outer measure. We use nonstandard techniques, in the sense of Abraham Robinson, to give the exact Hausdorff outer measure. △ Less

Submitted 30 November, 2019; originally announced December 2019.

Comments: 8 pages, submitted

The Grothendieck ring of the periplectic Lie supergroup and supersymmetric functions

Authors: Mee Seong Im, Shifra Reif, Vera Serganova

Abstract: We show that the Grothendieck ring of finite-dimensional representations of the periplectic Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$. We show that the Grothendieck ring of finite-dimensional representations of the periplectic Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$. △ Less

Submitted 22 November, 2019; originally announced November 2019.

Comments: 9 pages, submitted. arXiv admin note: substantial text overlap with arXiv:1906.01948

Transitioning between tableaux and spider bases for Specht modules

Authors: Mee Seong Im, Jieru Zhu

Abstract: Regarding the Specht modules associated to the two-row partition $(n,n)$, we provide a combinatorial path model to study the transitioning matrix from the tableau basis to the $A_1$-web basis (i.e. cup diagrams), and prove that the entries in this matrix are positive in the upper-triangular portion with respect to a certain partial order. Regarding the Specht modules associated to the two-row partition $(n,n)$, we provide a combinatorial path model to study the transitioning matrix from the tableau basis to the $A_1$-web basis (i.e. cup diagrams), and prove that the entries in this matrix are positive in the upper-triangular portion with respect to a certain partial order. △ Less

Submitted 2 September, 2020; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: 11 pages, referee's suggestions incorporated

Irreducible components of two-row Springer fibers and Nakajima quiver varieties

Authors: Mee Seong Im, Chun-Ju Lai, Arik Wilbert

Abstract: We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover rela… ▽ More We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover relations on isotropic flags that describe the irreducible components. △ Less

Submitted 1 December, 2020; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: 38 pages. v3: Not intended for publication; we would like to thank Dongkwan Kim for pointing out that the second goal of this paper can be obtained more efficiently without using the fixed-point subvarieties. This manuscript has therefore been split into the two preprints arXiv:2009.08778 and arXiv:2011.13138

Denominator identities for the periplectic Lie superalgebra

Authors: Crystal Hoyt, Mee Seong Im, Shifra Reif

Abstract: We prove denominator identities for the periplectic Lie superalgebra $\mathfrak{p}(n)$, thereby completing the problem of finding denominator identities for all simple classical finite-dimensional Lie superalgebras. We prove denominator identities for the periplectic Lie superalgebra $\mathfrak{p}(n)$, thereby completing the problem of finding denominator identities for all simple classical finite-dimensional Lie superalgebras. △ Less

Submitted 19 June, 2019; originally announced June 2019.

Comments: 11 pages

Irreducible calibrated representations of periplectic Brauer algebras and hook representations of the symmetric group

Authors: Mee Seong Im, Emily Norton

Abstract: We construct an infinite tower of irreducible calibrated representations of periplectic Brauer algebras on which the cup-cap generators act by nonzero matrices. As representations of the symmetric group, these are exterior powers of the standard representation (i.e. hook representations). Our approach uses the recently-defined degenerate affine periplectic Brauer algebra, which plays a role simila… ▽ More We construct an infinite tower of irreducible calibrated representations of periplectic Brauer algebras on which the cup-cap generators act by nonzero matrices. As representations of the symmetric group, these are exterior powers of the standard representation (i.e. hook representations). Our approach uses the recently-defined degenerate affine periplectic Brauer algebra, which plays a role similar to that of the degenerate affine Hecke algebra in representation theory of the symmetric group. We write formulas for the representing matrices in the basis of Jucys--Murphy eigenvectors and we completely describe the spectrum of these representations. The tower formed by these representations provides a new, non-semisimple categorification of Pascal's triangle. Along the way, we also prove some basic results about calibrated representations of the degenerate affine periplectic Brauer algebra. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 38 pages, several figures

Grothendieck rings of periplectic Lie superalgebras

Authors: Mee Seong Im, Shifra Reif, Vera Serganova

Abstract: We describe explicitly the Grothendieck rings of finite-dimensional representations of the periplectic Lie superalgebras. In particular, the Grothendieck ring of the Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$. We describe explicitly the Grothendieck rings of finite-dimensional representations of the periplectic Lie superalgebras. In particular, the Grothendieck ring of the Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$. △ Less

Submitted 5 June, 2019; originally announced June 2019.

Comments: 13 pages

On calibrated representations of the degenerate affine periplectic Brauer algebra

Authors: Zajj Daugherty, Iva Halacheva, Mee Seong Im, Emily Norton

Abstract: We initiate the representation theory of the degenerate affine periplectic Brauer algebra on $n$ strands by constructing its finite-dimensional calibrated representations when $n=2$. We show that any such representation that is indecomposable and does not factor through a representation of the degenerate affine Hecke algebra occurs as an extension of two semisimple representations with one-dimensi… ▽ More We initiate the representation theory of the degenerate affine periplectic Brauer algebra on $n$ strands by constructing its finite-dimensional calibrated representations when $n=2$. We show that any such representation that is indecomposable and does not factor through a representation of the degenerate affine Hecke algebra occurs as an extension of two semisimple representations with one-dimensional composition factors; and furthermore, we classify such representations with regular eigenvalues up to isomorphism. △ Less

Submitted 13 May, 2019; originally announced May 2019.

Comments: 11 pages, no figures

Complexity of Partitioning Hypergraphs

Authors: Seonghyuk Im

Abstract: For a given $π=(π_0, π_1,..., π_k) \in \{0, 1, *\}^{k+1}$, we want to determine whether an input $k$-uniform hypergraph $G=(V, E)$ has a partition $(V_1, V_2)$ of the vertex set so that for all $X \subseteq V$ of size $k$, $X \in E$ if $π_{|X\cap V_1|}=1$ and $X \notin E$ if $π_{|X\cap V_1|}=0$. We prove that this problem is either polynomial-time solvable or NP-complete depending on $π$ when… ▽ More For a given $π=(π_0, π_1,..., π_k) \in \{0, 1, *\}^{k+1}$, we want to determine whether an input $k$-uniform hypergraph $G=(V, E)$ has a partition $(V_1, V_2)$ of the vertex set so that for all $X \subseteq V$ of size $k$, $X \in E$ if $π_{|X\cap V_1|}=1$ and $X \notin E$ if $π_{|X\cap V_1|}=0$. We prove that this problem is either polynomial-time solvable or NP-complete depending on $π$ when $k=3$ or $4$. We also extend this result into $k$-uniform hypergraphs for $k \geq 5$. △ Less

Submitted 21 December, 2018; originally announced December 2018.

Comments: 9pages

MSC Class: 68Q17

The regularity of almost-commuting partial Grothendieck--Springer resolutions and parabolic analogs of Calogero--Moser varieties

Authors: Mee Seong Im, Travis Scrimshaw

Abstract: Consider the moment map $μ\colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $μ$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that… ▽ More Consider the moment map $μ\colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $μ$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that $\operatorname{Lie}(P) = \mathfrak{p}$, and give an explicit description of the irreducible components. This allows us to study nearby fibers of $μ$ as they are equidimensional, and one may also construct GIT quotients $μ^{-1}(0) /\!\!/_χ P$ by varying the stability condition $χ$. Finally, we study a variety analogous to the scheme studied by Wilson with connections to a Calogero--Moser phase space where only some of particles interact. △ Less

Submitted 29 July, 2020; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: 18 pages, to appear in Journal of Lie Theory

MSC Class: 14M10; 53D20; 17B08; 14L30; 14L24; 20G20

Journal ref: J. Lie Theory, 31(1) (2021) pp. 127-148

Nonstandard approach to Hausdorff measure theory and an analysis of some sets of dimension less than $1$

Authors: Mee Seong Im

Abstract: We study various measure theories using the classical approach and then compute the Hausdorff dimension of some simple objects and self-similar fractals. We then develop a nonstandard approach to these measure theories and examine the Hausdorff measure in more detail. We choose to study Hausdorff measure over any other measures since it is well-defined for all sets, and widely used in many differe… ▽ More We study various measure theories using the classical approach and then compute the Hausdorff dimension of some simple objects and self-similar fractals. We then develop a nonstandard approach to these measure theories and examine the Hausdorff measure in more detail. We choose to study Hausdorff measure over any other measures since it is well-defined for all sets, and widely used in many different areas in mathematics, physics, probability theory, and so forth. Finally we generate a particular set and compute its upper and lower Hausdorff dimension. We compare our set with box-counting dimension and other well-known fractal behaviors to analyze the set in a greater detail. △ Less

Submitted 5 December, 2018; originally announced December 2018.

Comments: 103 pages. This was the author's Master of Philosophy thesis. Theorem 5.2.2. is the main result

On the module structure of the center of hyperelliptic Krichever-Novikov algebras II

Authors: Ben Cox, Xiangqian Guo, Mee Seong Im, Kaiming Zhao

Abstract: Let $R := R_{2}(p)=\mathbb{C}[t^{\pm 1}, u : u^2 = t(t-α_1)\cdots (t-α_{2n})] $ be the coordinate ring of a nonsingular hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra. \color{black} Here $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$ and \begin{equation*} p(t)= t(t-α_1)\cdots (t-α_{2n})=\sum_{k=1}^{2n+1}a_kt^k. \end{e… ▽ More Let $R := R_{2}(p)=\mathbb{C}[t^{\pm 1}, u : u^2 = t(t-α_1)\cdots (t-α_{2n})] $ be the coordinate ring of a nonsingular hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra. \color{black} Here $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$ and \begin{equation*} p(t)= t(t-α_1)\cdots (t-α_{2n})=\sum_{k=1}^{2n+1}a_kt^k. \end{equation*} In earlier work, Cox and Im gave a generator and relations description of the universal central extension of $\mathfrak{g}\otimes R$ in terms of certain families of polynomials $P_{k,i}$ and $Q_{k,i}$ and they described how the center $Ω_R/dR$ of this universal central extension decomposes into a direct sum of irreducible representations when the automorphism group was the cyclic group $C_{2k}$ or the dihedral group $D_{2k}$. We give examples of $2n$-tuples $(α_1,\dots,α_{2n})$, which are the automorphism groups $\mathbb G_n=\text{Dic}_{n}$, $\mathbb U_n\cong D_n$ ($n$ odd), or $\mathbb U_n$ ($n$ even) of the hyperelliptic curves \begin{equation} S=\mathbb{C}[t, u: u^2 = t(t-α_1)\cdots (t-α_{2n})] \end{equation} given in [CGLZ17]. In the work below, we describe this decomposition when the automorphism group is $\mathbb U_n=D_n$, where $n$ is odd. △ Less

Submitted 2 December, 2018; originally announced December 2018.

Comments: 24 pages, submitted

Complexity and mission computability of adaptive computing systems

Authors: Venkat R. Dasari, Mee Seong Im, Billy Geerhart

Abstract: There is a subset of computational problems that are computable in polynomial time for which an existing algorithm may not complete due to a lack of high performance technology on a mission field. We define a subclass of deterministic polynomial time complexity class called mission class, as many polynomial problems are not computable in mission time. By focusing on such subclass of languages in t… ▽ More There is a subset of computational problems that are computable in polynomial time for which an existing algorithm may not complete due to a lack of high performance technology on a mission field. We define a subclass of deterministic polynomial time complexity class called mission class, as many polynomial problems are not computable in mission time. By focusing on such subclass of languages in the context for successful military applications, we also discuss their computational and communicational constraints. We investigate feasible (non)linear models that will minimize energy and maximize memory, efficiency, and computational power, and also provide an approximate solution obtained within a pre-determined length of computation time using limited resources so that an optimal solution to a language could be determined. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: 6 pages, 3 figures, submitted

Beta super-functions on super-Grassmannians

Authors: Mee Seong Im, Michal Zakrzewski

Abstract: Israel M. Gelfand gave a geometric interpretation for general hypergeometric functions as sections of the tautological bundle over a complex Grassmannian $G_{k,n}$. In particular, the beta function can be understood in terms of $G_{2,3}$. In this manuscript, we construct one of the simplest generalizations of the Euler beta function by adding arbitrary-many odd variables to the classical setting.… ▽ More Israel M. Gelfand gave a geometric interpretation for general hypergeometric functions as sections of the tautological bundle over a complex Grassmannian $G_{k,n}$. In particular, the beta function can be understood in terms of $G_{2,3}$. In this manuscript, we construct one of the simplest generalizations of the Euler beta function by adding arbitrary-many odd variables to the classical setting. We also relate the beta super-function to the gamma and the hypergeometric function. △ Less

Submitted 12 August, 2018; originally announced August 2018.

Comments: 18 pages, submitted

Categorification of Verma modules and indecomposable projective modules in the category $\mathcal I_{\mathfrak{g}}(\mathfrak{sl}_2)$ for $\mathfrak{sl}_2$

Authors: Ben Cox, Mee Seong Im

Abstract: We categorify Verma and indecomposable projective modules in the category $\mathcal I_{\mathfrak{g}}(\mathfrak{sl}_2)$ for $\mathfrak{sl}_2$ using a tensor product decomposition theorem of T. J. Enright and work of J. Chuang and R. Rouquier, A. Licata and A. Savage (Hecke algebras, finite general linear groups, and Heisenberg categorification) and M. Khovanov (Heisenberg algebra and a graphical ca… ▽ More We categorify Verma and indecomposable projective modules in the category $\mathcal I_{\mathfrak{g}}(\mathfrak{sl}_2)$ for $\mathfrak{sl}_2$ using a tensor product decomposition theorem of T. J. Enright and work of J. Chuang and R. Rouquier, A. Licata and A. Savage (Hecke algebras, finite general linear groups, and Heisenberg categorification) and M. Khovanov (Heisenberg algebra and a graphical calculus). △ Less

Submitted 7 June, 2018; originally announced June 2018.

Comments: 23 pages, submitted

The affine VW supercategory

Authors: Martina Balagovic, Zajj Daugherty, Inna Entova-Aizenbud, Iva Halacheva, Johanna Hennig, Mee Seong Im, Gail Letzter, Emily Norton, Vera Serganova, Catharina Stroppel

Abstract: We define the affine VW supercategory $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$, which arises from studying the action of the periplectic Lie superalgebra $\mathfrak{p}(n)$ on the tensor product $M\otimes V^{\otimes a}$ of an arbitrary representation $M$ with several copies of the vector representation $V$ of $\mathfrak{p}(n)$. It plays a role analogous to that of the degenerate affine… ▽ More We define the affine VW supercategory $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$, which arises from studying the action of the periplectic Lie superalgebra $\mathfrak{p}(n)$ on the tensor product $M\otimes V^{\otimes a}$ of an arbitrary representation $M$ with several copies of the vector representation $V$ of $\mathfrak{p}(n)$. It plays a role analogous to that of the degenerate affine Hecke algebras in the context of representations of the general linear group; the main obstacle was the lack of a quadratic Casimir element in $\mathfrak{p}(n)\otimes \mathfrak{p}(n)$. When $M$ is the trivial representation, the action factors through the Brauer supercategory $\mathit{s}\mathcal{B}\mathit{r}$. Our main result is an explicit basis theorem for the morphism spaces of $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$ and, as a consequence, of $\mathit{s}\mathcal{B}\mathit{r}$. The proof utilises the close connection with the representation theory of $\mathfrak{p}(n)$. As an application we explicitly describe the centre of all endomorphism algebras, and show that it behaves well under the passage to the associated graded and under deformation. △ Less

Submitted 12 January, 2018; originally announced January 2018.

Comments: 35 pages

MSC Class: 17A70; 17B20; 17B60; 18D10; 33D80

On the module structure of the center of hyperelliptic Krichever-Novikov algebras

Authors: Ben Cox, Mee Seong Im

Abstract: We consider the coordinate ring of a hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra where $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$. We give a generator and relations description of the universal central extension of $\mathfrak{g}\otimes R$ in terms of certain families of polynomials $P_{k,i}$ and $Q_{k,i}$ and d… ▽ More We consider the coordinate ring of a hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra where $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$. We give a generator and relations description of the universal central extension of $\mathfrak{g}\otimes R$ in terms of certain families of polynomials $P_{k,i}$ and $Q_{k,i}$ and describe how the center $Ω_R/dR$ decomposes into a direct sum of irreducible representations when the automorphism group is $C_{2k}$ or $D_{2k}$. △ Less

Submitted 8 September, 2018; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: 34 pages

Journal ref: Representations of Lie Algebras, Quantum Groups and Related Topics, Contemp. Math. 713 (2018), 61-94