A distributed algorithm learns patterns in large images and signals.
problem High-dimensional optimization in large images and signals.
method Distributed asynchronous algorithm with locally greedy coordinate descent.
result Patterns can be learned on large scales images from the Hubble Space Telescope.
Observations of astrophysical objects such as galaxies are limited by various sources of random and systematic noise from the sky background, the optical system of the telescope and the detector used to record the data. Conventional deconvolution techniques are limited in their ability to recover features in imaging da…
Bayesian Gaussian Processes improve exoplanet transit and Hubble constant inference.
problem Improving exoplanet transit and Hubble constant inference using Bayesian Gaussian Processes.
method Kernel-, mean- and noise-marginalised Gaussian Processes with evidence-based model comparison and transdimensional sampling.
result Inferred Hubble constant H0 values from cosmic chronometers, baryon acoustic oscillations and combined datasets are 66±6kms−1Mpc−1, 67±10kms−1Mpc−1 and 69±6kms−1Mpc−1, respectively. Phylogenetic approaches are finding more and more applications outside the field of biology. Astrophysics is no exception since an overwhelming amount of multivariate data has appeared in the last twenty years or so. In particular, the diversification of galaxies throughout the evolution of the Universe quite naturally…
We embed projective spaces into spheres using telescopic constructions.
problem Embedding projective spaces into spheres isometrically.
method Inductive telescopic construction extending previous embeddings.
result Isometric embeddings defined for projective real and complex spaces.
We study topology of configuration spaces of planar linkages having one leg of variable length. Such telescopic legs are common in modern robotics where they are used for shock absorbtion and serve a variety of other purposes. Using a Morse theoretic technique, we compute explicitly, in terms of the metric data, the Be…
A group action H on X is called "telescopic" if for any finitely presented group G, there exists a subgroup H' in H such that G is isomorphic to the fundamental group of X/H'. We construct examples of telescopic actions on some CAT[-1] spaces, in particular on 3 and 4-dimensional hyperbolic spaces. As applications we g…
We overview few results which use the construction described in our paper "Telescopic actions".
Study on homeomorphism groups of telescoping 2-manifolds showing strong distortion.
problem Characterizing the homeomorphism group of telescoping 2-manifolds.
method Introduced telescoping 2-manifolds, studied homeomorphism groups, and used commutator subgroup properties.
result Homeomorphism group of telescoping 2-manifolds is strongly distorted.
Machine learning detects subhalos in lensed images with high accuracy and low false positives.
problem Detecting substructure in strongly lensed images.
method Developed a neural network for image segmentation to locate and mass estimate subhalos.
result The network can detect subhalos with masses m≳108.5M⊙ and measure the subhalo mass function. CNNs improve particle identification in ground-based gamma-ray astronomy.
problem Identifying particles in gamma-ray astronomy images.
method Used convolutional neural networks (CNNs) with PyTorch and TensorFlow.
result Improved accuracy in identifying gamma-rays and background particles.
Telescope detects LLM generated text by measuring token repetition probability.
problem Distinguishing LLM generated text from human writing.
method Telescope Perplexity, evaluating token repetition probability.
result Telescope Perplexity enables effective zero-shot LLM detection.
Proves closure for specific spacetimes with certain conditions.
problem Proving closure for globally hyperbolic spacetimes.
method Using a Bonnet-Myers type result.
result Proves closure for spacetimes with specific conditions.
New Roman pipeline detects astronomical transients.
problem Automated detection of transients from Roman Space Telescope data.
method Machine learning model RuBR for distinguishing real from fake detections.
result Effective real-bogus classification in Roman era.
This paper concerns a study of three families of non-compact type symmetric spaces of infinite dimension. Although they have infinite dimension they have finite rank. More precisely, we show they have finite telescopic dimension. We also show the existence of Furstenberg maps for some group actions on these spaces. Suc…
Algorithm finds Liouvillian solutions for planar rational vector fields.
problem Finding Liouvillian solutions for planar rational vector fields.
method Algorithm to compute telescoper for specific foliations and rational vector fields.
result Algorithm finds Liouvillian solutions for planar rational vector fields, given a large enough complexity bound.
RT estimators provide unbiased gradients for expensive loops or approximations.
problem Expensive optimization problems with inner loops or approximations.
method Randomized telescoping (RT) gradient estimators.
result RT estimators achieve unbiased gradients independent of loop length or approximation accuracy.
TRE improves density-ratio estimation for highly dissimilar densities.
problem Density-ratio estimation fails for significantly different densities.
method Telescoping density-ratio estimation (TRE) framework.
result TRE yields substantial improvements over existing methods for mutual information estimation.
CNN identifies AGN host galaxies from Sloan Digital Sky Survey data.
problem Identifying AGN host galaxies using traditional methods is time-consuming.
method Trained a convolutional neural network on 210,000 galaxies.
result CNN can distinguish AGN host galaxies from non-active galaxies.
A simple model explains deep learning phenomena like grokking and gradient boosting.
problem Understanding the unexpected behaviors of deep learning models.
method A telescoping sequence of first-order approximations to explain neural network performance.
result Empirical insights into neural network performance and training process.
Automated classification of astronomical light curves for LSST.
problem Handling massive astronomical data from LSST.
method Gradient boosting of decision trees, feature extraction and selection, augmentation.
result Achieved one of the top results in the PLAsTiCC challenge.
We prove geometric superrigidity for actions of cocompact lattices in semisimple Lie groups of higher rank on infinite dimensional Riemannian manifolds of nonpositive curvature and finite telescopic dimension.
The vision systems of the eagle and the snake outperform everything that we can make in the laboratory, but snakes and eagles cannot build an eyeglass or a telescope or a microscope. (Judea Pearl)
Given a pair of integers m and n such that 1 < m < n, we show that every n-dimensional manifold admits metrics of arbitrarily small total volume, and possessing the following property: every m-dimensional submanifold of less than unit m-volume is necessarily torsion in homology. This result is different from the case o…
New methods model gamma-ray data to better understand Galactic emissions.
problem Uncertain diffuse Galactic gamma-ray emissions bias data interpretation.
method Gaussian processes and variational inference for flexible modeling.
result More robust interpretation of gamma-ray sky, especially dark matter signals.
Deep learning identifies precipitation clouds from all-sky camera data.
problem Automating cloud warning systems for observatories.
method Deep learning using EfficientNet network.
result Average accuracy of 99% in identifying rainfall potential and 96% in cloud coverage.
New result on group actions in CAT(0) spaces with vanishing escape rate.
problem Understanding group actions with vanishing escape rate on CAT(0) spaces.
method Equivariant μ-harmonic map proof. result Existence of a flat subspace invariant under the action of Γ. Coarse homotopy theory connects Euclidean cones to shape theory of compact spaces.
problem Establishing connections between coarse homotopy theory and shape theory.
method Using pointed shape invariants and inverse mapping telescopes.
result Proving two compact spaces are strong shape equivalent if their Euclidean cones are coarsely homotopy equivalent.
Two-dimensional RG acts like Ricci flow to model expanding universe.
problem Modeling the universe's expansion and acceleration phases.
method Two-dimensional renormalization group acting as Ricci flow to derive cosmological metrics.
result The universe expands, decelerates, then accelerates, ending in a big blowup.
SPT predicts age and mass of red giants from spectra.
problem Challenges in age and mass estimation of red giants using traditional methods.
method SPT framework with Multi-head Hadamard Self-Attention and Mahalanobis distance-based loss function.
result Remarkable age and mass estimations with low errors and uncertainties.
New cohomology functors refine classical invariants of homotopy types.
problem Classifying maps between specific spaces up to homotopy.
method Descriptive set theory applied to Čech cohomology.
result Definable cohomology functors are complete invariants of homotopy types.
Predicts the age of astronomical transients from real-time data.
problem Improving understanding of transients and their progenitor systems.
method Bayesian probabilistic recurrent neural network.
result Accurately predicts the age of transients with robust uncertainties.
The purpose of the paper is two-fold: to introduce a multivariable creative telescoping method, and to apply it in a problem of Quantum Topology: namely the computation of the non-commutative A-polynomial of twist knots. Our multivariable creative telescoping method allows us to compute linear recursions for sums of …
The paper studies maps and reducibility for cocycles into CAT(0)-spaces.
problem Existence and reducibility of cocycles into CAT(0)-spaces.
method Analyzes discrete groups acting on CAT(0)-spaces and uses invariant sections and Furstenberg maps.
result Maximal cocycles in PU(1,∞) are finitely reducible.
We present a new, fully generative model of optical telescope image sets, along with a variational procedure for inference. Each pixel intensity is treated as a Poisson random variable, with a rate parameter dependent on latent properties of stars and galaxies. Key latent properties are themselves random, with scientif…
New algorithm separates sparse sources from Poisson measurements.
problem Blind source separation of sparse sources from Poisson measurements.
method pGMCA algorithm for Poisson measurements.
result Recovery of sparse sources from Poisson measurements.
A new SBI framework for trawl processes efficiently estimates parameters from large datasets.
problem Challenges in estimating parameters of complex stochastic processes.
method Telescoping ratio estimation, Chebyshev polynomial approximations, amortized posterior inference.
result Accurate and efficient inference for intractable stochastic processes, even with limited data.
This paper quantifies and mitigates a bias in the Hayashi-Yoshida estimator causing data loss.
problem Formulaic bias in the Hayashi-Yoshida estimator leading to data loss.
method Formalizes and quantifies the data loss, introduces (a,b)-asynchronous adversary, and provides algorithms.
result Proves that for equal rates, the minimal average cumulative data loss is 25%.
A proof is given that the maximal Fermi coordinate chart for any comoving observer in a broad class of Robertson-Walker spacetimes consists of all events within the cosmological event horizon, if there is one, or is otherwise global. Exact formulas for the metric coefficients in Fermi coordinates are derived. Sharp uni…
Signed compression progress on a sealed audit is goodhart-resistant.
problem Intrinsic motivation for agents to improve their world models by compressing experience.
method Rewarding agents for the signed decrease of a fixed sealed-audit loss.
result Cumulative reward telescopes exactly to endpoint audit improvement, preventing infinite reward push while true audit performance stagnates.
We present a new, fully generative model for constructing astronomical catalogs from optical telescope image sets. Each pixel intensity is treated as a random variable with parameters that depend on the latent properties of stars and galaxies. These latent properties are themselves modeled as random. We compare two pro…
Topological normal generation proved for mapping class groups of certain surfaces.
problem Proving topological normal generation for mapping class groups of surfaces.
method Analyzing the end space of surfaces and using topological normal closure properties.
result Topological normal generation is equivalent to uniquely self-similar for surfaces with countable end space.
New technique shows any group can be a map's automorphism.
problem Finding maps with any given automorphism group.
method Universal technique for showing any finite automorphism group is possible.
result Any finite automorphism group can be realized by many non-isomorphic maps.
A new coordinate system for SPD matrices simplifies computations and generative modeling.
problem Computing and modeling SPD matrices
method Reverse telescoping coordinate system
result Significantly reduces computational complexity and facilitates generative modeling.
Deep learning model detects and flags artefacts in polarimetric images.
problem Artifacts in polarimetric images contaminate areas of interest.
method Convolutional Neural Network (CNN) for automatic artefact detection.
result Model achieves 98% true positive and 97% true negative rates.
Muon optimizes training efficiency by improving data retention at large batch sizes.
problem Improving training efficiency and data retention at large batch sizes.
method Introducing Muon, a second-order optimizer, and combining it with muP for efficient hyperparameter transfer.
result Muon outperforms AdamW in retaining data efficiency at large batch sizes, enabling more economical training.
ScoreMatchingRiesz improves debiased machine learning and policy effects estimation.
problem Improving debiased machine learning and policy effects estimation.
method Score matching and Riesz representer estimation.
result Estimates policy path for continuous treatments, improving interpretability.
Develops a multilevel Monte Carlo framework with dropout for efficient uncertainty quantification.
problem Efficiently quantify uncertainty in complex models using dropout.
method Integrates multilevel Monte Carlo with Monte Carlo dropout, creating coupled estimators to reduce variance.
result Demonstrates significant variance reduction and efficiency gains over single-level Monte Carlo dropout.