-
VALVEFIT: An analysis-suitable B-spline-based surface fitting framework for patient-specific modeling of tricuspid valves
Authors:
Ajith Moola,
Ashton M. Corpuz,
Michael J. Burkhart,
Colton J. Ross,
Arshid Mir,
Harold M. Burkhart,
Chung-Hao Lee,
Ming-Chen Hsu,
Aishwarya Pawar
Abstract:
Patient-specific computational modeling of the tricuspid valve (TV) is vital for the clinical assessment of heart valve diseases. However, this process is hindered by limitations inherent in the medical image data, such as noise and sparsity, as well as by complex valve dynamics. We present VALVEFIT, a novel GPU-accelerated and differentiable B-spline surface fitting framework that enables rapid r…
▽ More
Patient-specific computational modeling of the tricuspid valve (TV) is vital for the clinical assessment of heart valve diseases. However, this process is hindered by limitations inherent in the medical image data, such as noise and sparsity, as well as by complex valve dynamics. We present VALVEFIT, a novel GPU-accelerated and differentiable B-spline surface fitting framework that enables rapid reconstruction of smooth, analysis-suitable geometry from point clouds obtained via medical image segmentation. We start with an idealized TV B-spline template surface and optimize its control point positions to fit segmented point clouds via an innovative loss function, balancing shape fidelity and mesh regularization. Novel regularization terms are introduced to ensure that the surface remains smooth, regular, and intersection-free during large deformations. We demonstrate the robustness and validate the accuracy of the framework by first applying it to simulation-derived point clouds that serve as the ground truth. We further show its robustness across different point cloud densities and noise levels. Finally, we demonstrate the performance of the framework toward fitting point clouds obtained from real patients at different stages of valve motion. An isogeometric biomechanical valve simulation is then performed on the fitted surfaces to show their direct applicability toward analysis. VALVEFIT enables automated patient-specific modeling with minimal manual intervention, paving the way for the future development of direct image-to-analysis platforms for clinical applications.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
On a Carleson-Radon Transform (the non-resonant setting)
Authors:
Martin Hsu,
Victor Lie
Abstract:
Given a curve $\vecγ=(t^{α_1}, t^{α_2}, t^{α_3})$ with $\vecα=(α_1,α_2,α_3)\in \mathbb{R}_{+}^3$, we define the Carleson-Radon transform along $\vecγ$ by the formula $$ C_{[\vecα]}f(x,y):=\sup_{a\in \mathbb{R}}\left|p.v.\,\int_{\mathbb{R}} f (x-t^{α_1},y-t^{α_2})\,e^{i\,a\,t^{α_3}}\,\frac{dt}{t}\right|\,.$$ We show that in the \emph{non-resonant} case, that is, when the coordinates of $\vecα$ are…
▽ More
Given a curve $\vecγ=(t^{α_1}, t^{α_2}, t^{α_3})$ with $\vecα=(α_1,α_2,α_3)\in \mathbb{R}_{+}^3$, we define the Carleson-Radon transform along $\vecγ$ by the formula $$ C_{[\vecα]}f(x,y):=\sup_{a\in \mathbb{R}}\left|p.v.\,\int_{\mathbb{R}} f (x-t^{α_1},y-t^{α_2})\,e^{i\,a\,t^{α_3}}\,\frac{dt}{t}\right|\,.$$ We show that in the \emph{non-resonant} case, that is, when the coordinates of $\vecα$ are pairwise disjoint, our operator $ C_{[\vecα]}$ is $L^p$ bounded for any $1<p<\infty$. Our proof relies on the (Rank I) LGC-methodology introduced in arXiv:1902.03807 and employs three key elements:
1) a partition of the time-frequency plane with a linearizing effect on both the argument of the input function and on the phase of the kernel;
2) a sparse-uniform dichotomy analysis of the Gabor coefficients associated with the input/output function;
3) a level set analysis of the time-frequency correlation set.
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
A short proof on the boundedness of triangular Hilbert transform along curves
Authors:
Martin Hsu,
Fred Yu-Hsiang Lin
Abstract:
We give a short and elementary proof of the boundedness of triangular Hilbert transform along non-flat curves definable in a polynomially bounded o-minimal structure. We also provide a criterion on the multiplier to determine whether the associated fiber-wisely defined bilinear operator admits a smoothing inequality.
We give a short and elementary proof of the boundedness of triangular Hilbert transform along non-flat curves definable in a polynomially bounded o-minimal structure. We also provide a criterion on the multiplier to determine whether the associated fiber-wisely defined bilinear operator admits a smoothing inequality.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
A sharp Hörmander condition for bilinear Fourier multipliers with Lipschitz singularities
Authors:
Jiao Chen,
Martin Hsu,
Fred Yu-Hsiang Lin
Abstract:
This paper studies the $L^{p}$ boundedness of bilinear Fourier multipliers in the local $L^{2}$ range. We assume a Hörmander condition relative to a singular set that is a finite union of Lipschitz curves. The Hörmander condition is sharp with respect to the Sobolev exponent. Our setup generalizes the non-degenerate bilinear Hilbert transform but avoids issues of uniform bounds near degeneracy.
This paper studies the $L^{p}$ boundedness of bilinear Fourier multipliers in the local $L^{2}$ range. We assume a Hörmander condition relative to a singular set that is a finite union of Lipschitz curves. The Hörmander condition is sharp with respect to the Sobolev exponent. Our setup generalizes the non-degenerate bilinear Hilbert transform but avoids issues of uniform bounds near degeneracy.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
A study guide for "Trilinear smoothing inequalities and a variant of the triangular Hilbert transform"
Authors:
Martin Hsu,
Fred Yu-Hsiang Lin,
Amelia Stokolosa
Abstract:
This article is a study guide for "Trilinear smoothing inequalities and a variant of the triangular Hilbert transform" by Christ, Durcik, and Roos. We first present the standard techniques in the study of oscillatory integrals with the simpler toy model of a Hilbert transform along a parabola. These standard techniques prove to be insufficient in the study of the triangular Hilbert transform with…
▽ More
This article is a study guide for "Trilinear smoothing inequalities and a variant of the triangular Hilbert transform" by Christ, Durcik, and Roos. We first present the standard techniques in the study of oscillatory integrals with the simpler toy model of a Hilbert transform along a parabola. These standard techniques prove to be insufficient in the study of the triangular Hilbert transform with curvature. The central and novel idea in their proof of the $L^p$-boundedness of the triangular Hilbert transform with curvature is a trilinear smoothing inequality which we also examine in this article.
△ Less
Submitted 27 June, 2024; v1 submitted 19 November, 2023;
originally announced November 2023.
-
Scalable adaptive PDE solvers in arbitrary domains
Authors:
Kumar Saurabh,
Masado Ishii,
Milinda Fernando,
Boshun Gao,
Kendrick Tan,
Ming-Chen Hsu,
Adarsh Krishnamurthy,
Hari Sundar,
Baskar Ganapathysubramanian
Abstract:
Efficiently and accurately simulating partial differential equations (PDEs) in and around arbitrarily defined geometries, especially with high levels of adaptivity, has significant implications for different application domains. A key bottleneck in the above process is the fast construction of a `good' adaptively-refined mesh. In this work, we present an efficient novel octree-based adaptive discr…
▽ More
Efficiently and accurately simulating partial differential equations (PDEs) in and around arbitrarily defined geometries, especially with high levels of adaptivity, has significant implications for different application domains. A key bottleneck in the above process is the fast construction of a `good' adaptively-refined mesh. In this work, we present an efficient novel octree-based adaptive discretization approach capable of carving out arbitrarily shaped void regions from the parent domain: an essential requirement for fluid simulations around complex objects. Carving out objects produces an $\textit{incomplete}$ octree. We develop efficient top-down and bottom-up traversal methods to perform finite element computations on $\textit{incomplete}$ octrees. We validate the framework by (a) showing appropriate convergence analysis and (b) computing the drag coefficient for flow past a sphere for a wide range of Reynolds numbers ($\mathcal{O}(1-10^6)$) encompassing the drag crisis regime. Finally, we deploy the framework on a realistic geometry on a current project to evaluate COVID-19 transmission risk in classrooms.
△ Less
Submitted 8 August, 2021;
originally announced August 2021.
-
Industrial scale large eddy simulations (LES) with adaptive octree meshes using immersogeometric analysis
Authors:
Kumar Saurabh,
Boshun Gao,
Milinda Fernando,
Songzhe Xu,
Makrand A. Khanwale,
Biswajit Khara,
Ming-Chen Hsu,
Adarsh Krishnamurthy,
Hari Sundar,
Baskar Ganapathysubramanian
Abstract:
We present a variant of the immersed boundary method integrated with octree meshes for highly efficient and accurate Large-Eddy Simulations (LES) of flows around complex geometries. We demonstrate the scalability of the proposed method up to $\mathcal{O}(32K)$ processors. This is achieved by (a) rapid in-out tests; (b) adaptive quadrature for an accurate evaluation of forces; (c) tensorized evalua…
▽ More
We present a variant of the immersed boundary method integrated with octree meshes for highly efficient and accurate Large-Eddy Simulations (LES) of flows around complex geometries. We demonstrate the scalability of the proposed method up to $\mathcal{O}(32K)$ processors. This is achieved by (a) rapid in-out tests; (b) adaptive quadrature for an accurate evaluation of forces; (c) tensorized evaluation during matrix assembly. We showcase this method on two non-trivial applications: accurately computing the drag coefficient of a sphere across Reynolds numbers $1-10^6$ encompassing the drag crisis regime; simulating flow features across a semi-truck for investigating the effect of platooning on efficiency.
△ Less
Submitted 9 February, 2021; v1 submitted 28 August, 2020;
originally announced September 2020.
-
Orthogonally additive holomorphic maps between C*-algebras
Authors:
Qingying Bu,
Ming-Hsiu Hsu,
Ngai-Ching Wong
Abstract:
Let $A,B$ be C*-algebras, $B_A(0;r)$ the open ball in $A$ centered at $0$ with radius $r>0$, and $H:B_A(0;r)\to B$ an orthogonally additive holomorphic map. If $H$ is zero product preserving on positive elements in $B_A(0;r)$, we show, in the commutative case when $A=C_0(X)$ and $B=C_0(Y)$, that there exist weight functions $h_n$'s and a symbol map $\varphi: Y\to X$ such that…
▽ More
Let $A,B$ be C*-algebras, $B_A(0;r)$ the open ball in $A$ centered at $0$ with radius $r>0$, and $H:B_A(0;r)\to B$ an orthogonally additive holomorphic map. If $H$ is zero product preserving on positive elements in $B_A(0;r)$, we show, in the commutative case when $A=C_0(X)$ and $B=C_0(Y)$, that there exist weight functions $h_n$'s and a symbol map $\varphi: Y\to X$ such that $$ H(f)=\sum_{n\geq1} h_n (f\circ\varphi)^n, \quad\forall f\in B_{C_0(X)}(0;r). $$ In the general case, we show that if $H$ is also conformal then there exist central multipliers $h_n$'s of $B$ and a surjective Jordan isomorphism $J: A\to B$ such that $$ H(a) = \sum_{n\geq1} h_n J(a)^n, \quad\forall a\in B_A(0;r). $$ If, in addition, $H$ is zero product preserving on the whole $B_A(0;r)$, then $J$ is an algebra isomorphism. %Similar conclusions hold for orthogonally additive $n$-homogeneous polynomials which are $n$-isometries.
△ Less
Submitted 23 December, 2015;
originally announced December 2015.
-
Isometric embeddings of Banach bundles
Authors:
Ming-Hsiu Hsu,
Ngai-Ching Wong
Abstract:
We show in this paper that every bijective linear isometry between the continuous section spaces of two non-square Banach bundles gives rise to a Banach bundle isomorphism. This is to support our expectation that the geometric structure of the continuous section space of a Banach bundle determines completely its bundle structures. We also describe the structure of an \emph{into} isometry from a co…
▽ More
We show in this paper that every bijective linear isometry between the continuous section spaces of two non-square Banach bundles gives rise to a Banach bundle isomorphism. This is to support our expectation that the geometric structure of the continuous section space of a Banach bundle determines completely its bundle structures. We also describe the structure of an \emph{into} isometry from a continuous section space into an other. However, we demonstrate by an example that a non-surjective linear isometry can be far away from a subbundle embedding.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
Inner products and module maps of Hilbert C*-modules
Authors:
Ming-Hsiu Hsu,
Ngai-Ching Wong
Abstract:
Let $E$ and $F$ be two Hilbert $C^*$-modules over $C^*$-algebras $A$ and $B$, respectively. Let $T$ be a surjective linear isometry from $E$ onto $F$ and $\varphi$ a map from $A$ into $B$. We will prove in this paper that if the $C^*$-algebras $A$ and $B$ are commutative, then $T$ preserves the inner products and $T$ is a module map, i.e., there exists a $*$-isomorphism $\varphi$ between the…
▽ More
Let $E$ and $F$ be two Hilbert $C^*$-modules over $C^*$-algebras $A$ and $B$, respectively. Let $T$ be a surjective linear isometry from $E$ onto $F$ and $\varphi$ a map from $A$ into $B$. We will prove in this paper that if the $C^*$-algebras $A$ and $B$ are commutative, then $T$ preserves the inner products and $T$ is a module map, i.e., there exists a $*$-isomorphism $\varphi$ between the $C^*$-algebras such that $$ \langle Tx,Ty\rangle=\varphi(\langle x,y\rangle), $$ and $$ T(xa)=T(x)\varphi(a). $$ In case $A$ or $B$ is noncommutative $C^*$-algebra, $T$ may not satisfy the equations above in general. We will also give some condition such that $T$ preserves the inner products and $T$ is a module map.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
