A new probabilistic model for PET image reconstruction.
problem Conventional PET image reconstruction ignores uncertainty in TACs.
method Probabilistic Graphical Modeling (PGM) with gradient-based iterative algorithm.
result Incorporates uncertainty in TACs, improving image reconstruction.
Generative adversarial networks reconstruct MRI images without full data.
problem Lack of fully-sampled ground truth data for supervised MRI reconstruction.
method Generative adversarial networks for unsupervised MRI reconstruction.
result Reconstructed images show more anatomical structure than conventional methods.
A registration-free framework monitors shape and color in 4D point clouds.
problem Monitoring shape and color changes in complex parts without registration.
method Laplace-Beltrami operator spectral properties for geometric and color feature capture; combined monitoring scheme for shape and color anomalies.
result Effective detection of shape deformations and color anomalies without registration or mesh reconstruction.
Navigated 2D multi-slice dynamic Magnetic Resonance (MR) imaging enables high contrast 4D MR imaging during free breathing and provides in-vivo observations for treatment planning and guidance. Navigator slices are vital for retrospective stacking of 2D data slices in this method. However, they also prolong the acquisi…
New deep learning method improves 4D Flow MRI super-resolution under domain shift.
problem Domain shift in low-resolution 4D Flow MRI data.
method Distributional deep learning framework for domain generalization.
result Framework significantly outperforms traditional methods in real data applications.
Improved model error correction online with neural networks in 4D-Var.
problem Reconstructing dynamics of imperfectly observed physical models.
method Weak-constraint 4D-Var framework with online neural network training.
result Online model error correction yields more accurate results than offline.
Proves Witten-Reshetikhin-Turaev 3-TQFT as a boundary condition of Crane-Yetter 4-TQFT.
problem Proving a boundary condition for Crane-Yetter 4-TQFT.
method Extending ideas of Crane-Yetter and Jordan, proving Crane-Yetter 4-TQFT and its non-semisimple version are once-extended TQFTs, defining a boundary condition.
result Reconstructs Witten-Reshetikhin-Turaev 3-TQFT and its non-semisimple versions using Crane-Yetter 4-TQFT.
EchoFusion tracks and reconstructs fetal images without external trackers.
problem Limited capture range and view-dependent artefacts in fetal ultrasound imaging.
method Combining deep learning and SLAM for image-based tracking and volume reconstruction.
result Demonstrated robust tracking and accurate volume reconstruction in fetal ultrasound.
Symmetrizes 4d and 3d BPS quivers for Argyres-Douglas theories.
problem Understanding the relationship between 4d and 3d BPS quivers.
method Analyzes geometric backgrounds and uses skein modules to derive quiver partition functions.
result Proves isomorphism between 4d wall-crossing and unlinking of symmetric quivers.
Study characterizes bladder motion using dynamic MRI and statistical analysis.
problem Limited volume coverage in dynamic MRI sequences hinders 3D shape reconstruction.
method 3D dense velocity measurements, LDDMM framework, statistical characterization, mean curvature changes, surface deformation analysis.
result Stable shape descriptor for characterizing bladder surface dynamics.
We show that the smooth geometry of a hyperbolic 3-manifold emerges from a classical spin system defined on a 2d discrete lattice, and moreover show that the process of this "dimensional oxidation" is equivalent with the dimensional reduction of a supersymmetric gauge theory from 4d to 3d. More concretely, we propose a…
Knots in 4D manifolds are trivial based on Wedderburn's Theorem.
problem Understanding knots in 4-dimensional manifolds.
method Application of Wedderburn's Theorem.
result All knots and links in smooth 4D manifolds are trivial.
New 1-parameter family of ovals identified in 4d Ricci flow classification.
problem Classifying κ-solutions in 4d Ricci flow. method Introducing conjectures and constructing new examples.
result Established canonical neighborhood theorem for 4d Ricci flow.
Study of 4D Ricci solitons with symmetry, finding precise geometric asymptotics.
problem Classifying 4D gradient steady Ricci solitons and understanding their geometric properties.
method Analysis of 4D gradient steady Ricci solitons with O(3)-symmetry under a weak curvature decay condition.
result Find precise geometric asymptotics similar to 3D compact κ-solutions.
Study 4D solitons with specific curvature properties, proving curvature bounds and classifying solutions.
problem Investigate 4D gradient solitons with specific curvature properties.
method Analyze 4D gradient steady and shrinking solitons with nonnegative or half nonnegative isotropic curvature.
result Prove 2-nonnegativity of Ricci curvature and bound the curvature tensor for ancient solutions.
Geometric interpretation of 2d-4d wall-crossing formulas.
problem Understanding wall-crossing phenomena in coupled 2d-4d systems.
method Deformation theory of holomorphic pairs and relation to scattering diagrams.
result Geometric interpretation of wall-crossing formulas.
Study on 4D PDEs with half-flat conformal structure leading to Monge-Ampere equations.
problem Characterizing second-order PDEs in 4D with specific conformal structures.
method Analysis of Monge-Ampere property and dispersionless Lax pairs.
result All known scalar second-order integrable dispersionless PDEs in 4D are of Monge-Ampere type.
Study classifies special 4D shapes with certain curvature.
problem Classifying specific types of 4D shapes.
method Classifying compact almost-Kähler four manifolds with nonnegative biorthogonal curvature.
result Classified compact almost-Kähler four manifolds with nonnegative biorthogonal curvature.
This paper uses deep learning to estimate flow fields from OCT images for laser ablation control.
problem Automatic control of laser bone ablation using 4D OCT images.
method Semi-supervised convolutional neural network for 2.5D scene flow estimation.
result Scene flow estimation enables markerless tracking and automated laser ablation control.
New insights into 4d YM and 5d topological field theories with higher symmetries.
problem Exploring new topological field theories with higher symmetries.
method Dynamic gauging of 1-form symmetry, higher anomalies, and lattice simplicial complex regularizations.
result Discovery of new higher-form gauge fields and exotic anyonic statistics.
Perelman's proof confirmed, new method uses 4D topology.
problem Confirming the classical Poincaré conjecture.
method 4D topology, spun torus-knots, ribbonness, disk-chord system, Bing's result.
result Homotopy 3-sphere is diffeomorphic to the 3-sphere.
A class of 3d N=2 supersymmetric gauge theories are constructed and shown to encode the simplicial geometries in 4-dimensions. The gauge theories are defined by applying the Dimofte-Gaiotto-Gukov construction in 3d/3d correspondence to certain graph complement 3-manifolds. Given a gauge theory in this class…
We consider compactification of type IIA supergravity on nearly Kaehler manifolds. These represent a simple class of SU(3) structure manifolds which includes S^6 and CP^3. We exhibit for the first time an explicit reduction ansatz in this context, obtaining an N=2 gauged supergravity in 4d with a single vector and hype…
4D Poincaré complexes have simpler fibrations.
problem Complexity of fibrations in 4D Poincaré complexes.
method Showed Spivak normal fibration reducible.
result Reducible Spivak fibrations in 4D Poincaré complexes.
Machine learning improves model forecasts by correcting errors.
problem Improving short- to mid-range forecasts by correcting model errors.
method Iterative method combining data assimilation and machine learning.
result Hybrid models outperform original models in forecasts.
New surfaces generalize Dini surfaces in 4D.
problem None explicitly stated; focuses on surface generalization.
method Introducing a new family of surfaces in 4D.
result Generalized Dini surfaces exist in 4D.
New ribbon disks in 4D space, non-isotopic to each other.
problem Non-isotopic ribbon disks in 4D.
method Using corks to construct diffeomorphic ribbon disks.
result Non-isotopic ribbon disks constructed in 4D.
Classifies non-Einstein solutions to Einstein--Maxwell equations on 4D Lie algs.
problem Finding non-Einstein solutions to Einstein--Maxwell equations on 4D Lie algebras.
method Classification of left-invariant solutions up to automorphisms.
result Classification of all left-invariant non-Einstein solutions.
The study calculates harmonic functions and 1-forms on specific 4D spaces.
problem Computing harmonic functions and 1-forms on ALE Ricci-flat 4-manifolds.
method Computed the expansion of harmonic functions and 1-forms.
result Computed the expansion of harmonic functions and 1-forms on ALE Ricci-flat 4-manifolds.
New method uses cluster shapes to improve track finding in particle collisions.
problem Combining timing and additional detector information for efficient track finding.
method Neural networks to analyze cluster shapes for track seeding.
result Cluster shapes reduce fake combinatorial backgrounds while maintaining high track efficiency.
Study of symmetries in 4D Lie groups.
problem Understanding symmetries in specific Lie groups.
method Analyzing isometry groups of left-invariant metrics.
result Full description of isometry groups for 4D Lie groups.
Minimal moves for surfaces in 4D identified.
problem Classifying surfaces embedded in 4D space.
method Derived minimal generating set of planar moves.
result Identified minimal moves for surfaces in 4D.
New invariant for surface-knots in 4D from marked graphs.
problem Invariants for surface-knots in 4D.
method Marked graph diagrams for surface-knots.
result Invariant constructed for surface-knots.
Method resolves 4D symplectic orbifolds using complex geometry.
problem Resolving symplectic orbifolds in 4 dimensions.
method Combining complex geometry techniques with symplectic form gluing.
result Examples of 4D symplectic orbifolds successfully resolved.
New invariant for surface-knots in 4D space.
problem Invariants for surface-knots in 4D space.
method Diagrammatic approach in 3D space.
result Invariant constructed for surface-knots.
Study describes flat metric moduli spaces on 4D manifolds.
problem Understanding flat metrics on 4D closed manifolds.
method Algebraic and topological description of moduli spaces.
result Algebraic and topological description of moduli spaces of flat metrics.
The paper classifies singularities of line congruences in 4D space.
problem Classifying singularities of line congruences in 4D space.
method Generic classification approach for 3-parameter line congruences and Blaschke normal congruences.
result Generic classification of singularities of 3-parameter line congruences in R4. We present a simple explicit construction of hyper-Kaehler and hyper-symplectic (also known as neutral hyper-Kaehler or hyper-parakaehler) metrics in 4D using the Bianchi type groups of class A. The construction underlies a correspondence between hyper-Kaehler and hyper-symplectic structures in dimension four.
Low entropy hypersurfaces in 4D are isotopic to a sphere.
problem Characterizing hypersurfaces with low entropy in 4D.
method Proving isotopy to the standard 3-sphere for hypersurfaces with entropy ≤ cylinder entropy.
result Closed hypersurfaces with low entropy are isotopic to the standard 3-sphere.
Sharp inequality proven for symmetric functions on a 4D sphere.
problem Proving a sharp Beckner's inequality for axially symmetric functions on S4. method Utilized pointwise properties of Gegenbauer polynomials.
result Sharp Beckner's inequality established for axially symmetric functions on S4. New method combines machine learning with data assimilation for model error correction.
problem Correcting model errors using sparse and noisy observations.
method Hybrid machine learning and data assimilation methods.
result Tendency correction outperforms resolvent correction in data assimilation experiments.
The study examines 4D steady gradient Ricci solitons with nonnegative curvature away from a compact set.
problem Analyzing noncompact steady gradient Ricci solitons with nonnegative curvature operator.
method Examining the asymptotic behavior of noncompact κ-noncollapsed steady gradient Ricci solitons with nonnegative curvature operator away from a compact set.
result 4D noncompact κ-noncollapsed steady gradient Ricci solitons with nonnegative sectional curvature must be a Bryant Ricci soliton up to scaling.
Researchers use manifold learning to analyze 4D-STEM data of graphene, revealing atomic structure details.
problem Challenges in processing and interpreting large 4D-STEM datasets, especially for light materials.
method Data-driven manifold learning approaches for visualization and exploration of 4D-STEM datasets.
result Extracted patterns relate to individual atom sites and sublattice structures, effectively discriminating single dopant anomalies.
Method synthesizes 4D CMR images from XCAT model using GAN and SPADE.
problem Synthesizing realistic 4D CMR images with annotations and adaptable styles.
method Hybrid GAN approach with XCAT anatomical ground truth and SPADE for semantic preservation.
result Synthesized images with modality-specific features learned from real CMR data.
Study uses superalgebra homology to classify 4D Engel-like Lie algebras.
problem Classifying 4-dimensional Engel-like Lie algebras.
method Applied homology groups of Lie superalgebras.
result Distinguished and classified 4D Engel-like Lie algebras.
It is formulated a new 'anholonomic frame' method of constructing exact solutions of Einstein equations with off--diagonal metrics in 4D and 5D gravity. The previous approaches and results are summarized and generalized as three theorems which state the conditions when two types of ansatz result in integrable gravitati…
The study examines Lipschitz normally embedded Hölder triangles in 4D space.
problem Comparing ambient and outer Lipschitz geometry of Hölder triangles.
method Analyzes Lipschitz normally embedded Hölder triangles in \(\mathbb{R}^4\).
result Infinitely many equivalence classes of microknots.
New theorem for 4D links simplifies characterisation problem.
problem Long-standing open problem in link characterisation.
method Reidemeister Theorem for solid ribbon torus links.
result Complete characterisation of a related class of links.