title: A Comparative L-dwarf Sample Exploring the Interplay Between Atmospheric Assumptions and Data Properties

abstract: Comparisons of atmospheric retrievals can reveal powerful insights on the strengths and limitations of our data and modeling tools. In this paper, we examine a sample of 5 similar effective temperature (Teff) or spectral type L dwarfs to compare their pressure-temperature (P-T) profiles. Additionally, we explore the impact of an object's metallicity and the observations' signal-to-noise (SNR) on the parameters we can retrieve. We present the first atmospheric retrievals: 2MASS J15261405$+$2043414, 2MASS J05395200$-$0059019, 2MASS J15394189$-$0520428, and GD 165B increasing the small but growing number of L-dwarfs retrieved. When compared to atmospheric retrievals of SDSS J141624.08+134826.7, a low-metallicity d/sdL7 primary in a wide L+T binary, we find similar Teff sources have similar P-T profiles with metallicity differences impacting the relative offset between their P-T profiles in the photosphere. We also find that for near-infrared spectra, when the SNR is $\gtrsim80$ we are in a regime where model uncertainties dominate over data measurement uncertainties. As such, SNR does not play a role in the retrieval's ability to distinguish between a cloud-free and cloudless model, but may impact the confidence of the retrieved parameters. Lastly, we also discuss how to break cloud model degeneracies and the impact of extraneous gases in a retrieval model.


title: Play&Go Corporate: An End-to-End Solution for Facilitating Urban Cyclability

abstract: Mobility plays a fundamental role in modern cities. How citizens experience the urban environment, access city core services, and participate in city life, strongly depends on its mobility organization and efficiency. The challenges that municipalities face are very ambitious: on the one hand, administrators must guarantee their citizens the right to mobility and to easily access local services; on the other hand, they need to minimize the economic, social, and environmental costs of the mobility system. Municipalities are increasingly facing problems of traffic congestion, road safety, energy dependency and air pollution, and therefore encouraging a shift towards sustainable mobility habits based on active mobility is of central importance. Active modes, such as cycling, should be particularly encouraged, especially for local recurrent journeys (e.g., home--to--school, home--to--work). In this context, addressing and mitigating commuter-generated traffic requires engaging public and private stakeholders through innovative and collaborative approaches that focus not only on supply (e.g., roads and vehicles) but also on transportation demand management. In this paper, we present an end-to-end solution, called Play&Go Corporate, for enabling urban cyclability and its concrete exploitation in the realization of a home-to-work sustainable mobility campaign (i.e., Bike2Work) targeting employees of public and private companies. To evaluate the effectiveness of the proposed solution we developed two analyses: the first to carefully analyze the user experience and any behaviour change related to the Bike2Work mobility campaign, and the second to demonstrate how exploiting the collected data we can potentially inform and guide the involved municipality (i.e., Ferrara, a city in Northern Italy) in improving urban cyclability.


title: A low-cost alternating projection approach for a continuous formulation of convex and cardinality constrained optimization

abstract: We consider convex constrained optimization problems that also include a cardinality constraint. In general, optimization problems with cardinality constraints are difficult mathematical programs which are usually solved by global techniques from discrete optimization. We assume that the region defined by the convex constraints can be written as the intersection of a finite collection of convex sets, such that it is easy and inexpensive to project onto each one of them (e.g., boxes, hyper-planes, or half-spaces). Taking advantage of a recently developed continuous reformulation that relaxes the cardinality constraint, we propose a specialized penalty gradient projection scheme combined with alternating projection ideas to solve these problems. To illustrate the combined scheme, we focus on the standard mean-variance portfolio optimization problem for which we can only invest in a preestablished limited number of assets. For these portfolio problems with cardinality constraints we present a numerical study on a variety of data sets involving real-world capital market indices from major stock markets. On those data sets we illustrate the computational performance of the proposed scheme to produce the effective frontiers for different values of the limited number of allowed assets.


title: Systematic errors due to quasi-universal relations in binary neutron stars and their correction for unbiased model selection

abstract: Inference of the equation-of-state (EoS) of dense nuclear matter in neutron-star cores is a principal science goal of X-ray and gravitational-wave observations of neutron stars. In particular, gravitational-wave observations provide an independent probe of the properties of bulk matter in neutron star cores that can then be used to compare with theoretically derived equations of state. In this paper, we quantify the systematic errors arising from the application of EoS-independent \emph{quasi-universal relations} in the estimation of neutron star tidal deformabilities and radii from gravitational-wave measurements and introduce a strategy to correct for the systematic biases in the inferred radii. We apply this method to a simulated population of events expected to be observed by future upgrades of current detectors and the next-generation of ground-based observatories. We show that our approach can accurately correct for the systematic biases arising from approximate universal relations in the mass-radius curves of neutron stars. Using the posterior distributions of the mass and radius for the simulated population we infer the underlying EoS with a good degree of precision. Our method revives the possibility of using the universal relations for rapid Bayesian model selection of dense matter EoS in gravitational-wave observations.


title: Electrically driven insulator-to-metal transition in a correlated insulator: Electronic mechanism and thermal description

abstract: Motivated by the resistive switchings in transition-metal oxides (TMOs) induced by a voltage bias, we study the far-from-equilibrium dynamics of an electric-field-driven strongly-correlated model featuring a first-order insulator-to-metal transition at equilibrium, namely the dimer-Hubbard model. We use a non-equilibrium implementation of the dynamical cluster approximation to access the steady-state spectral and transport properties. We show that the electric field can drive both metal-to-insulator and insulator-to-metal transitions. While they proceed by quite distinct mechanisms, specifically simple heating of the metal versus non-equilibrium effects in the correlated charge gap, we show that both of these non-equilibrium transitions can be unified in a single framework once the excitations are accounted for in terms of an effective temperature. This conceptual advance brings together the two sides of the long-lasting debate over the origins of the electrically-driven resistive switching in TMOs.


title: Note on asymptotic behaviour of the canonical ring

abstract: The theory of the Oukounkov body is a useful tool for studying the asymptotic behaviour of the canonical ring of a line bundle over a projective manifold. In this note, combined with the algebraic reduction, we study the asymptotic behaviour of the canonical ring of a line bundle over an arbitrary compact normal irreducible complex space.


title: On the homology growth and the $\ell^2$-Betti numbers of $\mathrm{Out}(W_n)$

abstract: Let $n\ge 3$, and let $\mathrm{Out}(W_n)$ be the outer automorphism group of a free Coxeter group $W_n$ of rank $n$. We study the growth of the dimension of the homology groups (with coefficients in any field $\mathbb{K}$) along Farber sequences of finite-index subgroups of $\mathrm{Out}(W_n)$. We show that, in all degrees up to $\lfloor\frac{n}{2}\rfloor-1$, these Betti numbers grow sublinearly in the index of the subgroup. When $\mathbb{K}=\mathbb{Q}$, through L\"uck's approximation theorem, this implies that all $\ell^2$-Betti numbers of $\mathrm{Out}(W_n)$ vanish up to degree $\lfloor\frac{n}{2}\rfloor-1$. In contrast, in top dimension equal to $n-2$, an argument of Gaboriau and No\^us implies that the $\ell^2$-Betti number does not vanish. We also prove that the torsion growth of the integral homology is sublinear. Our proof of these results relies on a recent method introduced by Ab\'ert, Bergeron, Fr\k{a}czyk and Gaboriau. A key ingredient is to show that a version of the complex of partial bases of $W_n$ has the homotopy type of a bouquet of spheres of dimension $\lfloor\frac{n}{2}\rfloor-1$.


title: Coclosed $G_2$-structures on $\text{SU}(2)^2$-invariant cohomogeneity one manifolds

abstract: We consider two different $\text{SU}(2)^2$-invariant cohomogeneity one manifolds, one non-compact $M=\mathbb{R}^4 \times S^3$ and one compact $M=S^4 \times S^3$, and study the existence of coclosed $\text{SU}(2)^2$-invariant $G_2$-structures constructed from half-flat $\text{SU}(3)$-structures. For $\mathbb{R}^4 \times S^3$, we prove the existence of a family of coclosed (but not necessarily torsion-free) $G_2$-structures which is given by three smooth functions satisfying certain boundary conditions around the singular orbit and a non-zero parameter. Moreover, any coclosed $G_2$-structure constructed from a half-flat $\text{SU}(3)$-structure is in this family. For $S^4 \times S^3$, we prove that there are no $\text{SU}(2)^2$-invariant coclosed $G_2$-structures constructed from half-flat $\text{SU}(3)$-structures.


title: A Data Science Approach to Risk Assessment for Automobile Insurance Policies

abstract: In order to determine a suitable automobile insurance policy premium one needs to take into account three factors, the risk associated with the drivers and cars on the policy, the operational costs associated with management of the policy and the desired profit margin. The premium should then be some function of these three values. We focus on risk assessment using a Data Science approach. Instead of using the traditional frequency and severity metrics we instead predict the total claims that will be made by a new customer using historical data of current and past policies. Given multiple features of the policy (age and gender of drivers, value of car, previous accidents, etc.) one can potentially try to provide personalized insurance policies based specifically on these features as follows. We can compute the average claims made per year of all past and current policies with identical features and then take an average over these claim rates. Unfortunately there may not be sufficient samples to obtain a robust average. We can instead try to include policies that are "similar" to obtain sufficient samples for a robust average. We therefore face a trade-off between personalization (only using closely similar policies) and robustness (extending the domain far enough to capture sufficient samples). This is known as the Bias-Variance Trade-off. We model this problem and determine the optimal trade-off between the two (i.e. the balance that provides the highest prediction accuracy) and apply it to the claim rate prediction problem. We demonstrate our approach using real data.


title: Dispersive censor of acoustic spacetimes with a shock-wave singularity

abstract: A dispersionless shock wave in a fluid without friction develops an acoustic spacetime singularity which is naked (not hidden by a horizon). We show that this naked nondispersive shock-wave singularity is prohibited to form in a Bose-Einstein condensate, due to the microscopic structure of the underlying ${\rm a}\!{\rm e}$ther and the resulting effective trans-Planckian dispersion. Approaching the instant of shock $t_{\rm shock}$, rapid spatial oscillations of density and velocity develop around the shock location, which begin to emerge already slightly before $t_{\rm shock}$, due to the quantum pressure in the condensate. These oscillations render the acoustic spacetime structure completely regular, and therefore lead to a removal (censoring) of the spacetime singularity. Thus, distinct from the cosmic censorship hypothesis of Penrose formulated within Einsteinian gravity, the quantum pressure in Bose-Einstein condensates censors (prohibits) the formation of a naked shock-wave singularity, instead of hiding it behind a horizon.


title: Change Detection for Local Explainability in Evolving Data Streams

abstract: As complex machine learning models are increasingly used in sensitive applications like banking, trading or credit scoring, there is a growing demand for reliable explanation mechanisms. Local feature attribution methods have become a popular technique for post-hoc and model-agnostic explanations. However, attribution methods typically assume a stationary environment in which the predictive model has been trained and remains stable. As a result, it is often unclear how local attributions behave in realistic, constantly evolving settings such as streaming and online applications. In this paper, we discuss the impact of temporal change on local feature attributions. In particular, we show that local attributions can become obsolete each time the predictive model is updated or concept drift alters the data generating distribution. Consequently, local feature attributions in data streams provide high explanatory power only when combined with a mechanism that allows us to detect and respond to local changes over time. To this end, we present CDLEEDS, a flexible and model-agnostic framework for detecting local change and concept drift. CDLEEDS serves as an intuitive extension of attribution-based explanation techniques to identify outdated local attributions and enable more targeted recalculations. In experiments, we also show that the proposed framework can reliably detect both local and global concept drift. Accordingly, our work contributes to a more meaningful and robust explainability in online machine learning.


title: Depression Symptoms Modelling from Social Media Text: A Semi-supervised Learning Approach

abstract: A fundamental component of user-level social media language based clinical depression modelling is depression symptoms detection (DSD). Unfortunately, there does not exist any DSD dataset that reflects both the clinical insights and the distribution of depression symptoms from the samples of self-disclosed depressed population. In our work, we describe a Semi-supervised Learning (SSL) framework which uses an initial supervised learning model that leverages 1) a state-of-the-art large mental health forum text pre-trained language model further fine-tuned on a clinician annotated DSD dataset, 2) a Zero-Shot learning model for DSD, and couples them together to harvest depression symptoms related samples from our large self-curated Depression Tweets Repository (DTR). Our clinician annotated dataset is the largest of its kind. Furthermore, DTR is created from the samples of tweets in self-disclosed depressed users Twitter timeline from two datasets, including one of the largest benchmark datasets for user-level depression detection from Twitter. This further helps preserve the depression symptoms distribution of self-disclosed Twitter users tweets. Subsequently, we iteratively retrain our initial DSD model with the harvested data. We discuss the stopping criteria and limitations of this SSL process, and elaborate the underlying constructs which play a vital role in the overall SSL process. We show that we can produce a final dataset which is the largest of its kind. Furthermore, a DSD and a Depression Post Detection (DPD) model trained on it achieves significantly better accuracy than their initial version.


title: A Fano compactification of the $\mathrm{SL}_2(\mathbb{C})$ free group character variety

abstract: We show that a certain compactification $\mathfrak{X}_g$ of the $\mathrm{SL}_2(\mathbb{C})$ free group character variety $\mathcal{X}(F_g, \mathrm{SL}_2(\mathbb{C}))$ is Fano. This compactification has been studied previously by the second author, and separately by Biswas, Lawton, and Ramras. Part of the proof of this result involves the construction of a large family of integral reflexive polytopes.


title: Separators in Continuous Petri Nets

abstract: Leroux has proved that unreachability in Petri nets can be witnessed by a Presburger separator, i.e. if a marking $\vec{m}_\text{src}$ cannot reach a marking $\vec{m}_\text{tgt}$, then there is a formula $\varphi$ of Presburger arithmetic such that: $\varphi(\vec{m}_\text{src})$ holds; $\varphi$ is forward invariant, i.e., $\varphi(\vec{m})$ and $\vec{m} \rightarrow \vec{m}'$ imply $\varphi(\vec{m}'$); and $\neg \varphi(\vec{m}_\text{tgt})$ holds. While these separators could be used as explanations and as formal certificates of unreachability, this has not yet been the case due to their worst-case size, which is at least Ackermannian, and the complexity of checking that a formula is a separator, which is at least exponential (in the formula size). We show that, in continuous Petri nets, these two problems can be overcome. We introduce locally closed separators, and prove that: (a) unreachability can be witnessed by a locally closed separator computable in polynomial time; (b) checking whether a formula is a locally closed separator is in NC (so, simpler than unreachability, which is P-complete). We further consider the more general problem of (existential) set-to-set reachability, where two sets of markings are given as convex polytopes. We show that, while our approach does not extend directly, we can efficiently certify unreachability via an altered Petri net.


title: Prospectively accelerated dynamic speech MRI at 3 Tesla using a self-navigated spiral based manifold regularized scheme

abstract: This work proposes a self-navigated variable density spiral(VDS) based manifold regularization scheme to prospectively improve dynamic speech MRI at 3T. Short readout 1.3ms spirals were used to minimize off-resonance. A custom 16-channel speech coil was used for improved parallel imaging of vocal tract. The manifold model leveraged similarities between frames sharing similar speech postures without explicit motion binning. The self-navigating capability of VDS was leveraged to learn the Laplacian matrix of the manifold. Reconstruction was posed as a SENSE-based non-local soft weighted temporal regularization scheme. Our approach was compared against view-sharing, low-rank, finite difference, extra-dimension-based sparsity reconstruction constraints. Under-sampling experiments were conducted on five volunteers performing repetitive and arbitrary speaking tasks at different speaking rates. Quantitative evaluation in terms of mean square error over moving edges were performed in a retrospectively under-sampled data. For prospective under-sampling, blinded image quality evaluation in the categories of alias artifacts, spatial blurring, and temporal blurring were performed by three voice research experts. Region of interest analysis at articulator boundaries were performed to assess articulatory motion. Our scheme provided improved reconstruction over the others. With prospective under-sampling, a spatial resolution of 2.4mm2/pixel and a temporal resolution of 17.4 ms/frame for single slice imaging, and 52.2 ms/frame for 3-slice imaging were achieved. We demonstrated implicit motion binning by analyzing the mechanics of the Laplacian matrix. Our method demonstrated superior image quality scores in reducing spatial and temporal blurring. While it exhibited faint alias artifacts similar to temporal finite-difference, it provided statistically significant improvements over remaining constraints.


title: Absolute Continuity of Function on Topological Space using Measure

abstract: The prime objective of this paper is to develop the notion of absolute continuity of functions on a more general setting outside $\R$. For this we have considered a topological space which is a measure space as well. We have built axioms for making the $\sigma$- algebra and measure compatible with the topology of the space. These spaces are termed as \textit{topological measure space} (in short \textit{tms}). $\R^n$ with usual topology, Lebesgue $\sigma$-algebra and Lebesgue measure is a relevant example of tms. Further, we have presented a new tms structure on second countable metric spaces with the development of a new measure. This construction is motivated by \textbf{Carath\'eodory}'s Theorem. In this new tms framework, we have accomplished exploring ample collection of absolutely continuous functions not only on $\R^n(n\geq 2)$ but also on any seperable normed linear space. Also, we have described several analytical aspects carrying the intrinsic sense of absolute continuity on tms framing. Besides, the collection of all absolutely continuous functions on tms forms a vector space over $\K$, the field of real or complex numbers and with additional boundedness property, they form ring and algebra over $\K$. Thereafter, we have introduced the concept of \textit{locally Lipschitcz function} on tms involving the measurement of open connected sets. A relation between absolute continuity and locally Lipschitz has been developed. We have proved that absolute continuity and boundedness of linear functionals are same on separable normed linear spaces with the association of that new measure. Further, we have extended the co-domain of absolutely continuous functions upto normed linear spaces which helps us to characterise absolute continuity of linear maps in terms of boundedness when the domain is a seperable normed linear space incorporated with that new measure.


title: Nonmatrix varieties of nonassociative algebras

abstract: A variety of associative algebras is called nonmatrix if it does not contain the algebra of 2 x 2 matrices over the given field. Nonmatrix varieties were introduced and studied by V.N.Latyshev in relation with the Specht problem. Some characterizations of nonmatrix varieties were obtained in the paper [10]. In the given paper the notion of nonmatrix variety is extended for nonassociative algebras, and the characterization from [10] is generalized for alternative, Jordan, and some other varieties of algebras.


title: Theoretical and Numerical Study of Self-Organizing Processes In a Closed System Classical Oscillator + Random Environment

abstract: A self-organizing joint system classical oscillator + random environment is considered within the framework of a complex probabilistic process that satisfies a Langevin-type stochastic differential equation. Various types of randomness generated by the environment are considered. In the limit of statistical equilibrium (SEq), second-order partial differential equations (PDE) are derived that describe the distribution of classical environmental fields. The mathematical expectation of the oscillator trajectory is constructed in the form of a functional-integral representation, which, in the SEq limit, is compactified into a two-dimensional integral representation with an integrand - the solution of the second-order complex PDE. It is proved that the complex PDE in the general case is reduced to two independent PDEs of the second-order with spatially deviating arguments. The geometric and topological features of the two-dimensional subspace on which these equations arise are studied in detail. An algorithm for parallel modeling of the problem has been developed.


title: Semi-supervised Invertible Neural Operators for Bayesian Inverse Problems

abstract: Neural Operators offer a powerful, data-driven tool for solving parametric PDEs as they can represent maps between infinite-dimensional function spaces. In this work, we employ physics-informed Neural Operators in the context of high-dimensional, Bayesian inverse problems. Traditional solution strategies necessitate an enormous, and frequently infeasible, number of forward model solves, as well as the computation of parametric derivatives. In order to enable efficient solutions, we extend Deep Operator Networks (DeepONets) by employing a RealNVP architecture which yields an invertible and differentiable map between the parametric input and the branch-net output. This allows us to construct accurate approximations of the full posterior, irrespective of the number of observations and the magnitude of the observation noise, without any need for additional forward solves nor for cumbersome, iterative sampling procedures. We demonstrate the efficacy and accuracy of the proposed methodology in the context of inverse problems for three benchmarks: an anti-derivative equation, reaction-diffusion dynamics and flow through porous media.


title: Caracterisation d'une norme Frechet differentiable pour les duaux Banach complexes

abstract: Let $X$ be a complex Banach space; in this work we characterize the property of Frechet diffrentiability for the dual space $X^*$.


title: New Principle for Scattering Inside A Huygens Bianisotropic Medium

abstract: A Huygens bianisotropic medium is a linear homogeneous medium for which the Huygens principle can be formulated. When a bounded 3D scattering object composed of a linear bianisotropic medium, whether homogeneous or not, is embedded in a Huygens bianisotropic medium, the excess field phasors inside that object act as volume current densities, and the tangential components of the internal field phasors on the surface of the same object act as surface current densities, to radiate identical field phasors in the external region.


title: Design of ultracompact broadband focusing spectrometers based on deep diffractive neural networks

abstract: We propose the inverse design of ultracompact, broadband focusing spectrometers based on adaptive deep diffractive neural networks (a-D$^2$NNs). Specifically, we introduce and characterize two-layer diffractive devices with engineered angular dispersion that focus and steer broadband incident radiation along predefined focal trajectories with desired bandwidth and $5$ nm spectral resolution. Moreover, we systematically study the focusing efficiency of two-layer devices with side length $L=100~\mu\mathrm{m}$ and focal length $f=300~\,\mu\mathrm{m}$ across the visible spectrum and we demonstrate accurate reconstruction of the emission spectrum from a commercial superluminescent diode. The proposed a-D$^2$NNs design method extends the capabilities of efficient multi-focal diffractive optical devices to include single-shot focusing spectrometers with customized focal trajectories for applications to ultracompact multispectral imaging and lensless microscopy.


title: Celestial amplitude for 2d theory

abstract: We explore celestial amplitude corresponding to $2d$ bulk $\mathcal{S}$-matrix. We consider scalar particles with identical mass and show that the celestial amplitude becomes the fourier transform of the $2d$ $\mathcal{S}$-matrix written in the rapidity variable. We translate the crossing and unitarity conditions into the conditions on the celestial amplitude. For the $2d$ Sinh-Gordon model, we calculate the celestial amplitude perturbatively in coupling constant and check that the crossing and unitarity conditions are satisfied for the celestial amplitude. Imposing the crossing and unitarity conditions to the celestial amplitude, we want to find amplitudes to the higher order in perturbation theory from the lower order i.e., to provide a "\textit{proof of principle}" to show we can apply the bootstrap idea to the celestial amplitude. We find that imposing the crossing and unitarity conditions is not enough for bootstrapping celestial amplitude, there is an extra term which can't be fixed by the crossing and unitarity conditions. We also study the gravitational dressing condition in $2d$ QFT for massless particles in celestial space and see that for the gravitationally dressed celestial amplitude, the poles on the right half-plane get erased for several ansatzes.


title: Impact of Mobility on Downlink Cell-Free Massive MIMO Systems

abstract: In this paper, we analyze the achievable downlink spectral efficiency of cell-free massive multiple input multiple output (CF-mMIMO) systems, accounting for the effects of channel aging (caused by user mobility) and pilot contamination. We consider two cases, one where user equipments (UEs) rely on downlink pilots beamformed by the access points (APs) to estimate downlink channel, and another where UEs utilize statistical channel state information (CSI) for data decoding. For comparison, we also consider cellular mMIMO and derive its achievable spectral efficiency with channel aging and pilot contamination in the above two cases. Our results show that, in CF-mMIMO, downlink training is preferable over statistical CSI when the length of the data sequence is chosen optimally to maximize the spectral efficiency. In cellular mMIMO, however, either one of the two schemes may be better depending on whether user fairness or sum spectral efficiency is prioritized. Furthermore, the CF-mMIMO system generally outperforms cellular mMIMO even after accounting for the effects of channel aging and pilot contamination. Through numerical results, we illustrate the effect of various system parameters such as the maximum user velocity, uplink/downlink pilot lengths, data duration, network densification, and provide interesting insights into the key differences between cell-free and cellular mMIMO systems.


title: Multi-skill Mobile Manipulation for Object Rearrangement

abstract: We study a modular approach to tackle long-horizon mobile manipulation tasks for object rearrangement, which decomposes a full task into a sequence of subtasks. To tackle the entire task, prior work chains multiple stationary manipulation skills with a point-goal navigation skill, which are learned individually on subtasks. Although more effective than monolithic end-to-end RL policies, this framework suffers from compounding errors in skill chaining, e.g., navigating to a bad location where a stationary manipulation skill can not reach its target to manipulate. To this end, we propose that the manipulation skills should include mobility to have flexibility in interacting with the target object from multiple locations and at the same time the navigation skill could have multiple end points which lead to successful manipulation. We operationalize these ideas by implementing mobile manipulation skills rather than stationary ones and training a navigation skill trained with region goal instead of point goal. We evaluate our multi-skill mobile manipulation method M3 on 3 challenging long-horizon mobile manipulation tasks in the Home Assistant Benchmark (HAB), and show superior performance as compared to the baselines.


title: Extracting the Heliographic Coordinates of Coronal Rays using Images from WISPR/Parker Solar Probe

abstract: The Wide-field Imager for Solar Probe (WISPR) onboard Parker Solar Probe (PSP), observing in white light, has a fixed angular field of view, extending from 13.5 degree to 108 degree from the Sun and approximately 50 degree in the transverse direction. In January 2021, on its seventh orbit, PSP crossed the heliospheric current sheet (HCS) near perihelion at a distance of 20 solar radii. At this time, WISPR observed a broad band of highly variable solar wind and multiple coronal rays. For six days around perihelion, PSP was moving with an angular velocity exceeding that of the Sun. During this period, WISPR was able to image coronal rays as PSP approached and then passed under or over them. We have developed a technique for using the multiple viewpoints of the coronal rays to determine their location (longitude and latitude) in a heliocentric coordinate system and used the technique to determine the coordinates of three coronal rays. The technique was validated by comparing the results to observations of the coronal rays from Solar and Heliophysics Observatory (SOHO) / Large Angle and Spectrometric COronagraph (LASCO)/C3 and Solar Terrestrial Relations Observatory (STEREO)-A/COR2. Comparison of the rays' locations were also made with the HCS predicted by a 3D MHD model. In the future, results from this technique can be used to validate dynamic models of the corona.


title: Models of Vimentin Organization Under Actin-Driven Transport

abstract: Intermediate filaments form an essential structural network, spread throughout the cytoplasm and play a key role in cell mechanics, intracellular organization and molecular signaling. The maintenance of the network and its adaptation to the cell's dynamic behavior relies on several mechanisms implicating cytoskeletal crosstalk which are not fully understood. Mathematical modeling allows us to compare several biologically realistic scenarios to help us interpret experimental data. In this study, we observe and model the dynamics of the vimentin intermediate filaments in single glial cells seeded on circular micropatterns following microtubule disruption by nocodazole treatment. In these conditions, the vimentin filaments move towards the cell center and accumulate before eventually reaching a steady-state. In absence of microtubule-driven transport, the motion of the vimentin network is primarily driven by actin-related mechanisms. To model these experimental findings, we hypothesize that vimentin may exist in two states, mobile and immobile, and switches between the states at unknown (either constant or non-constant) rates. Mobile vimentin are assumed to advect with either constant or non-constant velocity. We introduce several biologically realistic scenarios using this set of assumptions. For each scenario, we use differential evolution to find the best parameter sets resulting in a solution that most closely matches the experimental data, then the assumptions are evaluated using the Akaike Information Criterion. This modeling approach allows us to conclude that our experimental data are best explained by a spatially dependent trapping of intermediate filaments or a spatially dependent speed of actin-dependent transport.


title: From Clusters to Proto-clusters: the Infrared Perspective on Environmental Galaxy Evolution

abstract: Environment is one of the primary drivers of galaxy evolution; via multiple mechanisms, it can control the critical process of transforming galaxies from star forming to quiescent, commonly termed "quenching". Despite its importance, however, we still do not have a clear view of how environmentally-driven quenching proceeds even in the most extreme environments: galaxy clusters and their progenitor proto-clusters. Recent advances in infrared capabilities have enabled transformative progress not only in the identification of these structures but in detailed analyses of quiescence, obscured star formation, and molecular gas in (proto-)cluster galaxies across cosmic time. In this review, we will discuss the current state of the literature regarding the quenching of galaxies in (proto-)clusters from the observational, infrared perspective. Our improved understanding of environmental galaxy evolution comes from unique observables across the distinct regimes of the near-, mid-, and far-infrared, crucial in the push to high redshift where massive galaxy growth is dominated by highly extincted, infrared-bright galaxies.


title: Unifying Effects of Direct and Relational Associations for Visual Communication

abstract: People have expectations about how colors map to concepts in visualizations, and they are better at interpreting visualizations that match their expectations. Traditionally, studies on these expectations (inferred mappings) distinguished distinct factors relevant for visualizations of categorical vs. continuous information. Studies on categorical information focused on direct associations (e.g., mangos are associated with yellows) whereas studies on continuous information focused on relational associations (e.g., darker colors map to larger quantities; dark-is-more bias). We unite these two areas within a single framework of assignment inference. Assignment inference is the process by which people infer mappings between perceptual features and concepts represented in encoding systems. Observers infer globally optimal assignments by maximizing the "merit," or "goodness," of each possible assignment. Previous work on assignment inference focused on visualizations of categorical information. We extend this approach to visualizations of continuous data by (a) broadening the notion of merit to include relational associations and (b) developing a method for combining multiple (sometimes conflicting) sources of merit to predict people's inferred mappings. We developed and tested our model on data from experiments in which participants interpreted colormap data visualizations, representing fictitious data about environmental concepts (sunshine, shade, wild fire, ocean water, glacial ice). We found both direct and relational associations contribute independently to inferred mappings. These results can be used to optimize visualization design to facilitate visual communication.


title: Dynamic coupling and spin-wave dispersions in a magnetic hybrid system made of an artificial spin-ice structure and an extended NiFe underlayer

abstract: We present a combined experimental and numerical study of the spin-wave dispersion in NiFe artificial spin-ice (ASI) system consisting of an array of stadium-shaped nanoislands deposited on the top of a continuous NiFe film with nonmagnetic spacer layers of varying thickness. The spin-wave dispersion, measured by wavevector resolved Brillouin light scattering spectroscopy in the Damon-Eshbach configuration, consists of a rich number of modes, with either stationary or propagating character. We find that the lowest frequency mode displays a bandwidth of approximately 0.5 GHz, which is independent of the presence of the film underneath. On the contrary, the BLS intensity of some of the detected modes strongly depends on the presence of the extended thin-film underlayer. Micromagnetic simulations unveil the details of the dynamic coupling between ASI lattice and film underlayer. Interestingly, the ASI lattice facilitates dynamics of the film either specific wavelengths or intensity modulation peculiar to the modes of the ASI elements imprinted in the film. Our results demonstrate that propagating spin waves can be modulated at the nanometer length scale by harnessing the dynamic mode coupling in the vertical, i.e., the out-of-plane direction of suitably designed magnonic structures.


title: Classifying Astronomical Transients Using Only Host Galaxy Photometry

abstract: The Legacy Survey of Space and Time (LSST) at the Vera C. Rubin Observatory will discover tens of thousands of extragalactic transients each night. The high volume of alerts demands immediate classification of transient types in order to prioritize observational follow-ups before events fade away. We use host galaxy features to classify transients, thereby providing classification upon discovery. In contrast to past work that focused on distinguishing Type Ia and core-collapse supernovae (SNe) using host galaxy features that are not always accessible (e.g., morphology), we determine the relative likelihood across $12$ transient classes based on only 19 host apparent magnitudes and colors from $10$ optical and IR photometric bands. We develop both binary and multiclass classifiers, using kernel density estimation to estimate the underlying distribution of host galaxy properties for each transient class. Even in this pilot study, and ignoring relative differences in transient class frequencies, we distinguish eight transient classes at purities significantly above the 8.3% baseline (based on a classifier that assigns labels uniformly and at random): tidal disruption events ($48\%\pm27\%$, where $\pm$ indicates the 95% confidence limit), SNe Ia-91bg ($32\%\pm18\%$), SNe Ia-91T ($23\%\pm11\%$), SNe Ib ($23\%\pm13\%$), SNe II ($17\%\pm2\%$), SNe IIn ($17\%\pm6\%$), SNe II P ($16\%\pm4\%$), and SNe Ia ($10\%\pm1\%$). We demonstrate that our model is applicable to LSST and estimate that our approach may accurately classify 59% of LSST alerts expected each year for SNe Ia, Ia-91bg, II, Ibc, SLSN-I, and tidal disruption events. Our code and dataset are publically available.


title: Read it to me: An emotionally aware Speech Narration Application

abstract: In this work we try to perform emotional style transfer on audios. In particular, MelGAN-VC architecture is explored for various emotion-pair transfers. The generated audio is then classified using an LSTM-based emotion classifier for audio. We find that "sad" audio is generated well as compared to "happy" or "anger" as people have similar expressions of sadness.


title: Quasi-Periodic Erupters: A Stellar Mass-Transfer Model for the Radiation

abstract: Quasi-Periodic Erupters (QPEs) are a remarkable class of objects exhibiting very large amplitude quasi-periodic X-ray flares. Although numerous dynamical models have been proposed to explain them, relatively little attention has been given to using the properties of their radiation to constrain their dynamics. Here we show that the observed luminosity, spectrum, repetition period, duty cycle, and fluctuations in the latter two quantities point toward a model in which: a main sequence star on a moderately eccentric orbit around a supermassive black hole periodically transfers mass to the Roche lobe of the black hole; orbital dynamics lead to mildly-relativistic shocks near the black hole; and thermal X-rays at the observed temperature are emitted by the gas as it flows away from the shock. Strong X-ray irradiation of the star by the flare itself augments the mass transfer, creates fluctuations in flare timing, and stirs turbulence in the stellar atmosphere that amplifies magnetic field to a level at which magnetic stresses can accelerate infall of the transferred mass toward the black hole.


title: Bioinspired Smooth Neuromorphic Control for Robotic Arms

abstract: Beyond providing accurate movements, achieving smooth motion trajectories is a long-standing goal of robotics control theory for arms aiming to replicate natural human movements. Drawing inspiration from biological agents, whose reaching control networks effortlessly give rise to smooth and precise movements, can simplify these control objectives for robot arms. Neuromorphic processors, which mimic the brain's computational principles, are an ideal platform to approximate the accuracy and smoothness of biological controllers while maximizing their energy efficiency and robustness. However, the incompatibility of conventional control methods with neuromorphic hardware limits the computational efficiency and explainability of their existing adaptations. In contrast, the neuronal subnetworks underlying smooth and accurate reaching movements are effective, minimal, and inherently compatible with neuromorphic hardware. In this work, we emulate these networks with a biologically realistic spiking neural network for motor control on neuromorphic hardware. The proposed controller incorporates experimentally-identified short-term synaptic plasticity and specialized neurons that regulate sensory feedback gain to provide smooth and accurate joint control across a wide motion range. Concurrently, it preserves the minimal complexity of its biological counterpart and is directly deployable on Intel's neuromorphic processor. Using the joint controller as a building block and inspired by joint coordination in human arms, we scaled up this approach to control real-world robot arms. The trajectories and smooth, bell-shaped velocity profiles of the resulting motions resembled those of humans, verifying the biological relevance of the controller. Notably, the method achieved state-of-the-art control performance while decreasing the motion jerk by 19% to improve motion smoothness.


title: Reconstruction of spectra and an algorithm based on the theorems of Darboux and Puiseux

abstract: Assuming only a known dispersion relation of a single mode in the spectrum of a meromorphic two-point function (in the complex frequency plane at fixed wavevector) in some quantum field theory, we investigate when and how the reconstruction of the complete spectrum of physical excitations is possible. In particular, we develop a constructive algorithm based on the theorems of Darboux and Puiseux that allows for such a reconstruction of all modes connected by level-crossings. For concreteness, we focus on theories in which the known mode is a gapless excitation described by the hydrodynamic gradient expansion, known at least to some (preferably high) order. We first apply the algorithm to a simple algebraic example and then to the transverse momentum excitations in the holographic theory that describes a stack of M2 branes and includes momentum diffusion as its gapless excitation.


title: Lagrangian coherence and source of water of Loop Current Frontal Eddies in the Gulf of Mexico

abstract: Loop Current Frontal Eddies (LCFEs) are known to intensify and assist in the Loop Current (LC) eddy shedding. These eddies can also modify the circulation in the eastern Gulf of Mexico (GoM) by attracting water and passive tracers such as chlorophyll and pollutants to the LC-LCFE front. During the 2010 Deepwater Horizon oil spill, part of the oil was entrained not only in the LC-LCFE front but also inside an LCFE, where it remained for weeks. This study assesses the ability of the LCFEs to transport water and passive tracers without exchange with the exterior (i.e., Lagrangian coherence) using altimetry and a high-resolution model. The following open questions are answered: (1) How long can the LCFEs remain Lagrangian coherent at and below the surface? (2) What is the source of water for the formation of LCFEs? (3) Can the formation of LCFEs attract shelf water? The results show that LCFEs are composed of waters originating from the outer band of the LC front, the region north of the LC, and the shelf, and potentially drive cross-shelf exchange of particles, water properties, and nutrients. At depth (~180 m), most LCFE water comes from the outer band of the LC front in the form of smaller frontal eddies. Once formed, LCFEs can transport water and passive tracers in their interior without exchange with the exterior for weeks: these eddies remained Lagrangian coherent for up to 25 days in the altimetry dataset and 18 days at the surface and 29 days at depth (~180 m) in the simulation. LCFE can remain Lagrangian coherent up to a depth of ~560 m. Additional analyses confirm that the LCFE involved in the oil spill formed from water near the oil rig location. Temperature-salinity diagrams show that LCFEs are composed of GoM water as opposed to LC water. Thus, LCFE formation modify the surrounding circulation and the transport of oil and other passive tracers in the eastern GoM.


title: The Rotation of SuperMassive Stars

abstract: Supermassive stars (SMSs), with masses $>10^5$ M$_\odot$, have been proposed as the possible progenitors of the most extreme supermassive black holes observed at redshifts $z>6-7$. In this scenario ('direct collapse'), a SMS accretes at rates $>0.1$ M$_\odot$ yr$^{-1}$ until it collapses to a black hole via the general-relativistic (GR) instability. Rotation plays a crucial role in the formation of such supermassive black hole seeds. The centrifugal barrier appears as particularly strong in this extreme case of star formation. Moreover, rotation impacts sensitively the stability of SMSs against GR, as well as the subsequent collapse. In particular, it might allow for gravitational wave emission and ultra-long gamma-ray bursts at black hole formation, which represents currently the main observational signatures proposed in the literature for the existence of such objects. Here, I present the latest models of SMSs accounting for accretion and rotation, and discuss some of the open questions and future prospects in this research line.


title: Spherical Coordinates from Persistent Cohomology

abstract: We describe a method to obtain spherical parameterizations of arbitrary data through the use of persistent cohomology and variational optimization. We begin by computing the second-degree persistent cohomology of the filtered Vietoris-Rips (VR) complex of a data set $X$ and extract a cocycle $\alpha$ from any significant feature. From this cocycle, we define an associated map $\alpha: VR(X) \to S^2$ and use this map as an infeasible initialization for a variational model, which we show has a unique solution (up to rigid motion). We then employ an alternating gradient descent/M\"{o}bius transformation update method to solve the problem and generate a more suitable, i.e., smoother, representative of the homotopy class of $\alpha$, preserving the relevant topological feature. Finally, we conduct numerical experiments on both synthetic and real-world data sets to show the efficacy of our proposed approach.


title: Side-channel attack analysis on in-memory computing architectures

abstract: In-memory computing (IMC) systems have great potential for accelerating data-intensive tasks such as deep neural networks (DNNs). As DNN models are generally highly proprietary, the neural network architectures become valuable targets for attacks. In IMC systems, since the whole model is mapped on chip and weight memory read can be restricted, the pre-mapped DNN model acts as a ``black box'' for users. However, the localized and stationary weight and data patterns may subject IMC systems to other attacks. In this paper, we propose a side-channel attack methodology on IMC architectures. We show that it is possible to extract model architectural information from power trace measurements without any prior knowledge of the neural network. We first developed a simulation framework that can emulate the dynamic power traces of the IMC macros. We then performed side-channel leakage analysis to reverse engineer model information such as the stored layer type, layer sequence, output channel/feature size and convolution kernel size from power traces of the IMC macros. Based on the extracted information, full networks can potentially be reconstructed without any knowledge of the neural network. Finally, we discuss potential countermeasures for building IMC systems that offer resistance to these model extraction attack.


title: "Es geht um Respekt, nicht um Technologie": Erkenntnisse aus einem Interessensgruppen-\"ubergreifenden Workshop zu genderfairer Sprache und Sprachtechnologie

abstract: With the increasing attention non-binary people receive in Western societies, strategies of gender-fair language have started to move away from binary (only female/male) concepts of gender. Nevertheless, hardly any approaches to take these identities into account into machine translation models exist so far. A lack of understanding of the socio-technical implications of such technologies risks further reproducing linguistic mechanisms of oppression and mislabelling. In this paper, we describe the methods and results of a workshop on gender-fair language and language technologies, which was led and organised by ten researchers from TU Wien, St. P\"olten UAS, FH Campus Wien and the University of Vienna and took place in Vienna in autumn 2021. A wide range of interest groups and their representatives were invited to ensure that the topic could be dealt with holistically. Accordingly, we aimed to include translators, machine translation experts and non-binary individuals (as "community experts") on an equal footing. Our analysis shows that gender in machine translation requires a high degree of context sensitivity, that developers of such technologies need to position themselves cautiously in a process still under social negotiation, and that flexible approaches seem most adequate at present. We then illustrate steps that follow from our results for the field of gender-fair language technologies so that technological developments can adequately line up with social advancements. ---- Mit zunehmender gesamtgesellschaftlicher Wahrnehmung nicht-bin\"arer Personen haben sich in den letzten Jahren auch Konzepte von genderfairer Sprache von der bisher verwendeten Binarit\"at (weiblich/m\"annlich) entfernt. Trotzdem gibt es bislang nur wenige Ans\"atze dazu, diese Identit\"aten in maschineller \"Ubersetzung abzubilden. Ein fehlendes Verst\"andnis unterschiedlicher sozio-technischer Implikationen derartiger Technologien birgt in sich die Gefahr, fehlerhafte Ansprachen und Bezeichnungen sowie sprachliche Unterdr\"uckungsmechanismen zu reproduzieren. In diesem Beitrag beschreiben wir die Methoden und Ergebnisse eines Workshops zu genderfairer Sprache in technologischen Zusammenh\"angen, der im Herbst 2021 in Wien stattgefunden hat. Zehn Forscher*innen der TU Wien, FH St. P\"olten, FH Campus Wien und Universit\"at Wien organisierten und leiteten den Workshop. Dabei wurden unterschiedlichste Interessensgruppen und deren Vertreter*innen breit gestreut eingeladen, um sicherzustellen, dass das Thema holistisch behandelt werden kann. Dementsprechend setzten wir uns zum Ziel, Machine-Translation-Entwickler*innen, \"Ubersetzer*innen, und nicht-bin\"are Privatpersonen (als "Lebenswelt-Expert*innen") gleichberechtigt einzubinden. Unsere Analyse zeigt, dass Geschlecht in maschineller \"Ubersetzung eine ma\ss{}geblich kontextsensible Herangehensweise erfordert, die Entwicklung von Sprachtechnologien sich vorsichtig in einem sich noch in Aushandlung befindlichen gesellschaftlichen Prozess positionieren muss, und flexible Ans\"atze derzeit am ad\"aquatesten erscheinen. Wir zeigen auf, welche n\"achsten Schritte im Bereich genderfairer Technologien notwendig sind, damit technische mit sozialen Entwicklungen mithalten k\"onnen.


title: Effect of nonhydrostatic pressure on the superconducting kagome metal CsV$_3$Sb$_5$

abstract: High-pressure single-crystal x-ray diffraction experiments reveal that the superconducting kagome metal CsV$_3$Sb$_5$ transforms from hexagonal ($P6/mmm$) to monoclinic ($C2/m$) symmetry above 10 GPa if nonhydrostatic pressure conditions are created in a diamond anvil cell with silicon oil as pressure-transmitting medium. This is contrary to the behavior of CsV$_3$Sb$_5$ under quasi-hydrostatic conditions in neon, with the hexagonal symmetry retained up to at least 20 GPa. Monoclinic distortion leaves the kagome planes almost unchanged but deforms honeycomb nets of the Sb atoms. While the onset of the distortion almost coincides with the reentrance of superconductivity, our \textit{ab initio} density-functional calculations reveal only minor changes in the electronic structure compared to the quasi-hydrostatic case. In particular, Fermi surface reconstruction driven by the formation of interlayer Sb-Sb bonds is observed in both monoclinic and hexagonal CsV$_3$Sb$_5$ structures at high pressures and comes out as the likely cause for the reentrant behavior.


title: Quantum Simulation on Noisy Superconducting Quantum Computers

abstract: Quantum simulation is a potentially powerful application of quantum computing, holding the promise to be able to emulate interesting quantum systems beyond the reach of classical computing methods. Despite such promising applications, and the increase in active research, there is little introductory literature or demonstrations of the topic at a graduate or undergraduate student level. This artificially raises the barrier to entry into the field which already has a limited workforce, both in academia and industry. Here we present an introduction to simulating quantum systems, starting with a chosen Hamiltonian, overviewing state preparation and evolution, and discussing measurement methods. We provide an example simulation by measuring the state dynamics of a tight-binding model with disorder by time evolution using the Suzuki-Trotter decomposition. Furthermore, error mitigation and noise reduction are essential to executing quantum algorithms on currently available noisy quantum computers. We discuss and demonstrate various error mitigation and circuit optimization techniques that significantly improve performance. All source code is freely available, and we encourage the reader to build upon it.


title: Temporal regularity of symmetric stochastic $p$-Stokes systems

abstract: We study the symmetric stochastic $p$-Stokes system, $p \in (1,\infty)$, in a bounded domain. The results are two-folded. First, we show that in the context of analytically weak solutions the stochastic pressure -- related to non-divergence free stochastic forces -- enjoys almost $-1/2$ temporal derivatives on a Besov scale. Second, we verify that the velocity component~$u$ of strong solutions obeys $1/2$ temporal derivatives in an exponential Nikolskii space. Moreover, we prove that the non-linear symmetric gradient $V(\varepsilon u) = (\kappa + |\varepsilon u|)^{(p-2)/2} \varepsilon u$, $\kappa \geq 0$, has $1/2$ temporal derivatives in a Nikolskii space.


title: Fusion of Satellite Images and Weather Data with Transformer Networks for Downy Mildew Disease Detection

abstract: Crop diseases significantly affect the quantity and quality of agricultural production. In a context where the goal of precision agriculture is to minimize or even avoid the use of pesticides, weather and remote sensing data with deep learning can play a pivotal role in detecting crop diseases, allowing localized treatment of crops. However, combining heterogeneous data such as weather and images remains a hot topic and challenging task. Recent developments in transformer architectures have shown the possibility of fusion of data from different domains, for instance text-image. The current trend is to custom only one transformer to create a multimodal fusion model. Conversely, we propose a new approach to realize data fusion using three transformers. In this paper, we first solved the missing satellite images problem, by interpolating them with a ConvLSTM model. Then, proposed a multimodal fusion architecture that jointly learns to process visual and weather information. The architecture is built from three main components, a Vision Transformer and two transformer-encoders, allowing to fuse both image and weather modalities. The results of the proposed method are promising achieving 97\% overall accuracy.


title: Generalization of bi-canonical degrees

abstract: We discuss invariants of Cohen-Macaulay local rings that admit a canonical module $\omega$. Attached to each such ring R, when $\omega$ is an ideal, there are integers--the type of R, the reduction number of $\omega$--that provide valuable metrics to express the deviation of R from being a Gorenstein ring. In arXiv:1701.05592 and arXiv:1711.09480 we enlarged this list with the canonical degree and the bi-canonical degree. In this work we extend the bi-canonical degree to rings where $\omega$ is not necessarily an ideal. We also discuss generalizations to rings without canonical modules but admitting modules sharing some of their properties.


title: Stochastic perturbation theory: a prequel to Reptation Quantum Monte Carlo

abstract: I present a different approach to Rayleigh-Schr\"odinger perturbation theory, based on Laplace transforms and polynomial theory, yielding an iterative expression for the perturbative expansion of the energy of the non-degenerate ground state of a quantum system, which easily lends itself to symbolic computation. A stochastic interpretation of the various perturbative corrections naturally leads to a re-summation scheme that is equivalent to Reptation Quantum Monte Carlo and that actually provided the original motivation to its development in the late nineties.


title: A canonical decomposition of postcritically finite rational maps and their maximal expanding quotients

abstract: We provide a natural canonical decomposition of postcritically finite rational maps with non-empty Fatou sets based on the topological structure of their Julia sets. The building blocks of this decomposition are maps where all Fatou components are Jordan disks with disjoint closures (Sierpi\'{n}ski maps), as well as those where any two Fatou components can be connected through a countable chain of Fatou components with common boundary points (crochet or Newton-like maps). We provide several alternative characterizations for our decomposition, as well as an algorithm for its effective computation. We also show that postcritically finite rational maps have dynamically natural quotients in which all crochet maps are collapsed to points, while all Sierpi\'{n}ski maps become small spheres; the quotient is a maximal expanding cactoid. The constructions work in the more general setup of B\"{o}ttcher expanding maps, which are metric models of postcritically finite rational maps.


title: 6D (2,0) Bootstrap with soft-Actor-Critic

abstract: We study numerically the 6D (2,0) superconformal bootstrap using the soft-Actor-Critic (SAC) algorithm as a stochastic optimizer. We focus on the four-point functions of scalar superconformal primaries in the energy-momentum multiplet. Starting from the supergravity limit, we perform searches for adiabatically varied central charges and derive two curves for a collection of 80 CFT data (70 of these data correspond to unprotected long multiplets and 10 to protected short multiplets). We conjecture that the two curves capture the A- and D-series (2,0) theories. Our results are competitive when compared to the existing bounds coming from standard numerical bootstrap methods, and data obtained using the OPE inversion formula. With this paper we are also releasing our Python implementation of the SAC algorithm, BootSTOP. The paper discusses the main functionality features of this package.


title: Melting of the two-dimensional solid phase in the Gaussian-core model

abstract: A general theory for the melting of two dimensional solids explaining the universal and non-universal properties is an open problem up to date. Although the celebrated KTHNY theory have been able to predict the critical properties of the melting transition in a variety cases, it is already known that it is not able to capture the occurrence of first order transitions observed in certain systems as well as it doesn't provide a clear way to calculate the melting temperature for a specific model. In the present work we have developed an analytical method that combines Self Consistent Variational Approximation with the Renormalization Group in order to deal simultaneously with the phonon fluctuations and the topological defects present in the melting process of two dimensional crystals. The method was applied with impressive success to the study of the phase diagram of the Gaussian-core model, capturing not only the reentrant feature of its 2D solid phase, but also the related critical temperatures as a function of the density in quantitative detail. The developed method can be directly applied to study the melting of any hexagonal simple crystal formed by particles interacting through any finite pairwise interaction potential. Additionally, it has the potential to explain the occurrence of first order transitions in the melting process of two dimensional crystals.


title: Perfect Matching Complexes of Honeycomb Graphs

abstract: The {\em perfect matching complex} of a graph is the simplicial complex on the edge set of the graph with facets corresponding to perfect matchings of the graph. This paper studies the perfect matching complexes, $\mathcal{M}_p(H_{k \times m\times n})$, of honeycomb graphs. For $k = 1$, $\mathcal{M}_p(H_{1\times m\times n})$ is contractible unless $n\ge m=2$, in which case it is homotopy equivalent to the $(n-1)$-sphere. Also, $\mathcal{M}_p(H_{2\times 2\times 2})$ is homotopy equivalent to the wedge of two 3-spheres. The proofs use discrete Morse theory.


title: Broad-Angle Multichannel Metagrating Diffusers

abstract: We present a semianalytical scheme for the design of broad-angle multichannel metagratings (MG), sparse periodic arrangements of loaded conducting strips (meta-atoms), embedded in a multilayer printed circuit board configuration. By judicious choice of periodicity and angles of incidence, scattering off such a MG can be described via a multi-port network, where the input and output ports correspond to different illumination and reflection directions associated with the same set of propagating Floquet-Bloch modes. Since each of these possible scattering scenarios can be modelled analytically, constraints can be conveniently applied on the modal reflection coefficients (scattering matrix entries) to yield a diffusive response, which, when resolved, produce the required MG geometry. We show that by demanding a symmetric MG configuration, the number of independent S parameters can be dramatically reduced, enabling satisfaction of multiple such constraints using a single sparse MG. Without any full-wave optimization, this procedure results in a fabrication-ready layout of a multichannel MG, enabling retroreflection suppression and diffusive scattering from numerous angles of incidence simultaneously. This concept, verified experimentally via a five-channel prototype, offers an innovative solution to both monostatic and bistatic radar cross section reduction, avoiding design and implementation challenges associated with dense metasurfaces used for this purpose.


title: Lofting of low speed ejecta produced in the DART experiment and production of a dust cloud

abstract: NASA sent the DART (Double Asteroid Redirection Test) mission to impact Dimorphos, the satellite of the asteroid binary system (65803) Didymos. DART will release LICIACube prior to impact to obtain high-resolution post-impact images. The impact will produce a crater and a large amount of material ejected at high speed (several tens of m/s), producing an ejecta cone that will quickly disperse. We analyzed an additional effect: the lofting of material at low velocity due to the generation of seismic waves that propagate inside Dimorphos, producing surface shaking far from the impact point. We divide the process into different stages: from the generation of impact-induced waves, the interaction of them with surface particles, the ejection of dust particles at velocities, and the prediction of the observability of the dust coma and trail. We anticipate the following observable effects: i) generation of a dust cloud that will produce a hazy appearance of Dimorphos' surface, detectable by LICIACube; ii) brightness increase of the binary system due to enhancement of the cross section produced by the dust cloud; iii) generation of a dust trail, similar to those observed in some Active Asteroids, which can last for several weeks after impact. Numerical prediction of the detectability of these effects depends on the amount and size distribution of ejected particles, which are largely unknown. In case these effects are observable, an inversion method can be applied to compute the amount of ejected material and its velocity distribution, and discuss the relevance of the shaking process.


title: Just-likely intersections on Hilbert modular surfaces

abstract: In this paper, we prove an intersection-theoretic result pertaining to curves in certain Hilbert modular surfaces in positive characteristic. Specifically, we show that given two appropriate curves C,D parameterizing abelian surfaces with real multiplication, the set of points (x,y) in the product CxD with surfaces parameterized by x and y isogenous to each other is Zariski dense in C x D, thereby proving a case of a just-likely intersection conjecture. We also compute the change in Faltings height under appropriate p-power isogenies of abelian surfaces with real multiplication over characteristic p global fields.


title: Constructing nonlocal density functionals for kinetic energy

abstract: A new method is proposed for constructing energy density functionals, which include a nonlocal dependence on the density gradients. This method is used to construct functionals for kinetic energy, which is a nonlocal generalization of the Thomas-Fermi-Kirzhnits functional.


title: Experimental test of high-dimensional quantum contextuality based on contextuality concentration

abstract: Contextuality is a distinctive feature of quantum theory and a fundamental resource for quantum computation. However, existing examples of contextuality in high-dimensional systems lack the necessary robustness required in experiments. Here we address this problem by identifying a family of noncontextuality inequalities whose maximum quantum violation grows with the dimension of the system. At first glance, this contextuality is the single-system version of multipartite Bell nonlocality taken to an extreme form. What is interesting is that the single-system version achieves the same degree of contextuality but uses a Hilbert space of lower dimension. That is, contextuality ``concentrates'' as the degree of contextuality per dimension increases. We show the practicality of this result by presenting an experimental test of contextuality in a seven-dimensional system. By simulating sequences of quantum ideal measurements with destructive measurements and repreparation in an all-optical setup, we report a violation of 68.7 standard deviations of the simplest case of the noncontextuality inequalities identified. Our results advance the investigation of high-dimensional contextuality, its connection to the Clifford algebra, and its role in quantum computation.


title: Localizing Load-Altering Attacks Against Power Grids Using Deep Capsule Nets

abstract: Recent research has shown that the security of power grids can be seriously threatened by botnet-type cyber attacks that target a large number of high-wattage smart electrical appliances owned by end-users. Accurate detection and localization of such attacks is of critical importance in limiting the damage. To this end, the paper proposes a novel technique using capsule networks (CNs) tailored to the power grid security application that uses the frequency and phase angle data monitored by phasor measurement units (PMUs). With the benefit of vector output from capsules and dynamic routing agreements between them, CNs can obtain accurate detection and localization performance. To demonstrate the efficiency of the suggested technique, we compare the developed CN with benchmark data-driven methodologies, including two-dimensional convolutional neural networks (2D-CNN), one-dimensional CNN (1D-CNN), deep multi-layer perceptrons (MLP), and support vector machines (SVM). Simulations are performed on IEEE 14-, 39-, and 57-bus systems, considering various real-world issues such as PMU delays, noisy data, and missing data points. The results show that CNs significantly outperform other techniques, thus making them suitable for the aforementioned cyber security applications.


title: The Complex Gradient Flow Equation and Seidel's Spectral Sequence

abstract: Following the proposals of Donaldson-Thomas, Haydys and Gaiotto-Moore-Witten, we give a construction of Fukaya-Seidel categories for a suitable class of Morse Landau-Ginzburg models using the complex gradient flow equation, which has the potential for generalization to some infinite dimensional examples. In the course of this construction, we give an alternative proof to Seidel's spectral sequence for Lagrangian Floer cohomology, which can be viewed as a finite dimensional model for a potential bordered monopole Floer theory. The key observation is that under a neck-stretching limit, this complex gradient flow equation produces a natural geometric filtration on the Floer cochain complex. The resulting spectral sequence is then identified with Seidel's original one.


title: Use and Misuse of Machine Learning in Anthropology

abstract: Machine learning (ML), being now widely accessible to the research community at large, has fostered a proliferation of new and striking applications of these emergent mathematical techniques across a wide range of disciplines. In this paper, we will focus on a particular case study: the field of paleoanthropology, which seeks to understand the evolution of the human species based on biological and cultural evidence. As we will show, the easy availability of ML algorithms and lack of expertise on their proper use among the anthropological research community has led to foundational misapplications that have appeared throughout the literature. The resulting unreliable results not only undermine efforts to legitimately incorporate ML into anthropological research, but produce potentially faulty understandings about our human evolutionary and behavioral past. The aim of this paper is to provide a brief introduction to some of the ways in which ML has been applied within paleoanthropology; we also include a survey of some basic ML algorithms for those who are not fully conversant with the field, which remains under active development. We discuss a series of missteps, errors, and violations of correct protocols of ML methods that appear disconcertingly often within the accumulating body of anthropological literature. These mistakes include use of outdated algorithms and practices; inappropriate train/test splits, sample composition, and textual explanations; as well as an absence of transparency due to the lack of data/code sharing, and the subsequent limitations imposed on independent replication. We assert that expanding samples, sharing data and code, re-evaluating approaches to peer review, and, most importantly, developing interdisciplinary teams that include experts in ML are all necessary for progress in future research incorporating ML within anthropology.


title: Increasing Adverse Drug Events extraction robustness on social media: case study on negation and speculation

abstract: In the last decade, an increasing number of users have started reporting Adverse Drug Events (ADE) on social media platforms, blogs, and health forums. Given the large volume of reports, pharmacovigilance has focused on ways to use Natural Language Processing (NLP) techniques to rapidly examine these large collections of text, detecting mentions of drug-related adverse reactions to trigger medical investigations. However, despite the growing interest in the task and the advances in NLP, the robustness of these models in face of linguistic phenomena such as negations and speculations is an open research question. Negations and speculations are pervasive phenomena in natural language, and can severely hamper the ability of an automated system to discriminate between factual and nonfactual statements in text. In this paper we take into consideration four state-of-the-art systems for ADE detection on social media texts. We introduce SNAX, a benchmark to test their performance against samples containing negated and speculated ADEs, showing their fragility against these phenomena. We then introduce two possible strategies to increase the robustness of these models, showing that both of them bring significant increases in performance, lowering the number of spurious entities predicted by the models by 60% for negation and 80% for speculations.


title: Diluted-dispersed mass transfer within an AWE

abstract: The goal of this document is describe the multiphase transfer processes describing the bubble dynamics of a water electrolyzer. The motivation is to describe the dilute-dispersed mass transfer within and Alkaline Water Electrolyzer. Special emphasis is put on the mathematical formulation. The presentation starts by posing the governing equations and their dimensionless counterpart. By filtering the equations, the two-fluid model is presented along with the need to sub-scale and wall models. To the later aim, boundary layer equations are introduced. By reviewing self-similiarity transformations, the analysis of Blasius, Ostrach and Sparrow is reviewed for Prandtl's boundary layer equations; along with that of Leveque.


title: A Subexponential Quantum Algorithm for the Semidirect Discrete Logarithm Problem

abstract: Group-based cryptography is a relatively unexplored family in post-quantum cryptography, and the so-called Semidirect Discrete Logarithm Problem (SDLP) is one of its most central problems. However, the complexity of SDLP and its relationship to more well-known hardness problems, particularly with respect to its security against quantum adversaries, has not been well understood and was a significant open problem for researchers in this area. In this paper we give the first dedicated security analysis of SDLP. In particular, we provide a connection between SDLP and group actions, a context in which quantum subexponential algorithms are known to apply. We are therefore able to construct a subexponential quantum algorithm for solving SDLP, thereby classifying the complexity of SDLP and its relation to known computational problems.


title: Efficient solution of parameter identification problems with $H^1$ regularization

abstract: We consider the identification of spatially distributed parameters under $H^1$ regularization. Solving the associated minimization problem by Gauss-Newton iteration results in linearized problems to be solved in each step that can be cast as boundary value problems involving a low-rank modification of the Laplacian. Using algebraic multigrid as a fast Laplace solver, the Sherman-Morrison-Woodbury formula can be employed to construct a preconditioner for these linear problems which exhibits excellent scaling w.r.t. the relevant problem parameters. We first develop this approach in the functional setting, thus obtaining a consistent methodology for selecting boundary conditions that arise from the $H^1$ regularization. We then construct a method for solving the discrete linear systems based on combining any fast Poisson solver with the Woodbury formula. The efficacy of this method is then demonstrated with scaling experiments. These are carried out for a common nonlinear parameter identification problem arising in electrical resistivity tomography.


title: A probabilistic framework for task-aligned intra- and inter-area neural manifold estimation

abstract: Latent manifolds provide a compact characterization of neural population activity and of shared co-variability across brain areas. Nonetheless, existing statistical tools for extracting neural manifolds face limitations in terms of interpretability of latents with respect to task variables, and can be hard to apply to datasets with no trial repeats. Here we propose a novel probabilistic framework that allows for interpretable partitioning of population variability within and across areas in the context of naturalistic behavior. Our approach for task aligned manifold estimation (TAME-GP) extends a probabilistic variant of demixed PCA by (1) explicitly partitioning variability into private and shared sources, (2) using a Poisson noise model, and (3) introducing temporal smoothing of latent trajectories in the form of a Gaussian Process prior. This TAME-GP graphical model allows for robust estimation of task-relevant variability in local population responses, and of shared co-variability between brain areas. We demonstrate the efficiency of our estimator on within model and biologically motivated simulated data. We also apply it to neural recordings in a closed-loop virtual navigation task in monkeys, demonstrating the capacity of TAME-GP to capture meaningful intra- and inter-area neural variability with single trial resolution.


title: Deducing Neutron Star Equation of State Parameters Directly From Telescope Spectra with Uncertainty-Aware Machine Learning

abstract: Neutron stars provide a unique laboratory for studying matter at extreme pressures and densities. While there is no direct way to explore their interior structure, X-rays emitted from these stars can indirectly provide clues to the equation of state (EOS) of superdense nuclear matter through the inference of the star's mass and radius. However, inference of EOS directly from a star's X-ray spectra is extremely challenging and is complicated by systematic uncertainties. The current state of the art is to use simulation-based likelihoods in a piece-wise method, which first infer the star's mass and radius to reduce the dimensionality of the problem, and from those quantities infer the EOS. We demonstrate a series of enhancements to the state of the art, in terms of realistic uncertainty quantification and improved regression of physical properties with machine learning. We also demonstrate novel inference of the EOS directly from the high-dimensional spectra of observed stars, avoiding the intermediate mass-radius step. Our network is conditioned on the sources of uncertainty of each star, allowing for natural and complete propagation of uncertainties to the EOS.

categories: astro-ph.HE astro-ph.IM astro-ph.SR nucl-th


title: Geometry of Regular Algebras of Global Dimension 4 related to Graded Skew Clifford Algebras of Global Dimension 3

abstract: We compute point schemes of some regular algebras using (Wolfram) Mathematica. These algebras are Ore extensions of regular graded skew Clifford algebras of global dimension 3.


title: Effective Drift Velocity from Turbulent Transport by Vorticity

abstract: We highlight the differing roles of vorticity and strain in the transport of coarse-grained scalars at length-scales larger than $\ell$ by smaller scale (subscale) turbulence. %subscale flux/stress which appear in the evolution of coarse-grained (resolved) scalars/momentum account for the effect of (subgrid) scales smaller than the coarse-graining length $\ell$. We use the first term in a multiscale gradient expansion due to Eyink \cite{Eyink06a}, which exhibits excellent correlation with the exact subscale physics when the partitioning length $\ell$ is any scale smaller than that of the spectral peak. We show that unlike subscale strain, which acts as an anisotropic diffusion/anti-diffusion tensor, subscale vorticity's contribution is solely a conservative advection of coarse-grained quantities by an eddy-induced non-divergent velocity, $\bv_*$, that is proportional to the curl of vorticity. Therefore, material (Lagrangian) advection of coarse-grained quantities is accomplished not by the coarse-grained flow velocity, $\OL\bu_\ell$, but by the effective velocity, $\OL\bu_\ell+\bv_*$, the physics of which may improve commonly used LES models.


title: Denominator Regularization in Quantum Field Theory

abstract: We propose a novel regularization scheme in quantum field theory, denominator regularization (den reg). As simple to apply as dimensional regularization, and similarly compatible with a minimal subtraction renormalization scheme, den reg manifestly 1) maintains Lorentz invariance, 2) maintains gauge invariance, 3) maintains supersymmetry, 4) correctly predicts the axial anomaly, and 5) yields Green functions that satisfy the Callan-Symanzik equation. Den reg also naturally enables regularization in asymmetric spacetimes, finite spacetimes, curved spacetimes, and in thermal field theory.

categories: hep-th cond-mat.stat-mech hep-ph nucl-th


title: Multilingual Bidirectional Unsupervised Translation Through Multilingual Finetuning and Back-Translation

abstract: We propose a two-stage approach for training a single NMT model to translate unseen languages both to and from English. For the first stage, we initialize an encoder-decoder model to pretrained XLM-R and RoBERTa weights, then perform multilingual fine-tuning on parallel data in 40 languages to English. We find this model can generalize to zero-shot translations on unseen languages. For the second stage, we leverage this generalization ability to generate synthetic parallel data from monolingual datasets, then bidirectionally train with successive rounds of back-translation. Our approach, which we EcXTra (English-centric Crosslingual (X) Transfer), is conceptually simple, only using a standard cross-entropy objective throughout. It is also data-driven, sequentially leveraging auxiliary parallel data and monolingual data. We evaluate unsupervised NMT results for 7 low-resource languages, and find that each round of back-translation training further refines bidirectional performance. Our final single EcXTra-trained model achieves competitive translation performance in all translation directions, notably establishing a new state-of-the-art for English-to-Kazakh (22.9 > 10.4 BLEU). Our code is available at https://github.com/manestay/EcXTra .


title: Embed to rigorously and accurately homogenise quasi-periodic multi-scale heterogeneous PDEs, with computer algebra

abstract: For microscale heterogeneous PDEs, this article further develops novel theory and methodology for their macroscale mathematical/asymptotic homogenization. This article specifically encompasses the case of quasi-periodic heterogeneity with finite scale separation: no scale separation limit is required. Dynamical systems theory frames the homogenization as a slow manifold of the ensemble of all phase-shifts of the heterogeneity. Depending upon any perceived scale separation within the quasi-periodic heterogeneity, the homogenization may be done in either one step, or two sequential steps: the results are equivalent. The theory not only assures us of the existence and emergence of the homogenization, it also provides a practical systematic method to construct the homogenization to any specified order. For a class of heterogeneities, we show that the macroscale homogenization is potentially valid down to lengths which are just twice that of the microscale heterogeneity! This methodology provides a new rigorous and flexible approach to homogenization that potentially also provides correct initial and boundary conditions, treatment of forcing and control, and analysis of uncertainty.


title: Linear potentials and applications in conformal geometry

abstract: In this paper we derive estimates for linear potentials that hold away from thin subsets. And, inspired by the celebrated work of Huber, we verify that, for a subset that is thin at a point, there is always a geodesic that reaches to the point and avoids the thin subset in general dimensions. As applications of these estimates on linear potentials, we consider the scalar curvature equations and slightly improve the results of Schoen-Yau and Carron on the Hausdorff dimensions of singular sets which represent the ends of complete conformal metrics on domains in manifolds of dimensions greater than 3. We also study Q-curvature equations in dimensions greater than 4 and obtain stronger results on the Hausdorff dimensions of the singular sets. More interestingly, our approach based on potential theory yields a significantly stronger finiteness theorem on the singular sets for Q-curvature equations in dimension 4, which is a remarkable analogue of Huber's theorem.


title: CP-AGCN: Pytorch-based Attention Informed Graph Convolutional Network for Identifying Infants at Risk of Cerebral Palsy

abstract: Early prediction is clinically considered one of the essential parts of cerebral palsy (CP) treatment. We propose to implement a low-cost and interpretable classification system for supporting CP prediction based on General Movement Assessment (GMA). We design a Pytorch-based attention-informed graph convolutional network to early identify infants at risk of CP from skeletal data extracted from RGB videos. We also design a frequency-binning module for learning the CP movements in the frequency domain while filtering noise. Our system only requires consumer-grade RGB videos for training to support interactive-time CP prediction by providing an interpretable CP classification result.


title: Dynamical Heterogeneity in Glass-Forming Liquids

abstract: We review the phenomena of dynamical heterogeneity in glass-forming systems and its description within replica and mean-field theories of the glass transition.


title: Annealing Optimization for Progressive Learning with Stochastic Approximation

abstract: In this work, we introduce a learning model designed to meet the needs of applications in which computational resources are limited, and robustness and interpretability are prioritized. Learning problems can be formulated as constrained stochastic optimization problems, with the constraints originating mainly from model assumptions that define a trade-off between complexity and performance. This trade-off is closely related to over-fitting, generalization capacity, and robustness to noise and adversarial attacks, and depends on both the structure and complexity of the model, as well as the properties of the optimization methods used. We develop an online prototype-based learning algorithm based on annealing optimization that is formulated as an online gradient-free stochastic approximation algorithm. The learning model can be viewed as an interpretable and progressively growing competitive-learning neural network model to be used for supervised, unsupervised, and reinforcement learning. The annealing nature of the algorithm contributes to minimal hyper-parameter tuning requirements, poor local minima prevention, and robustness with respect to the initial conditions. At the same time, it provides online control over the performance-complexity trade-off by progressively increasing the complexity of the learning model as needed, through an intuitive bifurcation phenomenon. Finally, the use of stochastic approximation enables the study of the convergence of the learning algorithm through mathematical tools from dynamical systems and control, and allows for its integration with reinforcement learning algorithms, constructing an adaptive state-action aggregation scheme.


title: Physical properties of accretion shocks toward the Class I protostellar system Oph-IRS 44

abstract: (Abridged) Physical processes such as accretion shocks are thought to be common in the protostellar phase, where the envelope component is still present, and they can release molecules from the dust to the gas phase, altering the original chemical composition of the disk. Consequently, the study of accretion shocks is essential for a better understanding of the physical processes at disk scales and their chemical output. The purpose of this work is to assess the characteristics of accretion shocks traced by sulfur-related species. We present ALMA high angular resolution observations (0.1") of the Class I protostar Oph-IRS 44. The continuum emission at 0.87 mm is observed, together with sulfur-related species such as SO, SO$_{2}$, and $^{34}$SO$_{2}$. Six lines of SO$_{2}$, two lines of $^{34}$SO$_{2}$, and one line of SO are detected toward IRS 44. The emission of all the detected lines peaks at ~0.1" (~14 au) from the continuum peak and we find infalling-rotating motions inside 30 au. However, only redshifted emission is seen between 50 and 30 au. Colder and more quiescent material is seen toward an offset region located at a distance of ~400 au from the protostar, and we do not find evidence of a Keplerian profile in these data. Accretion shocks are the most plausible explanation for the high temperatures, high densities, and velocities found for the SO$_{2}$ emission. When material enters the disk--envelope system, it generates accretion shocks that increase the dust temperature and desorb SO$_{2}$ molecules from dust grains. High-energy SO$_{2}$ transitions (~200 K) seem to be the best tracers of accretion shocks that can be followed up by future higher angular resolution ALMA observations and compared to other species to assess their importance in releasing molecules from the dust to the gas phase.


title: Two-Timescale Transmission Design and RIS Optimization for Integrated Localization and Communications

abstract: Reconfigurable intelligent surfaces (RISs) have tremendous potential to boost communication performance, especially when the line-of-sight (LOS) path between the user equipment (UE) and base station (BS) is blocked. To control the RIS, channel state information (CSI) is needed, which entails significant pilot overhead. To reduce this overhead and the need for frequent RIS reconfiguration, we propose a novel framework for integrated localization and communications, where RIS configurations are fixed during location coherence intervals, while BS precoders are optimized every channel coherence interval. This framework leverages accurate location information obtained with the aid of several RISs as well as novel RIS optimization and channel estimation methods. Performance in terms of localization accuracy, channel estimation error, and achievable rate demonstrates the effectiveness of the proposed approach.


title: The Jamming Transition and the Marginally Stable Solid

abstract: We review the physics of jamming from the theoretical, experimental and numerical perspectives. We summarize the mean-field theory of jamming and the marginally stable solid phase, with particular emphasis on the connection with the Replica Symmetry Breaking theory of glasses. We report validations of the mean-field theory of jamming from experimental and numerical studies of critical behaviors near the transition. In particular, we describe the physics of jamming of frictionless, spherical particles, as well as more recent work on jamming of frictionless, non-spherical particles and frictional, nearly spherical particles. We also present current efforts in expanding the mean-field theory to systems that more closely resemble externally driven granular media, cell aggregates, and active colloidal suspensions.


title: Connexive implications in Substructural Logics

abstract: This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FLe-algebras). In particular, we inquire into sufficient and necessary conditions under which generalizations of the connexive implication-like operation defined in [6] for Heyting algebras still satisfy connexive theses. It will turn out that, in most cases, connexive principles are equivalent to the equational Glivenko property with respect to Boolean algebras. Furthermore, we provide some philosophical upshots like e.g., a discussion on the relevance of the above operation in relationship with G. Polya's logic of plausible inference, and some characterization results on weak and strong connexivity.


title: Two temperate super-Earths transiting a nearby late-type M dwarf

abstract: In the age of JWST, temperate terrestrial exoplanets transiting nearby late-type M dwarfs provide unique opportunities for characterising their atmospheres, as well as searching for biosignature gases. We report here the discovery and validation of two temperate super-Earths transiting LP 890-9 (TOI-4306, SPECULOOS-2), a relatively low-activity nearby (32 pc) M6V star. The inner planet, LP 890-9b, was first detected by TESS (and identified as TOI-4306.01) based on four sectors of data. Intensive photometric monitoring of the system with the SPECULOOS Southern Observatory then led to the discovery of a second outer transiting planet, LP 890-9c (also identified as SPECULOOS-2c), previously undetected by TESS. The orbital period of this second planet was later confirmed by MuSCAT3 follow-up observations. With a mass of 0.118$\pm$0.002 $M_\odot$, a radius of 0.1556$\pm$0.0086 $R_\odot$, and an effective temperature of 2850$\pm$75 K, LP 890-9 is the second-coolest star found to host planets, after TRAPPIST-1. The inner planet has an orbital period of 2.73 d, a radius of $1.320_{-0.027}^{+0.053}$ $R_\oplus$, and receives an incident stellar flux of 4.09$\pm$0.12 $S_\oplus$. The outer planet has a similar size of $1.367_{-0.039}^{+0.055}$ $R_\oplus$ and an orbital period of 8.46 d. With an incident stellar flux of 0.906 $\pm$ 0.026 $S_\oplus$, it is located within the conservative habitable zone, very close to its inner limit. Although the masses of the two planets remain to be measured, we estimated their potential for atmospheric characterisation via transmission spectroscopy using a mass-radius relationship and found that, after the TRAPPIST-1 planets, LP 890-9c is the second-most favourable habitable-zone terrestrial planet known so far. The discovery of this remarkable system offers another rare opportunity to study temperate terrestrial planets around our smallest and coolest neighbours.


title: Impact of Colour Variation on Robustness of Deep Neural Networks

abstract: Deep neural networks (DNNs) have have shown state-of-the-art performance for computer vision applications like image classification, segmentation and object detection. Whereas recent advances have shown their vulnerability to manual digital perturbations in the input data, namely adversarial attacks. The accuracy of the networks is significantly affected by the data distribution of their training dataset. Distortions or perturbations on color space of input images generates out-of-distribution data, which make networks more likely to misclassify them. In this work, we propose a color-variation dataset by distorting their RGB color on a subset of the ImageNet with 27 different combinations. The aim of our work is to study the impact of color variation on the performance of DNNs. We perform experiments on several state-of-the-art DNN architectures on the proposed dataset, and the result shows a significant correlation between color variation and loss of accuracy. Furthermore, based on the ResNet50 architecture, we demonstrate some experiments of the performance of recently proposed robust training techniques and strategies, such as Augmix, revisit, and free normalizer, on our proposed dataset. Experimental results indicate that these robust training techniques can improve the robustness of deep networks to color variation.