title: Efficient Continual Learning with Modular Networks and Task-Driven Priors

abstract: Existing literature in Continual Learning (CL) has focused on overcoming catastrophic forgetting, the inability of the learner to recall how to perform tasks observed in the past. There are however other desirable properties of a CL system, such as the ability to transfer knowledge from previous tasks and to scale memory and compute sub-linearly with the number of tasks. Since most current benchmarks focus only on forgetting using short streams of tasks, we first propose a new suite of benchmarks to probe CL algorithms across these new axes. Finally, we introduce a new modular architecture, whose modules represent atomic skills that can be composed to perform a certain task. Learning a task reduces to figuring out which past modules to re-use, and which new modules to instantiate to solve the current task. Our learning algorithm leverages a task-driven prior over the exponential search space of all possible ways to combine modules, enabling efficient learning on long streams of tasks. Our experiments show that this modular architecture and learning algorithm perform competitively on widely used CL benchmarks while yielding superior performance on the more challenging benchmarks we introduce in this work.


title: Topological spin-plasma waves

abstract: The surface of a topological insulator hosts Dirac electronic states with the spin-momentum locking, which constrains spin orientation perpendicular to electron momentum. As a result, collective plasma excitations in the interacting Dirac liquid manifest themselves as coupled charge- and spin-waves. Here we demonstrate that the presence of the spin component enables effective coupling between plasma waves and spin waves at interfaces between the surface of a topological insulator and insulating magnet. Moreover, the helical nature of spin-momentum locking textures provides the phase winding in the coupling between the spin and plasma waves that makes the spectrum of hybridized spin-plasma modes to be topologically nontrivial. We also show that such topological modes lead to a large thermal Hall response.


title: Identifying the fingerprints of topological states by tuning magnetoresistance in a semimetal: the case of topological half-Heusler Pt1-xAuxLuSb

abstract: Topological materials often exhibit remarkably linear, non-saturating magnetoresistance (LMR), which is both of scientific and technological importance. However, the role of topologically non-trivial states in the emergence of such a behaviour has eluded clear demonstration in experiments. Here, by reducing the coupling between the topological surface states (TSS) and the bulk carriers we controllably tune the LMR behavior in Pt1-xAuxLuSb into distinct plateaus in Hall resistance, which we show arise from a quantum Hall phase. This allowed us to reveal how smearing of the Landau levels, which otherwise give rise to a quantum Hall phase, results in an LMR behavior due to strong interaction between the TSS with a positive g-factor and the bulk carriers. We establish that controlling the coupling strength between the surface and the bulk carriers in topological materials can bring about dramatic changes in their magnetotransport behavior. In addition, our work outlines a strategy to reveal macroscopic physical observables of TSS in compounds with a semi-metallic bulk band structure, as is the case in multi-functional Heusler compounds, thereby opening up opportunities for their utilization in hybrid quantum structures.


title: Overview of FPGA deep learning acceleration based on convolutional neural network

abstract: In recent years, deep learning has become more and more mature, and as a commonly used algorithm in deep learning, convolutional neural networks have been widely used in various visual tasks. In the past, research based on deep learning algorithms mainly relied on hardware such as GPUs and CPUs. However, with the increasing development of FPGAs, both field programmable logic gate arrays, it has become the main implementation hardware platform that combines various neural network deep learning algorithms This article is a review article, which mainly introduces the related theories and algorithms of convolution. It summarizes the application scenarios of several existing FPGA technologies based on convolutional neural networks, and mainly introduces the application of accelerators. At the same time, it summarizes some accelerators' under-utilization of logic resources or under-utilization of memory bandwidth, so that they can't get the best performance.


title: Validation of Coronal Mass Ejection Arrival-Time Forecasts by Magnetohydrodynamic Simulations based on Interplanetary Scintillation Observations

abstract: Coronal mass ejections (CMEs) cause various disturbances of the space environment; therefore, forecasting their arrival time is very important. However, forecasting accuracy is hindered by limited CME observations in interplanetary space. This study investigates the accuracy of CME arrival times at the Earth forecasted by three-dimensional (3D) magnetohydrodynamic (MHD) simulations based on interplanetary scintillation (IPS) observations. In this system, CMEs are approximated as spheromaks with various initial speeds. Ten MHD simulations with different CME initial speed are tested, and the density distributions derived from each simulation run are compared with IPS data observed by the Institute for Space-Earth Environmental Research (ISEE), Nagoya University. The CME arrival time of the simulation run that most closely agrees with the IPS data is selected as the forecasted time. We then validate the accuracy of this forecast using 12 halo CME events. The average absolute arrival-time error of the IPS-based MHD forecast is approximately 5.0 h, which is one of the most accurate predictions that ever been validated, whereas that of MHD simulations without IPS data, in which the initial CME speed is derived from white-light coronagraph images, is approximately 6.7 h. This suggests that the assimilation of IPS data into MHD simulations can improve the accuracy of CME arrival-time forecasts. The average predicted arrival times are earlier than the actual arrival times. These early predictions may be due to overestimation of the magnetic field included in the spheromak and/or underestimation of the drag force from the background solar wind, the latter of which could be related to underestimation of CME size or background solar wind density.


title: Detailed-balance efficiency limits of two-terminal perovskite/silicon tandem solar cells with planar and Lambertian spectral splitters

abstract: We derive the photovoltaic conversion efficiency limit for two-terminal tandem solar cells with a perovskite top cell and silicon bottom cell with an embedded spectrum splitter. For large-bandgap top-cells a spectrum splitter strongly enhances the efficiency because of enhanced light absorption and trapping. A Lambertian spectral splitter shows a significantly improved effect compared to a planar splitter: we find an ideal efficiency enhancement in the thermodynamic limit for a 500 nm thick top cell of 6% absolute for bandgaps above 1.75 eV. Vice versa, the use of a spectral splitter geometry enables the use of a thinner top cell. Using experimental parameters for perovskite cells we show that for a top-cell bandgap of 1.77 eV a 2.8% absolute efficiency can be gained. The calculations in this work show that integration of a spectral splitter into perovskite/silicon tandem cells with a top bandgap above 1.7 eV can lead to a large increase in efficiency, even with realistic experimental losses and non-unity reflection of the spectral splitter.


title: Intermittency of three-dimensional perturbations in a point-vortex model

abstract: Three-dimensional (3D) instabilities on a (potentially turbulent) two-dimensional (2D) flow are still incompletely understood, despite recent progress. Here, based on known physical properties of such 3-D instabilities, we propose a simple, energy-conserving model describing this situation. It consists of a 2D point-vortex flow coupled to localized 3D perturbations (ergophages), such that ergophages can gain energy by altering vortex-vortex distances through an induced divergent velocity field, thus decreasing point-vortex energy. We investigate the model in three distinct stages of evolution: (i) The linear regime, where the ergophage amplitude grows or decays exponentially on average, with a randomly fluctuating instantaneous growth rate. The growth rate has a small auto-correlation time, and follows a probability distribution featuring a power-law tail with exponent between -2 and -5/3 (up to a cut-off), depending on the point-vortex base flow. Consequently, the logarithmic ergophage amplitude performs a free L\'evy flight. (ii) The passive-nonlinear regime of the model, where the 2D flow evolves independently of the ergophage amplitudes, which saturate by non-linear self-interactions without affecting the 2D flow. In this regime the system exhibits a new type of on-off intermittency that we name L\'evy on-off intermittency, and which we study in a companion paper. We compute the bifurcation diagram for the mean and variance of the perturbation amplitude, as well as the probability density of the perturbation amplitude. (iii) Finally, we characterize the the fully nonlinear regime, where ergophages feed back on the 2D flow, and study how the vortex temperature is altered by the interaction with ergophages. It is shown that when the amplitude of the ergophages is sufficiently large, the 2D flow saturates to a zero-temperature state. Given the limitations of existing theories ...


title: On non-adaptive majority problems of large query size

abstract: We are given $n$ balls and an unknown coloring of them with two colors. Our goal is to find a ball that belongs to the larger color class, or show that the color classes have the same size. We can ask sets of $k$ balls as queries, and the problem has different variants, according to what the answers to the queries can be. These questions has attracted several researchers, but the focus of most research was the adaptive version, where queries are decided sequentially, after learning the answer to the previous query. Here we study the non-adaptive version, where all the queries have to be asked at the same time.


title: Electroweak effective theory and beyond Standard Model resonances

abstract: We consider a non-linear realization of the electroweak symmetry-breaking pattern $SU(2)_L\times SU(2)_R/SU(2)_{L+R}$ to construct a low-energy effective theory, later extended by the inclusion of heavy new-physics resonances. After assuming appropriate high-energy constraints given by Weinberg sum-rules and the asymptotic behaviour of form-factors, we obtain relations between resonance masses and some low-energy effective couplings. These predictions are compared with current experimental data and some resonance mass bounds are inferred.


title: Gradient-Free Adversarial Attacks for Bayesian Neural Networks

abstract: The existence of adversarial examples underscores the importance of understanding the robustness of machine learning models. Bayesian neural networks (BNNs), due to their calibrated uncertainty, have been shown to posses favorable adversarial robustness properties. However, when approximate Bayesian inference methods are employed, the adversarial robustness of BNNs is still not well understood. In this work, we employ gradient-free optimization methods in order to find adversarial examples for BNNs. In particular, we consider genetic algorithms, surrogate models, as well as zeroth order optimization methods and adapt them to the goal of finding adversarial examples for BNNs. In an empirical evaluation on the MNIST and Fashion MNIST datasets, we show that for various approximate Bayesian inference methods the usage of gradient-free algorithms can greatly improve the rate of finding adversarial examples compared to state-of-the-art gradient-based methods.


title: Negation in Cognitive Reasoning

abstract: Negation is both an operation in formal logic and in natural language by which a proposition is replaced by one stating the opposite, as by the addition of "not" or another negation cue. Treating negation in an adequate way is required for cognitive reasoning, which aims at modeling the human ability to draw meaningful conclusions despite incomplete and inconsistent knowledge. One task of cognitive reasoning is answering questions given by sentences in natural language. There are tools based on discourse representation theory to convert sentences automatically into a formal logic representation, and additional knowledge can be added using the predicate names in the formula and knowledge databases. However, the knowledge in logic databases in practice always is incomplete. Hence, forward reasoning of automated reasoning systems alone does not suffice to derive answers to questions because, instead of complete proofs, often only partial positive knowledge can be derived, while negative knowledge is used only during the reasoning process. In consequence, we aim at eliminating syntactic negation, strictly speaking, the negated event or property. In this paper, we describe an effective procedure to determine the negated event or property in order to replace it by its inverse. This lays the basis of cognitive reasoning, employing both logic and machine learning for general question answering. We evaluate our procedure by several benchmarks and demonstrate its practical usefulness in our cognitive reasoning system.


title: Autonomous Outdoor Scanning via Online Topological and Geometric Path Optimization

abstract: Autonomous 3D acquisition of outdoor environments poses special challenges. Different from indoor scenes, where the room space is delineated by clear boundaries and separations (e.g., walls and furniture), an outdoor environment is spacious and unbounded (thinking of a campus). Therefore, unlike for indoor scenes where the scanning effort is mainly devoted to the discovery of boundary surfaces, scanning an open and unbounded area requires actively delimiting the extent of scanning region and dynamically planning a traverse path within that region. Thus, for outdoor scenes, we formulate the planning of an energy-efficient autonomous scanning through a discrete-continuous optimization of robot scanning paths. The discrete optimization computes a topological map, through solving an online traveling sales problem (Online TSP), which determines the scanning goals and paths on-the-fly. The dynamic goals are determined as a collection of visit sites with high reward of visibility-to-unknown. A visit graph is constructed via connecting the visit sites with edges weighted by traversing cost. This topological map evolves as the robot scans via deleting outdated sites that are either visited or become rewardless and inserting newly discovered ones. The continuous part optimizes the traverse paths geometrically between two neighboring visit sites via maximizing the information gain of scanning along the paths. The discrete and continuous processes alternate until the traverse cost of the current graph exceeds the remaining energy capacity of the robot. Our approach is evaluated with both synthetic and field tests, demonstrating its effectiveness and advantages over alternatives. The project is at http://vcc.szu.edu.cn/research/2020/Husky, and the codes are available at https://github.com/alualu628628/Autonomous-Outdoor-Scanning-via-Online-Topological-and-Geometric-Path-Optimization.


title: On Calibration of Scene-Text Recognition Models

abstract: In this work, we study the problem of word-level confidence calibration for scene-text recognition (STR). Although the topic of confidence calibration has been an active research area for the last several decades, the case of structured and sequence prediction calibration has been scarcely explored. We analyze several recent STR methods and show that they are consistently overconfident. We then focus on the calibration of STR models on the word rather than the character level. In particular, we demonstrate that for attention based decoders, calibration of individual character predictions increases word-level calibration error compared to an uncalibrated model. In addition, we apply existing calibration methodologies as well as new sequence-based extensions to numerous STR models, demonstrating reduced calibration error by up to a factor of nearly 7. Finally, we show consistently improved accuracy results by applying our proposed sequence calibration method as a preprocessing step to beam-search.


title: (Achiral) Lefschetz fibration embeddings of $4$-manifolds

abstract: In this paper, we prove Lefschetz fibration embeddings of achiral as well as simplified broken (achiral) Lefschetz fibrations of compact, connected, orientable $4$-manifolds over $D^2$ into the trivial Lefschetz fibration of $\mathbb CP^2\times D^2$ over $D^2$. These results can be easily extended to achiral as well as simplified broken (achiral) Lefschetz fibrations over $\mathbb CP^1.$ From this, it follows that every closed, connected, orientable $4$-manifold admits a smooth (simplified broken) Lefschetz fibration embedding in $\mathbb CP^2\times \mathbb CP^1.$ We provide a huge collection of bordered Lefschetz fibration which admit bordered Lefschetz fibration embeddings into a trivial Lefschetz fibration $\tilde\pi:D^4\times D^2\to D^2.$ We also show that every closed, connected, orientable $4$-manifold $X$ admits a smooth embedding into $S^4\times S^2$ as well as into $S^4\tilde\times S^2$. From this, we get another proof of a theorem of Hirsch which states that every closed, connected, orientable $4$-manifold smoothly embeds in $\mathbb R^7.$ We also discuss Lefschetz fibration embedding of non-orientable $4$-manifolds $X$, where $X$ does not admit $3$- and $4$-handles in the handle decomposition, into the trivial Lefschetz fibration of $\mathbb CP^2\times D^2$ over $D^2$.


title: SWA Object Detection

abstract: Do you want to improve 1.0 AP for your object detector without any inference cost and any change to your detector? Let us tell you such a recipe. It is surprisingly simple: train your detector for an extra 12 epochs using cyclical learning rates and then average these 12 checkpoints as your final detection model}. This potent recipe is inspired by Stochastic Weights Averaging (SWA), which is proposed in arXiv:1803.05407 for improving generalization in deep neural networks. We found it also very effective in object detection. In this technique report, we systematically investigate the effects of applying SWA to object detection as well as instance segmentation. Through extensive experiments, we discover the aforementioned workable policy of performing SWA in object detection, and we consistently achieve $\sim$1.0 AP improvement over various popular detectors on the challenging COCO benchmark, including Mask RCNN, Faster RCNN, RetinaNet, FCOS, YOLOv3 and VFNet. We hope this work will make more researchers in object detection know this technique and help them train better object detectors. Code is available at: https://github.com/hyz-xmaster/swa_object_detection .


title: On Tur\'an-good graphs

abstract: For graphs $H$ and $F$, the generalized Tur\'an number $ex(n,H,F)$ is the largest number of copies of $H$ in an $F$-free graph on $n$ vertices. We say that $H$ is $F$-Tur\'an-good if $ex(n,H,F)$ is the number of copies in the $(\chi(F)-1)$-partite Tur\'an graph, provided $n$ is large enough. We present a general theorem in case $F$ has an edge whose deletion decreases the chromatic number. In particular, this determines $ex(n,P_k,C_{2\ell+1})$ and $ex(n,C_{2k},C_{2\ell+1})$ exactly, if $n$ is large enough. We also study the case when $F$ has a vertex whose deletion decreases the chromatic number.


title: Hidden Pseudogap and Excitation Spectra in a Strongly Coupled Two-Band Superfluid/Superconductor

abstract: We investigate single-particle excitation properties in the normal state of a two-band superconductor or superfluid throughout the Bardeen-Cooper-Schrieffer (BCS) to Bose-Einstein-condensation (BEC) crossover, within the many-body T-matrix approximation for multi-channel pairing fluctuations. We address the single-particle density of states and the spectral functions consisting of two contributions associated with a waekly interacting deep band and a strongly interacting shallow band, relevant for iron-based multiband superconductors and multicomponent fermionic superfluids. We show how the pseudogap state in the shallow band is hidden by the deep band contribution throughout the two-band BCS-BEC crossover. Our results could explain the missing pseudogap in recent scanning tunneling microscopy experiments in FeSe superconductors.


title: Results on $^{82}$Se $2\nu\beta\beta$ with CUPID-0 Phase I

abstract: The nucleus is an extraordinarily complex object where fundamental forces are at work. The solution of this many-body problem has challenged physicists for decades: several models with complementary virtues and flaws have been adopted, none of which has a universal predictive capability. Double beta decay is a second-order weak nuclear decay whose precise measurement might steer fundamental improvements in nuclear theory. Its knowledge paves the way to a much better understanding of many-body nuclear dynamics and clarifies, in particular, the role of multiparticle states. This is a useful input to a complete understanding of the dynamics of neutrino-less double beta decay, the chief physical process whose discovery may shed light to the matter-antimatter asymmetry of the universe and unveil the true nature of neutrinos. Here, we report the study of $2\nu\beta\beta$-decay in $^{82}$Se with the CUPID-0 detector, an array of ZnSe crystals maintained at a temperature close to 'absolute zero' in an ultralow background environment. Thanks to the unprecedented accuracy in the measurement of the two electrons spectrum, we prove that the decay is dominated by a single intermediate state. We obtain also the most precise value for the $^{82}$Se $2\nu\beta\beta$-decay half-life of $T^{2{\nu}}_{1/2} = [8.6^{+0.2}_{-0.1}] \times 10^{19}$ yr.


title: Four-terminal perovskite/silicon tandem solar cell with integrated Mie-resonant spectral splitter metagrating

abstract: A spectral splitting, light trapping dielectric metasurface is designed, fabricated and integrated into a four-terminal perovskite/silicon hybrid tandem solar cell to increase the absorption of light close to the bandgap of the perovskite top cell, and enhance transmission of the near-infrared spectral band towards the bottom cell. The metagrating is composed of a hexagonal array of unit cells of 150-nm-tall hydrogenated amorphous silicon trimer nanostructures with dielectric Mie resonances in the 600-800 nm perovskite near-gap region, made using substrate-conformal imprint lithography. By tailoring the metasurface resonant scattering modes and their interference with the direct reflection paths we minimize specular reflection and obtain high diffraction efficiency that leads to improved light trapping in the perovskite top cell. The measured short-circuit current increase in the perovskite top cell is 0.5 mA/cm2 corresponding to an estimated efficiency gain of 0.26% (absolute) for the metasurface-integrated 4T perovskite/silicon tandem cell. Simulations for a further optimized metasurface spectrum splitter geometry predict a short-circuit current gain in the perovskite top cell of 1.4 mA/cm2 and an efficiency gain for the 4T tandem cell of 0.4% (absolute). The metagrating approach for simultaneous spectral splitting, light trapping and reflectance reduction provides a flexible platform that can be applied to many tandem cell geometries.


title: Hot electron relaxation in normal state of iron pnictides: memory function approach

abstract: This study leads to the investigation of the non-equilibrium electron relaxation in the normal state of iron pnictides. Here we consider the relaxation of electrons due to their coupling with magnons and phonons in the metallic state of iron pnictides using the memory function approach. In the present model, electrons live at a higher temperature than that of the phonon and magnon baths, mimicking a non-equilibrium steady state situation. Further we analyze theoretically the generalized Drude scattering rate within the framework of Two Temperature Model and study the full frequency and temperature behavior for it. In zero frequency regime, the rate of electron-magnon scattering and electron-phonon scattering shows a linear temperature dependence at higher temperature values greater than Bloch-Gr\"{u}neisen temperature. Whereas at lower temperature values, $T\ll\Theta_{BG}$, corresponding scattering rates follow the temperature behavior as ($1/\tau_{e-p} \varpropto T^3$) and ($1/\tau_{e-m} \varpropto T^{3/2}$), respectively. In the AC regime, we compute that $1/\tau \propto \omega^2$ for $\omega\ll\omega_{BG}$ and for the values greater than the Bloch-Gr\"{u}neisen frequency, it is $\omega$-independent. Also, in lower frequency and zero temperature limit, we have observed the different frequency scale of electron-magnon and electron-phonon scattering i.e ($1/\tau \propto \omega^{3/2}$) and ($1/\tau\propto \omega^{3}$). These results can be viewed with the pump-probe experimental setting for the normal state of iron pnictides.


title: Analytical framework for space debris collision avoidance maneuver design

abstract: An analytical formulation for collision avoidance maneuvers involving a spacecraft and a space debris is presented, including solutions for the maximum deviation and minimum collision probability cases. Gauss' planetary equations and relative motion equations are used to map maneuvers at a given time to displacements at the predicted close approach. The model is then extended to map changes in state between two times, allowing one to propagate covariance matrices. The analytical formulation reduces the optimization problem to an eigenproblem, both for maximum deviation and minimum collision probability. Two maximum deviation cases, total deviation and impact parameter, are compared for a large set of spacecraft-debris conjunction geometries derived from European Space Agency's Meteoroid and Space Debris Terrestrial Environment Reference (MASTER-2009) model. Moreover, the maximum impact parameter and minimum collision probability maneuvers are compared assuming covariances known at the maneuver time, to evaluate the net effect of lead time in collision probability. In all cases, solutions are analyzed in the b-plane to leverage its natural separation of phasing and geometry change effects. Both uncertainties and maximum deviation grow along the time axis for long lead times, limiting the reduction in collision probability.


title: Prognostic Power of Texture Based Morphological Operations in a Radiomics Study for Lung Cancer

abstract: The importance of radiomics features for predicting patient outcome is now well-established. Early study of prognostic features can lead to a more efficient treatment personalisation. For this reason new radiomics features obtained through mathematical morphology-based operations are proposed. Their study is conducted on an open database of patients suffering from Nonsmall Cells Lung Carcinoma (NSCLC). The tumor features are extracted from the CT images and analyzed via PCA and a Kaplan-Meier survival analysis in order to select the most relevant ones. Among the 1,589 studied features, 32 are found relevant to predict patient survival: 27 classical radiomics features and five MM features (including both granularity and morphological covariance features). These features will contribute towards the prognostic models, and eventually to clinical decision making and the course of treatment for patients.


title: Inclusive and exclusive neutrino-nucleus cross sections and the reconstruction of the interaction kinematics

abstract: We present a full kinematic analysis of neutrino-nucleus charged current quasielastic interactions based on the Local Fermi Gas model and the Random PhaseApproximation. The model was implemented in the NEUT Monte Carlo framework, which allows us to investigate potentially measurable observables, including hadron distributions. We compare the predictions simultaneously to the most recent T2K and MINERvA charged current (CC) inclusive, CC0$\pi$ and transverse kinematic-imbalance variable results. We pursuit a microscopic interpretation of the relevant reaction mechanisms, with the aim of achieving in neutrino oscillation experiments a correct reconstruction of the incoming neutrino kinematics, free of conceptual biasses. Such study is of the utmost importance for the ambitious experimental program which is underway to precisely determine neutrino properties, test the three-generation paradigm, establish the order of mass eigenstates and investigate leptonic CP violation.


title: A deep learning-based ODE solver for chemical kinetics

abstract: Developing efficient and accurate algorithms for chemistry integration is a challenging task due to its strong stiffness and high dimensionality. The current work presents a deep learning-based numerical method called DeepCombustion0.0 to solve stiff ordinary differential equation systems. The homogeneous autoignition of DME/air mixture, including 54 species, is adopted as an example to illustrate the validity and accuracy of the algorithm. The training and testing datasets cover a wide range of temperature, pressure, and mixture conditions between 750-1200 K, 30-50 atm, and equivalence ratio = 0.7-1.5. Both the first-stage low-temperature ignition (LTI) and the second-stage high-temperature ignition (HTI) are considered. The methodology highlights the importance of the adaptive data sampling techniques, power transform preprocessing, and binary deep neural network (DNN) design. By using the adaptive random samplings and appropriate power transforms, smooth submanifolds in the state vector phase space are observed, on which two three-layer DNNs can be appropriately trained. The neural networks are end-to-end, which predict temporal gradients of the state vectors directly. The results show that temporal evolutions predicted by DNN agree well with traditional numerical methods in all state vector dimensions, including temperature, pressure, and species concentrations. Besides, the ignition delay time differences are within 1%. At the same time, the CPU time is reduced by more than 20 times and 200 times compared with the HMTS and VODE method, respectively. The current work demonstrates the enormous potential of applying the deep learning algorithm in chemical kinetics and combustion modeling.


title: A newly-generalized problem from a problem for the Mathematical Olympiad and the methods to solve it

abstract: A newly-generalized problem from a problem initially thought for the Mathematical Olympiad and the methods to solve it.


title: Big Picard Theorem for jet differentials and Non-archimedean Ax-Lindemann Theorem

abstract: By implementing jet differential techniques in non-archimedean geometry, we obtain a big Picard type extension theorem, which generalizes a previous result of Cherry and Ru. As applications, we establish two hyperbolicity-related results. Firstly, we prove a non-archimedean Ax-Lindemann theorem for totally degenerate abelian varieties. Secondly, we show the pseudo-Borel hyperbolicity for subvarieties of general type in abelian varieties.


title: Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools

abstract: Modern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most formal verification methods are limited to systems of moderate size. Recently, contract theory has been proposed as a modular framework for defining specifications. In this paper, we present a contract theory for discrete-time dynamical control systems relying on assume/guarantee contracts, which prescribe assumptions on the input of the system and guarantees on the output. We then focus on contracts defined by linear constraints, and develop efficient computational tools for verification of satisfaction and refinement based on linear programming. We exemplify these tools in a simulation example, proving a certain safety specification for a two-vehicle autonomous driving setting.


title: Entanglement Devised Barren Plateau Mitigation

abstract: Hybrid quantum-classical variational algorithms are one of the most propitious implementations of quantum computing on near-term devices, offering classical machine learning support to quantum scale solution spaces. However, numerous studies have demonstrated that the rate at which this space grows in qubit number could preclude learning in deep quantum circuits, a phenomenon known as barren plateaus. In this work, we implicate random entanglement as the source of barren plateaus and characterize them in terms of many-body entanglement dynamics, detailing their formation as a function of system size, circuit depth, and circuit connectivity. Using this comprehension of entanglement, we propose and demonstrate a number of barren plateau ameliorating techniques, including: initial partitioning of cost function and non-cost function registers, meta-learning of low-entanglement circuit initializations, selective inter-register interaction, entanglement regularization, the addition of Langevin noise, and rotation into preferred cost function eigenbases. We find that entanglement limiting, both automatic and engineered, is a hallmark of high-accuracy training, and emphasize that as learning is an iterative organization process while barren plateaus are a consequence of randomization, they are not necessarily unavoidable or inescapable. Our work forms both a theoretical characterization and a practical toolbox; first defining barren plateaus in terms of random entanglement and then employing this expertise to strategically combat them.


title: Interplay of crystal thickness and in-plane anisotropy and evolution of quasi-one dimensional electronic character in ReSe$_{2}$

abstract: We study the valence band structure of ReSe$_{2}$ crystals with varying thickness down to a single layer using nanoscale angle-resolved photoemission spectroscopy and density functional theory. The width of the top valence band in the direction perpendicular to the rhenium chains decreases with decreasing number of layers, from 280 meV for the bulk to 61 meV for monolayer. This demonstrates increase of in-plane anisotropy induced by changes in the interlayer coupling and suggests progressively more one-dimensional character of electronic states in few-layer rhenium dichalcogenides.


title: Necessary and sufficient conditions for zero subsets of holomorphic functions

abstract: Let $D$ be a domain in the complex plane, $M$ be an extended real function on $D$. If $f$ is a non-zero holomorphic function on $D$ with an upper constraint $|f|\leq \exp M$ on this domain $D$, then it is natural to expect that there must be some upper constraints on the distribution of zeros of this holomorphic function exclusively in terms of the function $M$ and the geometry of the domain $D$. We have investigated this question in detail in our previous works in the case when $M$ is a subharmonic function and the domain $D$ is arbitrary or with a non-polar boundary. The answer was given in terms of limiting the distribution of zeros of $f$ from above via the Riesz measure of the subharmonic function $M$. In this article, the function $M$ is the difference of subharmonic functions, or a $\delta$-subharmonic function, and the upper constraints are given in terms of the Riesz charge of this $\delta$-subharmonic function $M$. These results are also new to a certain extent for the subharmonic function $M$. The case when the domain D is the complex plane is considered separately. For the complex plane, it is possible to reach the criterion level.


title: Revisiting density-functional theory of the total current density

abstract: Density-functional theory requires an extra variable besides the electron density in order to properly incorporate magnetic-field effects. In a time-dependent setting, the gauge-invariant, total current density takes that role. A peculiar feature of the static ground-state setting is, however, that the gauge-dependent paramagnetic current density appears as the additional variable instead. An alternative, exact reformulation in terms of the total current density has long been sought but to date a work by Diener is the only available candidate. In that work, an unorthodox variational principle was used to establish a ground-state density-functional theory of the total current density as well as an accompanying Hohenberg-Kohn-like result. We here reinterpret and clarify Diener's formulation based on a maximin variational principle. Using simple facts about convexity implied by the resulting variational expressions, we prove that Diener's formulation is unfortunately not capable of reproducing the correct ground-state energy and, furthermore, that the suggested construction of a Hohenberg-Kohn map contains an irreparable mistake.


title: Hilbert schemes, Verma modules and spectral functions of hyperbolic geometry with application to quantum invariants

abstract: In this article we exploit Ruelle-type spectral functions and analyze the Verma module over Virasoro algebra, boson-fermion correspondence, the analytic torsion, the Chern-Simons and $\eta$ invariants, as well as the generation function associated to dimensions of the Hochschild homology of the crossed product $\mathbb{C}[S_n]\ltimes \mathcal{A}^{\otimes n}$ ($\mathcal{A}$ is the $q$-Weyl algebra). After analysing the Chern-Simons and $\eta$ invariants of Dirac operators by using irreducible $SU(n)$-flat connections on locally symmetric manifolds of non-positive section curvature, we describe the exponential action for the Chern-Simons theory.


title: A geometric realization of silting theory for gentle algebras

abstract: A gentle algebra gives rise to a dissection of an oriented marked surface with boundary into polygons and the bounded derived category of the gentle algebra has a geometric interpretation in terms of this surface. In this paper we study silting theory in the bounded derived category of a gentle algebra in terms of its underlying surface. In particular, we show how silting mutation corresponds to the changing of graded arcs and that in some cases silting mutation results in the interpretation of the octahedral axioms in terms of the flipping of diagonals in a quadrilateral as in the work of Dyckerhoff-Kapranov in the context of triangulated surfaces. We also show that silting reduction corresponds to the cutting of the underlying surface as is the case for Calabi-Yau reduction of surface cluster categories as shown by Marsh-Palu and Qiu-Zhou.


title: Simultaneous optimisation of temperature and energy in linear energy system models

abstract: Linear programming is used as a standard tool for optimising unit commitment or power flows in energy supply systems. For heat supply systems, however, it faces a relevant limitation: For them, energy yield depends on the output temperature, thus both quantities would have to be optimised simultaneously and the resulting problem is quadratic. As a solution, we describe a method working with discrete temperature levels. This paper presents mathematical models of various technologies and displays their potential in a case study focused on integrated residential heat and electricity supply. It is shown that the technique yields reasonable results including the choice of operational temperatures.


title: Domino cooling of a coupled mechanical-resonator chain via cold-damping feedback

abstract: We propose a domino-cooling method to realize simultaneous ground-state cooling of a coupled mechanical-resonator chain through an optomechanical cavity working in the unresolved-sideband regime. This domino-effect cooling is realized by combining the cold-damping feedback on the first mechanical resonator with nearest-neighbor couplings between other neighboring mechanical resonators. We obtain analytical results for the effective susceptibilities, noise spectra, final mean phonon numbers, and cooling rates of these mechanical resonators, and find the optimal-cooling condition for these resonators. Particularly, we analyze a two-mechanical-resonator case and find that by appropriately engineering either the laser power or the feedback, a flexible switch between symmetric and asymmetric ground-state cooling can be achieved. This could be used for preparing symmetric quantum states in mechanical systems. We also simulate the cooling performance of a coupled $N$-mechanical-resonator chain and confirm that these resonators can be simultaneously cooled to their quantum ground states in the unresolved-sideband regime. Under proper parameter conditions, the cooling of the mechanical-resonator chain shows a temperature gradient along the chain. This study opens a route to quantum manipulation of multiple mechanical resonators in the bad-cavity regime.


title: Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

abstract: Let F be a totally real number field of odd degree. We prove several purely local criteria for the asymptotic Fermat's Last Theorem to hold over F, and also for the non-existence of solutions to the unit equation over F. For example, if 2 totally ramifies and 3 splits completely in F, then the asymptotic Fermat's Last Theorem holds over F.


title: Sharp second order uncertainty principles

abstract: We study sharp second order inequalities of Caffarelli-Kohn-Nirenberg type in the euclidian space $\mathbb{R}^{N}$, where $N$ denotes the dimension. This analysis is equivalent to the study of uncertainty principles for special classes of vector fields. In particular, we show that when switching from scalar fields $u: \rr^n\rightarrow \mathbb{C}$ to vector fields of the form $\vec{u}:=\nabla U$ ($U$ being a scalar field) the best constant in the Heisenberg Uncertainty Principle (HUP) increases from $\frac{N^{2}}{4}$ to $\frac{(N+2)^{2}}{4}$, and the optimal constant in the Hydrogen Uncertainty Principle (HyUP) improves from $\frac{\left( N-1\right)^{2}}{4}$ to $\frac{(N+1)^{2}}{4}$. As a consequence of our results we answer to the open question of Maz'ya (Integral Equations Operator Theory 2018) in the case $N=2$ regarding the HUP for divergence free vector fields.


title: The fate of nonlinear perturbations near the QCD critical point

abstract: The impact of the QCD critical point on the propagation of nonlinear waves has been studied. The effects have been investigated within the scope of second-order causal dissipative hydrodynamics by incorporating the critical point into the equation of state, and the scaling behaviour of transport coefficients and of thermodynamic response functions. Near the critical point, the nonlinear waves are found to be significantly damped which may result in the disappearance of the Mach cone effects of the away side jet. Such damping may lead to enhancement in the fluctuations of elliptic and higher flow coefficients. Therefore, the disappearance of Mach cone effects and the enhancement of fluctuations in flow harmonics in the event-by-event analysis may be considered as signals of the critical endpoint.


title: Revisiting 70 years of lattice dynamics of BaTiO3: Combined first principle and experimental investigation

abstract: BaTiO3 is a classical ferroelectric studied for last one century for its ferroelectric properties. Lattice dynamics of BaTiO3 is crucial as the utility of devices is governed by phonons. In this work, we show that traditional characterization of the polar phonon modes is ambiguous and often misinterpreted. By combining Raman, Neutron and X-ray diffraction, dielectric spectroscopic observations with first principle calculations, we have re-examined the character of the normal modes of phonons of BaTiO3. We obtained Eigen displacements of vibrational modes through DFT calculations and reclassified the polar modes being Slater (Ti-O), Last (Ba-TiO3) and Axe (BO6) vibrations by correlating experimental and theoretical calculations. The study thus provides correct nomenclature of the polar modes along with the evidence of presence of short range polar distortions along (111) directions in all the phases shown by BaTiO3. The Burns temperature and absence of second order contributions have been witnessed in the temperature dependent Raman study.


title: Testing whether a Learning Procedure is Calibrated

abstract: A learning procedure takes as input a dataset and performs inference for the parameters $\theta$ of a model that is assumed to have given rise to the dataset. Here we consider learning procedures whose output is a probability distribution, representing uncertainty about $\theta$ after seeing the dataset. Bayesian inference is a prime example of such a procedure, but one can also construct other learning procedures that return distributional output. This paper studies conditions for a learning procedure to be considered calibrated, in the sense that the true data-generating parameters are plausible as samples from its distributional output. A learning procedure whose inferences and predictions are systematically over- or under-confident will fail to be calibrated. On the other hand, a learning procedure that is calibrated need not be statistically efficient. A hypothesis-testing framework is developed in order to assess, using simulation, whether a learning procedure is calibrated. Several vignettes are presented to illustrate different aspects of the framework.


title: Mitigating photorefractive effect in thin-filmlithium niobate microring resonators

abstract: Thin-film lithium niobate is an attractive integrated photonics platform due to its low optical loss and favorable optical nonlinear and electro-optic properties. However, in applications such as second harmonic generation, frequency comb generation, and microwave-to-optics conversion, the device performance is strongly impeded by the photorefractive effect inherent in thin-films. In this paper, we show that the dielectric cladding on lithium niobate microring resonator has a significant influence on the photorefractive effect. By removing the dielectric cladding layer, the photorefractive effect in lithium niobate ring resonators can be effectively mitigated. Our work presents a reliable approach to control the photorefractive effect on thin-film lithium niobate and will further advance the performance of integrated classical and quantum photonic devices based on thin-film lithium niobate.


title: Consecutive primes in short intervals

abstract: We obtain a lower bound for \[ \#\{x/2< p_{n}\leq x:\ p_n \equiv\ldots\equiv p_{n+m}\equiv a\text{ (mod $q$)},\ p_{n+m} - p_{n}\leq y\}, \] where $p_{n}$ is the $n^{\text{th}}$ prime.


title: On bifurcation behavior of hard magnetic soft cantilevers

abstract: Hard magnetic materials belong to a novel class of soft active materials with the capability of quick, large, and complex deformation via applying an external actuation. They have an extensive range of potential applications in soft robots, biomedical devices, and stretchable electronics, etc. Recently, investigation on the experimental and theoretical nonlinear mechanics of hard magnetic soft cantilevers has received notable considerations. In the available analyses, the most attention was paid to the non-bifurcation-type nonlinear mechanics of the system, and bifurcation was considered for a specific case. In the current study, the general trend of bifurcation-type nonlinear mechanics of hard magnetic soft cantilevers is introduced and the effective parameters on the occurrence of bifurcation are identified. Additionally, new trajectories due to the bifurcation and the corresponding workspace are presented. Eventually, a comprehensive comparative study between the new trajectories and workspace with those reported in the prior studies is carried out.


title: Subconvexity for $GL(3) \times GL(2)$ $L$-functions in the depth aspect

abstract: In this article, we will prove subconvex bounds for $GL(3) \times GL(2)$ $L$-functions in the depth aspect.


title: Arithmetization of well-formed parenthesis strings. Motzkin Numbers of the Second Kind

abstract: In this paper, we perform an arithmetization of well-formed parenthesis strings with zeros (Motzkin words) and of corresponding Motzkin paths. The transformations used are reminiscent of G\"odel numbering for mathematical objects of some formal language. We construct a Motzkin series that is as close as possible to natural numbers by many formal features. Parenthesis strings are encoded by ternary codes and corresponding natural numbers, Motzkin numbers of the 2nd kind, which made it possible to formalize and simplify the analysis of the successor function, to specify and clarify the procedure for selecting a successor. In the process of arithmetization of well-wormed parenthesis strings, various special numbers appeared. In this regard, in conclusion we will talk a little about numbers of the form $3^n+2$ and mirror numbers $2*3^n+1$.


title: G-Global Homotopy Theory and Algebraic K-Theory

abstract: We develop the foundations of $G$-global homotopy theory as a synthesis of classical equivariant homotopy theory on the one hand and global homotopy theory in the sense of Schwede on the other hand. Using this framework, we then introduce the $G$-global algebraic $K$-theory of small symmetric monoidal categories with $G$-action, unifying $G$-equivariant algebraic $K$-theory, as considered for example by Shimakawa, and Schwede's global algebraic $K$-theory. As an application of the theory, we prove that the $G$-global algebraic $K$-theory functor exhibits the category of small symmetric monoidal categories with $G$-action as a model of connective $G$-global stable homotopy theory, generalizing and strengthening a classical non-equivariant result due to Thomason. This in particular allows us to deduce the corresponding statements for global and equivariant algebraic $K$-theory.


title: The SOXS scheduler for remote operation at LaSilla:Concept and design

abstract: In this paper we present the SOXS Scheduler, a web-based application aimed at optimising remote observations at the NTT-ESO in the context of scientific topics of both the SOXS Consortium and regular ESO proposals.This paper will give details of how detected transients from various surveys are inserted, prioritised, and selected for observations with SOXS at the NTT while keeping the correct sharing between GTO time (for the SOXSConsortium) and the regularly approved observing time from ESO proposals. For the 5-years of operation ofSOXS this vital piece of software will provide a night-by-night dynamical schedule, allowing the user to face rapid changes during the operations that might come from varying weather conditions or frequent target of opportunity (ToO) observations that require a rapid response. The scheduler is developed with high available and scalable architecture in mind and it implements the state-of-the-art technologies for API Restful application like Docker Containers, API Gateway, and Python-based Flask frameworks.


title: The SOXS Data-Reduction Pipeline

abstract: The SOXS is a dual-arm spectrograph (UV-VIS & NIR) and AC due to mounted on the ESO 3.6m NTT in La Silla. Designed to simultaneously cover the optical and NIR wavelength range from 350-2050 nm, the instrument will be dedicated to the study of transient and variable events with many Target of Opportunity requests expected. The goal of the SOXS Data Reduction pipeline is to use calibration data to remove all instrument signatures from the SOXS scientific data frames for each of the supported instrument modes, convert this data into physical units and deliver them with their associated error bars to the ESO SAF as Phase 3 compliant science data products, all within 30 minutes. The primary reduced product will be a detrended, wavelength and flux calibrated, telluric corrected 1D spectrum with UV-VIS + NIR arms stitched together. The pipeline will also generate QC metrics to monitor telescope, instrument and detector health. The pipeline is written in Python 3 and has been built with an agile development philosophy that includes adaptive planning and evolutionary development. The pipeline is to be used by the SOXS consortium and the general user community that may want to perform tailored processing of SOXS data. Test driven development has been used throughout the build using `extreme' mock data. We aim for the pipeline to be easy to install and extensively and clearly documented.


title: The AIV strategy of the Common Path of Son of X-Shooter

abstract: Son Of X-Shooter (SOXS) is a double-armed (UV-VIS, NIR) spectrograph designed to be mounted at the ESO-NTT in La Silla, now in its Assembly Integration and Verification (AIV) phase. The instrument is designed following a modular approach so that each sub-system can be integrated in parallel before their assembly at system level. INAF-Osservatorio Astronomico di Padova will deliver the Common Path (CP) sub-system, which represents the backbone of the entire instrument. In this paper, we describe the foreseen operation for the CP alignment and we report some results already achieved, showing that we envisaged the suitable setup and the strategy to meet the opto-mechanical requirements.


title: SOXS: Effects on optical performances due to gravity flexures, temperature variations, and subsystems alignment

abstract: SOXS (Son Of X-Shooter) is the new medium resolution wide-band spectrograph to be installed at the 3.6m New Technology Telescope (NTT) in La Silla. SOXS will offer simultaneous wavelength coverage from 0.35 to 2.0 {\mu}m and will be dedicated to the study of transient and variable sources. While nominal optical performances of the system were presented in previous proceedings (arXiv:1809.01521), we here present a set of further analyses aimed to identify and quantify optical effects, due to changes in temperature and orientation of the instrument during alignment and operations.


title: Progress on the UV-VIS arm of SOXS

abstract: We present our progress on the UV-VIS arm of Son Of X-Shooter (SOXS), a new spectrograph for the NTT. Our design splits the spectral band into four sub-bands that are imaged onto a single detector. Each band uses an optimized high efficiency grating that operates in 1st order (m=1). In our previous paper we presented the concept and preliminary design. SOXS passed a Final Design Review in July 2018 and is well into the construction phase. Here we present the final design, performances of key manufactured elements, and the progress in the assembly. Based on the as-built elements, the expected throughput of the visual arm will be >55%. This paper is accompanied by a series of contributions describing the progress made on the SOXS instrument.


title: Final design and development status of the acquisition and guiding system for SOXS

abstract: SOXS (Son Of X-Shooter) will be the new medium resolution (R~4500 for 1'' slit), high-efficiency, wide band spectrograph for the ESO NTT at La Silla, optimized for classification and follow-up of transient events. SOXS will simultaneously cover UV optical and NIR bands (0.35-2.00 micron) using two different arms and a pre-slit Common Path feeding system. The instrument will be also equipped by a Calibration Unit and an Acquisition Camera (AC) System. In this paper we present the final opto-mechanical design for the AC System and we describe its development status. The project is currently in manufacturing and integration phases.


title: Development status of the SOXS instrument control software

abstract: SOXS (Son Of X-Shooter) is a forthcoming instrument for ESO-NTT, mainly dedicated to the spectroscopic study of transient events and is currently starting the AIT (Assembly, Integration, and Test) phase. It foresees a visible spectrograph, a near-Infrared (NIR) spectrograph, and an acquisition camera for light imaging and secondary guiding. The optimal setup and the monitoring of SOXS are carried out with a set of software-controlled motorized components and sensors. The instrument control software (INS) also manages the observation and calibration procedures, as well as maintenance and self-test operations. The architecture of INS, based on the latest release of the VLT Software (VLT2019), has been frozen; the code development is in an advanced state for what concerns supported components and observation procedures, which run in simulation. In this proceeding we present the INS current status, focusing in particular on the ongoing efforts in the support of two non-standard, "special" devices. The first special device is the piezoelectric slit exchanger for the NIR spectrograph; the second special device is the piezoelectric tip-tilt corrector used for active compensation of mechanical flexures of the instrument.


title: SOXS End-to-End simulator: development and applications for pipeline design

abstract: We present the development of the End-to-End simulator for the SOXS instrument at the ESO-NTT 3.5-m telescope. SOXS will be a spectroscopic facility, made by two arms high efficiency spectrographs, able to cover the spectral range 350-2000 nm with resolving power R=4500. The E2E model allows to simulate the propagation of photons starting from the scientific target of interest up to the detectors. The outputs of the simulator are synthetic frames, which will be mainly exploited for optimizing the pipeline development and possibly assisting for proper alignment and integration phases in laboratory and at the telescope. In this paper, we will detail the architecture of the simulator and the computational model, which are strongly characterized by modularity and flexibility. Synthetic spectral formats, related to different seeing and observing conditions, and calibration frames to be ingested by the pipeline are also presented.


title: Design and development of the SOXS calibration unit

abstract: SOXS is a new spectrograph for the New Technology Telescope (NTT), optimized for transient and variable objects, covering a wide wavelength range from 350 to 2000 nm. SOXS is equipped with a calibration unit that will be used to remove the instrument signatures and to provide wavelength calibration to the data. The calibration unit will employ seven calibration lamps: a quartz-tungsten-halogen and a deuterium lamp for the flat-field correction, a ThAr lamp and four pencil-style rare-gas lamps for the wavelength calibration. The light from the calibration lamps is injected into the spectrograph mimicking the f/11 input beam of the NTT, by using an integrating sphere and a custom doublet. The oversized illumination patch covers the length of the spectrograph slit homogeneously, with $< 1\%$ variation. The optics also supports the second mode of the unit, the star-simulator mode that emulates a point source by utilizing a pinhole mask. Switching between the direct illumination and pinhole modes is performed by a linear stage. A safety interlock switches off the main power when the lamp box cover is removed, preventing accidental UV exposure to the service personnel. All power supplies and control modules are located in an electronic rack at a distance from the telescope platform. In this presentation we describe the optical, mechanical, and electrical designs of the SOXS calibration unit, and report the status of development in which the unit is currently in the test and verification stage.


title: Adorym: A multi-platform generic x-ray image reconstruction framework based on automatic differentiation

abstract: We describe and demonstrate an optimization-based x-ray image reconstruction framework called Adorym. Our framework provides a generic forward model, allowing one code framework to be used for a wide range of imaging methods ranging from near-field holography to and fly-scan ptychographic tomography. By using automatic differentiation for optimization, Adorym has the flexibility to refine experimental parameters including probe positions, multiple hologram alignment, and object tilts. It is written with strong support for parallel processing, allowing large datasets to be processed on high-performance computing systems. We demonstrate its use on several experimental datasets to show improved image quality through parameter refinement.


title: Wasserstein Dropout

abstract: Despite of its importance for safe machine learning, uncertainty quantification for neural networks is far from being solved. State-of-the-art approaches to estimate neural uncertainties are often hybrid, combining parametric models with explicit or implicit (dropout-based) ensembling. We take another pathway and propose a novel approach to uncertainty quantification for regression tasks, Wasserstein dropout, that is purely non-parametric. Technically, it captures aleatoric uncertainty by means of dropout-based sub-network distributions. This is accomplished by a new objective which minimizes the Wasserstein distance between the label distribution and the model distribution. An extensive empirical analysis shows that Wasserstein dropout outperforms state-of-the-art methods, on vanilla test data as well as under distributional shift, in terms of producing more accurate and stable uncertainty estimates.


title: Adaptive Radar Detection and Classification Algorithms for Multiple Coherent Signals

abstract: In this paper, we address the problem of target detection in the presence of coherent (or fully correlated) signals, which can be due to multipath propagation effects or electronic attacks by smart jammers. To this end, we formulate the problem at hand as a multiple-hypothesis test that, besides the conventional radar alternative hypothesis, contains additional hypotheses accounting for the presence of an unknown number of interfering signals. In this context and leveraging the classification capabilities of the Model Order Selection rules, we devise penalized likelihood-ratio-based detection architectures that can establish, as a byproduct, which hypothesis is in force. Moreover, we propose a suboptimum procedure to estimate the angles of arrival of multiple coherent signals ensuring (at least for the considered parameters) almost the same performance as the exhaustive search. Finally, the performance assessment, conducted over simulated data and in comparison with conventional radar detectors, highlights that the proposed architectures can provide satisfactory performance in terms of probability of detection and correct classification.


title: The Less Intelligent the Elements, the More Intelligent the Whole. Or, Possibly Not?

abstract: We explore a Leviathan analogy between neurons in a brain and human beings in society, asking ourselves whether individual intelligence is necessary for collective intelligence to emerge and, most importantly, what sort of individual intelligence is conducive of greater collective intelligence. We first review disparate insights from connectionist cognitive science, agent-based modeling, group psychology, economics and physics. Subsequently, we apply these insights to the sort and degrees of intelligence that in the Lotka-Volterra model lead to either co-existence or global extinction of predators and preys. We find several individual behaviors -- particularly of predators -- that are conducive to co-existence, eventually with oscillations around an equilibrium. However, we also find that if both preys and predators are sufficiently intelligent to extrapolate one other's behavior, co-existence comes along with indefinite growth of both populations. Since the Lotka-Volterra model is also interpreted to represent the business cycle, we understand this finding as a condition for economic growth around oscillations. Specifically, we hypothesize that pre-modern societies may not have exhibited limitless growth also because capitalistic future-oriented thinking based on saving and investing concerned at most a fraction of the population.


title: Dynamical Masses of Young Stars Inferred from Two Transitions of CO with ALMA

abstract: Stellar masses are fundamental but often difficult to measure. Thanks to the Atacama Large Millimeter Array (ALMA) and $Gaia$, dynamical masses of pre-main sequence stars can be precisely measured using the Keplerian rotation of protoplanetary disks. We used ALMA CO(2-1) and CO(3-2) observations of CT Cha and DS Tau to determine their masses by modeling the geometry, kinematics, and physical properties of their disks with a Bayesian-based radiative transfer modeling code $pdspy$. We found that the posterior distributions of the masses from the two transitions are inconsistent at the 2-4 $\sigma$ level. These systematic errors may originate from assumptions in the disk model, or perhaps the modest spatial or spectral resolutions used in this study. Regardless, this indicates that dynamical mass measurements using disk kinematics should be treated with caution when using only a single transition line because of these systematic errors.


title: Discrete Mathematics

abstract: The purpose of the present work is to provide short and supple teaching notes for a $30$ hours introductory course on elementary \textit{Enumerative Algebraic Combinatorics}. We fully adopt the \textit{Rota way}. The themes are organized into a suitable sequence that allows us to derive any result from the preceding ones by elementary processes. Definitions of \textit{combinatorial coefficients} are just by their \textit{combinatorial meaning}. The derivation techniques of formulae/results are founded upon constructions and two general and elementary principles/methods: - The \textit{bad element} method (for \textit{recursive} formulae). As the reader should recognize, the bad element method might be regarded as a combinatorial companion of the idea of \textit{conditional probability}. - The \textit{overcounting} principle (for \textit{close form} formulae). Therefore, \textit{no computation} is required in \textit{proofs}: \textit{computation formulae are byproducts of combinatorial constructions}. We tried to provide a self-contained presentation: the only prerequisite is standard high school mathematics. We limited ourselves to the \textit{combinatorial point of view}: we invite the reader to draw the (obvious) \textit{probabilistic interpretations}.


title: Derangements and Continued Fractions for $e$

abstract: Several continued fraction expansions for $e$ have been produced by an automated conjecture generator (ACG) called \emph{The Ramanujan Machine}. Some of these were already known, some have recently been proved and some remain unproven. While an ACG can produce interesting putative results, it gives very limited insight into their significance. In this paper, we derive an elegant continued fraction expansion, equivalent to a result from the Ramanujan Machine, using the sequence of ratios of factorials to subfactorials or derangement numbers.


title: Manufacturing, integration, and mechanical verification of SOXS

abstract: SOXS (Son Of X-Shooter) is a medium resolution (~4500) wide-band (0.35 - 2.0 {\mu}m) spectrograph which passed the Final Design Review in 2018. The instrument is planned to be installed at the NTT in La Silla and it is mainly composed by five different optomechanical subsystems (Common Path, NIR spectrograph, UV-VIS spectrograph, Camera, and Calibration) and other mechanical subsystems (Interface flange, Platform, cable corotator, and cooling). It is currently in the procurement and integration phase. In this paper we present the post-FDR modifications in the mechanical design due to the various iterations with the manufacturers and the actual procurement status. The last part describes the strategy used to keep under control the mechanical interfaces between the subsystems.


title: Orthogonal symmetric matrices and joins of graphs

abstract: We introduce a notion of compatibility for multiplicity matrices. This gives rise to a necessary condition for the join of two (possibly disconnected) graphs $G$ and $H$ to be the pattern of an orthogonal symmetric matrix, or equivalently, for the minimum number of distinct eigenvalues $q$ of $G\vee H$ to be equal to two. Under additional hypotheses, we show that this necessary condition is also sufficient. As an application, we prove that $q(G\vee H)$ is either two or three when $G$ and $H$ are unions of complete graphs, and we characterise when each case occurs.


title: Measuring Phase Errors in the Presence of Scintillation

abstract: Strong turbulence conditions create amplitude aberrations through the effects of near-field diffraction. When integrated over long optical path lengths, amplitude aberrations (seen as scintillation) can nullify local areas in the recorded image of a coherent beam, complicating the wavefront reconstruction process. To estimate phase aberrations experienced by a telescope beam control system in the presence of strong turbulence, the wavefront sensor (WFS) of an adaptive optics must be robust to scintillation. We have designed and built a WFS, which we refer to as a "Fresnel sensor," that uses near-field diffraction to measure phase errors under moderate to strong turbulent conditions. Systematic studies of its sensitivity were performed with laboratory experiments using a point source beacon. The results were then compared to a Shack-Hartmann WFS (SHWFS). When the SHWFS experiences irradiance fade in the presence of moderate turbulence, the Fresnel WFS continues to routinely extract phase information. For a scintillation index of $S = 0.55$, we show that the Fresnel WFS offers a factor of $9\times$ gain in sensitivity over the SHWFS. We find that the Fresnel WFS is capable of operating with extremely low light levels, corresponding to a signal-to-noise ratio of only $\mbox{SNR}\approx 2-3$ per pixel. Such a device is well-suited for coherent beam propagation, laser communications, remote sensing, and applications involving long optical path-lengths, site-lines along the horizon, and faint signals.


title: NetworkDynamics.jl -- Composing and simulating complex networks in Julia

abstract: NetworkDynamics.jl is an easy-to-use and computationally efficient package for working with heterogeneous dynamical systems on complex networks, written in Julia, a high-level, high-performance, dynamic programming language. By combining state of the art solver algorithms from DifferentialEquations.jl with efficient data structures, NetworkDynamics.jl achieves top performance while supporting advanced features like events, algebraic constraints, time-delays, noise terms and automatic differentiation.


title: Library of efficient algorithms for phylogenetic analysis

abstract: Evolutionary relationships between species are usually inferred through phylogenetic analysis, which provides phylogenetic trees computed from allelic profiles built by sequencing specific regions of the sequences and abstracting them to categorical indexes. With growing exchanges of people and merchandise, epidemics have become increasingly important, and combining information of country-specific datasets can now reveal unknown spreading patterns. The phylogenetic analysis workflow is mainly composed of four consecutive steps, the distance calculation, distance correction, inference algorithm, and local optimization steps. There are many phylogenetic tools out there, however most implement only some of these steps and serve only one single purpose, such as one type of algorithm. Another problem with these is that they are often hard to use and integrate, since each of them has its own API. This project resulted a library that implements the four steps of the workflow, and is highly performant, extensible, reusable, and portable, while providing common APIs and documentation. It also differs from other tools in the sense that, it is able to stop and resume the workflow whenever the user desires, and it was built to be continuously extended and not just serve a single purpose. The time benchmarks conducted on this library show that its implementations of the algorithms conform to their theoretical time complexity. Meanwhile, the memory benchmarks showcase that the implementations of the NJ algorithms follow a linear memory complexity, while the implementations of the MST and GCP algorithms follow a quadratic memory complexity.


title: Cooperative dynamics in the Fiber Bundle Model

abstract: We discuss the cooperative failure dynamics in the Fiber Bundle Model where the individual elements or fibers are Hookean springs, having identical spring constant but different breaking strengths. When the bundle is stressed or strained, especially in the equal-load-sharing scheme, the load supported by the failed fiber gets shared equally by the rest of the surviving fibers. This mean-field type statistical feature (absence of fluctuations) in the load-sharing mechanism helped major analytical developments in the study of breaking dynamics in the model and precise comparisons with simulation results. We intend to present a brief review on these developments.


title: Marcus' electron transfer rate revisited via a Rice-Ramsperger-Kassel-Marcus analogue: A unified formalism for linear and nonlinear solvation scenarios

abstract: In the pioneering work by R. A. Marcus, the solvation effect on electron transfer (ET) processes was investigated, giving rise to the celebrated nonadiabatic ET rate formula. In this work, on the basis of the thermodynamic solvation potentials analysis, we reexamine Marcus' formula with respect to the Rice-Ramsperger-Kassel-Marcus (RRKM) theory. Interestingly, the obtained RRKM analogue, which recovers the original Marcus' rate that is in a linear solvation scenario, is also applicable to the nonlinear solvation scenarios, where the multiple curve{crossing of solvation potentials exists. Parallelly, we revisit the corresponding Fermi's golden rule results, with some critical comments against the RRKM analogue proposed in this work. For illustration, we consider the quadratic solvation scenarios, on the basis of physically well-supported descriptors.


title: Software Pipelining for Quantum Loop Programs

abstract: We propose a method for performing software pipelining on quantum for-loop programs, exploiting parallelism in and across iterations. We redefine concepts that are useful in program optimization, including array aliasing, instruction dependency and resource conflict, this time in optimization of quantum programs. Using the redefined concepts, we present a software pipelining algorithm exploiting instruction-level parallelism in quantum loop programs. The optimization method is then evaluated on some test cases, including popular applications like QAOA, and compared with several baseline results. The evaluation results show that our approach outperforms loop optimizers exploiting only in-loop optimization chances by reducing total depth of the loop program to close to the optimal program depth obtained by full loop unrolling, while generating much smaller code in size. This is the first step towards optimization of a quantum program with such loop control flow as far as we know.


title: Loops and polarization in strong-field QED

abstract: In a previous paper we showed how higher-order strong-field-QED processes in long laser pulses can be approximated by multiplying sequences of "strong-field Mueller matrices". We obtained expressions that are valid for arbitrary field shape and polarization. In this paper we derive practical approximations of these Mueller matrices in the locally-constant- and the locally-monochromatic-field regimes. We allow for arbitrary laser polarization as well as arbitrarily polarized initial and final particles. The spin and polarization can also change due to loop contributions (the mass operator for electrons and the polarization operator for photons). We derive Mueller matrices for these as well.


title: Systemic Risk in Financial Networks: A Survey

abstract: We provide an overview of the relationship between financial networks and systemic risk. We present a taxonomy of different types of systemic risk, differentiating between direct externalities between financial organizations (e.g., defaults, correlated portfolios and firesales), and perceptions and feedback effects (e.g., bank runs, credit freezes). We also discuss optimal regulation and bailouts, measurements of systemic risk and financial centrality, choices by banks' regarding their portfolios and partnerships, and the changing nature of financial networks.


title: Development status of the SOXS spectrograph for the ESO-NTT telescope

abstract: SOXS (Son Of X-Shooter) is a single object spectrograph, characterized by offering a wide simultaneous spectral coverage from U- to H-band, built by an international consortium for the 3.6-m ESO New Technology Telescope at the La Silla Observatory, in the Southern part of the Chilean Atacama Desert. The consortium is focussed on a clear scientific goal: the spectrograph will observe all kind of transient and variable sources discovered by different surveys with a highly flexible schedule, updated daily, based on the Target of Opportunity concept. It will provide a key spectroscopic partner to any kind of imaging survey, becoming one of the premier transient follow-up instruments in the Southern hemisphere. SOXS will study a mixture of transients encompassing all distance scales and branches of astronomy, including fast alerts (such as gamma-ray bursts and gravitational waves), mid-term alerts (such as supernovae and X-ray transients), and fixed-time events (such as the close-by passage of a minor planet or exoplanets). It will also have the scope to observe active galactic nuclei and blazars, tidal disruption events, fast radio bursts, and more. Besides of the consortium programs on guaranteed time, the instrument is offered to the ESO community for any kind of astrophysical target. The project has passed the Final Design Review and is currently in manufacturing and integration phase. This paper describes the development status of the project.


title: Estimating The Effect Of Subscription based Streaming Services On The Demand For Game Consoles

abstract: In this paper, we attempt to estimate the effect of the implementation of subscription-based streaming services on the demand of the associated game consoles. We do this by applying the BLP demand estimation model proposed by Berry (1994). This results in a linear demand specification which can be identified using conventional identification methods such as instrumental variables estimation and fixed-effects models. We find that given our dataset, the two-stage least squares (2SLS) regression provides us with convincing estimates that subscription-based streaming services does have a positive effect on the demand of game consoles as proposed by the general principle of complementary goods.


title: On distance matrices of helm graphs obtained from wheel graphs with an even number of vertices

abstract: Let $n \geq 4$. The helm graph $H_n$ on $2n-1$ vertices is obtained from the wheel graph $W_n$ by adjoining a pendant edge to each vertex of the outer cycle of $W_n$. Suppose $n$ is even. Let $D := [d_{ij}]$ be the distance matrix of $H_n$. In this paper, we first show that $\det(D) = 3(n-1)2^{n-1}.$ Next, we find a matrix $\L$ and a vector $u$ such that \[D^{-1} = -\frac{1}{2}\L+\frac{4}{3(n-1)}uu'.\] We also prove an interlacing property between the eigenvalues of $\L$ and $D$.


title: Singular solutions of the Yamabe problem in the Heisenberg group and their bifurcation

abstract: We prove the existence of a homogeneous singular solution of the critical equation $$-\Delta u = u^{\frac{Q+2}{Q-2}}$$ on the Heisenberg group $H^n$, where $Q$ is the \textit{homogeneous dimension}. In order to do this, we introduce a suitable concept of normal curvature for hypersurfaces. Furthermore we study the bifurcation of non-homogeneous solutions from the homogeneous one.


title: Linear position measurements with minimum error-disturbance in each minimum uncertainty state

abstract: In quantum theory, measuring process is an important physical process; it is a quantum description of the interaction between the system of interest and the measuring device. Error and disturbance are used to quantitatively check the performance of the measurement, and are defined by using measuring process. Uncertainty relations are a general term for relations that provide constraints on them, and actively studied. However, the true error-disturbance bound for position measurements is not known yet. Here we concretely construct linear position measurements with minimum error-disturbance in each minimum uncertainty state. We focus on an error-disturbance relation (EDR), called the Branciard-Ozawa EDR, for position measurements. It is based on a quantum root-mean-square (q-rms) error and a q-rms disturbance. We show the theorem that gives a necessary and sufficient condition for a linear position measurement to achieve its lower bound in a minimum uncertainty state, and explicitly give exactly solvable linear position measurements achieving its lower bound in the state. We then give probability distributions and states after the measurement when using them. It is expected to construct measurements with minimum error-disturbance in a broader class of states in the future, which will lead to a new understanding of quantum limits, including uncertainty relations.


title: Matricial Proofs of Some Classical Results about Critical Point Location

abstract: The Gauss--Lucas and B\^{o}cher--Grace--Marden theorems are classical results in the geometry of polynomials. Proofs of the these results are available in the literature, but the approaches are seemingly different. In this work, we show that these theorems can be proven in a unified theoretical framework utilizing matrix analysis (in particular, using the field of values and the differentiator of a matrix). In addition, we provide a useful variant of a well-known result due to Siebeck.


title: Domain wall thickness and deformations of the field model

abstract: We consider the change in the asymptotic behavior of solutions of the type of flat domain walls (i.e., kink solutions) in field-theoretic models with a real scalar field. We show that when the model is deformed by a bounded deforming function, the exponential asymptotics of the corresponding kink solutions remain exponential, while the power-law ones remain power-law. However, the parameters of these asymptotics, which are related to the wall thickness, can change.


title: Existence and Computation of Maximin Fair Allocations Under Matroid-Rank Valuations

abstract: We study fair and economically efficient allocation of indivisible goods among agents whose valuations are rank functions of matroids. Such valuations constitute a well-studied class of submodular functions (i.e., they exhibit a diminishing returns property) and model preferences in several resource-allocation settings. We prove that, for matroid-rank valuations, a social welfare-maximizing allocation that gives each agent her maximin share always exists. Furthermore, such an allocation can be computed in polynomial time. We establish similar existential and algorithmic results for the pairwise maximin share guarantee as well. To complement these results, we show that if the agents have binary XOS valuations or weighted-rank valuations, then maximin fair allocations are not guaranteed to exist. Both of these valuation classes are immediate generalizations of matroid-rank functions.


title: From thin to thick domain walls: An example of the $\varphi^8$ model

abstract: We demonstrate that for some certain values of parameters of the $(1+1)$-dimensional $\varphi^8$ model, the kink solutions can be found from polynomial equations. For some selected values of the parameters we give the explicit formulas for the kinks in all topological sectors of the model. Based on the obtained algebraic equations, we show that in a special limiting case, kinks with power-law asymptotics arise in the model, describing, in particular, thick domain walls. Objects of this kind could be of interest for modern cosmology.


title: Chest x-ray automated triage: a semiologic approach designed for clinical implementation, exploiting different types of labels through a combination of four Deep Learning architectures

abstract: BACKGROUND AND OBJECTIVES: The multiple chest x-ray datasets released in the last years have ground-truth labels intended for different computer vision tasks, suggesting that performance in automated chest-xray interpretation might improve by using a method that can exploit diverse types of annotations. This work presents a Deep Learning method based on the late fusion of different convolutional architectures, that allows training with heterogeneous data with a simple implementation, and evaluates its performance on independent test data. We focused on obtaining a clinically useful tool that could be successfully integrated into a hospital workflow. MATERIALS AND METHODS: Based on expert opinion, we selected four target chest x-ray findings, namely lung opacities, fractures, pneumothorax and pleural effusion. For each finding we defined the most adequate type of ground-truth label, and built four training datasets combining images from public chest x-ray datasets and our institutional archive. We trained four different Deep Learning architectures and combined their outputs with a late fusion strategy, obtaining a unified tool. Performance was measured on two test datasets: an external openly-available dataset, and a retrospective institutional dataset, to estimate performance on local population. RESULTS: The external and local test sets had 4376 and 1064 images, respectively, for which the model showed an area under the Receiver Operating Characteristics curve of 0.75 (95%CI: 0.74-0.76) and 0.87 (95%CI: 0.86-0.89) in the detection of abnormal chest x-rays. For the local population, a sensitivity of 86% (95%CI: 84-90), and a specificity of 88% (95%CI: 86-90) were obtained, with no significant differences between demographic subgroups. We present examples of heatmaps to show the accomplished level of interpretability, examining true and false positives.


title: Inertial effects on the Brownian gyrator

abstract: The recent interest into the Brownian gyrator has been confined chiefly to the analysis of Brownian dynamics both in theory and experiment despite the applicability of general cases with definite mass. Considering mass explicitly in the solution of the Fokker--Planck equation and Langevin dynamics simulations, we investigate how inertia can change the dynamics and energetics of the Brownian gyrator. In the Langevin model, the inertia reduces the nonequilibrium effects by diminishing the declination of the probability density function and the mean of a specific angular momentum, $j_\theta$, as a measure of rotation. Another unique feature of the Langevin description is that rotation is maximized at a particular anisotropy while the stability of the rotation is minimized at a particular anisotropy or mass. Our results suggest that the Langevin dynamics description of the Brownian gyrator is intrinsically different from that with Brownian dynamics. In addition, $j_\theta$ is proven to be essential and convenient for estimating stochastic energetics such as heat currents and entropy production even in the underdamped regime.


title: Stability of singular solutions to the Navier-Stokes system

abstract: We develop mathematical methods which allow us to study asymptotic properties of solutions to the three dimensional Navier-Stokes system for incompressible fluid in the whole three dimensional space. We deal either with the Cauchy problem or with the stationary problem where solutions may be singular due to singular external forces which are either singular finite measures or more general tempered distributions with bounded Fourier transforms. We present results on asymptotic properties of such solutions either for large values of the space variables (so called the far-field asymptotics) or for large values of time.


title: Radar Cross Section of Chipless RFID tags and BER Performance

abstract: The performance of different chipless RFID tag topologies are analysed in terms of Radar Cross Section (RCS) and Bit Error Rate (BER). It is shown that the BER is mainly determined by the tag Radar Cross Section (RCS) once that a standard reading scenario is considered and a fixed size of the tag is chosen. It is shown that the arrangement of the resonators in the chipless tag plays a crucial role in determining the cross-polar RCS of the tag. The RCS of the tag is computed theoretically by using array theory where each resonator is treated as a separate scatterer completely characterized by a specific reflection coefficient. Several resonators arrangements (periodic and non-periodic) are compared, keeping the physical area of the tag fixed. Theoretical and experimental analysis demonstrate that the periodic configuration guarantees the maximum achievable RCS thus providing a global lower BER of the chipless RFID communication system. We believe that the BER is the more meaningful and fair figure of merit for comparing the performance of different tags than bit/cm2 or bit/Hz since the increase of encoded information of the tag is useful only if it can be correctly decoded.


title: Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach

abstract: Probabilistic behavior is omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of various reasons, like uncertain environments, or fundamental properties of nature. In this paper, we extend existing hybrid process algebra $ACP_{hs}^{srt}$ with probability without replacing nondeterministic choice operator. In view of some shortcomings in existing approximate probabilistic bisimulation, we relax the constrains and propose a novel approximate probabilistic bisimulation relation. After that, we present a performance evaluation language, CTRML, to reason over probabilistic systems, which extend the results to real number. Along with the specification language, we present a set of algorithms for the evaluation of the language. Additionally, we transfer the hybrid process algebra to probabilistic transition system and show experimental results.


title: The Complexity of Translationally Invariant Problems beyond Ground State Energies

abstract: It is known that three fundamental questions regarding local Hamiltonians -- approximating the ground state energy (the Local Hamiltonian problem), simulating local measurements on the ground space (APX-SIM), and deciding if the low energy space has an energy barrier (GSCON) -- are $\mathsf{QMA}$-hard, $\mathsf{P}^{\mathsf{QMA}[log]}$-hard and $\mathsf{QCMA}$-hard, respectively, meaning they are likely intractable even on a quantum computer. Yet while hardness for the Local Hamiltonian problem is known to hold even for translationally-invariant systems, it is not yet known whether APX-SIM and GSCON remain hard in such "simple" systems. In this work, we show that the translationally invariant versions of both APX-SIM and GSCON remain intractable, namely are $\mathsf{P}^{\mathsf{QMA}_{\mathsf{EXP}}}$- and $\mathsf{QCMA}_{\mathsf{EXP}}$-complete, respectively. Each of these results is attained by giving a respective generic "lifting theorem" for producing hardness results. For APX-SIM, for example, we give a framework for "lifting" any abstract local circuit-to-Hamiltonian mapping $H$ (satisfying mild assumptions) to hardness of APX-SIM on the family of Hamiltonians produced by $H$, while preserving the structural and geometric properties of $H$ (e.g. translation invariance, geometry, locality, etc). Each result also leverages counterintuitive properties of our constructions: for APX-SIM, we "compress" the answers to polynomially many parallel queries to a QMA oracle into a single qubit. For GSCON, we give a hardness construction robust against highly non-local unitaries, i.e. even if the adversary acts on all but one qudit in the system in each step.

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


title: Compliance Generation for Privacy Documents under GDPR: A Roadmap for Implementing Automation and Machine Learning

abstract: Most prominent research today addresses compliance with data protection laws through consumer-centric and public-regulatory approaches. We shift this perspective with the Privatech project to focus on corporations and law firms as agents of compliance. To comply with data protection laws, data processors must implement accountability measures to assess and document compliance in relation to both privacy documents and privacy practices. In this paper, we survey, on the one hand, current research on GDPR automation, and on the other hand, the operational challenges corporations face to comply with GDPR, and that may benefit from new forms of automation. We attempt to bridge the gap. We provide a roadmap for compliance assessment and generation by identifying compliance issues, breaking them down into tasks that can be addressed through machine learning and automation, and providing notes about related developments in the Privatech project.


title: Moduli stacks of (phi,Gamma)-modules: a survey

abstract: This survey article is based on 10 lectures that we gave at the September 2019 Hausdorff School in Bonn on "the Emerton--Gee stack and related topics", and the sections correspond to the original lectures. We have retained the somewhat informal style of some of these lectures, but have filled them out with further details.


title: Embedding of Complete Graphs in Broken Chimera Graphs

abstract: In order to solve real world combinatorial optimization problems with a D-Wave quantum annealer it is necessary to embed the problem at hand into the D-Wave hardware graph, namely Chimera or Pegasus. Most hard real world problems exhibit a strong connectivity. For the worst case scenario of a complete graph, there exists an efficient solution for the embedding into the ideal Chimera graph. However, since real machines almost always have broken qubits it is necessary to find an embedding into the broken hardware graph. We present a new approach to the problem of embedding complete graphs into broken Chimera graphs. This problem can be formulated as an optimization problem, more precisely as a matching problem with additional linear constraints. Although being NP-hard in general it is fixed parameter tractable in the number of inaccessible vertices in the Chimera graph. We tested our exact approach on various instances of broken hardware graphs, both related to real hardware as well as randomly generated. For fixed runtime, we were able to embed larger complete graphs compared to previous, heuristic approaches. As an extension, we developed a fast heuristic algorithm which enables us to solve even larger instances. We compared the performance of our heuristic and exact approaches.


title: Nanomagnetic Self-Organizing Logic Gates

abstract: The end of Moore's law for CMOS technology has prompted the search for low-power computing alternatives, resulting in several promising proposals based on magnetic logic[1-8]. One approach aims at tailoring arrays of nanomagnetic islands in which the magnetostatic interactions constrain the equilibrium orientation of the magnetization to embed logical functionalities[9-12]. Despite the realization of several proofs of concepts of such nanomagnetic logic[13-15], it is still unclear what the advantages are compared to the widespread CMOS designs, due to their need for clocking[16, 17] and/or thermal annealing [18,19] for which fast convergence to the ground state is not guaranteed. In fact, it seems increasingly evident that "beyond CMOS" technology will require a fundamental rethinking of our computing paradigm[20]. In this respect, a type of terminal-agnostic logic was suggested[21], where a given gate is able to "self-organize" into its correct logical states, regardless of whether the signal is applied to the traditional input terminals, or the output terminals. Here, we introduce nanomagnetic self-organizing balanced logic gates, that employ stray-field coupled nanomagnetic islands to perform terminal-agnostic logic. We illustrate their capabilities by implementing reversible Boolean circuitry to solve a two-bit factorization problem via numerical modelling. In view of their design and mode of operation, we expect these systems to improve significantly over those suggested in Ref.[21], thus offering an alternative path to explore memcomputing, whose usefulness has already been demonstrated by solving a variety of hard combinatorial optimization problems[22].


title: Progress and tests on the Instrument Control Electronics for SOXS

abstract: The forthcoming SOXS (Son Of X-Shooter) will be a new spectroscopic facility for the ESO New Technology Telescope in La Silla, focused on transient events and able to cover both the UV-VIS and NIR bands. The instrument passed the Final Design Review in 2018 and is currently in manufacturing and integration phase. This paper is focused on the assembly and testing of the instrument control electronics, which will manage all the motorized functions, alarms, sensors, and electric interlocks. The electronics is hosted in two main control cabinets, divided in several subracks that are assembled to ensure easy accessibility and transportability, to simplify test, integration and maintenance. Both racks are equipped with independent power supply distribution and have their own integrated cooling systems. This paper shows the assembly strategy, reports on the development status and describes the tests performed to verify the system before the integration into the whole instrument.