SearcharxivSearch

arXiv subjects

Sean Hill

Publications and source records attributed to Sean Hill.

5 recordsLinked to original sources

Minimal intersection radius for $n$ growing, non-homogeneous ellipsoids in $\mathbb{R}^d$

In this paper, we compute the Minimal Intersection Radius (MIR) of growing, non-homogeneous ellipsoids in arbitrary ambient dimension. We provide a geometric method to find the MIR using techniques from convex optimization, a secondary method using second-order cone programs, and show that the MIR can be phrased as an LP-type problem, where the computation from convex optimization acts as a certificate. We implement these methods and benchmark them using different convex solvers, and with or without the LP setting. We also provide a comparison with similar but different problems that appeared in the literature, and show that finding the MIR is, in general, not equivalent to finding the minimal enclosing ellipsoid.

math.OC

Geometric regularization of autoencoders via observed stochastic dynamics

Stochastic dynamical systems with slow or metastable behavior evolve, on long time scales, on an unknown low-dimensional manifold in high-dimensional ambient space. Building a reduced simulator from short-burst ambient ensembles is a long-standing problem: local-chart methods like ATLAS suffer from exponential landmark scaling and per-step reprojection, while autoencoder alternatives leave tangent-bundle geometry poorly constrained, and the errors propagate into the learned drift and diffusion. We observe that the ambient covariance~$\Lambda$ already encodes coordinate-invariant tangent-space information, its range spanning the tangent bundle. Using this, we construct a tangent-bundle penalty and an inverse-consistency penalty for a three-stage pipeline (chart learning, latent drift, latent diffusion) that learns a single nonlinear chart and the latent SDE. The penalties induce a function-space metric, the $\rho$-metric, strictly weaker than the Sobolev $H^1$ norm yet achieving the same chart-quality generalization rate up to logarithmic factors. For the drift, we derive an encoder-pullback target via It\^o's formula on the learned encoder and prove a bias decomposition showing the standard decoder-side formula carries systematic error for any imperfect chart. Under a $W^{2,\infty}$ chart-convergence assumption, chart-level error propagates controllably to weak convergence of the ambient dynamics and to convergence of radial mean first-passage times. Experiments on four surfaces embedded in up to $201$ ambient dimensions reduce radial MFPT error by $50$--$70\%$ under rotation dynamics and achieve the lowest inter-well MFPT error on most surface--transition pairs under metastable M\"uller--Brown Langevin dynamics, while reducing end-to-end ambient coefficient errors by up to an order of magnitude relative to an unregularized autoencoder.

cs.LG

Feeding the human brain model

The goal of the Human Brain Project is to develop during the next decade an infrastructure necessary for running a simulation of the entire human brain constrained by current experimental data. One of the key issues is therefore to integrate and make accessible the experimental data necessary to constrain and fully specify this model. The required data covers many different spatial scales, ranging from the molecular scale to the whole brain and these data are obtained using a variety of techniques whose measurements may not be directly comparable. Furthermore, these data are incomplete, and will remain so at least for the coming decade. Here we review new neuroinformatics techniques that need to be developed and applied to address these issues.

q-bio.QM

Grand Challenges for Global Brain Sciences

The next grand challenges for society and science are in the brain sciences. A collection of 60+ scientists from around the world, together with 10+ observers from national, private, and foundations, spent two days together discussing the top challenges that we could solve as a global community in the next decade. We eventually settled on three challenges, spanning anatomy, physiology, and medicine. Addressing all three challenges requires novel computational infrastructure. The group proposed the advent of The International Brain Station (TIBS), to address these challenges, and launch brain sciences to the next level of understanding.

q-bio.NC

Darboux transformations for differential operators on the superline

We give a full description of Darboux transformations of any order for arbitrary (nondegenerate) differential operators on the superline. We show that every Darboux transformation of such operators factorizes into elementary Darboux transformations of order one. Similar statement holds for operators on the ordinary line.

math-ph