arXiv subjects

Michael Ma

Publications and source records attributed to Michael Ma.

At least 19 recordsLinked to original sources

arXiv2026

Image-Based Whole-Heart Cardiac Flow Simulations in Health and Congenital Heart Disease

Intracardiac flow patterns are shaped by the coupled motion of the cardiac chambers and heart valves and provide important information about cardiac function. However, clinical flow imaging remains limited by exam times, noise, resolution, and incomplete details of the three-dimensional flow. Computational fluid dynamics (CFD) can potentially provide detailed flow quantification and predictive insight into treatment outcomes, but clinical translation requires frameworks that reproduce patient-specific measurements while balancing physiological realism, computational cost, and modeling effort. Herein, we present an image-based, patient-specific computational framework for simulating whole-heart intracardiac hemodynamics that balances physiological fidelity with computational efficiency. The framework first employs machine learning-based segmentation and mesh propagation to reconstruct moving cardiac anatomies from time-resolved images. CFD simulations are then performed to resolve blood flow in deforming domains, while resistive immersed surfaces (RIS) are used to model all four cardiac valves with physiologically realistic opening and closing dynamics. The framework was applied to model hemodynamics in a healthy adult and a pediatric patient with complex congenital heart disease (CHD). In the healthy case, the simulations reproduced physiologic pressure-volume behavior, valve timing, and ventricular vortex formation. In the CHD case, simulated chamber and vessel pressures showed agreement with cardiac catheterization measurements. Simulated flow fields were qualitatively consistent with 4D-Flow MRI, while providing higher-resolution visualization of flow structures that were partially obscured by imaging artifacts. Comparison between the healthy and CHD cases further revealed altered diastolic flow organization and elevated normalized viscous dissipation in the CHD heart.

eess.IV↗

arXiv2025

Emergent World Beliefs: Exploring Transformers in Stochastic Games

Transformer-based large language models (LLMs) have demonstrated strong reasoning abilities across diverse fields, from solving programming challenges to competing in strategy-intensive games such as chess. Prior work has shown that LLMs can develop emergent world models in games of perfect information, where internal representations correspond to latent states of the environment. In this paper, we extend this line of investigation to domains of incomplete information, focusing on poker as a canonical partially observable Markov decision process (POMDP). We pretrain a GPT-style model on Poker Hand History (PHH) data and probe its internal activations. Our results demonstrate that the model learns both deterministic structure, such as hand ranks, and stochastic features, such as equity, without explicit instruction. Furthermore, by using primarily nonlinear probes, we demonstrated that these representations are decodeable and correlate with theoretical belief states, suggesting that LLMs are learning their own representation of the stochastic environment of Texas Hold'em Poker.

cs.CL↗

arXiv2023

SDF4CHD: Generative Modeling of Cardiac Anatomies with Congenital Heart Defects

Congenital heart disease (CHD) encompasses a spectrum of cardiovascular structural abnormalities, often requiring customized treatment plans for individual patients. Computational modeling and analysis of these unique cardiac anatomies can improve diagnosis and treatment planning and may ultimately lead to improved outcomes. Deep learning (DL) methods have demonstrated the potential to enable efficient treatment planning by automating cardiac segmentation and mesh construction for patients with normal cardiac anatomies. However, CHDs are often rare, making it challenging to acquire sufficiently large patient cohorts for training such DL models. Generative modeling of cardiac anatomies has the potential to fill this gap via the generation of virtual cohorts; however, prior approaches were largely designed for normal anatomies and cannot readily capture the significant topological variations seen in CHD patients. Therefore, we propose a type- and shape-disentangled generative approach suitable to capture the wide spectrum of cardiac anatomies observed in different CHD types and synthesize differently shaped cardiac anatomies that preserve the unique topology for specific CHD types. Our DL approach represents generic whole heart anatomies with CHD type-specific abnormalities implicitly using signed distance fields (SDF) based on CHD type diagnosis, which conveniently captures divergent anatomical variations across different types and represents meaningful intermediate CHD states. To capture the shape-specific variations, we then learn invertible deformations to morph the learned CHD type-specific anatomies and reconstruct patient-specific shapes. Our approach has the potential to augment the image-segmentation pairs for rarer CHD types for cardiac segmentation and generate cohorts of CHD cardiac meshes for computational simulation.

q-bio.TO↗

arXiv2023

Robust Visual Tracking by Motion Analyzing

In recent years, Video Object Segmentation (VOS) has emerged as a complementary method to Video Object Tracking (VOT). VOS focuses on classifying all the pixels around the target, allowing for precise shape labeling, while VOT primarily focuses on the approximate region where the target might be. However, traditional segmentation modules usually classify pixels frame by frame, disregarding information between adjacent frames. In this paper, we propose a new algorithm that addresses this limitation by analyzing the motion pattern using the inherent tensor structure. The tensor structure, obtained through Tucker2 tensor decomposition, proves to be effective in describing the target's motion. By incorporating this information, we achieved competitive results on Four benchmarks LaSOT\cite{fan2019lasot}, AVisT\cite{noman2022avist}, OTB100\cite{7001050}, and GOT-10k\cite{huang2019got} LaSOT\cite{fan2019lasot} with SOTA. Furthermore, the proposed tracker is capable of real-time operation, adding value to its practical application.

cs.CV↗

arXiv2023

Semi-Supervised Learning with Multiple Imputations on Non-Random Missing Labels

Semi-Supervised Learning (SSL) is implemented when algorithms are trained on both labeled and unlabeled data. This is a very common application of ML as it is unrealistic to obtain a fully labeled dataset. Researchers have tackled three main issues: missing at random (MAR), missing completely at random (MCAR), and missing not at random (MNAR). The MNAR problem is the most challenging of the three as one cannot safely assume that all class distributions are equal. Existing methods, including Class-Aware Imputation (CAI) and Class-Aware Propensity (CAP), mostly overlook the non-randomness in the unlabeled data. This paper proposes two new methods of combining multiple imputation models to achieve higher accuracy and less bias. 1) We use multiple imputation models, create confidence intervals, and apply a threshold to ignore pseudo-labels with low confidence. 2) Our new method, SSL with De-biased Imputations (SSL-DI), aims to reduce bias by filtering out inaccurate data and finding a subset that is accurate and reliable. This subset of the larger dataset could be imputed into another SSL model, which will be less biased. The proposed models have been shown to be effective in both MCAR and MNAR situations, and experimental results show that our methodology outperforms existing methods in terms of classification accuracy and reducing bias.

cs.LG↗

arXiv2020

New Results on Pattern-Replacement Equivalences: Generalizing a Classical Theorem and Revising a Recent Conjecture

In this paper we study pattern-replacement equivalence relations on the set $S_n$ of permutations of length $n$. Each equivalence relation is determined by a set of patterns, and equivalent permutations are connected by pattern-replacements in a manner similar to that of the Knuth relation. One of our main results generalizes the celebrated Erdos-Szekeres Theorem for permutation pattern-avoidance to a new result for permutation pattern-replacement. In particular, we show that under the $\{123 \cdots k, k \cdots 321\}$-equivalence, all permutations in $S_n$ are equivalent up to parity when $n \ge \Omega(k^2)$. Additionally, we extend the work of Kuszmaul and Zhou on an infinite family of pattern-replacement equivalences known as the rotational equivalences. Kuszmaul and Zhou proved that the rotational equivalences always yield either one or two nontrivial equivalence classes in $S_n$, and conjectured that the number of nontrivial classes depended only on the patterns involved in the rotational equivalence (rather than on $n$). We present a counterexample to their conjecture, and prove a new theorem fully classifying (for large $n$) when there is one nontrivial equivalence class and when there are two nontrivial equivalence classes. Finally, we computationally analyze the pattern-replacement equivalences given by sets of pairs of patterns of length four. We then focus on three cases, in which the number of nontrivial equivalence classes matches an OEIS sequence. For two of these we present full proofs of the enumeration and for the third we suggest a potential future method of proof.

math.CO↗

arXiv2017

Decay of Ultralight Axion Condensates

Axion particles can form macroscopic condensates, whose size can be galactic in scale for models with very small axion masses $m\sim10^{-22}$ eV, and which are sometimes referred to under the name of Fuzzy Dark Matter. Many analyses of these condensates are done in the non-interacting limit, due to the weakness of the self-interaction coupling of axions. We investigate here how certain results change upon inclusion of these interactions, finding a decreased maximum mass and a modified mass-radius relationship. Further, these condensates are, in general, unstable to decay through number-changing interactions. We analyze the stability of galaxy-sized condensates of axion-like particles, and sketch the parameter space of stable configurations as a function of a binding energy parameter. We find a strong lower bound on the size of Fuzzy Dark Matter condensates which are stable to decay, with lifetimes longer than the age of the universe.

hep-ph↗

arXiv2009

Quantum Critical Point at Finite Doping in the 2D Hubbard Model: A Dynamical Cluster Quantum Monte Carlo Study

We explore the Matsubara quasiparticle fraction and the pseudogap of the two-dimensional Hubbard model with the dynamical cluster quantum Monte Carlo method. The character of the quasiparticle fraction changes from non-Fermi liquid, to marginal Fermi liquid to Fermi liquid as a function of doping, indicating the presence of a quantum critical point separating non-Fermi liquid from Fermi liquid character. Marginal Fermi liquid character is found at low temperatures at a very narrow range of doping where the single-particle density of states is also symmetric. At higher doping the character of the quasiparticle fraction is seen to cross over from Fermi Liquid to Marginal Fermi liquid as the temperature increases.

cond-mat.str-el↗

arXiv2008

XXZ and Ising Spins on the Triangular Kagome Lattice

The recently fabricated two-dimensional magnetic materials Cu9X2(cpa)6.xH2O (cpa=2-carboxypentonic acid; X=F,Cl,Br) have copper sites which form a triangular kagome lattice (TKL), formed by introducing small triangles (``a-trimers'') inside of each kagome triangle (``b-trimer''). We show that in the limit where spins residing on b-trimers have Ising character, quantum fluctuations of XXZ spins residing on the a-trimers can be exactly accounted for in the absence of applied field. This is accomplished through a mapping to the kagome Ising model, for which exact analytic solutions exist. We derive the complete finite temperature phase diagram for this XXZ-Ising model, including the residual zero temperature entropies of the seven ground state phases. Whereas the disordered (spin liquid) ground state of the pure Ising TKL model has macroscopic residual entropy ln72=4.2767... per unit cell, the introduction of transverse(quantum) couplings between neighboring $a$-spins reduces this entropy to 2.5258... per unit cell. In the presence of applied magnetic field, we map the TKL XXZ-Ising model to the kagome Ising model with three-spin interactions, and derive the ground state phase diagram. A small (or even infinitesimal) field leads to a new phase that corresponds to a non-intersecting loop gas on the kagome lattice, with entropy 1.4053... per unit cell and a mean magnetization for the b-spins of 0.12(1) per site. In addition, we find that for moderate applied field, there is a critical spin liquid phase which maps to close-packed dimers on the honeycomb lattice, which survives even when the a-spins are in the Heisenberg limit.

cond-mat.stat-mech↗

arXiv2007

Mott Insulator - Superfluid Transitions in a Two Band Model at Finite Temperature and Possible Application to Supersolid 4He

We study Mott insulator - superfluid transition in a two-band boson Hubbard model, which can be mapped onto a spin-1/2 XY model with spins coupled to an additional Ising degree of freedom. By using a modified mean field theory that include the effects of phase fluctuations, we show that the transition is first order at both zero and finite temperatures. On the Mott insulator side, there may be reentrance in phase transition. These features are consequences of the underlying transition between competing defect poor and defect rich phases. The relevance of the model and our results to supersolid 4He and cold bosonic atoms in optical lattices are discussed.

cond-mat.stat-mech↗

arXiv2005

Theory for supersolid $^4$He

Although both vacancies and interstitial have relatively high activation energies in the normal solid, we propose that a lower energy bound state of a vacancy and an interstitial may facilitate vacancy condensation to give supersolidity in $^{4}$He . We use a phenomenological two-band boson lattice model to demonstrate this new mechanism and discuss the possible relevance to the recently observed superfluid-like, non-classical rotational inertial experiments of Kim and Chan in solid $^{4}$He. Some of our results may also be applicable to trapped bosons in optical lattices.

cond-mat.supr-con↗

arXiv2004

Resonant spin Hall conductance in quantum Hall systems lacking bulk and structural inversion symmetry

Following a previous work [Shen, Ma, Xie and Zhang, Phys. Rev. Lett. 92, 256603 (2004)] on the resonant spin Hall effect, we present detailed calculations of the spin Hall conductance in two-dimensional quantum wells in a strong perpendicular magnetic field. The Rashba coupling, generated by spin-orbit interaction in wells lacking bulk inversion symmetry, introduces a degeneracy of Zeeman-split Landau levels at certain magnetic fields. This degeneracy, if occuring at the Fermi energy, will induce a resonance in the spin Hall conductance below a characteristic temperature of order of the Zeeman energy. At very low temperatures, the spin Hall current is highly non-ohmic. The Dresselhaus coupling due to the lack of structure inversion symmetry partially or completely suppresses the spin Hall resonance. The condition for the resonant spin Hall conductance in the presence of both Rashba and Dresselhaus couplings is derived using a perturbation method. In the presence of disorder, we argue that the resonant spin Hall conductance occurs when the two Zeeman split extended states near the Fermi level becomes degenerate due to the Rashba coupling and that the the quantized charge Hall conductance changes by 2e^2/h instead of e^2/h as the magnetic field changes through the resonant field.

cond-mat.mes-hall↗

arXiv2004

On the ground state and excitations of a four-component fermion model

The properties of the ground state and excitations of a four-component Hubbard-like model are studied by the Lieb-Schultz-Mattis approach. It is proven rigorously that the ground state of the model is nondegenerate and excitations are gapless at all band fillings.

cond-mat.str-el↗

arXiv2004

Directional Ordering of Fluctuations in a Two-dimensional Compass Model

In the Mott insulating phase of the transition metal oxides, the effective orbital-orbital interaction is directional both in the orbital space and in the real space. We discuss a classical realization of directional coupling in two dimensions. Despite extensive degeneracy of the ground state, the model exhibits partial orbital ordering in the form of directional ordering of fluctuations at low temperatures stabilized by an entropy gap. Transition to the disordered phase is shown to be in the Ising universality class through exact mapping and multicanonical Monte Carlo simulations.

cond-mat.str-el↗

arXiv2004

Dynamically generated dimension reduction and crossover in a spin orbital model

We study a spin orbital model in which the spin-spin interaction couples linearly to the orbital isospin. Fluctuations drive the transition from paramagnetic state to C type ordered state into a strongly first order one, as observed in $V_2O_3$. At T=0, there is a FOCS to FOGS transition. Close to the transition point, the system shows dynamically generated dimension reduction and crossover, resulting in one or more spin reentrant transitions.

cond-mat.str-el↗

arXiv2004

Resonant Spin Hall Conductance in Two-Dimensional Electron Systems with Rashba Interaction in a Perpendicular Magnetic Field

We study transport properties of a two-dimensional electron system with Rashba spin-orbit coupling in a perpendicular magnetic field. The spin orbit coupling competes with Zeeman splitting to introduce additional degeneracies between different Landau levels at certain magnetic fields. This degeneracy, if occuring at the Fermi level, gives rise to a resonant spin Hall conductance, whose height is divergent as 1/T and whose weight is divergent as $-\ln T$ at low temperatures. The Hall conductance is unaffected by the Rashba coupling.

cond-mat.mes-hall↗

arXiv2003

Theory for spin and orbital orderings in high temperature phase in $YVO_3$

Motivated by the recent neutron diffraction experiment on $YVO_3$, we consider a microscopic model where each $V^{3+}$ ion is occupied by two 3d electrons of parallel spins with two fold degenerate orbital configurations. The mean field classical solutions of the spin-orbital superexchange model predicts an antiferro-orbital ordering at a higher temperature followed by a C-type antiferromagnetic spin ordering at a lower temperature. Our results are qualitatively consistent with the observed orbital phase transition at $\sim 200K$ and the spin phase transition at $\sim 114K$ in $YVO_3$.

cond-mat.str-el↗

arXiv2002

Pathology of Schwinger boson mean field theory for Heisenberg spin models

We have re-analyze the Schwinger boson mean field theory (SBMFT) for Heisenberg spin models on the cubic lattice. We find that the second order phase transition point for magnetic ordering previously reported corresponds to a local maximum of the free energy functional. For both ferromagnetic and antiferromagnetic Heisenberg models with spin $S \geq S_C$, where $S_C < 1/2$, the mean field transitions are first order from the magnetically long-ranged ordered phase to the completely uncorrelated phase. In addition to erroneously giving a first order transition for magnetic ordering, the mean field theory does not include a phase with finite short-range correlation, thus negating one of the prime advantages of SBMFT. The relevance of these pathologies to other situations beyond the cubic lattice is discussed.

cond-mat.str-el↗