arXiv research

New Roman pipeline detects astronomical transients.

CNN identifies AGN host galaxies from Sloan Digital Sky Survey data.

Let $Y$ be a CW-complex with a single 0-cell, $K$ its Kan group, a model for the loop space of $Y$, and let $G$ be a compact, connected Lie group. We give an explicit finite dimensional construction of generators of the equivariant cohomology of the geometric realization of the cosimplicial manifold $\roman{Hom}(K,G)$ …

Let $Σ$ be a closed surface, $G$ a compact Lie group, not necessarily connected, with Lie algebra $g$, endowed with an adjoint action invariant scalar product, let $ξ\colon P \to Σ$ be a principal $G$-bundle, and pick a Riemannian metric and orientation on $Σ$, so that the corresponding Yang-Mills equations $$d_A*K_A =…

Let $Y$ be a CW-complex with a single 0-cell, let $K$ be its Kan group, a free simplicial group whose realization is a model for the space $ΩY$ of based loops on $Y$, and let $G$ be a Lie group, not necessarily connected. By means of simplicial techniques involving fundamental results of {\smc Kan's} and the standard $…

Let $Σ$ be a closed surface, $G$ a compact Lie group, with Lie algebra $g$, $ξ\colon P \to Σ$ a principal $G$-bundle, let $N(ξ)$ denote the moduli space of central Yang-Mills connections on $ξ$, for suitably chosen additional data, and let $\roman{Rep}_ξ(Γ,G)$ be the space of representations of the universal central ex…

Let $Σ$ be a closed surface, $G$ a compact Lie group, with Lie algebra $g$, and $ξ\colon P \to Σ$ a principal $G$-bundle. In earlier work we have shown that the moduli space $N(ξ)$ of central Yang- Mills connections, for appropriate additional data, is stratified by smooth symplectic manifolds and that the holonomy yie…

A database of objects discovered in houses in the Roman city of Pompeii provides a unique view of ordinary life in an ancient city. Experts have used this collection to study the structure of Roman households, exploring the distribution and variability of tasks in architectural spaces, but such approaches are necessari…

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…

Let $G$ be a Lie group, with an invariant non-degenerate symmetric bilinear form on its Lie algebra, let $π$ be the fundamental group of an orientable (real) surface $M$ with a finite number of punctures, and let $\bold C$ be a family of conjugacy classes in $G$, one for each puncture. A finite-dimensional construction…

We overview few results which use the construction described in our paper "Telescopic actions".

Let $G$ be a Lie group with a biinvariant metric, not necessarily positive definite. It is shown that a certain construction carried out in an earlier paper for the fundamental group of a closed surface may be extended to an arbitrary infinite orientation preserving cocompact planar discrete group of euclidean or non-e…

Study on homeomorphism groups of telescoping 2-manifolds showing strong distortion.

Telescope detects LLM generated text by measuring token repetition probability.

Modern detectors of cosmic gamma-rays are a special type of imaging telescopes (air Cherenkov telescopes) supplied with cameras with a relatively large number of photomultiplier-based pixels. For example, the camera of the TAIGA-IACT telescope has 560 pixels of hexagonal structure. Images in such cameras can be analyse…

Based on the assumption that economic complexity is characterised by the interactions of economic agents (who) constantly change their actions and strategies in response to the outcome they mutually create, this paper presents how network models can be used a proxies for the mapping, quantification and analysis of Roma…

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…

Identifying the type of font (e.g., Roman, Blackletter) used in historical documents can help optical character recognition (OCR) systems produce more accurate text transcriptions. Towards this end, we present an active-learning strategy that can significantly reduce the number of labeled samples needed to train a font…

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.

TRE improves density-ratio estimation for highly dissimilar densities.

The paper uses 3D shapes to reveal sundial design adjustments based on latitude.

We present an infinite sequence of smooth embeddings of a connected sum of 6 projective planes in the 4-sphere, which are all ambient homeomorphic, but pairwise ambient non-diffeomorphic. The double covers of the 4-sphere ramified along these surfaces form a family of the exotic $\Bbb CP^2#5\bar{\Bbb CP^2}$ constructed…

We consider optimization problems in which the objective requires an inner loop with many steps or is the limit of a sequence of increasingly costly approximations. Meta-learning, training recurrent neural networks, and optimization of the solutions to differential equations are all examples of optimization problems wi…

A simple model explains deep learning phenomena like grokking and gradient boosting.

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)

Hawksmoor's ceiling and Pantheon dome cofferings are explained using conformal mappings and Mercator's projection.

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.

In this work, we employ quantitative methods from the realm of statistics and machine learning to develop novel methodologies for author attribution and textual analysis. In particular, we develop techniques and software suitable for applications to Classical study, and we illustrate the efficacy of our approach in sev…

We define inductively isometric embeddings of $\mb{P}^n(\mb{R})$ and $\mb{P}^n(\mb{C})$ (with their canonical metrics conveniently scaled) into the standard unit sphere, which present the former as the restriction of the latter to the set of real points. Our argument parallels the telescopic construction of $\mb{P}^\in…

Deep learning identifies precipitation clouds from all-sky camera data.

New result on group actions in CAT(0) spaces with vanishing escape rate.

Coarse homotopy theory connects Euclidean cones to shape theory of compact spaces.

SPT predicts age and mass of red giants from spectra.

New cohomology functors refine classical invariants of homotopy types.

Predicts the age of astronomical transients from real-time data.

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.

Blind source separation (BSS) aims at recovering signals from mixtures. This problem has been extensively studied in cases where the mixtures are contaminated with additive Gaussian noise. However, it is not well suited to describe data that are corrupted with Poisson measurements such as in low photon count optics or …

Convolutional dictionary learning (CDL) estimates shift invariant basis adapted to multidimensional data. CDL has proven useful for image denoising or inpainting, as well as for pattern discovery on multivariate signals. As estimated patterns can be positioned anywhere in signals or images, optimization techniques face…

The Large Synoptic Survey Telescope will complete its survey in 2022 and produce terabytes of imaging data each night. To work with this massive onset of data, automated algorithms to classify astronomical light curves are crucial. Here, we present a method for automated classification of photometric light curves for a…

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…

A new SBI framework for trawl processes efficiently estimates parameters from large datasets.

This paper quantifies and mitigates a bias in the Hayashi-Yoshida estimator causing data loss.

In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This enhances the already known results by Frucht, Cori -- Machì, Širáň -- Škoviera, and …