In Heisenberg group, bisectors are spinal spheres with specific curvature.
problem Understanding bisectors in the Heisenberg group.
method Showed bisectors are spinal spheres and calculated their curvature.
result Metric bisectors in Heisenberg group are spinal spheres with specific curvature.
Spinal cord stimulation has enabled humans with motor complete spinal cord injury (SCI) to independently stand and recover some lost autonomic function. Quantifying the quality of bipedal standing under spinal stimulation is important for spinal rehabilitation therapies and for new strategies that seek to combine spina…
New tools classify symplectic fillings of contact 3-manifolds.
problem Classifying symplectic fillings of contact 3-manifolds.
method Spinal open book decompositions and bordered Lefschetz fibrations.
result Symplectic fillings of contact 3-manifolds are deformation equivalent to complements of positive multisections in bordered Lefschetz fibrations.
A spinal open book decomposition on a contact manifold is a generalization of a supporting open book which exists naturally e.g. on the boundary of a symplectic filling with a Lefschetz fibration over any compact oriented surface with boundary. In this first paper of a two-part series, we introduce the basic notions re…
This paper classifies symplectic and Stein fillings of contact 3-manifolds with spinal open book decompositions.
problem Classifying symplectic and Stein fillings of contact 3-manifolds with spinal open book decompositions.
method Using holomorphic curves and Lefschetz fibrations to classify fillings.
result Symplectic and Stein fillings of contact 3-manifolds with spinal open book decompositions can be classified up to deformation equivalence.
Deep learning segments spinal metastases in MR images.
problem Challenges in accurately segmenting spinal metastases in MR images.
method Used a U-Net-like architecture trained on 40 clinical cases.
result Average Dice scores up to 77.6% and mean sensitivity rates up to 78.9%.
New contact manifolds with many fillings found.
problem Contact manifolds with infinite fillings in odd dimensions.
method Spinal open books to construct contact manifolds.
result Contact manifolds with infinitely many different Weinstein fillings constructed.
We study the finitely generated Hausdorff spectrum of spinal automorphism groups acting on rooted trees. Given any α∈[0,1], we construct a branch group Gα such that Gα has a finitely generated subgroup H where H has Hausdorff dimension α in G. Using results by Barnea, Shalev and Klopsch we further de…
We prove that for any contact 3-manifold supported by a spinal open book decomposition with planar pages, there is a universal bound on the Euler characteristic and signature of its minimal symplectic fillings. The proof is an application of the spine removal surgery operation recently introduced in joint work of the a…
We prove that if a contact manifold (M,ξ) is supported by a planar open book, then Euler characteristic and signature of any Stein filling of (M,ξ) is bounded. We also prove a similar finiteness result for contact manifolds supported by spinal open books with planar pages. Moving beyond the geography of Stein filli…
Develops a universal Hermitian projective calculus for complex hyperbolic two-space
problem Complex hyperbolic geometry
method Algebraic invariant calculus
result Denominator-cleared identities for various geometric quantities
We study the way a strongly irreducible Heegaard surface Σ intersects a knot exterior X embedded in a 3-manifold, and show that if Σ∩∂X consists of simple closed curves which are essential in both Σ and ∂X, then the intersection X∩Σ consists of meridional annuli only. As an applicat…
We show that there are vast families of contact 3-manifolds each member of which admits infinitely many Stein fillings with arbitrarily big euler characteristics and arbitrarily small signatures ---which disproves a conjecture of Stipsicz and Ozbagci. To produce our examples, we set a framework which generalizes the co…
New Stein fillings found for non-weighted homogeneous singularities.
problem Finding Stein fillings for certain non-weighted homogeneous singularities.
method Using spinal open books and nearly Lefschetz fibrations.
result Stein rational homology disk fillings for non-weighted homogeneous singularities.
Deep learning for integrating diverse clinical measurements.
problem Combining data from different measurement instruments in longitudinal clinical registries.
method Domain adaptation using deep learning for mapping items from different instruments.
result Domain adaptation can recover latent trajectories even with limited data and misalignment.
Automatically counts microglial cells in rat spinal cord images, providing precise counts and uncertainty estimates.
problem Counting microglial cells in small, heterogeneous datasets is time-consuming and requires extensive training.
method Pre-processing to filter images, designing a non-parametric, non-linear kernel counter, providing uncertainty estimation.
result The method can provide precise counts and uncertainty estimates in small datasets, even with expert opinions.
Extends nonlinear filtering to predictable jump times.
problem Filtering with jumps in both signal and observation, especially when jump times are known.
method Derive Kushner-Stratonovich and Zakai equations for predictable discontinuities.
result Extends classical nonlinear filtering results to a setting with predictable discontinuities.
Planar multilinks prove rational singularities in surface geometry.
problem Characterizing surface singularities using planar multilinks.
method Combining topological and combinatorial approaches, including Min--Roy--Wang's work.
result Planar multilinks imply rational singularities and sandwiched singularities.
Framework for estimating treatment effects using external control data.
problem Improving efficiency in estimating average treatment effects (ATE) in hybrid trials.
method Developed a formal causal inference framework based on exchangeability assumptions and graphical criteria. Proposed estimators and efficient doubly-robust methods.
result Established finite-sample performance and demonstrated application to spinal muscular atrophy trial.
Enforcing safety is a key aspect of many problems pertaining to sequential decision making under uncertainty, which require the decisions made at every step to be both informative of the optimal decision and also safe. For example, we value both efficacy and comfort in medical therapy, and efficiency and safety in robo…
TuNet improves glioma segmentation accuracy and efficiency.
problem Accurate and efficient glioma segmentation for early treatment.
method End-to-end cascaded network with hierarchical structure and ResNet-like blocks.
result Improved segmentation accuracy and reduced treatment costs.
A common analytical problem in neuroscience is the interpretation of neural activity with respect to sensory input or behavioral output. This is typically achieved by regressing measured neural activity against known stimuli or behavioral variables to produce a "tuning function" for each neuron. Unfortunately, because …
Study symplectic fillings of sandwiched singularities.
problem Contrast deformation theory and symplectic topology of Milnor fibers.
method Develop an analog of de Jong--van Straten's theory in the symplectic setting using spinal open books and nearly Lefschetz fibrations.
result Minimal symplectic fillings of links are generated by certain immersed disk arrangements.
We introduce a novel approach for predicting the progression of adolescent idiopathic scoliosis from 3D spine models reconstructed from biplanar X-ray images. Recent progress in machine learning have allowed to improve classification and prognosis rates, but lack a probabilistic framework to measure uncertainty in the …
Model quantization is leveraged to reduce the memory consumption and the computation time of deep neural networks. This is achieved by representing weights and activations with a lower bit resolution when compared to their high precision floating point counterparts. The suitable level of quantization is directly relate…
Model captures neural activity related to behavior while separating internal computations.
problem Capturing neural activity related to behavior from complex brain recordings.
method Behavior-decomposed linear dynamical systems (b-dLDS) model.
result Improves over state-of-the-art models in disentangling behavior-related dynamics.
We link disjoint longitudinal data for rare disease patients using latent representations and mixed-effects regression.
problem Analyzing treatment switches in rare diseases with limited data and changing measurement instruments.
method We embed item values into a shared latent space using variational autoencoders and apply mixed-effects regression to quantify treatment effects.
result Our approach allows for statistical inference and quantifies the impact of treatment switches in spinal muscular atrophy.
New research finds 145 infinite families of CS spheres are standard.
problem Determining which Cappell-Shaneson spheres are diffeomorphic to the standard 4-sphere.
method Using Kirby calculus and new families of CS spheres.
result Proves 145 new infinite families of CS spheres are standard.
Every smooth 4-sphere is the same as the standard one.
problem Identifying smooth 4-spheres.
method Proved diffeomorphism to the standard 4-sphere.
result Smooth homotopy 4-spheres are diffeomorphic to the 4-sphere.
Kervaire's sphere-link is equivalent to a ribbon sphere-link, simplifying complex 2-complexes.
problem Understanding the structure of 2-complexes and their asphericity.
method Using Kervaire's sphere-link and ribbon sphere-link equivalence, analyzing the compact complement of ribbon disk-links.
result Every connected subcomplex of a contractible finite 2-complex is aspherical.
New theory proves infinite homology 3-spheres in homology 4-spheres.
problem Existence of homology 3-spheres in homology 4-spheres.
method Diagrammatics of surface cross sections, Taubes' work.
result Infinite number of homology 3-spheres in homology 4-spheres.
The 3-sphere has either 2 minimal 2-spheres or an optimal foliation by 2-spheres.
problem Proving existence of minimal 2-spheres or optimal foliations in arbitrary Riemannian 3-spheres.
method Analyzing the properties of arbitrary Riemannian metrics on 3-spheres.
result The existence of at least two minimal 2-spheres or an optimal foliation in 3-spheres with arbitrary metrics.
Infinitely many splitting spheres found for unlinked 2-spheres in 4-space.
problem Existence of pairwise non-isotopic splitting spheres for unlinked 2-spheres in 4-space.
method Analytical proof showing non-isotopic spheres.
result Infinitely many non-isotopic splitting spheres found.
Reduces weak reducing pairs to spheres in 3-sphere Heegaard surfaces.
problem Finding reducing spheres for weak reducing pairs in Heegaard surfaces.
method Proves existence of reducing spheres for weak reducing pairs in 3-sphere Heegaard surfaces.
result Reduction of weak reducing pairs to spheres if genus is at most 3.
The study shows how to construct d-spheres from (d−1)-spheres and d-balls without additional vertices.
problem Constructing d-spheres from (d−1)-spheres and d-balls without additional vertices. method Examining specific types of spheres (flag, stacked, join of spheres) and d-balls to determine if constructions can be made without extra vertices. result Affirmative answers to constructing d-spheres from (d−1)-spheres and d-balls without additional vertices for certain types of spheres and d-balls. New proof for sphere recognition algorithm.
problem Sphere recognition algorithm proof.
method New proof of a lemma in Abigail Thompson's algorithm.
result New proof of a lemma in Abigail Thompson's proof of the Recognition Algorithm for 3-spheres.
Proves stability of convex spheres with similar geodesic lengths.
problem Stability of convex spheres with specific geodesic properties.
method Proves C^0 Cheeger-Gromov closeness to the round sphere.
result Strictly convex 2-spheres are close to the round sphere.
Soliton spheres are immersed 2-spheres in the conformal 4-sphere S^4=HP^1 that allow rational, conformal parametrizations f:CP^1->HP^1 obtained via twistor projection and dualization from rational curves in CP^{2n+1}. Soliton spheres can be characterized as the case of equality in the quaternionic Pluecker estimate. A …
Statistical approach uses ODEs for modeling individual health trajectories.
problem Challenges in applying ODEs to longitudinal cohort data, especially noise and parameter sensitivity.
method Combines ODEs with neural networks to model individual health trajectories using each observation as initial value.
result Demonstrates improved modeling of individual health trajectories compared to global regression.
Study on sphere immersions and their stability indices.
problem Analyzing the stability of sphere immersions.
method Calculation of Morse indices and stability indices for specific sphere immersions.
result Bounds on stability index of associative cone in R7. The paper constructs biharmonic maps between spheres using polynomial maps.
problem Creating biharmonic maps between spheres.
method Using harmonic homogeneous polynomial maps of different degrees to generate proper biharmonic maps.
result Established a method for constructing proper biharmonic product maps.
Classification of constant curvature surfaces in Berger spheres.
problem Identifying complete rotationally invariant surfaces with constant Gauss curvature in Berger spheres.
method Complete classification through detailed analysis of Clifford tori and spheres.
result Rotationally invariant spheres with constant Gauss curvature are the only topological spheres in Berger spheres for K>KP. Characterizes a specific type of convex curves on a 3-sphere.
problem Understanding convex curves on a 3-sphere.
method Decomposes curves on 3-sphere into 2-sphere curves, characterizes locally convex ones.
result Completely characterized a class of convex curves on the 3-sphere.
Reduces connectivity problem for genus-4 Heegaard surface in 3-sphere.
problem Connectivity problem in reducing sphere complex for genus-4 Heegaard surface.
method Presented a sufficient condition for a non-separating weak reducing pair to be separated by a reducing sphere.
result Reduced connectivity problem to showing disjointness of representative reducing spheres from a fixed disk.
Paper studies inscribed sphere and lines through centers of Apollonius spheres in n dimensions.
problem Tangency of spheres and lines through their centers.
method Lie sphere geometry and two-step construction of Apollonius spheres.
result Center of inscribed sphere coincides with point PX. Author provides an alternate proof of the free ribbon lemma.
problem Proving that every free sphere-link in the 4-sphere is a ribbon sphere-link.
method An alternate proof of the free ribbon lemma.
result Provides an alternate proof of the free ribbon lemma.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
In the 1-parameter family of Berger spheres S^3(a), a > 0 (S^3(1) is the round 3-sphere of radius 1) we classify the stable constant mean curvature spheres, showing that in some Berger spheres (a close to 0) there are unstable constant mean curvature spheres. Also, we classify the orientable compact stable constant mea…