title: Globally Injective ReLU Networks

abstract: Injectivity plays an important role in generative models where it enables inference; in inverse problems and compressed sensing with generative priors it is a precursor to well posedness. We establish sharp characterizations of injectivity of fully-connected and convolutional ReLU layers and networks. First, through a layerwise analysis, we show that an expansivity factor of two is necessary and sufficient for injectivity by constructing appropriate weight matrices. We show that global injectivity with iid Gaussian matrices, a commonly used tractable model, requires larger expansivity between 3.4 and 10.5. We also characterize the stability of inverting an injective network via worst-case Lipschitz constants of the inverse. We then use arguments from differential topology to study injectivity of deep networks and prove that any Lipschitz map can be approximated by an injective ReLU network. Finally, using an argument based on random projections, we show that an end-to-end -- rather than layerwise -- doubling of the dimension suffices for injectivity. Our results establish a theoretical basis for the study of nonlinear inverse and inference problems using neural networks.


title: Neural Certificates for Safe Control Policies

abstract: This paper develops an approach to learn a policy of a dynamical system that is guaranteed to be both provably safe and goal-reaching. Here, the safety means that a policy must not drive the state of the system to any unsafe region, while the goal-reaching requires the trajectory of the controlled system asymptotically converges to a goal region (a generalization of stability). We obtain the safe and goal-reaching policy by jointly learning two additional certificate functions: a barrier function that guarantees the safety and a developed Lyapunov-like function to fulfill the goal-reaching requirement, both of which are represented by neural networks. We show the effectiveness of the method to learn both safe and goal-reaching policies on various systems, including pendulums, cart-poles, and UAVs.


title: 3D-ZeF: A 3D Zebrafish Tracking Benchmark Dataset

abstract: In this work we present a novel publicly available stereo based 3D RGB dataset for multi-object zebrafish tracking, called 3D-ZeF. Zebrafish is an increasingly popular model organism used for studying neurological disorders, drug addiction, and more. Behavioral analysis is often a critical part of such research. However, visual similarity, occlusion, and erratic movement of the zebrafish makes robust 3D tracking a challenging and unsolved problem. The proposed dataset consists of eight sequences with a duration between 15-120 seconds and 1-10 free moving zebrafish. The videos have been annotated with a total of 86,400 points and bounding boxes. Furthermore, we present a complexity score and a novel open-source modular baseline system for 3D tracking of zebrafish. The performance of the system is measured with respect to two detectors: a naive approach and a Faster R-CNN based fish head detector. The system reaches a MOTA of up to 77.6%. Links to the code and dataset is available at the project page https://vap.aau.dk/3d-zef


title: Oblivious and Semi-Oblivious Boundedness for Existential Rules

abstract: We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure, that is independent from the initial instance. By focussing our attention on the oblivious and the semi-oblivious chase variants, we give a characterization of boundedness in terms of FO-rewritability and chase termination. We show that it is decidable to recognize if a set of rules is bounded for several classes and outline the complexity of the problem. This report contains the paper published at IJCAI 2019 and an appendix with full proofs.


title: Algorithmically Optimal Outer Measures

abstract: We investigate the relationship between algorithmic fractal dimensions and the classical local fractal dimensions of outer measures in Euclidean spaces. We introduce global and local optimality conditions for lower semicomputable outer measures. We prove that globally optimal outer measures exist. Our main theorem states that the classical local fractal dimensions of any locally optimal outer measure coincide exactly with the algorithmic fractal dimensions. Our proof uses an especially convenient locally optimal outer measure $\boldsymbol{\kappa}$ defined in terms of Kolmogorov complexity. We discuss implications for point-to-set principles.


title: V-, U-, L-, or W-shaped economic recovery after COVID: Insights from an Agent Based Model

abstract: We discuss the impact of a Covid-19--like shock on a simple model economy, described by the previously developed Mark-0 Agent-Based Model. We consider a mixed supply and demand shock, and show that depending on the shock parameters (amplitude and duration), our model economy can display V-shaped, U-shaped or W-shaped recoveries, and even an L-shaped output curve with permanent output loss. This is due to the economy getting trapped in a self-sustained "bad" state. We then discuss two policies that attempt to moderate the impact of the shock: giving easy credit to firms, and the so-called helicopter money, i.e. injecting new money into the households savings. We find that both policies are effective if strong enough. We highlight the potential danger of terminating these policies too early, although inflation is substantially increased by lax access to credit. Finally, we consider the impact of a second lockdown. While we only discuss a limited number of scenarios, our model is flexible and versatile enough to accommodate a wide variety of situations, thus serving as a useful exploratory tool for a qualitative, scenario-based understanding of post-Covid recovery. The corresponding code is available on-line.


title: Towards Incorporating Contextual Knowledge into the Prediction of Driving Behavior

abstract: Predicting the behavior of surrounding traffic participants is crucial for advanced driver assistance systems and autonomous driving. Most researchers however do not consider contextual knowledge when predicting vehicle motion. Extending former studies, we investigate how predictions are affected by external conditions. To do so, we categorize different kinds of contextual information and provide a carefully chosen definition as well as examples for external conditions. More precisely, we investigate how a state-of-the-art approach for lateral motion prediction is influenced by one selected external condition, namely the traffic density. Our investigations demonstrate that this kind of information is highly relevant in order to improve the performance of prediction algorithms. Therefore, this study constitutes the first step towards the integration of such information into automated vehicles. Moreover, our motion prediction approach is evaluated based on the public highD data set showing a maneuver prediction performance with areas under the ROC curve above 97% and a median lateral prediction error of only 0.18m on a prediction horizon of 5s.


title: Probability of symptoms and critical disease after SARS-CoV-2 infection

abstract: We quantified the probability of developing symptoms (respiratory or fever \geq 37.5 {\deg}C) and critical disease (requiring intensive care or resulting in death) of SARS-CoV-2 positive subjects. 5,484 contacts of SARS-CoV-2 index cases detected in Lombardy, Italy were analyzed, and positive subjects were ascertained via nasal swabs and serological assays. 73.9% of all infected individuals aged less than 60 years did not develop symptoms (95% confidence interval: 71.8-75.9%). The risk of symptoms increased with age. 6.6% of infected subjects older than 60 years had critical disease, with males at significantly higher risk.


title: Physics informed deep learning for computational elastodynamics without labeled data

abstract: Numerical methods such as finite element have been flourishing in the past decades for modeling solid mechanics problems via solving governing partial differential equations (PDEs). A salient aspect that distinguishes these numerical methods is how they approximate the physical fields of interest. Physics-informed deep learning is a novel approach recently developed for modeling PDE solutions and shows promise to solve computational mechanics problems without using any labeled data. The philosophy behind it is to approximate the quantity of interest (e.g., PDE solution variables) by a deep neural network (DNN) and embed the physical law to regularize the network. To this end, training the network is equivalent to minimization of a well-designed loss function that contains the PDE residuals and initial/boundary conditions (I/BCs). In this paper, we present a physics-informed neural network (PINN) with mixed-variable output to model elastodynamics problems without resort to labeled data, in which the I/BCs are hardly imposed. In particular, both the displacement and stress components are taken as the DNN output, inspired by the hybrid finite element analysis, which largely improves the accuracy and trainability of the network. Since the conventional PINN framework augments all the residual loss components in a "soft" manner with Lagrange multipliers, the weakly imposed I/BCs cannot not be well satisfied especially when complex I/BCs are present. To overcome this issue, a composite scheme of DNNs is established based on multiple single DNNs such that the I/BCs can be satisfied forcibly in a "hard" manner. The propose PINN framework is demonstrated on several numerical elasticity examples with different I/BCs, including both static and dynamic problems as well as wave propagation in truncated domains. Results show the promise of PINN in the context of computational mechanics applications.


title: Improved Algorithm for Permutation Testing

abstract: For a permutation $\pi: [K]\rightarrow [K]$, a sequence $f: \{1,2,\cdots, n\}\rightarrow \mathbb R$ contains a $\pi$-pattern of size $K$, if there is a sequence of indices $(i_1, i_2, \cdots, i_K)$ ($i_1<i_2<\cdots<i_K$), satisfying that $f(i_a)<f(i_b)$ if $\pi(a)<\pi(b)$, for $a,b\in [K]$. Otherwise, $f$ is referred to as $\pi$-free. For the special case where $\pi = (1,2,\cdots, K)$, it is referred to as the monotone pattern. \cite{newman2017testing} initiated the study of testing $\pi$-freeness with one-sided error. They focused on two specific problems, testing the monotone permutations and the $(1,3,2)$ permutation. For the problem of testing monotone permutation $(1,2,\cdots,K)$, \cite{ben2019finding} improved the $(\log n)^{O(K^2)}$ non-adaptive query complexity of \cite{newman2017testing} to $O((\log n)^{\lfloor \log_{2} K\rfloor})$. Further, \cite{ben2019optimal} proposed an adaptive algorithm with $O(\log n)$ query complexity. However, no progress has yet been made on the problem of testing $(1,3,2)$-freeness. In this work, we present an adaptive algorithm for testing $(1,3,2)$-freeness. The query complexity of our algorithm is $O(\epsilon^{-2}\log^4 n)$, which significantly improves over the $O(\epsilon^{-7}\log^{26}n)$-query adaptive algorithm of \cite{newman2017testing}. This improvement is mainly achieved by the proposal of a new structure embedded in the patterns.


title: On the Eisenstein functoriality in cohomology for maximal parabolic subgroups

abstract: In his paper, 'On torsion in the cohomology of locally symmetric varieties', Peter Scholze has introduced a new, purely topological method to construct the cohomology classes on arithmetic quotients of symmetric spaces of rational reductive groups originating from the cohomology of the similar quotients of Levi subgroups of maximal parabolic subgroups. We extend this construction beyond the cases he considers, and, in the complex case, to the cohomology of local systems.


title: Comparing Alternative Route Planning Techniques: A Comparative User Study on Melbourne, Dhaka and Copenhagen Road Networks

abstract: Many modern navigation systems and map-based services do not only provide the fastest route from a source location s to a target location t but also provide a few alternative routes to the users as more options to choose from. Consequently, computing alternative paths has received significant research attention. However, it is unclear which of the existing approaches generates alternative routes of better quality because the quality of these alternatives is mostly subjective. Motivated by this, in this paper, we present a user study conducted on the road networks of Melbourne, Dhaka and Copenhagen that compares the quality (as perceived by the users) of the alternative routes generated by four of the most popular existing approaches including the routes provided by Google Maps. We also present a web-based demo system that can be accessed using any internet-enabled device and allows users to see the alternative routes generated by the four approaches for any pair of selected source and target. We report the average ratings received by the four approaches and our statistical analysis shows that there is no credible evidence that the four approaches receive different ratings on average. We also discuss the limitations of this user study and recommend the readers to interpret these results with caution because certain factors may have affected the participants' ratings.


title: Improving Adversarial Robustness via Unlabeled Out-of-Domain Data

abstract: Data augmentation by incorporating cheap unlabeled data from multiple domains is a powerful way to improve prediction especially when there is limited labeled data. In this work, we investigate how adversarial robustness can be enhanced by leveraging out-of-domain unlabeled data. We demonstrate that for broad classes of distributions and classifiers, there exists a sample complexity gap between standard and robust classification. We quantify to what degree this gap can be bridged via leveraging unlabeled samples from a shifted domain by providing both upper and lower bounds. Moreover, we show settings where we achieve better adversarial robustness when the unlabeled data come from a shifted domain rather than the same domain as the labeled data. We also investigate how to leverage out-of-domain data when some structural information, such as sparsity, is shared between labeled and unlabeled domains. Experimentally, we augment two object recognition datasets (CIFAR-10 and SVHN) with easy to obtain and unlabeled out-of-domain data and demonstrate substantial improvement in the model's robustness against $\ell_\infty$ adversarial attacks on the original domain.


title: A linear stability analysis of compressible hybrid lattice Boltzmann methods

abstract: An original spectral study of the compressible hybrid lattice Boltzmann method (HLBM) on standard lattice is proposed. In this framework, the mass and momentum equations are addressed using the lattice Boltzmann method (LBM), while finite difference (FD) schemes solve an energy equation. Both systems are coupled with each other thanks to an ideal gas equation of state. This work aims at answering some questions regarding the numerical stability of such models, which strongly depends on the choice of numerical parameters. To this extent, several one- and two-dimensional HLBM classes based on different energy variables, formulation (primitive or conservative), collision terms and numerical schemes are scrutinized. Once appropriate corrective terms introduced, it is shown that all continuous HLBM classes recover the Navier-Stokes Fourier behavior in the linear approximation. However, striking differences arise between HLBM classes when their discrete counterparts are analysed. Multiple instability mechanisms arising at relatively high Mach number are pointed out and two exhaustive stabilization strategies are introduced: (1) decreasing the time step by changing the reference temperature $T_{ref}$ and (2) introducing a controllable numerical dissipation $\sigma$ via the collision operator. A complete parametric study reveals that only HLBM classes based on the primitive and conservative entropy equations are found usable for compressible applications. Finally, an innovative study of the macroscopic modal composition of the entropy classes is conducted. Through this study, two original phenomena, referred to as shear-to-entropy and entropy-to-shear transfers, are highlighted and confirmed on standard two-dimensional test cases.


title: Holographic Complexity of Subregions in the Hyperscaling Violating Theories

abstract: In this paper, we use the complexity equals action proposal and investigate holographic complexity for hyperscaling violating theories on different subregions of space-time enclosed by the null boundaries. We are interested in computing the onshell action for certain subregions of the intersection between the Wheeler DeWitt patch and the past, as well as, the future interior of a two-sided black brane. More precisely, we extend the results of Ref. \cite{Alishahiha:2018lfv} in parts, to hyperscaling violating geometries and to find the finite onshell action, we define the proper counter terms. We show that in computing the rate of complexification the dynamical exponent plays a crucial rule, but, at the late time, rate of the complexity growth is independent of the hyperscaling parameters.


title: Parametrized Fixed Points on O-Categories and Applications to Session Types

abstract: O-categories generalize categories of domains to provide just the structure required to compute fixed points of locally continuous functors. Parametrized fixed points are of particular interest to denotational semantics and are often given by "dagger operations". We generalize existing techniques to define a functorial dagger operation on locally continuous functors between O-categories. We show that this dagger operation satisfies the Conway identities, a collection of identities used to axiomatize iteration theories. We study the behaviour of this dagger operation on natural transformations and consider applications to semantics of session-typed languages.


title: Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains

abstract: The tension between deduction and induction is perhaps the most fundamental issue in areas such as philosophy, cognition and artificial intelligence (AI). The deduction camp concerns itself with questions about the expressiveness of formal languages for capturing knowledge about the world, together with proof systems for reasoning from such knowledge bases. The learning camp attempts to generalize from examples about partial descriptions about the world. In AI, historically, these camps have loosely divided the development of the field, but advances in cross-over areas such as statistical relational learning, neuro-symbolic systems, and high-level control have illustrated that the dichotomy is not very constructive, and perhaps even ill-formed. In this article, we survey work that provides further evidence for the connections between logic and learning. Our narrative is structured in terms of three strands: logic versus learning, machine learning for logic, and logic for machine learning, but naturally, there is considerable overlap. We place an emphasis on the following "sore" point: there is a common misconception that logic is for discrete properties, whereas probability theory and machine learning, more generally, is for continuous properties. We report on results that challenge this view on the limitations of logic, and expose the role that logic can play for learning in infinite domains.


title: SimRa: Using Crowdsourcing to Identify Near Miss Hotspots in Bicycle Traffic

abstract: An increased modal share of bicycle traffic is a key mechanism to reduce emissions and solve traffic-related problems. However, a lack of (perceived) safety keeps people from using their bikes more frequently. To improve safety in bicycle traffic, city planners need an overview of accidents, near miss incidents, and bike routes. Such information, however, is currently not available. In this paper, we describe SimRa, a platform for collecting data on bicycle routes and near miss incidents using smartphone-based crowdsourcing. We also describe how we identify dangerous near miss hotspots based on the collected data and propose a scoring model.


title: The leave-one-covariate-out conditional randomization test

abstract: Conditional independence testing is an important problem, yet provably hard without assumptions. One of the assumptions that has become popular of late is called "model-X", where we assume we know the joint distribution of the covariates, but assume nothing about the conditional distribution of the outcome given the covariates. Knockoffs is a popular methodology associated with this framework, but it suffers from two main drawbacks: only one-bit $p$-values are available for inference on each variable, and the method is randomized with significant variability across runs in practice. The conditional randomization test (CRT) is thought to be the "right" solution under model-X, but usually viewed as computationally inefficient. This paper proposes a computationally efficient leave-one-covariate-out (LOCO) CRT that addresses both drawbacks of knockoffs. LOCO CRT produces valid $p$-values that can be used to control the familywise error rate, and has nearly zero algorithmic variability. For L1 regularized M-estimators, we develop an even faster variant called L1ME CRT, which reuses computation by leveraging a novel observation about the stability of the cross-validated lasso to removing inactive variables. Last, for multivariate Gaussian covariates, we present a closed form expression for the LOCO CRT $p$-value, thus completely eliminating resampling in this important special case.


title: Investigating the biological potential of galactic cosmic ray-induced radiation-driven chemical disequilibrium in the Martian subsurface environment

abstract: There is growing evidence suggesting the presence of aqueous environment on ancient Mars, raising the question of the possibility of life in such an environment. Subsequently, with the erosion of the Martian atmosphere resulting in drastic changes in its climate, surface water disappeared, shrinking habitable spaces on the planet, with only a limited amount of water remaining near the surface in form of brines and water-ice deposits. Life, if it ever existed, would have had to adapt to harsh modern conditions, which includes low temperatures and surface pressure, and high radiation dose. Presently, there is no evidence of any biological activity on the planet's surface, however, the subsurface environment, which is yet to be explored, is less harsh, has traces of water in form of water-ice and brines, and undergoes radiation-driven redox chemistry. I hypothesize that Galactic Cosmic Ray (GCR)-induced radiation-driven chemical disequilibrium can be used for metabolic energy by extant life, and host organisms using mechanisms seen in similar chemical and radiation environments on Earth. I propose a GCR-induced radiolytic zone, and discuss the prospects of finding such life with Rosalind Franklin rover of the ExoMars mission.


title: A generic adaptive restart scheme with applications to saddle point algorithms

abstract: We provide a simple and generic adaptive restart scheme for convex optimization that is able to achieve worst-case bounds matching (up to constant multiplicative factors) optimal restart schemes that require knowledge of problem specific constants. The scheme triggers restarts whenever there is sufficient reduction of a distance-based potential function. This potential function is always computable. We apply the scheme to obtain the first adaptive restart algorithm for saddle-point algorithms including primal-dual hybrid gradient (PDHG) and extragradient. The method improves the worst-case bounds of PDHG on bilinear games, and numerical experiments on quadratic assignment problems and matrix games demonstrate dramatic improvements for obtaining high-accuracy solutions. Additionally, for accelerated gradient descent (AGD), this scheme obtains a worst-case bound within 60% of the bound achieved by the (unknown) optimal restart period when high accuracy is desired. In practice, the scheme is competitive with the heuristic of O'Donoghue and Candes (2015).


title: A Faithful Binary Circuit Model with Adversarial Noise

abstract: Accurate delay models are important for static and dynamic timing analysis of digital circuits, and mandatory for formal verification. However, F\"ugger et al. [IEEE TC 2016] proved that pure and inertial delays, which are employed for dynamic timing analysis in state-of-the-art tools like ModelSim, NC-Sim and VCS, do not yield faithful digital circuit models. Involution delays, which are based on delay functions that are mathematical involutions depending on the previous-output-to-input time offset, were introduced by F\"ugger et al. [DATE'15] as a faithful alternative (that can easily be used with existing tools). Although involution delays were shown to predict real signal traces reasonably accurately, any model with a deterministic delay function is naturally limited in its modeling power. In this paper, we thus extend the involution model, by adding non-deterministic delay variations (random or even adversarial), and prove analytically that faithfulness is not impaired by this generalization. Albeit the amount of non-determinism must be considerably restricted to ensure this property, the result is surprising: the involution model differs from non-faithful models mainly in handling fast glitch trains, where small delay shifts have large effects. This originally suggested that adding even small variations should break the faithfulness of the model, which turned out not to be the case. Moreover, the results of our simulations also confirm that this generalized involution model has larger modeling power and, hence, applicability.


title: Scientometric analysis and knowledge mapping of literature-based discovery (1986-2020)

abstract: Literature-based discovery (LBD) aims to discover valuable latent relationships between disparate sets of literatures. This paper presents the first inclusive scientometric overview of LBD research. We utilize a comprehensive scientometric approach incorporating CiteSpace to systematically analyze the literature on LBD from the last four decades (1986-2020). After manual cleaning, we have retrieved a total of 409 documents from six bibliographic databases and two preprint servers. The 35 years' history of LBD could be partitioned into three phases according to the published papers per year: incubation (1986-2003), developing (2004-2008), and mature phase (2009-2020). The annual production of publications follows Price's law. The co-authorship network exhibits many subnetworks, indicating that LBD research is composed of many small and medium-sized groups with little collaboration among them. Science mapping reveals that mainstream research in LBD has shifted from baseline co-occurrence approaches to semantic-based methods at the beginning of the new millennium. In the last decade, we can observe the leaning of LBD towards modern network science ideas. In an applied sense, the LBD is increasingly used in predicting adverse drug reactions and drug repurposing. Besides theoretical considerations, the researchers have put a lot of effort into the development of Web-based LBD applications. Nowadays, LBD is becoming increasingly interdisciplinary and involves methods from information science, scientometrics, and machine learning. Unfortunately, LBD is mainly limited to the biomedical domain. The cascading citation expansion announces deep learning and explainable artificial intelligence as emerging topics in LBD. The results indicate that LBD is still growing and evolving.


title: Addressing Variability in Reuse Prediction for Last-Level Caches

abstract: Last-Level Cache (LLC) represents the bulk of a modern CPU processor's transistor budget and is essential for application performance as LLC enables fast access to data in contrast to much slower main memory. However, applications with large working set size often exhibit streaming and/or thrashing access patterns at LLC. As a result, a large fraction of the LLC capacity is occupied by dead blocks that will not be referenced again, leading to inefficient utilization of the LLC capacity. To improve cache efficiency, the state-of-the-art cache management techniques employ prediction mechanisms that learn from the past access patterns with an aim to accurately identify as many dead blocks as possible. Once identified, dead blocks are evicted from LLC to make space for potentially high reuse cache blocks. In this thesis, we identify variability in the reuse behavior of cache blocks as the key limiting factor in maximizing cache efficiency for state-of-the-art predictive techniques. Variability in reuse prediction is inevitable due to numerous factors that are outside the control of LLC. The sources of variability include control-flow variation, speculative execution and contention from cores sharing the cache, among others. Variability in reuse prediction challenges existing techniques in reliably identifying the end of a block's useful lifetime, thus causing lower prediction accuracy, coverage, or both. To address this challenge, this thesis aims to design robust cache management mechanisms and policies for LLC in the face of variability in reuse prediction to minimize cache misses, while keeping the cost and complexity of the hardware implementation low. To that end, we propose two cache management techniques, one domain-agnostic and one domain-specialized, to improve cache efficiency by addressing variability in reuse prediction.


title: From the geometry of Foucault pendulum to the topology of planetary waves

abstract: The physics of topological insulators makes it possible to understand and predict the existence of unidirectional waves trapped along an edge or an interface. In this review, we describe how these ideas can be adapted to geophysical and astrophysical waves. We deal in particular with the case of planetary equatorial waves, which highlights the key interplay between rotation and sphericity of the planet, to explain the emergence of waves which propagate their energy only towards the East. These minimal ingredients are precisely those put forward in the geometric interpretation of the Foucault pendulum. We discuss this classic example of mechanics to introduce the concepts of holonomy and vector bundle which we then use to calculate the topological properties of equatorial shallow water waves.

categories: physics.geo-ph astro-ph.EP cond-mat.mes-hall physics.flu-dyn


title: Evolution of two bulk-superconducting phases in Sr0.5RE0.5FBiS2 (RE: La, Ce, Pr, Nd, Sm) by external hydrostatic pressure effect

abstract: Polycrystalline samples of Sr1-xRExFBiS2 (RE: La, Ce, Pr, Nd, and Sm) were synthesized via the solid-state reaction and characterized using synchrotron X-ray diffraction. Although all the Sr0.5RE0.5FBiS2 samples exhibited superconductivity at transition temperatures (Tc) within the range of 2.1-2.7 K under ambient pressure, the estimated superconducting volume fraction was small. This indicated the non-bulk nature of superconductivity in these samples under ambient pressure. A dramatic evolution of the bulk superconducting phases was achieved on applying an external hydrostatic pressure. Near pressures below 1 GPa, bulk superconductivity was induced with a Tc of 2.5-2.8 K, which is termed as the low-P phase. Moreover, the high-P phase (Tc = 10.0-10.8 K) featuring bulk characteristics was observed at higher pressures. Pressure-Tc phase diagrams indicated that the critical pressure for the emergence of the high-P phase tends to increase with decreasing ionic radius of the doped RE ions. According to the high-pressure X-ray diffraction measurements of Sr0.5La0.5FBiS2, a structural phase transition from tetragonal to monoclinic also occurred at approximately 1.1 GPa. Thus, this phase transition indicates a pressure-induced superconducting-superconducting transition similar to the transition in LaO0.5F0.5BiS2. Bulk superconducting phases in Sr0.5RE0.5FBiS2 induced by the external hydrostatic pressure effect are expected to be useful for evaluating the mechanisms of superconductivity in BiCh2-based superconductors.


title: Study of the potential transverse momentum and potential angular momentum within the scalar diquark model

abstract: We make use of a simple scalar diquark model to study the potential transverse momentum and potential angular momentum, defined as the difference between the Jaffe-Manohar and Ji notions of transverse momentum and orbital angular momentum, respectively. A non-vanishing potential angular momentum has been previously found in lattice calculations and is believed to appear due to the effects of initial/final state interactions between the spectator system and the struck quark in high energy scattering processes. Such re-scattering phenomena are similar in nature to those who are responsible for generating the Sivers shift. This motivates us to search for an estimate of the potential angular momentum in terms of the expectation value of the transverse momentum of the struck quark.


title: Standardization of Propagation Models: 800 MHz to 100 GHz -- A Historical Perspective

abstract: Propagation models constitute a fundamental building block of wireless communications research. Before we build and operate real systems, we must understand the science of radio propagation, and develop channel models that both reflect the important propagation processes and allow a fair comparison of different systems. In the past five decades, wireless systems have gone through five generations, from supporting voice applications to enhanced mobile broadband. To meet the ever increasing data rate demands of wireless systems, frequency bands covering a wide range from 800 MHz to 100 GHz have been allocated for use. The standardization of these systems started in the early/mid 1980's in Europe by the European Telecommunications Standards Institute with the advent of Global System for Mobile Communications. This motivated the development of the first standardized propagation model by the European Cooperation in Science and Technology (COST) 207 working group. These standardization activities were continued and expanded for the third, fourth, and fifth generations of COST, as well as by the Third Generation Partnership Project, and the International Telecommunication Union. This paper presents a historical overview of the standardized propagation models covering first to fifth-generation systems. In particular, we discuss the evolution and standardization of pathloss models, as well as large and small-scale fading parameters for single antenna and multiple antenna systems. Furthermore, we present insights into the progress of deterministic modelling across the five generations of systems, as well as discuss more advanced modelling components needed for the detailed simulations of millimeter-wave channels. A comprehensive bibliography at the end of the paper will aid the interested reader to dig deeper.


title: Curie-Weiss susceptibility in strongly correlated electron systems

abstract: The genesis of the Curie-Weiss magnetic response observed in most transition metals that are Fermi liquids at low temperatures has been an enigma for decades and has not yet been fully explained from microscopic principles. We show on the single-impurity Anderson model how the quantum dynamics of strong electron correlations leads to the Curie-Weiss magnetic susceptibility sufficiently above the Kondo temperature. Such behavior has not yet been demonstrated and can be observed only when the bare interaction is substantially screened (renormalized) and a balance between quantum and thermal fluctuations is kept. We set quantitative criteria for the existence of the Curie-Weiss law.


title: A Quantitative Assessment of Communicating Extra-Terrestrial Intelligent Civilizations in the Galaxy and the Case of FRB-like Signals

abstract: A formula is proposed to quantitatively estimate the signal emission rate of Communicating Extra-Terrestrial Intelligent civilizations (CETIs) in the Galaxy. I suggest that one possible type of CETI signal would be brief radio bursts similar to fast radio bursts (FRBs). A dedicated search for FRB-like artificial signals in the Galaxy for decades may pose a meaningful upper limit on the emission rate of these signals by CETIs. The Fermi-Hart paradox is answered in terms of not having enough observing times for this and other types of signals. Whether humans should send FRB-like signals in the far future is briefly discussed.


title: Diffuse Radio Sources in a Statistically Complete Sample of High Redshift Galaxy Clusters

abstract: Non-thermal properties of galaxy clusters have been studied with detailed and deep radio images in comparison with X-ray data. While much progress has been made, most of the studied clusters are at a relatively low redshift (z < 0.3). We here investigate the evolutionary properties of the non-thermal cluster emission using two statistically complete samples at z > 0.3. We obtained short JVLA observations at L-band of the statistically complete sample of very X-ray luminous clusters from the Massive Cluster Survey (MACS) presented by Ebeling et al. (2010), and redshift range 0.3 - 0.5. We add to this list the complete sample of the 12 most distant MACS clusters (z > 0.5) presented in Ebeling et al. (2007). Most clusters show evidence of emission in the radio regime. We present the radio properties of all clusters in our sample and show images of newly detected diffuse sources. A radio halo is detected in 19 clusters, and five clusters contain a relic source. Most of the brightest cluster galaxies (BCG) in relaxed clusters show radio emission with powers typical of FRII radio galaxies, and some are surrounded by a radio mini-halo. The high frequency of radio emission from the BCG in relaxed clusters suggests that BCG feedback mechanisms are in place already at z about 0.6. The properties of radio halos and the small number of detected relics suggest redshift evolution in the properties of diffuse sources. The radio power (and size) of radio halos could be related to the number of past merger events in the history of the system. In this scenario, the presence of a giant and high-power radio halo is indicative of an evolved system with a large number of past major mergers.


title: Overparameterization and generalization error: weighted trigonometric interpolation

abstract: Motivated by surprisingly good generalization properties of learned deep neural networks in overparameterized scenarios and by the related double descent phenomenon, this paper analyzes the relation between smoothness and low generalization error in an overparameterized linear learning problem. We study a random Fourier series model, where the task is to estimate the unknown Fourier coefficients from equidistant samples. We derive exact expressions for the generalization error of both plain and weighted least squares estimators. We show precisely how a bias towards smooth interpolants, in the form of weighted trigonometric interpolation, can lead to smaller generalization error in the overparameterized regime compared to the underparameterized regime. This provides insight into the power of overparameterization, which is common in modern machine learning.


title: Qualitative analysis of Einstein-aether models with perfect fluid and scalar fields

abstract: The space of the solutions of the differential equations resulting from considering matter fluids of scalar field type or perfect fluid in Einstein-aether theory is analyzed. The Einstein-aether theory of gravity consists of General Relativity coupled to a vector field of unit time type, called the aether. In this effective theory, Lorentz invariance is violated, but locality and covariance are preserved in the presence of the vector field. For the mathematical formulation of the models, the 1 + 3 formalism is used that allows writing field equations for spherically symmetric inhomogeneous metrics as a system of partial differential equations in two variables. Using the homothetic diagonal formulation, the Partial differential equations can be written as ordinary differential equations plus algebraic constraints, using the fact that the metric adapts to homothetic symmetry. The resulting equations are very similar to those of the models with homogeneous hypersurfaces. This allows the qualitative study of the solutions using techniques of local theory of dynamic systems. Analytical results are verified numerically.


title: An Iterative Graph Spectral Subtraction Method for Speech Enhancement

abstract: In this paper, we investigate the application of graph signal processing (GSP) theory in speech enhancement. We first propose a set of shift operators to construct graph speech signals, and then analyze their spectrum in the graph Fourier domain. By leveraging the differences between the spectrum of graph speech and graph noise signals, we further propose the graph spectral subtraction (GSS) method to suppress the noise interference in noisy speech. Moreover, based on GSS, we propose the iterative graph spectral subtraction (IGSS) method to further improve the speech enhancement performance. Our experimental results show that the proposed operators are suitable for graph speech signals, and the proposed methods outperform the traditional basic spectral subtraction (BSS) method and iterative basic spectral subtraction (IBSS) method in terms of both signal-to-noise ratios (SNR) and mean Perceptual Evaluation of Speech Quality (PESQ).


title: Solving the Bethe-Salpeter equation on massively parallel architectures

abstract: The last ten years have witnessed fast spreading of massively parallel computing clusters, from leading supercomputing facilities down to the average university computing center. Many companies in the private sector have undergone a similar evolution. In this scenario, the seamless integration of software and middleware libraries is a key ingredient to ensure portability of scientific codes and guarantees them an extended lifetime. In this work, we describe the integration of the ChASE library, a modern parallel eigensolver, into an existing legacy code for the first-principles computation of optical properties of materials via solution of the Bethe-Salpeter equation for the optical polarization function. Our numerical tests show that, as a result of integrating ChASE and parallelizing the reading routine, the code experiences a remarkable speedup and greatly improved scaling behavior on both multi- and many-core architectures. We demonstrate that such a modernized BSE code will, by fully exploiting parallel computing architectures and file systems, enable domain scientists to accurately study complex material systems that were not accessible before.


title: On separability finiteness conditions in semigroups

abstract: Taking residual finiteness as a starting point, we consider three related finiteness properties: weak subsemigroup separability, strong subsemigroup separability and complete separability. We investigate whether each of these properties is inherited by Sch\"utzenberger groups. The main result of this paper states that for a finitely generated commutative semigroup $S$, these three separability conditions coincide and are equivalent to every $\mathcal{H}$-class of $S$ being finite. We also provide examples to show that these properties in general differ for commutative semigroups and finitely generated semigroups. For a semigroup with finitely many $\mathcal{H}$-classes, we investigate whether it has one of these properties if and only if all its Sch\"utzenberger groups have the property.


title: Time-Varying Convex Optimization: Time-Structured Algorithms and Applications

abstract: Optimization underpins many of the challenges that science and technology face on a daily basis. Recent years have witnessed a major shift from traditional optimization paradigms grounded on batch algorithms for medium-scale problems to challenging dynamic, time-varying, and even huge-size settings. This is driven by technological transformations that converted infrastructural and social platforms into complex and dynamic networked systems with even pervasive sensing and computing capabilities. The present paper reviews a broad class of state-of-the-art algorithms for time-varying optimization, with an eye to both algorithmic development and performance analysis. It offers a comprehensive overview of available tools and methods, and unveils open challenges in application domains of broad interest. The real-world examples presented include smart power systems, robotics, machine learning, and data analytics, highlighting domain-specific issues and solutions. The ultimate goal is to exempify wide engineering relevance of analytical tools and pertinent theoretical foundations.


title: Purity of the Embeddings of Operator Systems into their C$^*$- and Injective Envelopes

abstract: We study the issue of issue of purity (as a completely positive linear map) for identity maps on operators systems and for their completely isometric embeddings into their C$^*$-envelopes and injective envelopes. Our most general result states that the canonical embedding of an operator system $\mathcal R$ into its injective envelope $\mathcal I(\mathcal R)$ is pure if and only if the C$^*$-envelope of $\mathcal R$ is a prime C$^*$-algebra. To prove this, we also show that the identity map on any AW$^*$-factor is a pure completely positive linear map. For embeddings of operator systems into their C$^*$-envelopes, the issue of purity is seemingly harder to describe in full generality, and so we focus here on operator systems arising from the generators of discrete groups. The question of purity of the identity is quite subtle for operator system that are not C$^*$-algebras, and we have results only for two universal operator systems arising from discrete groups. Lastly, a previously unrecorded feature of pure completely positive linear maps is presented: every pure completely positive linear map on an operator system $\mathcal R$ into an injective von Neumann algebra $\mathcal M$ has a pure completely positive extension to any operator system $\mathcal T$ that contains $\mathcal R$ as an operator subsystem, thereby generalising a result of Arveson for the injective type I factor $\mathcal B(\mathcal H)$.


title: Dark Initial State Radiation and the Kinetic Mixing Portal

abstract: Data from Planck measurements of the cosmic microwave background (CMB) place important constraints on models with light dark matter (DM) and light mediators especially when both lie in the mass range below $\sim 1 $ GeV. In models involving kinetic mixing where the dark photon acts as the mediator, these constraints are easily satisfied and the appropriate DM relic density achievable if the DM is, e.g., a complex scalar, where $p$-wave annihilation occurs, or is the lighter component of a split pseudo-Dirac state where co-annihilation dominates. In both of these cases, although higher order in the dark gauge coupling, $g_D$, the corresponding annihilation processes including dark photon initial state radiation (ISR) will be dominantly $s$-wave with essentially temperature independent cross sections. The rates for these dark ISR associated processes, though not yielding cross sections large enough to contribute to the relic density, can still run into possible conflicts with the bounds arising from the CMB. In this paper we perform a preliminary study of the present and potential future constraints that the CMB imposes on the parameter spaces for both of these scenarios due to the existence of this dark ISR. Further analyses of the effects of dark ISR in DM annihilation is clearly warranted.


title: The second moment of $S_n(t)$ on the Riemann hypothesis

abstract: Let $S(t) = \tfrac{1}{\pi} \arg \zeta \big({1/2} + it \big)$ be the argument of the Riemann zeta-function at the point $\tfrac12 + it$. For $n \geq 1$ and $t>0$ define its antiderivatives as \begin{equation*} S_n(t) = \int_0^t S_{n-1}(\tau) \hspace{0.08cm} \rm d\tau + \delta_n, \end{equation*} where $\delta_n$ is a specific constant depending on $n$ and $S_0(t) := S(t)$. In 1925, J. E. Littlewood proved, under the Riemann Hypothesis, that $$ \int_{0}^{T}|S_n(t)|^2 \hspace{0.06cm} \rm dt = O(T), $$ for $n\geq 1$. In 1946, Selberg unconditionally established the explicit asymptotic formulas for the second moments of $S(t)$ and $S_1(t)$. This was extended by Fujii for $S_n(t)$, when $n\geq 2$. Assuming the Riemann Hypothesis, we give the explicit asymptotic formula for the second moment of $S_n(t)$ up to the second-order term, for $n\geq 1$. Our result conditionally refines Selberg's and Fujii's formulas and extends previous work by Goldston in 1987, where the case $n=0$ was considered.


title: Kemeny-based testing for COVID-19

abstract: Testing, tracking and tracing abilities have been identified as pivotal in helping countries to safely reopen activities after the first wave of the COVID-19 virus. Contact tracing apps give the unprecedented possibility to reconstruct graphs of daily contacts, so the question is who should be tested? As human contact networks are known to exhibit community structure, in this paper we show that the Kemeny constant of a graph can be used to identify and analyze bridges between communities in a graph. Our "Kemeny indicator" is the change in Kemeny constant when a node or edge is removed from the graph. We show that testing individuals who are associated with large values of the Kemeny indicator can help in efficiently intercepting new virus outbreaks, when they are still in their early stage. Extensive simulations provide promising results in early identification and in blocking possible "super-spreaders" links that transmit disease between different communities.


title: Diversity Policy Gradient for Sample Efficient Quality-Diversity Optimization

abstract: A fascinating aspect of nature lies in its ability to produce a large and diverse collection of organisms that are all high-performing in their niche. By contrast, most AI algorithms focus on finding a single efficient solution to a given problem. Aiming for diversity in addition to performance is a convenient way to deal with the exploration-exploitation trade-off that plays a central role in learning. It also allows for increased robustness when the returned collection contains several working solutions to the considered problem, making it well-suited for real applications such as robotics. Quality-Diversity (QD) methods are evolutionary algorithms designed for this purpose. This paper proposes a novel algorithm, QDPG, which combines the strength of Policy Gradient algorithms and Quality Diversity approaches to produce a collection of diverse and high-performing neural policies in continuous control environments. The main contribution of this work is the introduction of a Diversity Policy Gradient (DPG) that exploits information at the time-step level to drive policies towards more diversity in a sample-efficient manner. Specifically, QDPG selects neural controllers from a MAP-Elites grid and uses two gradient-based mutation operators to improve both quality and diversity. Our results demonstrate that QDPG is significantly more sample-efficient than its evolutionary competitors.


title: Regularized Forward-Backward Decoder for Attention Models

abstract: Nowadays, attention models are one of the popular candidates for speech recognition. So far, many studies mainly focus on the encoder structure or the attention module to enhance the performance of these models. However, mostly ignore the decoder. In this paper, we propose a novel regularization technique incorporating a second decoder during the training phase. This decoder is optimized on time-reversed target labels beforehand and supports the standard decoder during training by adding knowledge from future context. Since it is only added during training, we are not changing the basic structure of the network or adding complexity during decoding. We evaluate our approach on the smaller TEDLIUMv2 and the larger LibriSpeech dataset, achieving consistent improvements on both of them.


title: Bianchi identities in f(T) gravity: paving the way to confrontation with astrophysics

abstract: Theories of $f(T)$ gravity are being actively confronted with cosmological observations, and are being studied for their potential to solve famous problems of cosmology. A necessary step is to extend these studies to astrophysical settings. However, to this end one must understand the structure of spherically symmetric solutions. We show that two different known approaches to these solutions are actually fully equivalent from the point of view of Lorentz-covariant formalism. Moreover, we explain Bianchi identities in $f(T)$ gravity and apply them to show that the corresponding equations are always compatible. It puts these efforts on much firmer grounds than before.


title: Null models for multi-optimized large-scale network structures

abstract: We study the emerging large-scale structures in networks subject to selective pressures that simultaneously drive towards higher modularity and robustness against random failures. We construct maximum-entropy null models that isolate the effects of the joint optimization on the network structure from any kind of evolutionary dynamics. Our analysis reveals a rich phase diagram of optimized structures, composed of many combinations of modular, core-periphery and bipartite patterns. Furthermore, we observe parameter regions where the simultaneous optimization can be either synergistic or antagonistic, with the improvement of one criterion directly aiding or hindering the other, respectively. Our results show how interactions between different selective pressures can be pivotal in determining the emerging network structure, and that these interactions can be captured by simple network models.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech nlin.AO


title: APQ: Joint Search for Network Architecture, Pruning and Quantization Policy

abstract: We present APQ for efficient deep learning inference on resource-constrained hardware. Unlike previous methods that separately search the neural architecture, pruning policy, and quantization policy, we optimize them in a joint manner. To deal with the larger design space it brings, a promising approach is to train a quantization-aware accuracy predictor to quickly get the accuracy of the quantized model and feed it to the search engine to select the best fit. However, training this quantization-aware accuracy predictor requires collecting a large number of quantized <model, accuracy> pairs, which involves quantization-aware finetuning and thus is highly time-consuming. To tackle this challenge, we propose to transfer the knowledge from a full-precision (i.e., fp32) accuracy predictor to the quantization-aware (i.e., int8) accuracy predictor, which greatly improves the sample efficiency. Besides, collecting the dataset for the fp32 accuracy predictor only requires to evaluate neural networks without any training cost by sampling from a pretrained once-for-all network, which is highly efficient. Extensive experiments on ImageNet demonstrate the benefits of our joint optimization approach. With the same accuracy, APQ reduces the latency/energy by 2x/1.3x over MobileNetV2+HAQ. Compared to the separate optimization approach (ProxylessNAS+AMC+HAQ), APQ achieves 2.3% higher ImageNet accuracy while reducing orders of magnitude GPU hours and CO2 emission, pushing the frontier for green AI that is environmental-friendly. The code and video are publicly available.


title: The FAIR Phase 0 program of the CBM TOF

abstract: In order to provide particle identification (PID) of charged hadrons at the future high-rate Compressed Baryonic Matter (CBM) experiment the TOF group has developed a large-area Time-of-Flight (ToF) wall equipped with Multi-gap Resistive Plate Chambers (MRPC) capable to operate at incident particle fluxes of up to 30 kHz/cm$^2$. Prior to its destined operation at the Facility for Antiproton and Ion Research (FAIR) - starting in 2025 - this high-rate timing MRPC technology will be used for physics research at two scientific pillars of the FAIR Phase-0 program: the end-cap TOF upgrade of the STAR experiment at RHIC and the mTOF wall of the mCBM experiment at SIS18. At STAR, the fixed-target program of the Beam Energy Scan II (BES-II) will rely on 108 CBM MRPC detectors for forward PID at trigger rates of up to 2 kHz. At mCBM, high-performance benchmark runs of Lambda-baryon production at top SIS18 energies and CBM design interaction rates of 10 MHz will become feasible with a PID backbone consisting of 25 CBM MRPC detectors. Apart from the physics perspective, these pre-FAIR involvements will help gathering experience in operating the final CBM TOF wall comprising about 1500 MRPC detectors and 110,000 readout channels. The status of the FAIR phase 0 program will be discussed.


title: Evaluating Bohm's quantum force in the scattering process by a classical potential

abstract: In this work, we show an application of the de Broglie-Bohm Quantum Theory of Motion (QTM) as a powerful tool for evaluating Bohm's quantum force in the scattering process of a Gaussian wavepacket by a classical Eckart potential. Our results show that in the absence of a classical potential, the system experiences quantum effects arising from an effective force, intrinsically related to the existence of the wavepacket itself. In contrast, in the scattering by the classical potential, it experiences a quantum force effect even in the absence of any classical force, reinforcing the fact that potentials can act without classical force fields. Thus, this application could be useful to introduce QTM, through the discussion of the concept of Bohm's quantum force, as a classroom working tool instead of merely an alternative interpretation of the quantum theory.


title: Hilbert Series of simple thin polyominoes

abstract: Let P be a simple thin polyomino, roughly speaking a polyomino that has no holes and does not contain a square tetromino as a subpolyomino. In this paper, we determine the reduced Hilbert series $h(t)/(1-t)^d$ of K[P] by proving that $h(t)$ is the rook polynomial of P. As an application, we characterize the Gorenstein simple thin polyominoes.


title: Flood & Loot: A Systemic Attack On The Lightning Network

abstract: The Lightning Network promises to alleviate Bitcoin's known scalability problems. The operation of such second layer approaches relies on the ability of participants to turn to the blockchain to claim funds at any time, which is assumed to happen rarely. One of the risks that was identified early on is that of a wide systemic attack on the protocol, in which an attacker triggers the closure of many Lightning channels at once. The resulting high volume of transactions in the blockchain will not allow for the proper settlement of all debts, and attackers may get away with stealing some funds. This paper explores the details of such an attack and evaluates its cost and overall impact on Bitcoin and the Lightning Network. Specifically, we show that an attacker is able to simultaneously cause victim nodes to overload the Bitcoin blockchain with requests and to steal funds that were locked in channels. We go on to examine the interaction of Lightning nodes with the fee estimation mechanism and show that the attacker can continuously lower the fee of transactions that will later be used by the victim in its attempts to recover funds - eventually reaching a state in which only low fractions of the block are available for lightning transactions. Our attack is made easier even further as the Lightning protocol allows the attacker to increase the fee offered by his own transactions. We continue to empirically show that the vast majority of nodes agree to channel opening requests from unknown sources and are therefore susceptible to this attack. We highlight differences between various implementations of the Lightning Network protocol and review the susceptibility of each one to the attack. Finally, we propose mitigation strategies to lower the systemic attack risk of the network.


title: Keeping M-Earths Habitable in the Face of Atmospheric Loss by Sequestering Water in the Mantle

abstract: Water cycling between Earth's mantle and surface has previously been modelled and extrapolated to rocky exoplanets, but these studies neglected the host star. M-dwarf stars are more common than Sun-like stars and at least as likely to host temperate rocky planets (M-Earths). However, M dwarfs are active throughout their lifetimes; specifically, X-ray and extreme ultraviolet (XUV) radiation during their early evolution can cause rapid atmospheric loss on orbiting planets. The increasing bolometric flux reaching M-Earths leads to warmer, moister upper atmospheres, while XUV radiation can photodissociate water molecules and drive hydrogen and oxygen escape to space. Here, we present a coupled model of deep-water cycling and water loss to space on M-Earths to explore whether these planets can remain habitable despite their volatile evolution. We use a cycling parameterization accounting for the dependence of mantle degassing on seafloor pressure, the dependence of regassing on mantle temperature, and the effect of water on mantle viscosity and thermal evolution. We assume the M dwarf's XUV radiation decreases exponentially with time, and energy-limited water loss with 30% efficiency. We explore the effects of cycling and loss to space on planetary water inventories and water partitioning. Planet surfaces desiccated by loss can be rehydrated, provided there is sufficient water sequestered in the mantle to degas once loss rates diminish at later times. For a given water loss rate, the key parameter is the mantle overturn timescale at early times: if the mantle overturn timescale is longer than the loss timescale, then the planet is likely to keep some of its water.


title: Low-Frequency Magnetic Noise in Statically-Driven Solenoid for Biasing Magnetic Field Sensors

abstract: For the generation of static magnetic fields solenoids are frequently used for the purpose of research and development of magnetic field sensors. When such a sensor is to be analyzed with regard to its inherent noise the influence of other noise sources of the measurement system needs to be minimized. This article reports on the low-frequency magnetic noise within such a coil system. On the one hand, the impact of the intrinsic noise of the coil itself and on the other hand the impact of additional current noise of various commercially available current sources, which accordingly also leads to magnetic noise within the coil, are investigated. With low-frequency values in the range of a few tens of $\mathrm{fT}/\sqrt{\mathrm{Hz}}$, the coil's inherent noise is mostly neglectable. However, frequently utilized current sources for the generation of a static magnetic bias field lead to significant low-frequency magnetic flux noise typically in the $\mathrm{nT}/\sqrt{\mathrm{Hz}}$ regime. It is found that this noise cannot be decreased by increasing the coil's magnetic sensitivity, i.e. the magnetic flux density as a function of the static current. Instead, current sources with very high current-to-current-noise ratios are required.


title: Mixed modeling for large-eddy simulation: The single-layer and two-layer minimum-dissipation-Bardina models

abstract: Predicting the behavior of turbulent flows using large-eddy simulation requires modeling of the subgrid-scale stress tensor. This tensor can be approximated using mixed models, which combine the dissipative nature of functional models with the capability of structural models to approximate out-of-equilibrium effects. We propose a mathematical basis to mix (functional) eddy-viscosity models with the (structural) Bardina model. By taking an anisotropic minimum-dissipation (AMD) model for the eddy viscosity, we obtain the (single-layer) AMD-Bardina model. In order to also obtain a physics-conforming model for wall-bounded flows, we further develop this mixed model into a two-layer approach: the near-wall region is parameterized with the AMD-Bardina model, whereas the outer region is computed with the Bardina model. The single-layer and two-layer AMD-Bardina models are tested in turbulent channel flows at various Reynolds numbers, and improved predictions are obtained when the mixed models are applied in comparison to the computations with the AMD and Bardina models alone. The results obtained with the two-layer AMD-Bardina model are particularly remarkable: both first- and second-order statistics are extremely well predicted and even the inflection of the mean velocity in the channel center is captured. Hence, a very promising model is obtained for large-eddy simulations of wall-bounded turbulent flows at moderate and high Reynolds numbers.


title: The Limit of the Batch Size

abstract: Large-batch training is an efficient approach for current distributed deep learning systems. It has enabled researchers to reduce the ImageNet/ResNet-50 training from 29 hours to around 1 minute. In this paper, we focus on studying the limit of the batch size. We think it may provide a guidance to AI supercomputer and algorithm designers. We provide detailed numerical optimization instructions for step-by-step comparison. Moreover, it is important to understand the generalization and optimization performance of huge batch training. Hoffer et al. introduced "ultra-slow diffusion" theory to large-batch training. However, our experiments show contradictory results with the conclusion of Hoffer et al. We provide comprehensive experimental results and detailed analysis to study the limitations of batch size scaling and "ultra-slow diffusion" theory. For the first time we scale the batch size on ImageNet to at least a magnitude larger than all previous work, and provide detailed studies on the performance of many state-of-the-art optimization schemes under this setting. We propose an optimization recipe that is able to improve the top-1 test accuracy by 18% compared to the baseline.


title: Convex optimization based on global lower second-order models

abstract: In this paper, we present new second-order algorithms for composite convex optimization, called Contracting-domain Newton methods. These algorithms are affine-invariant and based on global second-order lower approximation for the smooth component of the objective. Our approach has an interpretation both as a second-order generalization of the conditional gradient method, or as a variant of trust-region scheme. Under the assumption, that the problem domain is bounded, we prove $\mathcal{O}(1/k^{2})$ global rate of convergence in functional residual, where $k$ is the iteration counter, minimizing convex functions with Lipschitz continuous Hessian. This significantly improves the previously known bound $\mathcal{O}(1/k)$ for this type of algorithms. Additionally, we propose a stochastic extension of our method, and present computational results for solving empirical risk minimization problem.


title: Enhanced optical nonlinearities under strong light-matter coupling

abstract: Optical microcavities and metallic nanostructures have been shown to significantly modulate the dynamics and spectroscopic response of molecular systems. We present a study of the nonlinear optics of a model consisting of $N$ anharmonic multilevel systems (e.g., Morse oscillators) undergoing collective strong coupling with a resonant infrared microcavity. We find that, under experimentally accessible conditions, molecular systems in microcavities may have nonlinear phenomena significantly intensified due to the high quality of polariton resonances and the enhanced microcavity electromagnetic energy density relative to free space. Particularly large enhancement of multiphoton absorption happens when multipolariton states are resonant with bare molecule multiphoton transitions. In particular, our model predicts two-photon absorption cross section enhancements by several orders of magnitude relative to free space when the Rabi splitting $\Omega_R$ is approximately equal to the molecular anharmonic shift $2\Delta$. Our results provide rough upper bounds to resonant nonlinear response enhancement factors as relaxation to dark states is treated phenomenologically. Notably, ensembles of two-level systems undergoing strong coupling with a cavity (described by the Tavis-Cummings model) show no such optical nonlinearity enhancements, highlighting the rich phenomenology afforded by multilevel anharmonic systems. Similar conclusions are expected to hold for excitonic systems that share features with our model (e.g., molecular dyes with accessible S_0 -> S_1 -> S_2 transitions) and strongly interact with a UV-visible cavity.


title: Pairing of Massive Black Holes in Merger Galaxies Driven by Dynamical Friction

abstract: Motivated by observational searches for massive black hole (MBH) pairs at kiloparsec separations we develop a semi-analytic model to describe their orbital evolution under the influence of stellar and gaseous dynamical friction (DF). The goal of this study is to determine how the properties of the merger remnant galaxy and the MBHs affect the likelihood and timescale for formation of a close MBH pair with separation of < 1 pc. We compute approximately 40,000 configurations that cover a wide range of host galaxy properties and investigate their impact on the orbital evolution of unequal mass MBH pairs. We find that the percentage for MBH pairing within a Hubble time is larger than 80% in remnant galaxies with a gas fraction < 20% and in galaxies hosting MBH pairs with total mass > 10^6 solar mass and mass ratios > 1/4. Among these, the remnant galaxies characterized by the fastest formation of close, gravitationally bound MBHs have one or more of the following properties: (1) large stellar bulge, (2) comparable mass MBHs and (3) a galactic gas disk rotating close to the circular speed. In such galaxies, the MBHs with the shortest inspiral times, which are likely progenitors of coalescing MBHs, are either on circular prograde orbits or on very eccentric retrograde orbits. Our model also indicates that remnant galaxies with opposite properties, that host slowly evolving MBH pairs, are the most likely hosts of dual AGNs at kiloparsec separations.


title: Domain Adaptation with Joint Learning for Generic, Optical Car Part Recognition and Detection Systems (Go-CaRD)

abstract: Systems for the automatic recognition and detection of automotive parts are crucial in several emerging research areas in the development of intelligent vehicles. They enable, for example, the detection and modelling of interactions between human and the vehicle. In this paper, we quantitatively and qualitatively explore the efficacy of deep learning architectures for the classification and localisation of 29 interior and exterior vehicle regions on three novel datasets. Furthermore, we experiment with joint and transfer learning approaches across datasets and point out potential applications of our systems. Our best network architecture achieves an F1 score of 93.67 % for recognition, while our best localisation approach utilising state-of-the-art backbone networks achieve a mAP of 63.01 % for detection. The MuSe-CAR-Part dataset, which is based on a large variety of human-car interactions in videos, the weights of the best models, and the code is publicly available to academic parties for benchmarking and future research.


title: Transparent Privacy is Principled Privacy

abstract: In a technical treatment, this article establishes the necessity of transparent privacy for drawing unbiased statistical inference for a wide range of scientific questions. Transparency is a distinct feature enjoyed by differential privacy: the probabilistic mechanism with which the data are privatized can be made public without sabotaging the privacy guarantee. Uncertainty due to transparent privacy may be conceived as a dynamic and controllable component from the total survey error perspective. As the 2020 U.S. Decennial Census adopts differential privacy, constraints imposed on the privatized data products through optimization constitute a threat to transparency and result in limited statistical usability. Transparent privacy presents a viable path toward principled inference from privatized data releases, and shows great promise toward improved reproducibility, accountability, and public trust in modern data curation.


title: Unpredictable Strings

abstract: A novel notion of unpredictable strings is revealed and utilized to define deterministic unpredictable sequences on a finite number of symbols. We prove the first law of large strings for random processes in discrete time, which confirms that there exists the uncountable set of unpredictable realizations. The hypothesis on the second law of large strings is formulated, which is relative to the Bernoulli theorem. Theoretical and numerical backgrounds for the laws are provided.


title: A Suite of Metrics for Calculating the Most Significant Security Relevant Software Flaw Types

abstract: The Common Weakness Enumeration (CWE) is a prominent list of software weakness types. This list is used by vulnerability databases to describe the underlying security flaws within analyzed vulnerabilities. This linkage opens the possibility of using the analysis of software vulnerabilities to identify the most significant weaknesses that enable those vulnerabilities. We accomplish this through creating mashup views combining CWE weakness taxonomies with vulnerability analysis data. The resulting graphs have CWEs as nodes, edges derived from multiple CWE taxonomies, and nodes adorned with vulnerability analysis information (propagated from children to parents). Using these graphs, we develop a suite of metrics to identify the most significant weakness types (using the perspectives of frequency, impact, exploitability, and overall severity).


title: Influence of $XY$ anisotropy on a magnetoelectric effect in spin-1/2 $XY$ chain in a transverse magnetic field

abstract: A magnetoelectric effect according to Katsura-Nagaosa-Balatsky mechanism in spin-1/2 $XY$ chain in transverse magnetic field is considered. A spatial orientation of the electric field is chosen to provide an exact solution of the model in terms of free spinless fermions. The simplest model of quantum spin chain demonstrating a magnetoelectric effect, a zero temperature case of the spin-1/2 $XX$ chain in a transverse magnetic field with Katsura-Nagaosa-Balatsky mechanism, is considered. The model has the simplest possible form of the magnetization, polarization and susceptibility functions, depending on electric and magnetic fields in a most simple form. For the case of arbitrary $XY$ anisotropy, a non-monotonous dependence of magnetization on the $XY$ anisotropy parameter is figured out. This non-uniform behaviour is governed by the critical point which is connected with the possibility to drive the system gapless or gapped by the electric field. Singularities of the magnetoelectric susceptibility at the critical value of system parameters are shown.


title: Ferromagnetically shifting the power of pausing

abstract: We study the interplay between quantum annealing parameters in embedded problems, providing both deeper insights into the physics of these devices and pragmatic recommendations to improve performance on optimization problems. We choose as our test case the class of degree-bounded minimum spanning tree problems. Through runs on a D-Wave quantum annealer, we demonstrate that pausing in a specific time window in the anneal provides improvement in the probability of success and in the time-to-solution for these problems. The time window is consistent across problem instances, and its location is within the region suggested by prior theory and seen in previous results on native problems. An approach to enable gauge transformations for problems with the qubit coupling strength $J$ in an asymmetric range is presented and shown to significantly improve performance. We also confirm that the optimal pause location exhibits a shift with the magnitude of the ferromagnetic coupling, $|J_F|$, between physical qubits representing the same logical one. We extend the theoretical picture for pausing and thermalization in quantum annealing to the embedded case. This picture, along with perturbation theory analysis, and exact numerical results on small problems, confirms that the effective pause region moves earlier in the anneal as $|J_F|$ increases. It also suggests why pausing, while still providing significant benefit, has a less pronounced effect on embedded problems.


title: The sociospatial factors of death: Analyzing effects of geospatially-distributed variables in a Bayesian mortality model for Hong Kong

abstract: Human mortality is in part a function of multiple socioeconomic factors that differ both spatially and temporally. Adjusting for other covariates, the human lifespan is positively associated with household wealth. However, the extent to which mortality in a geographical region is a function of socioeconomic factors in both that region and its neighbors is unclear. There is also little information on the temporal components of this relationship. Using the districts of Hong Kong over multiple census years as a case study, we demonstrate that there are differences in how wealth indicator variables are associated with longevity in (a) areas that are affluent but neighbored by socially deprived districts versus (b) wealthy areas surrounded by similarly wealthy districts. We also show that the inclusion of spatially-distributed variables reduces uncertainty in mortality rate predictions in each census year when compared with a baseline model. Our results suggest that geographic mortality models should incorporate nonlocal information (e.g., spatial neighbors) to lower the variance of their mortality estimates, and point to a more in-depth analysis of sociospatial spillover effects on mortality rates.


title: A dissymmetric [Gd$_{2}$] coordination molecular dimer hosting six addressable spin qubits

abstract: Artificial magnetic molecules are suitable hosts to one or several spin qubits, which could then implement small-scale algorithms. In order to become of practical use, such molecular spin processors need to increase the dimension $d$ of the available computational space and fulfill the highly demanding conditions that warrant universal operations. Here, we design, synthesize and fully characterize dissymetric molecular dimers hosting either one or two Gd(III) ions. The strong sensitivity of Gd(III) magnetic anisotropy to the symmetry of its local coordination gives rise to different zero-field splittings at each coordination site. As a result, the [LaGd] and [GdLu] complexes provide realizations of distinct $d = 8$ spin qudits, whereas the [Gd$_{2}$] dimer meets all requirements, including a complete set of operations, to act as a $d = 64$ all-electron spin qudit (or, equivalenty, as six addressable qubits). Electron paramagnetic resonance experiments show that the relevant resonant transitions between different spin states can be coherently controlled, with coherence times T$_{M}$ of the order of $1$ $\mu$s limited by intramolecular hyperfine interactions. Coordination complexes with embedded quantum functionalities are promising building blocks for quantum computation and simulation hybrid platforms.


title: Machine-learning approach to identification of coronal holes in solar disk images and synoptic maps

abstract: Identification of solar coronal holes (CHs) provides information both for operational space weather forecasting and long-term investigation of solar activity. Source data for the first problem are typically most recent solar disk observations, while for the second problem it is convenient to consider solar synoptic maps. Motivated by the idea that the concept of CHs should be similar for both cases we investigate universal models that can learn a CHs segmentation in disk images and reproduce the same segmentation in synoptic maps. We demonstrate that Convolutional Neural Networks (CNN) trained on daily disk images provide an accurate CHs segmentation in synoptic maps and their pole-centric projections. Using this approach we construct a catalog of synoptic maps for the period of 2010-20 based on SDO/AIA observations in the 193 Angstrom wavelength. The obtained CHs synoptic maps are compared with magnetic synoptic maps in the time-latitude and time-longitude diagrams. The initial results demonstrate that while in some cases the CHs are associated with magnetic flux transport events there are other mechanisms contributing to the CHs formation and evolution. To stimulate further investigations the catalog of synoptic maps is published in open access.


title: Selecting the Number of Clusters $K$ with a Stability Trade-off: an Internal Validation Criterion

abstract: Model selection is a major challenge in non-parametric clustering. There is no universally admitted way to evaluate clustering results for the obvious reason that no ground truth is available. The difficulty to find a universal evaluation criterion is a consequence of the ill-defined objective of clustering. In this perspective, clustering stability has emerged as a natural and model-agnostic principle: an algorithm should find stable structures in the data. If data sets are repeatedly sampled from the same underlying distribution, an algorithm should find similar partitions. However, stability alone is not well-suited to determine the number of clusters. For instance, it is unable to detect if the number of clusters is too small. We propose a new principle: a good clustering should be stable, and within each cluster, there should exist no stable partition. This principle leads to a novel clustering validation criterion based on between-cluster and within-cluster stability, overcoming limitations of previous stability-based methods. We empirically demonstrate the effectiveness of our criterion to select the number of clusters and compare it with existing methods. Code is available at https://github.com/FlorentF9/skstab.


title: Alternating Energy Minimization Methods for Multi-term Matrix Equations

abstract: We develop computational methods for approximating the solution of a linear multi-term matrix equation in low rank. We follow an alternating minimization framework, where the solution is represented as a product of two matrices, and approximations to each matrix are sought by solving certain minimization problems repeatedly. The solution methods we present are based on a rank-adaptive variant of alternating energy minimization methods that builds an approximation iteratively by successively computing a rank-one solution component at each step. We also develop efficient procedures to improve the accuracy of the low-rank approximate solutions computed using these successive rank-one update techniques. We explore the use of the methods with linear multi-term matrix equations that arise from stochastic Galerkin finite element discretizations of parameterized linear elliptic PDEs, and demonstrate their effectiveness with numerical studies.


title: Improved Conditional Flow Models for Molecule to Image Synthesis

abstract: In this paper, we aim to synthesize cell microscopy images under different molecular interventions, motivated by practical applications to drug development. Building on the recent success of graph neural networks for learning molecular embeddings and flow-based models for image generation, we propose Mol2Image: a flow-based generative model for molecule to cell image synthesis. To generate cell features at different resolutions and scale to high-resolution images, we develop a novel multi-scale flow architecture based on a Haar wavelet image pyramid. To maximize the mutual information between the generated images and the molecular interventions, we devise a training strategy based on contrastive learning. To evaluate our model, we propose a new set of metrics for biological image generation that are robust, interpretable, and relevant to practitioners. We show quantitatively that our method learns a meaningful embedding of the molecular intervention, which is translated into an image representation reflecting the biological effects of the intervention.


title: A Design Methodology for Post-Moore's Law Accelerators: The Case of a Photonic Neuromorphic Processor

abstract: Over the past decade alternative technologies have gained momentum as conventional digital electronics continue to approach their limitations, due to the end of Moore's Law and Dennard Scaling. At the same time, we are facing new application challenges such as those due to the enormous increase in data. The attention, has therefore, shifted from homogeneous computing to specialized heterogeneous solutions. As an example, brain-inspired computing has re-emerged as a viable solution for many applications. Such new processors, however, have widened the abstraction gamut from device level to applications. Therefore, efficient abstractions that can provide vertical design-flow tools for such technologies became critical. Photonics in general, and neuromorphic photonics in particular, are among the promising alternatives to electronics. While the arsenal of device level toolbox for photonics, and high-level neural network platforms are rapidly expanding, there has not been much work to bridge this gap. Here, we present a design methodology to mitigate this problem by extending high-level hardware-agnostic neural network design tools with functional and performance models of photonic components. In this paper we detail this tool and methodology by using design examples and associated results. We show that adopting this approach enables designers to efficiently navigate the design space and devise hardware-aware systems with alternative technologies.


title: Anomalous helimagnetic domain shrinkage due to the weakening of Dzyaloshinskii-Moriya interaction in CrAs

abstract: CrAs is a well-known helimagnet with the double-helix structure originating from the competition between the Dzyaloshinskii-Moriya interaction (DMI) and antiferromagnetic exchange interaction $J$. By resonant soft X-ray scattering (RSXS), we observe the magnetic peak (0~0~$q_m$) that emerges at the helical transition with $T_S$ $\approx$ 267.5 K. Intriguingly, the helimagnetic domains significantly shrink on cooling below $\sim$255 K, opposite to the conventional thermal effect. The weakening of DMI on cooling is found to play a critical role here. It causes the helical wave vector to vary, ordered spins to rotate, and extra helimagnetic domain boundaries to form at local defects, thus leading to the anomalous shrinkage of helimagnetic domains. Our results indicate that the size of magnetic helical domains can be controlled by tuning DMI in certain helimagnets.


title: Open problems on Iwahori-Hecke algebras

abstract: We state four open problems on Iwahori-Hecke algebras. The first one states a relation between some algebras appearing in Solleveld's work and some explicit Hecke algebras appearing in the study of unipotent representations. The second one is a boundedness conjecture. The third one is a conjecture of well-definedness of an asymptotic Hecke algebra. The fourth one concerns positive conjugacy classes in a Weyl group.


title: Femtomolar-level detection of SARS-CoV-2 spike proteins using toroidal plasmonic metasensors

abstract: Effective and efficient management of human betacoronavirus severe acute respiratory syndrome (SARS)-CoV-2 infection i.e., COVID-19 pandemic, required sensitive sensors with short sample-to-result durations for performing diagnostics. In this direction, one of appropriate alternative approach to detect SARS-CoV-2 at low level (fmol) is exploring plasmonic metasensor technology for COVID-19 diagnostics, which offers exquisite opportunities in advanced healthcare programs, and modern clinical diagnostics. The intrinsic merits of plasmonic metasensors stem from their capability to squeeze electromagnetic fields, simultaneously in frequency, time, and space. However, the detection of low-molecular weight biomolecules at low densities is a typical drawback of conventional metasensors that has recently been addressed using toroidal metasurface technology. This research reports fabrication of a miniaturized plasmonic immunosensor based on toroidal electrodynamics concept that can sustain robustly confined plasmonic modes with ultranarrow lineshapes in the terahertz (THz) frequencies. By exciting toroidal dipole mode using our quasi-infinite metasurface and a judiciously optimized protocol based on functionalized gold nanoparticles (NPs) conjugated with the specific monoclonal antibody of SARS-CoV-2 onto the metasurface, the resonance shifts for diverse concentrations of the spike protein is monitored. Possessing molecular weight around ~76 kDa allowed us to detect the presence of spike protein with significantly low LoD ~4.2 fmol.


title: Resonances induced by Spiking Time Dependent Plasticity

abstract: Neural populations exposed to a certain stimulus learn to represent it better. However, the process that leads local, self-organized rules to do so is unclear. We address the question of how can a neural periodic input be learned and use the Differential Hebbian Learning framework, coupled with a homeostatic mechanism to derive two self-consistency equations that lead to increased responses to the same stimulus. Although all our simulations are done with simple Leaky-Integrate and Fire neurons and standard Spiking Time Dependent Plasticity learning rules, our results can be easily interpreted in terms of rates and population codes.


title: Boosting Black-Box Attack with Partially Transferred Conditional Adversarial Distribution

abstract: This work studies black-box adversarial attacks against deep neural networks (DNNs), where the attacker can only access the query feedback returned by the attacked DNN model, while other information such as model parameters or the training datasets are unknown. One promising approach to improve attack performance is utilizing the adversarial transferability between some white-box surrogate models and the target model (i.e., the attacked model). However, due to the possible differences on model architectures and training datasets between surrogate and target models, dubbed "surrogate biases", the contribution of adversarial transferability to improving the attack performance may be weakened. To tackle this issue, we innovatively propose a black-box attack method by developing a novel mechanism of adversarial transferability, which is robust to the surrogate biases. The general idea is transferring partial parameters of the conditional adversarial distribution (CAD) of surrogate models, while learning the untransferred parameters based on queries to the target model, to keep the flexibility to adjust the CAD of the target model on any new benign sample. Extensive experiments on benchmark datasets and attacking against real-world API demonstrate the superior attack performance of the proposed method.


title: Deep Layer-wise Networks Have Closed-Form Weights

abstract: There is currently a debate within the neuroscience community over the likelihood of the brain performing backpropagation (BP). To better mimic the brain, training a network $\textit{one layer at a time}$ with only a "single forward pass" has been proposed as an alternative to bypass BP; we refer to these networks as "layer-wise" networks. We continue the work on layer-wise networks by answering two outstanding questions. First, $\textit{do they have a closed-form solution?}$ Second, $\textit{how do we know when to stop adding more layers?}$ This work proves that the kernel Mean Embedding is the closed-form weight that achieves the network global optimum while driving these networks to converge towards a highly desirable kernel for classification; we call it the $\textit{Neural Indicator Kernel}$.


title: The impact of line-of-sight structures on measuring $H_0$ with strong lensing time-delays

abstract: Measurements of The Hubble-Lemaitre constant from early- and local-universe observations show a significant discrepancy. In an attempt to understand the origin of this mismatch, independent techniques to measure H0 are required. One such technique, strong lensing time delays, is set to become a leading contender amongst the myriad methods due to forthcoming large strong lens samples. It is therefore critical to understand the systematic effects inherent in this method. In this paper, we quantify the influence of additional structures along the line-of-sight by adopting realistic light cones derived from the CosmoDC2 semi-analytical extra-galactic catalogue. Using multiple lens plane ray-tracing to create a set of simulated strong lensing systems, we have investigated the impact of line-of-sight structures on time-delay measurements and in turn, on the inferred value of H0. We have also tested the reliability of existing procedures for correcting for line-of-sight effects. We find that if the integrated contribution of the line-of-sight structures is close to a uniform mass sheet, the bias in H0 can be adequately corrected by including a constant external convergence $\kappa_{ext}$ in the lens model. However, for realistic line-of-sight structures comprising many galaxies at different redshifts, this simple correction overestimates the bias by an amount that depends linearly on the median external convergence. We, therefore, conclude that lens modelling must incorporate multiple lens planes to account for line-of-sight structures for accurate and precise inference of H0.


title: Majorization and Spherical Functions

abstract: Majorization is a partial order on real vectors which plays an important role in a variety of subjects, ranging from algebra and combinatorics to probability and statistics. In this paper, we consider a generalized notion of majorization associated to an arbitrary root system $\Phi,$ and show that it admits a natural characterization in terms of the values of spherical functions on any Riemannian symmetric space with restricted root system $\Phi.$


title: On the existence of special elements in odd $K$-theory groups

abstract: Let $k$ be an imaginary quadratic number field, and $F/k$ a finite abelian extension of Galois group $G$. We investigate the relationship between the conjectural special elements introduced in \cite{Burns-DeJeu-Gangl} and ETNC in the semi-simple case. This provides a partial proof of the conjecture for $F/k$ under certain conditions.


title: Measurement-Based Evaluation Of Google/Apple Exposure Notification API For Proximity Detection in a Commuter Bus

abstract: We report on the results of a measurement study carried out on a commuter bus in Dublin, Ireland using the Google/Apple Exposure Notification (GAEN) API. This API is likely to be widely used by Covid-19 contact tracing apps. Measurements were collected between 60 pairs of handset locations and are publicly available. We find that the attenuation level reported by the GAEN API need not increase with distance between handsets, consistent with there being a complex radio environment inside a bus caused by the metal-rich environment. Changing the people holding a pair of handsets, with the location of the handsets otherwise remaining unchanged, can cause variations of +/-10dB in the attenuation level reported by the GAEN API. Applying the rule used by the Swiss Covid-19 contact tracing app to trigger an exposure notification to our bus measurements we find that no exposure notifications would have been triggered despite the fact that all pairs of handsets were within 2m of one another for at least 15 mins. Applying an alternative threshold-based exposure notification rule can somewhat improve performance to a detection rate of 5% when an exposure duration threshold of 15 minutes is used, increasing to 8% when the exposure duration threshold is reduced to 10 mins. Stratifying the data by distance between pairs of handsets indicates that there is only a weak dependence of detection rate on distance.


title: The AMBRE Project: Spectrum normalisation influence on Mg abundances in the metal-rich Galactic disc

abstract: The abundance of {\alpha}-elements provides an important fossil signature in Galactic archaeology to trace the chemical evolution of the different disc populations. High-precision chemical abundances are crucial to improving our understanding of the chemodynamical properties present in the Galaxy. However, deriving precise abundance estimations in the metal-rich disc ([M/H] > 0 dex) is still challenging. The aim of this paper is to analyse different error sources affecting magnesium abundance estimations from optical spectra of metal-rich stars. We derived Mg abundances for 87522 high-resolution spectra of 2210 solar neighbourhood stars from the AMBRE Project. For this purpose, the GAUGUIN automated abundance estimation procedure was employed. The normalisation procedure has a strong impact on the derived abundances, with a clear dependence on the stellar type and the line intensity. For non-saturated lines, the optimal wavelength domain for the local continuum placement should be evaluated using a goodness-of-fit criterion, allowing mask-size dependence with the spectral type. Moreover, for strong saturated lines, applying a narrow normalisation window reduces the parameter-dependent biases of the abundance estimate, increasing the line-to-line abundance precision. In addition, working at large spectral resolutions always leads to better results than at lower ones. The resulting improvement in the abundance precision makes it possible to observe both a clear thin-thick disc chemical distinction and a decreasing trend in the magnesium abundance even at supersolar metallicities. In the era of precise kinematical and dynamical data, optimising the normalisation procedures implemented for large spectroscopic stellar surveys would provide a significant improvement to our understanding of the chemodynamical patterns of Galactic populations.