The NASA Exoplanet Archive and the Exoplanet Follow-up Observing Program service are two widely used resources for the exoplanet community. The NASA Exoplanet Archive provides a complete and accurate accounting of exoplanetary systems published by NASA missions and by the community in the refereed literature. In anticipation of continued exponential growth in the number of exoplanetary systems, and the increasing complexity in our characterization of these systems, the NASA Exoplanet Archive has restructured its primary tables and interfaces, as well as extending and standardizing their modes of access. The Exoplanet Follow-up Observing Program service provides the exoplanet community with a venue for coordinating and sharing follow-up and precursor data for exoplanets, their host stars, and stars that might eventually be targets for future planet searches, and recently reached one million files uploaded by the community. In this paper we describe the updates to our data holdings, functionality, accessibility, and tools, as well as future priorities for these two services.
The computational analysis of fiber network fracture is an emerging field with application to paper, rubber-like materials, hydrogels, soft biological tissue, and composites. Fiber networks are often described as probabilistic structures of interacting one-dimensional elements, such as truss-bars and beams. Failure may then be modeled as strong discontinuities in the displacement field that are directly embedded within the structural finite elements. As for other strain-softening materials, the tangent stiffness matrix can be non-positive definite, which diminishes the robustness of the solution of the coupled (monolithic) two-field problem. Its uncoupling, and thus the use of a staggered solution method where the field variables are solved alternatingly, avoids such difficulties and results in a stable, but sub-optimally converging solution method. In the present work, we evaluate the staggered against the monolithic solution approach and assess their computational performance in the analysis of fiber network failure. We then propose a hybrid solution technique that optimizes the performance and robustness of the computational analysis. It represents a matrix regularization techni
Physics-informed neural networks have been widely applied to solid mechanics problems. However, balancing the governing partial differential equations and boundary conditions remains challenging, particularly in fracture mechanics, where accurate predictions strongly depend on refined sampling near crack tips. To overcome these limitations, a Kolosov-Muskhelishvili informed neural network with Williams enrichment is developed in this study. Benefiting from the holomorphic representation, the governing equations are satisfied by construction, and only boundary points are required for training. Across a series of benchmark problems, the Kolosov-Muskhelishvili informed neural network shows excellent agreement with analytical and finite element method references, achieving average relative errors below 1\% and $R^2$ above 0.99 for both mode I and mode II loadings. Furthermore, three crack propagation criteria (maximum tangential stress, maximum energy release rate, and principle of local symmetry) are integrated into the framework using a transfer learning strategy to predict crack propagation directions. The predicted paths are nearly identical across all criteria, and the transfer le
Federated Learning (FL) algorithms implicitly assume that clients passively comply with server-side orchestration by sharing local model updates upon server request. However, this overlooks an important aspect in real-world cross-silo environments: clients are often rational agents who may prioritize their utilities such as local model performance over that of the global model. In settings with significant statistical heterogeneity, rational clients may opt out of the federation if the perceived benefits of collaboration fail to meet their local utility thresholds. Such attrition degrades the global model performance and can lead to the collapse of the federated training process. In this work, we introduce FedUCA, (Federated Learning by Utility-Constrained Stochastic Aggregation for Improving Rational Participation), a framework that formalizes the server's role as an optimizer seeking to maximize global model performance by sustaining client participation. We substantiate our framework through extensive experiments on standard datasets demonstrating that by prioritizing participation feasibility, FedUCA achieves significantly higher client retention and, consequently, a superior g
Rational pairs, recently introduced by Kollár and Kovács, generalize rational singularities to pairs $(X,D)$. Here $X$ is a normal variety and $D$ is a reduced divisor on $X$. Integral to the definition of a rational pair is the notion of a thrifty resolution, also defined by Kollár and Kovács, and in order to work with rational pairs it is often necessary to know whether a given resolution is thrifty. In this paper we present several foundational results that are helpful for identifying thrifty resolutions and analyzing their behavior. We also show that general hyperplane sections of rational pairs are again rational. In 1978, Elkik proved that rational singularities are deformation invariant. Our main result is an analogue of this theorem for rational pairs: given a flat family $X\to S$ and a Cartier divisor $D$ on $X$, if the fibers over a smooth point $s\in S$ form a rational pair, then $(X,D)$ is also rational near the fiber $X_s$.
This data paper describes METBRA25Y, a harmonized archive of hourly surface meteorological observations from Brazil derived from public historical records of the Instituto Nacional de Meteorologia (INMET). The dataset was designed to support reproducible environmental, climatological, hydrological, agricultural, urban-risk, and machine-learning studies that require station-level meteorological time series with standardized variable names and explicit quality-control metadata. The processing workflow ingests annual INMET archives, parses station metadata from raw file headers, normalizes heterogeneous Portuguese column names into a canonical schema, constructs hourly timestamps, consolidates observations by city and station, and exports compressed CSV files together with station manifests, per-station quality flags, daily precipitation aggregates, variable-level failure summaries, and missing-data audits. The quality-control protocol follows a two-stage strategy: first, physically implausible values are converted to missing values and flagged; second, temporal and cross-variable consistency checks generate diagnostic flags without necessarily overwriting the original measurements. T
Deep neural networks typically treat nonlinearities as fixed primitives (e.g., ReLU), limiting both interpretability and the granularity of control over the induced function class. While recent additive models (like KANs) attempt to address this using splines, they often suffer from computational inefficiency and boundary instability. We propose the Rational-ANOVA Network (RAN), a foundational architecture grounded in functional ANOVA decomposition and Padé-style rational approximation. RAN models f(x) as a composition of main effects and sparse pairwise interactions, where each component is parameterized by a stable, learnable rational unit. Crucially, we enforce a strictly positive denominator, which avoids poles and numerical instability while capturing sharp transitions and near-singular behaviors more efficiently than polynomial bases. This ANOVA structure provides an explicit low-order interaction bias for data efficiency and interpretability, while the rational parameterization significantly improves extrapolation. Across controlled function benchmarks and vision classification tasks (e.g., CIFAR-10) under matched parameter and compute budgets, RAN matches or surpasses param
Context: The first Gaia data release (DR1) delivered a catalogue of astrometry and photometry for over a billion astronomical sources. Within the panoply of methods used for data exploration, visualisation is often the starting point and even the guiding reference for scientific thought. However, this is a volume of data that cannot be efficiently explored using traditional tools, techniques, and habits. Aims: We aim to provide a global visual exploration service for the Gaia archive, something that is not possible out of the box for most people. The service has two main goals. The first is to provide a software platform for interactive visual exploration of the archive contents, using common personal computers and mobile devices available to most users. The second aim is to produce intelligible and appealing visual representations of the enormous information content of the archive. Methods: The interactive exploration service follows a client-server design. The server runs close to the data, at the archive, and is responsible for hiding as far as possible the complexity and volume of the Gaia data from the client. This is achieved by serving visual detail on demand. Levels of deta
The Origins, Spectral Interpretation, Resource Identification, and Security Regolith Explorer (OSIRIS-REx) spacecraft arrived at its target, near-Earth asteroid 101955 Bennu, in December 2018. After one year of operating in proximity, the team selected a primary site for sample collection. In October 2020, the spacecraft descended to the surface of Bennu and collected a sample. The spacecraft departed Bennu in May 2021 and will return the sample to Earth in September 2023. The analysis of the returned sample will produce key data to determine the history of this B-type asteroid and that of its components and precursor objects. The main goal of the OSIRIS-REx Sample Analysis Plan is to provide a framework for the Sample Analysis Team to meet the Level 1 mission requirement to analyze the returned sample to determine presolar history, formation age, nebular and parent-body alteration history, relation to known meteorites, organic history, space weathering, resurfacing history, and energy balance in the regolith of Bennu. To achieve this goal, this plan establishes a hypothesis-driven framework for coordinated sample analyses, defines the analytical instrumentation and techniques to b
Numerical schemes provably preserving the positivity of density and pressure are highly desirable for MHD, but the rigorous positivity-preserving (PP) analysis remains challenging. The difficulties mainly arise from the intrinsic complexity of the MHD equations as well as the indeterminate relation between the PP property and the divergence-free condition on magnetic field. We present the first rigorous PP analysis of conservative schemes with Lax-Friedrichs (LF) flux for ideal MHD. The significant innovation is the discovery of theoretical connection between PP property and a discrete divergence-free (DDF) condition. This connection is established through the generalized LF splitting properties, which are alternatives of the usually-expected LF splitting property that does not hold for ideal MHD. The generalized LF splitting properties involve a number of admissible states strongly coupled by DDF condition, making their derivation very difficult. We derive these properties via a novel equivalent form of the admissible state set and an important inequality skillfully constructed by technical estimates. Rigorous PP analysis is presented for finite volume and discontinuous Galerkin s
Let $q$ be a prime power, $\mathbb F_q$ be the finite field of order $q$ and $\mathbb F_q(x)$ be the field of rational functions over $\mathbb F_q$. In this paper we classify all rational functions $\varphi\in \mathbb F_q(x)$ of degree 3 that induce a permutation of $\mathbb P^1(\mathbb F_q)$. Our methods are constructive and the classification is explicit: we provide equations for the coefficients of the rational functions using Galois theoretical methods and Chebotarev Density Theorem for global function fields. As a corollary, we obtain that a permutation rational function of degree 3 permutes $\mathbb F_q$ if and only if it permutes infinitely many of its extension fields. As another corollary, we derive the well-known classification of permutation polynomials of degree 3. As a consequence of our classification, we can also show that there is no complete permutation rational function of degree $3$ unless $3\mid q$ and $\varphi$ is a polynomial.
Unbounded (and bounded) Toeplitz operators (TO) with rational symbols are analysed in detail showing that they are densely defined closed and have finite dimensional kernels and deficiency spaces. The latter spaces as well as the domains, ranges, spectral and Fredholm points are determined. In particular, in the symmetric case, i.e., for a real rational symbol the deficiency spaces and indices are explicitly available. The concluding section gives a brief overview on the research on unbounded TO in order to locate the present contribution. Regarding properties of unbounded TO in general, it furnishes some new results recalling the close relationship to Wiener-Hopf operators and, in case of semiboundedness, to singular operators of Hilbert transformation type. Specific symbols considered in the literature admit further analysis. Some conclusions are drawn for semibounded integrable and real square-integrable symbols. There is an approach to semibounded TO, which starts from closable semibounded forms related to a Toeplitz matrix. The Friedrichs extension of the TO associated with such a form is studied. Finally, analytic TO and Toeplitz-like operators are briefly examined, which in
We review some applications of fractional calculus developed by the author (partly in collaboration with others) to treat some basic problems in continuum and statistical mechanics. The problems in continuum mechanics concern mathematical modelling of viscoelastic bodies (Sect. 1), and unsteady motion of a particle in a viscous fluid, i.e. the Basset problem (Sect. 2). In the former analysis fractional calculus leads us to introduce intermediate models of viscoelasticity which generalize the classical spring-dashpot models. The latter analysis induces us to introduce a hydrodynamic model suitable to revisit in Sect. 3 the classical theory of the Brownian motion, which is a relevant topic in statistical mechanics. By the tools of fractional calculus we explain the long tails in the velocity correlation and in the displacement variance. In Sect. 4 we consider the fractional diffusion-wave equation, which is obtained from the classical diffusion equation by replacing the first-order time derivative by a fractional derivative of order $0< β<2$. Led by our analysis we express the fundamental solutions (the Green functions) in terms of two interrelated auxiliary functions in the si
The method of Lie symmetry analysis of differential equations is applied to determine exact solutions for the Camassa-Choi equation and its generalization. We prove that the Camassa-Choi equation is invariant under an infinite-dimensional Lie algebra, with an essential five-dimensional Lie algebra. The application of the Lie point symmetries leads to the construction of exact similarity solutions.
The D0 experiment is facing many exciting challenges providing a computing environment for its worldwide collaboration. Transparent access to data for processing and analysis has been enabled through deployment of its SAM system to collaborating sites and additional functionality will be provided soon with SAMGrid components. In order to maximize access to global storage, computational and intellectual resources, and to enable the system to scale to the large demands soon to be realized, several strategic sites have been identified as Regional Analysis Centers (RAC's). These sites play an expanded role within the system. The philosophy and function of these centers is discussed and details of their composition and operation are outlined. The plan for future additional centers is also addressed.
This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (1) Loeb's approach to the Lebesgue measure, (2) a radically elementary approach to the vibrating string, (3) true infinitesimal differential geometry. We explore the relation of Robinson's and related frameworks to the multiverse view as developed by Hamkins. Keywords: axiomatisations, infinitesimal, nonstandard analysis, ultraproducts, superstructure, set-theoretic foundations, multiverse, naive integers, intuitionism, soritical properties, ideal elements, protozoa.
In December 2016, the Atacama Large Millimeter/submillimeter Array (ALMA) carried out the first regular observations of the Sun. These early observations and the reduction of the respective data posed a challenge due to the novelty and complexity of observing the Sun with ALMA. The difficulties with producing science-ready time-resolved imaging products in a format familiar and usable by solar physicists based on the measurement sets delivered by ALMA had so far limited the availability of such data. With the development of the Solar ALMA Pipeline (SoAP), it has now become possible to routinely reduce such data sets. As a result, a growing number of science-ready solar ALMA datasets is now offered in the form of Solar ALMA Science Archive (SALSA). So far, SALSA contains primarily time series of single-pointing interferometric images at cadences of one or two seconds. The data arrays are provided in FITS format. We also present the first version of a standardised header format that accommodates future expansions and fits within the scope of other standards including the ALMA Science Archive itself and SOLARNET. The headers also include information designed to aid the reproduction of
Three-dimensional (3D) X-ray diffraction methods were used to analyze the evolution of the load-induced rearrangements of monoclinic twin microstructures within bulk nickel-titanium specimens in 3D and across six orders of magnitude in length scales: changes in lattice plane spacings and orientations at the nanoscale, growth and nucleation of martensite twin variants at the microscale, and localization of plastic strain into deformation bands at the macroscale. Portions of the localized deformation bands were reconstructed in situ and in 3D. Analyses of the data elucidate the sequence of twin rearrangement mechanisms that occur within the propagating localized deformation bands, connect these mechanisms to the texture evolution, and reveal the effects of geometrically necessary lattice curvature across the band interfaces. The similarities between shear bands and localized deformation bands in twin reorientation are also discussed. These findings will guide future researchers in employing twin rearrangement in novel multiferroic technologies, and they demonstrate the strength of 3D, multiscale, in situ experiments to improve our understanding of complicated material behaviors and t
In this work we analyse the functional ${\cal J}(u)=\| abla u\|_\infty$ defined on Lipschitz functions with homogeneous Dirichlet boundary conditions. Our analysis is performed directly on the functional without the need to approximate with smooth $p$-norms. We prove that its ground states coincide with multiples of the distance function to the boundary of the domain. Furthermore, we compute the $L^2$-subdifferential of ${\cal J}$ and characterize the distance function as unique non-negative eigenfunction of the subdifferential operator. We also study properties of general eigenfunctions, in particular their nodal sets. Furthermore, we prove that the distance function can be computed as asymptotic profile of the gradient flow of ${\cal J}$ and construct analytic solutions of fast marching type. In addition, we give a geometric characterization of the extreme points of the unit ball of ${\cal J}$. Finally, we transfer many of these results to a discrete version of the functional defined on a finite weighted graph. Here, we analyze properties of distance functions on graphs and their gradients. The main difference between the continuum and discrete setting is that the distance functi
Let $k$ be an algebraic closed field of characteristic zero. Let $K$ be the rational function field $K=k(t)$. Let $φ$ be a non isotrivial rational function in $K(z)$. We prove a bound for the cardinality of the set of $K$--rational preperiodic points for $φ$ in terms of the number of places of bad reduction and the degree $d$ of $φ$.