arXiv ScienceSearch

arXiv subjects

Jason Lo

Publications and source records attributed to Jason Lo.

At least 19 recordsLinked to original sources

Wiring diagram extraction and gluing: a case study in classifying figure skating jumps using 3D dataset

Hasse clustering is an algorithm that extracts common patterns in sequential data and represents them in graphical forms. As the number of expected clusters grows, however, the algorithm can become infeasible to run due to combinatorial complexity. In this article, we describe a theory of gluing wiring diagrams, allowing iterative applications of Hasse clustering to achieve the same result as a single application. We test our theory in the context of classifying videos of figure skating jumps.

cs.AI

From data to concepts via wiring diagrams

A wiring diagram is a labeled directed graph that represents an abstract concept such as a temporal process. In this article, we introduce the notion of a quasi-skeleton wiring diagram graph, and prove that quasi-skeleton wiring diagram graphs correspond to Hasse diagrams. Using this result, we designed algorithms that extract wiring diagrams from sequential data. We used our algorithms in analyzing the behavior of an autonomous agent playing a computer game, and the algorithms correctly identified the winning strategies. We compared the performance of our main algorithm with two other algorithms based on standard clustering techniques (DBSCAN and agglomerative hierarchical), including when some of the data was perturbed. Overall, this article brings together techniques in category theory, graph theory, clustering, reinforcement learning, and data engineering.

cs.AI

Higher rank DT/PT wall-crossing in Bridgeland stability

We prove that the Gieseker moduli space of stable sheaves on a smooth projective threefold $X$ of Picard rank 1 is separated from the moduli space of PT stable objects by a single wall in the space of Bridgeland stability conditions on $X$, thus realizing the higher rank DT/PT correspondence as a wall-crossing phenomenon in the space of Bridgeland stability conditions. In addition, we also show that only finitely many walls pass through the upper $(\beta,\alpha)$-plane parametrizing geometric Bridgeland stability conditions on $X$ which destabilize Gieseker stable sheaves, PT stable objects or their duals when $\alpha>\alpha_0$.

math.AG

Bridgeland/Weak Stability Conditions under Spherical Twist Associated to A Torsion Sheaf

In this paper, we study the action of an autoequivalence, the spherical twist associated to a torsion sheaf, on the standard Bridgeland stability conditions and a generalized weak stability condition on the derived category of a K3 surface. As a special case, we construct a Bridgeland stability condition associated to a non-nef divisor, which conjecturally lies in the geometric component but outside the geometric chamber. We also discuss the destabilizing objects and stability of certain line bundles at the weak stability condition associated to a nef divisor.

math.AG

Weak Stability Conditions as Limits of Bridgeland Stability Conditions

In this paper, we give a definition of weak stability condition on a triangulated category. The difference between our definition and existing definitions is that we allow objects in the kernel to have non-maximal phases. We then construct four types of weak stability conditions that naturally occur on Weierstrass ellitpic surfaces as limites of Bridgeland stability conditions.

math.AG

Quantifying analogy of concepts via ologs and wiring diagrams

We build on the theory of ontology logs (ologs) created by Spivak and Kent, and define a notion of wiring diagrams. In this article, a wiring diagram is a finite directed labelled graph. The labels correspond to types in an olog; they can also be interpreted as readings of sensors in an autonomous system. As such, wiring diagrams can be used as a framework for an autonomous system to form abstract concepts. We show that the graphs underlying skeleton wiring diagrams form a category. This allows skeleton wiring diagrams to be compared and manipulated using techniques from both graph theory and category theory. We also extend the usual definition of graph edit distance to the case of wiring diagrams by using operations only available to wiring diagrams, leading to a metric on the set of all skeleton wiring diagrams. In the end, we give an extended example on calculating the distance between two concepts represented by wiring diagrams, and explain how to apply our framework to any application domain.

cs.LO

Stability for Line Bundles and Deformed Hermitian-Yang-Mills Equation on Some Elliptic Surfaces

We study the twisted ampleness criterion due to Collins, Jacob and Yau on surfaces, which is equivalent to the existence of solutions to the deformed Hermitian-Yang-Mills (dHYM) equation. When $X$ is a Weierstrass elliptic K3 surface, and $\omega$ an ample class such that $\omega$ lies in the span of a section class and the fiber class, we show that for a class of line bundles $L$ with fiber degree 1 and $\omega c_1(L)>0$, the twisted ampleness of $L$ respect to $\omega$, always implies the $\sigma_{\omega, 0}$-stability (Bridgeland stability) of $L$. This answers a question by Collins and Yau for a class of examples.

math.AG

A Data-Driven Computational Model for Engineered Cardiac Microtissues

Engineered heart tissues (EHTs) present a potential solution to some of the current challenges in the treatment of heart disease; however, the development of mature, adult-like cardiac tissues remains elusive. Mechanical stimuli have been observed to improve whole-tissue function and cardiomyocyte (CM) maturation, although our ability to fully utilize these mechanisms is hampered, in part, by our incomplete understanding of the mechanobiology of EHTs. In this work, we leverage the experimental data produced by a mechanically tunable experimental setup to generate tissue-specific computational models of EHTs. Using imaging and functional data, our modeling pipeline generates models with tissue-specific ECM and myofibril structure, allowing us to estimate CM active stress. We use this experimental and modeling pipeline to study different mechanical environments, where we contrast the force output of the tissue with the computed active stress of CMs. We show that the significant differences in measured experimental forces can largely be explained by the levels of myofibril formation achieved by the CMs in the distinct mechanical environments, with active stress showing more muted variations across conditions. The presented model also enables us to dissect the relative contributions of myofibrils and extracellular matrix to tissue force output, a task difficult to address experimentally. These results highlight the importance of tissue-specific modeling to augment EHT experiments, providing deeper insights into the mechanobiology driving EHT function.

q-bio.TO

Intersection numbers on fibrations and Catalan numbers

On an elliptic surface or threefold, Catalan numbers appear when one tries to compute the autoequivalence group action on the Bridgeland stability manifold. We explain why this happens by identifying a class of equations in the Chow ring of a fibration, where the solutions always involve Catalan numbers.

math.AG

Geometric stability conditions under autoequivalences and applications: Elliptic Surfaces

On a Weierstrass elliptic surface, we describe the action of the relative Fourier-Mukai transform on the geometric chamber of $\mathrm{Stab}(X)$, and in the K3 case we also study the action on one of its boundary components. Using new estimates for the Gieseker chamber we prove that Gieseker stability for polarizations on certain Friedman chamber is preserved by the derived dual of the relative Fourier-Mukai transform. As an application of our description of the action, we also prove projectivity for some moduli spaces of Bridgeland semistable objects.

math.AG

Stable pairs of 2-dimensional sheaves on 4-folds

We identify Le Potier's moduli spaces of limit stable pairs $(F,s)$, where $F$ is a 2-dimensional sheaf on a nonsingular projective 4-fold $X$ and $s \in H^0(F)$, with the moduli spaces of polynomial stable 2-term complexes in derived category. These stable pairs are 2-dimensional analogs of Pandharipande-Thomas' stable pairs defined for 3-folds. We establish categorical correspondences involving these stable pairs, ideal sheaves of 2-dimensional subschemes of $X$, and 1-dimensional sheaves on $X$. Under some conditions on the Chern character, these lead to Hall algebra correspondences. The generalization of most of these results to higher ranks is also given. In case $X$ is Calabi-Yau, Oh-Thomas' construction gives a new set of invariants of $X$ counting these stable pairs. For certain Chern characters, these are related to the invariants of 2-dimensional stable sheaves. We calculate and study them in some cases and examples such as fibrations by abelian surfaces, local surfaces, and local Fano 3-folds. The last case in particular leads to new invariants of Fano 3-folds counting 2-dimensional stable pairs with reduced supports.

math.AG

A note on Bridgeland stability conditions and Catalan numbers

In this short note, we describe a problem in algebraic geometry where the solution involves Catalan numbers. More specifically, we consider the derived category of coherent sheaves on an elliptic surface, and the action of its autoequivalence group on its Bridgeland stability manifold. In solving an equation involving this group action, the generating function of Catalan numbers arises, allowing us to use asymptotic estimates of Catalan numbers to arrive at a bound for the solution set.

math.AG

Weight functions, tilts, and stability conditions

In this article, we treat stability conditions in the sense of King, Bridgeland and Bayer in a single framework. Following King, we begin with weight functions on a triangulated category, and consider increasingly specialised configurations of triangulated categories, t-structures and stability functions that give equivalent categories of stable objects. Along the way, we recover existing results in representation theory and algebraic geometry, and prove a series of new results on elliptic surfaces, including correspondence theorems for Bridgeland stability conditions and polynomial stability conditions, local finiteness and boundedness for mini-walls for Bridgeland stability conditions, isomorphisms between moduli of 1-dimensional twisted Gieseker semistable sheaves and 2-dimensional Bridgeland semistable objects, the preservation of geometric Bridgeland stability by autoequivalences on elliptic surfaces of nonzero Kodaira dimension, and solutions to Gepner equations on elliptic surfaces.

math.AG

Fourier-Mukai transforms and stable sheaves on Weierstrass elliptic surfaces

On a Weierstra{\ss} elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted as $Z^l$-stability, by moving the polarisation towards the fiber direction in the ample cone while keeping the volume of the polarisation fixed. We describe conditions under which a slope stable torsion-free sheaf is taken by a Fourier-Mukai transform to a $Z^l$-stable object, and describe a modification upon which a $Z^l$-semistable object is taken by the inverse Fourier-Mukai transform to a slope semistable torsion-free sheaf. We also study wall-crossing for Bridgeland stability, and show that 1-dimensional twisted Gieseker semistable sheaves are taken by a Fourier-Mukai transform to Bridgeland semistable objects.

math.AG

A relation between higher-rank PT stable objects and quotients of coherent sheaves

On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime assumption on rank and degree, the domain of $\mathcal{F}$ coincides with the category of higher-rank PT stable objects, which appear on one side of Toda's higher-rank DT/PT correspondence formula. The codomain of $\mathcal{F}$ is the category of objects that appear on one side of another correspondence formula by Gholampour-Kool, between the generating series of topological Euler characteristics of two types of quot schemes.

math.AG

A framework for torsion theory computations on elliptic threefolds

We give a list of statements on the geometry of elliptic threefolds phrased only in the language of topology and homological algebra. Using only notions from topology and homological algebra, we recover existing results and prove new results on torsion pairs in the category of coherent sheaves on an elliptic threefold.

math.AG

Fourier-Mukai transforms of slope stable torsion-free sheaves on Weierstrass elliptic surfaces

On a Weierstra{\ss} elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted $Z^l$-stability, by varying the polarisation in the definition of Bridgeland stability along a curve in the ample cone of $X$. We show that a slope stable torsion-free sheaf of positive (twisted) degree or a slope stable locally free sheaf is taken by a Fourier-Mukai transform on $D^b(X)$ to a $Z^l$-stable object, while a $Z^l$-semistable object of nonzero fiber degree can be modified so that its inverse Fourier-Mukai transform is a slope semistable torsion-free sheaf.

math.AG

Fourier-Mukai transforms of slope stable torsion-free sheaves on Weierstrass elliptic threefolds

We focus on a class of Weierstrass elliptic threefolds that allows the base of the fibration to be a Fano surface or a numerically $K$-trivial surface. We define the notion of limit tilt stability, and show that the Fourier-Mukai transform of a slope stable torsion-free sheaf satisfying a vanishing condition in codimension 2 (e.g. a reflexive sheaf) is a limit tilt stable object. We also show that the inverse Fourier-Mukai transform of a limit tilt semistable object of nonzero fiber degree is a slope semistable torsion-free sheaf, up to modification in codimension 2.

math.AG