title: GP4P4: Enabling Self-Programming Networks

abstract: Recent advances in programmable switches have enabled network operators to build high-speed customized network functions. Although this is an important step towards self-* networks, operators are now faced with the burden of learning a new language and maintaining a repository of network function code. Inspired by the Intent-Based Networking paradigm, we propose a new framework, GP4P4: a genetic programming approach able to autonomously generate programs for P4-programmable switches directly from network intents. We demonstrate that GP4P4 is able to generate various small network functions in up to a few minutes; an important first step towards realizing the vision of `Self-Driving' networks.


title: On the Optimality of Reconfigurable Intelligent Surfaces (RISs): Passive Beamforming, Modulation, and Resource Allocation

abstract: Reconfigurable intelligent surfaces (RISs) have recently emerged as a promising technology that can achieve high spectrum and energy efficiency for future wireless networks by integrating a massive number of low-cost and passive reflecting elements. An RIS can manipulate the properties of an incident wave, such as the frequency, amplitude, and phase, and, then, reflect this manipulated wave to a desired destination, without the need for complex signal processing. In this paper, the asymptotic optimality of achievable rate in a downlink RIS system is analyzed under a practical RIS environment with its associated limitations. In particular, a passive beamformer that can achieve the asymptotic optimal performance by controlling the incident wave properties is designed, under a limited RIS control link and practical reflection coefficients. In order to increase the achievable system sum-rate, a modulation scheme that can be used in an RIS without interfering with existing users is proposed and its average symbol error ratio is asymptotically derived. Moreover, a new resource allocation algorithm that jointly considers user scheduling and power control is designed, under consideration of the proposed passive beamforming and modulation schemes. Simulation results show that the proposed schemes are in close agreement with their upper bounds in presence of a large number of RIS reflecting elements thereby verifying that the achievable rate in practical RISs satisfies the asymptotic optimality.


title: ConfusionFlow: A model-agnostic visualization for temporal analysis of classifier confusion

abstract: Classifiers are among the most widely used supervised machine learning algorithms. Many classification models exist, and choosing the right one for a given task is difficult. During model selection and debugging, data scientists need to assess classifiers' performances, evaluate their learning behavior over time, and compare different models. Typically, this analysis is based on single-number performance measures such as accuracy. A more detailed evaluation of classifiers is possible by inspecting class errors. The confusion matrix is an established way for visualizing these class errors, but it was not designed with temporal or comparative analysis in mind. More generally, established performance analysis systems do not allow a combined temporal and comparative analysis of class-level information. To address this issue, we propose ConfusionFlow, an interactive, comparative visualization tool that combines the benefits of class confusion matrices with the visualization of performance characteristics over time. ConfusionFlow is model-agnostic and can be used to compare performances for different model types, model architectures, and/or training and test datasets. We demonstrate the usefulness of ConfusionFlow in a case study on instance selection strategies in active learning. We further assess the scalability of ConfusionFlow and present a use case in the context of neural network pruning.


title: Lattice QCD matrix elements for the ${B_s^0-\bar{B}_s^0}$ width difference beyond leading order

abstract: Predicting the $B_s^0-\bar{B}_s^0$ width difference $\Delta\Gamma_s$ relies on the heavy quark expansion and on hadronic matrix elements of $\Delta B=2$ operators. We present the first lattice QCD results for matrix elements of the dimension-7 operators $R_{2,3}$ and linear combinations $\tilde{R}_{2,3}$ using nonrelativistic QCD for the bottom quark and a highly improved staggered quark (HISQ) action for the strange quark. Computations use MILC ensembles of gauge field configuations with $2+1+1$ flavors of sea quarks with the HISQ discretization, including lattices with physically light up/down quark masses. We discuss features unique to calculating matrix elements of these operators and analyze uncertainties from series truncation, discretization, and quark mass dependence. Finally we report the first Standard Model determination of $\Delta\Gamma_s$ using lattice QCD results for all hadronic matrix elements through $\mathcal{O}(1/m_b)$. The main result of our calculations yields the $1/m_b$ contribution $\Delta \Gamma_{1/m_b} = -0.022(10)~\mathrm{ps}^{-1}$. Adding this to the leading order contribution, the Standard Model prediction is $\Delta \Gamma_s = 0.092(14)~\mathrm{ps}^{-1}$.


title: Generic predictions of output probability based on complexities of inputs and outputs

abstract: For a broad class of input-output maps, arguments based on the coding theorem from algorithmic information theory (AIT) predict that simple (low Kolmogorov complexity) outputs are exponentially more likely to occur upon uniform random sampling of inputs than complex outputs are. Here, we derive probability bounds that are based on the complexities of the inputs as well as the outputs, rather than just on the complexities of the outputs. The more that outputs deviate from the coding theorem bound, the lower the complexity of their inputs. Our new bounds are tested for an RNA sequence to structure map, a finite state transducer and a perceptron. These results open avenues for AIT to be more widely used in physics.


title: Simple holographic models of black hole evaporation

abstract: Several recent papers have shown a close relationship between entanglement wedge reconstruction and the unitarity of black hole evaporation in AdS/CFT. The analysis of these papers however has a rather puzzling feature: all calculations are done using bulk dynamics which are essentially those Hawking used to predict information loss, but applying ideas from entanglement wedge reconstruction seems to suggest a Page curve which is consistent with information conservation. Why should two different calculations in the same model give different answers for the Page curve? In this note we present a new pair of models which clarify this situation. Our first model gives a holographic illustration of unitary black hole evaporation, in which the analogue of the Hawking radiation purifies itself as expected, and this purification is reproduced by the entanglement wedge analysis. Moreover a smooth black hole interior persists until the last stages the evaporation process. Our second model gives an alternative holographic interpretation of the situation where the bulk evolution leads to information loss: unlike in the models proposed so far, this bulk information loss is correctly reproduced by the entanglement wedge analysis. This serves as an illustration that quantum extremal surfaces are in some sense kinematic: the time-dependence of the entropy they compute depends on the choice of bulk dynamics. In both models no bulk quantum corrections need to be considered: classical extremal surfaces are enough to do the job. We argue that our first model is the one which gives the right analogy for what actually happens to evaporating black holes, but we also emphasize that any complete resolution of the information problem will require an understanding of non-perturbative bulk dynamics.


title: The extended Main-Sequence Turnoff of the Milky Way open cluster Collinder 347

abstract: We made use of the Gaia DR2 archive to comprehensively study the Milky Way open cluster Collinder 347, known until now as a very young object of solar metal-content. However, the G versus G_BP-G_RP colour-magnitude diagram (CMD) of bonafide probable cluster members, selected on the basis of individual stellar proper motions, their spatial distribution and placement in the CMD, reveals the existence of a Hyades-like age open cluster (log(t /yr) = 8.8) of moderately metal-poor chemical content ([Fe/H] = -0.4 dex), with a present-day mass of 3.3x10^3 Mo. The cluster exhibits an extended Main-Sequence turnoff (eMSTO) of nearly 500 Myr, while that computed assuming Gaussian distributions from photometric errors, stellar binarity, rotation and metallicity spread yields an eMSTO of ~340 Myr. Such an age difference points to the existence within the cluster of stellar populations with different ages.


title: Generalized DC loop current attack against the KLJN secure key exchange scheme

abstract: A new attack against the Kirchhoff Law Johnson Noise (KLJN) secure key distribution system is studied with unknown parasitic DC voltage sources at both Alices and Bobs ends. This paper is the generalization of our earlier investigation with a single end parasitic source. Under the assumption that Eve does not know the values of the parasitic sources, a new attack, utilizing the current generated by the parasitic dc voltage sources, is introduced. The attack is mathematically analyzed and demonstrated by computer simulations. Simple defense methods against the attack are shown. The earlier defense method based solely on the comparison of current/voltage data at Alice's and Bob's terminals is useless here since the wire currents and voltages are equal at both ends. However, the more expensive version of the earlier defense method, which is based on in situ system simulation and comparison with measurements, works efficiently.


title: Eradicating Attacks on the Internal Network with Internal Network Policy

abstract: In this paper we present three attacks on private internal networks behind a NAT and a corresponding new protection mechanism, Internal Network Policy, to mitigate a wide range of attacks that penetrate internal networks behind a NAT. In the attack scenario, a victim is tricked to visit the attacker's website, which contains a malicious script that lets the attacker access the victim's internal network in different ways, including opening a port in the NAT or sending a sophisticated request to local devices. The first attack utilizes DNS Rebinding in a particular way, while the other two demonstrate different methods of attacking the network, based on application security vulnerabilities. Following the attacks, we provide a new browser security policy, Internal Network Policy (INP), which protects against these types of vulnerabilities and attacks. This policy is implemented in the browser just like Same Origin Policy (SOP) and prevents malicious access to internal resources by external entities.


title: An efficient floating point multiplier design for high speed applications using Karatsuba algorithm and Urdhva-Tiryagbhyam algorithm

abstract: Floating point multiplication is a crucial operation in high power computing applications such as image processing, signal processing etc. And also multiplication is the most time and power consuming operation. This paper proposes an efficient method for IEEE 754 floating point multiplication which gives a better implementation in terms of delay and power. A combination of Karatsuba algorithm and Urdhva-Tiryagbhyam algorithm (Vedic Mathematics) is used to implement unsigned binary multiplier for mantissa multiplication. The multiplier is implemented using Verilog HDL, targeted on Spartan-3E and Virtex-4 FPGA.


title: Protein recruitment through indirect mechanochemical interactions

abstract: Some of the key proteins essential for important cellular processes are capable of recruiting other proteins from the cytosol to phospholipid membranes. The physical basis for this cooperativity of binding is, surprisingly, still unclear. Here, we suggest a general feedback mechanism that explains cooperativity through mechanochemical coupling mediated by the mechanical properties of phospholipid membranes. Our theory predicts that protein recruitment, and therefore also protein pattern formation, involves membrane deformation, and is strongly affected by membrane composition.


title: Deformations of calibrated submanifolds with boundary

abstract: We review some results concerning the deformations of calibrated minimal submanifolds which occur in Riemannian manifolds with special holonomy. The calibrated submanifolds are assumed compact with a non-empty boundary which is constrained to move in a particular fixed submanifold. The results extend McLean's deformation theory previously developed for closed compact submanifolds.


title: Deletion-contraction triangles for Hausel-Proudfoot varieties

abstract: To a graph, Hausel and Proudfoot associate two complex manifolds, B and D, which behave, respectively like moduli of local systems on a Riemann surface, and moduli of Higgs bundles. For instance, B is a moduli space of microlocal sheaves, which generalize local systems, and D carries the structure of a complex integrable system. We show the Euler characteristics of these varieties count spanning subtrees of the graph, and the point-count over a finite field for B is a generating polynomial for spanning subgraphs. This polynomial satisfies a deletion-contraction relation, which we lift to a deletion-contraction exact triangle for the cohomology of B. There is a corresponding triangle for D. Finally, we prove B and D are diffeomorphic, that the diffeomorphism carries the weight filtration on the cohomology of B to the perverse Leray filtration on the cohomology of D, and that all these structures are compatible with the deletion-contraction triangles.


title: Exponential synchronization of Kuramoto oscillators with time delayed coupling

abstract: We discuss the asymptotic frequency synchronization for the non-identical Kuramoto oscillators with time delayed interactions. We provide explicit lower bound on the coupling strength and upper bound on time delay in terms of initial configurations ensuring exponential synchronization. This generalizes not only the frequency synchronization estimate by Choi et al. [Physica D, 241, (2012), 735-754] for the non-identical Kuramoto oscillators without time delays but also improves previous result by Schmidt et al. [Automatica, 48, (2012), 3008-3017] in the case of homogeneous time delays where the initial phase diameter is assumed to be less than ${\pi}/2$. The proof relies on a Lyapunov functional approach.


title: Physical Design Obfuscation of Hardware: A Comprehensive Investigation of Device- and Logic-Level Techniques

abstract: The threat of hardware reverse engineering is a growing concern for a large number of applications. A main defense strategy against reverse engineering is hardware obfuscation. In this paper, we investigate physical obfuscation techniques, which perform alterations of circuit elements that are difficult or impossible for an adversary to observe. The examples of such stealthy manipulations are changes in the doping concentrations or dielectric manipulations. An attacker will, thus, extract a netlist, which does not correspond to the logic function of the device-under-attack. This approach of camouflaging has garnered recent attention in the literature. In this paper, we expound on this promising direction to conduct a systematic end-to-end study of the VLSI design process to find multiple ways to obfuscate a circuit for hardware security. This paper makes three major contributions. First, we provide a categorization of the available physical obfuscation techniques as it pertains to various design stages. There is a large and multidimensional design space for introducing obfuscated elements and mechanisms, and the proposed taxonomy is helpful for a systematic treatment. Second, we provide a review of the methods that have been proposed or in use. Third, we present recent and new device and logic-level techniques for design obfuscation. For each technique considered, we discuss feasibility of the approach and assess likelihood of its detection. Then we turn our focus to open research questions, and conclude with suggestions for future research directions.


title: Adversarially Robust Few-Shot Learning: A Meta-Learning Approach

abstract: Previous work on adversarially robust neural networks for image classification requires large training sets and computationally expensive training procedures. On the other hand, few-shot learning methods are highly vulnerable to adversarial examples. The goal of our work is to produce networks which both perform well at few-shot classification tasks and are simultaneously robust to adversarial examples. We develop an algorithm, called Adversarial Querying (AQ), for producing adversarially robust meta-learners, and we thoroughly investigate the causes for adversarial vulnerability. Moreover, our method achieves far superior robust performance on few-shot image classification tasks, such as Mini-ImageNet and CIFAR-FS, than robust transfer learning.


title: Learning Continuous 3D Reconstructions for Geometrically Aware Grasping

abstract: Deep learning has enabled remarkable improvements in grasp synthesis for previously unseen objects from partial object views. However, existing approaches lack the ability to explicitly reason about the full 3D geometry of the object when selecting a grasp, relying on indirect geometric reasoning derived when learning grasp success networks. This abandons explicit geometric reasoning, such as avoiding undesired robot object collisions. We propose to utilize a novel, learned 3D reconstruction to enable geometric awareness in a grasping system. We leverage the structure of the reconstruction network to learn a grasp success classifier which serves as the objective function for a continuous grasp optimization. We additionally explicitly constrain the optimization to avoid undesired contact, directly using the reconstruction. We examine the role of geometry in grasping both in the training of grasp metrics and through 96 robot grasping trials. Our results can be found on https://sites.google.com/view/reconstruction-grasp/.


title: Enhancing the Spatio-Temporal Observability of Residential Loads

abstract: Enhancing the spatio-temporal observability of residential loads is crucial for achieving secure and efficient operations in distribution systems with increasing penetration of distributed energy resources (DERs). This paper presents a joint inference framework for residential loads by leveraging the real-time measurements from distribution-level sensors. Specifically, smart meter data is available for almost every load with unfortunately low temporal resolution, while distribution synchrophasor data is at very fast rates yet available at limited locations. By combining these two types of data with respective strengths, the problem is cast as a matrix recovery one with much less number of observations than unknowns. To improve the recovery performance, we introduce two regularization terms to promote a low rank plus sparse structure of the load matrix via a difference transformation. Accordingly, the recovery problem can be formulated as a convex optimization one which is efficiently solvable. Numerical tests using real residential load data demonstrate the effectiveness of our proposed approaches in identifying appliance activities and recovering the PV output profiles.


title: A Blueprint for Interoperable Blockchains

abstract: Research in blockchain systems has mainly focused on improving security and bridging the performance gaps between blockchains and databases. Despite many promising results, we observe a worrying trend that the blockchain landscape is fragmented in which many systems exist in silos. Apart from a handful of general-purpose blockchains, such as Ethereum or Hyperledger Fabric, there are hundreds of others designed for specific applications and typically do not talk to each other. In this paper, we describe our vision of interoperable blockchains. We argue that supporting interaction among different blockchains requires overcoming challenges that go beyond data standardization. The underlying problem is to allow smart contracts running in different blockchains to communicate. We discuss three open problems: access control, general cross-chain transactions, and cross-chain communication. We describe partial solutions to some of these problems in the literature. Finally, we propose a novel design to overcome these challenges.


title: Visibility and Line-Of-Sight Extinction Estimates in Gale Crater during the 2018/MY34 Global Dust Storm

abstract: Northern line-of-sight extinction within Gale Crater during the 2018 global dust storm was monitored daily using MSL's Navcam. Additional observations with Mastcam (north) and Navcam (all directions) were obtained at a lower cadence. Using feature identification and geo-referencing, extinction was estimated in all possible directions. Peak extinction of $>1.1$ km$^{-1}$ was measured between sols 2086 and 2090, an order of magnitude higher than previous maxima. Northern and western directions show an initial decrease, followed by a secondary peak in extinction, not seen in column opacity measurements. Due to foreground topography, eastern direction results are provided only as limits, and southern results were indeterminable. Mastcam red and green filter results agree well, but blue filter results show higher extinctions, likely due to low signal-to-noise. Morning results are systematically higher than afternoon results, potentially indicative of atmospheric mixing.


title: Stability and dynamics of in-plane skyrmions in collinear ferromagnets

abstract: We study the emergence and dynamics of in-plane skyrmions in collinear ferromagnetic heterostructures. We present a minimal energy model for this class of magnetic textures, determine the crystal symmetries compatible with it and propose material candidates, based on symmetries only, for the observation of these topological solitons. We calculate exact solutions of the energy model for in-plane skyrmions in the absence of dipolar interactions at critical coupling, the latter defined by the relations $H = K$ and $D = \sqrt{AK}$ for the strength of the external magnetic field and the Dzyaloshinskii coupling constant, respectively, with $K$ and $A$ being the anisotropy constant and the exchange stiffness of the material. Through micromagnetic simulations, we demonstrate the possibility of in-plane skyrmion production via i) the motion of domain walls through a geometrical constriction and ii) shedding from a magnetic impurity driven both by spin-transfer torques. In-plane skyrmion dynamics triggered by spin-orbit torques are also investigated analytically and numerically. Our findings point towards the possibility of designing racetracks for in-plane skyrmions, whose speed could be tuned by adjusting the angle between the charge current and the uniform background magnetization; in particular, the speed is maximum for currents parallel to the easy axis and becomes zero for currents transverse to it.


title: Three variations on a theme by Fibonacci

abstract: Several variants of the classic Fibonacci inflation tiling are considered in an illustrative fashion, in one and in two dimensions, with an eye on changes or robustness of diffraction and dynamical spectra. In one dimension, we consider extension mechanisms of deterministic and of stochastic nature, while we look at direct product variations in a planar extension. For the pure point part, we systematically employ a cocycle approach that is based on the underlying renormalisation structure. It allows explicit calculations, particularly in cases where one meets regular model sets with Rauzy fractals as windows.


title: Existence of multiple closed CMC hypersurfaces with small mean curvature

abstract: Let $(M^{n+1},g)$ be a closed Riemannian manifold, $n+1\geq 3$. We will prove that for all $m \in \mathbb{N}$, there exists $c^{*}(m)>0$, which depends on $g$, such that if $0<c<c^{*}(m)$, $(M,g)$ contains at least $m$ many closed $c$-CMC hypersurfaces with optimal regularity. More quantitatively, there exists a constant $\gamma_0$, depending on $g$, such that for all $c>0$, there exist at least $\gamma_0c^{-\frac{1}{n+1}}$ many closed $c$-CMC hypersurfaces (with optimal regularity) in $(M,g)$. This extends the theorem of Zhou and Zhu, where they proved the existence of at least one closed $c$-CMC hypersurface in $(M,g)$.


title: Entropy of absorbed Markov chains

abstract: We consider a strictly substochastic matrix or an stochastic matrix with absorbing states. By using quasi-stationary distributions one shows there is a canonical associated stationary Markov chain. Based upon $2-$stringing representation of the resurrected chain we supply a stationary representation of the killed and the absorbed chains. The entropies of these representations has a clear meaning when one identifies the probability measure of natural factors. The balance between the entropies of these representations and the canonical chain, serves to check the suitability of the whole construction.


title: Sensor Networks in Healthcare: Ensuring Confidentiality and User Anonymity in WBAN

abstract: Wireless body area network(WBAN) is becoming more popular in recent years. Security and privacy of this network is the major concern for the researchers. Most of the WBAN sensors currently available in the market uses Bluetooth Low Energy (BLE) protocol for connection. But the BLE protocol has an inherent security flaw due to its weak pairing protocol which can be easily be exploited by an attacker. In this paper, a different pairing protocol based on Lightweight Anonymous Authentication Protocol (LWAA) is proposed. Proposed protocol has a 3.8% power overhead over traditional BLE. But this is a very small price to pay if we consider all the benefits it brings to the system.


title: Sensitivity to Atypical Tau Initiated Air Showers For a High-Altitude Optical Cherenkov Detector

abstract: The ANITA collaboration has recently announced the supposed observation of two upward going cosmic ray showers at earth emergence angles $27^{\circ}$ and $35^{\circ}$ with reconstructed energy $\sim$0.6~EeV. Upward air showers (UAS) are expected from tau leptons resulting from the interaction of astrophysical neutrinos inside the Earth. However, at emergence angles larger than $20^{\circ}$, the probability of tau emergence from a neutrino is less than $10^{-7}$, which makes a standard model explanation for these signals difficult. If confirmed by other experiments, these energetic events would strengthen the argument for physics beyond the standard model. Both the proposed EUSO-SPB2 and the POEMMA instruments will be equipped with optical Cherenkov detectors in order to measure the Cherenkov emission from UAS, which, if aimed low enough below the horizon, could, in principle, capture these events as well. An observation in the Cherenkov channel would help to rule out anthropogenic and other explanations for these events. We present here the sensitivity to the ANITA anamolous events for a balloon based and a satellite based Cherenkov detector, as could be realized in the upcoming EUSO-SPB2 mission and the proposed POEMMA mission, respectively.


title: Non-negative Tensor Patch Dictionary Approaches for Image Compression and Deblurring Applications

abstract: In recent work (Soltani, Kilmer, Hansen, BIT 2016), an algorithm for non-negative tensor patch dictionary learning in the context of X-ray CT imaging and based on a tensor-tensor product called the $t$-product (Kilmer and Martin, 2011) was presented. Building on that work, in this paper, we use of non-negative tensor patch-based dictionaries trained on other data, such as facial image data, for the purposes of either compression or image deblurring. We begin with an analysis in which we address issues such as suitability of the tensor-based approach relative to a matrix-based approach, dictionary size and patch size to balance computational efficiency and qualitative representations. Next, we develop an algorithm that is capable of recovering non-negative tensor coefficients given a non-negative tensor dictionary. The algorithm is based on a variant of the Modified Residual Norm Steepest Descent method. We show how to augment the algorithm to enforce sparsity in the tensor coefficients, and note that the approach has broader applicability since it can be applied to the matrix case as well. We illustrate the surprising result that dictionaries trained on image data from one class can be successfully used to represent and compress image data from different classes and across different resolutions. Finally, we address the use of non-negative tensor dictionaries in image deblurring. We show that tensor treatment of the deblurring problem coupled with non-negative tensor patch dictionaries can give superior restorations as compared to standard treatment of the non-negativity constrained deblurring problem.


title: Doubly-Efficient Pseudo-Deterministic Proofs

abstract: In [20] Goldwasser, Grossman and Holden introduced pseudo-deterministic interactive proofs for search problems where a powerful prover can convince a probabilistic polynomial time verifier that a solution to a search problem is canonical. They studied search problems for which polynomial time algorithms are not known and for which many solutions are possible. They showed that whereas there exists a constant round pseudo deterministic proof for graph isomorphism where the canonical solution is the lexicographically smallest isomorphism, the existence of pseudo-deterministic interactive proofs for NP-hard problems would imply the collapse of the polynomial time hierarchy. In this paper, we turn our attention to studying doubly-efficient pseudo-deterministic proofs for polynomial time search problems: pseudo-deterministic proofs with the extra requirement that the prover runtime is polynomial and the verifier runtime to verify that a solution is canonical is significantly lower than the complexity of finding any solution, canonical or otherwise. Naturally this question is particularly interesting for search problems for which a lower bound on its worst case complexity is known or has been widely conjectured. We show doubly-efficient pseudo-deterministic algorithms for a host of natural problems whose complexity has long been conjectured. In particular, we show a doubly efficient pseudo-deterministic NP proof for linear programming, 3-SUM and problems reducible to 3-SUM, the hitting set problem, and the Zero Weight Triangle problem and show a doubly-efficient pseudo-deterministic MA proof for the Orthogonal Vectors problem and the $k$-Clique problem.


title: Spinor symmetries and underlying properties

abstract: By exploring a spinor space whose elements carry a spin 1/2 representation of the Lorentz group and satisfy the the Fierz-Pauli-Kofink identities we show that certain symmetries operations form a Lie group. Moreover, we discuss the reflex of the Dirac dynamics in the spinor space. In particular, we show that the usual dynamics for massless spinors in the spacetime is related to an incompressible fluid behavior in the spinor space.


title: Granular Aluminum Meandered Superinductors for Quantum Circuits

abstract: We have designed superinductors made of strongly disordered superconductors for implementation in "hybrid" superconducting quantum circuits. The superinductors have been fabricated as meandered nanowires made of granular Aluminum films. Optimization of the device geometry enabled realization of superinductors with the inductance $\sim 1 {\mu}H$ and the self-resonance frequency over 3 GHz. These compact superinductors are attractive for a wide range of applications, from superconducting circuits for quantum computing to microwave elements of cryogenic parametric amplifiers and kinetic-inductance photon detectors.


title: Scalar bosons with Coulomb potentials in a cosmic string background: Scattering and bound states

abstract: The relativistic quantum motion of scalar bosons under the influence of a full vector (minimal $A^{\mu}$ and nonminimal $X^{\mu}$) and scalar ($V_{s}$) interactions embedded in the background of a cosmic string is explored in the context of the Klein-Gordon equation. Considering Coulomb interactions, the effects of this topological defect in equation of motion, phase shift and S-matrix are analyzed and discussed. Bound-state solutions are obtained from poles of the S-matrix and it is shown that bound-state solutions are possible only for a restrict range of coupling constants.


title: SummAE: Zero-Shot Abstractive Text Summarization using Length-Agnostic Auto-Encoders

abstract: We propose an end-to-end neural model for zero-shot abstractive text summarization of paragraphs, and introduce a benchmark task, ROCSumm, based on ROCStories, a subset for which we collected human summaries. In this task, five-sentence stories (paragraphs) are summarized with one sentence, using human summaries only for evaluation. We show results for extractive and human baselines to demonstrate a large abstractive gap in performance. Our model, SummAE, consists of a denoising auto-encoder that embeds sentences and paragraphs in a common space, from which either can be decoded. Summaries for paragraphs are generated by decoding a sentence from the paragraph representations. We find that traditional sequence-to-sequence auto-encoders fail to produce good summaries and describe how specific architectural choices and pre-training techniques can significantly improve performance, outperforming extractive baselines. The data, training, evaluation code, and best model weights are open-sourced.


title: Integral Models for Spaces via the Higher Frobenius

abstract: We give a fully faithful integral model for spaces in terms of $\mathbb{E}_{\infty}$-ring spectra and the Nikolaus-Scholze Frobenius. The key technical input is the development of a homotopy coherent Frobenius action on a certain subcategory of $p$-complete $\mathbb{E}_{\infty}$-rings for each prime $p$. Using this, we show that the data of a simply connected finite complex $X$ is the data of its Spanier-Whitehead dual as an $\mathbb{E}_{\infty}$-ring together with a trivialization of the Frobenius action after completion at each prime. In producing the above Frobenius action, we explore two ideas which may be of independent interest. The first is a more general action of Frobenius in equivariant homotopy theory; we show that a version of Quillen's $Q$-construction acts on the $\infty$-category of $\mathbb{E}_{\infty}$-rings with "genuine equivariant multiplication," which we call global algebras. The second is a "pre-group-completed" variant of algebraic $K$-theory which we call partial $K$-theory. We develop the notion of partial $K$-theory and give a computation of the partial $K$-theory of $\mathbb{F}_p$ up to $p$-completion.


title: A unified error analysis of HDG methods for the static Maxwell equations

abstract: We propose a framework that allows us to analyze different variants of HDG methods for the static Maxwell equations using one simple analysis. It reduces all the work to the construction of projections that best fit the structures of the approximation spaces. As applications, we analyze four variants of HDG methods (denoted by B, H, B+, H+), where two of them are known (variants H, B+) and the other two are new (variants H+, B). Under certain regularity assumption, we show that all the four variants are optimally convergent and that variants B+ and H+ achieve superconvergence without post-processing. For the two known variants, we prove their optimal convergence under weaker requirements of the meshes and the stabilization functions thanks to the new analysis techniques being introduced. For solution with low-regularity, we give an analysis to these methods and investigate the effect of different stabilization functions on the convergence. At the end, we provide numerical experiments to support the analysis.


title: The number of representations of $n$ as a growing number of squares

abstract: Let $r_{k}(n)$ denote the number of representations of the integer $n$ as a sum of $k$ squares. In this paper, we give an asymptotic for $r_{k}(n)$ when $n$ grows linearly with $k$. As a special case, we find that \[ r_{n}(n) \sim \frac{B \cdot A^{n}}{\sqrt{n}}, \] with $B \approx 0.2821$ and $A \approx 4.133$.


title: Anisotropic polymer nanoparticles with controlled dimensions from the morphological transformation of isotropic seeds

abstract: Understanding and controlling self-assembly processes at multiple length scales is vital if we are to design and create advanced materials. In particular, our ability to organise matter on the nanoscale has advanced considerably, but still lags far behind our skill in manipulating individual molecules. New tools allowing controlled nanoscale assembly are sorely needed, as well as the physical understanding of how they work. Here, we report a new method for the production of highly anisotropic nanoparticles with controlled dimensions based on a morphological transformation process (MORPH for short) driven by the formation of supramolecular bonds. We present a minimal physical model for MORPH which suggests it will be generalisable to a large number of polymer/nanoparticle systems. We envision MORPH becoming a valuable tool for controlling nanoscale self-assembly, and for the production of functional nanostructures for diverse applications.


title: Quantum efficiency enhancement of bialkali photocathodes by an atomically thin layer on substrates

abstract: We report quantum efficiency (QE) enhancements in accelerator technology relevant antimonide photocathodes (K2CsSb) by interfacing them with atomically thin two-dimensional (2D) crystal layers. The enhancement occurs in a reflection mode, when a 2D crystal is placed in between the photocathodes and optically reflective substrates. Specifically, the peak QE at 405 nm (3.1 eV) increases by a relative 10 percent, while the long wavelength response at 633 nm (2.0 eV) increases by a relative 36 percent on average and up to 80 percent at localized hot spot regions when photocathodes are deposited onto graphene coated stainless steel. There is a similar effect for photocathodes deposited on hexagonal boron nitride monolayer coatings using nickel substrates. The enhancement does not occur when reflective substrates are replaced with optically transparent sapphire. Optical transmission, X-ray diffraction (XRD) and X-ray fluorescence (XRF) revealed that thickness, crystal orientation, quality and elemental stoichiometry of photocathodes do not appreciably change due to 2D crystal coatings. These results suggest optical interactions are responsible for the QE enhancements when 2D crystal sublayers are present on reflective substrates, and provide a pathway toward a simple method of QE enhancement in semiconductor photocathodes by an atomically thin 2D crystal on substrates.


title: Parameter estimation for SPDEs based on discrete observations in time and space

abstract: Parameter estimation for a parabolic linear stochastic partial differential equation in one space dimension is studied observing the solution field on a discrete grid in a fixed bounded domain. Considering an infill asymptotic regime in both coordinates, we prove central limit theorems for realized quadratic variations based on temporal and spatial increments as well as on double increments in time and space. Resulting method of moments estimators for the diffusivity and the volatility parameter inherit the asymptotic normality and can be constructed robustly with respect to the sampling frequencies in time and space. Upper and lower bounds reveal that in general the optimal convergence rate for joint estimation of the parameters is slower than the usual parametric rate. The theoretical results are illustrated in a numerical example.


title: Reviewing National Cybersecurity Awareness for Users and Executives in Africa

abstract: There is an unprecedented increase in cybercrime globally observed over the last years. One of the regions driving this increase is Africa, where significant financial losses are reported. Yet, citizens of African countries are not aware of the risks present in cyberspace. The design and implementation of national awareness campaigns by African countries to address this problem are in their infancy state, mainly due to the absence of capacity building efforts. As part of the Global Cybersecurity Capacity Centre (GCSCC) programme, we conducted a series of focus groups in six African countries, in order to assess their cybersecurity posture, a critical component of which is user and executive awareness of cyber risks. This paper is an extended version of previous work where an initial analysis of awareness for cyber risk in African countries was presented. In this extended version, we reflect on best practice approaches for developing national awareness campaigns and use these as a framework to analyse qualitative data from the focus groups. We discuss the current state of African countries with regards to the implementation of national cybersecurity awareness campaigns for. users and executives, the main obstacles in combating cybercrime and conclude with recommendations on how African countries can identify and prioritise activities to increase their capacity regarding cybersecurity awareness.


title: Threshold singularities of the spectral shift function for geometric perturbations of magnetic Hamiltonians

abstract: We consider the 3D Schr\"odinger operator $H_0$ with constant magnetic field $B$ of scalar intensity $b>0$, and its perturbations $H_+$ (resp., $H_-$) obtained by imposing Dirichlet (resp., Neumann) conditions on the boundary of the bounded domain $\Omega_{\rm in} \subset {\mathbb R}^3$. We introduce the Krein spectral shift functions $\xi(E;H_\pm,H_0)$, $E \geq 0$, for the operator pairs $(H_\pm,H_0)$, and study their singularities at the Landau levels $\Lambda_q : = b(2q+1)$, $q \in {\mathbb Z}_+$, which play the role of thresholds in the spectrum of $H_0$. We show that $\xi(E;H_+,H_0)$ remains bounded as $E \uparrow \Lambda_q$, $q \in {\mathbb Z}_+$ being fixed, and obtain three asymptotic terms of $\xi(E;H_-,H_0)$ as $E \uparrow \Lambda_q$, and of $\xi(E;H_\pm,H_0)$ as $E \downarrow \Lambda_q$. The first two terms are independent of the perturbation while the third one involves the {\em logarithmic capacity} of the projection of $\Omega_{\rm in}$ onto the plane perpendicular to $B$.


title: Unsupervised Doodling and Painting with Improved SPIRAL

abstract: We investigate using reinforcement learning agents as generative models of images (extending arXiv:1804.01118). A generative agent controls a simulated painting environment, and is trained with rewards provided by a discriminator network simultaneously trained to assess the realism of the agent's samples, either unconditional or reconstructions. Compared to prior work, we make a number of improvements to the architectures of the agents and discriminators that lead to intriguing and at times surprising results. We find that when sufficiently constrained, generative agents can learn to produce images with a degree of visual abstraction, despite having only ever seen real photographs (no human brush strokes). And given enough time with the painting environment, they can produce images with considerable realism. These results show that, under the right circumstances, some aspects of human drawing can emerge from simulated embodiment, without the need for external supervision, imitation or social cues. Finally, we note the framework's potential for use in creative applications.


title: Topological transitions in the configuration space of non-Euclidean origami

abstract: Origami structures have been proposed as a means of creating three-dimensional structures from the micro- to the macroscale, and as a means of fabricating mechanical metamaterials. The design of such structures requires a deep understanding of the kinematics of origami fold patterns. Here, we study the configurations of non-Euclidean origami, folding structures with Gaussian curvature concentrated on the vertices. The kinematics of such structures depends crucially on the sign of the Gaussian curvature. The configuration space of non-intersecting, oriented vertices with positive Gaussian curvature decomposes into disconnected subspaces; there is no pathway between them without tearing the origami. In contrast, the configuration space of negative Gaussian curvature vertices remain connected. This provides a new mechanism by which the mechanics and folding of an origami structure could be controlled.


title: Approximation of the zero-index transmission eigenvalues with a conductive boundary and parameter estimation

abstract: In this paper, we present a Spectral-Galerkin Method to approximate the zero-index transmission eigenvalues with a conductive boundary condition. This is a new eigenvalue problem derived from the scalar inverse scattering problem for an isotropic media with a conductive boundary condition. In our analysis, we will consider the equivalent fourth-order eigenvalue problem where we establish the convergence when the approximation space is the span of finitely many Dirichlet eigenfunctions for the Laplacian. We establish the convergence rate of the spectral approximation by appealing to Weyl's law. Numerical examples for computing the eigenvalues and eigenfunctions for the unit disk and unit square are presented. Lastly, we provide a method for estimating the refractive index assuming the conductivity parameter is either sufficiently large or small but otherwise unknown.


title: Design Space Exploration of Hardware Spiking Neurons for Embedded Artificial Intelligence

abstract: Machine learning is yielding unprecedented interest in research and industry, due to recent success in many applied contexts such as image classification and object recognition. However, the deployment of these systems requires huge computing capabilities, thus making them unsuitable for embedded systems. To deal with this limitation, many researchers are investigating brain-inspired computing, which would be a perfect alternative to the conventional Von Neumann architecture based computers (CPU/GPU) that meet the requirements for computing performance, but not for energy-efficiency. Therefore, neuromorphic hardware circuits that are adaptable for both parallel and distributed computations need to be designed. In this paper, we focus on Spiking Neural Networks (SNNs) with a comprehensive study of information coding methods and hardware exploration. In this context, we propose a framework for neuromorphic hardware design space exploration, which allows to define a suitable architecture based on application-specific constraints and starting from a wide variety of possible architectural choices. For this framework, we have developed a behavioral level simulator for neuromorphic hardware architectural exploration named NAXT. Moreover, we propose modified versions of the standard Rate Coding technique to make trade-offs with the Time Coding paradigm, which is characterized by the low number of spikes propagating in the network. Thus, we are able to reduce the number of spikes while keeping the same neuron's model, which results in an SNN with fewer events to process. By doing so, we seek to reduce the amount of power consumed by the hardware. Furthermore, we present three neuromorphic hardware architectures in order to quantitatively study the implementation of SNNs. These architectures are derived from a novel funnel-like Design Space Exploration framework for neuromorphic hardware.


title: A fast full-wave solver for trans-abdominal high-intensity focused ultrasound treatment planning

abstract: High-intensity focused ultrasound (HIFU) is a promising treatment modality for the non-invasive ablation of pathogenic tissue in many organs. Optimal treatment planning strategies based on high-performance computing methods are expected to form a vital component of a successful clinical outcome in which healthy tissue is preserved and accurate focusing achieved. The practical application of the algorithms informing these strategies depends on the ability to produce fast and accurate full-wave patient-specific simulations, with minimal computational overheads. For realistic clinical scenarios, all simulation methods which employ volumetric meshes require several hours or days to run on a computer cluster. The boundary element method (BEM) is an effective approach for modelling the wave field because only the boundaries of the hard and soft tissue regions require discretisation. A multiple-domain BEM formulation with a novel preconditioner for solving the Helmholtz transmission problem (HTP) is presented in this paper. Numerical experiments are performed to solve HTP in multiple domains comprising: i) human ribs, an abdominal fat layer and liver tissue, ii) a human kidney and a perinephric fat layer, exposed to the acoustic field generated by a HIFU array transducer. The time required to solve the equations associated with these problems on a single workstation is of the order of minutes. These results demonstrate the great potential of this new BEM formulation for rapid and accurate HIFU treatment planning.


title: Thread Homeostasis: Real-Time Anomalous Behavior Detection for Safety-Critical Software

abstract: Safety-critical systems must always have predictable and reliable behavior, otherwise systems fail and lives are put at risk. Even with the most rigorous testing it is impossible to test systems using all possible inputs. Complex software systems will often fail when given novel sets of inputs; thus, safety-critical systems may behave in unintended, dangerous ways when subject to inputs combinations that were not seen in development. Safety critical systems are normally designed to be fault tolerant so they do not fail when given unexpected inputs. Anomaly detection has been proposed as a technique for improving the fault tolerance of safety-critical systems. Past work, however, has been largely limited to behavioral parameter thresholds that miss many kinds of system deviations. Here we propose a novel approach to anomaly detection in fault-tolerant safety critical systems using patterns of messages between threads. This approach is based on techniques originally developed for detecting security violations on systems with UNIX-like system call APIs; here we show that they can be adapted to the constraints of safety critical microkernel-based hard real-time systems. We present the design, implementation, and initial evaluation of tH (thread Homeostasis) implemented on a QNX-based self-driving car platform.


title: Evolutionary timescales from the AGB to the CSPNe phase

abstract: The transition from the asymptotic giant branch (AGB) to the final white dwarf (WD) stage is arguably the least understood phase in the evolution of single low- and intermediate-mass stars ($0.8 \lesssim M_{\rm ZAMS}/M_\odot\lesssim 8...10$). Here we briefly review the progress in the last 50 years of the modeling of stars during the post-AGB phase. We show that although the main features, like the extreme mass dependency of post-AGB timescales were already present in the earliest post-AGB models, the quantitative values of the computed post-AGB timescales changed every time new physics was included in the modeling of post-AGB stars and their progenitors. Then we discuss the predictions and uncertainties of the latest available models regarding the evolutionary timescales of post-AGB stars.


title: Codensity: Isbell duality, pro-objects, compactness and accessibility

abstract: We study codensity monads $T$ induced by (mostly small, mostly dense) full subcategories $A \subset K$. These monads behave quite similarly, we show some connections with the Isbell duality, pro-finite objects and compact spaces. We prove that they are quite unlikely to be accessible. Finally, we introduce the notion of generically idempotent monad and comment its properties.


title: Hydrodynamic Limit of a (2+1)-Dimensional Crystal Growth Model in the Anisotropic KPZ Class

abstract: We study a model, introduced initially by Gates and Westcott to describe crystal growth evolution, which belongs to the Anisotropic KPZ universality class. It can be thought of as a $(2+1)$-dimensional generalisation of the well known (1+1)-dimensional Polynuclear Growth Model (PNG). We show the full hydrodynamic limit of this process i.e the convergence of the random interface height profile after ballistic space-time scaling to the viscosity solution of a Hamilton-Jacobi PDE: $\partial_tu = v(\nabla u)$ with $v$ an explicit non-convex speed function. The convergence holds in the strong almost sure sense.


title: NuSTAR view of Be/X-ray binary pulsar 2S 1417-624 during 2018 giant outburst

abstract: We report the results obtained from a detailed timing and spectral studies of Be/X-ray binary pulsar 2S 1417-624 using data from Swift and NuSTAR observatories. The observations were carried out at the peak of a giant outburst of the pulsar in 2018. X-ray pulsations at 17.475 s were detected in the source light curves up to ~79 keV. The evolution of the pulse profiles with energy was found to be complex. A four-peaked profile at lower energies gradually evolved into a double-peak structure at higher energies. The pulsed fraction of the pulsar, calculated from the NuSTAR observation was found to follow an anti-correlation trend with luminosity as observed during previous giant X-ray outburst studies in 2009. The broadband spectrum of the pulsar is well described by a composite model consisting of a cutoff power law model modified with the interstellar absorption, a thermal blackbody component with a temperature of $\approx$1 keV and a Gaussian function for the 6.4 keV iron emission line. Though the pulsar was observed at the peak of the giant outburst, there was no signature of presence of any cyclotron line feature in the spectrum. The radius of the blackbody emitting region was estimated to be $\approx$2 km, suggesting that the most probable site of its origin is the stellar surface of the neutron star. Physical models were also explored to understand the emission geometry of the pulsar and are discussed in the paper.


title: Modernizing Titan2D, a Parallel AMR Geophysical Flow Code to Support Multiple Rheologies and Extendability

abstract: In this work, we report on strategies and results of our initial approach for modernization of Titan2D code. Titan2D is a geophysical mass flow simulation code designed for modeling of volcanic flows, debris avalanches and landslides over a realistic terrain model. It solves an underlying hyperbolic system of partial differential equations using parallel adaptive mesh Godunov scheme. The following work was done during code refactoring and modernization. To facilitate user input two level python interface was developed. Such design permits large changes in C++ and Python low-level while maintaining stable high-level interface exposed to the end user. Multiple diverged forks implementing different material models were merged back together. Data storage layout was changed from a linked list of structures to a structure of arrays representation for better memory access and in preparation for further work on better utilization of vectorized instruction. Existing MPI parallelization was augmented with OpenMP parallelization. The performance of a hash table used to store mesh elements and nodes references was improved by switching from a linked list for overflow entries to dynamic arrays allowing the implementation of the binary search algorithm. The introduction of the new data layout made possible to reduce the number of hash table look-ups by replacing them with direct use of indexes from the storage class. The modifications lead to 8-9 times performance improvement for serial execution.


title: Non-intersection of transient branching random walks

abstract: Let $G$ be a Cayley graph of a nonamenable group with spectral radius $\rho < 1$. It is known that branching random walk on $G$ with offspring distribution $\mu$ is transient, i.e., visits the origin at most finitely often almost surely, if and only if the expected number of offspring $\bar \mu$ satisfies $\bar \mu \leq \rho^{-1}$. Benjamini and M\"uller (2010) conjectured that throughout the transient supercritical phase $1<\bar{\mu} \leq \rho^{-1}$, and in particular at the recurrence threshold $\bar \mu = \rho^{-1}$, the trace of the branching random walk is tree-like in the sense that it is infinitely-ended almost surely on the event that the walk survives forever. This is essentially equivalent to the assertion that two independent copies of the branching random walk intersect at most finitely often almost surely. We prove this conjecture, along with several other related conjectures made by the same authors. A central contribution of this work is the introduction of the notion of local unimodularity, which we expect to have several further applications in the future.


title: Area Graph: Generation of Topological Maps using the Voronoi Diagram

abstract: Representing a scanned map of the real environment as a topological structure is an important research topic in robotics. Since topological representations of maps save a huge amount of map storage space and online computing time, they are widely used in fields such as path planning, map matching, and semantic mapping. We use a topological map representation, the Area Graph, in which the vertices represent areas and edges represent passages. The Area Graph is developed from a pruned Voronoi Graph, the Topology Graph. We also employ a simple room detection algorithm to compensate the fact that the Voronoi Graph gets unstable in open areas. We claim that our area segmentation method is superior to state-of-the-art approaches in complex indoor environments and support this claim with a number of experiments.


title: Delay-Dependent Output-Feedback Control for Blood Pressure Regulation Using LPV Techniques

abstract: This paper presents a delay-dependent parameter-varying control design approach to address the automated blood pressure regulation problem in the critical patient resuscitation using closed-loop administration of vasopressors. The mean arterial pressure (MAP) response of a patient subject to the intravenous vasoactive drug treatment is modeled as a linear parameter-varying (LPV) model, where varying model parameters and varying time-delay are considered as scheduling parameters of the system. Parameter-dependent Lyapunov-Krasovskii functionals are used to design an output-feedback dynamic controller to satisfy the closed-loop stability and reference MAP tracking requirements. The synthesis conditions are formulated in terms of Linear Matrix Inequalities (LMIs) that characterize the induced $\mathcal{L}_2$-norm performance specification of the closed-loop system. The main objectives of the proposed control method in the presence of limitations posed by the time-varying model parameters and the large time-varying delay are to track the MAP reference command and maintain the blood pressure within the permissible range of commanded set-point, avoid undesirable overshoot and slow response, and to provide a smooth drug injection. Finally, to evaluate the performance of the proposed LPV blood pressure regulation approach, closed-loop simulations are conducted and the results confirm the effectiveness of the proposed control method against various simulated scenarios.


title: A More Complete Phenomenology of Tau Lepton Induced Air Showers

abstract: Many proposed and upcoming experiments seek to observe signals from upward going air showers initiated by tau leptons resulting from neutrino interactions inside the Earth. To save calculation time, event estimations for these observation methods are usually performed while making several assumptions about the showers themselves, which simplifies their rich phenomenology and may or may not lead to inaccuracies in results. Here, we present results of extensive CORSIKA simulations of upward going tau initiated showers in the energy range 1 PeV to 10 EeV. Specifically, we monitor the Cherenkov emission, the charged particle distributions, and the timing of the showers for different geometric configurations. We analyze the impact of the decay length and different decay modes of the tau on particle distributions and compare to primaries usually utilized to simulate a tau shower, such as gammas, electrons, and protons. We also check the accuracy of many of the usual assumptions of these showers and analyze the often ignored muon channel of the tau decay.


title: Real-Time Cubature Kalman Filter Parameter Estimation of Blood Pressure Response Characteristics Under Vasoactive Drugs Administration

abstract: Mathematical modeling and real-time dynamics identification of the mean arterial blood pressure (MAP) response of a patient to vasoactive drug infusion can provide a reliable tool for automated drug administration and therefore, reduce the emergency costs and significantly benefit the patient's MAP regulation in an intensive care unit. To this end, a dynamic first-order linear parameter-varying (LPV) model with varying parameters and varying input delay is considered to capture the MAP response dynamics. Such a model effectively addresses the complexity and the intra- and inter-patient variability of the physiological response. We discretize the model and augment the state vector with model parameters as unknown states of the system and a Bayesian-based multiple-model square root cubature Kalman filtering (MMSRCKF) approach is utilized to estimate the model time-varying parameters. Since, unlike the other model parameters, the input delay cannot be captured by a random-walk process, a multiple-model module with a posterior probability estimation is implemented to provide the delay identification. Validation results confirm the effectiveness of the proposed identification algorithm both in simulation scenarios and also using animal experiment data.


title: Post-Newtonian limit of generalized scalar-torsion theories of gravity

abstract: In this article we derive the post-Newtonian limit of a class of teleparallel theories of gravity, where the action is a free function $L(T,X,Y,\phi)$ of the Torsion scalar $T$ and scalar quantities $X$ and $Y$ built from the dynamical scalar field $\phi$. We restrict the analysis to a massless scalar field in order to use the parameterized post-Newtonian formalism without modifications, such as introducing an effective gravitational constant which depends on the distance between the interacting masses. In particular the results show a class of fully-conservative theories of gravity, where the only non-vanishing parameters are $\gamma$ and $\beta$. For a particular choice of the function $L(T,X,Y,\phi)$ the theory cannot be distinguished from General Relativity in its post-Newtonian approximation.


title: Momentum mappings for subtractions at higher orders in QCD

abstract: Subtraction schemes provide a systematic way to compute fully-differential cross sections beyond the leading order in the strong coupling constant. These methods make singular real-emission corrections integrable in phase space by the addition of suitable counterterms. Such counterterms may be defined using momentum mappings, which are parametrisations of the phase space that factorise the variables that describe the particles becoming unresolved in some infrared or collinear limit from the variables that describe an on-shell phase space for the resolved particles. In this work, we review existing momentum mappings in a unified framework and introduce new ones for final-collinear and soft counterterms. The new mappings work in the presence of massive particles and with an arbitrary number of soft particles or of clusters of collinear particles, making them fit for subtraction methods at any order in perturbation theory. The new mapping for final-collinear counterterms is also used to elucidate relations among existing final-collinear mappings.


title: Characterization of hypersurfaces in four dimensional product spaces via two different Spin$^c$ structures

abstract: The Riemannian product $\mathbb M_1(c_1) \times \mathbb M_2(c_2)$, where $\mathbb M_i(c_i)$ denotes the $2$-dimensional space form of constant sectional curvature $c_i \in \mathbb R$, has two different Spin$^c$ structures carrying each a parallel spinor. The restriction of these two parallel spinor fields to a $3$-dimensional hypersurface $M$ characterizes the isometric immersion of $M$ into $\mathbb M_1(c_1) \times \mathbb M_2(c_2)$. As an application, we prove that totally umbilical hypersurfaces of $\mathbb M_1(c_1) \times \mathbb M_1(c_1)$ and totally umbilical hypersurfaces of $\mathbb M_1(c_1) \times \mathbb M_2(c_2)$ ($c_1 \neq c_2$) having a local structure product, are of constant mean curvature.


title: A Hamiltonian structure of the Isobe-Kakinuma model for water waves

abstract: We consider the Isobe-Kakinuma model for water waves, which is obtained as the system of Euler-Lagrange equations for a Lagrangian approximating Luke's Lagrangian for water waves. We show that the Isobe-Kakinuma model also enjoys a Hamiltonian structure analogous to the one exhibited by V. E. Zakharov on the full water wave problem and, moreover, that the Hamiltonian of the Isobe-Kakinuma model is a higher order shallow water approximation to the one of the full water wave problem.


title: Error Estimates of Reiterated Stokes Systems via Fourier Transform Methods

abstract: In this paper, we are interested in the error estimates of the reiterated Stokes systems in a bounded $C^{1,1}$ domain with Dirichlet boundary conditions. And we have obtained the $O(\varepsilon)$ error estimates for the velocity term and $O(\varepsilon^{1/2})$ error estimates for the pressure term. Compared to the general homogenization of Stokes systems problems, the difficulty in the reiterated homogenization is that we need to handle the different scales of $x$. To overcome this difficulty, we use the Fourier transform methods which was firstly introduced by the author in [10] to separate these different scales. We also note that this method may be adapted to a more general multi-scale homogenization problem.


title: Deep Learning for Communication over Dispersive Nonlinear Channels: Performance and Comparison with Classical Digital Signal Processing

abstract: In this paper, we apply deep learning for communication over dispersive channels with power detection, as encountered in low-cost optical intensity modulation/direct detection (IM/DD) links. We consider an autoencoder based on the recently proposed sliding window bidirectional recurrent neural network (SBRNN) design to realize the transceiver for optical IM/DD communication. We show that its performance can be improved by introducing a weighted sequence estimation scheme at the receiver. Moreover, we perform bit-to-symbol mapping optimization to reduce the bit-error rate (BER) of the system. Furthermore, we carry out a detailed comparison with classical schemes based on pulse-amplitude modulation and maximum likelihood sequence detection (MLSD). Our investigation shows that for a reference 42\,Gb/s transmission, the SBRNN autoencoder achieves a BER performance comparable to MLSD, when both systems account for the same amount of memory. In contrast to MLSD, the SBRNN performance is achieved without incurring a computational complexity exponentially growing with the processed memory.


title: Combinatorially refine a Zagier-Stanley result on products of permutations

abstract: In this paper, we enumerate the pairs of permutations that are long cycles and whose product has a given cycle-type. Our main result is a simple relation concerning the desired numbers for a few related cycle-types. The relation refines a formula of the number of pairs of long cycles whose product has $k$ cycles independently obtained by Zagier and Stanley relying on group characters, and was previously obtained by F\'{e}ray and Vassilieva by counting some colored permutations first and then relying on some algebraic computations in the ring of symmetric functions. Our approach here is simpler and combinatorial.


title: Pion nucleus Drell-Yan process and parton transverse momentum in the pion

abstract: During the INT-18-3 workshop, we presented an analysis of unpolarized Drell-Yan pair production in pion-nucleus scattering with a particular focus into the pion Transverse Momentum Distributions in view of the future Electron Ion Collider. The transverse distributions of the pion calculated in a Nambu--Jona-Lasinio framework, with Pauli-Villars regularization, were used. The pion Transverse Momentum Distributions evolved up to next-to-leading logarithmic accuracy is then tested against the transverse momentum spectrum of dilepton pairs up to a transverse momentum of 2 GeV. We found a fair agreement with available pion-nucleus data. This contribution joins common efforts from the TMD and the pion structure communities for the Electron Ion Collider.


title: Massively Parallel Implicit Equal-Weights Particle Filter for Ocean Drift Trajectory Forecasting

abstract: Forecasting ocean drift trajectories are important for many applications, including search and rescue operations, oil spill cleanup and iceberg risk mitigation. In an operational setting, forecasts of drift trajectories are produced based on computationally demanding forecasts of three-dimensional ocean currents. Herein, we investigate a complementary approach for shorter time scales by using a recent state-of-the-art implicit equal-weights particle filter applied to a simplified ocean model. To achieve this, we present a new algorithmic design for a data-assimilation system in which all components - including the model, model errors, and particle filter - take advantage of massively parallel compute architectures, such as graphical processing units. Faster computations can enable in-situ and ad-hoc model runs for emergency management, and larger ensembles for better uncertainty quantification. Using a challenging test case with near-realistic chaotic instabilities, we run data-assimilation experiments based on synthetic observations from drifting and moored buoys, and analyse the trajectory forecasts for the drifters. Our results show that even sparse drifter observations are sufficient to significantly improve short-term drift forecasts up to twelve hours. With equidistant moored buoys observing only 0.1% of the state space, the ensemble gives an accurate description of the true state after data assimilation followed by a high-quality probabilistic forecast.


title: Microgrid Optimal State Estimation Over IoT Wireless Sensor Networks With Event-Based Measurements

abstract: In a microgrid, real-time state estimation has always been a challenge due to several factors such as the complexity of computations, constraints of the communication network and low inertia. In this paper, a real-time event-based optimal linear state estimator is introduced, which uses the send-on-delta data collection approach over wireless sensors networks and exhibits low computation and communication resources cost. By employing the send-on-delta event-based measurement strategy, the burden over the wireless sensor network is reduced due to the transmission of events only when there is a significant variation in the signals. The state estimator structure is developed based on the linear Kalman filter with the additional steps for the centralized fusion of events data and optimal reconstruction of signals by projection onto convex sets. Also for the practical feasibility analysis, this paper developed an Internet of things prototype platform based on LoRaWAN protocol that satisfies the requirements of the proposed state estimator in a microgrid.


title: Dynamic emergence of fragmenting, exploding cages of irradiated single-walled carbon nanotubes and C60

abstract: Experimental results from irradiated-carbon nanostructures can be partially explained by selective applications of classical damage theories and ad-hoc thermal models by treating the binary atomic collision cascades and multi-atomic thermal spikes as energy-dissipating mechanisms. An information-theoretic model is developed by treating the irradiated single-walled carbon nanotubes and C60 as entropy-generating dissipative structures. The model is based on evaluating the experimental probability distribution functions of the sputtered constituents and components from the irradiated carbon nanostructures that yield their Shannon entropy or information. Three information-based functions of fractal dimension, relative entropy and dynamic emergence are defined and employed to characterize the profiles of self-organizing, information-generating dissipative structures. Fractal dimension determines the space-filling character, relative entropy establishes the distance between any two of the dissipative structures. Dynamic emergence function provides the profile of the emerging sequences. Results derived from the existing theories and thermal models are compared with the information-theoretic dynamic emergence model to comprehensively describe the nature of the dissipative structures in irradiated carbon nanostructures without making apriori assumptions about the energy-dissipating mechanisms.


title: Stationarity of the detrended price return in stock markets

abstract: This paper proposes a governing equation for stock market indexes that accounts for non-stationary effects. This is a linear Fokker-Planck equation (FPE) that describes the time evolution of the probability distribution function (PDF) of the price return. By applying Ito's lemma, this FPE is associated with a stochastic differential equation (SDE) that models the time evolution of the price return in a fashion different from the classical Black-Scholes equation. Both FPE and SDE equations account for a deterministic part or trend, and a stationary, stochastic part as a q-Gaussian noise. The model is validated using the S\&P500 index's data. After removing the trend from the index, we show that the detrended part is stationary by evaluating the Hurst exponent of the multifractal time series, its power spectrum, and its autocorrelation.


title: Guided propagation of extremely intense lasers in plasma via ion motion

abstract: The upcoming $10-100$ petawatt laser facilities may deliver laser pulses with unprecedented intensity of $10^{22}-10^{25}\rm~W cm^{-2}$, which can trigger various nonlinear quantum electrodynamic processes in plasma. For effective laser plasma interactions at such high intensity levels, guided laser propagation is critical. However, this becomes impossible via usual plasma electron response to laser fields due to electron cavitation by the laser ponderomotive force. Here, we find that ion response to the laser fields may effectively guide laser propagation at such high intensity levels. The corresponding conditions of the required ion density distribution and laser power are presented and verified by three-dimensional particle-in-cell simulations. Our theory shall serve as a guide for future experimental design involving ultrahigh intensity lasers.


title: Truncated lognormal distributions and scaling in the size of naturally defined population clusters

abstract: Using population data of high spatial resolution for a region in the south of Europe, we define cities by aggregating individuals to form connected clusters. The resulting cluster-population distributions show a smooth decreasing behavior covering six orders of magnitude. We perform a detailed study of the distributions, using state-of-the-art statistical tools. By means of scaling analysis we rule out the existence of a power-law regime in the low-population range. The logarithmic-coefficient-of-variation test allows us to establish that the power-law tail for high population, characteristic of Zipf's law, has a rather limited range of applicability. Instead, lognormal fits describe the population distributions in a range covering from a few dozens individuals to more than one million (which corresponds to the population of the largest cluster).


title: Automotive Cybersecurity: Foundations for Next-Generation Vehicles

abstract: The automotive industry is experiencing a serious transformation due to a digitalisation process and the transition to the new paradigm of Mobility-as-a-Service. The next-generation vehicles are going to be very complex cyber-physical systems, whose design must be reinvented to fulfil the increasing demand of smart services, both for safety and entertainment purposes, causing the manufacturers' model to converge towards that of IT companies. Connected cars and autonomous driving are the preeminent factors that drive along this route, and they cause the necessity of a new design to address the emerging cybersecurity issues: the "old" automotive architecture relied on a single closed network, with no external communications; modern vehicles are going to be always connected indeed, which means the attack surface will be much more extended. The result is the need for a paradigm shift towards a secure-by-design approach.


title: Resolvent estimates, wave decay, and resonance-free regions for star-shaped waveguides

abstract: Using coordinates $(x,y)\in \mathbb R\times \mathbb R^{d-1}$, we introduce the notion that an unbounded domain in $\mathbb R^d$ is star shaped with respect to $x=\pm \infty$. For such domains, we prove estimates on the resolvent of the Dirichlet Laplacian near the continuous spectrum. When the domain has infinite cylindrical ends, this has consequences for wave decay and resonance-free regions. Our results also cover examples beyond the star-shaped case, including scattering by a strictly convex obstacle inside a straight planar waveguide.


title: Cyclotomic polynomials with prescribed height and prime number theory

abstract: Given any positive integer $n,$ let $A(n)$ denote the height of the $n^{\text{th}}$ cyclotomic polynomial, that is its maximum coefficient in absolute value. It is well known that $A(n)$ is unbounded. We conjecture that every natural number can arise as value of $A(n)$ and prove this assuming that for every pair of consecutive primes $p$ and $p'$ with $p\ge 127$ we have $p'-p<\sqrt{p}+1.$ We also conjecture that every natural number occurs as maximum coefficient of some cyclotomic polynomial and show that this is true if Andrica's conjecture that always $\sqrt{p'}-\sqrt{p}<1$ holds. This is the first time, as far as the authors know, a connection between prime gaps and cyclotomic polynomials is uncovered. Using a result of Heath-Brown on prime gaps we show unconditionally that every natural number $m\le x$ occurs as $A(n)$ value with at most $O_{\epsilon}(x^{3/5+\epsilon})$ exceptions. On the Lindel\"of Hypothesis we show there are at most $O_{\epsilon}(x^{1/2+\epsilon})$ exceptions and study them further by using deep work of Bombieri--Friedlander--Iwaniec on the distribution of primes in arithmetic progressions beyond the square-root barrier.


title: The effect of stellar activity on the spectroscopic stellar parameters of the young solar twin HIP 36515

abstract: Spectroscopic equilibrium allows us to obtain precise stellar parameters in Sun-like stars. It relies on the assumption of the iron excitation and ionization equilibrium. However, several works suggest that magnetic activity may affect chemical abundances of young active stars, calling into question the validity of this widely-used method. We have tested for the first time variations in stellar parameters and chemical abundances for the young solar twin HIP 36515 ($\sim$0.4 Gyr), along its activity cycle. This star has stellar parameters very well established in the literature and we estimated its activity cycle in $\sim$6 years. Using HARPS spectra with high resolving power (115 000) and signal-to-noise ratio ($\sim$270), the stellar parameters of six different epochs in the cycle were estimated. We found that the stellar activity is strongly correlated with the effective temperature, metallicity, and microturbulence velocity. The possibility of changes in the Li I 6707.8 \AA line due to flares and star spots was also investigated. Although the core of the line profile shows some variations with the stellar cycle, it is compensated by changes in the effective temperature, resulting in a non variation of the Li abundance.


title: Non-linear Stability of Double Bubbles under Surface Diffusion

abstract: We consider the evolution of triple junction clusters driven by the surface diffusion flow. On the triple line we use the boundary conditions derived by Garcke and Novick-Cohen as the singular limit of a Cahn-Hilliard equation with degenerated mobility. These conditions are the concurrency of the triple junction, angle conditions between the hypersurfaces, continuity of the chemical potentials and a flux-balance. For this system we show stability of its energy minimizers, i.e., standard double bubbles.The main argument relies on a Lojasiewicz-Simon gradient inequality. The proof of it differs from others works due to the fully non-linear boundary conditions and problems with the (non-local) tangential part.


title: Deducing a variational principle with minimal a priori assumptions

abstract: We study the well-known variational and large deviation principle for graph homomorphisms from $\mathbb{Z}^m$ to $\mathbb{Z}$. We provide a robust method to deduce those principles under minimal a priori assumptions. The only ingredient specific to the model is a discrete Kirszbraun theorem i.e. an extension theorem for graph homomorphisms. All other ingredients are of a general nature not specific to the model. They include elementary combinatorics, the compactness of Lipschitz functions and a simplicial Rademacher theorem. Compared to the literature, our proof does not need any other preliminary results like e.g. concentration or strict convexity of the local surface tension. Therefore, the method is very robust and extends to more complex and subtle models, as e.g. the homogenization of limit shapes or graph-homomorphisms to a regular tree.


title: Neural Word Decomposition Models for Abusive Language Detection

abstract: User generated text on social media often suffers from a lot of undesired characteristics including hatespeech, abusive language, insults etc. that are targeted to attack or abuse a specific group of people. Often such text is written differently compared to traditional text such as news involving either explicit mention of abusive words, obfuscated words and typological errors or implicit abuse i.e., indicating or targeting negative stereotypes. Thus, processing this text poses several robustness challenges when we apply natural language processing techniques developed for traditional text. For example, using word or token based models to process such text can treat two spelling variants of a word as two different words. Following recent work, we analyze how character, subword and byte pair encoding (BPE) models can be aid some of the challenges posed by user generated text. In our work, we analyze the effectiveness of each of the above techniques, compare and contrast various word decomposition techniques when used in combination with others. We experiment with finetuning large pretrained language models, and demonstrate their robustness to domain shift by studying Wikipedia attack, toxicity and Twitter hatespeech datasets


title: Capturing the power options smile by an additive two-factor model for overlapping futures prices

abstract: In this paper we introduce an additive two-factor model for electricity futures prices based on Normal Inverse Gaussian L\'evy processes, that fulfills a no-overlapping-arbitrage (NOA) condition. We compute European option prices by Fourier transform methods, introduce a specific calibration procedure that takes into account no-arbitrage constraints and fit the model to power option settlement prices of the European Energy Exchange (EEX). We show that our model is able to reproduce the different levels and shapes of the implied volatility (IV) profiles displayed by options with a variety of delivery periods.


title: A Youla Operator State-Space Framework for Stably Realizable Distributed Control

abstract: This paper deals with the problem of distributed control synthesis. We seek to find structured controllers that are stably realizable over the underlying network. We address the problem using an operator form of discrete-time linear systems. This allows for uniform treatment of various classes of linear systems, e.g., Linear Time Invariant (LTI), Linear Time Varying (LTV), or linear switched systems. We combine this operator representation for linear systems with the classical Youla parameterization to characterize the set of stably realizable controllers for a given network structure. Using this Youla Operator State-Space (YOSS) framework, we show that if the structure satisfies certain subspace like assumptions, then both stability and performance problems can be formulated as convex optimization and more precisely as tractable model-matching problems to any a priori accuracy. Furthermore, we show that the structured controllers found from our approach can be stably realized over the network and provide a generalized separation principle.


title: Locally quasi-stationary states in noninteracting spin chains

abstract: Locally quasi-stationary states (LQSS) were introduced as inhomogeneous generalisations of stationary states in integrable systems. Roughly speaking, LQSSs look like stationary states, but only locally. Despite their key role in hydrodynamic descriptions, an unambiguous definition of LQSSs was not given. By solving the dynamics in inhomogeneous noninteracting spin chains, we identify the set of LQSSs as a subspace that is invariant under time evolution, and we explicitly construct the latter in a generalised XY model. As a by-product, we exhibit an exact generalised hydrodynamic theory (including "quantum corrections").

categories: cond-mat.str-el math-ph math.MP quant-ph


title: Lower Bounds for QBFs of Bounded Treewidth

abstract: The problem of deciding the validity (QSAT) of quantified Boolean formulas (QBF) is a vivid research area in both theory and practice. In the field of parameterized algorithmics, the well-studied graph measure treewidth turned out to be a successful parameter. A well-known result by Chen in parameterized complexity is that QSAT when parameterized by the treewidth of the primal graph of the input formula together with the quantifier depth of the formula is fixed-parameter tractable. More precisely, the runtime of such an algorithm is polynomial in the formula size and exponential in the treewidth, where the exponential function in the treewidth is a tower, whose height is the quantifier depth. A natural question is whether one can significantly improve these results and decrease the tower while assuming the Exponential Time Hypothesis (ETH). In the last years, there has been a growing interest in the quest of establishing lower bounds under ETH, showing mostly problem-specific lower bounds up to the third level of the polynomial hierarchy. Still, an important question is to settle this as general as possible and to cover the whole polynomial hierarchy. In this work, we show lower bounds based on the ETH for arbitrary QBFs parameterized by treewidth (and quantifier depth). More formally, we establish lower bounds for QSAT and treewidth, namely, that under ETH there cannot be an algorithm that solves QSAT of quantifier depth i in runtime significantly better than i-fold exponential in the treewidth and polynomial in the input size. In doing so, we provide a versatile reduction technique to compress treewidth that encodes the essence of dynamic programming on arbitrary tree decompositions. Further, we describe a general methodology for a more fine-grained analysis of problems parameterized by treewidth that are at higher levels of the polynomial hierarchy.


title: An estimate for spherical functions on $\mathrm{SL}(3,\mathbb{R})$

abstract: We prove an estimate for spherical functions $\varphi_\lambda(a)$ on $\mathrm{SL}(3,\mathbb{R})$, establishing uniform decay in the spectral parameter $\lambda$ when the group parameter $a$ is restricted to a compact subset of the abelian subgroup $\mathrm{A}$. In the case of $\mathrm{SL}(3,\mathbb{R})$, it improves a result by J.J. Duistermaat, J.A.C. Kolk and V.S. Varadarajan by removing the limitation that $a$ should remain regular. As in their work, we estimate the oscillatory integral that appears in the integral formula for spherical functions by the method of stationary phase. However, the major difference is that we investigate the stability of the singularities arising from the linearized phase function by classifying their local normal forms when the parameters $\lambda$ and $a$ vary.


title: The Influence of Magnetic Field Geometry in Neutron Stars Crustal Oscillations

abstract: In this work, we have studied oscillations in the crust of a neutron star which magnetic field has both dipolar and toroidal components, the former extends from the stellar interior to the outer space and the later is confined inside the star radius. Our study is based on the solutions we have got for perturbations in the star fluid, confined to the crust thickness. Our results are compared to the frequencies observed in the Soft Gamma Repeaters signals.


title: Empirical evaluation of full-reference image quality metrics on MDID database

abstract: In this study, our goal is to give a comprehensive evaluation of 32 state-of-the-art FR-IQA metrics using the recently published MDID. This database contains distorted images derived from a set of reference, pristine images using random types and levels of distortions. Specifically, Gaussian noise, Gaussian blur, contrast change, JPEG noise, and JPEG2000 noise were considered.


title: The (non)-relative hyperbolicity of the separating curve graph

abstract: We prove that the separating curve graph of a connected, compact, orientable surface with genus at least 3 and a single boundary component is not relatively hyperbolic. This completes the classification of when the separating curve graph is hyperbolic and relatively hyperbolic initiated by previous works of the authors.


title: Partial Global Recovery in the Elastic Travel Time Tomography Problem for Transversely Isotropic Media

abstract: We consider the problem of recovering material parameters in a transversely isotropic medium from the qP and qSV waves' travel times, given the axis of isotropy and the material parameters associated to the qSH wave speed. The operators obtained from the pseudolinearization argument are of parabolic type, and so we discuss inverting operators whose symbols are of parabolic type. We present stability estimates for recovering either one parameter from one wave speed or two parameters from two wave speeds with the remaining parameters either known or with a known functional relationship, and these estimates provide injectivity among parameters that differ on sets of small width.


title: Projective dimension of Hypergraphs

abstract: Given a square-free monomial ideal $I$, satisfying certain hypotheses, in a polynomial ring $R$ over a field $\mathbb{K}$, we compute the projective dimension of $I$. Specifically, we focus on the cases where the 1-skeleton of an associated hypergraph is either a string or a cycle. We investigate the impact on the projective dimension when higher dimensional edges are removed. We prove that the higher dimensional edge either has no effect on the projective dimension or the projective dimension only goes up by one with the extra higher dimensional edge.


title: Nuclear Ignition of White Dwarf Stars by Relativistic Encounters with Rotating Intermediate Mass Black Holes

abstract: We present results from general relativistic calculations of nuclear ignition in white dwarf stars triggered by near encounters with rotating intermediate mass black holes with different spin and alignment parameters. These encounters create thermonuclear environments characteristic of Type Ia supernovae capable of producing both calcium and iron group elements in arbitrary ratios, depending primarily on the proximity of the interaction which acts as a strong moderator of nucleosynthesis. We explore the effects of black hole spin and spin-orbital alignment on burn product synthesis to determine whether they might also be capable of moderating reactive flows. When normalized to equivalent impact penetration, accounting for frame dragging corrections, the influence of spin is weak, no more than 25% as measured by nuclear energy release and mass of burn products, even for near maximally rotating black holes. Stars on prograde trajectories approach closer to the black hole and produce significantly more unbound debris and iron group elements than is possible by encounters with nonrotating black holes or by retrograde orbits, at more than 50% mass conversion efficiency. The debris contains several radioisotopes, most notably Ni56, made in amounts that produce sub-luminous (but still observable) light curves compared to branch-normal SNe Ia.


title: QuaRL: Quantization for Fast and Environmentally Sustainable Reinforcement Learning

abstract: Deep reinforcement learning continues to show tremendous potential in achieving task-level autonomy, however, its computational and energy demands remain prohibitively high. In this paper, we tackle this problem by applying quantization to reinforcement learning. To that end, we introduce a novel Reinforcement Learning (RL) training paradigm, \textit{ActorQ}, to speed up actor-learner distributed RL training. \textit{ActorQ} leverages 8-bit quantized actors to speed up data collection without affecting learning convergence. Our quantized distributed RL training system, \textit{ActorQ}, demonstrates end-to-end speedups \blue{between 1.5 $\times$ and 5.41$\times$}, and faster convergence over full precision training on a range of tasks (Deepmind Control Suite) and different RL algorithms (D4PG, DQN). Furthermore, we compare the carbon emissions (Kgs of CO2) of \textit{ActorQ} versus standard reinforcement learning \blue{algorithms} on various tasks. Across various settings, we show that \textit{ActorQ} enables more environmentally friendly reinforcement learning by achieving \blue{carbon emission improvements between 1.9$\times$ and 3.76$\times$} compared to training RL-agents in full-precision. We believe that this is the first of many future works on enabling computationally energy-efficient and sustainable reinforcement learning. The source code is available here for the public to use: \url{https://github.com/harvard-edge/QuaRL}.


title: Field theory and $\lambda$-deformations: Expanding around the identity

abstract: We explore the structure of the $\lambda$-deformed $\sigma$-model action by setting up a perturbative expansion around the free field point corresponding to the identity group element. We include all field interaction terms up to sixth order. We compute the two- and three-point functions of current and primary filed operators, their anomalous dimensions as well as the $\beta$-function for the $\lambda$-parameter. Our results are in complete agreement with those obtained previously using gravitational and/or CFT perturbative methods in conjunction with the non-perturbative symmetry, as well as with those obtained using methods exploiting the geometry defined in the space of couplings. The advantage of this approach is that all deformation effects are already encoded in the couplings of the interaction vertices and in the $\lambda$-dressed operators.


title: Primary and Secondary Hydration Forces between Interdigitated Membranes Composed of Bolaform Microbial Glucolipids

abstract: To better understand lipid membranes in living organisms, the study of intermolecular forces using the osmotic pressure technique applied to model lipid membranes has constituted the ground knowledge in the field of biophysics since four decades. However, the study of intermolecular forces in lipid systems other than phospholipids, like glycolipids, has gained a certain interest only recently. Even in this case, the work generally focuses on the study of membrane glycolipids, but little is known on new forms of non-membrane functional compounds, like microbial bolaform glycolipids. This works explores, through the osmotic stress method involving an adiabatic humidity chamber coupled to neutron diffraction, the short-range (< 2 nm) intermolecular forces of membranes entirely composed of interdigitated glucolipids. Experiments are performed at pH 6, when the glucolipid is partially negatively charged and for which we explore the effect of low (16 mM) and high (100 mM) ionic strength. We find that this system is characterized by primary and secondary hydration regimes, respectively insensitive and sensitive to ionic strength and with typical decay lengths of 0.37 +- 0.12 nm and 1.97 +- 0.78 nm.


title: Realizing Quantum Materials with Helium: Helium films at ultralow temperatures, from strongly correlated atomically layered films to topological superfluidity

abstract: This article provides an overview, primarily from an experimental perspective, of recent progress and future prospects in using helium to realize a range of quantum materials of generic interest, by "top-down" and "bottom-up" nanotechnology. We can grow model systems to realise new quantum states of matter, and explore key issues in condensed matter physics. In the language of cold atomic gases, two dimensional and confined 3He and 4He provide "quantum simulators", with the potential to uncover new emergent quantum states. These include: strictly 2D Fermi system with Mott-Hubbard transition; interacting coupled 2D fermion-boson system; heavy fermion quantum criticality; ideal 2D frustrated ferromagnetism; 2D quantum spin liquid; intertwined superfluid and density wave order with emergent large symmetry; topological mesoscopic superfluidity (new materials and emergent excitations).

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas cond-mat.supr-con