title: Carbon and Boron Nitride nanostructures for Hydrogen storage applications through a theoretical perspective

abstract: The recent progress in the field of hydrogen storage in carbon and boron nitride nanostructures has been summarized. Carbon and boron nitride nanostructures are considered advantageous in this prospect due to their lightweight and high surface area. Demerits of pristine structures to hold hydrogen molecules for mobile applications have been highlighted by many researchers. In such cases, weak van der Waals interaction comes into account, hence, the hydrogen molecules are weakly bonded with the host materials and hence weak adsorption energy and low hydrogen molecules uptake. So, to tune the adsorption energy as well as overall kinetics, methods such as doping, light alkali-alkaline earth metals decoration, vacancy, functionalization, pressure variation, application of external electric field, and biaxial strain has been adopted by many researchers. Physisorption with atoms decoration is promising for hydrogen storage application. Under this condition, the host materials have high storage capacity with considerable average adsorption energy, feasible adsorption/desorption kinetics.


title: Minimum-error discrimination of thermal states

abstract: We study several variations of the question of minimum-error discrimination of thermal states. Besides of providing the optimal values for the probability of error, we also characterize the optimal measurements. For the case of a fixed Hamiltonian, we show that for a general discrimination problem the optimal measurement is the measurement in the energy basis of the Hamiltonian. We identify a critical temperature, determining whether the given temperature is best distinguishable from thermal state of very high or very low temperatures. Further, we investigate the decision problem of whether the thermal state is above or below some threshold value of the temperature. Also, in this case, the minimum-error measurement is the measurement in the energy basis. This is no longer the case once the thermal states to be discriminated have different Hamiltonians. We analyze a specific situation when the temperature is fixed but the Hamiltonians are different. For the considered case, we show the optimal measurement is independent of the fixed temperature and also of the strength of the interaction.


title: CarveNet: Carving Point-Block for Complex 3D Shape Completion

abstract: 3D point cloud completion is very challenging because it heavily relies on the accurate understanding of the complex 3D shapes (e.g., high-curvature, concave/convex, and hollowed-out 3D shapes) and the unknown & diverse patterns of the partially available point clouds. In this paper, we propose a novel solution,i.e., Point-block Carving (PC), for completing the complex 3D point cloud completion. Given the partial point cloud as the guidance, we carve a3D block that contains the uniformly distributed 3D points, yielding the entire point cloud. To achieve PC, we propose a new network architecture, i.e., CarveNet. This network conducts the exclusive convolution on each point of the block, where the convolutional kernels are trained on the 3D shape data. CarveNet determines which point should be carved, for effectively recovering the details of the complete shapes. Furthermore, we propose a sensor-aware method for data augmentation,i.e., SensorAug, for training CarveNet on richer patterns of partial point clouds, thus enhancing the completion power of the network. The extensive evaluations on the ShapeNet and KITTI datasets demonstrate the generality of our approach on the partial point clouds with diverse patterns. On these datasets, CarveNet successfully outperforms the state-of-the-art methods.


title: Number of visits in arbitrary sets for $\phi$-mixing dynamics

abstract: It is well-known that, for sufficiently mixing dynamical systems, the number of visits to balls and cylinders of vanishing measure is approximately Poisson compound distributed in the Kac scaling. Here we extend this kind of results when the target set is an arbitrary set with vanishing measure in the case of $\phi$-mixing systems. The error of approximation in total variation is derived using Stein-Chen method. An important part of the paper is dedicated to examples to illustrate the assumptions, as well as applications to temporal synchronisation of $g$-measures


title: Artificial Intelligence in Healthcare: Lost In Translation?

abstract: Artificial intelligence (AI) in healthcare is a potentially revolutionary tool to achieve improved healthcare outcomes while reducing overall health costs. While many exploratory results hit the headlines in recent years there are only few certified and even fewer clinically validated products available in the clinical setting. This is a clear indication of failing translation due to shortcomings of the current approach to AI in healthcare. In this work, we highlight the major areas, where we observe current challenges for translation in AI in healthcare, namely precision medicine, reproducible science, data issues and algorithms, causality, and product development. For each field, we outline possible solutions for these challenges. Our work will lead to improved translation of AI in healthcare products into the clinical setting


title: The OctoPAES board for the validation of KM3NeT data acquisition system

abstract: A test-bench has been set up at the INFN Sezione di Bologna to optimise key elements of the KM3NeT data acquisition system. A complete framework has been built to simulate a full detection unit and test the optical network, time synchronisation, and on-shore computing resources. A fundamental tool in the test-setup is a customized electronic board: "the OctoPAES". Based on an Altera MAX10 CPLD, it is designed to emulate in a realistic way the optical and acoustic signals recorded by the underwater detectors. They allow to test in extreme conditions the acquisition system and validate its performance with realistic data. If properly configured, the optical data provided by the OctoPAES can be combined to emulate the signals of a through-going muon or other calibration events. In this contribution the OctoPAES boards and some of their use cases at the test-bench are presented.


title: General bulk-edge correspondence at positive temperature

abstract: By extending the gauge covariant magnetic perturbation theory to operators defined on half-planes, we prove that for $2d$ random ergodic magnetic Schr\"odinger operators, the celebrated bulk-edge correspondence can be obtained from a general bulk-edge duality at positive temperature involving the bulk magnetization and the total edge current. Our main result is encapsulated in a formula, which states that the derivative of a large class of bulk partition functions with respect to the external constant magnetic field, equals the expectation of a corresponding edge distribution function of the velocity component which is parallel to the edge. Neither spectral gaps, nor mobility gaps, nor topological arguments are required. The equality between the bulk and edge indices, as stated by the conventional bulk-edge correspondence, is obtained as a corollary of our purely analytical arguments by imposing a gap condition and by taking a ``zero-temperature" limit.

categories: math-ph cond-mat.mes-hall math.AP math.MP math.SP


title: Enhanced MOKE magnetometry via Tunable Surface Plasmon resonance

abstract: Here we demonstrate the enhancement of the transverse magneto-optical Kerr effect (TMOKE) signal, in the Otto configuration, due to surface plasmon resonance. We present an architecture where the low index dielectric has a variable thickness. This allows the plasmon resonance to be tuned, depending on the magnetic sample and thus be utilized to enhance the MOKE signal of samples separated from the plasmonic device. We have achieved this by using air as low index dielectric where the evanescent wave extends, preceding to excitation of surface plasmons. The magnetic sample under consideration is a thin layer of cobalt coated by an ultrathin silver layer, on a silicon substrate (Ag/Co/Si). The sample is brought close enough to the prism//Air interface, allowing surface plasmon excitation in the air/Ag interface. This leads to an increase of the TMOKE signal up to ~ 2 per mil with respect to the incident light. This is about 8 times the traditional MOKE signal in the absence of plasmons. This is comparable with previous works using the Kretschmann-Raether configuration. This should find applications in MOKE-related technology by increasing its sensitivity to about one order of magnitude and allowing the magnetic sample to be separated from the plasmonic resonance device.


title: Magnetism in heavy-f-electron metals

abstract: In this document, I present a personal view on the heavy-fermion problem, within a phenomenological approach guided by experiments. This review presents a set of 'historical' works which established the ground bases of the thematic during the last decades. An exhaustive and systematic approach is privileged. After a general presentation in Chapter 2, the properties of heavy-fermion paramagnets, antiferromagnets, and ferromagnets are considered in Chapters 3, 4, and 5, respectively. Chapters 6 and 7 are dedicated to two specific compounds, URu$_2$Si$_2$ for which a 'hidden-order' phase constitutes a more-than-thirty-years-old unsolved mystery, and UTe$_2$, where multiple superconducting phases have been discovered in the last two years. Experiments performed using a panel of techniques ranging from microscopic (neutron scattering, NMR, etc.) to thermodynamic (specific heat, magnetization, etc.) and transport (electrical resistivity, etc.) probes, under extreme conditions of low temperatures, intense magnetic fields and high pressures, are reviewed. They show that magnetism plays a central role in the quantum critical properties of heavy-fermion systems. An emphasis is given to the intersite magnetic fluctuations, presented as the driving force for a heavy Fermi liquid, precursor of quantum magnetic criticality ending in magnetically-ordered phases. They are also suspected to drive an unconventional mechanism for superconductivity, which develops in the vicinity of quantum magnetic phase transitions induced under pressure or magnetic field. The appearance of magnetic fluctuations and ultimately magnetic order in heavy-fermion compounds occurs in a nearly-integer-valence regime, in which $f$ electrons have a dual itinerant-localized character. Fermi-surface and valence studies, which give complementary information about this duality, are also considered.


title: Surrogate Model-Based Explainability Methods for Point Cloud NNs

abstract: In the field of autonomous driving and robotics, point clouds are showing their excellent real-time performance as raw data from most of the mainstream 3D sensors. Therefore, point cloud neural networks have become a popular research direction in recent years. So far, however, there has been little discussion about the explainability of deep neural networks for point clouds. In this paper, we propose a point cloud-applicable explainability approach based on local surrogate model-based method to show which components contribute to the classification. Moreover, we propose quantitative fidelity validations for generated explanations that enhance the persuasive power of explainability and compare the plausibility of different existing point cloud-applicable explainability methods. Our new explainability approach provides a fairly accurate, more semantically coherent and widely applicable explanation for point cloud classification tasks. Our code is available at https://github.com/Explain3D/LIME-3D


title: The number of $n$-queens configurations

abstract: The $n$-queens problem is to determine $\mathcal{Q}(n)$, the number of ways to place $n$ mutually non-threatening queens on an $n \times n$ board. We show that there exists a constant $\alpha = 1.942 \pm 3 \times 10^{-3}$ such that $\mathcal{Q}(n) = ((1 \pm o(1))ne^{-\alpha})^n$. The constant $\alpha$ is characterized as the solution to a convex optimization problem in $\mathcal{P}([-1/2,1/2]^2)$, the space of Borel probability measures on the square. The chief innovation is the introduction of limit objects for $n$-queens configurations, which we call queenons. These form a convex set in $\mathcal{P}([-1/2,1/2]^2)$. We define an entropy function that counts the number of $n$-queens configurations that approximate a given queenon. The upper bound uses the entropy method of Radhakrishnan and Linial--Luria. For the lower bound we describe a randomized algorithm that constructs a configuration near a prespecified queenon and whose entropy matches that found in the upper bound. The enumeration of $n$-queens configurations is then obtained by maximizing the (concave) entropy function in the space of queenons. Along the way we prove a large deviations principle for $n$-queens configurations that can be used to study their typical structure.


title: Marine Vehicles Localization Using Grid Cells for Path Integration

abstract: Autonomous Underwater Vehicles (AUVs) are platforms used for research and exploration of marine environments. However, these types of vehicles face many challenges that hinder their widespread use in the industry. One of the main limitations is obtaining accurate position estimation, due to the lack of GPS signal underwater. This estimation is usually done with Kalman filters. However, new developments in the neuroscience field have shed light on the mechanisms by which mammals are able to obtain a reliable estimation of their current position based on external and internal motion cues. A new type of neuron, called Grid cells, has been shown to be part of path integration system in the brain. In this article, we show how grid cells can be used for obtaining a position estimation of underwater vehicles. The model of grid cells used requires only the linear velocities together with heading orientation and provides a reliable estimation of the vehicle's position. We provide simulation results for an AUV which show the feasibility of our proposed methodology.


title: MSTL: A Seasonal-Trend Decomposition Algorithm for Time Series with Multiple Seasonal Patterns

abstract: The decomposition of time series into components is an important task that helps to understand time series and can enable better forecasting. Nowadays, with high sampling rates leading to high-frequency data (such as daily, hourly, or minutely data), many real-world datasets contain time series data that can exhibit multiple seasonal patterns. Although several methods have been proposed to decompose time series better under these circumstances, they are often computationally inefficient or inaccurate. In this study, we propose Multiple Seasonal-Trend decomposition using Loess (MSTL), an extension to the traditional Seasonal-Trend decomposition using Loess (STL) procedure, allowing the decomposition of time series with multiple seasonal patterns. In our evaluation on synthetic and a perturbed real-world time series dataset, compared to other decomposition benchmarks, MSTL demonstrates competitive results with lower computational cost. The implementation of MSTL is available in the R package forecast.


title: Learning the shape of female breasts: an open-access 3D statistical shape model of the female breast built from 110 breast scans

abstract: We present the Regensburg Breast Shape Model (RBSM) -- a 3D statistical shape model of the female breast built from 110 breast scans acquired in a standing position, and the first publicly available. Together with the model, a fully automated, pairwise surface registration pipeline used to establish dense correspondence among 3D breast scans is introduced. Our method is computationally efficient and requires only four landmarks to guide the registration process. A major challenge when modeling female breasts from surface-only 3D breast scans is the non-separability of breast and thorax. In order to weaken the strong coupling between breast and surrounding areas, we propose to minimize the variance outside the breast region as much as possible. To achieve this goal, a novel concept called breast probability masks (BPMs) is introduced. A BPM assigns probabilities to each point of a 3D breast scan, telling how likely it is that a particular point belongs to the breast area. During registration, we use BPMs to align the template to the target as accurately as possible inside the breast region and only roughly outside. This simple yet effective strategy significantly reduces the unwanted variance outside the breast region, leading to better statistical shape models in which breast shapes are quite well decoupled from the thorax. The RBSM is thus able to produce a variety of different breast shapes as independently as possible from the shape of the thorax. Our systematic experimental evaluation reveals a generalization ability of 0.17 mm and a specificity of 2.8 mm. To underline the expressiveness of the proposed model, we finally demonstrate in two showcase applications how the RBSM can be used for surgical outcome simulation and the prediction of a missing breast from the remaining one. Our model is available at https://www.rbsm.re-mic.de/.


title: Reconstructing QCD Spectral Functions with Gaussian Processes

abstract: We reconstruct ghost and gluon spectral functions in 2+1 flavor QCD with Gaussian process regression. This framework allows us to largely suppress spurious oscillations and other common reconstruction artifacts by specifying generic magnitude and length scale parameters in the kernel function. The Euclidean propagator data are taken from lattice simulations with domain wall fermions at the physical point. For the infrared and ultraviolet extensions of the lattice propagators as well as the low-frequency asymptotics of the ghost spectral function, we utilize results from functional computations in Yang-Mills theory and QCD. This further reduces the systematic error significantly. Our numerical results are compared against a direct real-time functional computation of the ghost and an earlier reconstruction of the gluon in Yang-Mills theory. The systematic approach presented in this work offers a promising route towards unveiling real-time properties of QCD.


title: A Proof-of-Concept Study of Artificial Intelligence Assisted Contour Revision

abstract: Automatic segmentation of anatomical structures is critical for many medical applications. However, the results are not always clinically acceptable and require tedious manual revision. Here, we present a novel concept called artificial intelligence assisted contour revision (AIACR) and demonstrate its feasibility. The proposed clinical workflow of AIACR is as follows given an initial contour that requires a clinicians revision, the clinician indicates where a large revision is needed, and a trained deep learning (DL) model takes this input to update the contour. This process repeats until a clinically acceptable contour is achieved. The DL model is designed to minimize the clinicians input at each iteration and to minimize the number of iterations needed to reach acceptance. In this proof-of-concept study, we demonstrated the concept on 2D axial images of three head-and-neck cancer datasets, with the clinicians input at each iteration being one mouse click on the desired location of the contour segment. The performance of the model is quantified with Dice Similarity Coefficient (DSC) and 95th percentile of Hausdorff Distance (HD95). The average DSC/HD95 (mm) of the auto-generated initial contours were 0.82/4.3, 0.73/5.6 and 0.67/11.4 for three datasets, which were improved to 0.91/2.1, 0.86/2.4 and 0.86/4.7 with three mouse clicks, respectively. Each DL-based contour update requires around 20 ms. We proposed a novel AIACR concept that uses DL models to assist clinicians in revising contours in an efficient and effective way, and we demonstrated its feasibility by using 2D axial CT images from three head-and-neck cancer datasets.


title: Proof-of-principle experimental demonstration of quantum gate verification

abstract: To employ a quantum device, the performance of the quantum gates in the device needs to be evaluated first. Since the dimensionality of a quantum gate grows exponentially with the number of qubits, evaluating the performance of a quantum gate is a challenging task. Recently, a scheme called quantum gate verification (QGV) has been proposed, which can verifies quantum gates with near-optimal efficiency. In this paper, we implement a proof-of-principle optical experiment to demonstrate this QGV scheme. We show that for a single-qubit quantum gate, only $\sim300$ samples are needed to confirm the fidelity of the quantum gate to be at least $97\%$ with a $99\%$ confidence level using the QGV method, whereas, at least $\sim3000$ samples are needed to achieve the same result using the standard quantum process tomography method. The QGV method validated by this paper has the potential to be widely used for the evaluation of quantum devices in various quantum information applications.


title: Recursively Conditional Gaussian for Ordinal Unsupervised Domain Adaptation

abstract: The unsupervised domain adaptation (UDA) has been widely adopted to alleviate the data scalability issue, while the existing works usually focus on classifying independently discrete labels. However, in many tasks (e.g., medical diagnosis), the labels are discrete and successively distributed. The UDA for ordinal classification requires inducing non-trivial ordinal distribution prior to the latent space. Target for this, the partially ordered set (poset) is defined for constraining the latent vector. Instead of the typically i.i.d. Gaussian latent prior, in this work, a recursively conditional Gaussian (RCG) set is adapted for ordered constraint modeling, which admits a tractable joint distribution prior. Furthermore, we are able to control the density of content vector that violates the poset constraints by a simple "three-sigma rule". We explicitly disentangle the cross-domain images into a shared ordinal prior induced ordinal content space and two separate source/target ordinal-unrelated spaces, and the self-training is worked on the shared space exclusively for ordinal-aware domain alignment. Extensive experiments on UDA medical diagnoses and facial age estimation demonstrate its effectiveness.


title: Predictability as a quantum resource

abstract: Just recently, complementarity relations (CRs) have been derived from the basic rules of Quantum Mechanics. The complete CRs are equalities involving quantum coherence, $C$, quantum entanglement, and predictability, $P$. While the first two are already quantified in the resource theory framework, such a characterization lacks for the last. In this article, we start showing that, for a system prepared in a state $\rho$, $P$ of $\rho$, with reference to an observable $X$, is equal to $C$, with reference to observables mutually unbiased (MU) to $X$, of the state $\Phi_{X}(\rho)$, which is obtained from a non-revealing von Neumann measurement (NRvNM) of $X$. We also show that $P^X(\rho)>C^{Y}(\Phi_{X}(\rho))$ for observables not MU. Afterwards, we provide quantum circuits for implementing NRvNMs and use these circuits to experimentally test these (in)equalities using the IBM's quantum computers. Furthermore, we give a resource theory for predictability, identifying its free quantum states and free quantum operations and discussing some predictability monotones. Besides, after applying one of these predictability monotones to study bipartite systems, we discuss the relation among the resource theories of quantum coherence, predictability, and purity.


title: Adversarial Unsupervised Domain Adaptation with Conditional and Label Shift: Infer, Align and Iterate

abstract: In this work, we propose an adversarial unsupervised domain adaptation (UDA) approach with the inherent conditional and label shifts, in which we aim to align the distributions w.r.t. both $p(x|y)$ and $p(y)$. Since the label is inaccessible in the target domain, the conventional adversarial UDA assumes $p(y)$ is invariant across domains, and relies on aligning $p(x)$ as an alternative to the $p(x|y)$ alignment. To address this, we provide a thorough theoretical and empirical analysis of the conventional adversarial UDA methods under both conditional and label shifts, and propose a novel and practical alternative optimization scheme for adversarial UDA. Specifically, we infer the marginal $p(y)$ and align $p(x|y)$ iteratively in the training, and precisely align the posterior $p(y|x)$ in testing. Our experimental results demonstrate its effectiveness on both classification and segmentation UDA, and partial UDA.


title: Unifying and benchmarking state-of-the-art quantum error mitigation techniques

abstract: Error mitigation is an essential component of achieving a practical quantum advantage in the near term, and a number of different approaches have been proposed. In this work, we recognize that many state-of-the-art error mitigation methods share a common feature: they are data-driven, employing classical data obtained from runs of different quantum circuits. For example, Zero-noise extrapolation (ZNE) uses variable noise data and Clifford-data regression (CDR) uses data from near-Clifford circuits. We show that Virtual Distillation (VD) can be viewed in a similar manner by considering classical data produced from different numbers of state preparations. Observing this fact allows us to unify these three methods under a general data-driven error mitigation framework that we call UNIfied Technique for Error mitigation with Data (UNITED). In certain situations, we find that our UNITED method can outperform the individual methods (i.e., the whole is better than the individual parts). Specifically, we employ a realistic noise model obtained from a trapped ion quantum computer to benchmark UNITED, as well as other state-of-the-art methods, in mitigating observables produced from random quantum circuits and the Quantum Alternating Operator Ansatz (QAOA) applied to Max-Cut problems with various numbers of qubits, circuit depths and total numbers of shots. We find that the performance of different techniques depends strongly on shot budgets, with more powerful methods requiring more shots for optimal performance. For our largest considered shot budget ($10^{10}$), we find that UNITED gives the most accurate mitigation. Hence, our work represents a benchmarking of current error mitigation methods and provides a guide for the regimes when certain methods are most useful.


title: Experimental Inference of Neutral and Impurity Transport in Alcator C-Mod Using High-Resolution X-Ray and Ultra-Violet Spectra

abstract: We present experimental inferences of cross-field impurity transport coefficients for Alcator C-Mod plasmas using a novel forward model for the entire Ca K-alpha spectrum, including satellite lines within the spectral range, to compare to high-resolution X-ray Imaging Crystal Spectroscopy (XICS). These measurements are complemented by Extreme Ultra-Violet (EUV) spectroscopy that constrains transport closer to the edge. Using new atomic data sets for both XICS and EUV analysis has enabled consideration of line ratios across both spectral ranges and has increased the accuracy of inferred transport coefficients. Inclusion of charge exchange between edge thermal neutrals and impurities is shown to be extremely important in C-Mod pedestals. We obtain D atomic neutral densities from experimental D Ly-alpha measurements at the midplane and compare these to SOLPS-ITER simulations, finding good agreement. Bayesian inferences of impurity transport coefficients are presented for L-, EDA H-, and I-mode discharges, making use of the Aurora package for forward modeling and combining our spectroscopic constraints. Experimentally inferred diffusion profiles are found to match turbulent transport models at midradius within uncertainties, using both quasilinear gyro-fluid TGLF SAT-1 and nonlinear ion-scale gyrokinetic CGYRO simulations. Significant discrepancies in convection are observed in some cases, suggesting difficulties in predictions of flat or hollow impurity profiles.


title: Reenvisioning Collaborative Filtering vs Matrix Factorization

abstract: Collaborative filtering models based on matrix factorization and learned similarities using Artificial Neural Networks (ANNs) have gained significant attention in recent years. This is, in part, because ANNs have demonstrated good results in a wide variety of recommendation tasks. The introduction of ANNs within the recommendation ecosystem has been recently questioned, raising several comparisons in terms of efficiency and effectiveness. One aspect most of these comparisons have in common is their focus on accuracy, neglecting other evaluation dimensions important for the recommendation, such as novelty, diversity, or accounting for biases. We replicate experiments from three papers that compare Neural Collaborative Filtering (NCF) and Matrix Factorization (MF), to extend the analysis to other evaluation dimensions. Our contribution shows that the experiments are entirely reproducible, and we extend the study including other accuracy metrics and two statistical hypothesis tests. We investigated the Diversity and Novelty of the recommendations, showing that MF provides a better accuracy also on the long tail, although NCF provides a better item coverage and more diversified recommendations. We discuss the bias effect generated by the tested methods. They show a relatively small bias, but other recommendation baselines, with competitive accuracy performance, consistently show to be less affected by this issue. This is the first work, to the best of our knowledge, where several evaluation dimensions have been explored for an array of SOTA algorithms covering recent adaptations of ANNs and MF. Hence, we show the potential these techniques may have on beyond-accuracy evaluation while analyzing the effect on reproducibility these complementary dimensions may spark. Available at github.com/sisinflab/Reenvisioning-the-comparison-between-Neural-Collaborative-Filtering-and-Matrix-Factorization


title: The Portiloop: a deep learning-based open science tool for closed-loop brain stimulation

abstract: Closed-loop brain stimulation refers to capturing neurophysiological measures such as electroencephalography (EEG), quickly identifying neural events of interest, and producing auditory, magnetic or electrical stimulation so as to interact with brain processes precisely. It is a promising new method for fundamental neuroscience and perhaps for clinical applications such as restoring degraded memory function; however, existing tools are expensive, cumbersome, and offer limited experimental flexibility. In this article, we propose the Portiloop, a deep learning-based, portable and low-cost closed-loop stimulation system able to target specific brain oscillations. We first document open-hardware implementations that can be constructed from commercially available components. We also provide a fast, lightweight neural network model and an exploration algorithm that automatically optimizes the model hyperparameters to the desired brain oscillation. Finally, we validate the technology on a challenging test case of real-time sleep spindle detection, with results comparable to off-line expert performance on the Massive Online Data Annotation spindle dataset (MODA; group consensus). Software and plans are available to the community as an open science initiative to encourage further development and advance closed-loop neuroscience research.


title: Spatially concentrated social capital of urban residents

abstract: Social connections that span across diverse urban neighborhoods can help individual prosperity by mobilizing social capital in cities. Yet, how the detailed spatial structure of social capital varies in lower- and higher-income urban neighborhoods is less understood. This paper demonstrates that the social capital measured on social networks is spatially more concentrated for residents of lower-income neighborhoods than for residents of higher-income neighborhoods. We map the micro-geography of individual online social connections in the 50 largest metropolitan areas of the US using a large-scale geolocalized Twitter dataset. We then analyze the spatial dimension of individual social capital by the share of friends, closure, and share of supported ties within circles of short distance radiuses (1, 5, and 10~km) around users' home location. We compare residents from below-median income neighborhoods with above-median income neighborhoods, and find that users living in relatively poorer neighborhoods have a significantly higher share of connections in close proximity. Moreover, their network is more cohesive and supported within a short distance from their home. These patterns prevail across the 50 largest US metropolitan areas with only a few exceptions. The found disparities in the micro-geographic concentration of social capital can feed segregation and income inequality within cities harming social circles of low-income residents.


title: Vector dark matter production from catalyzed annihilation

abstract: We provide a simple model of vector dark matter (DM) which can realize the recently proposed freeze-out mechanism with catalyzed annihilation. In our setup, a vector DM field $X_\mu$ and a catalyst field $C_\mu$ is unified by an SU(2)$_D$ gauge symmetry. These gauge fields acquire their masses via spontaneously symmetry breaking triggered by a doublet and a real triplet scalar fields. The catalyst particle is automatically lighter than the DM since it only acquires mass from the vacuum expectation value of the doublet scalar. We also introduce a dimension-5 operator to generate a kinetic mixing term between $C_\mu$ and the U(1)$_Y$ gauge field $B_\mu$. This mixing term is naturally small due to a suppression with a high UV completion scale, and thus it allows the catalyst to decay after the DM freeze-out. We derive the annihilation cross sections of processes $X^\ast+X\to 2C$ and $3C\to X^\ast+X$ and solve the Boltzmann equations for both the DM and the catalyst. We develop the analytical approximate solutions of the equations and find them matching the numerical solutions well. Constraints from relic abundance and indirect detection of DM are considered. We find that the DM with a mass $m_X\gtrsim4.5$~TeV survives in the case of a long-living catalyst. On the other hand, if the catalyst decays during the catalyzed annihilation era, then the bound can be released. We also discuss two paradigms which can maintain the kinetic equilibrium of DM until the DM freeze-out. In both cases, the freeze-out temperature of DM is an order of magnitude higher than the original model.


title: Estimating Microscopic Nuclear Data by Compact Star Observations

abstract: We studied recent observation data of pulsar masses and radii of PSR J0740$+$6620, PSR J0348$+$0432, and PSR J1614$-$2230 from different measurements, based on the extended version of $\sigma $-$ \omega$ model. Throughout our analysis, we assumed that these pulsars are maximal-mass compact stars, thus we applied the core approximation. Based on the linear relation between the microscopic and macroscopic parameters of compact stars evaluated by our model, we estimated the average Landau mass $m_L = 752.46^{+49.1}_{-42.5}$ MeV and compressibility $K = 261.7^{+57.2}_{-28.0}$ MeV.


title: Satisfiability and Synthesis Modulo Oracles

abstract: In classic program synthesis algorithms, such as counterexample-guided inductive synthesis (CEGIS), the algorithms alternate between a synthesis phase and an oracle (verification) phase. Many synthesis algorithms use a white-box oracle based on satisfiability modulo theory (SMT) solvers to provide counterexamples. But what if a white-box oracle is either not available or not easy to work with? We present a framework for solving a general class of oracle-guided synthesis problems which we term synthesis modulo oracles. In this setting, oracles may be black boxes with a query-response interface defined by the synthesis problem. As a necessary component of this framework, we also formalize the problem of satisfiability modulo theories and oracles, and present an algorithm for solving this problem. We implement a prototype solver for satisfiability and synthesis modulo oracles and demonstrate that, by using oracles that execute functions not easily modeled in SMT-constraints, such as recursive functions or oracles that incorporate compilation and execution of code, SMTO and SyMO are able to solve problems beyond the abilities of standard SMT and synthesis solvers.


title: Galaxy evolution on resolved scales: ageing and quenching in CALIFA

abstract: This work investigates the fundamental mechanism(s) that drive galaxy evolution in the Local Universe. By comparing two proxies of star-formation sensitive to different timescales, such as EW(H$\alpha$) and colours like $g-r$, one may distinguish between smooth secular evolution (ageing) and sudden changes (quenching) on the recent star formation history of galaxies. Building upon the results obtained from a former study based on 80.000 SDSS single-fibre measurements, we now focus on spatially-resolved (on kpc scales) galaxies, comparing with a sample of 637 nearby objects observed by the CALIFA survey. In general, galaxies cannot be characterised in terms of a single `evolutionary stage'. Individual regions within galaxies arrange along a relatively narrow ageing sequence, with some intrinsic scatter possibly due to their different evolutionary paths. These sequences, though, differ from one galaxy to another, although they are broadly consistent with the overall distribution found for the (central) SDSS spectra. We find evidence of recent quenching episodes (relatively blue colours and strong H$\alpha$ absorption) in a small fraction of galaxies (most notably, low-mass ellipticals), on global scales and individual regions (particularly at high metallicity). However, we argue that most of the systems, over their entire extent, are compatible with a secular inside-out scenario, where the evolutionary stage correlates with both global (mass, morphology, and environment) as well as local (surface brightness and metallicity) properties.


title: Nuclearite search with ANTARES

abstract: The ANTARES detector is a Cherenkov underwater neutrino telescope operating in the Mediterranean Sea. Its construction was completed in 2008. Even though optimised for the search of cosmic neutrinos, this telescope is also sensitive to nuclearites (massive nuggets of strange quark matter) trough the black body radiation emitted along their path. We discuss here the possible detection of non-relativistic down-going nuclearites with the ANTARES telescope and present the results of an analysis using data collected from 2009 till 2017.


title: Survival stacking: casting survival analysis as a classification problem

abstract: While there are many well-developed data science methods for classification and regression, there are relatively few methods for working with right-censored data. Here, we present "survival stacking": a method for casting survival analysis problems as classification problems, thereby allowing the use of general classification methods and software in a survival setting. Inspired by the Cox partial likelihood, survival stacking collects features and outcomes of survival data in a large data frame with a binary outcome. We show that survival stacking with logistic regression is approximately equivalent to the Cox proportional hazards model. We further recommend methods for evaluating model performance in the survival stacked setting, and we illustrate survival stacking on real and simulated data. By reframing survival problems as classification problems, we make it possible for data scientists to use well-known learning algorithms (including random forests, gradient boosting machines and neural networks) in a survival setting, and lower the barrier for flexible survival modeling.


title: A Reduced-order Model for Multiphase Simulation of Transient Inert Sprays

abstract: In global efforts to reduce harmful greenhouse gas emissions from the transport sector, novel bio-hybrid liquid fuels from renewable energy and carbon sources can be a major form of energy for future propulsion systems due to their high energy density. A fundamental understanding of the spray and mixing performance of the new fuel candidates in combustion systems is necessary to design and develop the fuels for advanced combustion concepts. In the fuel design process, a large number of candidates is required to be screened to arrive at potential fuels for further detailed investigations. For such a screening process, three-dimensional (3D) simulation models are computationally too expensive and hence unfeasible. Therefore, in this paper, we present a fast, reduced-order model (ROM) for inert sprays. The model is based on the cross-sectionally averaged spray (CAS) model derived by Wan (1997) from 3D multiphase equations. The original model was first tested against a wide range of conditions and different fuels. The discrepancies between the CAS model and experimental data are addressed by integrating state-of-the-art breakup and evaporation models. A transport equation for vapor mass fraction is proposed, which is important for evaporation modeling. Furthermore, the model is extended to consider polydisperse droplets by modeling the droplet size distribution by commonly used presumed probability density functions, such as Rosin-Rammler, lognormal, and gamma distributions. The improved CAS model is capable of predicting trends in the macroscopic spray characteristics for a wide range of conditions and fuels. The computational cost of the CAS model is lower than the 3D simulation methods by up to 6 orders of magnitude depending on the method. This enables the model to be used not only for the rapid screening of novel fuel candidates, but also for other applications, where ROMs are useful.


title: Acyclic cluster algebras with dense $g$-vector fans

abstract: The $g$-vector fans play an important role in studying cluster algebras and silting theory. We survey cluster algebras with dense $g$-vector fans and show that a connected acyclic cluster algebra has a dense $g$-vector fan if and only if it is either finite type or affine type. As an application, we classify finite dimensional hereditary algebras with dense $g$-vector fans.


title: Gravitational decoupling and superfluid stars

abstract: The gravitational decoupling is applied to studying minimal geometric deformed (MGD) compact superfluid stars, in covariant logarithmic scalar gravity on fluid branes. The brane finite tension is shown to provide more realistic values for the asymptotic value of the mass function of MGD superfluid stars, besides constraining the range of the self-interacting scalar field, minimally coupled to gravity. Several other physical features of MGD superfluid stars, regulated by the finite brane tension and a decoupling parameter, are derived and discussed, with important corrections to the general-relativistic limit that corroborate to current observational data.


title: Inferring bias and uncertainty in camera calibration

abstract: Accurate camera calibration is a precondition for many computer vision applications. Calibration errors, such as wrong model assumptions or imprecise parameter estimation, can deteriorate a system's overall performance, making the reliable detection and quantification of these errors critical. In this work, we introduce an evaluation scheme to capture the fundamental error sources in camera calibration: systematic errors (biases) and uncertainty (variance). The proposed bias detection method uncovers smallest systematic errors and thereby reveals imperfections of the calibration setup and provides the basis for camera model selection. A novel resampling-based uncertainty estimator enables uncertainty estimation under non-ideal conditions and thereby extends the classical covariance estimator. Furthermore, we derive a simple uncertainty metric that is independent of the camera model. In combination, the proposed methods can be used to assess the accuracy of individual calibrations, but also to benchmark new calibration algorithms, camera models, or calibration setups. We evaluate the proposed methods with simulations and real cameras.


title: Causal Support: Modeling Causal Inferences with Visualizations

abstract: Analysts often make visual causal inferences about possible data-generating models. However, visual analytics (VA) software tends to leave these models implicit in the mind of the analyst, which casts doubt on the statistical validity of informal visual "insights". We formally evaluate the quality of causal inferences from visualizations by adopting causal support -- a Bayesian cognition model that learns the probability of alternative causal explanations given some data -- as a normative benchmark for causal inferences. We contribute two experiments assessing how well crowdworkers can detect (1) a treatment effect and (2) a confounding relationship. We find that chart users' causal inferences tend to be insensitive to sample size such that they deviate from our normative benchmark. While interactively cross-filtering data in visualizations can improve sensitivity, on average users do not perform reliably better with common visualizations than they do with textual contingency tables. These experiments demonstrate the utility of causal support as an evaluation framework for inferences in VA and point to opportunities to make analysts' mental models more explicit in VA software.


title: Queue-Channel Capacities with Generalized Amplitude Damping

abstract: The generalized amplitude damping channel (GADC) is considered an important model for quantum communications, especially over optical networks. We make two salient contributions in this paper apropos of this channel. First, we consider a symmetric GAD channel characterized by the parameter $n=1/2,$ and derive its exact classical capacity, by constructing a specific induced classical channel. We show that the Holevo quantity for the GAD channel equals the Shannon capacity of the induced binary symmetric channel, establishing at once the capacity result and that the GAD channel capacity can be achieved without the use of entanglement at the encoder or joint measurements at the decoder. Second, motivated by the inevitable buffering of qubits in quantum networks, we consider a generalized amplitude damping \emph{queue-channel} -- that is, a setting where qubits suffer a waiting time dependent GAD noise as they wait in a buffer to be transmitted. This GAD queue channel is characterized by non-i.i.d. noise due to correlated waiting times of consecutive qubits. We exploit a conditional independence property in conjunction with additivity of the channel model, to obtain a capacity expression for the GAD queue channel in terms of the stationary waiting time in the queue. Our results provide useful insights towards designing practical quantum communication networks, and highlight the need to explicitly model the impact of buffering.


title: A family of codes with variable locality and availability

abstract: In this work we present a class of locally recoverable codes, i.e. codes where an erasure at a position $P$ of a codeword may be recovered from the knowledge of the entries in the positions of a recovery set $R_P$. The codes in the class that we define have availability, meaning that for each position $P$ there are several distinct recovery sets. Also, the entry at position $P$ may be recovered even in the presence of erasures in some of the positions of the recovery sets, and the number of supported erasures may vary among the various recovery sets.


title: The Versatile CubeSat Telescope: Going to Large Apertures in Small Spacecraft

abstract: The design of a CubeSat telescope for academic research purposes must balance complicated optical and structural designs with cost to maximize performance in extreme environments. Increasing the CubeSat size (eg. 6U to 12U) will increase the potential optical performance, but the cost will increase in kind. Recent developments in diamond-turning have increased the accessibility of aspheric aluminum mirrors, enabling a cost-effective regime of well-corrected nanosatellite telescopes. We present an all-aluminum versatile CubeSat telescope (VCT) platform that optimizes performance, cost, and schedule at a relatively large 95 mm aperture and 0.4 degree diffraction limited full field of view stablized by MEMS fine-steering modules. This study features a new design tool that permits easy characterization of performance degradation as a function of spacecraft thermal and structural disturbances. We will present details including the trade between on- and off-axis implementations of the VCT, thermal stability requirements and finite-element analysis, and launch survival considerations. The VCT is suitable for a range of CubeSat borne applications, which provides an affordable platform for astronomy, Earth-imaging, and optical communications.


title: Resummation for $tqH$ production

abstract: We present results with soft-gluon resummation for the associated production of a single top quark and a Higgs boson. We present analytical results for the higher-order soft-gluon corrections and numerical results for the total cross section and top-quark transverse momentum and rapidity distributions at LHC energies.


title: Adaptive Precision Training (AdaPT): A dynamic fixed point quantized training approach for DNNs

abstract: Quantization is a technique for reducing deep neural networks (DNNs) training and inference times, which is crucial for training in resource constrained environments or applications where inference is time critical. State-of-the-art (SOTA) quantization approaches focus on post-training quantization, i.e., quantization of pre-trained DNNs for speeding up inference. While work on quantized training exists, most approaches require refinement in full precision (usually single precision) in the final training phase or enforce a global word length across the entire DNN. This leads to suboptimal assignments of bit-widths to layers and, consequently, suboptimal resource usage. In an attempt to overcome such limitations, we introduce AdaPT, a new fixed-point quantized sparsifying training strategy. AdaPT decides about precision switches between training epochs based on information theoretic conditions. The goal is to determine on a per-layer basis the lowest precision that causes no quantization-induced information loss while keeping the precision high enough such that future learning steps do not suffer from vanishing gradients. The benefits of the resulting fully quantized DNN are evaluated based on an analytical performance model which we develop. We illustrate that an average speedup of 1.27 compared to standard training in float32 with an average accuracy increase of 0.98% can be achieved for AlexNet/ResNet on CIFAR10/100 and we further demonstrate these AdaPT trained models achieve an average inference speedup of 2.33 with a model size reduction of 0.52.


title: Models of Computational Profiles to Study the Likelihood of DNN Metamorphic Test Cases

abstract: Neural network test cases are meant to exercise different reasoning paths in an architecture and used to validate the prediction outcomes. In this paper, we introduce "computational profiles" as vectors of neuron activation levels. We investigate the distribution of computational profile likelihood of metamorphic test cases with respect to the likelihood distributions of training, test and error control cases. We estimate the non-parametric probability densities of neuron activation levels for each distinct output class. Probabilities are inferred using training cases only, without any additional knowledge about metamorphic test cases. Experiments are performed by training a network on the MNIST Fashion library of images and comparing prediction likelihoods with those obtained from error control-data and from metamorphic test cases. Experimental results show that the distributions of computational profile likelihood for training and test cases are somehow similar, while the distribution of the random-noise control-data is always remarkably lower than the observed one for the training and testing sets. In contrast, metamorphic test cases show a prediction likelihood that lies in an extended range with respect to training, tests, and random noise. Moreover, the presented approach allows the independent assessment of different training classes and experiments to show that some of the classes are more sensitive to misclassifying metamorphic test cases than other classes. In conclusion, metamorphic test cases represent very aggressive tests for neural network architectures. Furthermore, since metamorphic test cases force a network to misclassify those inputs whose likelihood is similar to that of training cases, they could also be considered as adversarial attacks that evade defenses based on computational profile likelihood evaluation.


title: BROUTE: a benchmark suite for the implementation of standard vehicle routing algorithms

abstract: We introduce BROUTE, a benchmark suite for vehicle routing optimization algorithms. We define a selection of algorithms traditionally used in vehicle routing optimization. They capture essential features that are also relevant in optimization algorithms for different application domains, like local search move evaluation, memory allocation, dynamic programming, or insertion and deletion from a list. Each algorithm is deterministic. We implement these benchmark algorithms using a selection of programming languages and different data structures. BROUTE is free, open-source, and can be used to inform early decisions in projects that involve programming, such as which language to use.


title: Minimum Structural Sensor Placement for Switched Linear Time-Invariant Systems and Unknown Inputs

abstract: In this paper, we study the structural state and input observability of continuous-time switched linear time-invariant systems and unknown inputs. First, we provide necessary and sufficient conditions for their structural state and input observability that can be efficiently verified in $O((m(n+p))^2)$, where $n$ is the number of state variables, $p$ is the number of unknown inputs, and $m$ is the number of modes. Moreover, we address the minimum sensor placement problem for these systems by adopting a feed-forward analysis and by providing an algorithm with a computational complexity of $ O((m(n+p)+\alpha)^{2.373})$, where $\alpha$ is the number of target strongly connected components of the system's digraph representation. Lastly, we explore different assumptions on both the system and unknown inputs (latent space) dynamics that add more structure to the problem, and thereby, enable us to render algorithms with lower computational complexity, which are suitable for implementation in large-scale systems.


title: Limit Distribution Theory for the Smooth 1-Wasserstein Distance with Applications

abstract: The smooth 1-Wasserstein distance (SWD) $W_1^\sigma$ was recently proposed as a means to mitigate the curse of dimensionality in empirical approximation while preserving the Wasserstein structure. Indeed, SWD exhibits parametric convergence rates and inherits the metric and topological structure of the classic Wasserstein distance. Motivated by the above, this work conducts a thorough statistical study of the SWD, including a high-dimensional limit distribution result for empirical $W_1^\sigma$, bootstrap consistency, concentration inequalities, and Berry-Esseen type bounds. The derived nondegenerate limit stands in sharp contrast with the classic empirical $W_1$, for which a similar result is known only in the one-dimensional case. We also explore asymptotics and characterize the limit distribution when the smoothing parameter $\sigma$ is scaled with $n$, converging to $0$ at a sufficiently slow rate. The dimensionality of the sampled distribution enters empirical SWD convergence bounds only through the prefactor (i.e., the constant). We provide a sharp characterization of this prefactor's dependence on the smoothing parameter and the intrinsic dimension. This result is then used to derive new empirical convergence rates for classic $W_1$ in terms of the intrinsic dimension. As applications of the limit distribution theory, we study two-sample testing and minimum distance estimation (MDE) under $W_1^\sigma$. We establish asymptotic validity of SWD testing, while for MDE, we prove measurability, almost sure convergence, and limit distributions for optimal estimators and their corresponding $W_1^\sigma$ error. Our results suggest that the SWD is well suited for high-dimensional statistical learning and inference.


title: Structural Complexity of One-Dimensional Random Geometric Graphs

abstract: We study the richness of the ensemble of graphical structures (i.e., unlabeled graphs) of the one-dimensional random geometric graph model defined by $n$ nodes randomly scattered in $[0,1]$ that connect if they are within the connection range $r\in[0,1]$. We provide bounds on the number of possible structures which give universal upper bounds on the structural entropy that hold for any $n$, $r$ and distribution of the node locations. For fixed $r$, the number of structures is $\Theta(a^{2n})$ with $a=a(r)=2 \cos{\left(\frac{\pi}{\lceil 1/r \rceil+2}\right)}$, and therefore the structural entropy is upper bounded by $2n\log_2 a(r) + O(1)$. For large $n$, we derive bounds on the structural entropy normalized by $n$, and evaluate them for independent and uniformly distributed node locations. When the connection range $r_n$ is $O(1/n)$, the obtained upper bound is given in terms of a function that increases with $n r_n$ and asymptotically attains $2$ bits per node. If the connection range is bounded away from zero and one, the upper and lower bounds decrease linearly with $r$, as $2(1-r)$ and $(1-r)\log_2 e$, respectively. When $r_n$ is vanishing but dominates $1/n$ (e.g., $r_n \propto \ln n / n$), the normalized entropy is between $\log_2 e \approx 1.44$ and $2$ bits per node. We also give a simple encoding scheme for random structures that requires $2$ bits per node. The upper bounds in this paper easily extend to the entropy of the labeled random graph model, since this is given by the structural entropy plus a term that accounts for all the permutations of node labels that are possible for a given structure, which is no larger than $\log_2(n!) = n \log_2 n - n + O(\log_2 n)$.


title: Giant anomalous Hall and anomalous Nernst Conductivities in Antiperovskites and their Tunability via Magnetic Fields

abstract: The anomalous Hall conductivity (AHC) and anomalous Nernst conductivity (ANC) are two prominent transport phenomena in ferromagnetic materials of a topological nature. Based on first-principles calculations, we evaluated the AHC and ANC of 35 cubic ferromagnetic antiperovskites (APVs) and observed giant AHC and ANC as large as 1128 S/cm and 6.27 AK-1m-1 for Co3LiN and Co3PtN, respectively. Detailed analysis reveals that the origin of giant ANC can be attributed to the occurrence of Weyl nodes near the Fermi energy, as demonstrated for Co3PtN. Interestingly, both the magnitude and sign of AHC and ANC can be tuned by changing the magnetization (M) directions, which could be applied to realize spin-caloritronics devices.


title: Inverse scattering solution of the weak noise theory of the Kardar-Parisi-Zhang equation with flat and Brownian initial conditions

abstract: We present the solution of the weak noise theory (WNT) for the Kardar-Parisi-Zhang equation in one dimension at short time for flat initial condition (IC). The non-linear hydrodynamic equations of the WNT are solved analytically through a connexion to the Zakharov-Shabat (ZS) system using its classical integrability. This approach is based on a recently developed Fredholm determinant framework previously applied to the droplet IC. The flat IC provides the case for a non-vanishing boundary condition of the ZS system and yields a richer solitonic structure comprising the appearance of multiple branches of the Lambert function. As a byproduct, we obtain the explicit solution of the WNT for the Brownian IC, which undergoes a dynamical phase transition. We elucidate its mechanism by showing that the related spontaneous breaking of the spatial symmetry arises from the interplay between two solitons with different rapidities.

categories: cond-mat.stat-mech math-ph math.DS math.MP math.PR nlin.SI


title: Toward Integrated Human-machine Intelligence for Civil Engineering: An Interdisciplinary Perspective

abstract: The purpose of this paper is to examine the opportunities and barriers of Integrated Human-Machine Intelligence (IHMI) in civil engineering. Integrating artificial intelligence's high efficiency and repeatability with humans' adaptability in various contexts can advance timely and reliable decision-making during civil engineering projects and emergencies. Successful cases in other domains, such as biomedical science, healthcare, and transportation, showed the potential of IHMI in data-driven, knowledge-based decision-making in numerous civil engineering applications. However, whether the industry and academia are ready to embrace the era of IHMI and maximize its benefit to the industry is still questionable due to several knowledge gaps. This paper thus calls for future studies in exploring the value, method, and challenges of applying IHMI in civil engineering. Our systematic review of the literature and motivating cases has identified four knowledge gaps in achieving effective IHMI in civil engineering. First, it is unknown what types of tasks in the civil engineering domain can be assisted by AI and to what extent. Second, the interface between human and AI in civil engineering-related tasks need more precise and formal definition. Third, the barriers that impede collecting detailed behavioral data from humans and contextual environments deserve systematic classification and prototyping. Lastly, it is unknown what expected and unexpected impacts will IHMI have on the AEC industry and entrepreneurship. Analyzing these knowledge gaps led to a list of identified research questions. This paper will lay the foundation for identifying relevant studies to form a research roadmap to address the four knowledge gaps identified.


title: Boundary slopes for the Markov ordering on relatively prime pairs

abstract: Following McShane, we employ the stable norm on the homology of the modular torus to investigate the Markov ordering on the set of relatively prime integer pairs $(q,p)$ with $q\ge p\ge0$. Our main theorem is a characterization of slopes along which the Markov ordering is monotone with respect to $q$, confirming conjectures of Lee-Li-Rabideau-Schiffler that refine conjectures of Aigner. The main tool is an explicit computation of the slopes at the corners of the stable norm ball for the modular torus.


title: Accelerating advection for atmospheric modelling on Xilinx and Intel FPGAs

abstract: Reconfigurable architectures, such as FPGAs, enable the execution of code at the electronics level, avoiding the assumptions imposed by the general purpose black-box micro-architectures of CPUs and GPUs. Such tailored execution can result in increased performance and power efficiency, and as the HPC community moves towards exascale an important question is the role such hardware technologies can play in future supercomputers. In this paper we explore the porting of the PW advection kernel, an important code component used in a variety of atmospheric simulations and accounting for around 40\% of the runtime of the popular Met Office NERC Cloud model (MONC). Building upon previous work which ported this kernel to an older generation of Xilinx FPGA, we target latest generation Xilinx Alveo U280 and Intel Stratix 10 FPGAs. Exploring the development of a dataflow design which is performance portable between vendors, we then describe implementation differences between the tool chains and compare kernel performance between FPGA hardware. This is followed by a more general performance comparison, scaling up the number of kernels on the Xilinx Alveo and Intel Stratix 10, against a 24 core Xeon Platinum Cascade Lake CPU and NVIDIA Tesla V100 GPU. When overlapping the transfer of data to and from the boards with compute, the FPGA solutions considerably outperform the CPU and, whilst falling short of the GPU in terms of performance, demonstrate power usage benefits, with the Alveo being especially power efficient. The result of this work is a comparison and set of design techniques that apply both to this specific atmospheric advection kernel on Xilinx and Intel FPGAs, and that are also of interest more widely when looking to accelerate HPC codes on a variety of reconfigurable architectures.


title: Constraints imposed by the partial wave amplitudes on the decays of $J=1,2$ mesons

abstract: We study the two-body decays of mesons using the covariant helicity formalism. In particular, we show how the partial wave analysis of decays constrains the interacting terms entering the Lagrangian describing the decays of mesons with $J=1$ and $J=2$. We use available information on partial wave analysis to study specific mesonic decays and to make predictions for not yet measured quantities as well as to investigate the isoscalar mixing angle in the axial-vector, pseudovector and pseudotensor sectors. In particular, in the axial-vector sector our result agrees with the LHCb one, and in the pseudotensor sector we confirm a quite large (and negative) angle in the nonstrange-strange basis, which is compatible with a large contribute of the axial anomaly.


title: A Secure and Multi-objective Virtual Machine Placement Framework for Cloud Data Centre

abstract: To facilitate cost-effective and elastic computing benefits to the cloud users, the energy-efficient and secure allocation of virtual machines (VMs) plays a significant role at the data centre. The inefficient VM Placement (VMP) and sharing of common physical machines among multiple users leads to resource wastage, excessive power consumption, increased inter-communication cost and security breaches. To address the aforementioned challenges, a novel secure and multi-objective virtual machine placement (SM-VMP) framework is proposed with an efficient VM migration. The proposed framework ensures an energy-efficient distribution of physical resources among VMs that emphasizes secure and timely execution of user application by reducing inter-communication delay. The VMP is carried out by applying the proposed Whale Optimization Genetic Algorithm (WOGA), inspired by whale evolutionary optimization and non-dominated sorting based genetic algorithms. The performance evaluation for static and dynamic VMP and comparison with recent state-of-the-arts observed a notable reduction in shared servers, inter-communication cost, power consumption and execution time up to 28.81%, 25.7%, 35.9% and 82.21%, respectively and increased resource utilization up to 30.21%.


title: Beam Particle Identification and Tagging of Incompletely Stripped Heavy Beams with HEIST

abstract: A challenge preventing successful inverse kinematics measurements with heavy nuclei that are not fully stripped is identifying and tagging the beam particles. For this purpose, the HEavy ISotope Tagger (HEIST) has been developed. HEIST utilizes two micro-channel plate timing detectors to measure time of flight, a multi-sampling ion chamber to measure energy loss, and a high purity Ge detector to identify isomer decays and calibrate the isotope identification system. HEIST has successfully identified $^{198}$Pb and other nearby nuclei at energies of about 75 MeV/A. In the experiment discussed, a typical cut containing 89\% of all $^{198}$Pb$^{+80}$ in the beam had a purity of 86\%. We examine the issues of charge state contamination. The observed charge state populations of these ions are presented and are moderately well described by the charge state model GLOBAL.


title: Inferring Multiple Relationships between ASes using Graph Convolutional Network

abstract: Precisely understanding the business relationships between Autonomous Systems (ASes) is essential for studying the Internet structure. So far, many inference algorithms have been proposed to classify the AS relationships, which mainly focus on Peer-Peer (P2P) and Provider-Customer (P2C) binary classification and achieved excellent results. However, there are other types of AS relationships in actual scenarios, i.e., the businessbased sibling and structure-based exchange relationships, that were neglected in the previous research. These relationships are usually difficult to be inferred by existing algorithms because there is no discrimination on the designed features compared to the P2P or P2C relationships. In this paper, we focus on the multi-classification of AS relationships for the first time. We first summarize the differences between AS relationships under the structural and attribute features, and the reasons why multiple relationships are difficult to be inferred. We then introduce new features and propose a Graph Convolutional Network (GCN) framework, AS-GCN, to solve this multi-classification problem under complex scene. The framework takes into account the global network structure and local link features concurrently. The experiments on real Internet topological data validate the effectiveness of our method, i.e., AS-GCN achieves comparable results on the easy binary classification task, and outperforms a series of baselines on the more difficult multi-classification task, with the overall accuracy above 95%.


title: Deep Recurrent Semi-Supervised EEG Representation Learning for Emotion Recognition

abstract: EEG-based emotion recognition often requires sufficient labeled training samples to build an effective computational model. Labeling EEG data, on the other hand, is often expensive and time-consuming. To tackle this problem and reduce the need for output labels in the context of EEG-based emotion recognition, we propose a semi-supervised pipeline to jointly exploit both unlabeled and labeled data for learning EEG representations. Our semi-supervised framework consists of both unsupervised and supervised components. The unsupervised part maximizes the consistency between original and reconstructed input data using an autoencoder, while simultaneously the supervised part minimizes the cross-entropy between the input and output labels. We evaluate our framework using both a stacked autoencoder and an attention-based recurrent autoencoder. We test our framework on the large-scale SEED EEG dataset and compare our results with several other popular semi-supervised methods. Our semi-supervised framework with a deep attention-based recurrent autoencoder consistently outperforms the benchmark methods, even when small sub-sets (3\%, 5\% and 10\%) of the output labels are available during training, achieving a new state-of-the-art semi-supervised performance.


title: Nilpotent subgroups of class $2$ in finite groups

abstract: We show that every finite group $G$ of size at least $3$ has a nilpotent subgroup of class at most $2$ and size at least $|G|^{1/32\log\log|G|}$. This answers a question of Pyber, and is essentially best possible.


title: The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior

abstract: Autonomous vehicles must balance a complex set of objectives. There is no consensus on how they should do so, nor on a model for specifying a desired driving behavior. We created a dataset to help address some of these questions in a limited operating domain. The data consists of 92 traffic scenarios, with multiple ways of traversing each scenario. Multiple annotators expressed their preference between pairs of scenario traversals. We used the data to compare an instance of a rulebook, carefully hand-crafted independently of the dataset, with several interpretable machine learning models such as Bayesian networks, decision trees, and logistic regression trained on the dataset. To compare driving behavior, these models use scores indicating by how much different scenario traversals violate each of 14 driving rules. The rules are interpretable and designed by subject-matter experts. First, we found that these rules were enough for these models to achieve a high classification accuracy on the dataset. Second, we found that the rulebook provides high interpretability without excessively sacrificing performance. Third, the data pointed to possible improvements in the rulebook and the rules, and to potential new rules. Fourth, we explored the interpretability vs performance trade-off by also training non-interpretable models such as a random forest. Finally, we make the dataset publicly available to encourage a discussion from the wider community on behavior specification for AVs. Please find it at github.com/bassam-motional/Reasonable-Crowd.


title: Uncertainty-Aware Credit Card Fraud Detection Using Deep Learning

abstract: Countless research works of deep neural networks (DNNs) in the task of credit card fraud detection have focused on improving the accuracy of point predictions and mitigating unwanted biases by building different network architectures or learning models. Quantifying uncertainty accompanied by point estimation is essential because it mitigates model unfairness and permits practitioners to develop trustworthy systems which abstain from suboptimal decisions due to low confidence. Explicitly, assessing uncertainties associated with DNNs predictions is critical in real-world card fraud detection settings for characteristic reasons, including (a) fraudsters constantly change their strategies, and accordingly, DNNs encounter observations that are not generated by the same process as the training distribution, (b) owing to the time-consuming process, very few transactions are timely checked by professional experts to update DNNs. Therefore, this study proposes three uncertainty quantification (UQ) techniques named Monte Carlo dropout, ensemble, and ensemble Monte Carlo dropout for card fraud detection applied on transaction data. Moreover, to evaluate the predictive uncertainty estimates, UQ confusion matrix and several performance metrics are utilized. Through experimental results, we show that the ensemble is more effective in capturing uncertainty corresponding to generated predictions. Additionally, we demonstrate that the proposed UQ methods provide extra insight to the point predictions, leading to elevate the fraud prevention process.


title: The Who in XAI: How AI Background Shapes Perceptions of AI Explanations

abstract: Explainability of AI systems is critical for users to take informed actions. Understanding "who" opens the black-box of AI is just as important as opening it. We conduct a mixed-methods study of how two different groups--people with and without AI background--perceive different types of AI explanations. Quantitatively, we share user perceptions along five dimensions. Qualitatively, we describe how AI background can influence interpretations, elucidating the differences through lenses of appropriation and cognitive heuristics. We find that (1) both groups showed unwarranted faith in numbers for different reasons and (2) each group found value in different explanations beyond their intended design. Carrying critical implications for the field of XAI, our findings showcase how AI generated explanations can have negative consequences despite best intentions and how that could lead to harmful manipulation of trust. We propose design interventions to mitigate them.


title: Probing Fermi liquid exceptional points through AC conductivity

abstract: Exceptional points, which are topological non-Hermitian degeneracies, show up in the collective mode spectrum of Fermi Liquids with high angular momentum interactions. In this paper, we look for signatures of these non-trivial singularities by computing the AC conductivity of Fermi liquids with dipolar and quadrupolar interactions in a narrow slab. We show that the finite size of the slab imprints clear signatures of the structures of the collective mode spectrum in the conductivity as well as in the dephasing between the electric field and the current density in a wide range of coupling constants. In particular, we show the fingerprints of exceptional points, observed in the weak attractive dipolar and/or quadrupolar regime. The main result does not depend on the specific model of quasi-particle interactions. We also discuss some actual compounds where these phenomena could be experimentally observed.


title: On a transitional regime of electron resonant interaction with whistler-mode waves in inhomogeneous space plasma

abstract: Resonances with electromagnetic whistler-mode waves are the primary driver for the formation and dynamics of energetic electron fluxes in various space plasma systems, including shock waves and planetary radiation belts. The basic and most elaborated theoretical framework for the description of the integral effect of multiple resonant interactions is the quasi-linear theory, that operates through electron diffusion in velocity space. The quasi-linear diffusion rate scales linearly with the wave intensity, D(QL) is proportional to Bw2, which should be small enough to satisfy the applicability criteria of this theory. Spacecraft measurements, however, often detect whistle-mode waves sufficiently intense to resonate with electrons nonlinearly. Such nonlinear resonant interactions imply effects of phase trapping and phase bunching, which may quickly change the electron fluxes in a non-diffusive manner. Both regimes of electron resonant interactions (diffusive and nonlinear) are well studied, but there is no theory quantifying the transition between these two regimes. In this paper we describe the integral effect of nonlinear electron interactions with whistler-mode waves in terms of the time-scale of electron distribution relaxation, is about inverse D(NL). We determine the scaling of D(NL) with wave intensity Bw2 and other main wave characteristics, such as wave-packet size. The comparison of D(QL) and D(NL) provides the range of wave intensity and wave-packet sizes where the electron distribution evolves at the same rates for the diffusive and nonlinear resonant regimes. The obtained results are discussed in the context of energetic electron dynamics in the Earth's radiation belt.


title: Muonic vs electronic dark forces: a complete EFT treatment for atomic spectroscopy

abstract: Precision atomic spectroscopy provides a solid model independent bound on the existence of new dark forces among the atomic constituents. We focus on the keV-GeV region investigating the sensitivity to such dark sectors of the recent measurements on muonic atoms at PSI. To this end we develop for the first time, the effective field theory that describes the leading effect of a new (pseudo-)vector or a (pseudo-)scalar particle of any mass at atomic energies. We identify in the Lamb Shift measurement in muonic deuterium ($\mu$D) and the $2s$ Hyperfine Splitting (HFS) in muonic hydrogen ($\mu$H) the most promising measurements to probe respectively spin-independent and spin-dependent new forces. Furthermore, we evaluate the expression of the vector force HFS finding that a future measurement of the $2s$ HFS in regular hydrogen could provide the strongest atomic bound for such a force for masses above 100 MeV.


title: Feasibility Study For Multiply Reusable Space Launch System

abstract: A novel concept of orbital launch system in which all stages are reusable is presented. The first two stages called Midpoint Delivery System (MPDS) deliver the next stages to a midpoint. A midpoint is defined by an altitude of 100 $km$ to 120 $km$ and horizontal velocity of 2.8 $km/s$ to 3.2 $km/s$. MPDS stages decelerate in the atmosphere and perform vertical landing on barges. These stages can be reused daily for many years. The payload is delivered from the midpoint to a 400 $km$ Low Earth Orbit by one or two stage rocket called Midpoint to Orbit Delivery System (MPTO). All of MPTO engines are delivered to LEO. These engines do not return to Earth themselves. They are returned to Earth in packs of 50 to 100 by a Reentry Vehicle. Overall, the fully and multiply reusable launch system should deliver payload to LEO for \$300 to \$400 per $kg$


title: Impact of COVID19-induced Lockdown on Air Quality in Ireland

abstract: Air pollution has been a long-existing problem for most of the major metropolitan cities of the world. Several measures including strict climate laws and reduction in the number of vehicles were implemented by several nations. However, in the recent wake of the COVID19 pandemic, there has been a renewed interest in revisiting the problem of low air quality. Several countries implemented strict lockdown measures halting the vehicular traffic and other economic activities, in order to reduce the spread of COVID19. In this paper, we analyze the impact of such COVID19-induced lockdown on the air quality of the atmosphere. Our case study is based in the city of Dublin, Ireland. We analyze the average concentration of common gaseous pollutant majorly responsible for industrial and vehicular pollution, \textit{viz.} nitrogen dioxide (NO$_2$). These concentrations are obtained from the tropospheric column of the atmosphere collected by Sentinel-5P, which is an earth observation satellite of European Space Agency. We observe that Dublin had a significant drop in the level of NO$_2$ concentration, owing to the strict lockdown measures implemented across the nation.


title: Hopf-Galois module structure of quartic Galois extensions of $\mathbb{Q}$

abstract: Given a quartic Galois extension $L/\mathbb{Q}$ of number fields and a Hopf-Galois structure $H$ on $L/\mathbb{Q}$, we study the freeness of the ring of integers $\mathcal{O}_L$ as module over the associated order $\mathfrak{A}_H$ in $H$. For the classical Galois structure $H_c$, we know by Leopoldt's theorem that $\mathcal{O}_L$ is $\mathfrak{A}_{H_c}$-free. If $L/\mathbb{Q}$ is cyclic, it admits a unique non-classical Hopf-Galois structure, whereas if it is biquadratic, it admits three such Hopf-Galois structures. In both cases, we obtain that freeness depends on the solvability in $\mathbb{Z}$ of certain generalized Pell equations. We shall translate some results on Pell equations into results on the $\mathfrak{A}_H$-freeness of $\mathcal{O}_L$.


title: CRD-CGAN: Category-Consistent and Relativistic Constraints for Diverse Text-to-Image Generation

abstract: Generating photo-realistic images from a text description is a challenging problem in computer vision. Previous works have shown promising performance to generate synthetic images conditional on text by Generative Adversarial Networks (GANs). In this paper, we focus on the category-consistent and relativistic diverse constraints to optimize the diversity of synthetic images. Based on those constraints, a category-consistent and relativistic diverse conditional GAN (CRD-CGAN) is proposed to synthesize $K$ photo-realistic images simultaneously. We use the attention loss and diversity loss to improve the sensitivity of the GAN to word attention and noises. Then, we employ the relativistic conditional loss to estimate the probability of relatively real or fake for synthetic images, which can improve the performance of basic conditional loss. Finally, we introduce a category-consistent loss to alleviate the over-category issues between K synthetic images. We evaluate our approach using the Birds-200-2011, Oxford-102 flower and MSCOCO 2014 datasets, and the extensive experiments demonstrate superiority of the proposed method in comparison with state-of-the-art methods in terms of photorealistic and diversity of the generated synthetic images.


title: Classification of COVID-19 anomalous diffusion driven by mean squared displacement

abstract: In this study, we classify the COVID-19 anomalous diffusion in two categories of countries based on the mean squared displacement (MSD) of daily new cases, which includes the top four countries and four randomly selected countries in terms of the total cases. The COVID-19 diffusion is a stochastic process, and the daily new cases are regarded as the displacements of diffusive particles. The diffusion environment of COVID-19 in each country is heterogeneous, in which the underlying dynamic process is anomalous diffusion. The calculated MSD is a power law function of time, and the power law exponent is not a constant but varies with time. The power law exponents are estimated by using the bi-exponential model and the long short-term memory network (LSTM). The bi-exponential model frequently use in magnetic resonance imaging (MRI) can quantify the power law exponent and make an easy prediction. The LSTM network has much better accuracy than the bi-exponential model in predicting the power law exponent. The LSTM network is more flexible and preferred to predict the power law exponent, which is independent on the unique mathematical formula. The diffusion process of COVID-19 can be classified based on the power law exponent. More specific evaluation and suggestion can be proposed and submitted to the government in order to control the COVID-19 diffusion.


title: 0D-2D Heterostructure for making very Large Quantum Registers using itinerant Bose-Einstein Condensate of Excitons

abstract: Presence of coherent resonant tunneling in quantum dot (zero-dimensional) - quantum well (two-dimensional) heterostructure is necessary to explain the collective oscillations of average electrical polarization of excitonic dipoles over a macroscopically large area. This was measured using photo excited capacitance as a function of applied voltage bias. Resonant tunneling in this heterostructure definitely requires momentum space narrowing of charge carriers inside the quantum well and that of associated indirect excitons, which indicates bias dependent itinerant Bose-Einstein condensation of excitons. Observation of periodic variations in negative quantum capacitance points to in-plane coulomb correlations mediated by long range spatial ordering of indirect, dipolar excitons. Enhanced contrast of quantum interference beats of excitonic polarization waves even under white light and observed Rabi oscillations over a macroscopically large area also support the presence of density driven excitonic condensation having long range order. Periodic presence (absence) of splitting of excitonic peaks in photocapacitance spectra even demonstrate collective coupling (decoupling) between energy levels of the quantum well and quantum dots with applied biases, which can potentially be used for quantum gate operations. All these observations point to experimental control of macroscopically large, quantum state of a two-component Bose-Einstein condensate of excitons in this quantum dot - quantum well heterostructure. Therefore, in principle, millions of two-level excitonic qubits can be intertwined to fabricate large quantum registers using such hybrid heterostructure by controlling the local electric fields and also by varying photoexcitation intensities of overlapping light spots.


title: On the state of reporting in crowdsourcing experiments and a checklist to aid current practices

abstract: Crowdsourcing is being increasingly adopted as a platform to run studies with human subjects. Running a crowdsourcing experiment involves several choices and strategies to successfully port an experimental design into an otherwise uncontrolled research environment, e.g., sampling crowd workers, mapping experimental conditions to micro-tasks, or ensure quality contributions. While several guidelines inform researchers in these choices, guidance of how and what to report from crowdsourcing experiments has been largely overlooked. If under-reported, implementation choices constitute variability sources that can affect the experiment's reproducibility and prevent a fair assessment of research outcomes. In this paper, we examine the current state of reporting of crowdsourcing experiments and offer guidance to address associated reporting issues. We start by identifying sensible implementation choices, relying on existing literature and interviews with experts, to then extensively analyze the reporting of 171 crowdsourcing experiments. Informed by this process, we propose a checklist for reporting crowdsourcing experiments.


title: Exponentiation Using Laplace Expansion

abstract: This article derives an equation for exponentiation that can be used for calculating exponents using a parallel computing architecture.


title: Disability in Space -- What ESA should have aimed for

abstract: With announcing their "Parastronaut Feasibility Project", the European Space Agency ESA promises to make every reasonable effort to send astronauts with disability to space. This could spark hope in the 15% of all people who live with some form of disability. However, the fine-print of the announcement sets overly tight boundaries to "acceptable" disabilities, allowing only malformations that are expected to have a positive impact on the parastronaut's performance in space. By doing so, ESA is following decade-old traditions in space flight, with some inclusion for the sake of inclusion and public opinion. Instead of accommodating people with disabilities, ESA should send a strong signal for inclusion and truly challenge people with disabilities so they can and will tease out the best of their qualities.


title: Supervised Learning and the Finite-Temperature String Method for Computing Committor Functions and Reaction Rates

abstract: A central object in the computational studies of rare events is the committor function. Though costly to compute, the committor function encodes complete mechanistic information of the processes involving rare events, including reaction rates and transition-state ensembles. Under the framework of transition path theory (TPT), recent work [1] proposes an algorithm where a feedback loop couples a neural network that models the committor function with importance sampling, mainly umbrella sampling, which collects data needed for adaptive training. In this work, we show additional modifications are needed to improve the accuracy of the algorithm. The first modification adds elements of supervised learning, which allows the neural network to improve its prediction by fitting to sample-mean estimates of committor values obtained from short molecular dynamics trajectories. The second modification replaces the committor-based umbrella sampling with the finite-temperature string (FTS) method, which enables homogeneous sampling in regions where transition pathways are located. We test our modifications on low-dimensional systems with non-convex potential energy where reference solutions can be found via analytical or the finite element methods, and show how combining supervised learning and the FTS method yields accurate computation of committor functions and reaction rates. We also provide an error analysis for algorithms that use the FTS method, using which reaction rates can be accurately estimated during training with a small number of samples. The methods are then applied to a molecular system in which no reference solution is known, where accurate computations of committor functions and reaction rates can still be obtained.


title: An Efficient Integral Equation Method for Full-wave Analysis of Inhomogeneous Electromagnetic Surfaces with Connected Conductors

abstract: In this paper, a generalized macromodeling approach is presented to simulate complex electromagnetic (EM) surfaces consisting of unit cells with connected conductors. Macromodels of each unit cell are produced by applying the equivalence principle on fictitious surfaces encapsulating them. Unit cells often consist of multiple dielectric layers and conductor traces, featuring multiscale structures. Challenges arise when a current-carrying conductor trace traverses the fictitious surface. Hence, a new method based on half Rao-Wilton-Glisson basis functions is proposed to accurately ensure the continuity of the surface currents and avoid singularities at the intersections. The accuracy of the proposed approach is validated by comparing the results with commercial solvers for different EM surfaces.


title: Cauchy-like Criterion for Differentiability of Functions of Several Variables

abstract: In this paper, several differentiability criteria for real functions of multiple variables in n-dimensional Euclidean space are considered. Simple and easy-to-use Cauchy-like criterion is formulated and proven. Relaxed sufficient conditions for differentiability that do not require continuity of all partial derivatives are suggested. Generalization of the Cauchy-like criterion for functions on cross products of normed vector spaces (not necessarily Banach spaces) is discussed. The results of this study can be used in systems analysis, linear programming, optimization methods, functional analysis, topology and convex analysis.


title: Spatially-optimized finite-difference schemes for numerical dispersion suppression in seismic applications

abstract: Propagation characteristics of a wave are defined by the dispersion relationship, from which the governing partial differential equation (PDE) can be recovered. PDEs are commonly solved numerically using the finite-difference (FD) method, with stencils constructed from truncated Taylor series expansions which, whilst typically providing good approximation of the PDE in the space-time domain, often differ considerably from the original partial differential in the wavenumber-frequency domain where the dispersion relationship is defined. Consequentially, stable, high-order FD schemes may not necessarily result in realistic wave behavior, commonly exhibiting numerical dispersion: lagging high-frequency components as a product of discretization. A method for optimizing FD stencil weightings via constrained minimization to better approximate the partial derivative in the wavenumber domain is proposed, allowing for accurate propagation with coarser grids than would be otherwise possible. This was applied to second derivatives on a standard grid and first derivatives on a staggered grid. To evaluate the efficacy of the method, a pair of numerical simulations were devised to compare spatially-optimized stencils with conventional formulations of equivalent extent. A spatially-optimized formulation of the 1D acoustic wave equation with Dirichlet boundary conditions is presented, evaluating performance at a range of grid spacings, examining the interval between the theoretical maximum grid spacings for the conventional and optimized schemes in finer detail. The optimized scheme was found to offer superior performance for undersampled wavefields and heavily oversampled wavefields. Staggered-grid first derivative stencils were then applied to the P-SV elastic wave formulation, simulating seismic wave propagation for a two-layer, water-over-rock model.


title: Perspective on attractive-repulsive interactions in dynamical networks: progress and future

abstract: Emerging collective behavior in complex dynamical networks depends on both coupling function and underlying coupling topology. Through this perspective, we provide a brief yet profound excerpt of recent research efforts that explore how the synergy of attractive and repulsive interactions influence the destiny of ensembles of interacting dynamical systems. We review the incarnation of collective states ranging from chimera or solitary states to extreme events and oscillation quenching arising as a result of different network arrangements. Though the existing literature demonstrates that many of the crucial developments have been made, nonetheless, we come up with significant routes of further research in this field of study.


title: Probing Ultralight Bosons with Compact Eccentric Binaries

abstract: Ultralight bosons can be abundantly produced through superradiance process by a spinning black hole and form a bound state with hydrogen-like spectrum. We show that such a "gravitational atom" typically possesses anomalously large mass quadrupole and leads to significant orbital precession when it forms an eccentric binary with a second compact object. Dynamically formed black hole binaries or pulsar-black hole binaries are typically eccentric during their early inspirals. We show that the large orbital precession can generate distinct and observable signature in their gravitational wave or pulsar timing signals.


title: Data reduction for a calorimetrically measured $^{163}\mathrm{Ho}$ spectrum of the ECHo-1k experiment

abstract: The electron capture in $^{163}\mathrm{Ho}$ experiment (ECHo) is designed to directly measure the effective electron neutrino mass by analysing the endpoint region of the $^{163}\mathrm{Ho}$ electron capture spectrum. We present a data reduction scheme for the analysis of high statistics data acquired with the first phase of the ECHo experiment, ECHo-1k, to reliably infer the energy of $^{163}\mathrm{Ho}$ events and discard triggered noise or pile-up events. On a first level, the raw data is filtered purely based on the trigger time information of the acquired signals. On a second level, the time profile of each triggered event is analysed to identify the signals corresponding to a single energy deposition in the detector. We demonstrate that events not belonging to this category are discarded with an efficiency above 99.8%, with a minimal loss of $^{163}\mathrm{Ho}$ events of about 0.7%. While the filter using the trigger time information is completely energy independent, a slight energy dependence of the filter based on the time profile is precisely characterised. This data reduction protocol will be important to minimise systematic errors in the analysis of the $^{163}\mathrm{Ho}$ spectrum for the determination of the effective electron neutrino mass.


title: Implications of Quantum Gravity for Dark Matter

abstract: In this essay we show that quantum gravity and the spin-statistics theorem have very interesting consequences for dark matter candidates. Quantum gravity can lead to fifth force type interactions that lead to a lower bound on the masses of bosonic candidates. In the case of fermions, the spin-statistics theorem leads to a lower bound on fermion masses. For both bosonic and fermionic dark matter candidates, quantum gravity leads to a decay of dark matter particles. A comparison of their lifetime with the age of the universe leads to an upper bound on their masses. For singlet scalar dark matter fields, we find $10^{-3}{\rm eV} \lesssim m\lesssim 10^{7}{\rm eV}$.