title: Rastreo muscular m\'ovil usando magnetomicrometr\'ia -- traducci\'on al espa\~nol del articulo "Untethered Muscle Tracking Using Magnetomicrometry" por el autor Cameron R. Taylor

abstract: Muscle tissue drives nearly all movement in the animal kingdom, providing power, mobility, and dexterity. Technologies for measuring muscle tissue motion, such as sonomicrometry, fluoromicrometry, and ultrasound, have significantly advanced our understanding of biomechanics. Yet, the field lacks the ability to monitor muscle tissue motion for animal behavior outside the lab. Towards addressing this issue, we previously introduced magnetomicrometry, a method that uses magnetic beads to wirelessly monitor muscle tissue length changes, and we validated magnetomicrometry via tightly-controlled in situ testing. In this study we validate the accuracy of magnetomicrometry against fluoromicrometry during untethered running in an in vivo turkey model. We demonstrate real-time muscle tissue length tracking of the freely-moving turkeys executing various motor activities, including ramp ascent and descent, vertical ascent and descent, and free roaming movement. Given the demonstrated capacity of magnetomicrometry to track muscle movement in untethered animals, we feel that this technique will enable new scientific explorations and an improved understanding of muscle function. -- -- El tejido muscular es el motor de casi todos los movimientos del reino animal, ya que proporciona fuerza, movilidad y destreza. Las tecnolog\'ias para medir el movimiento del tejido muscular, como la sonomicrometr\'ia, la fluoromicrometr\'ia y el ultrasonido, han avanzado considerablemente la comprensi\'on de la biomec\'anica. Sin embargo, este campo carece de la capacidad de rastrear el movimiento del tejido muscular en el comportamiento animal fuera del laboratorio. Para abordar este problema, presentamos previamente la magnetomicrometr\'ia, un m\'etodo que utiliza peque\~nos imanes para rastrear de forma inal\'ambrica los cambios de longitud del tejido muscular, y validamos la magnetomicrometr\'ia mediante pruebas estrechamente controladas in situ. En este estudio validamos la precisi\'on de la magnetomicrometr\'ia en comparaci\'on con la fluoromicrometr\'ia usando un modelo de pavo in vivo mientras corre libremente. Demostramos el rastreo en tiempo real de la longitud del tejido muscular de los pavos que se mueven libremente ejecutando varias actividades motoras, incluyendo el ascenso y el descenso en rampa, el ascenso y el descenso vertical, y el movimiento libre. Dada la capacidad demostrada de la magnetomicrometr\'ia para rastrear el movimiento muscular en animales en un contexto m\'ovil, creemos que esta t\'ecnica permitir\'a nuevas exploraciones cient\'ificas y una mejor comprensi\'on de la funci\'on muscular.

categories: physics.med-ph cs.RO cs.SY eess.SY math.OC


title: Deep learning methods for drug response prediction in cancer: predominant and emerging trends

abstract: Cancer claims millions of lives yearly worldwide. While many therapies have been made available in recent years, by in large cancer remains unsolved. Exploiting computational predictive models to study and treat cancer holds great promise in improving drug development and personalized design of treatment plans, ultimately suppressing tumors, alleviating suffering, and prolonging lives of patients. A wave of recent papers demonstrates promising results in predicting cancer response to drug treatments while utilizing deep learning methods. These papers investigate diverse data representations, neural network architectures, learning methodologies, and evaluations schemes. However, deciphering promising predominant and emerging trends is difficult due to the variety of explored methods and lack of standardized framework for comparing drug response prediction models. To obtain a comprehensive landscape of deep learning methods, we conducted an extensive search and analysis of deep learning models that predict the response to single drug treatments. A total of 60 deep learning-based models have been curated and summary plots were generated. Based on the analysis, observable patterns and prevalence of methods have been revealed. This review allows to better understand the current state of the field and identify major challenges and promising solution paths.


title: Social media mining for toxicovigilance of prescription medications: End-to-end pipeline, challenges and future work

abstract: Substance use, substance use disorder, and overdoses related to substance use are major public health problems globally and in the United States. A key aspect of addressing these problems from a public health standpoint is improved surveillance. Traditional surveillance systems are laggy, and social media are potentially useful sources of timely data. However, mining knowledge from social media is challenging, and requires the development of advanced artificial intelligence, specifically natural language processing (NLP) and machine learning methods. We developed a sophisticated end-to-end pipeline for mining information about nonmedical prescription medication use from social media, namely Twitter and Reddit. Our pipeline employs supervised machine learning and NLP for filtering out noise and characterizing the chatter. In this paper, we describe our end-to-end pipeline developed over four years. In addition to describing our data mining infrastructure, we discuss existing challenges in social media mining for toxicovigilance, and possible future research directions.


title: Neural Fields for Fast and Scalable Interpolation of Geophysical Ocean Variables

abstract: Optimal Interpolation (OI) is a widely used, highly trusted algorithm for interpolation and reconstruction problems in geosciences. With the influx of more satellite missions, we have access to more and more observations and it is becoming more pertinent to take advantage of these observations in applications such as forecasting and reanalysis. With the increase in the volume of available data, scalability remains an issue for standard OI and it prevents many practitioners from effectively and efficiently taking advantage of these large sums of data to learn the model hyperparameters. In this work, we leverage recent advances in Neural Fields (NerFs) as an alternative to the OI framework where we show how they can be easily applied to standard reconstruction problems in physical oceanography. We illustrate the relevance of NerFs for gap-filling of sparse measurements of sea surface height (SSH) via satellite altimetry and demonstrate how NerFs are scalable with comparable results to the standard OI. We find that NerFs are a practical set of methods that can be readily applied to geoscience interpolation problems and we anticipate a wider adoption in the future.


title: Building a Subspace of Policies for Scalable Continual Learning

abstract: The ability to continuously acquire new knowledge and skills is crucial for autonomous agents. Existing methods are typically based on either fixed-size models that struggle to learn a large number of diverse behaviors, or growing-size models that scale poorly with the number of tasks. In this work, we aim to strike a better balance between an agent's size and performance by designing a method that grows adaptively depending on the task sequence. We introduce Continual Subspace of Policies (CSP), a new approach that incrementally builds a subspace of policies for training a reinforcement learning agent on a sequence of tasks. The subspace's high expressivity allows CSP to perform well for many different tasks while growing sublinearly with the number of tasks. Our method does not suffer from forgetting and displays positive transfer to new tasks. CSP outperforms a number of popular baselines on a wide range of scenarios from two challenging domains, Brax (locomotion) and Continual World (manipulation).


title: Discovering Locally Maximal Bipartite Subgraphs

abstract: Induced bipartite subgraphs of maximal vertex cardinality are an essential concept for the analysis of graphs. Yet, discovering them in large graphs is known to be computationally hard. Therefore, we consider in this work a weaker notion of this problem, where we discard the maximality constraint in favor of inclusion maximality. Thus, we aim to discover locally maximal bipartite subgraphs. For this, we present three heuristic approaches to extract such subgraphs and compare their results to the solutions of the global problem. For the latter, we employ the algorithmic strength of fast SAT-solvers. Our three proposed heuristics are based on a greedy strategy, a simulated annealing approach, and a genetic algorithm, respectively. We evaluate all four algorithms with respect to their time requirement and the vertex cardinality of the discovered bipartite subgraphs on several benchmark datasets


title: Theory pipeline for PDF fitting

abstract: Fitting PDFs requires the integration of a broad range of datasets, both from data and theory side, into a unique framework. While for data the integration mainly consists in the standardization of the data format, for the theory predictions there are multiple ingredients involved. Different providers are developed by separate groups for different processes, with a variety of inputs (runcards) and outputs (interpolation grids). Moreover, since processes are measured at different scales, DGLAP evolution has to be provided for the PDF candidate, or precomputed into the grids. We are working towards the automation of all these steps in a unique framework, that will be useful for any PDF fitting groups, and possibly also for phenomenological studies.


title: A General Bayesian Framework to Account for Foreground Map Errors in Global 21-cm Experiments

abstract: Measurement of the global 21-cm signal during Cosmic Dawn (CD) and the Epoch of Reionization (EoR) is made difficult by bright foreground emission which is 2-5 orders of magnitude larger than the expected signal. Fitting for a physics-motivated parametric forward model of the data within a Bayesian framework provides a robust means to separate the signal from the foregrounds, given sufficient information about the instrument and sky. It has previously been demonstrated that, within such a modelling framework, a foreground model of sufficient fidelity can be generated by dividing the sky into $N$ regions and scaling a base map assuming a distinct uniform spectral index in each region. Using the Radio Experiment for the Analysis of Cosmic Hydrogen (REACH) as our fiducial instrument, we show that, if unaccounted-for, amplitude errors in low-frequency radio maps used for our base map model will prevent recovery of the 21-cm signal within this framework, and that the level of bias in the recovered 21-cm signal is proportional to the amplitude and the correlation length of the base-map errors in the region. We introduce an updated foreground model that is capable of accounting for these measurement errors by fitting for a monopole offset and a set of spatially-dependent scale factors describing the ratio of the true and model sky temperatures, with the size of the set determined by Bayesian evidence-based model comparison. We show that our model is flexible enough to account for multiple foreground error scenarios allowing the 21-cm sky-averaged signal to be detected without bias from simulated observations with a smooth conical log spiral antenna.


title: The Molecular-Gas Main Sequence and Schmidt-Kennicutt relation are fundamental, the Star-Forming Main Sequence is a (useful) byproduct

abstract: We investigate the relationship between the star formation rate (SFR), stellar mass ($M_*$) and molecular gas mass ($M_{H_2}$) for local star-forming galaxies. We further investigate these relationships for high-z (z=1-3) galaxies and for the hosts of a local sample of Active Galactic Nuclei (AGN). We explore which of these dependencies are intrinsic and which are an indirect by-product by employing partial correlation coefficients and random forest regression. We find that for local star-forming galaxies, high-z galaxies, and AGN host galaxies, the Schmidt-Kennicutt relation (SK, between $M_{H_2}$ and SFR), and the Molecular Gas Main Sequence (MGMS, between $M_{H_2}$ and $M_*$) are intrinsic primary relations, while the relationship between $M_*$ and SFR, i.e. the Star-Forming Main Sequence (SFMS), is an indirect by-product of the former two. Hence the Star-Forming Main Sequence is not a fundamental scaling relation for local or high-redshift galaxies. We find evidence for both the evolution of the MGMS and SK relation over cosmic time, where, at a given stellar mass, the higher the redshift, the greater the molecular gas mass and the star formation efficiency. We offer a parameterisation of both the MGMS and SK relation's evolution with redshift, showing how they combine to form the observed evolution of the SFMS. In addition, we find that the local AGN host galaxies follow an AGN-MGMS relation (as well as a AGN-SK relation), where the MGMS is offset to lower $M_{H_2}$ for a given $M_*$ compared to local SF galaxies.


title: A simple spectroscopic technique to identify rejuvenating galaxies

abstract: Rejuvenating galaxies are unusual galaxies that fully quench and then subsequently experience a "rejuvenation" event to become star-forming once more. Rejuvenation rates vary substantially in models of galaxy formation: 10%-70% of massive galaxies are expected to experience rejuvenation by z = 0. Measuring the rate of rejuvenation is therefore important for calibrating the strength of star formation feedback mechanisms. However, these observations are challenging because rejuvenating systems blend in with normal star-forming galaxies in broadband photometry. In this paper, we use the galaxy spectral energy distribution (SED)-fitting code Prospector to search for observational markers that distinguish normal star-forming galaxies from rejuvenating galaxies. We find that rejuvenating galaxies have smaller Balmer absorption line equivalent widths (EWs) than star-forming galaxies. This is analogous to the well-known "K + A" or post-starburst galaxies, which have strong Balmer absorption due to A-stars dominating the light: in this case, rejuvenating systems have a lack of A-stars, instead resembling "O - A" systems. We find star-forming galaxies that have H$\beta$, H$\gamma$, and/or H$\delta$ absorption EWs $\lesssim 3${\AA} corresponds to a highly pure selection of rejuvenating systems. Interestingly, while this technique is highly effective at identifying mild rejuvenation, "strongly" rejuvenating systems remain nearly indistinguishable from star-forming galaxies due to the well-known stellar outshining effect. We conclude that measuring Balmer absorption line EWs in star-forming galaxy populations is an efficient method to identify rejuvenating populations, and discuss several techniques to either remove or resolve the nebular emission which typically lies on top of these absorption lines.


title: Quantum-classical correspondence of strongly chaotic many-body spin models

abstract: We study the quantum-classical correspondence for systems with interacting spin-particles that are strongly chaotic in the classical limit. This is done in the presence of constants of motion associated with the fixed angular momenta of individual spins. Our analysis of the Lyapunov spectra reveals that the largest Lyapunov exponent agrees with the Lyapunov exponent that determines the local instability of each individual spin moving under the influence of all other spins. Within this picture, we introduce a rigorous and simple test of ergodicity for the spin motion, and use it to identify when classical chaos is both strong and global in phase space. In the quantum domain, our analysis of the Hamiltonian matrix in a proper representation allows us to obtain the conditions for the onset of quantum chaos as a function of the model parameters. From the comparison between the quantum and classical domains, we demonstrate that quantum quantities, such as the local density of states (LDOS) and the shape of the chaotic eigenfunctions written in the non-interacting many-body basis, have well-defined classical counterparts. Another central finding is the relationship between the Kolmogorov-Sinai entropy and the width of the LDOS, which is useful for studies of many-body dynamics.


title: Spin density wave, Fermi liquid, and fractionalized phases in a theory of antiferromagnetic metals using paramagnons and bosonic spinons

abstract: The pseudogap metal phase of the hole-doped cuprates can be described by small Fermi surfaces of electron-like quasiparticles, which enclose a volume violating the Luttinger relation. This violation requires the existence of additional fractionalized excitations which can be viewed as fractionalized remnants of the paramagnon. We fractionalize the paramagnon into bosonic spinons, and present a gauge theory of bosonic spinons, a Higgs field, and an ancilla layer of fermions coupled to the original electrons. Along with the small Fermi surface metal, this theory displays conventional phases: the Fermi liquid with a low-energy paramagnon mode, and phases with spin density wave order. We follow the evolution of the electronic photoemission spectrum across these quantum phase transitions. We consider both the two-sublattice N\'eel and incommensurate spin density wave phases.


title: Fractionalized Prethermalization in a Driven Quantum Spin Liquid

abstract: Quantum spin liquids subject to a periodic drive can display fascinating non-equilibrium heating behavior because of their emergent fractionalized quasi-particles. Here, we investigate a driven Kitaev honeycomb model and examine the dynamics of emergent Majorana matter and $Z_2$ flux excitations. We uncover a distinct two-step heating profile $\textrm{--}$ dubbed fractionalized prethermalization $\textrm{--}$ and a quasi-stationary state with vastly different temperatures for the matter and the flux sectors. We argue that this peculiar prethermalization behavior is a consequence of fractionalization. Furthermore, we discuss an experimentally feasible protocol for preparing a zero-flux initial state of the Kiteav honeycomb model with a low energy density, which can be used to observe fractionalized prethermalization in quantum information processing platforms.


title: Supergravities and Branes from Hilbert-Poincar\'e Series

abstract: The Molien-Weyl integral formula and the Hilbert-Poincar\'e series have proven to be powerful mathematical tools in relation to gauge theories, allowing to count the number of gauge invariant operators. In this paper, we show that these methods can also be employed to construct Free Differential Algebras and, therefore, reproduce the associated pure supergravity spectrum and nonperturbative objects. Indeed, given a set of fields, the Hilbert-Poincar\'e series allows to compute all possible invariants and consequently derive the cohomology structure.


title: MIASANS at the longitudinal neutron resonant spin-echo spectrometer RESEDA

abstract: The RESEDA (Resonant Spin-Echo for Diverse Applications) instrument has been optimized for neutron scattering measurements of quasi-elastic and inelastic processes over a wide parameter range. One spectrometer arm of RESEDA is configured for the MIEZE (Modulation of Intensity with Zero Effort) technique, where the measured signal is an oscillation in neutron intensity over time prepared by two precisely tuned radio-frequency (RF) flippers. With MIEZE, all spin-manipulations are performed before the beam reaches the sample, and thus the signal from sample scattering is not disrupted by any depolarizing conditions there (i.e. magnetic materials and fields). The MIEZE spectrometer is being further optimized for the requirements of small angle neutron scattering (MIASANS), a versatile combination of the spatial and dynamical resolving power of both techniques. We present the current status of (i) the newly installed superconducting solenoids as part of the RF flippers to significantly extend the dynamic range (ii) the development and installation of a new detector on a translation stage within a new larger SANS-type vacuum vessel for flexibility with angular coverage and resolution, and (iii) the efforts to reduce background.


title: Self-interacting scalar field distributions around Schwarzschild black holes

abstract: Long-lived configurations of massive scalar fields around black holes may form if the coupling between the mass of the scalar field and the mass of the black hole is very small. In this work we analyze the effect of self-interaction in the distribution of the long-lived cloud surrounding a static black hole. We consider both attractive and repulsive self-interactions. By solving numerically the Klein Gordon equation on a fixed background in the frequency domain, we find that the spatial distribution of quasi stationary states may be larger as compared to the non interacting case. We performed a time evolution to determine the effect of the self-interaction on the life time of the configurations our findings indicate that the contribution of the self-interaction is subdominant.


title: A quantum-bit encoding converter

abstract: From telecommunication to computing architectures, the realm of classical information hinges on converter technology to enable the exchange of data between digital and analog formats, a process now routinely performed across a variety of electronic devices. A similar exigency exists as well in quantum information technology where different frameworks are being developed for quantum computing, communication, and sensing. Thus, efficient quantum interconnects are a major need to bring these parallel approaches together and scale up quantum information systems. So far, however, the conversion between different optical quantum-bit encodings has remained challenging due to the difficulty of preserving fragile quantum superpositions and the demanding requirements for postselection-free implementations. Here we demonstrate such a conversion of quantum information between the two main paradigms, namely discrete- and continuous-variable qubits. We certify the protocol on a complete set of single-photon qubits, successfully converting them to cat-state qubits with fidelities exceeding the classical limit. Our result demonstrates an essential tool for enabling interconnected quantum devices and architectures with enhanced versatility and scalability.


title: Gapless Infinite-component Chern-Simons-Maxwell Theories

abstract: The infinite-component Chern-Simons-Maxwell (iCSM) theory is a 3+1D generalization of the 2+1D Chern-Simons-Maxwell theory by including an infinite number of coupled gauge fields. It can be used to describe interesting 3+1D systems. In Phys. Rev. B 105, 195124 (2022), it was used to construct gapped fracton models both within and beyond the foliation framework. In this paper, we study the nontrivial features of gapless iCSM theories. In particular, we find that while gapless 2+1D Maxwell theories are confined and not robust due to monopole effect, gapless iCSM theories are deconfined and robust against all local perturbation and hence represent a robust 3+1D deconfined gapless order. The gaplessness of the gapless iCSM theory can be understood as a consequence of the spontaneous breaking of an exotic one-form symmetry. Moreover, for a subclass of the gapless iCSM theories, we find interesting topological features in the correlation and response of the system. Finally, for this subclass of theories, we propose a fully continuous field theory description of the model that captures all these features.


title: A Unified Framework for Quantifying Privacy Risk in Synthetic Data

abstract: Synthetic data is often presented as a method for sharing sensitive information in a privacy-preserving manner by reproducing the global statistical properties of the original data without disclosing sensitive information about any individual. In practice, as with other anonymization methods, privacy risks cannot be entirely eliminated. The residual privacy risks need instead to be ex-post assessed. We present Anonymeter, a statistical framework to jointly quantify different types of privacy risks in synthetic tabular datasets. We equip this framework with attack-based evaluations for the singling out, linkability, and inference risks, the three key indicators of factual anonymization according to the European General Data Protection Regulation (GDPR). To the best of our knowledge, we are the first to introduce a coherent and legally aligned evaluation of these three privacy risks for synthetic data, and to design privacy attacks which model directly the singling out and linkability risks. We demonstrate the effectiveness of our methods by conducting an extensive set of experiments that measure the privacy risks of data with deliberately inserted privacy leakages, and of synthetic data generated with and without differential privacy. Our results highlight that the three privacy risks reported by our framework scale linearly with the amount of privacy leakage in the data. Furthermore, we observe that synthetic data exhibits the lowest vulnerability against linkability, indicating one-to-one relationships between real and synthetic data records are not preserved. Finally, we demonstrate quantitatively that Anonymeter outperforms existing synthetic data privacy evaluation frameworks both in terms of detecting privacy leaks, as well as computation speed. To contribute to a privacy-conscious usage of synthetic data, we open source Anonymeter at https://github.com/statice/anonymeter.


title: Knowledge Graph Refinement based on Triplet BERT-Networks

abstract: Knowledge graph embedding techniques are widely used for knowledge graph refinement tasks such as graph completion and triple classification. These techniques aim at embedding the entities and relations of a Knowledge Graph (KG) in a low dimensional continuous feature space. This paper adopts a transformer-based triplet network creating an embedding space that clusters the information about an entity or relation in the KG. It creates textual sequences from facts and fine-tunes a triplet network of pre-trained transformer-based language models. It adheres to an evaluation paradigm that relies on an efficient spatial semantic search technique. We show that this evaluation protocol is more adapted to a few-shot setting for the relation prediction task. Our proposed GilBERT method is evaluated on triplet classification and relation prediction tasks on multiple well-known benchmark knowledge graphs such as FB13, WN11, and FB15K. We show that GilBERT achieves better or comparable results to the state-of-the-art performance on these two refinement tasks.


title: Path integral approach to driven quantum harmonic oscillator using Markov chain Monte Carlo methods

abstract: We have simulated the ground states of quantum harmonic oscillators driven either by constant forces of different magnitudes or time-dependent driving forces. The expectation values of position for various combinations of mass, natural angular frequency, and the coupling constant $\lambda$ were calculated for both driving modes. For constant forcing, coherent states were obtained. The results for both forcing scenarios match the theoretically expected values almost exactly. For the simulations, the Metropolis algorithm was implemented on a discrete time lattice to evaluate the imaginary time path integral of the systems.


title: Random Walks on the Generalized Symmetric Group: Cutoff for the One-sided Transposition Shuffle

abstract: In this paper, we present a detailed proof for the exhibition of a cutoff for the one-sided transposition (OST) shuffle on the generalized symmetric group $G_{m,n}$. Our work shows that based on techniques for $m \leq 2$ proven by Matheau-Raven, we can prove the cutoff in total variation distance and separation distance for an unbiased OST shuffle on $G_{m,n}$ for any fixed $m \geq 1$ in time $n \log(n)$. We also prove the branching rules for the simple modules of $G_{m,n}$ and lay down some of the mathematical foundation for proving the conjecture for the cutoff in total variation distance for any general biased OST shuffle on $G_{m,n}$.


title: The Perfect Match: RIS-enabled MIMO Channel Estimation Using Tensor Decomposition

abstract: The deployment of reconfigurable intelligent surfaces (RISs) in a communication system provides control over the propagation environment, which facilitates the augmentation of a multitude of communication objectives. As these performance gains are highly dependent on the applied phase shifts at the RIS, accurate channel state information at the transceivers is imperative. However, not only do RISs traditionally lack signal processing capabilities, but their end-to-end channels also consist of multiple components. Hence, conventional channel estimation (CE) algorithms become incompatible with RIS-aided communication systems as they fail to provide the necessary information about the channel components, which are essential for a beneficial RIS configuration. To enable the full potential of RISs, we propose to use tensor-decomposition-based CE, which facilitates smart configuration of the RIS by providing the required channel components. We use canonical polyadic (CP) decomposition, that exploits a structured time domain pilot sequence. Compared to other state-of-the-art decomposition methods, the proposed Semi-Algebraic CP decomposition via Simultaneous Matrix Diagonalization (SECSI) algorithm is more time efficient as it does not require an iterative process. The benefits of SECSI for RIS-aided networks are validated with numerical results, which show the improved individual and end-to-end CE accuracy of SECSI.


title: Determination of the angular momentum of the Kerr black hole from equatorial geodesic motion

abstract: We present a method to determine the angular momentum of a black hole, based on observations of the trajectories of the bodies in the Kerr space-time. We use the Hamilton equations to describe the dynamics of a particle and present results for equatorial trajectories, obtaining an algebraic equation for the magnitude of the black hole's angular momentum. We tailor a numerical code to solve the dynamical equations and use it to generate synthetic data. We apply the method in some representative examples, obtaining the parameters of the trajectories as well as the black hole's angular momentum in good agreement with the input data.


title: New life-span results for the nonlinear heat equation

abstract: We obtain new estimates for the existence time of the maximal solutions to the nonlinear heat equation $\partial_tu-\Delta u=|u|^\alpha u,\;\alpha>0$ with initial values in Lebesgue, weighted Lebesgue spaces or measures. Non-regular, sign-changing, as well as non polynomial decaying initial data are considered. The proofs of the lower-bound estimates of life-span are based on the local construction of solutions. The proofs of the upper-bounds exploit a well-known necessary condition for the existence of nonnegative solutions. In addition, we establish new results for life-span using dilation methods and we give new life-span estimates for Hardy-H\'enon parabolic equations.


title: Global receptivity analysis: physically realizable input-output analysis

abstract: In the context of transition analysis, linear input-output analysis determines worst-case disturbances to a laminar base flow based on a generic right-hand-side volumetric/boundary forcing term. The worst-case forcing is not physically realizable, and, to our knowledge, a generic framework for posing physically-realizable worst-case disturbance problems is lacking. In natural receptivity analysis, disturbances are forced by matching (typically local) solutions within the boundary layer to outer solutions consisting of free-stream vortical, entropic, and acoustic disturbances. We pose a scattering formalism to restrict the input forcing to a set of realizable disturbances associated with plane-wave solutions of the outer problem. The formulation is validated by comparing with direct numerical simulations (DNS) for a Mach 4.5 flat-plate boundary layer. We show that the method provides insight into transition mechanisms by identifying those linear combinations of plane-wave disturbances that maximize energy amplification over a range of frequencies. We also discuss how the framework can be extended to accommodate scattering from shocks and in shock layers for supersonic flow.


title: Characterizing system dynamics with two-particle transverse momentum correlations in pp collisions at $\sqrt{s} = 7\;\text{TeV}$ and p$-$Pb collisions at $\sqrt{s_{\rm NN}} = 5.02\;\text{TeV}$

abstract: The two-particle differential transverse momentum correlator $G_{2}$ recently measured in Pb$-$Pb collisions, emerged as a powerful tool to gain insight into particle production mechanisms and to infer transport properties such as the ratio of shear viscosity to entropy density of the medium created in Pb$-$Pb collisions. In this poster, recent ALICE measurements of this correlator in pp collisions at $\sqrt{s}=7$ and p$-$Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV are presented to search, in particular, for viscous effects expected to arise in fluid-like systems produced in these collisions. The strength and shape of the correlator are studied as a function of produced particle multiplicity to look for longitudinal broadening that might reveal the presence of viscous effects in these smaller systems. The measured correlators and their evolution from pp and p$-$Pb to Pb$-$Pb are additionally compared to predictions from Monte Carlo models, and the potential presence of viscous effects is discussed.


title: Stability on Quinquevigintic Functional Equation in Different Spaces

abstract: In this work, we determine the general solution of the quinquevigintic functional equation and also investigate its stability of this equation in the setting of matrix normed spaces and the framework of matrix non-Archimedean fuzzy normed spaces by using the fixed point method.


title: Hub-VAE: Unsupervised Hub-based Regularization of Variational Autoencoders

abstract: Exemplar-based methods rely on informative data points or prototypes to guide the optimization of learning algorithms. Such data facilitate interpretable model design and prediction. Of particular interest is the utility of exemplars in learning unsupervised deep representations. In this paper, we leverage hubs, which emerge as frequent neighbors in high-dimensional spaces, as exemplars to regularize a variational autoencoder and to learn a discriminative embedding for unsupervised down-stream tasks. We propose an unsupervised, data-driven regularization of the latent space with a mixture of hub-based priors and a hub-based contrastive loss. Experimental evaluation shows that our algorithm achieves superior cluster separability in the embedding space, and accurate data reconstruction and generation, compared to baselines and state-of-the-art techniques.


title: A mixed-reality dataset for category-level 6D pose and size estimation of hand-occluded containers

abstract: Estimating the 6D pose and size of household containers is challenging due to large intra-class variations in the object properties, such as shape, size, appearance, and transparency. The task is made more difficult when these objects are held and manipulated by a person due to varying degrees of hand occlusions caused by the type of grasps and by the viewpoint of the camera observing the person holding the object. In this paper, we present a mixed-reality dataset of hand-occluded containers for category-level 6D object pose and size estimation. The dataset consists of 138,240 images of rendered hands and forearms holding 48 synthetic objects, split into 3 grasp categories over 30 real backgrounds. We re-train and test an existing model for 6D object pose estimation on our mixed-reality dataset. We discuss the impact of the use of this dataset in improving the task of 6D pose and size estimation.


title: Prophet-Inequalities over Time

abstract: In this paper, we introduce an over-time variant of the well-known prophet-inequality with i.i.d. random variables. Instead of stopping with one realized value at some point in the process, we decide for each step how long we select the value. Then we cannot select another value until this period is over. The goal is to maximize the expectation of the sum of selected values. We describe the structure of the optimal stopping rule and give upper and lower bounds on the prophet-inequality. - Which, in online algorithms terminology, corresponds to bounds on the competitive ratio of an online algorithm. We give a surprisingly simple algorithm with a single threshold that results in a prophet-inequality of $\approx 0.396$ for all input lengths $n$. Additionally, as our main result, we present a more advanced algorithm resulting in a prophet-inequality of $\approx 0.598$ when the number of steps tends to infinity. We complement our results by an upper bound that shows that the best possible prophet-inequality is at most $1/\varphi \approx 0.618$, where $\varphi$ denotes the golden ratio. As part of the proof, we give an advanced bound on the weighted mediant.


title: Thermodynamic bounds on ultrasensitivity in covalent switching

abstract: Switch-like motifs are among the basic building blocks of biochemical networks. A common motif that can serve as an ultrasensitive switch consists of two enzymes acting antagonistically on a substrate, one making and the other removing a covalent modification. To work as a switch, such covalent modification cycles must be held out of thermodynamic equilibrium by continuous expenditure of energy. Here, we exploit the linear framework for timescale separation to establish tight bounds on the performance of any covalent-modification switch, in terms of the chemical potential difference driving the cycle. The bounds apply to arbitrary enzyme mechanisms, not just Michaelis-Menten, with arbitrary rate constants, and thereby reflect fundamental physical constraints on covalent switching.


title: Dynamic Interactional And Cooperative Network For Shield Machine

abstract: The shield machine (SM) is a complex mechanical device used for tunneling. However, the monitoring and deciding were mainly done by artificial experience during traditional construction, which brought some limitations, such as hidden mechanical failures, human operator error, and sensor anomalies. To deal with these challenges, many scholars have studied SM intelligent methods. Most of these methods only take SM into account but do not consider the SM operating environment. So, this paper discussed the relationship among SM, geological information, and control terminals. Then, according to the relationship, models were established for the control terminal, including SM rate prediction and SM anomaly detection. The experimental results show that compared with baseline models, the proposed models in this paper perform better. In the proposed model, the R2 and MSE of rate prediction can reach 92.2\%, and 0.0064 respectively. The abnormal detection rate of anomaly detection is up to 98.2\%.


title: A choiceless box game paradox

abstract: We identify a choiceless variation of the box game paradox, in which players predict unknown real numbers with near-perfect accuracy despite lacking any useful information. We also verify that choice is necessary in the solution of the original problem and consider some further variations of the game.


title: Turning Silver into Gold: Domain Adaptation with Noisy Labels for Wearable Cardio-Respiratory Fitness Prediction

abstract: Deep learning models have shown great promise in various healthcare applications. However, most models are developed and validated on small-scale datasets, as collecting high-quality (gold-standard) labels for health applications is often costly and time-consuming. As a result, these models may suffer from overfitting and not generalize well to unseen data. At the same time, an extensive amount of data with imprecise labels (silver-standard) is starting to be generally available, as collected from inexpensive wearables like accelerometers and electrocardiography sensors. These currently underutilized datasets and labels can be leveraged to produce more accurate clinical models. In this work, we propose UDAMA, a novel model with two key components: Unsupervised Domain Adaptation and Multi-discriminator Adversarial training, which leverage noisy data from source domain (the silver-standard dataset) to improve gold-standard modeling. We validate our framework on the challenging task of predicting lab-measured maximal oxygen consumption (VO$_{2}$max), the benchmark metric of cardio-respiratory fitness, using free-living wearable sensor data from two cohort studies as inputs. Our experiments show that the proposed framework achieves the best performance of corr = 0.665 $\pm$ 0.04, paving the way for accurate fitness estimation at scale.


title: System architecture of a four-wheel drive Formula Student vehicle

abstract: Formula Student vehicles are becoming increasingly complex, especially with the current shift from internal combustion engines toward electric powertrains. The interaction between software and hardware is complex and imposes additional challenges for systems integration. This paper provides a structured introduction to the OBR22 Oxford Brookes Racing Formula Student electric vehicle. From a system architecture perspective, the four-wheel drive in-hub motors topology is described. Diagrams of the hardware components, the architecture of the high voltage and communication systems are presented. This paper also demonstrates the model-based development process, including an overview of the model-in-the-loop (MiL) and hardware-in-the-loop (HiL) control design phases.


title: Ponderomotive forces in unmagnetized plasmas described by Kappa distribution functions

abstract: The Washimi and Karpman ponderomotive interaction due to electromagnetic waves propagation is investigated for unmagnetized plasmas described by a isotropic Kappa distribution. We performed a brief analysis of the influence of the Kappa distribution in the dispersion relations for a low temperature plasma expansion at the lowest order in which the thermal effects are appreciated. The spatial and temporal factor of the ponderomotive force is obtained as a function of the wavenumber, the spectral index $\kappa$ and the ratio between the plasma thermal velocity and the speed of light. Our results show that for unmagnetized plasmas non-thermal effects are negligible for the spatial ponderomotive force when non-relativistic thermal velocities are considered. However, for unmagnetized plasmas the temporal factor of the ponderomotive force appears only due to the presence of suprathermal particles, with a clear dependence on the $\kappa$ index. We have also analysed the role of the non-thermal effect in the induced Washimi and Karpman ponderomotive magnetization and the total power radiated associated with it. We have also shown that the slowly varying induced ponderomotive magnetic field magnitude increases as the plasma moves away from thermal equilibrium.


title: Formation of Lunar Basins from Impacts of Leftover Planetesimals

abstract: The Moon holds important clues to the early evolution of the Solar System. Some 50 impact basins (crater diameter D>300 km) have been recognized on the lunar surface, implying that the early impact flux was much higher than it is now. The basin-forming impactors were suspected to be asteroids released from an inner extension of the main belt (1.8-2.0 au). Here we show that most impactors were instead rocky planetesimals left behind at 0.5-1.5 au after the terrestrial planet accretion. The number of basins expected from impacts of leftover planetesimals largely exceeds the number of known lunar basins, suggesting that the first 200 Myr of impacts is not recorded on the lunar surface. The Imbrium basin formation (age 3.92 Gyr; impactor diameter d~100 km) occurs with a 15-35% probability in our model. Imbrium must have formed unusually late to have only two smaller basins (Orientale and Schrodinger) forming afterwards. The model predicts 20 d>10-km impacts on the Earth 2.5-3.5 Gyr ago (Ga), which is comparable to the number of known spherule beds in the late Archean.


title: Scalable Bayesian Inference for Finding Strong Gravitational Lenses

abstract: Finding strong gravitational lenses in astronomical images allows us to assess cosmological theories and understand the large-scale structure of the universe. Previous works on lens detection do not quantify uncertainties in lens parameter estimates or scale to modern surveys. We present a fully amortized Bayesian procedure for lens detection that overcomes these limitations. Unlike traditional variational inference, in which training minimizes the reverse Kullback-Leibler (KL) divergence, our method is trained with an expected forward KL divergence. Using synthetic GalSim images and real Sloan Digital Sky Survey (SDSS) images, we demonstrate that amortized inference trained with the forward KL produces well-calibrated uncertainties in both lens detection and parameter estimation.


title: ACIC: Admission-Controlled Instruction Cache

abstract: The front end bottleneck in datacenter workloads has come under increased scrutiny, with the growing code footprint, involvement of numerous libraries and OS services, and the unpredictability in the instruction stream. Our examination of these workloads points to burstiness in accesses to instruction blocks, which has also been observed in data accesses. Such burstiness is largely due to spatial and short-duration temporal localities, that LRU fails to recognize and optimize for, when a single cache caters to both forms of locality. Instead, we incorporate a small i-Filter as in previous works to separate spatial from temporal accesses. However, a simple separation does not suffice, and we additionally need to predict whether the block will continue to have temporal locality, after the burst of spatial locality. This combination of i-Filter and temporal locality predictor constitutes our Admission-Controlled Instruction Cache (ACIC). ACIC outperforms a number of state-of-the-art pollution reduction techniques (replacement algorithms, bypassing mechanisms, victim caches), providing 1.0223 speedup on the average over a baseline LRU based conventional i-cache (bridging over half of the gap between LRU and OPT) across several datacenter workloads.


title: Maximal energy extraction through information gathering

abstract: We calculate the maximal non-equilibrium work that can be extracted from any mass using information about its micro-state. This is done through the use of black hole thermodynamics in the context of the thermodynamics of information. The non-equilibrium work that can be obtained by knowing the exact micro-state is found to be $\frac{1}{2} Mc^{2}$. This is calculated using the entropy of an eternal, uncharged, non rotating black hole. This is derivation helps elucidate the relativity of entropy and its relationship to general relativity and time.


title: Compiling Structured Tensor Algebra

abstract: Tensor algebra is essential for data-intensive workloads in various computational domains. Computational scientists face a trade-off between the specialization degree provided by dense tensor algebra and the algorithmic efficiency that leverages the structure provided by sparse tensors. This paper presents StructTensor, a framework that symbolically computes structure at compilation time. This is enabled by Structured Tensor Unified Representation (STUR), an intermediate language that can capture tensor computations as well as their sparsity and redundancy structures. Through a mathematical view of lossless tensor computations, we show that our symbolic structure computation and the related optimizations are sound. Finally, for different tensor computation workloads and structures, we experimentally show how capturing the symbolic structure can result in outperforming state-of-the-art frameworks for both dense and sparse tensor algebra.


title: Uniformly Expanding Random Walks on Manifolds

abstract: In this paper we construct uniformly expanding random walks on smooth manifolds. In higher dimensions, our definition of uniform expansion measures the growth of subspaces rather than single vectors. Potrie showed that given any open set $U$ of $\text{Diff}^\infty_{vol}(\mathbb{T}^2)$, there exists an uniformly expanding random walk $\mu$ supported on a finite subset of $U$. In this paper we extend those results to closed manifolds of any dimension, building on the work of Potrie and Chung to build a robust class of examples.


title: Twistor approach to higher-spin theories and matrix model

abstract: We discuss recent endeavours in connecting twistor theory to higher-spin theories and the IKKT- matrix model. Starting with a brief review on higher-spin algebra hs in four-dimensional target space, we elucidate how higher-spin symmetry can be encoded in hs-valued sections/holomorphic differential forms on (non-commutative) twistor space. This provides an efficient way to construct local higher-spin theories in spacetime from some actions on (non-commutative) twistor space. Remarkably, some higher-spin theories obtained within the framework of twistor theory can have non-trivial scattering amplitudes in flat space.


title: Cavity optomechanical bistability with an ultrahigh reflectivity photonic crystal membrane

abstract: Photonic crystal (PhC) membranes patterned with sub-wavelength periods offer a unique combination of high reflectivity, low mass, and high mechanical quality factor. We demonstrate a PhC membrane that we use as one mirror of a Fabry-Perot cavity with finesse as high as $F=35,000(500)$, corresponding to a record high PhC reflectivity of $R=0.999835(6)$. The fundamental mechanical frequency is 426 kHz, more than twice the optical linewidth, placing it firmly in the resolved-sideband regime. The mechanical quality factor in vacuum is $Q=1.1(1)\times 10^6$, allowing us to achieve values of the single-photon cooperativity as high as ${\cal C}_0=6.6\times10^{-3}$. We easily see optomechanical bistability as hysteresis in the cavity transmission. As the input power is raised well beyond the bistability threshold, dynamical backaction induces strong mechanical oscillation above 1~MHz, even in the presence of air damping. This platform will facilitate advances in optomechanics, precision sensing, and applications of optomechanically-induced bistability.


title: DGRec: Graph Neural Network for Recommendation with Diversified Embedding Generation

abstract: Graph Neural Network (GNN) based recommender systems have been attracting more and more attention in recent years due to their excellent performance in accuracy. Representing user-item interactions as a bipartite graph, a GNN model generates user and item representations by aggregating embeddings of their neighbors. However, such an aggregation procedure often accumulates information purely based on the graph structure, overlooking the redundancy of the aggregated neighbors and resulting in poor diversity of the recommended list. In this paper, we propose diversifying GNN-based recommender systems by directly improving the embedding generation procedure. Particularly, we utilize the following three modules: submodular neighbor selection to find a subset of diverse neighbors to aggregate for each GNN node, layer attention to assign attention weights for each layer, and loss reweighting to focus on the learning of items belonging to long-tail categories. Blending the three modules into GNN, we present DGRec(Diversified GNN-based Recommender System) for diversified recommendation. Experiments on real-world datasets demonstrate that the proposed method can achieve the best diversity while keeping the accuracy comparable to state-of-the-art GNN-based recommender systems.


title: Early Release Science of the exoplanet WASP-39b with JWST NIRSpec PRISM

abstract: Transmission spectroscopy of exoplanets has revealed signatures of water vapor, aerosols, and alkali metals in a few dozen exoplanet atmospheres. However, these previous inferences with the Hubble and Spitzer Space Telescopes were hindered by the observations' relatively narrow wavelength range and spectral resolving power, which precluded the unambiguous identification of other chemical species$-$in particular the primary carbon-bearing molecules. Here we report a broad-wavelength 0.5-5.5 $\mu$m atmospheric transmission spectrum of WASP-39 b, a 1200 K, roughly Saturn-mass, Jupiter-radius exoplanet, measured with JWST NIRSpec's PRISM mode as part of the JWST Transiting Exoplanet Community Early Release Science Team program. We robustly detect multiple chemical species at high significance, including Na (19$\sigma$), H$_2$O (33$\sigma$), CO$_2$ (28$\sigma$), and CO (7$\sigma$). The non-detection of CH$_4$, combined with a strong CO$_2$ feature, favours atmospheric models with a super-solar atmospheric metallicity. An unanticipated absorption feature at 4$\mu$m is best explained by SO$_2$ (2.7$\sigma$), which could be a tracer of atmospheric photochemistry. These observations demonstrate JWST's sensitivity to a rich diversity of exoplanet compositions and chemical processes.


title: Early Release Science of the Exoplanet WASP-39b with JWST NIRSpec G395H

abstract: Measuring the abundances of carbon and oxygen in exoplanet atmospheres is considered a crucial avenue for unlocking the formation and evolution of exoplanetary systems. Access to an exoplanet's chemical inventory requires high-precision observations, often inferred from individual molecular detections with low-resolution space-based and high-resolution ground-based facilities. Here we report the medium-resolution (R$\sim$600) transmission spectrum of an exoplanet atmosphere between 3-5 $\mu$m covering multiple absorption features for the Saturn-mass exoplanet WASP-39b, obtained with JWST NIRSpec G395H. Our observations achieve 1.46x photon precision, providing an average transit depth uncertainty of 221 ppm per spectroscopic bin, and present minimal impacts from systematic effects. We detect significant absorption from CO$_2$ (28.5$\sigma$) and H$_2$O (21.5$\sigma$), and identify SO$_2$ as the source of absorption at 4.1 $\mu$m (4.8$\sigma$). Best-fit atmospheric models range between 3 and 10x solar metallicity, with sub-solar to solar C/O ratios. These results, including the detection of SO$_2$, underscore the importance of characterising the chemistry in exoplanet atmospheres, and showcase NIRSpec G395H as an excellent mode for time series observations over this critical wavelength range.


title: Early Release Science of the exoplanet WASP-39b with JWST NIRCam

abstract: Measuring the metallicity and carbon-to-oxygen (C/O) ratio in exoplanet atmospheres is a fundamental step towards constraining the dominant chemical processes at work and, if in equilibrium, revealing planet formation histories. Transmission spectroscopy provides the necessary means by constraining the abundances of oxygen- and carbon-bearing species; however, this requires broad wavelength coverage, moderate spectral resolution, and high precision that, together, are not achievable with previous observatories. Now that JWST has commenced science operations, we are able to observe exoplanets at previously uncharted wavelengths and spectral resolutions. Here we report time-series observations of the transiting exoplanet WASP-39b using JWST's Near InfraRed Camera (NIRCam). The long-wavelength spectroscopic and short-wavelength photometric light curves span 2.0 - 4.0 $\mu$m, exhibit minimal systematics, and reveal well-defined molecular absorption features in the planet's spectrum. Specifically, we detect gaseous H$_2$O in the atmosphere and place an upper limit on the abundance of CH$_4$. The otherwise prominent CO$_2$ feature at 2.8 $\mu$m is largely masked by H$_2$O. The best-fit chemical equilibrium models favour an atmospheric metallicity of 1-100$\times$ solar (i.e., an enrichment of elements heavier than helium relative to the Sun) and a sub-stellar carbon-to-oxygen (C/O) ratio. The inferred high metallicity and low C/O ratio may indicate significant accretion of solid materials during planet formation or disequilibrium processes in the upper atmosphere.


title: Photochemically-produced SO$_2$ in the atmosphere of WASP-39b

abstract: Photochemistry is a fundamental process of planetary atmospheres that regulates the atmospheric composition and stability. However, no unambiguous photochemical products have been detected in exoplanet atmospheres to date. Recent observations from the JWST Transiting Exoplanet Early Release Science Program found a spectral absorption feature at 4.05 $\mu$m arising from SO$_2$ in the atmosphere of WASP-39b. WASP-39b is a 1.27-Jupiter-radii, Saturn-mass (0.28 M$_J$) gas giant exoplanet orbiting a Sun-like star with an equilibrium temperature of $\sim$1100 K. The most plausible way of generating SO$_2$ in such an atmosphere is through photochemical processes. Here we show that the SO$_2$ distribution computed by a suite of photochemical models robustly explains the 4.05 $\mu$m spectral feature identified by JWST transmission observations with NIRSpec PRISM (2.7$\sigma$) and G395H (4.5$\sigma$). SO$_2$ is produced by successive oxidation of sulphur radicals freed when hydrogen sulphide (H$_2$S) is destroyed. The sensitivity of the SO$_2$ feature to the enrichment of the atmosphere by heavy elements (metallicity) suggests that it can be used as a tracer of atmospheric properties, with WASP-39b exhibiting an inferred metallicity of $\sim$10$\times$ solar. We further point out that SO$_2$ also shows observable features at ultraviolet and thermal infrared wavelengths not available from the existing observations.


title: Rocky histories: The effect of high excitations on the formation of rocky planets

abstract: Rocky planets both in and outside of our solar system are observed to have a range of core-mass fractions (CMFs). Imperfect collisions can preferentially strip mantle material from a planet, changing its CMF, and are therefore thought to be the most likely cause of this observed CMF variation. However, previous work that implements these collisions into N-body simulations of planet formation has struggled to reliably form high CMF super-Earths. In this work, we specify our initial conditions and simulation parameters to maximize the prevalence of high-energy, CMF-changing collisions in order to form planets with highly diverse CMFs. High-energy collisions have a large $v_{imp}/v_{esc}$ ratio, so we maximize this ratio by starting simulations with high-eccentricity and inclination disks to increase the difference in their orbital velocities, maximizing $v_{imp}$. Additionally, we minimize $v_{esc}$ by starting with small embryos. The final planets undergo more high-energy, debris-producing collisions, and experience significant CMF change over their formation. However, we find that a number of processes work together to average out the CMF of a planet over time, therefore we do not consistently form high-CMF, high mass planets. We do form high-CMF planets below 0.5 $M_{\oplus}$. Additionally, we find in these highly eccentric environments, loss of debris mass due to collisional grinding has a significant effect on final planet masses and CMFs, resulting in smaller planets and a higher average planet CMF. This work highlights the importance of improving measurements of high-density planets to better constrain their CMFs.


title: Flexible Hilbert-Schmidt stability versus hyperlinearity for property (T) groups

abstract: We prove a statement concerning hyperlinearity for central extensions of property (T) groups in the presence of flexible HS-stability, and more generally, weak ucp-stability. Notably, this result is applied to show that if $\text{Sp}_{2g} (\mathbb Z)$ is flexibly HS-stable, then there exists a non-hyperlinear group. Further, the same phenomenon is shown to hold generically for random groups sampled in Gromov's density model, as well as all infinitely presented property (T) groups. This gives new directions for the possible existence of a non-hyperlinear group. Our results yield Hilbert-Schmidt analogues for Bowen and Burton's work relating flexible P-stability of $\text{PSL}_n(\mathbb Z)$ and the existence of non-sofic groups.


title: Early Release Science of the exoplanet WASP-39b with JWST NIRISS

abstract: Transmission spectroscopy provides insight into the atmospheric properties and consequently the formation history, physics, and chemistry of transiting exoplanets. However, obtaining precise inferences of atmospheric properties from transmission spectra requires simultaneously measuring the strength and shape of multiple spectral absorption features from a wide range of chemical species. This has been challenging given the precision and wavelength coverage of previous observatories. Here, we present the transmission spectrum of the Saturn-mass exoplanet WASP-39b obtained using the SOSS mode of the NIRISS instrument on the JWST. This spectrum spans $0.6 - 2.8 \mu$m in wavelength and reveals multiple water absorption bands, the potassium resonance doublet, as well as signatures of clouds. The precision and broad wavelength coverage of NIRISS-SOSS allows us to break model degeneracies between cloud properties and the atmospheric composition of WASP-39b, favoring a heavy element enhancement ("metallicity") of $\sim 10 - 30 \times$ the solar value, a sub-solar carbon-to-oxygen (C/O) ratio, and a solar-to-super-solar potassium-to-oxygen (K/O) ratio. The observations are best explained by wavelength-dependent, non-gray clouds with inhomogeneous coverage of the planet's terminator.


title: Flocking of two unfriendly species: The two-species Vicsek model

abstract: We consider the two-species Vicsek model (TSVM) consisting of two kinds of self-propelled particles, A and B, that tend to align with particles from the same species and to antialign with the other. The model shows a flocking transition that is reminiscent of the original Vicsek model: it has a liquid-gas phase transition and displays micro-phase-separation in the coexistence region where multiple dense liquid bands propagate in a gaseous background. The interesting features of the TSVM are the existence of two kinds of bands, one composed of mainly A particles and one mainly of B particles, the appearance of two dynamical states in the coexistence region: the PF (parallel flocking) state in which all bands of the two species propagate in the same direction, and the APF (antiparallel flocking) state in which the bands of species A and species B move in opposite directions. When PF and APF states exist in the low-density part of the coexistence region they perform stochastic transitions from one to the other. The system size dependence of the transition frequency and dwell times show a pronounced crossover that is determined by the ratio of the band width and the longitudinal system size. Our work paves the way for studying multispecies flocking models with heterogeneous alignment interactions.


title: A DPU Solution for Container Overlay Networks

abstract: There is an increasing demand to incorporate hybrid environments as part of workflows across edge, cloud, and HPC systems. In a such converging environment of cloud and HPC, containers are starting to play a more prominent role, bringing their networking infrastructure along with them. However, the current body of work shows that container overlay networks, which are often used to connect containers across physical hosts, are ill-suited for the HPC environment. They tend to impose significant overhead and noise, resulting in degraded performance and disturbance to co-processes on the same host. This paper focuses on utilizing a novel class of hardware, Data Processing Unit, to offload the networking stack of overlay networks away from the host onto the DPU. We intend to show that such ancillary offload is possible and that it will result in decreased overhead on host nodes which in turn will improve the performance of running processes.


title: The legacy of A.H. Wapstra and the future of the Atomic Mass Evaluation

abstract: This contribution pays homage to Aaldert Wapstra, the founder of the Atomic Mass Evaluation (AME) in its present form. Producing an atomic mass table requires detailed evaluation and combination of the various decay and reaction energies as well as data from inertial mass measurements. Therefore, a brief summary of all mass measurements published since the last ENAM (2004) is given (as of 2008). The status of the AME is then discussed and as well as attempts for its continuation. (Since this paper was the written, coordination of the Atomic Mass Evaluation was taken over by the Chinese Academy of Sciences, Institute of Modern Physics, in Lanzhou.)


title: Efficient quantum implementation of 2+1 U(1) lattice gauge theories with Gauss law constraints

abstract: The study of real-time evolution of lattice quantum field theories using classical computers is known to scale exponentially with the number of lattice sites. Due to a fundamentally different computational strategy, quantum computers hold the promise of allowing for detailed studies of these dynamics from first principles. However, much like with classical computations, it is important that quantum algorithms do not have a cost that scales exponentially with the volume. Recently, it was shown how to break the exponential scaling of a naive implementation of a U(1) gauge theory in two spatial dimensions through an operator redefinition. In this work, we describe modifications to how operators must be sampled in the new operator basis to keep digitization errors small. We compare the precision of the energies and plaquette expectation value between the two operator bases and find they are comparable. Additionally, we provide an explicit circuit construction for the Suzuki-Trotter implementation of the theory using the Walsh function formalism. The gate count scaling is studied as a function of the lattice volume, for both exact circuits and approximate circuits where rotation gates with small arguments have been dropped. We study the errors from finite Suzuki-Trotter time-step, circuit approximation, and quantum noise in a calculation of an explicit observable using IBMQ superconducting qubit hardware. We find the gate count scaling for the approximate circuits can be further reduced by up to a power of the volume without introducing larger errors.


title: Existence of a symmetric bipodal phase in the edge-triangle model

abstract: In the edge-triangle model with edge density close to 1/2 and triangle density below 1/8 we prove that the unique entropy-maximizing graphon is symmetric bipodal. We also prove that,for any edge density $e$ less than $e_0 = (3-\sqrt{3})/6 \approx 0.2113$ and triangle density slightly less than $e^3$, the entropy-maximizing graphon is not symmetric bipodal.


title: Fundamental groups of reduced suspensions are locally free

abstract: In this paper, we analyze the fundamental group $\pi_1(\Sigma X,\overline{x_0})$ of the reduced suspension $\Sigma X$ where $(X,x_0)$ is an arbitrary based Hausdorff space. We show that $\pi_1(\Sigma X,\overline{x_0})$ is canonically isomorphic to a direct limit $\varinjlim_{A\in\mathscr{P}}\pi_1(\Sigma A,\overline{x_0})$ where each group $\pi_1(\Sigma A,\overline{x_0})$ is isomorphic to a finitely generated free group or the infinite earring group. A direct consequence of this characterization is that $\pi_1(\Sigma X,\overline{x_0})$ is locally free for any Hausdorff space $X$. Additionally, we show that $\Sigma X$ is simply connected if and only if $X$ is sequentially $0$-connected at $x_0$.


title: The paucity problem for certain symmetric Diophantine equations

abstract: Let $\varphi_1,\ldots ,\varphi_r\in \mathbb Z[z_1,\ldots z_k]$ be integral linear combinations of elementary symmetric polynomials with $\text{deg}(\varphi_j)=k_j$ $(1\le j\le r)$, where $1\le k_1<k_2<\ldots <k_r=k$. Subject to the condition $k_1+\ldots +k_r\ge \tfrac{1}{2}k(k-1)+2$, we show that there is a paucity of non-diagonal solutions to the Diophantine system $\varphi_j(\mathbf x)=\varphi_j(\mathbf y)$ $(1\le j\le r)$.


title: Iterative Qubit Coupled Cluster using only Clifford circuits

abstract: We draw attention to a variant of the iterative qubit coupled cluster (iQCC) method that only uses Clifford circuits. The iQCC method relies on a small parameterized wave function ansatz, which takes form as a product of exponentiated Pauli word operators, to approximate the ground state electronic energy of a mean field reference state through iterative qubit Hamiltonian transformations. In this variant of the iQCC method, the wave function ansatz at each iteration is restricted to a single exponentiated Pauli word operator and parameter. The Rotosolve algorithm utilizes Hamiltonian expectation values computed with Clifford circuits to optimize the single-parameter Pauli word ansatz. Although the exponential growth of Hamiltonian terms is preserved with this variation of iQCC, we suggest several methods to mitigate this effect. This method is useful for near-term variational quantum algorithm applications as it generates good initial parameters by using Clifford circuits which can be efficiently simulated on a classical computers according to the Gottesman-Knill theorem. It may also be useful beyond the NISQ era to create short-depth Clifford pre-optimized circuits that improve the success probability for fault-tolerant algorithms such as phase estimation.


title: A Mathematical Programming Approach to Optimal Classification Forests

abstract: In this paper, we introduce Optimal Classification Forests, a new family of classifiers that takes advantage of an optimal ensemble of decision trees to derive accurate and interpretable classifiers. We propose a novel mathematical optimization-based methodology in which a given number of trees are simultaneously constructed, each of them providing a predicted class for the observations in the feature space. The classification rule is derived by assigning to each observation its most frequently predicted class among the trees in the forest. We provide a mixed integer linear programming formulation for the problem. We report the results of our computational experiments, from which we conclude that our proposed method has equal or superior performance compared with state-of-the-art tree-based classification methods. More importantly, it achieves high prediction accuracy with, for example, orders of magnitude fewer trees than random forests. We also present three real-world case studies showing that our methodology has very interesting implications in terms of interpretability.


title: An investigation of shock formation versus shock mitigation of colliding plasma jets

abstract: This work studies the interaction between colliding plasma jets to understand regimes in which jet merging results in shock formation versus regimes in which the shock formation is mitigated due to the collisionless interpenetration of the jets. A kinetic model is required for this study because fluid models will always produce a shock upon the collision of plasma jets. The continuum-kinetic, Vlasov-Maxwell-Dougherty model with one velocity dimension is used to accurately capture shock heating, along with a novel coupling with a moment equation to evolve perpendicular temperature for computational efficiency. As a result, this relatively inexpensive simulation can be used for detailed scans of the parameter space towards predictions of shocked versus shock-mitigated regimes, which is of interest for several fusion concepts such as plasma-jet-driven magneto-inertial fusion (PJMIF), high-energy-density plasmas, astrophysical phenomena, and other laboratory plasmas. The initial results obtained using this approach are in agreement with the preliminary outcomes of the Plasma Liner Experiment (PLX).


title: Search for the critical point of strongly interacting matter

abstract: The existence and location of the QCD critical point is an object of both experimental and theoretical studies. The comprehensive data collected by NA61/SHINE during a two-dimensional scan in beam momentum (13A-150A GeV/c) and system size (p+p, p+Pb, Be+Be, Ar+Sc, Xe+La, Pb+Pb) allows for a systematic search for the critical point-a search for a non-monotonic dependence of various correlation and fluctuation observables on collision energy and size of colliding nuclei. In particular, fluctuations of particle number in transverse momentum space are studied. They are quantified by measuring the scaled factorial moments of multiplicity distribution.


title: Orbit equivalences of pseudo-Anosov flows

abstract: We prove a classification theorem for transitive Anosov and pseudo-Anosov flows on closed 3-manifolds, up to orbit equivalence. In many cases, flows on a 3-manifold $M$ are completely determined by the set of free homotopy classes of their (unoriented) periodic orbits. The exceptional cases are flows with a special structure in their orbit space called a ``tree of scalloped regions"; in these cases the set of free homotopy classes of unoriented periodic orbits together with the additional data of a choice of sign for each $\pi_1(M)$-orbit of tree gives a complete invariant of orbit equivalence classes of flows. The framework for the proof is a more general result about \emph{Anosov-like actions} of abstract groups on bifoliated planes, showing that the homeomorphism type of the bifoliation and the conjugacy class of the action can be recovered from knowledge of which elements of the group act with fixed points. As a consequence, we show that Anosov flows are determined up to orbit equivalence by the action on the ideal boundary of their orbit spaces, and more generally that transitive Anosov-like actions on bifoliated planes are determined up to conjugacy by their actions on the plane's ideal boundary: any conjugacy between two such actions on their ideal circles can be extended uniquely to a conjugacy on the interior of the plane.


title: A Transformer Framework for Data Fusion and Multi-Task Learning in Smart Cities

abstract: Rapid global urbanization is a double-edged sword, heralding promises of economical prosperity and public health while also posing unique environmental and humanitarian challenges. Smart and connected communities (S&CCs) apply data-centric solutions to these problems by integrating artificial intelligence (AI) and the Internet of Things (IoT). This coupling of intelligent technologies also poses interesting system design challenges regarding heterogeneous data fusion and task diversity. Transformers are of particular interest to address these problems, given their success across diverse fields of natural language processing (NLP), computer vision, time-series regression, and multi-modal data fusion. This begs the question whether Transformers can be further diversified to leverage fusions of IoT data sources for heterogeneous multi-task learning in S&CC trade spaces. In this paper, a Transformer-based AI system for emerging smart cities is proposed. Designed using a pure encoder backbone, and further customized through interchangeable input embedding and output task heads, the system supports virtually any input data and output task types present S&CCs. This generalizability is demonstrated through learning diverse task sets representative of S&CC environments, including multivariate time-series regression, visual plant disease classification, and image-time-series fusion tasks using a combination of Beijing PM2.5 and Plant Village datasets. Simulation results show that the proposed Transformer-based system can handle various input data types via custom sequence embedding techniques, and are naturally suited to learning a diverse set of tasks. The results also show that multi-task learners increase both memory and computational efficiency while maintaining comparable performance to both single-task variants, and non-Transformer baselines.


title: Efficient Determinant Maximization for All Matroids

abstract: Determinant maximization provides an elegant generalization of problems in many areas, including convex geometry, statistics, machine learning, fair allocation of goods, and network design. In an instance of the determinant maximization problem, we are given a collection of vectors $v_1,\ldots, v_n \in \mathbb{R}^d$, and the goal is to pick a subset $S\subseteq [n]$ of given vectors to maximize the determinant of the matrix $\sum_{i \in S} v_iv_i^\top$, where the picked set of vectors $S$ must satisfy some combinatorial constraint such as cardinality constraint ($|S| \leq k$) or matroid constraint ($S$ is a basis of a matroid defined on $[n]$). In this work, we give a combinatorial algorithm for the determinant maximization problem under a matroid constraint that achieves $O(d^{O(d)})$-approximation for any matroid of rank $r\geq d$. This complements the recent result of~\cite{BrownLPST22} that achieves a similar bound for matroids of rank $r\leq d$, relying on a geometric interpretation of the determinant. Our result matches the best-known estimation algorithms~\cite{madan2020maximizing} for the problem, which could estimate the objective value but could not give an approximate solution with a similar guarantee. Our work follows the framework developed by~\cite{BrownLPST22} of using matroid intersection based algorithms for determinant maximization. To overcome the lack of a simple geometric interpretation of the objective when $r \geq d$, our approach combines ideas from combinatorial optimization with algebraic properties of the determinant. We also critically use the properties of a convex programming relaxation of the problem introduced by~\cite{madan2020maximizing}.


title: Distributionally Robust Survival Analysis: A Novel Fairness Loss Without Demographics

abstract: We propose a general approach for training survival analysis models that minimizes a worst-case error across all subpopulations that are large enough (occurring with at least a user-specified minimum probability). This approach uses a training loss function that does not know any demographic information to treat as sensitive. Despite this, we demonstrate that our proposed approach often scores better on recently established fairness metrics (without a significant drop in prediction accuracy) compared to various baselines, including ones which directly use sensitive demographic information in their training loss. Our code is available at: https://github.com/discovershu/DRO_COX


title: Optimal performance of a tontine overlay subject to withdrawal constraints

abstract: We consider the holder of an individual tontine retirement account, with maximum and minimum withdrawal amounts (per year) specified. The tontine account holder initiates the account at age 65, and earns mortality credits while alive, but forfeits all wealth in the account upon death. The holder desires to maximize total withdrawals, and minimize the expected shortfall, assuming the holder survives to age 95. The investor controls the amount withdrawn each year and the fraction of the investments in stocks and bonds. The optimal controls are determined based on a parametric model fitted to almost a century of market data. The optimal control algorithm is based on dynamic programming and solution of a partial integro differential equation (PIDE) using Fourier methods. The optimal strategy (based on the parametric model) is tested out of sample using stationary block bootstrap resampling of the historical data. In terms of an expected total withdrawal, expected shortfall (EW-ES) efficient frontier, the tontine overlay greatly outperforms an optimal strategy (without the tontine overlay), which in turn outperforms a constant weight strategy with withdrawals based on the ubiquitous four per cent rule.


title: How does dark matter affect compact star properties and high density constraints of strongly interacting matter

abstract: We study the impact of asymmetric bosonic dark matter on neutron star properties, including possible changes of tidal deformability, maximum mass, radius, and matter distribution inside the star. The conditions at which dark matter particles tend to condensate in the star's core or create an extended halo are presented. We show that dark matter condensed in a core leads to a decrease of the total gravitational mass and tidal deformability compared to a pure baryonic star, which we will perceive as an effective softening of the equation of state. On the other hand, the presence of a dark matter halo increases those observable quantities. Thus, observational data on compact stars could be affected by accumulated dark matter and, consequently, constraints we put on strongly interacting matter at high densities. To confirm the presence of dark matter in the compact star's interior, and to break the degeneracy between the effect of accumulated dark matter and strongly interacting matter properties at high densities, several astrophysical and GW tests are proposed.


title: Knowledge Graph Generation From Text

abstract: In this work we propose a novel end-to-end multi-stage Knowledge Graph (KG) generation system from textual inputs, separating the overall process into two stages. The graph nodes are generated first using pretrained language model, followed by a simple edge construction head, enabling efficient KG extraction from the text. For each stage we consider several architectural choices that can be used depending on the available training resources. We evaluated the model on a recent WebNLG 2020 Challenge dataset, matching the state-of-the-art performance on text-to-RDF generation task, as well as on New York Times (NYT) and a large-scale TekGen datasets, showing strong overall performance, outperforming the existing baselines. We believe that the proposed system can serve as a viable KG construction alternative to the existing linearization or sampling-based graph generation approaches. Our code can be found at https://github.com/IBM/Grapher


title: QCD vacuum replicas are metastable

abstract: We study the meson spectra in the excited QCD vacua, denominated replicas. We find all mesons have real masses, with no tachyons, thus showing the QCD replicas are indeed metastable.


title: Quantum information and CP measurement in $H \to \tau^+ \tau^-$ at future lepton colliders

abstract: We introduce a methodology and investigate the feasibility of measuring quantum properties of tau lepton pairs in the $H \to \tau^+ \tau^-$ decay at future lepton colliders. In particular, observation of entanglement, steerability and violation of Bell inequalities are examined for the ILC and FCC-ee. We find that detecting quantum correlation crucially relies on precise reconstruction of the tau lepton rest frame and a simple kinematics reconstruction does not suffice due to the finite energy resolution of the colliding beams and detectors. To correct for energy mismeasurements, a log-likelihood method is developed that incorporates the information of impact parameters of tau lepton decays. We demonstrate that an accurate measurement of quantum properties is possible with this method. As a by-product, we show that a novel model-independent test of CP violation can be performed and the CP-phase of $H \tau \tau$ interaction can be constrained with an accuracy comparable to dedicated analyses, i.e., up to $7.9^{\circ}$ and $5.4^{\circ}$ at ILC and FCC-ee, respectively.


title: Light-Hole Gate-Defined Spin-Orbit Qubit

abstract: The selective confinement of light-holes (LHs) is demonstrated by introducing a low-dimensional system consisting of highly tensile-strained Ge quantum well enabling the design of an ultrafast gate-defined spin qubit under the electric dipole spin resonance. The qubit size-dependent $g$-factor and dipole moment are mapped, and the parameters inducing their modulation are discussed. It is found that the LH qubit dipole moment is 2 to 3 orders of magnitude higher than that of the canonical heavy-hole qubit. This behavior originates from the significant spin splitting resulting from the combined action of large cubic and linear Rashba spin-orbit interactions that are peculiar to LHs. The qubit relaxation rate is also affected by the strong spin-orbit interaction and follows typically a $B^7$ behavior. The proposed all-group IV, direct bandgap LH qubit provides an effective platform for a scalable qubit-optical photon interface sought-after for long-range entanglement distribution and quantum networks.


title: Curiosity in Hindsight: Intrinsic Exploration in Stochastic Environments

abstract: Consider the problem of exploration in sparse-reward or reward-free environments, such as in Montezuma's Revenge. In the curiosity-driven paradigm, the agent is rewarded for how much each realized outcome differs from their predicted outcome. But using predictive error as intrinsic motivation is fragile in stochastic environments, as the agent may become trapped by high-entropy areas of the state-action space, such as a "noisy TV". In this work, we study a natural solution derived from structural causal models of the world: Our key idea is to learn representations of the future that capture precisely the unpredictable aspects of each outcome -- which we use as additional input for predictions, such that intrinsic rewards only reflect the predictable aspects of world dynamics. First, we propose incorporating such hindsight representations into models to disentangle "noise" from "novelty", yielding Curiosity in Hindsight: a simple and scalable generalization of curiosity that is robust to stochasticity. Second, we instantiate this framework for the recently introduced BYOL-Explore algorithm as our prime example, resulting in the noise-robust BYOL-Hindsight. Third, we illustrate its behavior under a variety of different stochasticities in a grid world, and find improvements over BYOL-Explore in hard-exploration Atari games with sticky actions. Notably, we show state-of-the-art results in exploring Montezuma's Revenge with sticky actions, while preserving performance in the non-sticky setting.


title: PIM-tree: A Skew-resistant Index for Processing-in-Memory

abstract: The performance of today's in-memory indexes is bottlenecked by the memory latency/bandwidth wall. Processing-in-memory (PIM) is an emerging approach that potentially mitigates this bottleneck, by enabling low-latency memory access whose aggregate memory bandwidth scales with the number of PIM nodes. There is an inherent tension, however, between minimizing inter-node communication and achieving load balance in PIM systems, in the presence of workload skew. This paper presents PIM-tree, an ordered index for PIM systems that achieves both low communication and high load balance, regardless of the degree of skew in the data and the queries. Our skew-resistant index is based on a novel division of labor between the multi-core host CPU and the PIM nodes, which leverages the strengths of each. We introduce push-pull search, which dynamically decides whether to push queries to a PIM-tree node (CPU -> PIM-node) or pull the node's keys back to the CPU (PIM-node -> CPU) based on workload skew. Combined with other PIM-friendly optimizations (shadow subtrees and chunked skip lists), our PIM-tree provides high-throughput, (guaranteed) low communication, and (guaranteed) high load balance, for batches of point queries, updates, and range scans. We implement the PIM-tree structure, in addition to prior proposed PIM indexes, on the latest PIM system from UPMEM, with 32 CPU cores and 2048 PIM nodes. On workloads with 500 million keys and batches of one million queries, the throughput using PIM-trees is up to 69.7x and 59.1x higher than the two best prior methods. As far as we know these are the first implementations of an ordered index on a real PIM system.


title: Social Diversity Reduces the Complexity and Cost of Fostering Fairness

abstract: Institutions and investors are constantly faced with the challenge of appropriately distributing endowments. No budget is limitless and optimising overall spending without sacrificing positive outcomes has been approached and resolved using several heuristics. To date, prior works have failed to consider how to encourage fairness in a population where social diversity is ubiquitous, and in which investors can only partially observe the population. Herein, by incorporating social diversity in the Ultimatum game through heterogeneous graphs, we investigate the effects of several interference mechanisms which assume incomplete information and flexible standards of fairness. We quantify the role of diversity and show how it reduces the need for information gathering, allowing us to relax a strict, costly interference process. Furthermore, we find that the influence of certain individuals, expressed by different network centrality measures, can be exploited to further reduce spending if minimal fairness requirements are lowered. Our results indicate that diversity changes and opens up novel mechanisms available to institutions wishing to promote fairness. Overall, our analysis provides novel insights to guide institutional policies in socially diverse complex systems.


title: Integrating molecular models into CryoEM heterogeneity analysis using scalable high-resolution deep Gaussian mixture models

abstract: Resolving the structural variability of proteins is often key to understanding the structure-function relationship of those macromolecular machines. Single particle analysis using Cryogenic electron microscopy (CryoEM), combined with machine learning algorithms, provides a way to reveal the dynamics within the protein system from noisy micrographs. Here, we introduce an improved computational method that uses Gaussian mixture models for protein structure representation and deep neural networks for conformation space embedding. By integrating information from molecular models into the heterogeneity analysis, we can resolve complex protein conformational changes at near atomic resolution and present the results in a more interpretable form.


title: Starlet higher order statistics for galaxy clustering and weak lensing

abstract: We present a first application to photometric galaxy clustering and weak lensing of wavelet based multi-scale higher order summary statistics: starlet peak counts and starlet $\ell_1$-norm. Peak counts are the local maxima in the map and the $\ell_1$-norm is computed via the sum of the absolute values of the starlet (wavelet) decomposition coefficients of a map, providing a fast multi-scale calculation of the pixel distribution, encoding the information of all pixels in the map. We employ the cosmo-SLICS simulations sources and lenses catalogues and we compute wavelet based higher order statistics in the context of combined probes and their potential when applied to the weak lensing convergence maps and galaxy maps. We get forecasts on the matter density parameter $\Omega_{\rm m}$, the reduced Hubble constant $h$, the matter fluctuation amplitude $\sigma_8$, and the dark energy equation of state parameter $w_0$. We find that, in our setting for this first application, considering the two probes as independent, starlet peaks and the $\ell_1$-norm represent interesting summary statistics that can improve the constraints with respect to the power spectrum also in the case of photometric galaxy clustering and when the two probes are combined.


title: Finite abelian groups via congruences

abstract: For every finite abelian group $G$, there are positive integers $n$ and $d$ such that $G$ is isomorphic to the multiplicative group of $d$-th powers of reduced residues modulo $n$.


title: Local smoothing and Hardy spaces for Fourier integral operators on manifolds

abstract: We introduce the Hardy spaces for Fourier integral operators on Riemannian manifolds with bounded geometry. We then use these spaces to obtain improved local smoothing estimates for Fourier integral operators satisfying the cinematic curvature condition, and for wave equations on compact manifolds. The estimates are essentially sharp, for all $2<p<\infty$ and on each compact manifold. We also apply our local smoothing estimates to nonlinear wave equations with initial data outside of $L^{2}$-based Sobolev spaces.


title: Non-unitary three-neutrino mixing in the early Universe

abstract: Deviations from unitarity in the three-neutrino mixing canonical picture are expected in many physics scenarios beyond the Standard Model. The mixing of new heavy neutral leptons with the three light neutrinos would in principle modify the strength and flavour structure of charged-current and neutral-current interactions with matter. Non-unitarity effects would therefore have an impact on the neutrino decoupling processes in the early Universe and on the value of the effective number of neutrinos, $N_{\rm eff}$. We calculate the cosmological energy density in the form of radiation with a non-unitary neutrino mixing matrix, addressing the possible interplay between parameters. Highly accurate measurements of $N_{\rm eff}$ from forthcoming cosmological observations can provide independent and complementary limits on the departures from unitarity. For completeness, we relate the scenario of small deviations from unitarity to non-standard neutrino interactions and compare the forecasted constraints to other existing limits in the literature.


title: On the Lang-Trotter conjecture for a class of non-generic abelian surfaces

abstract: In the present article, we formulate a conjectural uniform error term in the Chebotarev-Sato-Tate distribution for abelian surfaces $\mathbb{Q}$-isogenous to a product of not $\overline{\mathbb{Q}}$-isogenous non-CM-elliptic curves, established by the author in \cite[Theorem 1.1]{Amri22}. As a consequence, we provide a direct proof to the generalized Lang-Trotter conjecture recently formulated and studied in \cite{Chen}.


title: Analysis of Reinforcement Learning Schemes for Trajectory Optimization of an Aerial Radio Unit

abstract: This paper introduces the deployment of unmanned aerial vehicles (UAVs) as lightweight wireless access points that leverage the fixed infrastructure in the context of the emerging open radio access network (O-RAN). More precisely, we propose an aerial radio unit that dynamically serves an under served area and connects to the distributed unit via a wireless fronthaul between the UAV and the closest tower. In this paper we analyze the UAV trajectory in terms of artificial intelligence (AI) when it serves both UEs and central units (CUs) at the same time in multi input multi output (MIMO) fading channel. We first demonstrate the nonconvexity of the problem of maximizing the overall network throughput based on UAV location, and then we use two different machine learning approaches to solve it. We first assume that the environment is a gridworld and then let the UAV explore the environment by flying from point A to point B, using both the offline Q-learning and the online SARSA algorithm and the achieved path-loss as the reward. With the intention of maximizing the average payoff, the trajectory in the second scenario is described as a Markov decision process (MDP). According to simulations, MDP produces better results in a smaller setting and in less time. In contrast, SARSA performs better in larger environments at the expense of a longer flight duration.


title: Differentiable Uncalibrated Imaging

abstract: We propose a differentiable imaging framework to address uncertainty in measurement coordinates such as sensor locations and projection angles. We formulate the problem as measurement interpolation at unknown nodes supervised through the forward operator. To solve it we apply implicit neural networks, also known as neural fields, which are naturally differentiable with respect to the input coordinates. We also develop differentiable spline interpolators which perform as well as neural networks, require less time to optimize and have well-understood properties. Differentiability is key as it allows us to jointly fit a measurement representation, optimize over the uncertain measurement coordinates, and perform image reconstruction which in turn ensures consistent calibration. We apply our approach to 2D and 3D computed tomography, and show that it produces improved reconstructions compared to baselines that do not account for the lack of calibration. The flexibility of the proposed framework makes it easy to extend to almost arbitrary imaging problems.


title: Castling-ViT: Compressing Self-Attention via Switching Towards Linear-Angular Attention at Vision Transformer Inference

abstract: Vision Transformers (ViTs) have shown impressive performance but still require a high computation cost as compared to convolutional neural networks (CNNs), one reason is that ViTs' attention measures global similarities and thus has a quadratic complexity with the number of input tokens. Existing efficient ViTs adopt local attention (e.g., Swin) or linear attention (e.g., Performer), which sacrifice ViTs' capabilities of capturing either global or local context. In this work, we ask an important research question: Can ViTs learn both global and local context while being more efficient during inference? To this end, we propose a framework called Castling-ViT, which trains ViTs using both linear-angular attention and masked softmax-based quadratic attention, but then switches to having only linear angular attention during ViT inference. Our Castling-ViT leverages angular kernels to measure the similarities between queries and keys via spectral angles. And we further simplify it with two techniques: (1) a novel linear-angular attention mechanism: we decompose the angular kernels into linear terms and high-order residuals, and only keep the linear terms; and (2) we adopt two parameterized modules to approximate high-order residuals: a depthwise convolution and an auxiliary masked softmax attention to help learn both global and local information, where the masks for softmax attention are regularized to gradually become zeros and thus incur no overhead during ViT inference. Extensive experiments and ablation studies on three tasks consistently validate the effectiveness of the proposed Castling-ViT, e.g., achieving up to a 1.8% higher accuracy or 40% MACs reduction on ImageNet classification and 1.2 higher mAP on COCO detection under comparable FLOPs, as compared to ViTs with vanilla softmax-based attentions.