Modular knots follow Chebotarev law from surgeries on hyperbolic fibered links.
problem Understanding knots that behave like prime numbers.
method Analyzing planetary links and surgeries on hyperbolic fibered links in S3. result Modular knots around torus knots Ka,b follow the Chebotarev law. ML methods improve planetary science data analysis.
problem Insufficient use of ML in planetary science.
method Ten recommendations for integrating ML in planetary science.
result Expanding planetary science insights from large datasets.
We discuss the relationship between two analogues in a 3-manifold of the set of prime ideals in a number field. We prove that if (Ki)i∈N>0 is a sequence of knots obeying the Chebotarev law in the sense of Mazur and McMullen, then K=∪iKi is a stably generic link in the sense of Mih…
Machine learning improves planetary space physics by incorporating physical knowledge.
problem Improving performance and interpretability of machine learning models for planetary space physics.
method Building on a previous semi-supervised physics-based classification, the team used varying data and physical information to improve machine learning performance and interpretability.
result Incorporating physical knowledge improves machine learning performance and interpretability, essential for deriving scientific meaning.
Explains planetary motion in a sub-Riemannian setting.
problem Kepler-Heisenberg problem
method Classical Kepler problem adapted to sub-Riemannian geometry
result Rich and mysterious dynamical system with tractable questions
Residual neural networks improve collision prediction in planetary simulations.
problem Accurate prediction of planetary collisions in N-body simulations.
method Residual neural networks trained on collision data.
result Residual neural networks outperform existing methods in prediction accuracy and generalization.
Bayesian neural network predicts planetary instability.
problem Predicting planetary instability in compact systems.
method Novel Bayesian neural network trained on raw orbital elements.
result Model predicts planetary instability times with high accuracy and robust generalization.
Planetary exploration missions with Mars rovers are complicated, which generally require elaborated task planning by human experts, from the path to take to the images to capture. NASA has been using this process to acquire over 22 million images from the planet Mars. In order to improve the degree of automation and th…
Cloud-native simulator studies global trading latencies.
problem Understanding latencies in planetary-scale automated trading systems.
method Cloud-native, open-source simulator with distributed clients.
result Demonstrates latencies in real-world trading systems.
The green area of economy is the key of healthy living. It is necessary to convene economic and ecologic framework to establish a market attentive to drastic reduction of emissions damaging our climate and landscapes in rural areas, to the protection of biological diversity of the planet, to stop producing nuclear wast…
The paper proposes an ensemble of convolution-based methods for fault detection in gearboxes.
problem Fault detection in planetary gearboxes using vibration signals.
method Ensemble of three convolution kernel-based methods (ROCKET, 1D CNN with ResNet, FCN).
result Outperforms other approaches with over 98.8% accuracy.
In this study we introduce a new technique for symbolic regression that guarantees global optimality. This is achieved by formulating a mixed integer non-linear program (MINLP) whose solution is a symbolic mathematical expression of minimum complexity that explains the observations. We demonstrate our approach by redis…
We introduce the logistic model of consumption growth, which captures a negative feedback loop preventing an unlimited growth of consumption due to finite biophysical resources of our planet. This simple dynamic model allows for derivation of the expression describing the declining long-term tail of a social discount c…
Using open source data, we observe the fascinating dynamics of nighttime light. Following a global economic regime shift, the planetary center of light can be seen moving eastwards at a pace of about 60 km per year. Introducing spatial light Gini coefficients, we find a universal pattern of human settlements across dif…
New method disentangles sources of different timescales in planetary seismic data.
problem Unsupervised source separation of multi-scale seismic data from planetary missions.
method Wavelet scattering spectra for multi-scale clustering and variational autoencoder for source separation.
result Disentangles sources with different timescales in InSight mission seismic data.
Automated detection of new, interesting, unusual, or anomalous images within large data sets has great value for applications from surveillance (e.g., airport security) to science (observations that don't fit a given theory can lead to new discoveries). Many image data analysis systems are turning to convolutional neur…
New method stabilizes tensegrity structures suitable for engineering.
problem Tensegrity structures often have unstable modes unsuitable for engineering.
method Proposes a relationship between rods and strings for full-rank convexity.
result Designs a stable three-rod three-string tensegrity.
NVA combines variational posteriors, annealing, and natural-gradient learning for multimodal optimization.
problem Finding multiple global and local modes in nonconvex objectives.
method NVA integrates variational posteriors, annealing, and natural-gradient learning.
result NVA outperforms gradient descent and evolution strategies on simulations and real-world problems.
Researchers identify surfaces with special fluid flow fields.
problem Understanding fluid flows on curved surfaces.
method Defined and analyzed hydrodynamic Killing vector fields (HKVF) on surfaces.
result Any connected, orientable surface with HKVF is conformally equivalent to one of 14 canonical Riemann surfaces.
A decentralized routing framework for lunar exploration robots.
problem Routing data in intermittent connectivity lunar networks.
method Graph Attention-based Multi-Agent Reinforcement Learning (GAT-MARL).
result Higher delivery rates, no duplications, fewer packet losses.
The study finds the best elliptical trajectory for planets using a variation of the hodograph theorem.
problem Finding the best elliptical trajectory for planets.
method Using a variation of the circular hodograph theorem, the study finds the best fitting ellipse for planetary trajectories by minimizing the sum of square distances from the points to the plane.
result The study finds that the best fitting ellipse for planetary trajectories minimizes the sum of square distances from the points to the plane.
Cellular regulatory dynamics is driven by large and intricate networks of interactions at the molecular scale, whose sheer size obfuscates understanding. In light of limited experimental data, many parameters of such dynamics are unknown, and thus models built on the detailed, mechanistic viewpoint overfit and are not …
Python tool creates machine-learning-ready solar dataset.
problem Creating a usable dataset for space weather forecasting.
method Python tool generates dataset from SoHO and SDO images, applying pre-processing.
result Dataset is machine-learning ready, free of missing data, and temporally synced.
A machine learning method predicts rock permeability from 3D images.
problem Efficiently predict permeability of heterogeneous rocks for planetary and robotic applications.
method Machine learning guided 3D properties recognition of rock morphology from 3D micro CT and MRI images.
result The morphology decoder method accurately predicts permeability from 3D images.
This paper speeds up simulations of hypersonic reentry by combining traditional and neural methods.
problem Accurately simulating hypersonic reentry with chemical reactions is computationally expensive.
method A hybrid simulation code combining a traditional fluid dynamics solver with a neural network approximating chemical reactions.
result Achieved significant acceleration factors (imes10 to imes18.6) while maintaining accuracy. Neural Physicist learns physical dynamics from images.
problem Learning meaningful physical state representations and accurate state transitions from image sequences.
method Neural Physicist uses VAE for state extraction, NP for parameters, and SSM for dynamics.
result Achieves long-term predictions and identifies system degrees of freedom.
Bayesian deep learning predicts satellite collisions.
problem Space debris poses planetary risk.
method Bayesian deep learning with LSTM networks.
result Predicts conjunction event evolution with uncertainties.
Study compares machine learning methods for improving wind gust forecasts.
problem Improving accuracy of wind gust forecasts from ensemble models.
method Comprehensive comparison of 8 statistical and machine learning methods.
result Locally adaptive neural networks significantly outperform other methods.
(ABRIDGED) In previous work, two platforms have been developed for testing computer-vision algorithms for robotic planetary exploration (McGuire et al. 2004b,2005; Bartolo et al. 2007). The wearable-computer platform has been tested at geological and astrobiological field sites in Spain (Rivas Vaciamadrid and Riba de S…
This is a prejudiced survey on the Ahlfors (extremal) function and the weaker {\it circle maps} (Garabedian-Schiffer's translation of "Kreisabbildung"), i.e. those (branched) maps effecting the conformal representation upon the disc of a {\it compact bordered Riemann surface}. The theory in question has some well-known…
Estimates interaction kernels from agent-based dynamics data.
problem Inferring interaction kernels from agent-based dynamical systems.
method Nonparametric estimators based on regularized least squares.
result Accurate predictions of emergent behaviors for new initial conditions.
The paper calculates actions of string link operations for 4- and 5-component links.
problem Classifying link-homotopy classes of string links.
method Explicit calculation of actions of partial conjugations and conjugations for 4- and 5-component string links.
result Presentations of link-homotopy classes for 4- and 5-component links.
Study proves chainmail links are L-space links.
problem Understanding L-space links in chainmail links.
method Inspired by alternating links, uses flat augmentation.
result Proves alternating chainmail links are L-space links.
New findings on T-links derived from torus links.
problem Difficulty in determining geometric type of T-links.
method Examined T-links obtained by full twists along torus links.
result T-links obtained by full twists are not torus links.
Classifies colored links and spatial graphs up to colored link-homotopy.
problem Classifying colored links and spatial graphs up to colored link-homotopy.
method Using Habegger-Lin theory for colored string links, and extending to colored links and spatial graphs.
result Classification of colored links and spatial graphs up to colored link-homotopy.
Paper finds linking numbers for Montesinos links using a simple algorithm.
problem Calculating linking numbers for Montesinos links.
method Simple proof and numerical algorithm for rational links, extending to Montesinos links.
result Linking numbers found for any two components in Montesinos links.
We define and prove properties of link lattice complexes for plumbed links.
problem Understanding the homology and formality of plumbed L-space links.
method Define and analyze link lattice complexes, proving homotopy equivalence and formality properties.
result Link lattice complexes are homotopy equivalent to link Floer complexes for plumbed links.
Study of Lorenz links and T-links, showing equivalence and unique presentations.
problem Understanding equivalence and uniqueness of T-link presentations for Lorenz links.
method Minimal-braid approach, V-link braids, T-link parameters, geometric type criteria.
result Explicit correspondence between V-links and T-links, criteria for equivalence and uniqueness.
Paper proves Reshetikhin-Turaev link invariants appear in higher order terms of re-normalized link invariants for plumbed links.
problem Proving relations between Reshetikhin-Turaev and re-normalized link invariants for links.
method Analyzing higher order terms of re-normalized link invariants for plumbed links.
result Reshetikhin-Turaev link invariants appear in higher order terms of re-normalized link invariants for plumbed links.
New method classifies 4-component link homotopy using claspers.
problem Classifying link-homotopy classes of 4-component links.
method Using Habiro's clasper theory to modify Levine's algebraic computations.
result More symmetrical and schematic classification of 4-component link homotopy.
Extends positive and almost positive links to successively almost positive ones.
problem Extending properties of positive and almost positive diagrams and links.
method Introducing successively almost positive diagrams and links, and analyzing their properties.
result Improves known results of positive and almost positive links.
Study of knots and links in 2-complexes, defining linking numbers and polynomials.
problem Understanding knots and links in 2-dimensional complexes.
method Definition of linking numbers and Kauffman-type bracket polynomials for links in 2-complexes.
result Established relationships between 2-complexes and knots/links in 3-manifolds.
A virtual link is a generalization of a classical link that is defined as an equivalence class of certain diagrams, called virtual link diagrams. It is further generalized to a twisted link. Twisted links are in one-to-one correspondence with stable equivalence classes of links in oriented thickenings of (possibly non-…
We generalized the periodic links to \emph{transitive} links in a 3-manifold M. We find a complete classification theorem of transitive links in a 3-dimensional sphere R3. We study these links from several different aspects including polynomial invariants using the relation between link polynomials of…
Characterizes a subset of links using quasipositive and homogeneous properties.
problem Understanding the properties of T-positive links.
method Characterization through strongly quasipositive and T-homogeneous braids.
result T-positive links are precisely the strongly quasipositive links that are closures of T-homogeneous braids.
Study links' flat-virtual diagrams to create link invariants.
problem Equivalence and invariants of flat-virtual diagrams.
method Maps from links in thickened surfaces to flat-virtual links.
result Investigation of flat-virtual diagrams' equivalence and invariants.
New link invariants from diagram colorings match link widths.
problem Defining link widths via diagram colorings.
method Colorings of link diagrams to define invariants and prove their equivalence to link widths.
result Invariants of link widths calculated algorithmically.
Innovates a three-component link homotopy invariant.
problem Classifying three-component link maps up to homotopy.
method Developed tools and invariants for distinguishing three-component link maps.
result Found three-component link maps that are not homotopic.