title: Deep DA for Ordinal Regression of Pain Intensity Estimation Using Weakly-Labeled Videos

abstract: Automatic estimation of pain intensity from facial expressions in videos has an immense potential in health care applications. However, domain adaptation (DA) is needed to alleviate the problem of domain shifts that typically occurs between video data captured in source and target do-mains. Given the laborious task of collecting and annotating videos, and the subjective bias due to ambiguity among adjacent intensity levels, weakly-supervised learning (WSL)is gaining attention in such applications. Yet, most state-of-the-art WSL models are typically formulated as regression problems, and do not leverage the ordinal relation between intensity levels, nor the temporal coherence of multiple consecutive frames. This paper introduces a new deep learn-ing model for weakly-supervised DA with ordinal regression(WSDA-OR), where videos in target domain have coarse la-bels provided on a periodic basis. The WSDA-OR model enforces ordinal relationships among the intensity levels as-signed to the target sequences, and associates multiple relevant frames to sequence-level labels (instead of a single frame). In particular, it learns discriminant and domain-invariant feature representations by integrating multiple in-stance learning with deep adversarial DA, where soft Gaussian labels are used to efficiently represent the weak ordinal sequence-level labels from the target domain. The proposed approach was validated on the RECOLA video dataset as fully-labeled source domain, and UNBC-McMaster video data as weakly-labeled target domain. We have also validated WSDA-OR on BIOVID and Fatigue (private) datasets for sequence level estimation. Experimental results indicate that our approach can provide a significant improvement over the state-of-the-art models, allowing to achieve a greater localization accuracy.


title: Optimization Fabrics for Behavioral Design

abstract: A common approach to the provably stable design of reactive behavior, exemplified by operational space control, is to reduce the problem to the design of virtual classical mechanical systems (energy shaping). This framework is widely used, and through it we gain stability, but at the price of expressivity. This work presents a comprehensive theoretical framework expanding this approach showing that there is a much larger class of differential equations generalizing classical mechanical systems (and the broader class of Lagrangian systems) and greatly expanding their expressivity while maintaining the same governing stability principles. At the core of our framework is a class of differential equations we call fabrics which constitute a behavioral medium across which we can optimize a potential function. These fabrics shape the system's behavior during optimization but still always provably converge to a local minimum, making them a building block of stable behavioral design. We build the theoretical foundations of our framework here and provide a simple empirical demonstration of a practical class of geometric fabrics, which additionally exhibit a natural geometric path consistency making them convenient for flexible and intuitive behavioral design.


title: A statistical model to assess risk for supporting SARS-CoV-2 quarantine decisions

abstract: In February 2020 the first human infection with SARS-CoV-2 was reported in Germany. Since then the local public health offices have been responsible to monitor and react to the dynamics of the pandemic. One of their major tasks is to contain the spread of the virus after potential spreading events, for example when one or multiple participants have a positive test result after a group meeting (e.g. at school, at a sports event or at work). In this case, contacts of the infected person have to be traced and potentially are quarantined (at home) for a period of time. When all relevant contact persons obtain a negative polymerase chain reaction (PCR) test result, the quarantine may be stopped. However, tracing and testing of all contacts is time-consuming, costly and (thus) not always feasible. This motivates our work, in which we present a statistical model for the probability that no transmission of Sars-CoV-2 occurred given an arbitrary number of test results at potentially different timepoints. Hereby, the time-dependent sensitivity and specificity of the conducted PCR test are taken in account. We employ a parametric Bayesian model which can be adopted to different situations when specific prior knowledge is available. This is illustrated for group events in German school classes and applied to exemplary real-world data from this context. Our approach has the potential to support important quarantine decisions with the goal to achieve a better balance between necessary containment of the pandemic and preservation of social and economic life. The focus of future work should be on further refinement and evaluation of quarantine decisions based on our statistical model.


title: On the Failure of the Smart Approach of the GPT Cryptosystem

abstract: This paper describes a new algorithm for breaking the smart approach of the GPT cryptosystem. We show that by puncturing the public code several times on specific positions, we get a public code on which applying the Frobenius operator appropriately allows to build an alternative secret key.


title: Lie-Trotter Splitting for the Nonlinear Stochastic Manakov System

abstract: This article analyses the convergence of the Lie-Trotter splitting scheme for the stochastic Manakov equation, a system arising in the study of pulse propagation in randomly birefringent optical fibers. First, we prove that the strong order of the numerical approximation is 1/2 if the nonlinear term in the system is globally Lipschitz. Then, we show that the splitting scheme has convergence order 1/2 in probability and almost sure order 1/2- in the case of a cubic nonlinearity. We provide several numerical experiments illustrating the aforementioned results and the efficiency of the Lie-Trotter splitting scheme. Finally, we numerically investigate the possible blowup of solutions for some power-law nonlinearities.

categories: math.AP cs.NA math.NA nlin.PS physics.optics


title: LSTM for Model-Based Anomaly Detection in Cyber-Physical Systems

abstract: Anomaly detection is the task of detecting data which differs from the normal behaviour of a system in a given context. In order to approach this problem, data-driven models can be learned to predict current or future observations. Oftentimes, anomalous behaviour depends on the internal dynamics of the system and looks normal in a static context. To address this problem, the model should also operate depending on state. Long Short-Term Memory (LSTM) neural networks have been shown to be particularly useful to learn time sequences with varying length of temporal dependencies and are therefore an interesting general purpose approach to learn the behaviour of arbitrarily complex Cyber-Physical Systems. In order to perform anomaly detection, we slightly modify the standard norm 2 error to incorporate an estimate of model uncertainty. We analyse the approach on artificial and real data.


title: Some algebraic and topological properties of subspaces of (pre)orders

abstract: We study algebraic and topological properties of subsets of preorders on a group. In particular we study properties of the composition of two preorders, generalize a topological theorem of \cite{S} in the case of standard orders and show the same theorem in the case of standard preorders. We also show a property of standard valuations.


title: Maximum a posteriori signal recovery for optical coherence tomography angiography image generation and denoising

abstract: Optical coherence tomography angiography (OCTA) is a novel and clinically promising imaging modality to image retinal and sub-retinal vasculature. Based on repeated optical coherence tomography (OCT) scans, intensity changes are observed over time and used to compute OCTA image data. OCTA data are prone to noise and artifacts caused by variations in flow speed and patient movement. We propose a novel iterative maximum a posteriori signal recovery algorithm in order to generate OCTA volumes with reduced noise and increased image quality. This algorithm is based on previous work on probabilistic OCTA signal models and maximum likelihood estimates. Reconstruction results using total variation minimization and wavelet shrinkage for regularization were compared against an OCTA ground truth volume, merged from six co-registered single OCTA volumes. The results show a significant improvement in peak signal-to-noise ratio and structural similarity. The presented algorithm brings together OCTA image generation and Bayesian statistics and can be developed into new OCTA image generation and denoising algorithms.


title: Resilient Energy Efficient Healthcare Monitoring Infrastructure with Server and Network Protection

abstract: In this paper, a 1+1 server protection scheme is considered where two servers, a primary and a secondary processing server are used to serve ECG monitoring applications concurrently. The infrastructure is designed to be resilient against server failure under two scenarios related to the geographic location of primary and secondary servers and resilient against both server and network failures. A Mixed Integer Linear Programming (MILP) model is used to optimise the number and locations of both primary and secondary processing servers so that the energy consumption of the networking equipment and processing are minimised. The results show that considering a scenario for server protection without geographical constraints compared to the non-resilient scenario has resulted in both network and processing energy penalty as the traffic is doubled. The results also reveal that increasing the level of resilience to consider geographical constraints compared to case without geographical constraints resulted in higher network energy penalty when the demand is low as more nodes are utilised to place the processing servers under the geographic constraints. Also, increasing the level of resilience to consider network protection with link and node disjoint selection has resulted in a low network energy penalty at high demands due to the activation of a large part of the network in any case due to the demands. However, the results show that the network energy penalty is reduced with the increasing number of processing servers at each candidate node. Meanwhile, the same energy for processing is consumed regardless of the increasing level of resilience as the same number of processing servers are utilised. A heuristic is developed for each resilience scenario for real-time implementation where the results show that the performance of the heuristic is approaching the results of the MILP model.


title: Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems

abstract: One of the main challenges in integrating Cyber-Physical System-of-Systems (CPSoS) to function as a single unified system is the autonomy of its Cyber-Physical Systems (CPSs), which may lead to a lack of coordination among CPSs and results in various kinds of conflicts. We advocate that to efficiently integrate CPSs within the CPSoS, we may need to adjust the autonomy of some CPSs in a way that allows them to coordinate their activities to avoid any potential conflict among one another. To achieve that, we need to incorporate the notion of governance within the design of CPSoS, which defines rules that can be used for clearly specifying who and how can adjust the autonomy of a CPS. In this paper, we try to tackle this problem by proposing a new conceptual model that can be used for performing a governance-based analysis of autonomy for CPSs within CPSoS. We illustrate the utility of the model with an example from the automotive domain.


title: Existence of a traveling wave solution in a free interface problem with fractional order kinetics

abstract: In this paper we consider a system of two reaction-diffusion equations that models diffusional-thermal combustion with stepwise ignition-temperature kinetics and fractional reaction order 0 < $\alpha$ < 1. We turn the free interface problem into a scalar free boundary problem coupled with an integral equation. The main intermediary step is to reduce the scalar problem to the study of a non-C 1 vector field in dimension 2. The latter is treated by qualitative topo-logical methods based on the Poincar{\'e}-Bendixson Theorem. The phase portrait is determined and the existence of a stable manifold at the origin is proved. A significant result is that the settling time to reach the origin is finite, meaning that the trailing interface is finite in contrast to the case $\alpha$ = 1, but in accordance with $\alpha$ = 0. Finally, the integro-differential system is solved via a fixed-point method.


title: Disassembling of TEMPO-oxidized cellulose fibers: intersheet and interchain interactions in the isolation of nanofibers and unitary chains

abstract: Cellulose disassembly is an important issue in designing nanostructures using cellulose-based materials. In this work, we present a joint of experimental and theoretical study addressing the disassembly of cellulose nanofibrils. Through 2,2,6,6-tetramethylpiperidine-1-oxyl (TEMPO) mediated oxidation processes, combined with atomic force microscopy results, we find the formation of nanofibers with diameters corresponding to a single cellulose polymer chain. The formation of these polymer chains is ruled by repulsive electrostatic interactions between the oxidized chains. Further first-principles calculations have been done in order to provide an atomistic understanding the cellulose disassembling processes, focusing on the balance of the interchain and intersheet interactions upon oxidation. Firstly we analyse these interaction in pristine systems, where we found the intersheet interaction stronger than the interchain one. In the oxidized systems, we have considered the formation of (charged) carboxylate groups along the inner sites of elementary fibrils. We show a net charge concentration on the carboxylate groups, supporting the emergence of repulsive electrostatic interactions between the cellulose nanofibers. Indeed, our total energy results show that the weakening of the binding strength between the fibrils is proportional to the concentration and the net charge density of the carboxylate group. Moreover, by comparing interchain and intersheet binding energies, we found that most of the disassembly processes should take place by breaking the interchain O--H$\cdots$O hydrogen bond interactions, and thus supporting the experimental observation of single and double cellulose polymeric chains.


title: Deep Autofocus for Synthetic Aperture Sonar

abstract: Synthetic aperture sonar (SAS) requires precise positional and environmental information to produce well-focused output during the image reconstruction step. However, errors in these measurements are commonly present resulting in defocused imagery. To overcome these issues, an \emph{autofocus} algorithm is employed as a post-processing step after image reconstruction for the purpose of improving image quality using the image content itself. These algorithms are usually iterative and metric-based in that they seek to optimize an image sharpness metric. In this letter, we demonstrate the potential of machine learning, specifically deep learning, to address the autofocus problem. We formulate the problem as a self-supervised, phase error estimation task using a deep network we call Deep Autofocus. Our formulation has the advantages of being non-iterative (and thus fast) and not requiring ground truth focused-defocused images pairs as often required by other deblurring deep learning methods. We compare our technique against a set of common sharpness metrics optimized using gradient descent over a real-world dataset. Our results demonstrate Deep Autofocus can produce imagery that is perceptually as good as benchmark iterative techniques but at a substantially lower computational cost. We conclude that our proposed Deep Autofocus can provide a more favorable cost-quality trade-off than state-of-the-art alternatives with significant potential of future research.


title: FERS-5200: a distributed Front-End Readout System for multidetector arrays

abstract: The FERS-5200 is the new CAEN Front-End Readout System for large detector arrays. It consists in a compact, distributed and easy-deployable solution integrating front-end based on ASICs, A/D conversion, data processing, synchronization and readout. Using the appropriate Front-End the solution perfectly fits a wide range of detectors such as SiPMs, multianode PMTs, GEMs, Silicon Strip detectors, Wire Chambers, Gas Tubes, etc. The first member of the FERS family is the unit A5202, a 64 channel readout card for SiPMs, based on the CITIROC ASIC by Weeroc SaS. The Concentrator board DT5215 can manage the readout of up to 128 cards at once, that is 8192 readout channels in case of the A5202.


title: Learning Deep Interleaved Networks with Asymmetric Co-Attention for Image Restoration

abstract: Recently, convolutional neural network (CNN) has demonstrated significant success for image restoration (IR) tasks (e.g., image super-resolution, image deblurring, rain streak removal, and dehazing). However, existing CNN based models are commonly implemented as a single-path stream to enrich feature representations from low-quality (LQ) input space for final predictions, which fail to fully incorporate preceding low-level contexts into later high-level features within networks, thereby producing inferior results. In this paper, we present a deep interleaved network (DIN) that learns how information at different states should be combined for high-quality (HQ) images reconstruction. The proposed DIN follows a multi-path and multi-branch pattern allowing multiple interconnected branches to interleave and fuse at different states. In this way, the shallow information can guide deep representative features prediction to enhance the feature expression ability. Furthermore, we propose asymmetric co-attention (AsyCA) which is attached at each interleaved node to model the feature dependencies. Such AsyCA can not only adaptively emphasize the informative features from different states, but also improves the discriminative ability of networks. Our presented DIN can be trained end-to-end and applied to various IR tasks. Comprehensive evaluations on public benchmarks and real-world datasets demonstrate that the proposed DIN perform favorably against the state-of-the-art methods quantitatively and qualitatively.


title: Analyzing the tree-layer structure of Deep Forests

abstract: Random forests on the one hand, and neural networks on the other hand, have met great success in the machine learning community for their predictive performance. Combinations of both have been proposed in the literature, notably leading to the so-called deep forests (DF) (Zhou \& Feng,2019). In this paper, our aim is not to benchmark DF performances but to investigate instead their underlying mechanisms. Additionally, DF architecture can be generally simplified into more simple and computationally efficient shallow forest networks. Despite some instability, the latter may outperform standard predictive tree-based methods. We exhibit a theoretical framework in which a shallow tree network is shown to enhance the performance of classical decision trees. In such a setting, we provide tight theoretical lower and upper bounds on its excess risk. These theoretical results show the interest of tree-network architectures for well-structured data provided that the first layer, acting as a data encoder, is rich enough.


title: Spin vs. bond correlations along dangling edges of quantum critical magnets

abstract: Dangling edge spins of two-dimensional quantum critical antiferromagnets display strongly enhanced spin correlations with scaling dimensions that fall outside of the classical theory of surface critical phenomena. We provide large-scale quantum Monte Carlo results for both spin and bond correlation functions for the case of the columnar dimer model in particular. Unlike the spin correlations, we find the bond correlations to differ starkly between the spin-1/2 and spin-1 case. Furthermore, we compare the corresponding scaling dimensions to recent theoretical predictions. These predictions are, in part, supported by our numerical data, but cannot explain our findings completely. Our results thus put further constraints on completing the understanding of dangling edge correlations, as well as surface phenomena in strongly-correlated quantum systems in general.


title: Unveiling process insights from refactoring practices

abstract: Context : Software comprehension and maintenance activities, such as refactoring, are said to be negatively impacted by software complexity. The methods used to measure software product and processes complexity have been thoroughly debated in the literature. However, the discernment about the possible links between these two dimensions, particularly on the benefits of using the process perspective, has a long journey ahead. Objective: To improve the understanding of the liaison of developers' activities and software complexity within a refactoring task, namely by evaluating if process metrics gathered from the IDE, using process mining methods and tools, are suitable to accurately classify different refactoring practices and the resulting software complexity. Method: We mined source code metrics from a software product after a quality improvement task was given in parallel to (117) software developers, organized in (71) teams. Simultaneously, we collected events from their IDE work sessions (320) and used process mining to model their processes and extract the correspondent metrics. Results: Most teams using a plugin for refactoring (JDeodorant) reduced software complexity more effectively and with simpler processes than the ones that performed refactoring using only Eclipse native features. We were able to find moderate correlations (43%) between software cyclomatic complexity and process cyclomatic complexity. The best models found for the refactoring method and cyclomatic complexity level predictions, had an accuracy of 92.95% and 94.36%, respectively. Conclusions: Our approach agnostic to programming languages, geographic location, or development practices. Initial findings are encouraging, and lead us to suggest practitioners may use our method in other development tasks, such as, defect analysis and unit or integration tests.


title: The soil seed bank can buffer long-term compositional changes in annual plant communities

abstract: Ecological theory predicts that the soil seed bank stabilises the composition of annual plant communities in the face of environmental variability. However, long-term data on the community dynamics in the seed bank and the standing vegetation are needed to test this prediction. We tested the hypothesis that the composition of the seed bank undergoes lower temporal variability than the standing vegetation in a nine-year study in Mediterranean, semi-arid, and arid ecosystems. The composition of the seed bank was estimated by collecting soil cores from the studied sites on an annual basis. Seedling emergence under optimal watering conditions was measured in each soil core for three consecutive years, to account for seed dormancy. In all sites, the composition of the seed bank differed from the vegetation throughout the years. Small-seeded and dormant-seeded species had a higher frequency in the seed bank than in the standing vegetation. In contrast, functional group membership (grasses vs. forbs) did not explain differences in species frequency between the seed bank and the vegetation after controlling for differences between grasses and forbs in seed mass and seed dormancy. Contrary to predictions, the magnitude of year-to-year variability (the mean compositional dissimilarity between consecutive years) was not lower in the seed bank than in the vegetation in all sites. However, long-term compositional trends in the seed bank were weaker than in the vegetation in the Mediterranean and semi-arid sites. In the arid site where year-to-year variability was highest, no long-term trends were observed. Overall, the effect of the seed bank on the temporal variability of the vegetation in annual communities depends on site conditions and time scale. While the year-to-year variability of the seed bank is similar to the vegetation, the soil seed bank can buffer long-term trends.


title: Learning interaction kernels in mean-field equations of 1st-order systems of interacting particles

abstract: We introduce a nonparametric algorithm to learn interaction kernels of mean-field equations for 1st-order systems of interacting particles. The data consist of discrete space-time observations of the solution. By least squares with regularization, the algorithm learns the kernel on data-adaptive hypothesis spaces efficiently. A key ingredient is a probabilistic error functional derived from the likelihood of the mean-field equation's diffusion process. The estimator converges, in a reproducing kernel Hilbert space and an L2 space under an identifiability condition, at a rate optimal in the sense that it equals the numerical integrator's order. We demonstrate our algorithm on three typical examples: the opinion dynamics with a piecewise linear kernel, the granular media model with a quadratic kernel, and the aggregation-diffusion with a repulsive-attractive kernel.


title: Simulation of the Response of the Solid State Neutron Detector for the European Spallation Source

abstract: The characteristics of the Solid-state Neutron Detector, under development for neutron-scattering measurements at the European Spallation Source, have been simulated with a Geant4-based computer code. The code models the interations of thermal neutrons and ionising radiation in the 6Li-doped scintillating glass of the detector, the production of scintillation light and the transport of optical, scintillation photons through the the scintillator, en route to the photo-cathode of the attached multi-anode photomultiplier. Factors which affect the optical-photon transport, such as surface finish, pixelation of the glass sheet, provision of a front reflector and optical coupling media are compared. Predictions of the detector response are compared with measurements made with neutron and gamma-ray sources, a collimated alpha source and finely collimated beams of 2.5 MeV protons and deuterons.


title: Independent Normalization for $\gamma$-ray Strength Functions: The Shape Method

abstract: The Shape method, a novel approach to obtain the functional form of the $\gamma$-ray strength function ($\gamma$SF) in the absence of neutron resonance spacing data, is introduced. When used in connection with the Oslo method the slope of the Nuclear Level Density (NLD) is obtained simultaneously. The foundation of the Shape method lies in the primary $\gamma$-ray transitions which preserve information on the functional form of the $\gamma$SF. The Shape method has been applied to $^{56}$Fe, $^{92}$Zr, $^{164}$Dy, and $^{240}$Pu, which are representative cases for the variety of situations encountered in typical NLD and $\gamma$SF studies. The comparisons of results from the Shape method to those from the Oslo method demonstrate that the functional form of the $\gamma$SF is retained regardless of nuclear structure details or $J^\pi$ values of the states fed by the primary transitions.


title: Generalized Insider Attack Detection Implementation using NetFlow Data

abstract: Insider Attack Detection in commercial networks is a critical problem that does not have any good solutions at this current time. The problem is challenging due to the lack of visibility into live networks and a lack of a standard feature set to distinguish between different attacks. In this paper, we study an approach centered on using network data to identify attacks. Our work builds on unsupervised machine learning techniques such as One-Class SVM and bi-clustering as weak indicators of insider network attacks. We combine these techniques to limit the number of false positives to an acceptable level required for real-world deployments by using One-Class SVM to check for anomalies detected by the proposed Bi-clustering algorithm. We present a prototype implementation in Python and associated results for two different real-world representative data sets. We show that our approach is a promising tool for insider attack detection in realistic settings.


title: Constrained Online Learning to Mitigate Distortion Effects in Pulse-Agile Cognitive Radar

abstract: Pulse-agile radar systems have demonstrated favorable performance in dynamic electromagnetic scenarios. However, the use of non-identical waveforms within a radar's coherent processing interval may lead to harmful distortion effects when pulse-Doppler processing is used. This paper presents an online learning framework to optimize detection performance while mitigating harmful sidelobe levels. The radar waveform selection process is formulated as a linear contextual bandit problem, within which waveform adaptations which exceed a tolerable level of expected distortion are eliminated. The constrained online learning approach is effective and computationally feasible, evidenced by simulations in a radar-communication coexistence scenario and in the presence of intentional adaptive jamming. This approach is applied to both stochastic and adversarial contextual bandit learning models and the detection performance in dynamic scenarios is evaluated.


title: Second Order Linear Elliptic Equations and Hodge-Dirac Operators

abstract: In this paper we show how a second order scalar uniformly elliptic equation on divergence form with measurable coefficients and Dirichlet boundary conditions can be transformed into a first order elliptic system with half-Dirichlet boundary condition. This first order system involves Hodge-Dirac operators and can be seen as a natural generalization of the Beltrami equation in the plane and we develop a theory for this equation, extending results from the plane to higher dimension. The reduction to a first order system applies both to linear as well as quasilinear second order equations and we believe this to be of independent interest. Using the first order system, we give a new representation formula of the solution of the Dirichlet problem both on simply and finitely connected domains. This representation formula involves only singular integral operators of convolution type and Neumann series there of, for which classical Calder\'on-Zygmund theory is applicable. Moreover, no use is made of any fundamental solution or Green's function beside fundamental solutions of constant coefficient operators. Remarkably, this representation formula applies also for solutions of the fully non-linear first order system. We hope that the representation formula could be used for numerically solving the equations. Using these tools we give a new short proof of Meyers' higher integrability theorem. Furthermore, we show that the solutions of the first order system are H\"older continuous with the same H\"older coefficient as the solutions of the second order equations. Finally, factorization identities and representation formulas for the higher dimensional Beurling-Ahlfors operator are proven.


title: Integrated quantum photonics with silicon carbide: challenges and prospects

abstract: Optically-addressable solid-state spin defects are promising candidates for storing and manipulating quantum information using their long coherence ground state manifold; individual defects can be entangled using photon-photon interactions, offering a path toward large scale quantum photonic networks. Quantum computing protocols place strict limits on the acceptable photon losses in the system. These low-loss requirements cannot be achieved without photonic engineering, but are attainable if combined with state-of-the-art nanophotonic technologies. However, most materials that host spin defects are challenging to process: as a result, the performance of quantum photonic devices is orders of magnitude behind that of their classical counterparts. Silicon carbide (SiC) is well-suited to bridge the classical-quantum photonics gap, since it hosts promising optically-addressable spin defects and can be processed into SiC-on-insulator for scalable, integrated photonics. In this Perspective, we discuss recent progress toward the development of scalable quantum photonic technologies based on solid state spins in silicon carbide, and discuss current challenges and future directions.


title: Noncommutative localization in smooth deformation quantization

abstract: In this paper we shall show the equivalence of algebraic and analytic localisation for algebras of smooth deformation quantization for several situations. The proofs are based on old work by Whitney, Malgrange and Tougeron on the commutative algebra of smooth function rings from the 60's and 70's.


title: A cold-source paradigm for steep-slope transistors based on van der Waals heterojunctions

abstract: The availability of transistors capable of operating at low supply voltage is essential to improve the key performance metric of computing circuits, i.e., the number of operations per unit energy. In this paper, we propose a new device concept for energy-efficient, steep-slope transistors based on heterojunctions of 2D materials. We show that by injecting electrons from an isolated and weakly dispersive band into a strongly dispersive one, subthermionic subthreshold swings can be obtained, as a result of a cold-source effect and of a reduced thermalization of carriers. This mechanism is implemented by integrating in a MOSFET architecture two different monolayer materials coupled through a van der Waals heterojunction, combining the subthermionic behavior of tunnel field-effect transistors (FETs) with the robustness of a MOSFET architecture against performance-degrading factors, such as traps, band tails and roughness. A further advantage with respect to tunnel FETs is that only an n-type or p-type doping is required to fabricate the device. In order to demonstrate the device concept and to discuss the underlying physics and the design options, we study through abinitio and full-quantum transport simulations a possible implementation that exploits two recently reported 2D materials.


title: Permute, Quantize, and Fine-tune: Efficient Compression of Neural Networks

abstract: Compressing large neural networks is an important step for their deployment in resource-constrained computational platforms. In this context, vector quantization is an appealing framework that expresses multiple parameters using a single code, and has recently achieved state-of-the-art network compression on a range of core vision and natural language processing tasks. Key to the success of vector quantization is deciding which parameter groups should be compressed together. Previous work has relied on heuristics that group the spatial dimension of individual convolutional filters, but a general solution remains unaddressed. This is desirable for pointwise convolutions (which dominate modern architectures), linear layers (which have no notion of spatial dimension), and convolutions (when more than one filter is compressed to the same codeword). In this paper we make the observation that the weights of two adjacent layers can be permuted while expressing the same function. We then establish a connection to rate-distortion theory and search for permutations that result in networks that are easier to compress. Finally, we rely on an annealed quantization algorithm to better compress the network and achieve higher final accuracy. We show results on image classification, object detection, and segmentation, reducing the gap with the uncompressed model by 40 to 70% with respect to the current state of the art.


title: Shear viscosity in QCD and why it's hard to calculate

abstract: Shear viscosity is a dynamical property of fluid systems close to equilibrium, describing resistance to sheared flow. After reviewing the physics of viscosity and the reason it is usually difficult to compute, I discuss its importance within the theory of QCD and the obstacles to carrying out such a computation. A diagrammatic analysis requires extensive resummations and even then convergence is poor at physically relevant couplings. Lattice approaches require a poorly controlled analytical continuation of data from the Euclidean to the Minkowski domain. At present our best results for QCD shear viscosity come from the hydrodynamical interpretations of experiments, with first-principles calculations trailing behind.


title: Asymmetric electrocaloric effects in PbSc0.5Ta0.5O3 on field application and removal

abstract: Electrically driven thermal changes in PbSc0.5Ta0.5O3 bulk ceramics are investigated using temperature and electric-field dependent differential scanning calorimetry and infrared thermometry. On first application and removal of electric field, we find asymmetries in the magnitude of isothermal entropy change $\Delta$ S and adiabatic temperature change $\Delta$ T, due to hysteresis. On subsequent field cycling, we find further asymmetries in the magnitude of $\Delta$ T due to non-linearity in the isofield legs of entropy-temperature plots.


title: Negative flow of energy in a mechanical wave

abstract: A classical system, which is analogous to the quantum one with a backflow of probability, is proposed. The system consists of a chain of masses interconnected by springs, as well attached by other springs to fixed supports. Thanks to the last springs the cutoff frequency and dispersion appears in the spectrum of waves propagating along the chain. It is shown that this dispersion contributes to the appearance of a backflow of energy. In the case of the interference of the two waves, the magnitude of this backflow is an order of magnitude higher than the value of the probability backflow in the mentioned quantum problem. The equation of Green's function is considered, and it is shown that the backflow of energy is also possible when the system is excited by two consecutive short pulses. This classical backflow phenomenon is explained by the branching of energy flow to local modes, what is confirmed by the results for the forced damped oscillator. It is shown that even in such a simple system the backflow of energy takes place (both an instantaneous and on average) and the energy comes back to external force.


title: Purely Inseparable Galois theory I: The Fundamental Theorem

abstract: We construct a Galois correspondence for finite purely inseparable field extensions $F/K$, generalising a classical result of Jacobson for extensions of exponent one (where $x^p \in K$ for all $x\in F$).


title: Vacuum structure and electroweak phase transition in singlet scalar dark matter

abstract: In the presence of a real singlet scalar field with $\mathbb{Z}_2$ symmetry in addition to the Higgs field in the Standard Model, we analytically investigate all possible one-step and two-step electroweak phase transitions (EWPT) in the high-temperature expansion limit. In particular, we examine the possibility of a first-order phase transition in an intermediate temperature interval of the universe for two-step scenarios. In all scenarios, we provide with necessary conditions on the parameters of the model to address a first- or second-order phase transition if ever possible in the high-temperature approximation. We show that among all possible EWPT channels in this model, only the two-step phase transition $(0,0)\to(0,w)\to (v,0)$ can be of first-order type, either in the first or second step. The conditions obtained for EWPT is confronted with the dark matter (DM) and collider constraints. It is shown that the second-order one-step $(0,0)\to(v,0)$ scenario can evade the DM constraints, but it is not accessible to future colliders. The two-step first-order EWPT scenario $(0,0)\to(0,w)\to (v,0)$, except for small DM masses, is excluded by direct detection experiments XENON1T/LUX, but it is accessible in future colliders ILC/TLEP.


title: Modelling and simulation of dependence structures in nonlife insurance with Bernstein copulas

abstract: In this paper we review Bernstein and grid-type copulas for arbitrary dimensions and general grid resolutions in connection with discrete random vectors possessing uniform margins. We further suggest a pragmatic way to fit the dependence structure of multivariate data to Bernstein copulas via grid-type copulas and empirical contingency tables. Finally, we discuss a Monte Carlo study for the simulation and PML estimation for aggregate dependent losses form observed windstorm and flooding data.


title: MIRISim: A Simulator for the Mid-Infrared Instrument on JWST

abstract: The Mid-Infrared Instrument (MIRI) on the James Webb Space Telescope (JWST), has imaging, four coronagraphs and both low and medium resolution spectroscopic modes . Being able to simulate MIRI observations will help commissioning of the instrument, as well as get users familiar with representative data. We designed the MIRI instrument simulator (MIRISim) to mimic the on-orbit performance of the MIRI imager and spectrometers using the Calibration Data Products (CDPs) developed by the MIRI instrument team. The software encorporates accurate representations of the detectors, slicers, distortions, and noise sources along the light path including the telescope's radiative background and cosmic rays. The software also includes a module which enables users to create astronomical scenes to simulate. MIRISim is a publicly available Python package that can be run at the command line, or from within Python. The outputs of MIRISim are detector images in the same uncalibrated data format that will be delivered to MIRI users. These contain the necessary metadata for ingestion by the JWST calibration pipeline.


title: 5W1H-based Expression for the Effective Sharing of Information in Digital Forensic Investigations

abstract: Digital forensic investigation is used in various areas related to digital devices including the cyber crime. This is an investigative process using many techniques, which have implemented as tools. The types of files covered by the digital forensic investigation are wide and varied, however, there is no way to express the results into a standardized format. The standardization are different by types of device, file system, or application. Different outputs make it time-consuming and difficult to share information and to implement integration. In addition, it could weaken cyber security. Thus, it is important to define normalization and to present data in the same format. In this paper, a 5W1H-based expression for information sharing for effective digital forensic investigation is proposed to analyze digital forensic information using six questions--what, who, where, when, why and how. Based on the 5W1H-based expression, digital information from different types of files is converted and represented in the same format of outputs. As the 5W1H is the basic writing principle, application of the 5W1H-based expression on the case studies shows that this expression enhances clarity and correctness for information sharing. Furthermore, in the case of security incidents, this expression has an advantage in being compatible with STIX.


title: Axionlike particles searches in reactor experiments

abstract: Reactor neutrino experiments provide a rich environment for the study of axionlike particles (ALPs). Using the intense photon flux produced in the nuclear reactor core, these experiments have the potential to probe ALPs with masses below 10 MeV. We explore the feasibility of these searches by considering ALPs produced through Primakoff and Compton-like processes as well as nuclear transitions. These particles can subsequently interact with the material of a nearby detector via inverse Primakoff and inverse Compton-like scatterings, via axio-electric absorption, or they can decay into photon or electron-positron pairs. We demonstrate that reactor-based neutrino experiments have a high potential to test ALP-photon couplings and masses, currently probed only by cosmological and astrophysical observations, thus providing complementary laboratory-based searches. We furthermore show how reactor facilities will be able to test previously unexplored regions in the $\sim$MeV ALP mass range and ALP-electron couplings of the order of $g_{aee} \sim 10^{-8}$ as well as ALP-nucleon couplings of the order of $g_{ann}^{(1)} \sim 10^{-9}$, testing regions beyond TEXONO and Borexino limits.


title: Stability of contact lines in fluids: 2D Navier-Stokes flow

abstract: In this paper we study the dynamics of an incompressible viscous fluid evolving in an open-top container in two dimensions. The fluid mechanics are dictated by the Navier-Stokes equations. The upper boundary of the fluid is free and evolves within the container. The fluid is acted upon by a uniform gravitational field, and capillary forces are accounted for along the free boundary. The triple-phase interfaces where the fluid, air above the vessel, and solid vessel wall come in contact are called contact points, and the angles formed at the contact point are called contact angles. The model that we consider integrates boundary conditions that allow for full motion of the contact points and angles. Equilibrium configurations consist of quiescent fluid within a domain whose upper boundary is given as the graph of a function minimizing a gravity-capillary energy functional, subject to a fixed mass constraint. The equilibrium contact angles can take on any values between $0$ and $\pi$ depending on the choice of capillary parameters. The main thrust of the paper is the development of a scheme of a priori estimates that show that solutions emanating from data sufficiently close to the equilibrium exist globally in time and decay to equilibrium at an exponential rate.


title: Compact Gauge Fields on Causal Dynamical Triangulations: a 2D case study

abstract: We discuss the discretization of Yang-Mills theories on Dynamical Triangulations in the compact formulation, with gauge fields living on the links of the dual graph associated with the triangulation, and the numerical investigation of the minimally coupled system by Monte Carlo simulations. We provide, in particular, an explicit construction and implementation of the Markov chain moves for 2D Causal Dynamical Triangulations coupled to either $U(1)$ or $SU(2)$ gauge fields; the results of exploratory numerical simulations on a toroidal geometry are also presented for both cases. We study the critical behavior of gravity related observables, determining the associated critical indices, which turn out to be independent of the bare gauge coupling: we obtain in particular $\nu = 0.496(7)$ for the critical index regulating the divergence of the correlation length of the volume profiles. Gauge observables are also investigated, including holonomies (torelons) and, for the $U(1)$ gauge theory, the winding number and the topological susceptibility. An interesting result is that the critical slowing down of the topological charge, which affects various lattice field theories in the continuum limit, seems to be strongly suppressed (i.e., by orders of magnitude) by the presence of a locally variable geometry: that may suggest possible ways for improvement also in other contexts.


title: On extensions of the Penrose inequality with angular momentum

abstract: We numerically investigate the validity of recent modifications of the Penrose inequality that include angular momentum. Formulations expressed in terms of asymptotic mass and asymptotic angular momentum are contradicted. We analyzed numerical solutions describing polytropic stationary toroids around spinning black holes.


title: Playing a Part: Speaker Verification at the Movies

abstract: The goal of this work is to investigate the performance of popular speaker recognition models on speech segments from movies, where often actors intentionally disguise their voice to play a character. We make the following three contributions: (i) We collect a novel, challenging speaker recognition dataset called VoxMovies, with speech for 856 identities from almost 4000 movie clips. VoxMovies contains utterances with varying emotion, accents and background noise, and therefore comprises an entirely different domain to the interview-style, emotionally calm utterances in current speaker recognition datasets such as VoxCeleb; (ii) We provide a number of domain adaptation evaluation sets, and benchmark the performance of state-of-the-art speaker recognition models on these evaluation pairs. We demonstrate that both speaker verification and identification performance drops steeply on this new data, showing the challenge in transferring models across domains; and finally (iii) We show that simple domain adaptation paradigms improve performance, but there is still large room for improvement.


title: Determination of the spin orientation of helical electrons in monolayer WTe2

abstract: Monolayer WTe2 is predicted to be a quantum spin Hall insulator (QSHI) and electron transport along its edges has been experimentally observed. However, the 'smoking gun' of QSHI, spin momentum locking of the edge electrons, has not been experimentally demonstrated. We propose a model to establish the relationship between the anisotropic magnetoresistance (AMR) and spin orientation of the helical electrons in WTe2. Based on the predictions of the model, angular dependent magnetoresistance measurements were carried out. The experimental results fully supported the model and the spin orientation of the helical edge electrons was determined. Our results not only demonstrate that WTe2 is indeed a QSHI, but also suggest a convenient method to determine the spin orientation of other QSHIs.


title: Minimal Model Structure Analysis for Input Reconstruction in Federated Learning

abstract: \ac{fl} proposed a distributed \ac{ml} framework where every distributed worker owns a complete copy of global model and their own data. The training is occurred locally, which assures no direct transmission of training data. However, the recent work \citep{zhu2019deep} demonstrated that input data from a neural network may be reconstructed only using knowledge of gradients of that network, which completely breached the promise of \ac{fl} and sabotaged the user privacy. In this work, we aim to further explore the theoretical limits of reconstruction, speedup and stabilize the reconstruction procedure. We show that a single input may be reconstructed with the analytical form, regardless of network depth using a fully-connected neural network with one hidden node. Then we generalize this result to a gradient averaged over batches of size $B$. In this case, the full batch can be reconstructed if the number of hidden units exceeds $B$. For a \ac{cnn}, the number of required kernels in convolutional layers is decided by multiple factors, e.g., padding, kernel and stride size, etc. We require the number of kernels $h\geq (\frac{d}{d^{\prime}})^2C$, where we define $d$ as input width, $d^{\prime}$ as output width after convolutional layer, and $C$ as channel number of input. We validate our observation and demonstrate the improvements using bio-medical (fMRI, \ac{wbc}) and benchmark data (MNIST, Kuzushiji-MNIST, CIFAR100, ImageNet and face images).


title: Multipath wave-particle duality with a path detector in a quantum superposition

abstract: According to Bohr's principle of complementarity, a quanton can behave either as a wave or a particle, depending on the choice of the experimental setup. Some recent two-path interference experiments have devised methods where one can have a quantum superposition of the two choices, thus indicating that a quanton may be in a superposition of wave and particle nature. These experiments have been of interest from the point of view of Wheeler's delayed-choice experiment. However, it has also been claimed that this experiment can violate complementarity. Here we theoretically analyze a multipath interference experiment that has a which-path detector in a quantum superposition of being present and absent. We show that a tight multipath wave-particle duality relation is respected in all such situations, and complementarity holds well. The apparent violation of complementarity may be due to incorrect evaluation of path distinguishability in such scenarios.


title: Laser-accelerated, low divergence 15 MeV quasi-monoenergetic electron bunches at 1 kHz

abstract: We demonstrate laser wakefield acceleration of quasi-monoenergetic electron bunches up to 15 MeV at 1 kHz repetition rate with 2.5 pC charge per bunch and a core with < 7 mrad beam divergence. Acceleration is driven by 5 fs, < 2.7 mJ laser pulses incident on a thin, near-critical density hydrogen gas jet. Low beam divergence is attributed to reduced sensitivity to laser carrier envelope phase slip, achieved in two ways using laser polarization and gas jet control: (1) electron injection into the wake on the gas jet's plasma density downramp, and (2) use of circularly polarized drive pulses. Under conditions of mild wavebreaking in the downramp, electron beam profiles have a 2D Lorentzian shape consistent with a kappa electron energy distribution. Such distributions had previously been observed only in space or dusty plasmas. We attribute this shape to the strongly correlated collisionless bunch confined by the quadratic wakefield bubble potential, where transverse velocity space diffusion is imparted to the bunch by the red-shifted laser field in the bubble.


title: A discussion on "Numerical computations of resonant sloshing using the modified isoAdvector method and the buoyancy-modified turbulence closure model" [Appl. Ocean Res. (2019), 93, article no. 101829, doi:10.1016.j.apor.2019.05.014]

abstract: A discussion on Li et al. (2019) [Numerical computations of resonant sloshing using the modified isoAdvector method and the buoyancy-modified turbulence closure model. Appl. Ocean Res. 93, article no. 101829, DOI:10.1016.j.apor.2019.05.014] is provided. Some mis-characterizations regarding the work of Larsen and Fuhrman (2018) [On the over-production of turbulence beneath surface waves using Reynolds-averaged Navier-Stokes models. J. Fluid Mech. 853, 419-460, DOI:10.1017/jfm.2018.577], on stabilizing two-equation turbulence closures beneath surface waves, are clarified.


title: On distributivity in higher algebra I: The universal property of bispans

abstract: Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the more complicated setup where we have two pushforwards (an "additive" and a "multiplicative" one), satisfying a distributivity relation. Such structures can be described in terms of bispans (or polynomial diagrams). We show that there exist $(\infty,2)$-categories of bispans, characterized by a universal property: they corepresent functors out of $\infty$-categories of spans where the pullbacks have left adjoints and certain canonical 2-morphisms (encoding base change and distributivity) are invertible. This gives a universal way to obtain functors from bispans, which amounts to upgrading "monoid-like" structures to "ring-like" ones. For example, symmetric monoidal $\infty$-categories can be described as product-preserving functors from spans of finite sets, and if the tensor product is compatible with finite coproducts our universal property gives the canonical semiring structure using the coproduct and tensor product. More interestingly, we encode the additive and multiplicative transfers on equivariant spectra as a functor from bispans in finite $G$-sets, extend the norms for finite \'etale maps in motivic spectra to a functor from certain bispans in schemes, and make $\mathrm{Perf}(X)$ for $X$ a spectral Deligne--Mumford stack a functor of bispans using a multiplicative pushforward for finite \'etale maps in addition to the usual pullback and pushforward maps. Combining this with the polynomial functoriality of $K$-theory constructed by Barwick, Glasman, Mathew, and Nikolaus, we obtain norms on algebraic $K$-theory spectra.


title: Circular geodesics in a New Generalization of q-metric

abstract: This paper introduces an alternative generalization of the static solution with quadrupole moment, the $\rm q$-metric, that describes a deformed compact object in the presence of the external fields characterized by multipole moments. In addition, we also examine the impact of the external fields up to quadrupole on the circular geodesics and the interplay of these two quadrupoles on the place of the innermost stable circular orbit (ISCO) in the equatorial plane.


title: Collisionless sound of bosonic superfluids in lower dimensions

abstract: The superfluidity of low-temperature bosons is well established in the collisional regime. In the collisionless regime, however, the presence of superfluidity is not yet fully clarified, in particular in lower spatial dimensions. Here we compare the Vlasov-Landau equation, which does not take into account the superfluid nature of the bosonic system, with the Andreev-Khalatnikov equations, which instead explicitly contain a superfluid velocity. We show that recent experimental data of the sound mode in a two-dimensional collisionless Bose gas of $^{87}$Rb atoms are in good agreement with both theories but the sound damping is better reproduced by the Andreev -Khalatnikov equations below the Berezinskii-Kosterlitz-Thouless critical temperature $T_c$ while above $T_c$ the Vlasov-Landau results are closer to the experimental ones. For one dimensional bosonic fluids, where experimental data are not yet available, we find larger differences between the sound velocities predicted by the two transport theories and, also in this case, the existence of a superfluid velocity reduces the sound damping.


title: Gaussian time-dependent variational principle for the finite-temperature anharmonic lattice dynamics

abstract: The anharmonic lattice is a representative example of an interacting bosonic many-body system. The self-consistent harmonic approximation has proven versatile for the study of the equilibrium properties of anharmonic lattices. However, the study of dynamical properties therewithin resorts to an ansatz, whose validity has not yet been theoretically proven. Here, we apply the time-dependent variational principle, a recently emerging useful tool for studying the dynamic properties of interacting many-body systems, to the anharmonic lattice Hamiltonian at finite temperature using the Gaussian states as the variational manifold. We derive an analytic formula for the position-position correlation function and the phonon self-energy, proving the dynamical ansatz of the self-consistent harmonic approximation. We establish a fruitful connection between time-dependent variational principle and the anharmonic lattice Hamiltonian, providing insights in both fields. Our work expands the range of applicability of time-dependent variational principle to first-principles lattice Hamiltonians and lays the groundwork for the study of dynamical properties of the anharmonic lattice using a fully variational framework.


title: p-Schatten commutators of projections

abstract: Let $H=H_+\oplus H_-$ be a fixed orthogonal decomposition of the complex Hilbert space $H$ in two infinite dimensional subspaces. We study the geometry of the set $P^p$ of selfadjoint projections in the Banach algebra $$ {\cal A}^p=\{A\in B(H): [A,E_+]\in B_p(H)\}, $$ where $E_+$ is the projection onto $H_+$ and $B_p(H)$ is the Schatten ideal of $p$-summable operators ($1\le p <\infty$). The norm in ${\cal A}^p$ is defined in terms of the norms of the matrix entries of the operators given by the above decomposition. The space $P^p$ is shown to be a differentiable $C^\infty$ submanifold of ${\cal A}^p$, and a homogeneous space of the group of unitary operators in ${\cal A}^p$. The connected components of $P^p$ are characterized, by means of a partition of $P^p$ in nine classes, four discrete classes and five essential classes: - the first two corresponding to finite rank or co-rank, with the connected components parametrized by theses ranks; - the next two discrete classes carrying a Fredholm index, which parametrizes its components; - the remaining essential classes, which are connected.


title: Amortized Probabilistic Detection of Communities in Graphs

abstract: Learning community structures in graphs has broad applications across scientific domains. While graph neural networks (GNNs) have been successful in encoding graph structures, existing GNN-based methods for community detection are limited by requiring knowledge of the number of communities in advance, in addition to lacking a proper probabilistic formulation to handle uncertainty. We propose a simple framework for amortized community detection, which addresses both of these issues by combining the expressive power of GNNs with recent methods for amortized clustering. Our models consist of a graph representation backbone that extracts structural information and an amortized clustering network that naturally handles variable numbers of clusters. Both components combine into well-defined models of the posterior distribution of graph communities and are jointly optimized given labeled graphs. At inference time, the models yield parallel samples from the posterior of community labels, quantifying uncertainty in a principled way. We evaluate several models from our framework on synthetic and real datasets and demonstrate superior performance to previous methods. As a separate contribution, we extend recent amortized probabilistic clustering architectures by adding attention modules, which yield further improvements on community detection tasks.


title: Explainable Automated Coding of Clinical Notes using Hierarchical Label-wise Attention Networks and Label Embedding Initialisation

abstract: Diagnostic or procedural coding of clinical notes aims to derive a coded summary of disease-related information about patients. Such coding is usually done manually in hospitals but could potentially be automated to improve the efficiency and accuracy of medical coding. Recent studies on deep learning for automated medical coding achieved promising performances. However, the explainability of these models is usually poor, preventing them to be used confidently in supporting clinical practice. Another limitation is that these models mostly assume independence among labels, ignoring the complex correlation among medical codes which can potentially be exploited to improve the performance. We propose a Hierarchical Label-wise Attention Network (HLAN), which aimed to interpret the model by quantifying importance (as attention weights) of words and sentences related to each of the labels. Secondly, we propose to enhance the major deep learning models with a label embedding (LE) initialisation approach, which learns a dense, continuous vector representation and then injects the representation into the final layers and the label-wise attention layers in the models. We evaluated the methods using three settings on the MIMIC-III discharge summaries: full codes, top-50 codes, and the UK NHS COVID-19 shielding codes. Experiments were conducted to compare HLAN and LE initialisation to the state-of-the-art neural network based methods. HLAN achieved the best Micro-level AUC and $F_1$ on the top-50 code prediction and comparable results on the NHS COVID-19 shielding code prediction to other models. By highlighting the most salient words and sentences for each label, HLAN showed more meaningful and comprehensive model interpretation compared to its downgraded baselines and the CNN-based models. LE initialisation consistently boosted most deep learning models for automated medical coding.


title: Fundamental limitations to key distillation from Gaussian states with Gaussian operations

abstract: We establish fundamental upper bounds on the amount of secret key that can be extracted from quantum Gaussian states by using only local Gaussian operations, local classical processing, and public communication. For one-way public communication, or when two-way public communication is allowed but Alice and Bob first perform destructive local Gaussian measurements, we prove that the key is bounded by the R\'enyi-$2$ Gaussian entanglement of formation $E_{F,2}^{\mathrm{\scriptscriptstyle G}}$. Since the inequality is saturated for pure Gaussian states, this yields an operational interpretation of the R\'enyi-$2$ entropy of entanglement as the secret key rate of pure Gaussian states that is accessible with Gaussian operations and one-way communication. In the general setting of two-way communication and arbitrary interactive protocols, we argue that $2 E_{F,2}^{\mathrm{\scriptscriptstyle G}}$ is still an upper bound on the extractable key. We conjecture that the factor of $2$ is spurious, which would imply that $E_{F,2}^{\mathrm{\scriptscriptstyle G}}$ coincides with the secret key rate of Gaussian states under Gaussian measurements and two-way public communication. We use these results to prove a gap between the secret key rates obtainable with arbitrary versus Gaussian operations. Such a gap is observed for states produced by sending one half of a two-mode squeezed vacuum through a pure loss channel, in the regime of sufficiently low squeezing or sufficiently high transmissivity. Finally, for a wide class of Gaussian states that includes all two-mode states, we prove a recently proposed conjecture on the equality between $E_{F,2}^{\mathrm{\scriptscriptstyle G}}$ and the Gaussian intrinsic entanglement. The unified entanglement quantifier emerging from such an equality is then endowed with a direct operational interpretation as the value of a quantum teleportation game.


title: Recognizing distributed approval voting forms and correspondences

abstract: Each voter $i \in I$ has $\alpha_i$ cards that (s)he distributes among the candidates $a \in A$ as a measure of approval. One (or several) candidate(s) who received the maximum number of cards is (are) elected. We provide polynomial algorithms to recognize voting forms and voting correspondences generated by such voting schemes in cases when either the number of candidates or the number of voters is equal to $2$. We prove that for two voters, if $\alpha_2 \geq \alpha_1-2\geq 0$ then the unique voting correspondence has distinct rows. We also characterize voting forms with distinct rows.


title: Morphology of Gamma-Ray Halos around Middle-Aged Pulsars: Influence of the Pulsar Proper Motion

abstract: Recently, gamma-ray halos of a few degree extension have been detected around two middle-aged pulsars, namely, Geminga and PSR B0656+14, by the High Altitude Water Cherenkov observatory (HAWC). The gamma-ray radiation arise from relativistic electrons that escape the pulsar wind nebula and diffuse in the surrounding medium. The diffusion coefficient is found to be significantly lower than the average value in the Galactic disk. If so, given a typical transverse velocity of $300-500{\,\rm km /s}$ for a pulsar, its displacement could be important in shaping the morphology of its gamma-ray halos. Motivated by this, we study the morphology of pulsar halos considering the proper motion of pulsar. We define three evolutionary phases of pulsar halo to categorize its morphological features. The morphology of pulsar halos below 10$\,$TeV is double peaked or single peaked with an extended tail, which depends on the electron injection history. Above 10 TeV, the morphology of pulsar halos is nearly spherical, due to the short cooling timescale ($<50\,$kyr) for tens TeV electrons. We also quantitatively evaluate the separation between the pulsar and the center of the gamma-ray halo, as well as the influence of different assumptions for the pulsar characteristics and the injected electrons. Our results suggest that the separation between the center of the gamma-ray halo above 10$\,$TeV and the associated pulsar is usually too small to be observable by HAWC or LHAASO. Hence, our results provide a useful approach to constrain the origin of extended sources at very high energies.


title: The GosipGUI framework for control and benchmarking of readout electronics front-ends

abstract: The GOSIP (Gigabit Optical Serial Interface Protocol) provides communication via optical fibres between multiple kinds of front-end electronics and the KINPEX PCIe receiver board located in the readout host PC. In recent years a stack of device driver software has been developed to utilize this hardware for several scenarios of data acquisition. On top of this driver foundation, several graphical user interfaces (GUIs) have been created. These GUIs are based on the Qt graphics libraries and are designed in a modular way: All common functionalities, like generic I/O with the front-ends, handling of configuration files, and window settings, are treated by a framework class GosipGUI. In the Qt workspace of such GosipGUI frame, specific sub classes may implement additional windows dedicated to operate different GOSIP front-end modules. These readout modules developed by GSI Experiment Electronics department are for instance FEBEX sampling ADCs, TAMEX FPGA-TDCs, or POLAND QFWs. For each kind of front-end the GUIs allow to monitor specific register contents, to set up the working configuration, and to interactively change parameters like sampling thresholds during data acquisition. The latter is extremely useful when qualifying and tuning the front-ends in the electronics lab or detector cave. Moreover, some of these GosipGUI implementations have been equipped with features for mostly automatic testing of ASICs in a prototype mass production. This has been applied for the APFEL-ASIC component of the PANDA experiment currently under construction, and for the FAIR beam diagnostic readout system POLAND.


title: $T{\overline T}$ deformations and the width of fundamental particles

abstract: We provide a simple geometric meaning for deformations of so-called $T{\overline T}$ type in relativistic and non-relativistic systems. Deformations by the cross products of energy and momentum currents in integrable quantum field theories are known to modify the thermodynamic Bethe ansatz equations by a "CDD factor". In turn, CDD factors may be interpreted as additional, fixed shifts incurred in scattering processes: a finite width added to the fundamental particles (or, if negative, to the free space between them). We suggest that this physical effect is a universal way of understanding $T{\overline T}$ deformations, both in classical and quantum systems. We first show this in non-relativistic systems, with particle conservation and translation invariance, using the deformation formed out of the densities and currents of particles and momentum. This holds at the level of the equations of motion, and for any interaction potential, integrable or not. We then argue, and show by similar techniques in free relativistic particle systems, that $T\overline T$ deformations of relativistic systems produce the equivalent phenomenon, accounting for length contractions. We also show that, in both the relativistic and non-relativistic cases, the width of particles is equivalent to a state-dependent change of metric, where the distance function discounts the particles' widths, or counts the additional free space. This generalises and explains the known field-dependent coordinate change describing $T\overline T$ deformations. The results connect such deformations with generalised hydrodynamics, where the relations between scattering shifts, widths of particles and state-dependent changes of metric have been established.


title: Towards a geometrical interpretation of rainbow geometries for quantum gravity phenomenology

abstract: In the literature, there are several papers establishing a correspondence between a deformed kinematics and a nontrivial (momentum dependent) metric. In this work, we study in detail the relationship between the trajectories given by a deformed Hamiltonian and the geodesic motion obtained from a geometry in the cotangent bundle, finding that both trajectories coincide when the Hamiltonian is identified with the squared distance in momentum space. Moreover, following the natural structure of the cotangent bundle geometry, we construct the space-time curvature tensor, from which we obtain generalized Einstein equations. Since the metric is not invariant under momentum diffeomorphisms (changes of momentum coordinates) we note that, in order to have a conserved Einstein tensor (in the same sense of general relativity), a privileged momentum basis appears, a completely new result that cannot be found in absence of space-time curvature, which settles a long standing ambiguity of this geometric approach. After that, we consider in an expanding universe the geodesic motion and the Raychaudhuri's equations, and we show how to construct vacuum solutions to the Einstein equations. Finally, we make a comment about the possible phenomenological implications of our framework.


title: Tuning Advanced LIGO to kilohertz signals from neutron-star collisions

abstract: Gravitational waves produced at kilohertz frequencies in the aftermath of a neutron star collision can shed light on the behavior of matter at extreme temperatures and densities that are inaccessible to laboratory experiments. Gravitational-wave interferometers are limited by quantum noise at these frequencies but can be tuned via their optical configuration to maximize the probability of post-merger signal detection. We compare two such tuning strategies to turn Advanced LIGO into a post-merger-focused instrument: first, a wideband tuning that enhances the instrument's signal-to-noise ratio 40--80\% broadly above \SI{1}{\kHz} relative to the baseline, with a modest sensitivity penalty at lower frequencies; second, a "detuned" configuration that provides even more enhancement than the wideband tuning, but over only a narrow frequency band and at the expense of substantially worse quantum noise performance elsewhere. With an optimistic accounting for instrument loss and uncertainty in post-merger parameters, the detuned instrument has a ${\lesssim}40\%$ sensitivity improvement compared to the wideband instrument.


title: Are randomness of behavior and information flow important to opinion forming in organization?

abstract: We examine how the randomness of behavior and the flow of information between agents affect the formation of opinions. Our main research involves the process of opinion evolution, opinion clusters formation and studying the probability of sustaining opinion. The results show that opinion formation (clustering of opinion) is influenced by both flow of information between agents (interactions outside the closest neighbors) and randomness in adopting opinions.


title: Entanglement entropy and edge modes in topological string theory: I

abstract: Progress in identifying the bulk microstate interpretation of the Ryu-Takayanagi formula requires understanding how to define entanglement entropy in the bulk closed string theory. Unfortunately, entanglement and Hilbert space factorization remains poorly understood in string theory. As a toy model for AdS/CFT, we study the entanglement entropy of closed strings in the topological A-model in the context of Gopakumar-Vafa duality. We will present our results in two separate papers. In this work, we consider the bulk closed string theory on the resolved conifold and give a self-consistent factorization of the closed string Hilbert space using extended TQFT methods. We incorporate our factorization map into a Frobenius algebra describing the fusion and splitting of Calabi-Yau manifolds, and find string edge modes transforming under a $q$-deformed surface symmetry group. We define a string theory analogue of the Hartle-Hawking state and give a canonical calculation of its entanglement entropy from the reduced density matrix. Our result matches with the geometrical replica trick calculation on the resolved conifold, as well as a dual Chern-Simons theory calculation which will appear in our next paper \cite{secondpaper}. We find a realization of the Susskind-Uglum proposal identifying the entanglement entropy of closed strings with the thermal entropy of open strings ending on entanglement branes. We also comment on the BPS microstate counting of the entanglement entropy. Finally we relate the nonlocal aspects of our factorization map to analogous phenomenon recently found in JT gravity.


title: The Agile Coach Role: Coaching for Agile Performance Impact

abstract: It is increasingly common to introduce agile coaches to help gain speed and advantage in agile companies. Following the success of Spotify, the role of the agile coach has branched out in terms of tasks and responsibilities, but little research has been conducted to examine how this role is practiced. This paper examines the role of the agile coach through 19 semistructured interviews with agile coaches from ten different companies. We describe the role in terms of the tasks the coach has in agile projects, valuable traits, skills, tools, and the enablers of agile coaching. Our findings indicate that agile coaches perform at the team and organizational levels. They affect effort, strategies, knowledge, and skills of the agile teams. The most essential traits of an agile coach are being emphatic, people-oriented, able to listen, diplomatic, and persistent. We suggest empirically based advice for agile coaching, for example companies giving their agile coaches the authority to implement the required organizational changes within and outside the teams.


title: Production and characterization of a fragmented spinor Bose-Einstein condensate

abstract: Understanding the ground state of many-body fluids is a central question of statistical physics. Usually for weakly interacting Bose gases, most particles occupy the same state, corresponding to a Bose--Einstein condensate. However, another scenario may occur with the emergence of several, macroscopically populated single-particle states. The observation of such fragmented states remained elusive so far, due to their fragility to external perturbations. Here we produce a 3-fragment condensate for a spin 1 gas of $\sim 100$ atoms, with anti-ferromagnetic interactions and vanishing collective spin. Using a spin-resolved detection approaching single-atom resolution, we show that the reconstructed many-body state is quasi-pure, while one-body observables correspond to a mixed state. Our results highlight the interplay between symmetry and interaction to develop entanglement in a quantum system.


title: Recurrent Neural Networks for video object detection

abstract: There is lots of scientific work about object detection in images. For many applications like for example autonomous driving the actual data on which classification has to be done are videos. This work compares different methods, especially those which use Recurrent Neural Networks to detect objects in videos. We differ between feature-based methods, which feed feature maps of different frames into the recurrent units, box-level methods, which feed bounding boxes with class probabilities into the recurrent units and methods which use flow networks. This study indicates common outcomes of the compared methods like the benefit of including the temporal context into object detection and states conclusions and guidelines for video object detection networks.


title: BRST-BV Quantum Actions for Constrained Totally-Symmetric Integer HS Fields

abstract: A constrained BRST-BV Lagrangian formulation for totally symmetric massless HS fields in a $d$-dimensional Minkowski space is extended to a non-minimal constrained BRST-BV Lagrangian formulation by using a non-minimal BRST operator $Q_{c|\mathrm{tot}}$ with non-minimal Hamiltonian BFV oscillators $\overline{C}, \overline{\mathcal{P}}, \lambda, \pi$, as well as antighost and Nakanishi-Lautrup tensor fields, in order to introduce an admissible self-consistent gauge condition. The gauge-fixing procedure involves an operator gauge-fixing BRST-BFV Fermion $\Psi_H$ as a kernel of the gauge-fixing BRST-BV Fermion functional $\Psi$, manifesting the concept of BFV-BV duality. A Fock-space quantum action with non-minimal BRST-extended off-shell constraints is constructed as a shift of the total generalized field-antifield vector by a variational derivative of the gauge-fixing Fermion $\Psi$ in a total BRST-BV action $S^{\Psi}_{0|s} = \int d \eta_0 \langle \chi^{\Psi{} 0}_{\mathrm{tot}|c} \big| Q_{c|\mathrm{tot}}\big| \chi^{\Psi{} 0}_{\mathrm{tot}|c}\rangle$. We use a gauge condition which depends on two gauge parameters, thereby extending the case of $R_\xi$-gauges. For triplet and duplet formulations we explored the representations with only traceless field-antifield and source variables. For the generating functionals of Green's functions, BRST symmetry transformations are suggested and Ward identities are obtained.


title: The flavour of intermediate Ricci and homotopy when studying submanifolds of symmetric spaces

abstract: We introduce a new technique to the study and identification of submanifolds of simply-connected symmetric spaces of compact type based upon an approach computing $k$-positive Ricci curvature of the ambient manifolds and using this information in order to determine how highly connected the embeddings are. This provides codimension ranges in which the Cartan type of submanifolds satisfying certain conditions which generalize being totally geodesic necessarily equals the one of the ambient manifold. Using results by Guijarro--Wilhelm our approach partly generalizes recent work by Berndt--Olmos on the index conjecture.


title: Introducing edge-biregular maps

abstract: We introduce the concept of alternate-edge-colourings for maps, and study highly symmetric examples of such maps. Edge-biregular maps of type $(k,l)$ occur as smooth normal quotients of a particular index two subgroup of $T_{k,l}$, the full triangle group describing regular plane $(k,l)$-tessellations. The resulting colour-preserving automorphism groups can be generated by four involutions. We explore special cases when the usual four generators are not distinct involutions, with constructions relating these maps to fully regular maps. We classify edge-biregular maps when the supporting surface has non-negative Euler characteristic, and edge-biregular maps on arbitrary surfaces when the colour-preserving automorphism group is isomorphic to a dihedral group.


title: The mean number of 2-torsion elements in the class groups of $n$-monogenized cubic fields

abstract: We prove that, on average, the monogenicity or $n$-monogenicity of a cubic field has an altering effect on the behavior of the 2-torsion in its class group.


title: Reinforcement Learning of Causal Variables Using Mediation Analysis

abstract: Many open problems in machine learning are intrinsically related to causality, however, the use of causal analysis in machine learning is still in its early stage. Within a general reinforcement learning setting, we consider the problem of building a general reinforcement learning agent which uses experience to construct a causal graph of the environment, and use this graph to inform its policy. Our approach has three characteristics: First, we learn a simple, coarse-grained causal graph, in which the variables reflect states at many time instances, and the interventions happen at the level of policies, rather than individual actions. Secondly, we use mediation analysis to obtain an optimization target. By minimizing this target, we define the causal variables. Thirdly, our approach relies on estimating conditional expectations rather the familiar expected return from reinforcement learning, and we therefore apply a generalization of Bellman's equations. We show the method can learn a plausible causal graph in a grid-world environment, and the agent obtains an improvement in performance when using the causally informed policy. To our knowledge, this is the first attempt to apply causal analysis in a reinforcement learning setting without strict restrictions on the number of states. We have observed that mediation analysis provides a promising avenue for transforming the problem of causal acquisition into one of cost-function minimization, but importantly one which involves estimating conditional expectations. This is a new challenge, and we think that causal reinforcement learning will involve development methods suited for online estimation of such conditional expectations. Finally, a benefit of our approach is the use of very simple causal models, which are arguably a more natural model of human causal understanding.


title: Investigation on a Doubly-Averaged Model for the Molniya Satellites Orbits

abstract: The aim of this work is to investigate the lunisolar perturbations affecting the long-term dynamics of a Molniya satellite. Some numerical experiments on the doubly-averaged model, including the expansion of the lunisolar disturbing functions up to the third order, are carried out in order to detect the terms dominating the long-term evolution. The analysis focuses on the following significant indicators: the amplitude of the harmonic coefficients, the periods of the arguments involved and, in particular, the ratio between the amplitudes and the corresponding frequency. The results show that the second-order lunisolar perturbation gives the dominant contribution to the long-term dynamics. The second part of this work aims to study the resonant regions associated to the dominant terms identified so far by using both the ideal resonance model and an alternative approach. The results obtained show when the standard method does not catch the main features of the dynamical structure of the resonant regions. Finally, the maximum overlapping region is identified in the proximity of the Molniya orbital environment.


title: Experimental realisation of multipartite entanglement via quantum Fisher information in a uniform antiferromagnetic quantum spin chain

abstract: Quantum entanglement is a quantum mechanical phenomenon where the quantum state of a many-body system with many degrees of freedom cannot be described independently of the state of each body with a given degree of freedom, no matter how far apart in space each body is. Entanglement is not only considered a resource in quantum information but also believed to affect complex condensed matter systems. Detecting and quantifying multi-particle entanglement in a many-body system is thus of fundamental significance for both quantum information science and condensed matter physics. Here, we detect and quantify multipartite entanglement in a spin 1/2 Heisenberg antiferromagnetic chain in a bulk solid. Multipartite entanglement was detected using quantum Fisher information which was obtained using dynamic susceptibility measured via inelastic neutron scattering. The scaling behaviour of quantum Fisher information was found to identify the spin 1/2 Heisenberg antiferromagnetic chain to belong to a class of strongly entangled quantum phase transitions with divergent multipartite entanglement.


title: Adaptive cognition implemented with a context-aware and flexible neuron for next-generation artificial intelligence

abstract: Neuromorphic computing mimics the organizational principles of the brain in its quest to replicate the brain's intellectual abilities. An impressive ability of the brain is its adaptive intelligence, which allows the brain to regulate its functions "on the fly" to cope with myriad and ever-changing situations. In particular, the brain displays three adaptive and advanced intelligence abilities of context-awareness, cross frequency coupling and feature binding. To mimic these adaptive cognitive abilities, we design and simulate a novel, hardware-based adaptive oscillatory neuron using a lattice of magnetic skyrmions. Charge current fed to the neuron reconfigures the skyrmion lattice, thereby modulating the neuron's state, its dynamics and its transfer function "on the fly". This adaptive neuron is used to demonstrate the three cognitive abilities, of which context-awareness and cross-frequency coupling have not been previously realized in hardware neurons. Additionally, the neuron is used to construct an adaptive artificial neural network (ANN) and perform context-aware diagnosis of breast cancer. Simulations show that the adaptive ANN diagnoses cancer with higher accuracy while learning faster from smaller amounts of data and using a more compact and energy-efficient network than the state-of-the-art non-adaptive ANNs used for cancer diagnosis. The work further describes how hardware-based adaptive neurons can mitigate several critical challenges facing contemporary ANNs. Modern ANNs require large amounts of training data, energy and chip area and are highly task-specific; conversely, hardware-based ANNs built with adaptive neurons show faster learning from smaller datasets, compact architectures, energy-efficiency, fault-tolerance and can lead to the realization of general artificial intelligence.


title: A colloquium on the variational method applied to excitons in 2D materials

abstract: In this colloquium, we review the research on excitons in van der Waals heterostructures from the point of view of variational calculations. We first make a presentation of the current and past literature, followed by a discussion on the connections between experimental and theoretical results. In particular, we focus our review of the literature on the absorption spectrum and polarizability, as well as the Stark shift and the dissociation rate. Afterwards, we begin the discussion of the use of variational methods in the study of excitons. We initially model the electron-hole interaction as a soft-Coulomb potential, which can be used to describe interlayer excitons. Using an \emph{ansatz}, based on the solution for the two-dimensional quantum harmonic oscillator, we study the Rytova-Keldysh potential, which is appropriate to describe intralayer excitons in two-dimensional (2D) materials. These variational energies are then recalculated with a different \emph{ansatz}, based on the exact wavefunction of the 2D hydrogen atom, and the obtained energy curves are compared. Afterwards, we discuss the Wannier-Mott exciton model, reviewing it briefly before focusing on an application of this model to obtain both the exciton absorption spectrum and the binding energies for certain values of the physical parameters of the materials. Finally, we briefly discuss an approximation of the electron-hole interaction in interlayer excitons as an harmonic potential and the comparison of the obtained results with the existing values from both first--principles calculations and experimental measurements.


title: Gaussian Process Bandit Optimization of the Thermodynamic Variational Objective

abstract: Achieving the full promise of the Thermodynamic Variational Objective (TVO), a recently proposed variational lower bound on the log evidence involving a one-dimensional Riemann integral approximation, requires choosing a "schedule" of sorted discretization points. This paper introduces a bespoke Gaussian process bandit optimization method for automatically choosing these points. Our approach not only automates their one-time selection, but also dynamically adapts their positions over the course of optimization, leading to improved model learning and inference. We provide theoretical guarantees that our bandit optimization converges to the regret-minimizing choice of integration points. Empirical validation of our algorithm is provided in terms of improved learning and inference in Variational Autoencoders and Sigmoid Belief Networks.


title: Sandwiching biregular random graphs

abstract: Let $G(n,n,m)$ be a uniformly random $m$-edge subgraph of the complete bipartite graph $K_{n,n}$ with bipartition $(V_1, V_2)$, where $n_i = |V_i|$. Given a real number $p \in [0,1]$ such that $d_1 := pn_2$ and $d_2 := pn_1$ are integers, let $R(n,n,p)$ be a random subgraph of $K_{n,n}$ such that every $v \in V_i$ has degree $d_i$, for $i = 1, 2$. In this paper we determine sufficient conditions on $n_1,n_2,p$, and $m$ under which one can embed $G(n,n,m)$ into $R(n,n,p)$ and vice versa with probability tending to $1$. In particular, in the balanced case $n_1 = n_2$, we show that if $p \gg \log n/n$ and $1 - p \gg \left(\log n/n \right)^{1/4}$, then for some $m \sim pn^2$, asymptotically almost surely one can embed $G(n,n,m)$ into $R(n,n,p)$, while for $p \gg \left(\log^{3} n/n\right)^{1/4}$ and $1-p \gg \log n/n$ we have the opposite embedding. As an extension, we confirm the Kim--Vu Sandwich Conjecture for degrees growing faster than $(n \log n)^{3/4}$.


title: "Tiny galaxies" from "little bang"

abstract: We show, by solving the linearized Vlasov equations, that in the presence of an attractive density-dependent vector, or tensor, mean field potential, under a portion of the spinodal unstable phase region where the attractions among the quarks are more dominant, the transverse modes, i.e., the fluctuations of the current densities perpendicular to the wave vector, are activated due to relativity. In particular, the current densities in both the transverse directions oscillate with the same frequency, indicating the existence of the spontaneous rotations of the dense clusters. These rotating clusters would certainly create a local vortical flow field which, according to chiral (or spin) vortical effect, leads to the macroscopic separation of the axial charges or spins due to the spin-orbital interactions. Hence, for the first time, the connection between the axial charge or spin in-homogeneity and the first-order phase transition is proposed.


title: Ultimate limits of approximate unambiguous discrimination

abstract: Quantum hypothesis testing is an important tool for quantum information processing. Two main strategies have been widely adopted: in a minimum error discrimination strategy, the average error probability is minimized; while in an unambiguous discrimination strategy, an inconclusive decision (abstention) is allowed to vanish any possibility of errors when a conclusive result is obtained. In both scenarios, the testing between quantum states are relatively well-understood, for example, the ultimate limits of the performance are established decades ago; however, the testing between quantum channels is less understood. Although the ultimate limit of minimum error discrimination between channels has been explored recently, the corresponding limit of unambiguous discrimination is unknown. In this paper, we formulate an approximate unambiguous discrimination scenario, and derive the ultimate limits of the performance for both states and channels. In particular, in the channel case, our lower bound of the inconclusive probability holds for arbitrary adaptive sensing protocols. For the special class of `teleportation-covariant' channels, the lower bound is achievable with maximum entangled inputs and no adaptive strategy is necessary.


title: Spatiotemporal effects of the causal factors on COVID-19 incidences in the contiguous United States

abstract: Since December 2019, the world has been witnessing the gigantic effect of an unprecedented global pandemic called Severe Acute Respiratory Syndrome Coronavirus (SARS-CoV-2) - COVID-19. So far, 38,619,674 confirmed cases and 1,093,522 confirmed deaths due to COVID-19 have been reported. In the United States (US), the cases and deaths are recorded as 7,833,851 and 215,199. Several timely researches have discussed the local and global effects of the confounding factors on COVID-19 casualties in the US. However, most of these studies considered little about the time varying associations between and among these factors, which are crucial for understanding the outbreak of the present pandemic. Therefore, this study adopts various relevant approaches, including local and global spatial regression models and machine learning to explore the causal effects of the confounding factors on COVID-19 counts in the contiguous US. Totally five spatial regression models, spatial lag model (SLM), ordinary least square (OLS), spatial error model (SEM), geographically weighted regression (GWR) and multiscale geographically weighted regression (MGWR), are performed at the county scale to take into account the scale effects on modelling. For COVID-19 cases, ethnicity, crime, and income factors are found to be the strongest covariates and explain the maximum model variances. For COVID-19 deaths, both (domestic and international) migration and income factors play a crucial role in explaining spatial differences of COVID-19 death counts across counties. The local coefficient of determination (R2) values derived from the GWR and MGWR models are found very high over the Wisconsin-Indiana-Michigan (the Great Lake) region, as well as several parts of Texas, California, Mississippi and Arkansas.


title: A more Pragmatic Implementation of the Lock-free, Ordered, Linked List

abstract: The lock-free, ordered, linked list is an important, standard example of a concurrent data structure. An obvious, practical drawback of textbook implementations is that failed compare-and-swap (CAS) operations lead to retraversal of the entire list (retries), which is particularly harmful for such a linear-time data structure. We alleviate this drawback by first observing that failed CAS operations under some conditions do not require a full retry, and second by maintaining approximate backwards pointers that are used to find a closer starting position in the list for operation retry. Experiments with both a worst-case deterministic benchmark, and a standard, randomized, mixed-operation throughput benchmark on three shared-memory systems (Intel Xeon, AMD EPYC, SPARC-T5) show practical improvements ranging from significant, to dramatic, several orders of magnitude.