-
PhysRFANet: Physics-Guided Neural Network for Real-Time Prediction of Thermal Effect During Radiofrequency Ablation Treatment
Authors:
Minwoo Shin,
Minjee Seo,
Seonaeng Cho,
Juil Park,
Joon Ho Kwon,
Deukhee Lee,
Kyungho Yoon
Abstract:
Radiofrequency ablation (RFA) is a widely used minimally invasive technique for ablating solid tumors. Achieving precise personalized treatment necessitates feedback information on in situ thermal effects induced by the RFA procedure. While computer simulation facilitates the prediction of electrical and thermal phenomena associated with RFA, its practical implementation in clinical settings is hi…
▽ More
Radiofrequency ablation (RFA) is a widely used minimally invasive technique for ablating solid tumors. Achieving precise personalized treatment necessitates feedback information on in situ thermal effects induced by the RFA procedure. While computer simulation facilitates the prediction of electrical and thermal phenomena associated with RFA, its practical implementation in clinical settings is hindered by high computational demands. In this paper, we propose a physics-guided neural network model, named PhysRFANet, to enable real-time prediction of thermal effect during RFA treatment. The networks, designed for predicting temperature distribution and the corresponding ablation lesion, were trained using biophysical computational models that integrated electrostatics, bio-heat transfer, and cell necrosis, alongside magnetic resonance (MR) images of breast cancer patients. Validation of the computational model was performed through experiments on ex vivo bovine liver tissue. Our model demonstrated a 96% Dice score in predicting the lesion volume and an RMSE of 0.4854 for temperature distribution when tested with foreseen tumor images. Notably, even with unforeseen images, it achieved a 93% Dice score for the ablation lesion and an RMSE of 0.6783 for temperature distribution. All networks were capable of inferring results within 10 ms. The presented technique, applied to optimize the placement of the electrode for a specific target region, holds significant promise in enhancing the safety and efficacy of RFA treatments.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
A Collision-Based Hybrid Method for the BGK Equation
Authors:
Minwoo Shin,
Cory D. Hauck,
Ryan G. McClarren
Abstract:
We apply the collision-based hybrid introduced in \cite{hauck} to the Boltzmann equation with the BGK operator and a hyperbolic scaling. An implicit treatment of the source term is used to handle stiffness associated with the BGK operator. Although it helps the numerical scheme become stable with a large time step size, it is still not obvious to achieve the desired order of accuracy due to the re…
▽ More
We apply the collision-based hybrid introduced in \cite{hauck} to the Boltzmann equation with the BGK operator and a hyperbolic scaling. An implicit treatment of the source term is used to handle stiffness associated with the BGK operator. Although it helps the numerical scheme become stable with a large time step size, it is still not obvious to achieve the desired order of accuracy due to the relationship between the size of the spatial cell and the mean free path. Without asymptotic preserving property, a very restricted grid size is required to resolve the mean free path, which is not practical. Our approaches are based on the noncollision-collision decomposition of the BGK equation. We introduce the arbitrary order of nodal discontinuous Galerkin (DG) discretization in space with a semi-implicit time-stepping method; we employ the backward Euler time integration for the uncollided equation and the 2nd order predictor-corrector scheme for the collided equation, i.e., both source terms in uncollided and collided equations are treated implicitly and only streaming term in the collided equation is solved explicitly. This improves the computational efficiency without the complexity of the numerical implementation. Numerical results are presented for various Knudsen numbers to present the effectiveness and accuracy of our hybrid method. Also, we compare the solutions of the hybrid and non-hybrid schemes.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
Brauertsch fields
Authors:
Daniel Krashen,
Max Lieblich,
Minseon Shin
Abstract:
We prove a local-to-global principle for Brauer classes: for any finite collection of non-trivial Brauer classes on a variety over a field of transcendence degree at least 3, there are infinitely many specializations where each class stays non-trivial. This is deduced from a Grothendieck--Lefschetz-type theorem for Brauer groups of certain smooth stacks. This also leads to the notion of a Brauerts…
▽ More
We prove a local-to-global principle for Brauer classes: for any finite collection of non-trivial Brauer classes on a variety over a field of transcendence degree at least 3, there are infinitely many specializations where each class stays non-trivial. This is deduced from a Grothendieck--Lefschetz-type theorem for Brauer groups of certain smooth stacks. This also leads to the notion of a Brauertsch field.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Bayesian Estimation and Comparison of Conditional Moment Models
Authors:
Siddhartha Chib,
Minchul Shin,
Anna Simoni
Abstract:
We consider the Bayesian analysis of models in which the unknown distribution of the outcomes is specified up to a set of conditional moment restrictions. The nonparametric exponentially tilted empirical likelihood function is constructed to satisfy a sequence of unconditional moments based on an increasing (in sample size) vector of approximating functions (such as tensor splines based on the spl…
▽ More
We consider the Bayesian analysis of models in which the unknown distribution of the outcomes is specified up to a set of conditional moment restrictions. The nonparametric exponentially tilted empirical likelihood function is constructed to satisfy a sequence of unconditional moments based on an increasing (in sample size) vector of approximating functions (such as tensor splines based on the splines of each conditioning variable). For any given sample size, results are robust to the number of expanded moments. We derive Bernstein-von Mises theorems for the behavior of the posterior distribution under both correct and incorrect specification of the conditional moments, subject to growth rate conditions (slower under misspecification) on the number of approximating functions. A large-sample theory for comparing different conditional moment models is also developed. The central result is that the marginal likelihood criterion selects the model that is less misspecified. We also introduce sparsity-based model search for high-dimensional conditioning variables, and provide efficient MCMC computations for high-dimensional parameters. Along with clarifying examples, the framework is illustrated with real-data applications to risk-factor determination in finance, and causal inference under conditional ignorability.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Locally free twisted sheaves of infinite rank
Authors:
Aise Johan de Jong,
Max Lieblich,
Minseon Shin
Abstract:
We study twisted vector bundles of infinite rank on gerbes, giving a new spin on Grothendieck's famous problem on the equality of the Brauer group and cohomological Brauer group. We show that the relaxed version of the question has an affirmative answer in many, but not all, cases, including for any algebraic space with the resolution property and any algebraic space obtained by pinching two close…
▽ More
We study twisted vector bundles of infinite rank on gerbes, giving a new spin on Grothendieck's famous problem on the equality of the Brauer group and cohomological Brauer group. We show that the relaxed version of the question has an affirmative answer in many, but not all, cases, including for any algebraic space with the resolution property and any algebraic space obtained by pinching two closed subschemes of a projective scheme. We also discuss some possible theories of infinite rank Azumaya algebras, consider a new class of "very positive" infinite rank vector bundles on projective varieties, and show that an infinite rank vector bundle on a curve in a surface can be lifted to the surface away from finitely many points.
△ Less
Submitted 19 September, 2021; v1 submitted 9 September, 2021;
originally announced September 2021.
-
The $\mathrm{Br} = \mathrm{Br}'$ question for some classifying stacks
Authors:
Minseon Shin
Abstract:
In this paper we consider the $\mathrm{Br} = \mathrm{Br}'$ question for classifying stacks by various group schemes. These are algebraic stacks that do not necessarily admit a finite flat cover by a scheme for which $\mathrm{Br} = \mathrm{Br}'$ holds, hence are not amenable to the usual argument of pushing forward a twisted vector bundle. We provide two classes of examples satisfying…
▽ More
In this paper we consider the $\mathrm{Br} = \mathrm{Br}'$ question for classifying stacks by various group schemes. These are algebraic stacks that do not necessarily admit a finite flat cover by a scheme for which $\mathrm{Br} = \mathrm{Br}'$ holds, hence are not amenable to the usual argument of pushing forward a twisted vector bundle. We provide two classes of examples satisfying $\mathrm{Br} \ne \mathrm{Br}'$ that do not "arise from" the scheme case.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
Semi-implicit Hybrid Discrete $\left(\text{H}^T_N\right)$ Approximation of Thermal Radiative Transfer
Authors:
Ryan G. McClarren,
James A. Rossmanith,
Minwoo Shin
Abstract:
The thermal radiative transfer (TRT) equations form an integro-differential system that describes the propagation and collisional interactions of photons. Computing accurate and efficient numerical solutions TRT are challenging for several reasons, the first of which is that TRT is defined on a high-dimensional phase. In order to reduce the dimensionality of the phase space, classical approaches s…
▽ More
The thermal radiative transfer (TRT) equations form an integro-differential system that describes the propagation and collisional interactions of photons. Computing accurate and efficient numerical solutions TRT are challenging for several reasons, the first of which is that TRT is defined on a high-dimensional phase. In order to reduce the dimensionality of the phase space, classical approaches such as the P$_N$ (spherical harmonics) or the S$_N$ (discrete ordinates) ansatz are often used in the literature. In this work, we introduce a novel approach: the hybrid discrete (H$^T_N$) approximation to the radiative thermal transfer equations. This approach acquires desirable properties of both P$_N$ and S$_N$, and indeed reduces to each of these approximations in various limits: H$^1_N$ $\equiv$ P$_N$ and H$^T_0$ $\equiv$ S$_T$. We prove that H$^T_N$ results in a system of hyperbolic equations for all $T\ge 1$ and $N\ge 0$. Another challenge in solving the TRT system is the inherent stiffness due to the large timescale separation between propagation and collisions, especially in the diffusive (i.e., highly collisional) regime. This stiffness challenge can be partially overcome via implicit time integration, although fully implicit methods may become computationally expensive due to the strong nonlinearity and system size. On the other hand, explicit time-stepping schemes that are not also asymptotic-preserving in the highly collisional limit require resolving the mean-free path between collisions, making such schemes prohibitively expensive. In this work we develop a numerical method that is based on a nodal discontinuous Galerkin discretization in space, coupled with a semi-implicit discretization in time. We conduct several numerical experiments to verify the accuracy, efficiency, and robustness of the H$^T_N$ ansatz and the numerical discretizations.
△ Less
Submitted 5 November, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Adaptive Robust Large Volatility Matrix Estimation Based on High-Frequency Financial Data
Authors:
Minseok Shin,
Donggyu Kim,
Jianqing Fan
Abstract:
Several novel statistical methods have been developed to estimate large integrated volatility matrices based on high-frequency financial data. To investigate their asymptotic behaviors, they require a sub-Gaussian or finite high-order moment assumption for observed log-returns, which cannot account for the heavy-tail phenomenon of stock-returns. Recently, a robust estimator was developed to handle…
▽ More
Several novel statistical methods have been developed to estimate large integrated volatility matrices based on high-frequency financial data. To investigate their asymptotic behaviors, they require a sub-Gaussian or finite high-order moment assumption for observed log-returns, which cannot account for the heavy-tail phenomenon of stock-returns. Recently, a robust estimator was developed to handle heavy-tailed distributions with some bounded fourth-moment assumption. However, we often observe that log-returns have heavier tail distribution than the finite fourth-moment and that the degrees of heaviness of tails are heterogeneous across asset and over time. In this paper, to deal with the heterogeneous heavy-tailed distributions, we develop an adaptive robust integrated volatility estimator that employs pre-averaging and truncation schemes based on jump-diffusion processes. We call this an adaptive robust pre-averaging realized volatility (ARP) estimator. We show that the ARP estimator has a sub-Weibull tail concentration with only finite 2$α$-th moments for any $α>1$. In addition, we establish matching upper and lower bounds to show that the ARP estimation procedure is optimal. To estimate large integrated volatility matrices using the approximate factor model, the ARP estimator is further regularized using the principal orthogonal complement thresholding (POET) method. The numerical study is conducted to check the finite sample performance of the ARP estimator.
△ Less
Submitted 14 August, 2023; v1 submitted 25 February, 2021;
originally announced February 2021.
-
The cohomological Brauer group of weighted projective spaces and stacks
Authors:
Minseon Shin
Abstract:
We compute the cohomological Brauer groups of twists of weighted projective spaces and weighted projective stacks.
We compute the cohomological Brauer groups of twists of weighted projective spaces and weighted projective stacks.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
The cohomological Brauer group of a torsion $\mathbb{G}_{m}$-gerbe
Authors:
Minseon Shin
Abstract:
Let $S$ be a scheme and let $π: \mathcal{G} \to S$ be a $\mathbb{G}_{m,S}$-gerbe corresponding to a torsion class $[\mathcal{G}]$ in the cohomological Brauer group $\mathrm{Br}'(S)$ of $S$. We show that the cohomological Brauer group $\mathrm{Br}'(\mathcal{G})$ of $\mathcal{G}$ is isomorphic to the quotient of $\mathrm{Br}'(S)$ by the subgroup generated by the class $[\mathcal{G}]$. This is analog…
▽ More
Let $S$ be a scheme and let $π: \mathcal{G} \to S$ be a $\mathbb{G}_{m,S}$-gerbe corresponding to a torsion class $[\mathcal{G}]$ in the cohomological Brauer group $\mathrm{Br}'(S)$ of $S$. We show that the cohomological Brauer group $\mathrm{Br}'(\mathcal{G})$ of $\mathcal{G}$ is isomorphic to the quotient of $\mathrm{Br}'(S)$ by the subgroup generated by the class $[\mathcal{G}]$. This is analogous to a theorem proved by Gabber for Brauer-Severi schemes.
△ Less
Submitted 1 May, 2018;
originally announced May 2018.
-
The Brauer group of $\mathscr{M}_{1,1}$ over algebraically closed fields of characteristic $2$
Authors:
Minseon Shin
Abstract:
We prove that the Brauer group of the moduli stack of elliptic curves $\mathscr{M}_{1,1,k}$ over an algebraically closed field $k$ of characteristic $2$ is isomorphic to $\mathbb{Z}/(2)$. We also compute the Brauer group of $\mathscr{M}_{1,1,k}$ where $k$ is a finite field of characteristic $2$.
We prove that the Brauer group of the moduli stack of elliptic curves $\mathscr{M}_{1,1,k}$ over an algebraically closed field $k$ of characteristic $2$ is isomorphic to $\mathbb{Z}/(2)$. We also compute the Brauer group of $\mathscr{M}_{1,1,k}$ where $k$ is a finite field of characteristic $2$.
△ Less
Submitted 26 February, 2018; v1 submitted 3 May, 2017;
originally announced May 2017.
-
Bayesian Estimation and Comparison of Moment Condition Models
Authors:
Siddhartha Chib,
Minchul Shin,
Anna Simoni
Abstract:
In this paper we consider the problem of inference in statistical models characterized by moment restrictions by casting the problem within the Exponentially Tilted Empirical Likelihood (ETEL) framework. Because the ETEL function has a well defined probabilistic interpretation and plays the role of a nonparametric likelihood, a fully Bayesian semiparametric framework can be developed. We establish…
▽ More
In this paper we consider the problem of inference in statistical models characterized by moment restrictions by casting the problem within the Exponentially Tilted Empirical Likelihood (ETEL) framework. Because the ETEL function has a well defined probabilistic interpretation and plays the role of a nonparametric likelihood, a fully Bayesian semiparametric framework can be developed. We establish a number of powerful results surrounding the Bayesian ETEL framework in such models. One major concern driving our work is the possibility of misspecification. To accommodate this possibility, we show how the moment conditions can be reexpressed in terms of additional nuisance parameters and that, even under misspecification, the Bayesian ETEL posterior distribution satisfies a Bernstein-von Mises result. A second key contribution of the paper is the development of a framework based on marginal likelihoods and Bayes factors to compare models defined by different moment conditions. Computation of the marginal likelihoods is by the method of Chib (1995) as extended to Metropolis-Hastings samplers in Chib and Jeliazkov (2001). We establish the model selection consistency of the marginal likelihood and show that the marginal likelihood favors the model with the minimum number of parameters and the maximum number of valid moment restrictions. When the models are misspecified, the marginal likelihood model selection procedure selects the model that is closer to the (unknown) true data generating process in terms of the Kullback-Leibler divergence. The ideas and results in this paper provide a further broadening of the theoretical underpinning and value of the Bayesian ETEL framework with likely far-reaching practical consequences. The discussion is illuminated through several examples.
△ Less
Submitted 7 April, 2017; v1 submitted 9 June, 2016;
originally announced June 2016.
-
Scalable Bayesian Variable Selection Using Nonlocal Prior Densities in Ultrahigh-Dimensional Settings
Authors:
Minsuk Shin,
Anirban Bhattacharya,
Valen E. Johnson
Abstract:
Bayesian model selection procedures based on nonlocal alternative prior densities are extended to ultrahigh dimensional settings and compared to other variable selection procedures using precision-recall curves. Variable selection procedures included in these comparisons include methods based on $g$-priors, reciprocal lasso, adaptive lasso, scad, and minimax concave penalty criteria. The use of pr…
▽ More
Bayesian model selection procedures based on nonlocal alternative prior densities are extended to ultrahigh dimensional settings and compared to other variable selection procedures using precision-recall curves. Variable selection procedures included in these comparisons include methods based on $g$-priors, reciprocal lasso, adaptive lasso, scad, and minimax concave penalty criteria. The use of precision-recall curves eliminates the sensitivity of our conclusions to the choice of tuning parameters. We find that Bayesian variable selection procedures based on nonlocal priors are competitive to all other procedures in a range of simulation scenarios, and we subsequently explain this favorable performance through a theoretical examination of their consistency properties. When certain regularity conditions apply, we demonstrate that the nonlocal procedures are consistent for linear models even when the number of covariates $p$ increases sub-exponentially with the sample size $n$. A model selection procedure based on Zellner's $g$-prior is also found to be competitive with penalized likelihood methods in identifying the true model, but the posterior distribution on the model space induced by this method is much more dispersed than the posterior distribution induced on the model space by the nonlocal prior methods. We investigate the asymptotic form of the marginal likelihood based on the nonlocal priors and show that it attains a unique term that cannot be derived from the other Bayesian model selection procedures. We also propose a scalable and efficient algorithm called Simplified Shotgun Stochastic Search with Screening (S5) to explore the enormous model space, and we show that S5 dramatically reduces the computing time without losing the capacity to search the interesting region in the model space. The S5 algorithm is available in an \verb R ~package {\it BayesS5} on \texttt{CRAN}.
△ Less
Submitted 18 January, 2017; v1 submitted 25 July, 2015;
originally announced July 2015.
-
Curvature identities on contact metric manifolds and their applications
Authors:
JeongHyeong Park,
Kouei Sekigawa,
Won Min Shin
Abstract:
We study curvature identities on contact metric manifolds on the geometry of the corresponding almost Käehler cones, and we provide applications of the derived curvature identities.
We study curvature identities on contact metric manifolds on the geometry of the corresponding almost Käehler cones, and we provide applications of the derived curvature identities.
△ Less
Submitted 18 December, 2013;
originally announced December 2013.
