title: Booster Free From Spin Resonance For Future 100~km-scale Circular e$^{+}$e$^{-}$ Colliders

abstract: Acceleration of polarized electron~(positron) beams in a booster synchrotron may suffer from depolarization due to crossings of many spin depolarization resonances, which could limit its applications. We have studied the spin depolarization resonance structure of a 100~km scale booster lattice of the Circular Electron Positron Collider~(CEPC). The lattice has 8 arc regions with hundreds of FODO cells, interleaved with straight sections, which leads to a high periodicity. Our analysis shows the contributions to the strength of intrinsic and imperfection spin resonances add up coherently near the super strong resonances beyond 120 GeV, but mostly cancel out and result in generally weak resonance strengths at lower beam energies. Detailed simulations confirm that beam polarization can be mostly maintained in the fast acceleration to 45.6 GeV and 80 GeV, but severe depolarization may occur at even higher energies. This study suggests the possibility of acceleration of polarized electron~(positron) beams to ultra-high beam energies without the help of Siberian snakes, and supports injecting highly polarized beams into the collider rings as an attractive solution for resonant depolarization measurements and longitudinal polarized colliding beam experiments for future 100~km scale circular e$^{+}$e$^{-}$ colliders.


title: Numerical Methods For PDEs Over Manifolds Using Spectral Physics Informed Neural Networks

abstract: We introduce an approach for solving PDEs over manifolds using physics informed neural networks whose architecture aligns with spectral methods. The networks are trained to take in as input samples of an initial condition, a time stamp and point(s) on the manifold and then output the solution's value at the given time and point(s). We provide proofs of our method for the heat equation on the interval and examples of unique network architectures that are adapted to nonlinear equations on the sphere and the torus. We also show that our spectral-inspired neural network architectures outperform the standard physics informed architectures. Our extensive experimental results include generalization studies where the testing dataset of initial conditions is randomly sampled from a significantly larger space than the training set.


title: On Achieving Privacy-Preserving State-of-the-Art Edge Intelligence

abstract: Deep Neural Network (DNN) Inference in Edge Computing, often called Edge Intelligence, requires solutions to insure that sensitive data confidentiality and intellectual property are not revealed in the process. Privacy-preserving Edge Intelligence is only emerging, despite the growing prevalence of Edge Computing as a context of Machine-Learning-as-a-Service. Solutions are yet to be applied, and possibly adapted, to state-of-the-art DNNs. This position paper provides an original assessment of the compatibility of existing techniques for privacy-preserving DNN Inference with the characteristics of an Edge Computing setup, highlighting the appropriateness of secret sharing in this context. We then address the future role of model compression methods in the research towards secret sharing on DNNs with state-of-the-art performance.


title: SOCRATES: Text-based Human Search and Approach using a Robot Dog

abstract: In this paper, we propose a SOCratic model for Robots Approaching humans based on TExt System (SOCRATES) focusing on the human search and approach based on free-form textual description; the robot first searches for the target user, then the robot proceeds to approach in a human-friendly manner. In particular, textual descriptions are composed of appearance (e.g., wearing white shirts with black hair) and location clues (e.g., is a student who works with robots). We initially present a Human Search Socratic Model that connects large pre-trained models in the language domain to solve the downstream task, which is searching for the target person based on textual descriptions. Then, we propose a hybrid learning-based framework for generating target-cordial robotic motion to approach a person, consisting of a learning-from-demonstration module and a knowledge distillation module. We validate the proposed searching module via simulation using a virtual mobile robot as well as through real-world experiments involving participants and the Boston Dynamics Spot robot. Furthermore, we analyze the properties of the proposed approaching framework with human participants based on the Robotic Social Attributes Scale (RoSAS)


title: Thermodynamic stability of Li-B-C compounds from first principles

abstract: Prediction of high-$T_{\rm{c}}$ superconductivity in hole-doped Li$_x$BC two decades ago has brought about an extensive effort to synthesize new materials with honeycomb B-C layers, but the thermodynamic stability of Li-B-C compounds remains largely unexplored. In this study, we use density functional theory to characterize well-established and recently reported Li-B-C phases. Our calculation of the Li chemical potential in Li$_x$BC helps estimate the ($T$,$P$) conditions required for delithiation of the LiBC parent material, while examination of B-C phases helps rationalize the observation of metastable BC$_3$ polymorphs with honeycomb and diamond-like morphologies. At the same time, we demonstrate that recently reported BC$_3$, LiBC$_3$, and Li$_2$B$_2$C phases with new crystal structures are both dynamically and thermodynamically unstable. With a combination of evolutionary optimization and rational design, we identify considerably more natural and favorable Li$_2$B$_2$C configurations that, nevertheless, remain above the thermodynamic stability threshold.


title: Scalable Real-Time Recurrent Learning Using Columnar-Constructive Networks

abstract: Constructing states from sequences of observations is an important component of reinforcement learning agents. One solution for state construction is to use recurrent neural networks. Back-propagation through time (BPTT), and real-time recurrent learning (RTRL) are two popular gradient-based methods for recurrent learning. BPTT requires complete trajectories of observations before it can compute the gradients and is unsuitable for online updates. RTRL can do online updates but scales poorly to large networks. In this paper, we propose two constraints that make RTRL scalable. We show that by either decomposing the network into independent modules or learning the network in stages, we can make RTRL scale linearly with the number of parameters. Unlike prior scalable gradient estimation algorithms, such as UORO and Truncated-BPTT, our algorithms do not add noise or bias to the gradient estimate. Instead, they trade off the functional capacity of the network for computationally efficient learning. We demonstrate the effectiveness of our approach over Truncated-BPTT on a prediction benchmark inspired by animal learning and by doing policy evaluation of pre-trained policies for Atari 2600 games.


title: Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures

abstract: We introduce the class of tree constraint automata with data values in Z (equipped with the less than relation and equality predicates to constants) and we show that the nonemptiness problem is ExpTime-complete. Using an automata-based approach, we establish that the satisfiability problem for CTL(Z) (CTL with constraints in Z) is ExpTime-complete and the satisfiability problem for CTL*(Z) is 2ExpTime-complete solving a longstanding open problem (only decidability was known so far). By-product results with other concrete domains and other logics, such as description logics with concrete domains, are also briefly presented.


title: Invariant Collaborative Filtering to Popularity Distribution Shift

abstract: Collaborative Filtering (CF) models, despite their great success, suffer from severe performance drops due to popularity distribution shifts, where these changes are ubiquitous and inevitable in real-world scenarios. Unfortunately, most leading popularity debiasing strategies, rather than tackling the vulnerability of CF models to varying popularity distributions, require prior knowledge of the test distribution to identify the degree of bias and further learn the popularity-entangled representations to mitigate the bias. Consequently, these models result in significant performance benefits in the target test set, while dramatically deviating the recommendation from users' true interests without knowing the popularity distribution in advance. In this work, we propose a novel learning framework, Invariant Collaborative Filtering (InvCF), to discover disentangled representations that faithfully reveal the latent preference and popularity semantics without making any assumption about the popularity distribution. At its core is the distillation of unbiased preference representations (i.e., user preference on item property), which are invariant to the change of popularity semantics, while filtering out the popularity feature that is unstable or outdated. Extensive experiments on five benchmark datasets and four evaluation settings (i.e., synthetic long-tail, unbiased, temporal split, and out-of-distribution evaluations) demonstrate that InvCF outperforms the state-of-the-art baselines in terms of popularity generalization ability on real recommendations. Visualization studies shed light on the advantages of InvCF for disentangled representation learning. Our codes are available at https://github.com/anzhang314/InvCF.


title: ripple: Differentiable and Hardware-Accelerated Waveforms for Gravitational Wave Data Analysis

abstract: We propose the use of automatic differentiation through the programming framework jax for accelerating a variety of analysis tasks throughout gravitational wave (GW) science. Firstly, we demonstrate that complete waveforms which cover the inspiral, merger, and ringdown of binary black holes (i.e. IMRPhenomD) can be written in jax and demonstrate that the serial evaluation speed of the waveform (and its derivative) is similar to the lalsuite implementation in C. Moreover, jax allows for GPU-accelerated waveform calls which can be over an order of magnitude faster than serial evaluation on a CPU. We then focus on three applications where efficient and differentiable waveforms are essential. Firstly, we demonstrate how gradient descent can be used to optimize the $\sim 200$ coefficients that are used to calibrate the waveform model. In particular, we demonstrate that the typical match with numerical relativity waveforms can be improved by more than 50% without any additional overhead. Secondly, we show that Fisher forecasting calculations can be sped up by $\sim 100\times$ (on a CPU) with no loss in accuracy. This increased speed makes population forecasting substantially simpler. Finally, we show that gradient-based samplers like Hamiltonian Monte Carlo lead to significantly reduced autocorrelation values when compared to traditional Monte Carlo methods. Since differentiable waveforms have substantial advantages for a variety of tasks throughout GW science, we propose that waveform developers use jax to build new waveforms moving forward. Our waveform code, ripple, can be found at https://github.com/tedwards2412/ripple, and will continue to be updated with new waveforms as they are implemented.


title: Action Dynamics Task Graphs for Learning Plannable Representations of Procedural Tasks

abstract: Given video demonstrations and paired narrations of an at-home procedural task such as changing a tire, we present an approach to extract the underlying task structure -- relevant actions and their temporal dependencies -- via action-centric task graphs. Learnt structured representations from our method, Action Dynamics Task Graphs (ADTG), can then be used for understanding such tasks in unseen videos of humans performing them. Furthermore, ADTG can enable providing user-centric guidance to humans in these tasks, either for performing them better or for learning new tasks. Specifically, we show how ADTG can be used for: (1) tracking an ongoing task, (2) recommending next actions, and (3) planning a sequence of actions to accomplish a procedural task. We compare against state-of-the-art Neural Task Graph method and demonstrate substantial gains on 18 procedural tasks from the CrossTask dataset, including 30.1% improvement in task tracking accuracy and 20.3% accuracy gain in next action prediction.


title: C-rusted: The Advantages of Rust, in C, without the Disadvantages

abstract: C-rusted is an innovative technology whereby C programs can be (partly) annotated so as to express: ownership, exclusivity and shareability of language, system and user-defined resources; dynamic properties of objects and the way they evolve during program execution; nominal typing and subtyping. The (partially) annotated C programs can be translated with unmodified versions of any compilation toolchain capable of processing ISO C code. The annotated C program parts can be validated by static analysis: if the static analyzer flags no error, then the annotations are provably coherent among themselves and with respect to annotated C code, in which case said annotated parts are provably exempt from a large class of logic, security, and run-time errors.


title: Universality Classes of Relativistic Fluid Dynamics: Applications

abstract: Using a formalism that was recently developed in a companion paper, we rigorously prove the equivalence, in the linear regime, of a number of apparently different relativistic hydrodynamic theories proposed in the literature. In particular, we show that Hydro+ is indistinguishable from the Israel-Stewart theory for bulk viscosity, which in turn is indistinguishable from a reacting mixture. The two-fluid model for superfluidity coincides with the Israel-Stewart theory for heat conduction in the limit of infinite conductivity, and this explains why the latter has a second sound. Also, MIS$^*$ is equivalent to the Burgers model for viscoelasticity, and this implies that the former must exhibit an elastic behavior at high frequencies. Additionally, we show that if the degrees of freedom and the conservation laws of a hydrodynamic theory have the same geometric character as those of the Israel-Stewart theory, then such theory must be indistinguishable from the Israel-Stewart theory in the linear regime. This explains why all second-order theories turn out to be identical near equilibrium. Finally, we construct the first linearized model for a relativistic supersolid that is proven to be causal, stable, and strongly hyperbolic.


title: Fast gravitational wave parameter estimation without compromises

abstract: We present a lightweight, flexible, and high-performance framework for inferring the properties of gravitational-wave events. By combining likelihood heterodyning, automatically-differentiable and accelerator-compatible waveforms, and gradient-based Markov chain Monte Carlo (MCMC) sampling enhanced by normalizing flows, we achieve full Bayesian parameter estimation for real events like GW150914 and GW170817 within a minute of sampling time. Our framework does not require pretraining or explicit reparameterizations and can be generalized to handle higher dimensional problems. We present the details of our implementation and discuss trade-offs and future developments in the context of other proposed strategies for real-time parameter estimation. Our code for running the analysis is publicly available on GitHub https://github.com/kazewong/jim.


title: The Role of Codeword-to-Class Assignments in Error-Correcting Codes: An Empirical Study

abstract: Error-correcting codes (ECC) are used to reduce multiclass classification tasks to multiple binary classification subproblems. In ECC, classes are represented by the rows of a binary matrix, corresponding to codewords in a codebook. Codebooks are commonly either predefined or problem dependent. Given predefined codebooks, codeword-to-class assignments are traditionally overlooked, and codewords are implicitly assigned to classes arbitrarily. Our paper shows that these assignments play a major role in the performance of ECC. Specifically, we examine similarity-preserving assignments, where similar codewords are assigned to similar classes. Addressing a controversy in existing literature, our extensive experiments confirm that similarity-preserving assignments induce easier subproblems and are superior to other assignment policies in terms of their generalization performance. We find that similarity-preserving assignments make predefined codebooks become problem-dependent, without altering other favorable codebook properties. Finally, we show that our findings can improve predefined codebooks dedicated to extreme classification.


title: Long-Term Density Trend in the Mesosphere and Lower Thermosphere from Occultations of the Crab Nebula with X-Ray Astronomy Satellites

abstract: We present long-term density trends of the Earth's upper atmosphere at altitudes between 71 and 116 km, based on atmospheric occultations of the Crab Nebula observed with X-ray astronomy satellites, ASCA, RXTE, Suzaku, NuSTAR, and Hitomi. The combination of the five satellites provides a time period of 28 yr from 1994 to 2022. To suppress seasonal and latitudinal variations, we concentrate on the data taken in autumn (49< doy <111) and spring (235< doy <297) in the northern hemisphere with latitudes of 0--40 degrees. With this constraint, local times are automatically limited either around noon or midnight. We obtain four sets (two seasons times two local times) of density trends at each altitude layer. We take into account variations due to a linear trend and the 11-yr solar cycle using linear regression techniques. Because we do not see significant differences among the four trends, we combine them to provide a single vertical profile of trend slopes. We find a negative density trend of roughly -5 %/decade at every altitude. This is in reasonable agreement with inferences from settling rate of the upper atmosphere. In the 100--110 km altitude, we found an exceptionally high density decline of about -12 %/decade. This peak may be the first observational evidence for strong cooling due to water vapor and ozone near 110 km, which was first identified in a numerical simulation by Akmaev et al. (2006). Further observations and numerical simulations with suitable input parameters are needed to establish this feature.

categories: physics.space-ph astro-ph.EP astro-ph.HE physics.ao-ph


title: Intelligent Proactive Fault Tolerance at the Edge through Resource Usage Prediction

abstract: The proliferation of demanding applications and edge computing establishes the need for an efficient management of the underlying computing infrastructures, urging the providers to rethink their operational methods. In this paper, we propose an Intelligent Proactive Fault Tolerance (IPFT) method that leverages the edge resource usage predictions through Recurrent Neural Networks (RNN). More specifically, we focus on the process-faults, which are related with the inability of the infrastructure to provide Quality of Service (QoS) in acceptable ranges due to the lack of processing power. In order to tackle this challenge we propose a composite deep learning architecture that predicts the resource usage metrics of the edge nodes and triggers proactive node replications and task migration. Taking also into consideration that the edge computing infrastructure is also highly dynamic and heterogeneous, we propose an innovative Hybrid Bayesian Evolution Strategy (HBES) algorithm for automated adaptation of the resource usage models. The proposed resource usage prediction mechanism has been experimentally evaluated and compared with other state of the art methods with significant improvements in terms of Root Mean Squared Error (RMSE) and Mean Absolute Error (MAE). Additionally, the IPFT mechanism that leverages the resource usage predictions has been evaluated in an extensive simulation in CloudSim Plus and the results show significant improvement compared to the reactive fault tolerance method in terms of reliability and maintainability.


title: Channel Modeling and Multi-User Precoding for Tri-Polarized Holographic MIMO Communications

abstract: This paper studies the exploitation of triple polarization (TP) for multi-user (MU) holographic multiple-input multiple-output surface (HMIMOS) wireless communication systems, aiming at capacity boosting without enlarging the antenna array size. We specifically consider that both the transmitter and receiver are equipped with an HMIMOS comprising compact sub-wavelength TP patch antennas. To characterize TP MUHMIMOS systems, a TP near-field channel model is proposed using the dyadic Green's function, whose characteristics are leveraged to design a user-cluster-based precoding scheme for mitigating the cross-polarization and inter-user interference contributions. A theoretical correlation analysis for HMIMOS with infinitely small patch antennas is also presented. According to the proposed scheme, the users are assigned to one of the three polarizations, which is easy to implement, at the cost, however, of reducing the system's diversity. Our numerical results showcase that the cross-polarization channel components have a nonnegligible impact on the system performance, which is efficiently eliminated with the proposed MU precoding scheme.


title: Algebraic structure of hierarchic first-order reaction networks applicable to models of clone size distribution and stochastic gene expression

abstract: In biology, stochastic branching processes with a two-stage, hierarchical structure arise in the study of population dynamics, gene expression, and phylogenetic inference. These models have been commonly analyzed using generating functions, the method of characteristics and various perturbative approximations. Here we describe a general method for analyzing hierarchic first-order reaction networks using Lie theory. Crucially, we identify the fact that the Lie group associated to hierarchic reaction networks decomposes as a wreath product of the groups associated to the subnetworks of the independent and dependent types. After explaining the general method, we illustrate it on a model of population dynamics and the so-called two-state or telegraph model of single-gene transcription. Solutions to such processes provide essential input to downstream methods designed to attempt to infer parameters of these and related models.

categories: q-bio.MN math-ph math.MP math.PR q-bio.PE q-bio.QM


title: On the existence of invariant absolutely continuous probability measures for $C^1$ expanding maps of the circle

abstract: We prove that for any given modulus of continuity {\omega} there exist (uncountably many) C1 uniformly expanding maps of the circle whose derivatives have $C^1$ as an optimal modulus of continuity and which preserve an invariant probability measure equivalent to Lebesgue whose density is {\omega}-continuous, and also (uncountably many) $C^1$ uniformly expanding maps of the circle whose derivatives have {\omega} as an optimal modulus of continuity which preserve Lebesgue measure. Moreover, we show that many of these maps, including those which preserve Lebesgue measure, have unbounded distortion.


title: Synthesis, Optoelectronic Properties, and Charge Carrier Dynamics of Colloidal Quasi-two-dimensional Cs3Bi2I9 Perovskite Nanosheets

abstract: Non-toxicity and stability make two-dimensional (2D) bismuth halide perovskites better alternatives to lead-based ones for optoelectronic applications and catalysis. In this work, we synthesize sub-micron size colloidal quasi-2D Cs3Bi2I9 perovskite nanosheets and study their generation and relaxation of charge carriers. Steady-state absorption spectroscopy reveals an indirect bandgap of 2.07 eV, which is supported by the density functional theory calculated band structure. The nanosheets do not show detectable photoluminescence at room temperature at band-edge excitation which is attributed to the indirect bandgap. However, cathodoluminescence spanning a broad range from 500 nm to 750 nm with an asymmetric and Stokes-shifted spectrum is observed, indicating the phonon- and trap-assisted recombination. We study the ultrafast charge carrier dynamics in Cs3Bi2I9 nanosheets using a femtosecond transient absorption spectroscopy. The samples are excited with pump energies higher than their bandgap, and the results are interpreted in terms of hot carrier generation (<1 ps), thermalization with local phonons (~1 ps), and cooling (>30 ps). Further, a relatively slow relaxation of excitons (>3 ns) at the band edge suggests the formation of stable polarons which decay nonradiatively by emitting phonons.


title: Further evidence that galaxy age drives observed type Ia supernova luminosity differences

abstract: Type Ia supernovae (SNe Ia) are explosions of white dwarf stars that facilitate exquisite measurements of cosmological expansion history, but improvements in accuracy and precision are hindered by observational biases. Of particular concern is the apparent difference in the corrected brightnesses of SNe Ia in different host galaxy environments. SNe Ia in more massive, passive, older environments appear brighter after having been standardized by their light-curve properties. The luminosity difference commonly takes the form of a step function. Recent works imply that environmental characteristics that trace the age of the stellar population in the vicinity of SNe show the largest steps. Here we use simulations of SN Ia populations to test the impact of using different tracers and investigate promising new models of the step. We test models with a total-to-selective dust extinction ratio $R_V$ that changes between young and old SN Ia host galaxies, as well as an intrinsic luminosity difference between SNe from young and old progenitors. The data are well replicated by a model driven by a galaxy-age varying $R_V$ and no intrinsic SN luminosity difference, and we find that specific star-formation rate measured locally to the SN is a relatively pure tracer of this galaxy age difference. We cannot rule out an intrinsic difference causing part of the observed step and show that if luminosity differences are caused by multiple drivers then no single environmental measurement is able to accurately trace them. We encourage the use of multiple tracers in luminosity corrections to negate this issue.


title: Combining Reconstruction and Contrastive Methods for Multimodal Representations in RL

abstract: Learning self-supervised representations using reconstruction or contrastive losses improves performance and sample complexity of image-based and multimodal reinforcement learning (RL). Here, different self-supervised loss functions have distinct advantages and limitations depending on the information density of the underlying sensor modality. Reconstruction provides strong learning signals but is susceptible to distractions and spurious information. While contrastive approaches can ignore those, they may fail to capture all relevant details and can lead to representation collapse. For multimodal RL, this suggests that different modalities should be treated differently based on the amount of distractions in the signal. We propose Contrastive Reconstructive Aggregated representation Learning (CoRAL), a unified framework enabling us to choose the most appropriate self-supervised loss for each sensor modality and allowing the representation to better focus on relevant aspects. We evaluate CoRAL's benefits on a wide range of tasks with images containing distractions or occlusions, a new locomotion suite, and a challenging manipulation suite with visually realistic distractions. Our results show that learning a multimodal representation by combining contrastive and reconstruction-based losses can significantly improve performance and solve tasks that are out of reach for more naive representation learning approaches and other recent baselines.


title: Efficient and Accurate Learning of Mixtures of Plackett-Luce Models

abstract: Mixture models of Plackett-Luce (PL) -- one of the most fundamental ranking models -- are an active research area of both theoretical and practical significance. Most previously proposed parameter estimation algorithms instantiate the EM algorithm, often with random initialization. However, such an initialization scheme may not yield a good initial estimate and the algorithms require multiple restarts, incurring a large time complexity. As for the EM procedure, while the E-step can be performed efficiently, maximizing the log-likelihood in the M-step is difficult due to the combinatorial nature of the PL likelihood function (Gormley and Murphy 2008). Therefore, previous authors favor algorithms that maximize surrogate likelihood functions (Zhao et al. 2018, 2020). However, the final estimate may deviate from the true maximum likelihood estimate as a consequence. In this paper, we address these known limitations. We propose an initialization algorithm that can provide a provably accurate initial estimate and an EM algorithm that maximizes the true log-likelihood function efficiently. Experiments on both synthetic and real datasets show that our algorithm is competitive in terms of accuracy and speed to baseline algorithms, especially on datasets with a large number of items.


title: Quasi-isometries of relatively hyperbolic groups with an elementary hierarchy

abstract: Sela introduced limit groups in his work on the Tarski problem, and showed that each limit group has a cyclic hierarchy. In this paper, a class of relatively hyperbolic groups, equipped with a hierarchy similar to the one for limit groups, is shown to be closed under quasi-isometry. Additionally, these groups share some of the properties of limit groups. In particular, groups quasi-isometric to limit groups are shown to be LERF and virtually toral relatively hyperbolic.


title: Gauge-invariant absorption of light from a coherent superposition of states

abstract: Absorption and emission of light is studied theoretically for excited atoms in coherent superposition of states subjected to isolated attosecond pulses in the extreme ultraviolet range. A gauge invariant formulation of transient absorption theory is motivated using the energy operator from Yang's gauge theory. The interaction, which simultaneously couples both bound and continuum states, is simulated by solving the time dependent Schr\"odinger equation for hydrogen and neon atoms. A strong dependence on the angular momentum and the relative phase of the states in the superposition is observed. Perturbation theory is used to disentangle the fundamental absorption processes and a rule is established to interpret the complex absorption behaviour. It is found that non-resonant transitions are the source of asymmetry in energy and phase, while resonant transitions to the continuum contribute symmetrically to absorption of light from coherent superpositions of states.


title: MAXI J1535-571 2017 outburst Seen by INTEGRAL/SPI and Investigating the Origin of Its Hard Tail

abstract: On 2 September 2017 MAXI J1535-571 went into outburst and peaked at ~5 Crab in the 2-20 keV energy range. Early in the flare INTEGRAL performed Target of Opportunity pointings and monitored the source as it transitioned from the hard state to the soft state. Using quasi-simultaneous observations from MAXI/GSC and INTEGRAL/SPI, we studied the temporal and spectral evolution of MAXI J1535-571 in the 2-500 keV range. Early spectra show a Comptonized spectrum and a high-energy component dominant above ~150 keV. CompTT fits to the SPI data found electron temperatures (kTe) evolves from ~31 keV to 18 keV with a tied optical depth (tau ~ 0.85) or tau evolving from ~1.2-0.65 with a tied kTe (~24 keV). To investigate the nature of the high-energy component, we performed a spectral decomposition of the 100-400 keV energy band. The CompTT flux varies significantly during the hard state while the high-energy component flux is consistent with a constant flux. This result suggests that the two components originate from different locations, which favors a jet origin interpretation for the high-energy component over a hybrid corona interpretation. Lastly, two short rebrightenings during the hard-to-soft transition are compared to similar events reported in MAXI J1820+070.


title: Bayesian Sparse Vector Autoregressive Switching Models with Application to Human Gesture Phase Segmentation

abstract: We propose a sparse vector autoregressive (VAR) hidden semi-Markov model (HSMM) for modeling temporal and contemporaneous (e.g. spatial) dependencies in multivariate nonstationary time series. The HSMM's generic state distribution is embedded in a special transition matrix structure, facilitating efficient likelihood evaluations and arbitrary approximation accuracy. To promote sparsity of the VAR coefficients, we deploy an $l_1$-ball projection prior, which combines differentiability with a positive probability of obtaining exact zeros, achieving variable selection within each switching state. This also facilitates posterior estimation via Hamiltonian Monte Carlo (HMC). We further place non-local priors on the parameters of the HSMM dwell distribution improving the ability of Bayesian model selection to distinguish whether the data is better supported by the simpler hidden Markov model (HMM), or the more flexible HSMM. Our proposed methodology is illustrated via an application to human gesture phase segmentation based on sensor data, where we successfully identify and characterize the periods of rest and active gesturing, as well as the dynamical patterns involved in the gesture movements associated with each of these states.


title: Computing a Best Response against a Maximum Disruption Attack

abstract: Inspired by scenarios where the strategic network design and defense or immunisation are of the central importance, Goyal et al. [3] defined a new Network Formation Game with Attack and Immunisation. The authors showed that despite the presence of attacks, the game has high social welfare properties and even though the equilibrium networks can contain cycles, the number of edges is strongly bounded. Subsequently, Friedrich et al. [10] provided a polynomial time algorithm for computing a best response strategy for the maximum carnage adversary which tries to kill as many nodes as possible, and for the random attack adversary, but they left open the problem for the case of maximum disruption adversary. This adversary attacks the vulnerable region that minimises the post-attack social welfare. In this paper we address our efforts to this question. We can show that computing a best response strategy given a player u and the strategies of all players but u, is polynomial time solvable when the initial network resulting from the given strategies is connected. Our algorithm is based on a dynamic programming and has some reminiscence to the knapsack-problem, although is considerably more complex and involved.


title: Revealing quantum effects in bosonic Josephson junctions: a multi-configuration atomic coherent states approach

abstract: The mean-field approach to two-site Bose-Hubbard systems is well established and leads to nonlinear classical equations of motion for the population imbalance and the phase difference. It can, e.g., be based on the representation of the solution of the time-dependent Schrodinger equation either by a single Glauber state or by a single atomic (SU(2)) coherent state [S. Wimberger et al., Phys. Rev. A 103, 023326 (2021)]. We demonstrate that quantum effects beyond the mean-field approximation are easily uncovered if, instead, a multi-configuration ansatz with a few time-dependent SU(2) basis functions is used in the variational principle. For the case of plasma oscillations, the use of just two basis states, whose time-dependent parameters are determined variationally, already gives good qualitative agreement of the phase space dynamics with numerically exact quantum solutions. In order to correctly account for more non-trivial effects, like macroscopic quantum self trapping, moderately more basis states are needed. If one is interested in the onset of spontaneous symmetry breaking, however, a multiplicity of two gives a big improvement towards the exact result already. In any case, the number of variational trajectories needed for good agreement with full quantum results is orders of magnitude smaller than in the semiclassical case, which is based on multiple mean-field trajectories.


title: On the lower bound for the length of minimal codes

abstract: In recent years, many connections have been made between minimal codes, a classical object in coding theory, and other remarkable structures in finite geometry and combinatorics. One of the main problems related to minimal codes is to give lower and upper bounds on the length $m(k,q)$ of the shortest minimal codes of a given dimension $k$ over the finite field $\mathbb{F}_q$. It has been recently proved that $m(k, q) \geq (q+1)(k-1)$. In this note, we prove that $\liminf_{k \rightarrow \infty} \frac{m(k, q)}{k} \geq (q+ \varepsilon(q) )$, where $\varepsilon$ is an increasing function such that $1.52 <\varepsilon(2)\leq \varepsilon(q) \leq \sqrt{2} + \frac{1}{2}$. Hence, the previously known lower bound is not tight for large enough $k$. We then focus on the binary case and prove some structural results on minimal codes of length $3(k-1)$. As a byproduct, we are able to show that, if $k = 5 \pmod 8$ and for other small values of $k$, the bound is not tight.


title: Beyond the Boolean: How Programmers Ask About, Use, and Discuss Gender

abstract: Categorization via gender is omnipresent throughout society, and thus also computing; gender identity is often requested of users before they use software or web services. Despite this fact, no research has explored how software developers approach requesting gender disclosure from users. To understand how developers think about gender in software, we present an interview study with 15 software developers recruited from the freelancing platform Upwork as well as Twitter. We also collected and categorized 917 threads that contained keywords relevant to gender from programming-related sub-forums on the social media service Reddit. 16 posts that discussed approaches to gender disclosure were further analyzed. We found that while some developers have an understanding of inclusive gender options, programmers rarely consider when gender data is necessary or the way in which they request gender disclosure from users. Our findings have implications for programmers, software engineering educators, and the broader community concerned with inclusivity.


title: Typed topology and its application to data set

abstract: The concept of $typed$ $topology$ is introduced. In a typed topological space, some open sets are assigned "types", and topological concepts such as closure, connectedness can be defined using types. A finite data set in $R^2$ is a typically typed topological space. Clusters calculated by the DBSCAN algorithm for data clustering can be well represent in a finite typed topological space. Other concepts such as tracks, port (starting points), type-p-connectedness, p-closure-connectedness, indexing, branches are also introduced for a finite typed topological space. Finally, $left-r$ and $up-left-r$ type open sets are introduced for data sets in $R^2$, so that tracks, port, branches can be calculated.


title: Exploring the Cookieverse: A Multi-Perspective Analysis of Web Cookies

abstract: Web cookies have been the subject of many research studies over the last few years. However, most existing research does not consider multiple crucial perspectives that can influence the cookie landscape, such as the client's location, the impact of cookie banner interaction, and from which operating system a website is being visited. In this paper, we conduct a comprehensive measurement study to analyze the cookie landscape for Tranco top-10k websites from different geographic locations and analyze multiple different perspectives. One important factor which influences cookies is the use of cookie banners. We develop a tool, BannerClick, to automatically detect, accept, and reject cookie banners with an accuracy of 99%, 97%, and 87%, respectively. We find banners to be 56% more prevalent when visiting websites from within the EU region. Moreover, we analyze the effect of banner interaction on different types of cookies (i.e., first-party, third-party, and tracking). For instance, we observe that websites send, on average, 5.5x more third-party cookies after clicking ``accept'', underlining that it is critical to interact with banners when performing Web measurements. Additionally, we analyze statistical consistency, evaluate the widespread deployment of consent management platforms, compare landing to inner pages, and assess the impact of visiting a website on a desktop compared to a mobile phone. Our study highlights that all of these factors substantially impact the cookie landscape, and thus a multi-perspective approach should be taken when performing Web measurement studies.


title: Quantum Reference Frames on Finite Homogeneous Spaces

abstract: We present an operationally motivated treatment of quantum reference frames in the setting that the frame is a covariant positive operator valued measure (POVM) on a finite homogeneous space, generalising the principal homogeneous spaces studied in previous work. We focus on the case that the reference observable is the canonical covariant projection valued measure on the given space, and show that this gives rise to a rank-one covariant POVM on the group, which can be seen as a system of coherent states, thereby making contact with recent work in the perspective-neutral approach to quantum reference frames.


title: Building cross-language corpora for human understanding of privacy policies

abstract: Making sure that users understand privacy policies that impact them is a key challenge for a real GDPR deployment. Research studies are mostly carried in English, but in Europe and elsewhere, users speak a language that is not English. Replicating studies in different languages requires the availability of comparable cross-language privacy policies corpora. This work provides a methodology for building comparable cross-language in a national language and a reference study language. We provide an application example of our methodology comparing English and Italian extending the corpus of one of the first studies about users understanding of technical terms in privacy policies. We also investigate other open issues that can make replication harder.


title: Approximation and Structured Prediction with Sparse Wasserstein Barycenters

abstract: We develop a general theoretical and algorithmic framework for sparse approximation and structured prediction in $\mathcal{P}_2(\Omega)$ with Wasserstein barycenters. The barycenters are sparse in the sense that they are computed from an available dictionary of measures but the approximations only involve a reduced number of atoms. We show that the best reconstruction from the class of sparse barycenters is characterized by a notion of best $n$-term barycenter which we introduce, and which can be understood as a natural extension of the classical concept of best $n$-term approximation in Banach spaces. We show that the best $n$-term barycenter is the minimizer of a highly non-convex, bi-level optimization problem, and we develop algorithmic strategies for practical numerical computation. We next leverage this approximation tool to build interpolation strategies that involve a reduced computational cost, and that can be used for structured prediction, and metamodelling of parametrized families of measures. We illustrate the potential of the method through the specific problem of Model Order Reduction (MOR) of parametrized PDEs. Since our approach is sparse, adaptive and preserves mass by construction, it has potential to overcome known bottlenecks of classical linear methods in hyperbolic conservation laws transporting discontinuities. It also paves the way towards MOR for measure-valued PDE problems such as gradient flows.


title: On real Calabi-Yau threefolds twisted by a section

abstract: We study the mod $2$ cohomology of real Calabi-Yau threefolds given by real structures which preserve the torus fibrations constructed by Gross. We extend the results of Casta\~no-Bernard-Matessi and Arguz-Prince to the case of real structures twisted by a Lagrangian section. In particular we find exact sequences linking the cohomology of the real Calabi-Yau with the cohomology of the complex one. Applying SYZ mirror symmetry, we show that the connecting homomorphism is determined by a ``twisted squaring of divisors'' in the mirror Calabi-Yau, i.e. by $D \mapsto D^2 + DL$ where $D$ is a divisor in the mirror and $L$ is the divisor mirror to the twisting section. We use this to find an example of a connected $(M-2)$-real quintic threefold.


title: Elastic neutrino scattering on nuclear systems as a probe of neutrino electromagnetic interactions

abstract: We study the electromagnetic contribution to elastic neutrino-proton and neutrino-neutron scattering processes. The neutrino electromagnetic charge, magnetic, electric, and anapole form factors of both diagonal and transition types in the mass basis are taken into account in the present formalism. When treating the nucleon electromagnetic vertex, we take into account not only the charge and magnetic form factors of a nucleon, but also its electric and anapole form factors. We examine how the effects of the neutrino magnetic moment can be disentangled from those of the strange quark contributions to the nucleon weak neutral current form factors.


title: Cross-polarization extinction enhancement and spin-orbit coupling of light for quantum-dot cavity-QED spectroscopy

abstract: Resonant laser spectroscopy is essential for the characterization, operation, and manipulation of single quantum systems such as semiconductor quantum dots. The separation of the weak resonance fluorescence from the excitation laser is key for high-quality single- and entangled photon sources. This is often achieved by cross-polarization laser extinction, which is limited by the quality of the optical elements. Recently, it was discovered that Fresnel-reflection birefringence in combination with single-mode filtering counteracting spin-orbit coupling effects enables a three-order of magnitude improvement of polarization extinction [PRX 11, 021007 (2021)]. Here, we first investigate multiple reflections and analyze beam reshaping, and observe that the single-reflection extinction enhancement is optimal. We then demonstrate this method for cross-polarization extinction enhancement for a resonantly excited semiconductor quantum dot in a birefringent optical micro cavity, and observe a 10x improvement of single-photon contrast.


title: Star forming brightest cluster galaxies at $z\sim0.4$ in KiDS. Further studies of cold gas and stellar properties

abstract: Brightest cluster galaxies (BCGs) are among the most massive galaxies in the Universe. Their star formation (SF) history and stellar mass assembly are debated. Recent studies suggest the presence of an emerging population of intermediate-$z$ star forming and gas-rich BCGs, where the molecular gas reservoirs are impacted by strong environmental processing. We have selected three among the most star-forming $z\sim0.4$ BCGs in the Kilo-Degree Survey (KiDS), and observed them with the IRAM 30m telescope in the first three CO transitions. We found double-horn CO(1$\rightarrow$0) and CO(3$\rightarrow$2) emission for the KiDS 1433 BCG, yielding a large molecular gas reservoir with $M_{H_2}=(5.9\pm1.2)\times10^{10}~M_\odot$ and a high gas-to-stellar mass ratio $M_{H_2}/M_\star=(0.32^{+0.12}_{-0.10})$. We increase the limited sample of distant BCGs with detections in multiple CO transitions. The double-horn emission for the KiDS 1433 BCG implies a low gas concentration, while a modeling of the spectra yields an extended molecular gas reservoir, with a characteristic radius of $\sim$(5-7) kpc, which is reminiscent of a mature extended-disk phase observed in some local BCGs. For the other two BCGs we are able to set upper limits of $M_{H_2}/M_\star<0.07$ and $<0.23$, which are among the lowest for distant BCGs. We then combined our observations with available stellar, SF, and dust properties of the targeted BCGs, and compared them with $\sim100$ distant cluster galaxies, including additional intermediate-$z$ BCGs, with observations in CO from the literature. The molecular gas properties of star forming BCGs are heterogeneous. On one side, gas-rich BCGs show extended gas reservoirs, which sustain the significant SF activity, which is reminiscent of recent gas infall. Conversely, the existence of similarly star forming, but gas-poor, BCGs suggest that gas depletion precedes SF quenching.


title: Leveraging Inpainting for Single-Image Shadow Removal

abstract: Fully-supervised shadow removal methods achieve the best restoration qualities on public datasets but still generate some shadow remnants. One of the reasons is the lack of large-scale shadow & shadow-free image pairs. Unsupervised methods can alleviate the issue but their restoration qualities are much lower than those of fully-supervised methods. In this work, we find that pretraining shadow removal networks on the image inpainting dataset can reduce the shadow remnants significantly: a naive encoder-decoder network gets competitive restoration quality w.r.t. the state-of-the-art methods via only 10% shadow & shadow-free image pairs. After analyzing networks with/without inpainting pre-training via the information stored in the weight (IIW), we find that inpainting pretraining improves restoration quality in non-shadow regions and enhances the generalization ability of networks significantly. Additionally, shadow removal fine-tuning enables networks to fill in the details of shadow regions. Inspired by these observations we formulate shadow removal as an adaptive fusion task that takes advantage of both shadow removal and image inpainting. Specifically, we develop an adaptive fusion network consisting of two encoders, an adaptive fusion block, and a decoder. The two encoders are responsible for extracting the feature from the shadow image and the shadow-masked image respectively. The adaptive fusion block is responsible for combining these features in an adaptive manner. Finally, the decoder converts the adaptive fused features to the desired shadow-free result. The extensive experiments show that our method empowered with inpainting outperforms all state-of-the-art methods.


title: The electric and magnetic disordered Maxwell equations as eigenvalue problem

abstract: We consider Maxwell's equations in a 3-dimensional material, in which both, the electric permittivity, as well as the magnetic permeability, fluctuate in space. Differently from all previous treatments of the disordered electromagnetic problem, we transform Maxwell's equations and the electric and magnetic fields in such a way that the linear operator in the resulting secular equations is manifestly Hermitian, in order to deal with a proper eigenvalue problem. As an application of our general formalism, we use an appropriate version of the Coherent-Potential approximation (CPA) to calculate the photon density of states and scattering-mean-free path. Applying standard localization theory, we find that in the presence of both electric and magnetic disorder the spectral range of Anderson localization appears to be much larger than in the case of electric (or magnetic) disorder only. Our result could explain the absence of experimental evidence of 3D Anderson localization of light (all the existing experiments has been performed with electric disorder only) and pave the way towards a successful search of this, up to now, elusive phenomenon.


title: Crystallization and topology-induced dynamical heterogeneities in soft granular clusters

abstract: Soft-granular media such as dense emulsions, foams or tissues tend to exhibit either fluid- or solid-like properties depending on the applied stresses. However, the internal dynamics of soft granular systems bound by closed interfaces is poorly understood, while it remains of significant interest in diverse fields ranging from material science (porous materials) and tissue engineering (granular bioinks) to developmental biology (embryos, organoids) and medicine (circulating tumor cell clusters). Here, we report the spontaneous occurrence of crystalline-like hexagonal structures within soft granular clusters which self-organize under external flow. We use a densely packed double emulsion as a model soft granular material to produce clusters of sizes of 20-40 grains (droplets). We find that, optimally, the crystallites emerge under weak flows, when the internal shear stresses slightly agitate the system allowing internal rearrangements. Excessive flows destroy the delicate crystalline structure and lead to constant internal recirculations, i.e., effective fluidization of the granular medium. Upon subjecting the clusters to cycles of constriction and relaxation/expansion, we also find differences between the behaviours of two groups of droplets: those within the inner part of the cluster and those at its rim, with the latter subjected to larger deformations and less frequent rearrangements, effectively acting as an elastic solid-like membrane around the inner fluid-like core. This structural-dynamical heterogeneity appears to be of purely topological origin and as such we expect it to remain universal in various types of soft granular clusters or jets including also cell aggregates, organoids or bioprinted tissues.


title: Predicting the cardinality and maximum degree of a reduced Gr\"obner basis

abstract: We construct neural network regression models to predict key metrics of complexity for Gr\"obner bases of binomial ideals. This work illustrates why predictions with neural networks from Gr\"obner computations are not a straightforward process. Using two probabilistic models for random binomial ideals, we generate and make available a large data set that is able to capture sufficient variability in Gr\"obner complexity. We use this data to train neural networks and predict the cardinality of a reduced Gr\"obner basis and the maximum total degree of its elements. While the cardinality prediction problem is unlike classical problems tackled by machine learning, our simulations show that neural networks, providing performance statistics such as $r^2 = 0.401$, outperform naive guess or multiple regression models with $r^2 = 0.180$.


title: Hodge numbers of motives attached to Kloosterman and Airy moments

abstract: Fres\'an, Sabbah, and Yu constructed motives $\mathrm{M}_{n+1}^k(\mathrm{Kl})$ over $\mathbb{Q}$ encoding symmetric power moments of Kloosterman sums in $n$ variables. When $n=1$, they use the irregular Hodge filtration on the exponential mixed Hodge structure associated with $\mathrm{M}_{2}^k(\mathrm{Kl})$ to compute the Hodge numbers of $\mathrm{M}_{2}^k(\mathrm{Kl})$, which turn out to be either $0$ or $1$. In this article, I explain how to compute the (irregular) Hodge numbers of $\mathrm{M}_{n+1}^k(\mathrm{Kl})$ for $n=2$ or for general values of $n$ such that $\gcd(k,n+1)=1$. I will also discuss related motives attached to Airy moments constructed by Sabbah and Yu. In particular, the computation shows that there are Hodge numbers bigger than $1$ in most cases.


title: Online Algorithms with Randomly Infused Advice

abstract: We introduce a novel method for the rigorous quantitative evaluation of online algorithms that relaxes the "radical worst-case" perspective of classic competitive analysis. In contrast to prior work, our method, referred to as randomly infused advice (RIA), does not make any probabilistic assumptions about the input sequence and does not rely on the development of designated online algorithms. Rather, it can be applied to existing online randomized algorithms, introducing a means to evaluate their performance in scenarios that lie outside the radical worst-case regime. More concretely, an online algorithm ALG with RIA benefits from pieces of advice generated by an omniscient but not entirely reliable oracle. The crux of the new method is that the advice is provided to ALG by writing it into the buffer B from which ALG normally reads its random bits, hence allowing us to augment it through a very simple and non-intrusive interface. The (un)reliability of the oracle is captured via a parameter 0 {\le} {\alpha} {\le} 1 that determines the probability (per round) that the advice is successfully infused by the oracle; if the advice is not infused, which occurs with probability 1 - {\alpha}, then the buffer B contains fresh random bits (as in the classic online setting). The applicability of the new RIA method is demonstrated by applying it to three extensively studied online problems: paging, uniform metrical task systems, and online set cover. For these problems, we establish new upper bounds on the competitive ratio of classic online algorithms that improve as the infusion parameter {\alpha} increases. These are complemented with (often tight) lower bounds on the competitive ratio of online algorithms with RIA for the three problems.


title: Electronic structure of low-dimensional inorganic/organic interfaces: Hybrid density functional theory, $G_0W_0$, and electrostatic models

abstract: First-principles simulations of electronic properties of hybrid inorganic/organic interfaces are challenging, as common density-functional theory (DFT) approximations target specific material classes like bulk semiconductors or gas-phase molecules. Taking as a prototypical example anthracene physisorbed on monolayer MoS$_2$, we assess the ability of different \textit{ab initio} schemes to describe the electronic structure using semi-local and hybrid DFT. For the latter, an unconstrained three-parameter range-separation scheme is employed. Comparisons against many-body perturbation theory results indicate that DFT is substantially unable to make reliable predictions about interfacial properties. Hybrid functionals, while improving the accuracy of the MoS$_2$ band structure, do not systematically enhance the description of hybrid systems with respect to semi-local functionals. Neither approach provides a good starting point for $G_0W_0$, which, consequently, cannot provide much information beyond the correct energy level alignment. We show that non-empirically parametrized electrostatic screening models can accomplish the same task at negligible computational costs. Such schemes can include substrates of hybrid interfaces in good agreement with experimental data. Our results indicate that currently, fully atomistic, many-body simulations of weakly interacting hybrid systems are not worth the required computational resources. In contrast, ab-initio-parametrized effective models mimicking the environment offer a scalable alternative without compromising accuracy and predictivity.


title: Interactive Context-Preserving Color Highlighting for Multiclass Scatterplots

abstract: Color is one of the main visual channels used for highlighting elements of interest in visualization. However, in multi-class scatterplots, color highlighting often comes at the expense of degraded color discriminability. In this paper, we argue for context-preserving highlighting during the interactive exploration of multi-class scatterplots to achieve desired pop-out effects, while maintaining good perceptual separability among all classes and consistent color mapping schemes under varying points of interest. We do this by first generating two contrastive color mapping schemes with large and small contrasts to the background. Both schemes maintain good perceptual separability among all classes and ensure that when colors from the two palettes are assigned to the same class, they have a high color consistency in color names. We then interactively combine these two schemes to create a dynamic color mapping for highlighting different points of interest. We demonstrate the effectiveness through crowd-sourced experiments and case studies.


title: Lyman-{\alpha} polarization from cosmological ionization fronts: I. Radiative transfer simulations

abstract: In this paper, we present the formalism of simulating Lyman-$\alpha$ emission and polarization around reionization ($z$ = 8) from a plane-parallel ionization front. We accomplish this by using a Monte Carlo method to simulate the production of a Lyman-$\alpha$ photon, its propagation through an ionization front, and the eventual escape of this photon. This paper focuses on the relation of the input parameters of ionization front speed $U$, blackbody temperature $T_{\rm bb}$, and neutral hydrogen density $n_{\rm HI}$, on intensity $I$ and polarized intensity $P$ as seen by a distant observer. The resulting values of intensity range from $3.18\times 10^{-14}$ erg/cm$^{2}$/s/sr to $1.96 \times 10^{-9}$ erg/cm$^{2}$/s/sr , and the polarized intensity ranges from $5.73\times 10^{-17}$ erg/cm$^{2}$/s/sr to $5.31 \times 10^{-12}$ erg/cm$^{2}$/s/sr. We found that higher $T_{\rm bb}$, higher $U$, and higher $n_{\rm HI}$ contribute to higher intensity, as well as polarized intensity, though the strongest dependence was on the hydrogen density. The dependence of viewing angle of the front is also explored. We present tests to support the validity model, which makes the model suitable for further use in a following paper where we will calculate the intensity and polarized intensity power spectrum on a full reionization simulation.


title: Lyman-$\alpha$ polarization from cosmological ionization fronts: II. Implications for intensity mapping

abstract: This is the second paper in a series whose aim is to predict the power spectrum of intensity and polarized intensity from cosmic reionization fronts. After building the analytic models for intensity and polarized intensity calculations in paper I, here we apply these models to simulations of reionization. We construct a geometric model for identifying front boundaries, calculate the intensity and polarized intensity for each front, and compute a power spectrum of these results. This method was applied to different simulation sizes and resolutions, so we ensure that our results are convergent. We find that the power spectrum of fluctuations at $z=8$ in a bin of width $\Delta z=0.5$ ($\lambda/\Delta\lambda=18$) is $\Delta_\ell \equiv [\ell(\ell+1)C_\ell/2\pi]^{1/2}$ is $3.2\times 10^{-11}$ erg s$^{-1}$ cm$^{-2}$ sr$^{-1}$ for the intensity $I$, $7.6\times10^{-13}$ erg s$^{-1}$ cm$^{-2}$ sr$^{-1}$ for the $E$-mode polarization, and $5.8\times10^{-13}$ erg s$^{-1}$ cm$^{-2}$ sr$^{-1}$ for the $B$-mode polarization at $\ell=1.5\times10^4$. After computing the power spectrum, we compare results to detectable scales and discuss implications for observing this signal based on a proposed experiment. We find that, while fundamental physics does not exclude this kind of mapping from being attainable, an experiment would need to be highly ambitious and require significant advances to make mapping Lyman-$\alpha$ polarization from cosmic reionization fronts a feasible goal.


title: A Second-Order Method for Stochastic Bandit Convex Optimisation

abstract: We introduce a simple and efficient algorithm for unconstrained zeroth-order stochastic convex bandits and prove its regret is at most $(1 + r/d)[d^{1.5} \sqrt{n} + d^3] polylog(n, d, r)$ where $n$ is the horizon, $d$ the dimension and $r$ is the radius of a known ball containing the minimiser of the loss.


title: Towards Minimax Optimality of Model-based Robust Reinforcement Learning

abstract: We study the sample complexity of obtaining an $\epsilon$-optimal policy in \emph{Robust} discounted Markov Decision Processes (RMDPs), given only access to a generative model of the nominal kernel. This problem is widely studied in the non-robust case, and it is known that any planning approach applied to an empirical MDP estimated with $\tilde{\mathcal{O}}(\frac{H^3 \mid S \mid\mid A \mid}{\epsilon^2})$ samples provides an $\epsilon$-optimal policy, which is minimax optimal. Results in the robust case are much more scarce. For $sa$- (resp $s$-)rectangular uncertainty sets, the best known sample complexity is $\tilde{\mathcal{O}}(\frac{H^4 \mid S \mid^2\mid A \mid}{\epsilon^2})$ (resp. $\tilde{\mathcal{O}}(\frac{H^4 \mid S \mid^2\mid A \mid^2}{\epsilon^2})$), for specific algorithms and when the uncertainty set is based on the total variation (TV), the KL or the Chi-square divergences. In this paper, we consider uncertainty sets defined with an $L_p$-ball (recovering the TV case), and study the sample complexity of \emph{any} planning algorithm (with high accuracy guarantee on the solution) applied to an empirical RMDP estimated using the generative model. In the general case, we prove a sample complexity of $\tilde{\mathcal{O}}(\frac{H^4 \mid S \mid\mid A \mid}{\epsilon^2})$ for both the $sa$- and $s$-rectangular cases (improvements of $\mid S \mid$ and $\mid S \mid\mid A \mid$ respectively). When the size of the uncertainty is small enough, we improve the sample complexity to $\tilde{\mathcal{O}}(\frac{H^3 \mid S \mid\mid A \mid }{\epsilon^2})$, recovering the lower-bound for the non-robust case for the first time and a robust lower-bound when the size of the uncertainty is small enough.


title: Word and bit line operation of a 1x1 {\mu}m2 superconducting vortex-based memory

abstract: The lack of dense random access memory is one of the main bottlenecks for the creation of a digital superconducting computer. In this work we study experimentally vortex-based superconducting memory cells. Three main results are obtained. First, we test scalability and demonstrate that the cells can be straightforwardly miniaturized to submicron sizes. Second, we emphasize the importance of conscious geometrical engineering. In the studied devices we introduce an asymmetric easy track for vortex motion and show that it enables a controllable manipulation of vortex states. Finally, we perform a detailed analysis of word and bit line operation of a 1x1 {\mu}m2 cell. High-endurance, nonvolatile operation at zero magnetic field is reported. Remarkably, we observe that the combined word and bit line threshold current is significantly reduced compared to the bare word-line operation. This could greatly improve the selectivity of individual cell addressing in a multibit RAM. The achieved one square micron area is an important milestone and a significant step forward towards creation of a dense cryogenic memory.


title: LCDnet: A Lightweight Crowd Density Estimation Model for Real-time Video Surveillance

abstract: Automatic crowd counting using density estimation has gained significant attention in computer vision research. As a result, a large number of crowd counting and density estimation models using convolution neural networks (CNN) have been published in the last few years. These models have achieved good accuracy over benchmark datasets. However, attempts to improve the accuracy often lead to higher complexity in these models. In real-time video surveillance applications using drones with limited computing resources, deep models incur intolerable higher inference delay. In this paper, we propose (i) a Lightweight Crowd Density estimation model (LCDnet) for real-time video surveillance, and (ii) an improved training method using curriculum learning (CL). LCDnet is trained using CL and evaluated over two benchmark datasets i.e., DroneRGBT and CARPK. Results are compared with existing crowd models. Our evaluation shows that the LCDnet achieves a reasonably good accuracy while significantly reducing the inference time and memory requirement and thus can be deployed over edge devices with very limited computing resources.


title: Refined $F_5$ Algorithms for Ideals of Minors of Square Matrices

abstract: We consider the problem of computing a grevlex Gr\"obner basis for the set $F_r(M)$ of minors of size $r$ of an $n\times n$ matrix $M$ of generic linear forms over a field of characteristic zero or large enough. Such sets are not regular sequences; in fact, the ideal $\langle F_r(M) \rangle$ cannot be generated by a regular sequence. As such, when using the general-purpose algorithm $F_5$ to find the sought Gr\"obner basis, some computing time is wasted on reductions to zero. We use known results about the first syzygy module of $F_r(M)$ to refine the $F_5$ algorithm in order to detect more reductions to zero. In practice, our approach avoids a significant number of reductions to zero. In particular, in the case $r=n-2$, we prove that our new algorithm avoids all reductions to zero, and we provide a corresponding complexity analysis which improves upon the previously known estimates.


title: Assessing the source of error in the Thomas-Fermi-von Weizs\"acker density functional

abstract: We investigate the source of error in the Thomas-Fermi-von Weizs\"acker (TFW) density functional relative to Kohn-Sham density functional theory (DFT). In particular, through numerical studies on a range of materials, for a variety of crystal structures subject to strain and atomic displacements, we find that while the ground state electron density in TFW orbital-free DFT is close to the Kohn-Sham density, the corresponding energy deviates significantly from the Kohn-Sham value. We show that these differences are a consequence of the poor representation of the linear response within the TFW approximation for the electronic kinetic energy, confirming conjectures in the literature. In so doing, we find that the energy computed from a non-self-consistent Kohn-Sham calculation using the TFW electronic ground state density is in very good agreement with that obtained from the fully self-consistent Kohn-Sham solution.


title: A LED-based Functional Light Source for the Characterization of Thin Film Solar Cells

abstract: A light source of selective functionalities of wavelengths, illumination periods, and intensities is desirable for investigating performance parameters as well as the quality of different layers and interfaces of solar cells. Conventional light sources used for these types of research are expensive, space-consuming, cumbersome to work with, and have limited functionalities. We have developed a light source with variable wavelength, intensity, and illumination period to address these issues using an illumination period control unit, voltage regulator, neutral density filter, alterable light emitting diodes, etc. As a proof-of-concept, we employed our constructed light source to investigate the intensity, wavelength, illumination period modulated photovoltaic, and impedance properties of inorganic thin film solar cells such as cadmium telluride (CdTe) and copper zinc tin sulfide (CZTS) using lights of wavelength 410, 520, and 635 nm. We hope to use this light source for photophysical and photochemical studies of metal oxide materials used for renewable energy research.


title: A CT-based deep learning system for automatic assessment of aortic root morphology for TAVI planning

abstract: Accurate planning of transcatheter aortic implantation (TAVI) is important to minimize complications, and it requires anatomic evaluation of the aortic root (AR), commonly done through 3D computed tomography (CT) image analysis. Currently, there is no standard automated solution for this process. Two convolutional neural networks (CNNs) with 3D U-Net architectures (model 1 and model 2) were trained on 310 CT scans for AR analysis. Model 1 performed AR segmentation and model 2 identified the aortic annulus and sinotubular junction (STJ) contours. Results were validated against manual measurements of 178 TAVI candidates. After training, the two models were integrated into a fully automated pipeline for geometric analysis of the AR. The trained CNNs effectively segmented the AR, annulus and STJ, resulting in mean Dice scores of 0.93 for the AR, and mean surface distances of 1.16 mm and 1.30 mm for the annulus and STJ, respectively. Automatic measurements were in good agreement with manual annotations, yielding annulus diameters that differed by 0.52 [-2.96, 4.00] mm (bias and 95% limits of agreement for manual minus algorithm). Evaluating the area-derived diameter, bias and limits of agreement were 0.07 [-0.25, 0.39] mm. STJ and sinuses diameters computed by the automatic method yielded differences of 0.16 [-2.03, 2.34] and 0.1 [-2.93, 3.13] mm, respectively. The proposed tool is a fully automatic solution to quantify morphological biomarkers for pre-TAVI planning. The method was validated against manual annotation from clinical experts and showed to be quick and effective in assessing AR anatomy, with potential for time and cost savings.


title: Key Design Choices for Double-Transfer in Source-Free Unsupervised Domain Adaptation

abstract: Fine-tuning and Domain Adaptation emerged as effective strategies for efficiently transferring deep learning models to new target tasks. However, target domain labels are not accessible in many real-world scenarios. This led to the development of Unsupervised Domain Adaptation (UDA) methods, which only employ unlabeled target samples. Furthermore, efficiency and privacy requirements may also prevent the use of source domain data during the adaptation stage. This challenging setting, known as Source-Free Unsupervised Domain Adaptation (SF-UDA), is gaining interest among researchers and practitioners due to its potential for real-world applications. In this paper, we provide the first in-depth analysis of the main design choices in SF-UDA through a large-scale empirical study across 500 models and 74 domain pairs. We pinpoint the normalization approach, pre-training strategy, and backbone architecture as the most critical factors. Based on our quantitative findings, we propose recipes to best tackle SF-UDA scenarios. Moreover, we show that SF-UDA is competitive also beyond standard benchmarks and backbone architectures, performing on par with UDA at a fraction of the data and computational cost. In the interest of reproducibility, we include the full experimental results and code as supplementary material.


title: On the Interventional Kullback-Leibler Divergence

abstract: Modern machine learning approaches excel in static settings where a large amount of i.i.d. training data are available for a given task. In a dynamic environment, though, an intelligent agent needs to be able to transfer knowledge and re-use learned components across domains. It has been argued that this may be possible through causal models, aiming to mirror the modularity of the real world in terms of independent causal mechanisms. However, the true causal structure underlying a given set of data is generally not identifiable, so it is desirable to have means to quantify differences between models (e.g., between the ground truth and an estimate), on both the observational and interventional level. In the present work, we introduce the Interventional Kullback-Leibler (IKL) divergence to quantify both structural and distributional differences between models based on a finite set of multi-environment distributions generated by interventions from the ground truth. Since we generally cannot quantify all differences between causal models for every finite set of interventional distributions, we propose a sufficient condition on the intervention targets to identify subsets of observed variables on which the models provably agree or disagree.


title: Effective single mode methodology for strongly coupled multimode molecular-plasmon nanosystems

abstract: Strong coupling between molecules and quantized fields has emerged as an effective methodology to engineer molecular properties. New hybrid states are formed when molecules interact with quantized fields. Since the properties of these states can be modulated by fine-tuning the field features, an exciting and new side of chemistry can be explored. In particular, significant modifications of the molecular properties can be achieved in plasmonic nanocavities, where the field quantization volume is reduced to sub-nanometric volumes. Intriguing applications of nanoplasmonics include the possibility of coupling the plasmons with a single molecule, instrumental for sensing, high-resolution spectroscopy, and single-molecule imaging. In this work, we focus on phenomena where the simultaneous effects of multiple plasmonic modes are critical. We propose a theoretical methodology to account for many plasmonic modes simultaneously while retaining computational feasibility. Our approach is conceptually simple and allows us to accurately account for the multimode effects and rationalize the nature of the interaction between multiple plasmonic excitations and molecules.


title: A function space perspective on stochastic shape evolution

abstract: Modelling randomness in shape data, for example, the evolution of shapes of organisms in biology, requires stochastic models of shapes. This paper presents a new stochastic shape model based on a description of shapes as functions in a Sobolev space. Using an explicit orthonormal basis as a reference frame for the noise, the model is independent of the parameterisation of the mesh. We define the stochastic model, explore its properties, and illustrate examples of stochastic shape evolutions using the resulting numerical framework.


title: Discovering Sparse Representations of Lie Groups with Machine Learning

abstract: Recent work has used deep learning to derive symmetry transformations, which preserve conserved quantities, and to obtain the corresponding algebras of generators. In this letter, we extend this technique to derive sparse representations of arbitrary Lie algebras. We show that our method reproduces the canonical (sparse) representations of the generators of the Lorentz group, as well as the $U(n)$ and $SU(n)$ families of Lie groups. This approach is completely general and can be used to find the infinitesimal generators for any Lie group.


title: Desingularizations of Quiver Grassmannians for the Equioriented Cycle Quiver

abstract: We construct torus equivariant desingularizations of quiver Grassmannians for arbitrary nilpotent representations of an equioriented cycle quiver. We apply this to the computation of their torus equivariant cohomology.


title: Frequency-dependent Faraday and Kerr rotation in anisotropic nonsymmorphic Dirac semimetals

abstract: We calculate the frequency-dependent longitudinal and Hall conductivities and the Faraday and Kerr rotation angles for a single sheet of anisotropic Dirac semimetal protected by nonsymmorphic symmetry in the presence of a Zeeman term coupling to the out-of-plane component of the spin. While the Zeeman term causes a rotation of the plane of polarization of the light, the anisotropy causes the appearance of an elliptically polarized component in an initially linearly polarized beam. The two effects can be combined in a single complex Faraday rotation angle. At the zero-frequency limit, we find a finite value of the Faraday rotation angle, which is given by $2\alpha_F$, where $\alpha_F$ is the effective fine structure constant associated with the velocity of the linearly dispersing Dirac fermions. We also find a logarithmic enhancement of the Faraday (and Kerr) rotation angles as the frequency of the light approaches the absorption edge associated with the Zeeman-induced gap. While the enhancement is reduced by impurity scattering, it remains significant for an attainable level of material purity. These results indicate that two-dimensional Dirac materials protected by nonsymmorphic symmetry are responsive to Zeeman couplings and can be used as platforms for magneto-optic applications, such as the realization of polarization-rotating devices.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.optics


title: Attention-based Domain Adaptation Forecasting of Streamflow in Data-Sparse Regions

abstract: Streamflow forecasts are critical to guide water resource management, mitigate drought and flood effects, and develop climate-smart infrastructure and governance. Many global regions, however, have limited streamflow observations to guide evidence-based management strategies. In this paper, we propose an attention-based domain adaptation streamflow forecaster for data-sparse regions. Our approach leverages the hydrological characteristics of a data-rich source domain to induce effective 24hr lead-time streamflow prediction in a data-constrained target domain. Specifically, we employ a deep-learning framework leveraging domain adaptation techniques to simultaneously train streamflow predictions and discern between both domains using an adversarial method. Experiments against baseline cross-domain forecasting models show improved performance for 24hr lead-time streamflow forecasting.


title: The multiplicity mod 2 is not a bi-lipschitz invariant

abstract: We show that subanalytic bi-Lipschitz homeomorphisms in general does not preserve the multiplicities of real analytic sets.


title: High dimensional sequential compactness

abstract: We give examples of $n$-sequentially compact spaces that are not $(n+1)$-sequentially compact under several assumptions. We improve results from Kubis and Szeptycki by building such examples from $\mathfrak{b=c}$ and $\diamondsuit(\mathfrak{b})+\mathfrak{d}=\omega_1$. We also introduce a new splitting-like cardinal invariant and then show that the same holds under $\mathfrak{s=b}$.


title: On Abstract Spectral Constants

abstract: We prove bounds for a class of unital homomorphisms arising in the study of spectral sets, by involving extremal functions and vectors. These are used to recover three celebrated results on spectral constants by Crouzeix--Palencia, Okubo--Ando and von Neumann in a unified way and to refine a recent result by Crouzeix--Greenbaum.


title: Unbinned Profiled Unfolding

abstract: Unfolding is an important procedure in particle physics experiments which corrects for detector effects and provides differential cross section measurements that can be used for a number of downstream tasks, such as extracting fundamental physics parameters. Traditionally, unfolding is done by discretizing the target phase space into a finite number of bins and is limited in the number of unfolded variables. Recently, there have been a number of proposals to perform unbinned unfolding with machine learning. However, none of these methods (like most unfolding methods) allow for simultaneously constraining (profiling) nuisance parameters. We propose a new machine learning-based unfolding method that results in an unbinned differential cross section and can profile nuisance parameters. The machine learning loss function is the full likelihood function, based on binned inputs at detector-level. We first demonstrate the method with simple Gaussian examples and then show the impact on a simulated Higgs boson cross section measurement.


title: Israel coordinates for all static spherically symmetric spacetimes with vanishing second Ricci invariant

abstract: Static spherically symmetric spacetimes with vanishing second Ricci invariant constitute an important class of solutions to Einstein's equations and more generally as archetypes of regular black holes. When studying completeness one is most often presented with the Kruskal - Szekeres procedure. However, this procedure only works if the spacetime admits a single non-degenerate Killing horizon (a single bifurcation two-sphere). Here we generalize the Israel procedure to examine a constructive approach to completeness based entirely on the static spherically symmetric nature of spacetimes with a vanishing second Ricci invariant. It is shown by "block gluing" that the Israel procedure can cover two bifurcation two-spheres, but can fail with three. No coordinate transformations are used in this work.


title: Span-based Named Entity Recognition by Generating and Compressing Information

abstract: The information bottleneck (IB) principle has been proven effective in various NLP applications. The existing work, however, only used either generative or information compression models to improve the performance of the target task. In this paper, we propose to combine the two types of IB models into one system to enhance Named Entity Recognition (NER). For one type of IB model, we incorporate two unsupervised generative components, span reconstruction and synonym generation, into a span-based NER system. The span reconstruction ensures that the contextualised span representation keeps the span information, while the synonym generation makes synonyms have similar representations even in different contexts. For the other type of IB model, we add a supervised IB layer that performs information compression into the system to preserve useful features for NER in the resulting span representations. Experiments on five different corpora indicate that jointly training both generative and information compression models can enhance the performance of the baseline span-based NER system. Our source code is publicly available at https://github.com/nguyennth/joint-ib-models.


title: GTR-CTRL: Instrument and Genre Conditioning for Guitar-Focused Music Generation with Transformers

abstract: Recently, symbolic music generation with deep learning techniques has witnessed steady improvements. Most works on this topic focus on MIDI representations, but less attention has been paid to symbolic music generation using guitar tablatures (tabs) which can be used to encode multiple instruments. Tabs include information on expressive techniques and fingerings for fretted string instruments in addition to rhythm and pitch. In this work, we use the DadaGP dataset for guitar tab music generation, a corpus of over 26k songs in GuitarPro and token formats. We introduce methods to condition a Transformer-XL deep learning model to generate guitar tabs (GTR-CTRL) based on desired instrumentation (inst-CTRL) and genre (genre-CTRL). Special control tokens are appended at the beginning of each song in the training corpus. We assess the performance of the model with and without conditioning. We propose instrument presence metrics to assess the inst-CTRL model's response to a given instrumentation prompt. We trained a BERT model for downstream genre classification and used it to assess the results obtained with the genre-CTRL model. Statistical analyses evidence significant differences between the conditioned and unconditioned models. Overall, results indicate that the GTR-CTRL methods provide more flexibility and control for guitar-focused symbolic music generation than an unconditioned model.


title: Global injectivity of planar non-singular maps polynomial in one variable

abstract: We consider non-singular and Jacobian maps whose components are polynomial in the variable y. We prove that if a map has y-degree one, then it is the composition of a triangular map and a quasi-triangular map. We also prove that non-singular y-quadratic maps are injective if one of the leading functional coefficients does not vanish. Moreover, y-quadratic Jacobian maps are the composition of a quasi-triangular map and 3 triangular maps. Other results are given for wider classes of non-singular maps, considering also injectivity on vertical strips I x R.


title: Algebras of smooth functions and holography of traversing flows

abstract: Let $X$ be a smooth compact manifold and $v$ a vector field on $X$ which admits a smooth function $f: X \to \mathbf R$ such that $df(v) > 0$. Let $\partial X$ be the boundary of $X$. We denote by $C^\infty(X)$ the algebra of smooth functions on $X$ and by $C^\infty(\partial X)$ the algebra of smooth functions on $\partial X$. With the help of $(v, f)$, we introduce two subalgebras $\mathcal A(v)$ and $\mathcal B(f)$ of $C^\infty(\partial X)$ and prove (under mild hypotheses) that $C^\infty(X) \approx \mathcal A(v) \hat\otimes \mathcal B(f)$, the topological tensor product. Thus the topological algebras $\mathcal A(v)$ and $\mathcal B(f)$, \emph{viewed as boundary data}, allow for a reconstruction of $C^\infty(X)$. As a result, $\mathcal A(v)$ and $\mathcal B(f)$ allow for the recovery of the smooth topological type of the bulk $X$.


title: Existence of subcritical percolation phases for generalised weight-dependent random connection models

abstract: We derive a sufficient condition for the existence of a subcritical percolation phase for a wide range of continuum percolation models where each vertex is embedded into Euclidean space according to an iid-marked stationary Poisson point process. In contrast to many established models, the probability of existence of an edge may not only depend on the distance and the weights of its end vertices but also on a surrounding vertex set. Our results can be applied in particular to models combining heavy-tailed degree distributions and long-range effects, which are typically well connected. More precisely, we study the critical annulus-crossing intensity $\widehat{\lambda}_c$ which is smaller or equal to the classical critical percolation intensity $\lambda_c$ and derive sharp conditions for $\widehat{\lambda}_c>0$ by controlling the occurrence of long edges. We further present tail bounds for the Euclidean diameter and number of points of the typical cluster in the subcritical phase and apply our results to several examples including some in which $\widehat{\lambda}_c<\lambda_c$.


title: A Practical Mixed Precision Algorithm for Post-Training Quantization

abstract: Neural network quantization is frequently used to optimize model size, latency and power consumption for on-device deployment of neural networks. In many cases, a target bit-width is set for an entire network, meaning every layer get quantized to the same number of bits. However, for many networks some layers are significantly more robust to quantization noise than others, leaving an important axis of improvement unused. As many hardware solutions provide multiple different bit-width settings, mixed-precision quantization has emerged as a promising solution to find a better performance-efficiency trade-off than homogeneous quantization. However, most existing mixed precision algorithms are rather difficult to use for practitioners as they require access to the training data, have many hyper-parameters to tune or even depend on end-to-end retraining of the entire model. In this work, we present a simple post-training mixed precision algorithm that only requires a small unlabeled calibration dataset to automatically select suitable bit-widths for each layer for desirable on-device performance. Our algorithm requires no hyper-parameter tuning, is robust to data variation and takes into account practical hardware deployment constraints making it a great candidate for practical use. We experimentally validate our proposed method on several computer vision tasks, natural language processing tasks and many different networks, and show that we can find mixed precision networks that provide a better trade-off between accuracy and efficiency than their homogeneous bit-width equivalents.


title: Infinite-volume states with irreducible localization sets for gradient models on trees

abstract: We consider general classes of gradient models on regular trees with values in a countable Abelian group $S$ such as $\mathbb{Z}$ or $\mathbb{Z}_q$, in regimes of strong coupling (or low temperature). This includes unbounded spin models like the p-SOS model and finite-alphabet clock models. We prove the existence of families of distinct homogeneous tree-indexed Markov chain Gibbs states $\mu_A$ whose single-site marginals concentrate on a given finite subset $A \subset S$ of spin values, under a strong coupling condition for the interaction, depending only on the cardinality $\vert A \vert$ of $A$. The existence of such states is a new and robust phenomenon which is of particular relevance for infinite spin models. These states are not convex combinations of each other, and in particular the states with $\vert A \vert \geq 2$ can not be decomposed into homogeneous Markov-chain Gibbs states with a single-valued concentration center. As a further application of the method we obtain moreover the existence of new types of $\mathbb{Z}$-valued gradient Gibbs states, whose single-site marginals do not localize, but whose correlation structure depends on the finite set $A$.


title: Correlations Between Neutrinoless Double-Beta, Double Gamow-Teller and Double-Magnetic Decays in the pnQRPA Framework

abstract: We explore the relation between the nuclear matrix elements of neutrinoless double-beta ($0\nu\beta\beta$) decay and two other processes: double Gamow-Teller (DGT) and double-magnetic dipole (M1M1) transitions, with focus on medium-mass to heavy nuclei studied with the proton-neutron quasiparticle random-phase approximation (pnQRPA) framework. We explore a wide span of isoscalar proton-neutron pairing strengths covering the typical range of values that describe well $\beta$- and two-neutrino $\beta\beta$-decay data. Our results indicate good linear correlations between $0\nu\beta\beta$ and both DGT and M1M1 matrix elements. Together with future measurements of DGT and M1M1 transitions, these correlations could help constrain the values of the $0\nu\beta\beta$-decay nuclear matrix elements.


title: DNArch: Learning Convolutional Neural Architectures by Backpropagation

abstract: We present Differentiable Neural Architectures (DNArch), a method that jointly learns the weights and the architecture of Convolutional Neural Networks (CNNs) by backpropagation. In particular, DNArch allows learning (i) the size of convolutional kernels at each layer, (ii) the number of channels at each layer, (iii) the position and values of downsampling layers, and (iv) the depth of the network. To this end, DNArch views neural architectures as continuous multidimensional entities, and uses learnable differentiable masks along each dimension to control their size. Unlike existing methods, DNArch is not limited to a predefined set of possible neural components, but instead it is able to discover entire CNN architectures across all feasible combinations of kernel sizes, widths, depths and downsampling. Empirically, DNArch finds performant CNN architectures for several classification and dense prediction tasks on sequential and image data. When combined with a loss term that controls the network complexity, DNArch constrains its search to architectures that respect a predefined computational budget during training.


title: Scattering and blow-up dichotomy of the energy-critical nonlinear Schr\"odinger equation with the inverse-square potential

abstract: In this paper, we consider the energy critical nonlinear Schr\"odinger equation with a repulsive inverse square potential. In particular, we deal with radial initial data, whose energy is equal to the energy of static solution to the corresponding nonlinear Schr\"odinger equation without a potential. We investigate time behavior of the radial solutions with such initial data.


title: A Survey on Cyber-Resilience Approaches for Cyber-Physical Systems

abstract: Concerns for the resilience of Cyber-Physical Systems (CPS)s in critical infrastructure are growing. CPS integrate sensing, computation, control, and networking into physical objects and mission-critical services, connecting traditional infrastructure to internet technologies. While this integration increases service efficiency, it has to face the possibility of new threats posed by the new functionalities. This leads to cyber-threats, such as denial-of-service, modification of data, information leakage, spreading of malware, and many others. Cyber-resilience refers to the ability of a CPS to prepare, absorb, recover, and adapt to the adverse effects associated with cyber-threats, e.g., physical degradation of the CPS performance resulting from a cyber-attack. Cyber-resilience aims at ensuring CPS survival by keeping the core functionalities of the CPS in case of extreme events. The literature on cyber-resilience is rapidly increasing, leading to a broad variety of research works addressing this new topic. In this article, we create a systematization of knowledge about existing scientific efforts of making CPSs cyber-resilient. We systematically survey recent literature addressing cyber-resilience with a focus on techniques that may be used on CPSs. We first provide preliminaries and background on CPSs and threats, and subsequently survey state-of-the-art approaches that have been proposed by recent research work applicable to CPSs. In particular, we aim at differentiating research work from traditional risk management approaches based on the general acceptance that it is unfeasible to prevent and mitigate all possible risks threatening a CPS. We also discuss questions and research challenges, with a focus on the practical aspects of cyber-resilience, such as the use of metrics and evaluation methods as well as testing and validation environments.


title: Combining QED and QCD transverse-momentum resummation for W and Z boson production at hadron colliders

abstract: In this article, we consider the transverse momentum ($q_T$) distribution of $W$ and $Z$ bosons produced in hadronic collisions. We combine the $q_T$ resummation for QED and QCD radiation including the QED soft emissions from the $W$ boson in the final state. In particular, we perform the resummation of enhanced logarithmic contributions due to soft and collinear emissions at next-to-leading accuracy in QED, leading-order accuracy for mixed QED-QCD and next-to-next-to-leading accuracy in QCD. In the small-$q_T$ region we consistently include in our results the next-to-next-to-leading order (i.e.\ two loops) QCD corrections and the next-to-leading order (i.e.\ one loop) electroweak corrections. The matching with the fixed-order calculation at large $q_T$ has been performed at next-to-leading order in QCD (i.e.\ at $\mathcal{O}(\alpha_S^2)$) and at leading order in QED. We show numerical results for $W$ and $Z$ production at the Tevatron and the LHC. Finally, we consider the effect of combined QCD and QED resummation for the ratio of $W$ and $Z$ $q_T$ distributions, and we study the impact of the QED corrections providing an estimate of the corresponding perturbative uncertainties.