title: Highlights of the Spectroscopy of Hyperons and Cascade Baryons

abstract: We highlight topical issues in hyperon spectroscopy that will be accessible when a secondary beam of neutral kaons is created in Hall D at Jefferson Lab as proposed to the JLab Program Advisory Committee. The new beam will have a flux of $10^4$ $K_L$/s. The reaction products will be analyzed in the GlueX experimental setup. We point out which physical questions need to be answered and suggest a number of novel experiments. In particular we suggest to measure the presently disputed SU(3) structure of the $\Lambda(1405)$, to search for Pentaquarks mit exotic quantum numbers and to search for baryons belonging to the SU(6) 20-plet representation.


title: Dark energy models from a parametrization of $H$: A comprehensive analysis and observational constraints

abstract: The presented paper is a comprehensive analysis of two dark energy (DE) cosmological models wherein exact solutions of the Einstein field equations (EFEs) are obtained in a model-independent way (or by cosmological parametrization). A simple parametrization of the Hubble parameter ($H$) is considered for the purpose in the flat Friedmann-Lemaitre-Robertson-Walker (FLRW) background. The parametrization of $H$ covers some known models for some specific values of the model parameters involved. Two models are of special interest which show the behavior of cosmological phase transition from the deceleration in the past to acceleration at late-times. The model parameters are constrained with $57$ points of Hubble datasets together with the $580$ points of Union $2.1$ compilation supernovae datasets and baryonic acoustic oscillation (BAO) datasets. With the constrained values of the model parameters, both the models are analyzed and compared with the standard $\Lambda $CDM model and showing nice fit to the datasets. Two different candidates of DE is considered, cosmological constant $% \Lambda $ and a general scalar field $\phi $ and their dynamics are discussed on the geometrical base built. The geometrical and physical interpretations of the two models in consideration are discussed in details and the evolution of various cosmological parameters are shown graphically. The age of the Universe in both models are also calculated. Various cosmological parametrization schemes used in the past few decades to find exact solutions of the EFEs are also summarized at the end which can serve as a unified reference for the readers.


title: Quasi Kepler's third law for quantum many-body systems

abstract: The Kepler's third law is a relation between the period and the energy of two classical particles interacting via a gravitational potential. Recent works showed that this law could be extended, at least approximately, to classical three-body systems, or even many-body classical systems. So, a classical quasi Kepler's third law seems to exist. In this paper, approximate analytical solutions are computed for quantum self-gravitating particles with different masses. The results give strong indications in favor of the existence of a quasi Kepler's third law for such systems. The relevance of the proposal is checked with accurate numerical data for the ground state of self-gravitating identical bosons and with numerical estimations for systems with identical particles plus a different one. Connections between the quantum and classical systems are discussed.


title: A Novel Approach To Particle Representations

abstract: This paper proposes a new approach to deriving a finite particle content, suitable for the construction of a gauge theory. Specifically, the outlined construction generates a finite set of irreducible gauge representations, which are interpreted as describing a full set of elementary particles. These representations are constructed from endofunctions between restricted representations of some symmetry group $G$ acting on some space $V$. As a proof of concept, we show how a set of irreducible representations arise as endofunctions on the vector space $V=\mathbb{C}^8$ equipped with the exceptional Lie group $G=G_2$ as its symmetry group. We discuss how the irreducible representations of our simple example compare to the various particle types of the Standard Model. The process through which the particle content is constructed yields adjoint, fundamental, and Higgs-like representations, thereby reproducing the essential types of particle transformations seen in the Standard Model. In particular we focus on the discrimination of gauge structures and the natural appearance of Higgs-like representations. Avenues to generalizing the construction are considered, and some inevitable consequences are discussed. We conclude by comparing our results to those of non-commutative geometry, commenting on key similarities and differences between the two approaches.


title: Diffusion NMR in periodic media: efficient computation and spectral properties

abstract: The Bloch-Torrey equation governs the evolution of the transverse magnetization in diffusion magnetic resonance imaging, where two mechanisms are at play: diffusion of spins (Laplacian term) and their precession in a magnetic field gradient (imaginary potential term). In this paper, we study this equation in a periodic medium: a unit cell repeated over the nodes of a lattice. Although the gradient term of the equation is not invariant by lattice translations, the equation can be analyzed within a single unit cell by replacing a continuous-time gradient profile by narrow pulses. In this approximation, the effects of precession and diffusion are separated and the problem is reduced to the study of a sequence of diffusion equations with pseudo-periodic boundary conditions. This representation allows for efficient numerical computations as well as new theoretical insights into the formation of the signal in periodic media. In particular, we study the eigenmodes and eigenvalues of the Bloch-Torrey operator. We show how the localization of eigenmodes is related to branching points in the spectrum and we discuss low- and high-gradient asymptotic behaviors. The range of validity of the approximation is discussed; interestingly the method turns out to be more accurate and efficient at high gradient, being thus an important complementary tool to conventional numerical methods that are most accurate at low gradients.


title: Riemannian multigrid line search for low-rank problems

abstract: Large-scale optimization problems arising from the discretization of problems involving PDEs sometimes admit solutions that can be well approximated by low-rank matrices. In this paper, we will exploit this low-rank approximation property by solving the optimization problem directly over the set of low-rank matrices. In particular, we introduce a new multilevel algorithm, where the optimization variable is constrained to the Riemannian manifold of fixed-rank matrices. In contrast to most other multilevel algorithms where the rank is chosen adaptively on each level in order to control the perturbation due to the low-rank truncation, we can keep the ranks (and thus the computational complexity) fixed throughout the iterations. Furthermore, classical implementations of line searches based on Wolfe conditions enable computing a solution where the numerical accuracy is limited to about the square root of the machine epsilon. Here, we propose an extension to Riemannian manifolds of the line search of Hager and Zhang, which uses approximate Wolfe conditions that enable computing a solution on the order of the machine epsilon. Numerical experiments demonstrate the computational efficiency of the proposed framework.


title: Sweeping by Sessile Drop Coalescence

abstract: During coalescence of liquid drops contacting a solid, the liquid sweeps wetted and solid-projected areas. The extent of sweeping dictates the performance of devices such as self-cleaning surfaces, anti-frost coatings, water harvesters, and dropwise condensers. For these applications, weakly- and non-wetting solid substrates are preferred as they enhance drop dynamical behavior. Accordingly, our coalescence studies here are restricted to drops with contact angle 90{\deg} $\le \theta_{0} \le$ 180{\deg}. Binary sessile drop coalescence is the focus, with volume of fluid simulations employed as the primary tool. The simulations, which incorporate a Kistler dynamic contact angle model, are first validated against three different experimental substrate systems and then used to study the influence of solid wettability on sweeping by modifying $\theta_{0}$. With increasing $\theta_{0}$ up to 150{\deg}, wetted and projected swept areas both increase as drop center of mass heightens. For $\theta_{0} \ge$ 150{\deg}, coalescence-induced drop jumping occurs owing to the decreasing wettability of the substrate and a focusing of liquid momentum due to the symmetry-breaking solid. In this regime, projected swept area continues to increase with $\theta_0$ while wetted swept area reaches a maximum and then decreases. The sweeping results are interpreted using the mechanical energy balance from hydrodynamic theory and also compared to free drop coalescence.


title: A network-based transfer learning approach to improve sales forecasting of new products

abstract: Data-driven methods -- such as machine learning and time series forecasting -- are widely used for sales forecasting in the food retail domain. However, for newly introduced products insufficient training data is available to train accurate models. In this case, human expert systems are implemented to improve prediction performance. Human experts rely on their implicit and explicit domain knowledge and transfer knowledge about historical sales of similar products to forecast new product sales. By applying the concept of Transfer Learning, we propose an analytical approach to transfer knowledge between listed stock products and new products. A network-based Transfer Learning approach for deep neural networks is designed to investigate the efficiency of Transfer Learning in the domain of food sales forecasting. Furthermore, we examine how knowledge can be shared across different products and how to identify the products most suitable for transfer. To test the proposed approach, we conduct a comprehensive case study for a newly introduced product, based on data of an Austrian food retailing company. The experimental results show, that the prediction accuracy of deep neural networks for food sales forecasting can be effectively increased using the proposed approach.


title: A deep neural network for molecular wave functions in quasi-atomic minimal basis representation

abstract: The emergence of machine learning methods in quantum chemistry provides new methods to revisit an old problem: Can the predictive accuracy of electronic structure calculations be decoupled from their numerical bottlenecks? Previous attempts to answer this question have, among other methods, given rise to semi-empirical quantum chemistry in minimal basis representation. We present an adaptation of the recently proposed SchNet for Orbitals (SchNOrb) deep convolutional neural network model [Nature Commun. 10, 5024 (2019)] for electronic wave functions in an optimised quasi-atomic minimal basis representation. For five organic molecules ranging from 5 to 13 heavy atoms, the model accurately predicts molecular orbital energies and wavefunctions and provides access to derived properties for chemical bonding analysis. Particularly for larger molecules, the model outperforms the original atomic-orbital-based SchNOrb method in terms of accuracy and scaling. We conclude by discussing the future potential of this approach in quantum chemical workflows.


title: A Multi-Perspective Architecture for Semantic Code Search

abstract: The ability to match pieces of code to their corresponding natural language descriptions and vice versa is fundamental for natural language search interfaces to software repositories. In this paper, we propose a novel multi-perspective cross-lingual neural framework for code--text matching, inspired in part by a previous model for monolingual text-to-text matching, to capture both global and local similarities. Our experiments on the CoNaLa dataset show that our proposed model yields better performance on this cross-lingual text-to-code matching task than previous approaches that map code and text to a single joint embedding space.


title: Effects of demand control on the complex dynamics of electric power system blackouts

abstract: The propagation of failures and blackouts in electric networks is a complex problem. Typical models, such as the ORNL-PSerc-Alaska (OPA), are based on a combination of fast and a slow dynamics. The first describes the cascading failures while the second the grid evolution though line and generation upgrades as well as demand growth, all taking place in time scales from days to years. The growing integration of renewable energy sources, whose power fluctuates in time scales from seconds to hours, together with the increase in demand, which also present fast fluctuations, require the incorporation of distributed methods of control in the demand side to avoid the high cost of ordinary control in conventional power plants. In this work, we extend the OPA model to include fluctuations in the demand at time scales of the order of minutes, intraday demand variations and the effect of demand control. We find that demand control effectively reduces the number of blackouts without increasing the probability of large-scale events.


title: Enhancement of superconducting transition temperature in electrochemically etched FeSe/LaAlO$_3$ films

abstract: In this study, we investigated the gate voltage dependence of $T_{\mathrm c}$ in electrochemically etched FeSe films with an electric-double layer transistor structure. The $T_{\mathrm c}^{\mathrm {zero}}$ value of the etched FeSe films with a lower gate voltage ($V_{\mathrm g}$ = 2.5 and 3.3 V) reaches 46 K, which is the highest value among almost all reported values from the resistivity measurements except for the data by Ge et al. This enhanced $T_{\mathrm c}$ remains unchanged even after the discharge process, unlike the results for electrostatic doping without an etching process. Our results suggest that the origin of the increase in $T_{\mathrm c}$ is not electrostatic doping but rather the electrochemical reaction at the surface of an etched films.


title: EFT anomalous dimensions from the S-matrix

abstract: We use the on-shell S-matrix and form factors to compute anomalous dimensions of higher dimension operators in the Standard Model Effective Field Theory. We find that in many instances, these computations are made simple by using the on-shell method. We first compute contributions to anomalous dimensions of operators at dimension-six that arise at one-loop. Then we calculate two-loop anomalous dimensions for which the corresponding one-loop contribution is absent, using this powerful method.


title: La variable complexe dans la premiere decennie de l'oeuvre grothendieckienne

abstract: We study Grothendieck's examples and ideas around complex variables in the years (1949-1957), his references to Riemann, and the influence on the Edinburgh ICM lecture (1958).


title: Weyl's problem: A computational approach

abstract: The distribution of eigenvalues of the wave equation in a bounded domain is known as Weyl's problem. We describe several computational projects related to the cumulative state number, defined as the number of states having wavenumber up to a maximum value. This quantity and its derivative, the density of states, have important applications in nuclear physics, degenerate Fermi gases, blackbody radiation, Bose-Einstein condensation and the Casimir effect. Weyl's theorem states that, in the limit of large wavenumbers, the cumulative state number depends only on the volume of the bounding domain and not on its shape. Corrections to this behavior are well known and depend on the surface area of the bounding domain, its curvature and other features. We describe several projects that allow readers to investigate this dependence for three bounding domains - a rectangular box, a sphere, and a circular cylinder. Quasi-one- and two-dimensional systems can be analyzed by considering various limits. The projects have applications in statistical mechanics, but can also be integrated into quantum mechanics, nuclear physics, or computational physics courses.


title: Power Cyber-Physical System Risk Area Prediction Using Dependent Markov Chain and Improved Grey Wolf Optimization

abstract: Existing power cyber-physical system (CPS) risk prediction results are inaccurate as they fail to reflect the actual physical characteristics of the components and the specific operational status. A new method based on dependent Markov chain for power CPS risk area prediction is proposed in this paper. The load and constraints of the non-uniform power CPS coupling network are first characterized, and can be utilized as a node state judgment standard. Considering the component node isomerism and interdependence between the coupled networks, a power CPS risk regional prediction model based on dependent Markov chain is then constructed. A cross-adaptive gray wolf optimization algorithm improved by adaptive position adjustment strategy and cross-optimal solution strategy is subsequently developed to optimize the prediction model. Simulation results using the IEEE 39-BA 110 test system verify the effectiveness and superiority of the proposed method.


title: The universality of skipping behaviours on music streaming platforms

abstract: A recent study of skipping behaviour on music streaming platforms has shown that the skip profile for a given song -- i.e. the measure of the skipping rate as a function of the time in the song -- can be seen as some intrinsic characteristic of the song, in the sense that it is both very specific and highly stable over time and geographical regions. In this paper, we take this analysis one step further by introducing a simple model of skip behaviours, in which the skip profile for a given song is viewed as the response to a small number of events that happen within it. In particular, it allows us to identify accurately the timing of the events that trigger skip responses, as well as the fraction of users who skip following each these events. Strikingly, the responses triggered by individual events appears to follow a temporal profile that is consistent across songs, genres, devices and listening contexts, suggesting that people react to musical surprises in a universal way.


title: Generalization and New Proof for Almost Everywhere Convergence to Imply Local Convergence in Measure

abstract: With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize the theorem for the case where the codomain is a separable metric space and for the case where the limiting map is constant and the codomain is an arbitrary topological space.


title: A continuous integration and web framework in support of the ATLAS Publication Process

abstract: The ATLAS collaboration defines methods, establishes procedures, and organises advisory groups to manage the publication processes of scientific papers, conference papers, and public notes. All stages are managed through web systems, computing programs, and tools that are designed and developed by the collaboration. A framework called FENCE is integrated into the CERN GitLab software repository, to automatically configure workspaces where each analysis can be documented by the analysis team and managed by the relevant coordinators. Continuous integration is used to guide the writers in applying consistent and correct formatting when preparing papers to be submitted to scientific journals. Additional software assures the correctness of other aspects of each paper, such as the lists of collaboration authors, funding agencies, and foundations. The framework and the workflow therein provide automatic and easy support to the researchers and facilitates each phase of the publication process, allowing authors to focus on the article contents. The framework and its integration with the most up to date and efficient tools has consequently provided a more professional and efficient automatized work environment to the whole collaboration.


title: DjangoChecker: Applying Extended Taint Tracking and Server Side Parsing for Detection of Context-Sensitive XSS Flaws

abstract: Cross-site scripting (XSS) flaws are a class of security flaws that permit the injection of malicious code into a web application. In simple situations, these flaws can be caused by missing input sanitizations. Sometimes, however, all application inputs are sanitized, but the sanitizations are not appropriate for the browser contexts of the sanitized values. Using an incorrect sanitizer can make the application look protected, when it is in fact vulnerable as if no sanitization was used, creating a context-sensitive XSS flaw. To discover context-sensitive XSS flaws, we introduce DjangoChecker. DjangoChecker combines extended dynamic taint tracking with a model browser for context analysis. We demonstrate the practical application of DjangoChecker on eight mature web applications based on Django, discovering previously unknown flaws in seven of the eight applications, including highly severe flaws that allow arbitrary JavaScript execution in the seven flawed applications.


title: Epistemically restricted phase space representation, weak momentum value, and reconstruction of quantum wave function

abstract: A phase space distribution associated with a quantum state was previously proposed, which incorporates a specific epistemic restriction parameterized by a global random variable on the order of Planck constant, transparently manifesting quantum uncertainty in phase space. Here we show that the epistemically restricted phase space (ERPS) distribution can be determined via weak measurement of momentum followed by post-selection on position. In the ERPS representation, the phase and amplitude of the wave function are neatly captured respectively by the position-dependent (conditional) average and variance of the epistemically restricted momentum fluctuation. They are in turn respectively determined by the real and imaginary parts of the weak momentum value, permitting a reconstruction of wave function using weak momentum value measurement, and an interpretation of momentum weak value in term of epistemically restricted momentum fluctuations. The ERPS representation thus provides a transparent and rich framework to study the deep conceptual links between quantum uncertainty embodied in epistemic restriction, quantum wave function, and weak momentum measurement with position post-selection, which may offer useful insight to better understand their meaning.


title: Effective Ruderman-Kittel-Kasuya-Yosida-like interaction in diluted double-exchange model: self-learning Monte Carlo approach

abstract: We study the site-diluted double exchange (DE) model and its effective Ruderman-Kittel-Kasuya-Yosida-like interactions, where localized spins are randomly distributed, with the use of the Self-learning Monte Carlo (SLMC) method. The SLMC method is an accelerating technique for Markov chain Monte Carlo simulation using trainable effective models. We apply the SLMC method to the site-diluted DE model to explore the utility of the SLMC method for random systems. We check the acceptance ratios and investigate the properties of the effective models in the strong coupling regime. The effective two-body spin-spin interaction in the site-diluted DE model can describe the original DE model with a high acceptance ratio, which depends on temperatures and spin concentration. These results support a possibility that the SLMC method could obtain independent configurations in systems with a critical slowing down near a critical temperature or in random systems where a freezing problem occurs in lower temperatures.


title: deepSELF: An Open Source Deep Self End-to-End Learning Framework

abstract: We introduce an open-source toolkit, i.e., the deep Self End-to-end Learning Framework (deepSELF), as a toolkit of deep self end-to-end learning framework for multi-modal signals. To the best of our knowledge, it is the first public toolkit assembling a series of state-of-the-art deep learning technologies. Highlights of the proposed deepSELF toolkit include: First, it can be used to analyse a variety of multi-modal signals, including images, audio, and single or multi-channel sensor data. Second, we provide multiple options for pre-processing, e.g., filtering, or spectrum image generation by Fourier or wavelet transformation. Third, plenty of topologies in terms of NN, 1D/2D/3D CNN, and RNN/LSTM/GRU can be customised and a series of pretrained 2D CNN models, e.g., AlexNet, VGGNet, ResNet can be used easily. Last but not least, above these features, deepSELF can be flexibly used not only as a single model but also as a fusion of such.


title: Sparse recovery in bounded Riesz systems with applications to numerical methods for PDEs

abstract: We study sparse recovery with structured random measurement matrices having independent, identically distributed, and uniformly bounded rows and with a nontrivial covariance structure. This class of matrices arises from random sampling of bounded Riesz systems and generalizes random partial Fourier matrices. Our main result improves the currently available results for the null space and restricted isometry properties of such random matrices. The main novelty of our analysis is a new upper bound for the expectation of the supremum of a Bernoulli process associated with a restricted isometry constant. We apply our result to prove new performance guarantees for the CORSING method, a recently introduced numerical approximation technique for partial differential equations (PDEs) based on compressive sensing.


title: Three types of Landauer's erasure principle: a microscopic view

abstract: An important step to incorporate information in the second law of thermodynamics was done by Landauer, showing that the erasure of information implies an increase in heat. Most attempts to justify Landauer's erasure principle are based on thermodynamic argumentations. Here, using just the time-reversibility of classical microscopic laws, we identify three types of the Landauer's erasure principle depending on the relation between the two final environments: the one linked to a logical input 1 and the other to the logical input 0. The strong type (which is the original Landauer's formulation) requires the final environments to be in thermal equilibrium. The intermediate type giving the entropy change of $k_B \ln 2$ occurs when the two final environments are identical macroscopic states. Finally, the weak Landauer's principle, providing information erasure with no entropy change, when the two final environments are macroscopically different. Even though the above results are formally valid for classical erasure gates, a discussion on their natural extension to quantum scenarios is presented. This paper strongly suggests that the original Landauer's principle (based on the assumption of thermalized environments) is fully reasonable for microelectronics, but it becomes less reasonable for future few-atoms devices working at THz frequencies. Thus, the weak and intermediate Landauer's principles, where the erasure of information is not necessarily linked to heat dissipation, are worth investigating.


title: Embeddings of maximal tori in classical groups and Hasse principles

abstract: The aim of this note is to revisit the question of local-global principles for embeddings of etale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and sufficient condition is given in a joint paper with Tingyu Lee and Raman Parimala. In the present paper, we give a simpler description of the obstruction group. It is also shown that if the etale algebra is a product of pairwise independent field extensions, then the Hasse principle holds.


title: Parallel FDTD modelling of nonlocality in plasmonics

abstract: As nanofabrication techniques become more precise, with ever smaller feature sizes, the ability to model nonlocal effects in plasmonics becomes increasingly important. While nonlocal models based on hydrodynamics have been implemented using various computational electromagnetics techniques, the finite-difference time-domain (FDTD) version has remained elusive. Here we present a comprehensive FDTD implementation of nonlocal hydrodynamics, including for parallel computing. As a sub-nanometer step size is required to resolve nonlocal effects, a parallel implementation makes the computational cost of nonlocal FDTD more affordable. We first validate our algorithms for small spherical metallic particles, and find that nonlocality smears out staircasing artifacts at metal surfaces, increasing the accuracy over local models. We find this also for a larger nanostructure with sharp extrusions. The large size of this simulation, where nonlocal effects are clearly present, highlights the importance and impact of a parallel implementation in FDTD.


title: Plane-Activated Mapped Microstructure

abstract: Querying and interacting with models of massive material micro-structure requires localized on-demand generation of the micro-structure since the full-scale storing and retrieving is cost prohibitive. When the micro-structure is efficiently represented as the image of a canonical structure under a non-linear space deformation to allow it to conform to curved shape, the additional challenge is to relate the query of the mapped micro-structure back to its canonical structure. This paper presents an efficient algorithm to pull back a mapped micro-structure to a partition of the canonical domain structure into boxes and only activates boxes whose image is likely intersected by a plane. The active boxes are organized into a forest whose trees are traversed depth first to generate mapped micro-structure only of the active boxes. The traversal supports, for example, 3D print slice generation in additive manufacturing.


title: Tight bounds for Katona's shadow intersection theorem

abstract: A fundamental result in extremal set theory is Katona's shadow intersection theorem, which extends the Kruskal-Katona theorem by giving a lower bound on the size of the shadow of an intersecting family of $k$-sets in terms of its size. We improve this classical result and a related result of Ahlswede, Aydinian, and Khachatrian by proving tight bounds for families that can be quite small. For example, when $k=3$ our result is sharp for all families with $n$ points and at least $3n-7$ triples. Katona's theorem was extended by Frankl to families with matching number $s$. We improve Frankl's result by giving tight bounds for large $n$.


title: A telecommunications system based on axion dark matter coherent transmission

abstract: In this manuscript we anticipate axion detection in order to theorize on a novel telecommunications system based on the coherent axion-two-photon vertex Primakoff effect conversion and reversion of microwave photons transmitting a modulated signal. We suggest a possible set-up for an experiment or industrial application using state-of-the-art technology and we estimate the output power and photon rate expected to be received as a function of the axion-photon coupling constant $g_{a\gamma\gamma}$. We find that, although challenging,this system has no physical restriction to render it unfeasible. Finally, we summarize the advantages and disadvantages of a hypothetical axion-based telecommunications system compared to traditional telecommunication systems. We then extend the discussion, noting the more important conclusions.


title: Dielectric permittivity of deeply supercooled water according to the measurement data at the frequencies 7.6 GHz and 9.7 GHz

abstract: Dielectric permittivity of supercooled volume water has been measured in the range of temperatures from $-20\,^{\circ}$C to $-60\,^{\circ}$C at the frequencies $7.6$~GHz and $9.7$~GHz. The measurements have been made using microwave resonators and wetted silicate sorbents. From the data obtained, the temperature dependences of the relaxation frequencies were updated for the Debye model with two relaxation frequencies. The updated formulae for dielectric permittivity of cold water may be applied to the frequency range $7\ldots200$~GHz.


title: Exploiting Amplitude Control in Intelligent Reflecting Surface Aided Wireless Communication with Imperfect CSI

abstract: Intelligent reflecting surface (IRS) is a promising new paradigm to achieve high spectral and energy efficiency for future wireless networks by reconfiguring the wireless signal propagation via passive reflection. To reap the potential gains of IRS, channel state information (CSI) is essential, whereas channel estimation errors are inevitable in practice due to limited channel training resources. In this paper, in order to optimize the performance of IRS-aided multiuser systems with imperfect CSI, we propose to jointly design the active transmit precoding at the access point (AP) and passive reflection coefficients of IRS, each consisting of not only the conventional phase shift and also the newly exploited amplitude variation. First, the achievable rate of each user is derived assuming a practical IRS channel estimation method, which shows that the interference due to CSI errors is intricately related to the AP transmit precoders, the channel training power and the IRS reflection coefficients during both channel training and data transmission. Then, for the single-user case, by combining the benefits of the penalty method, Dinkelbach method and block successive upper-bound minimization (BSUM) method, a new penalized Dinkelbach-BSUM algorithm is proposed to optimize the IRS reflection coefficients for maximizing the achievable data transmission rate subjected to CSI errors; while for the multiuser case, a new penalty dual decomposition (PDD)-based algorithm is proposed to maximize the users' weighted sum-rate. Simulation results are presented to validate the effectiveness of our proposed algorithms as compared to benchmark schemes. In particular, useful insights are drawn to characterize the effect of IRS reflection amplitude control (with/without the conventional phase shift) on the system performance under imperfect CSI.


title: Analysis on nonperturbative flavor violation at chiral crossover criticality in QCD

abstract: We discuss the violation of quark-flavor symmetry at high temperatures, induced from nonperturbative thermal loop corrections and axial anomaly, based on a three-flavor linear-sigma model including an axial-anomaly induced-flavor breaking term. We employ a nonperturbative analysis following the Cornwall-Jackiw-Tomboulis formalism, and show that the model undergoes a chiral crossover with a pseudo-critical temperature, consistently with lattice observations. We find following features regarding the flavor breaking eminent around and above the pseudo-critical temperature: i) up-and down-quark condensates drop faster than the strange quark's toward the criticality, but still keep nonzero value even going far above the critical temperature; ii) the introduced anomaly-related flavor-breaking effect acts as a catalyzer toward the chiral restoration, and reduces the amount of flavor breaking in the up, down and strange quark condensates; iii) a dramatic deformation for the meson flavor mixing structure is observed, in which the anomaly-induced favor breaking is found to be almost irrelevant; iv) the meson spectroscopy gets corrected by the net nonperturbative flavor breaking effects, where the scalar meson mass hierarchy (inverse mass hierarchy) is significantly altered by the presence of the anomaly-related flavor breaking; v) the topological susceptibility significantly gets the contribution from the surviving strange quark condensate, which cannot be dictated by the chiral perturbation theory, and deviates from the dilute instanton gas prediction. There the anomaly-induced flavor breaking plays a role of the destructive interference for the net flavor violation; vi) the U(1)_A breaking is enhanced by the strange quark condensate, which may account for the tension in the effective U(1)_A restoration observed on lattices with two flavors and 2+1 flavors near the chiral limit.


title: On COVID-19 Modelling

abstract: This contribution analyzes the COVID-19 outbreak by comparably simple mathematical and numerical methods. The final goal is to predict the peak of the epidemic outbreak per country with a reliable technique. This is done by an algorithm motivated by standard SIR models and aligned with the standard data provided by the Johns Hopkins University. To reconstruct data for the unregistered Infected, the algorithm uses current values of the infection fatality rate and a data-driven estimation of a specific form of the recovery rate. All other ingredients are data-driven as well. Various examples of predictions are provided for illustration.


title: Resilience and elasticity of co-evolving information ecosystems

abstract: Human perceptual and cognitive abilities are limited resources. Today, in the age of cheap information --cheap to produce, to manipulate, to disseminate--, this cognitive bottleneck translates into hypercompetition for visibility among actors (individuals, institutions, etc). The same social communication incentive --visibility-- pushes actors to mutualistically interact with specific memes, seeking the virality of their messages. In turn, contents are driven by selective pressure, i.e. the chances to persist and reach widely are tightly subject to changes in the communication environment. In spite of all this complexity, here we show that the underlying architecture of the users-memes interaction in information ecosystems, apparently chaotic and noisy, actually evolves towards emergent patterns, reminiscent of those found in natural ecosystems. In particular we show, through the analysis of empirical, large data streams, that communication networks are structurally elastic, i.e. fluctuating from modular to nested architecture as a response to environmental perturbations (e.g. extraordinary events). We then propose an ecology-inspired modelling framework, bringing to light the precise mechanisms causing the observed dynamical reorganisation. Finally, from numerical simulations, the model predicts --and the data confirm-- that the users' struggle for visibility induces a re-equilibration of the network towards a very constrained organisation: the emergence of self-similar nested arrangements.


title: Foreground-Background Ambient Sound Scene Separation

abstract: Ambient sound scenes typically comprise multiple short events occurring on top of a somewhat stationary background. We consider the task of separating these events from the background, which we call foreground-background ambient sound scene separation. We propose a deep learning-based separation framework with a suitable feature normaliza-tion scheme and an optional auxiliary network capturing the background statistics, and we investigate its ability to handle the great variety of sound classes encountered in ambient sound scenes, which have often not been seen in training. To do so, we create single-channel foreground-background mixtures using isolated sounds from the DESED and Audioset datasets, and we conduct extensive experiments with mixtures of seen or unseen sound classes at various signal-to-noise ratios. Our experimental findings demonstrate the generalization ability of the proposed approach.


title: Comment on "Improved mutual information measure for clustering, classification, and community detection"

abstract: A recent article proposed reduced mutual information for evaluation of clustering, classification and community detection. The motivation is that the standard normalized mutual information (NMI) may give counter-intuitive answers under certain conditions and particularly when the number of clusters differs between the two divisions under consideration. The motivation makes sense. However, the examples given in the article are not accurate, and this comment discusses why. In addition, this comment also empirically demonstrates that the reduced mutual information cannot handle the difficulties of NMI and even brings more. The necessity of Kappa is also empirically validated in this comment.


title: Does Dark Matter Consist of Cosmic String Remnants?

abstract: If cosmic strings have an irreducible core, then dark matter may consist of entities that are core-sized string remnants. As such they may interact solely by gravity. These talons may be many orders of magnitude more massive than any known fundamental particle. Due to interacting solely via gravity it would seem almost impossible to detect talons in any laboratory search.


title: On the reformulation of Thomas-Fermi model to make it compatible to the Planck-scale

abstract: Thomas-Fermi model is considered here to make it cogent to capture the Planck-scale effect with the use of a generalization of uncertainty relation. Here generalization contains both linear and quadratic terms of momentum. We first reformulate the Thomas-Fermi model for the non-relativistic case. It has been shown that it can also be reformulated for taking into account the relativistic effect. Dialectic screening for the non-relativistic cases has been studied and the expression of screening length has been found out explicitly.


title: Multicellular sensing at a feedback-induced critical point

abstract: Feedback in sensory biochemical networks can give rise to bifurcations in cells' behavioral response. These bifurcations share many properties with thermodynamic critical points. Evidence suggests that biological systems may operate near these critical points, but the functional benefit of doing so remains poorly understood. Here we investigate a simple biochemical model with nonlinear feedback and multicellular communication to determine if criticality provides a functional benefit in terms of the ability to gain information about a stochastic chemical signal. We find that when signal fluctuations are slow, the mutual information between the signal and the intracellular readout is maximized at criticality, because the benefit of high signal susceptibility outweighs the detriment of high readout noise. When cells communicate, criticality gives rise to long-range correlations in readout molecule number among cells. Consequently, we find that communication increases the information between a given cell's readout and the spatial average of the signal across the population. Finally, we find that both with and without communication, the sensory benefits of criticality compete with critical slowing down, such that the information rate, as opposed to the information itself, is minimized at the critical point. Our results reveal the costs and benefits of feedback-induced criticality for multicellular sensing.


title: A path(-integral) toward non-perturbative effects in Hawking radiation

abstract: Hawking's seminal discovery of black hole evaporation was based on the semi-classical, perturbative method. Whether black hole evaporation may result in the loss of information remains undetermined. The solution to this paradox would most likely rely on the knowledge of the end-life of the evaporation, which evidently must be in the non-perturbative regime. Here we reinterpret the Hawking radiation as the tunneling of instantons, which is inherently non-perturbative. For definitiveness, we invoke the picture of shell-anti-shell pair production and show that it is equivalent to that of instanton tunneling. We find that such a shell pair production picture can help to elucidate firewalls and ER=EPR conjectures that attempt to solve the information paradox, and may be able to address the end-life issue toward an ultimate resolution.


title: Effect of heterogeneous risk perception on information diffusion, behavior change, and disease transmission

abstract: Motivated by the importance of individual differences in risk perception and behavior change in people's responses to infectious disease outbreaks (particularly the ongoing COVID-19 pandemic), we propose a heterogeneous Disease-Behavior-Information (hDBI) transmission model, in which people's risk of getting infected is influenced by information diffusion, behavior change, and disease transmission. We use both a mean-field approximation and Monte Carlo simulations to analyze the dynamics of the model. Information diffusion influences behavior change by allowing people to be aware of the disease and adopt self-protection, and subsequently affects disease transmission by changing the actual infection rate. Results show that (a) awareness plays a central role in epidemic prevention; (b) a reasonable fraction of "over-reacting" nodes are needed in epidemic prevention; (c) R0 has different effects on epidemic outbreak for cases with and without asymptomatic infection; (d) social influence on behavior change can remarkably decrease the epidemic outbreak size. This research indicates that the media and opinion leaders should not understate the transmissibility and severity of diseases to ensure that people could become aware of the disease and adopt self-protection to protect themselves and the whole population.


title: Spectral and spatial isolation of single WSe$_2$ quantum emitters using hexagonal boron nitride wrinkles

abstract: Monolayer WSe$_2$ hosts bright single-photon emitters. Because of its compliance, monolayer WSe$_2$ conforms to patterned substrates without breaking, thus creating the potential for large local strain, which is one activation mechanism of its intrinsic quantum emitters. Here, we report an approach to creating spatially and spectrally isolated quantum emitters from WSe$_2$ monolayers with few or no detrimental sources of emission. We show that a bilayer of hexagonal boron nitride (hBN) and WSe$_2$ placed on a nanostructured substrate can be used to create and shape wrinkles that communicate local strain to the WSe$_2$, thus creating quantum emitters that are isolated from substrate features. We compare quantum emitters created directly on top of substrate features with quantum emitters forming along wrinkles and find that the spectra of the latter consist of mainly a single peak and a low background fluorescence. We also discuss possible approaches to controlling emitter position along hBN wrinkles.


title: Towards a Mathematical Model for the Solidification and Rupture of Blood in Stenosed Arteries

abstract: In this paper, we present a mathematical and numerical model for blood solidification and its rupture in stenosed arteries. The interaction between the blood flow and an existing stenosis in the arterial wall is modeled as a three dimensional fluid-structure interaction problem. The blood is assumed to be a non-Newtonian incompressible fluid with a time-dependent viscosity that obeys a modified Carreau's model and the flow dynamics is described by the Navier-Stokes equations. Whereas, the arterial wall is considered a hyperelastic material whose displacement satisfies the quasi-static equilibrium equations. Numerical simulations are performed using FreeFem++ on a two dimensional domain. We investigate the behavior of the viscosity of blood, its speed and the maximum shear stress. From the numerical results, blood recirculation zones have been identified. Moreover, a zone of the blood of high viscosity and low speed has been observed directly after the stenosis in the flow direction. This zone may correspond to a blood accumulation and then solidification zone that is subjected to shear stress by the blood flow and to forces exerted by the artery wall deformation. Therefore, this zone is thought to break and then to release a blood clot that leads to the occlusion of small arterioles.

categories: math.NA cs.NA math.AP physics.flu-dyn q-bio.TO


title: Reducing a class of two-dimensional integrals to one-dimension with application to Gaussian Transforms

abstract: Quantum theory is awash in multidimensional integrals that contain exponentials in the integration variables, their inverses, and inverse polynomials of those variables. The present paper introduces a means to reduce pairs of such integrals to one dimension when the integrand contains powers times an arbitrary function of xy/(x+y) multiplying various combinations of exponentials. In some cases these exponentials arise directly from transition-amplitudes involving products of plane waves, hydrogenic wave functions, Yukawa and/or Coulomb potentials. In other cases these exponentials arise from Gaussian transforms of such functions.


title: Decoding Across the Quantum LDPC Code Landscape

abstract: We show that belief propagation combined with ordered statistics post-processing is a general decoder for quantum low density parity check codes constructed from the hypergraph product. To this end, we run numerical simulations of the decoder applied to three families of hypergraph product code: topological codes, fixed-rate random codes and a new class of codes that we call semi-topological codes. Our new code families share properties of both topological and random hypergraph product codes, with a construction that allows for a finely-controlled trade-off between code threshold and stabilizer locality. Our results indicate thresholds across all three families of hypergraph product code, and provide evidence of exponential suppression in the low error regime. For the Toric code, we observe a threshold in the range $9.9\pm0.2\%$. This result improves upon previous quantum decoders based on belief propagation, and approaches the performance of the minimum weight perfect matching algorithm. We expect semi-topological codes to have the same threshold as Toric codes, as they are identical in the bulk, and we present numerical evidence supporting this observation.


title: The contribution of the quantum vacuum to the cosmological constant is zero: proof that vacuum energy does not gravitate

abstract: The consensus among many theoretical physicists is that the calculated contribution of the quantum vacuum to the total energy density of the universe is approximately $10^{121}$ times the observed energy density. This is thought to be one of the worst theoretical predictions of all time. However, as shown here, this immense vacuum energy cannot in and of itself exert forces on normal matter. As a result the huge vacuum energy density predicted by quantum field theory does not contribute to the ordinary energy density of the universe, is not a source for gravitational fields, and, as a result, does not contribute to the value of the cosmological constant.


title: $Z^0$ boson associated b-jet production in high-energy nuclear collisions

abstract: The production of vector boson tagged heavy quark jets potentially provides new tools to probe the jet quenching effect. In this paper, we present the first theoretical study on the angular correlations ($\Delta\phi_{bZ}$), transverse momentum imbalance ($x_{bZ}$), and nuclear modification factor ($I_{AA}$) of $Z^0$ boson tagged b-jets in heavy-ion collisions, which was performed using a Monte Carlo transport model. We find that the medium modification of the $\Delta\phi_{bZ}$ for $Z^0\,+\,$b-jet has a weaker dependence on $\Delta\phi_{bZ}$ than that for $Z^0\,+\,$jet, and the modification patterns are sensitive to the initial jet $p_T$ distribution. Additionally, with the high purity of the quark jet in $Z^0\,+\,$(b-)jet production, we calculate the momentum imbalance $x_{bZ}$ and the nuclear modification factor $I_{AA}$ of $Z^0\,+\,$b-jet in Pb+Pb collisions. We observe a smaller $\Delta \left\langle x_{jZ} \right\rangle$ and larger $I_{AA}$ of $Z^0\,+\,$b-jet in Pb+Pb collisions relative to those of $Z^0\,+\,$jet, which may be an indication of the mass effect of jet quenching and can be tested in future measurements.


title: Social Media Information Sharing for Natural Disaster Response

abstract: Social media has become an essential channel for posting disaster-related information, which provide governments and relief agencies real-time data for better disaster management. However, research in this field has not received sufficient attention and extracting useful information is still challenging. This paper aims to improve disaster relief efficiency via mining and analyzing social media data like public attitudes towards disaster response and public demands for targeted relief supplies during different types of disasters. We focus on different natural disasters based on properties such as types, durations, and damages, which contains a total of 41,993 tweets. In this paper, public perception is assessed qualitatively by manually classified tweets, which contain information like the demand for targeted relief supplies, satisfactions of disaster response, and public fear. Public attitudes to natural disasters are studied via a quantitative analysis using eight machine learning models. To better provide decision-makers with the appropriate model, the comparison of machine learning models based on computational time and prediction accuracy is conducted. The change of public opinion during different natural disasters and the evolution of people's behavior of using social media for disaster relief in the face of the identical type of natural disasters as Twitter continues to evolve are studied. The results in this paper demonstrate the feasibility and validation of the proposed research approach and provide relief agencies with insights into better disaster management.


title: On $t$-core and self-conjugate $(2t-1)$-core partitions in arithmetic progressions

abstract: We extend recent results of Ono and Raji, relating the number of self-conjugate $7$-core partitions to Hurwitz class numbers. Furthermore, we give a combinatorial explanation for the curious equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$. We also conjecture that an equality of this shape holds if and only if $t=4$, proving the cases $t\in\{2,3,5\}$ and giving partial results for $t>5$.


title: Review of new flow friction equations: Constructing Colebrook explicit correlations accurately

abstract: Using only a limited number of computationally expensive functions, we show a way how to construct accurate and computationally efficient approximations of the Colebrook equation for flow friction. The presented approximations are based on the asymptotic series expansion of the Wright Omega-function and symbolic regression. The results are verified with 8 million of Quasi-Monte Carlo points covering the domain of interest for engineers. In comparison with the built-in wrightOmega feature of Matlab R2016a, the herein introduced related approximations of the Wright Omega-function significantly accelerate the computation. With only two logarithms and several basic arithmetic operations used, the presented approximations are not only computationally efficient but also extremely accurate. The maximal relative error of the most promising approximation which is given in the form suitable for engineers use is limited to 0.0012%, while for a little bit more complex variant is limited to 0.000024%.


title: A New Method to Extract Information of Near-Threshold Resonances: Uniformized Pole-Sum Representation of Green's Function and T-matrix

abstract: We propose a new, simple model-independent method to extract information of near-threshold resonances, such as complex energies and residues. The method is based on the observation that the Green's function and the T-matrix can be represented as the sum of all poles, both bound and resonant poles, in the complex plane of a variable in which the Green's function and the T-matrix are single-valued functions. The symmetries of poles, which arise from the unitarity of the S-matrix, naturally impose the sum to obey the proper threshold behaviors. The imaginary part of Green's function and the T-matrix are directly related to observables such as scattering cross sections or invariant or missing mass distributions of hadron resonances. Thus we can determine their pole positions and residues by fitting their imaginary part to observables. We also test the new method by regarding the imaginary part of the $T$-matrix calculated exactly in a model theory as virtual experimental data. As a model theory, we take double-channel meson-baryon scatterings in the chiral unitary model with channels, $\overline{K}N (I=0)$, and $\pi\Sigma (I=0)$. By fitting the imaginary part of the $T$-matrix calculated in the model theory by that of the uniformized pole-sum, we obtain the pole positions and residues. Comparing the obtained results with those of the exact calculation in the model theory, we conclude that our new method works very well.


title: From Simulation to Real World Maneuver Execution using Deep Reinforcement Learning

abstract: Deep Reinforcement Learning has proved to be able to solve many control tasks in different fields, but the behavior of these systems is not always as expected when deployed in real-world scenarios. This is mainly due to the lack of domain adaptation between simulated and real-world data together with the absence of distinction between train and test datasets. In this work, we investigate these problems in the autonomous driving field, especially for a maneuver planning module for roundabout insertions. In particular, we present a system based on multiple environments in which agents are trained simultaneously, evaluating the behavior of the model in different scenarios. Finally, we analyze techniques aimed at reducing the gap between simulated and real-world data showing that this increased the generalization capabilities of the system both on unseen and real-world scenarios.


title: Microscopic quantum description of second-order nonlinearities in 2D hexagonal nanostructures beyond the Dirac cone approximation

abstract: Single layers of hexagonal two-dimensional nanostructures such as graphene, silicene, and germanene exhibit large carrier Fermi velocities and, consequently, large light-matter coupling strength making these materials promising elements for nano-opto-electronics. Although these materials are centrosymmetric, the spatial dispersion turns out to be quite large allowing the second-order nonlinear response of such materials to be comparable to the non-centrosymmetric 2D ones. The second-order response of massless Dirac fermions has been extensively studied, however a general approach correct over the full Brillouin zone is lacking so far. To complete this gap, in the current paper we develop a general quantum-mechanical theory of the in-plane second-order nonlinear response beyond the Dirac cone approximation and applicable to the full Brillouin zone of the hexagonal tight-binding nanostructures. We present explicit calculation of the nonlinear susceptibility tensor of 2D hexagonal nanostructures applicable to arbitrary three-wave mixing processes.


title: Converting Anyone's Emotion: Towards Speaker-Independent Emotional Voice Conversion

abstract: Emotional voice conversion aims to convert the emotion of speech from one state to another while preserving the linguistic content and speaker identity. The prior studies on emotional voice conversion are mostly carried out under the assumption that emotion is speaker-dependent. We consider that there is a common code between speakers for emotional expression in a spoken language, therefore, a speaker-independent mapping between emotional states is possible. In this paper, we propose a speaker-independent emotional voice conversion framework, that can convert anyone's emotion without the need for parallel data. We propose a VAW-GAN based encoder-decoder structure to learn the spectrum and prosody mapping. We perform prosody conversion by using continuous wavelet transform (CWT) to model the temporal dependencies. We also investigate the use of F0 as an additional input to the decoder to improve emotion conversion performance. Experiments show that the proposed speaker-independent framework achieves competitive results for both seen and unseen speakers.


title: Subsampled Fourier Ptychography using Pretrained Invertible and Untrained Network Priors

abstract: Recently pretrained generative models have shown promising results for subsampled Fourier Ptychography (FP) in terms of quality of reconstruction for extremely low sampling rate and high noise. However, one of the significant drawbacks of these pretrained generative priors is their limited representation capabilities. Moreover, training these generative models requires access to a large number of fully-observed clean samples of a particular class of images like faces or digits that is prohibitive to obtain in the context of FP. In this paper, we propose to leverage the power of pretrained invertible and untrained generative models to mitigate the representation error issue and requirement of a large number of example images (for training generative models) respectively. Through extensive experiments, we demonstrate the effectiveness of proposed approaches in the context of FP for low sampling rates and high noise levels.


title: Beam halo and bunch purity monitoring

abstract: Beam halo measurements imply measurements of beam profiles with a very high dynamic range; in transverse and also longitudinal planes. This lesson gives an overview of high dynamic range instruments for beam halo measurements. In addition halo definitions and quantifications in view of beam instrumentation are discussed.


title: Exploring the partonic phase at finite chemical potential in and out-of equilibrium

abstract: We study the influence of the baryon chemical potential $\mu_B$ on the properties of the Quark-Gluon-Plasma (QGP) in and out-of equilibrium. The description of the QGP in equilibrium is based on the effective propagators and couplings from the Dynamical QuasiParticle Model (DQPM) that is matched to reproduce the equation-of-state of the partonic system above the deconfinement temperature $T_c$ from lattice Quantum Chromodynamics (QCD). We calculate the transport coefficients such as the ratio of shear viscosity $\eta$ and bulk viscosity $\zeta$ over entropy density $s$, i.e., $\eta/s$ and $\zeta/s$ in the $(T,\mu_B)$ plane and compare to other model results available at $\mu_B =0$. The out-of equilibrium study of the QGP is performed within the Parton-Hadron-String Dynamics (PHSD) transport approach extended in the partonic sector by explicitly calculating the total and differential partonic scattering cross sections (based on the DQPM propagators and couplings) evaluated at the actual temperature $T$ and baryon chemical potential $\mu_B$ in each individual space-time cell of the partonic scattering. The traces of their $\mu_B$ dependences are investigated in different observables for relativistic heavy-ion collisions with a focus on the directed and elliptic flow coefficients $v_1, v_2$ in the energy range 7.7 GeV $\le \sqrt{s_{NN}}\le 200$ GeV.


title: DARTS-ASR: Differentiable Architecture Search for Multilingual Speech Recognition and Adaptation

abstract: In previous works, only parameter weights of ASR models are optimized under fixed-topology architecture. However, the design of successful model architecture has always relied on human experience and intuition. Besides, many hyperparameters related to model architecture need to be manually tuned. Therefore in this paper, we propose an ASR approach with efficient gradient-based architecture search, DARTS-ASR. In order to examine the generalizability of DARTS-ASR, we apply our approach not only on many languages to perform monolingual ASR, but also on a multilingual ASR setting. Following previous works, we conducted experiments on a multilingual dataset, IARPA BABEL. The experiment results show that our approach outperformed the baseline fixed-topology architecture by 10.2% and 10.0% relative reduction on character error rates under monolingual and multilingual ASR settings respectively. Furthermore, we perform some analysis on the searched architectures by DARTS-ASR.


title: A Polynomial-Time Algorithm for Unconstrained Binary Quadratic Optimization

abstract: In this paper, an exact algorithm in polynomial time is developed to solve unrestricted binary quadratic programs. The computational complexity is $O\left( n^{\frac{15}{2}}\right) $, although very conservative, it is sufficient to prove that this minimization problem is in the complexity class $P$. The implementation aspects are also described in detail with a special emphasis on the transformation of the quadratic program into a linear program that can be solved in polynomial time. The algorithm was implemented in MATLAB and checked by generating five million matrices of arbitrary dimensions up to 30 with random entries in the range $\left[ -50,50\right] $. All the experiments carried out have revealed that the method works correctly.


title: Temporal signals to images: Monitoring the condition of industrial assets with deep learning image processing algorithms

abstract: The ability to detect anomalies in time series is considered highly valuable in numerous application domains. The sequential nature of time series objects is responsible for an additional feature complexity, ultimately requiring specialized approaches in order to solve the task. Essential characteristics of time series, situated outside the time domain, are often difficult to capture with state-of-the-art anomaly detection methods when no transformations have been applied to the time series. Inspired by the success of deep learning methods in computer vision, several studies have proposed transforming time series into image-like representations, used as inputs for deep learning models, and have led to very promising results in classification tasks. In this paper, we first review the signal to image encoding approaches found in the literature. Second, we propose modifications to some of their original formulations to make them more robust to the variability in large datasets. Third, we compare them on the basis of a common unsupervised task to demonstrate how the choice of the encoding can impact the results when used in the same deep learning architecture. We thus provide a comparison between six encoding algorithms with and without the proposed modifications. The selected encoding methods are Gramian Angular Field, Markov Transition Field, recurrence plot, grey scale encoding, spectrogram, and scalogram. We also compare the results achieved with the raw signal used as input for another deep learning model. We demonstrate that some encodings have a competitive advantage and might be worth considering within a deep learning framework. The comparison is performed on a dataset collected and released by Airbus SAS, containing highly complex vibration measurements from real helicopter flight tests. The different encodings provide competitive results for anomaly detection.


title: Spacetime Singularities and Cosmic Censorship Conjecture: A Review with Some Thoughts

abstract: The singularity theorems of Hawking and Penrose tell us that singularities are common place in general relativity. Singularities not only occur at the beginning of the Universe at the Big Bang, but also in complete gravitational collapses that result in the formation of black holes. If singularities - except the one at the Big Bang - ever become "naked", i.e., not shrouded by black hole horizons, then it is expected that problems would arise and render general relativity indeterministic. For this reason, Penrose proposed the cosmic censorship conjecture, which states that singularities should never be naked. Various counterexamples to the conjecture have since been discovered, but it is still not clear under which kind of physical processes one can expect violation of the conjecture. In this short review, I briefly examine some progresses in spacetime singularities and cosmic censorship conjecture. In particular, I shall discuss why we should still care about the conjecture, and whether we should be worried about some of the counterexamples. This is not meant to be a comprehensive review, but rather to give an introduction to the subject, which has recently seen an increase of interest.


title: Thermodynamically Stable DNA Code Design using a Similarity Significance Model

abstract: DNA code design aims to generate a set of DNA sequences (codewords) with minimum likelihood of undesired hybridizations among sequences and their reverse-complement (RC) pairs (cross-hybridization). Inspired by the distinct hybridization affinities (or stabilities) of perfect double helix constructed by individual single-stranded DNA (ssDNA) and its RC pair, we propose a novel similarity significance (SS) model to measure the similarity between DNA sequences. Particularly, instead of directly measuring the similarity of two sequences by any metric/approach, the proposed SS works in a way to evaluate how more likely will the undesirable hybridizations occur over the desirable hybridizations in the presence of the two measured sequences and their RC pairs. With this SS model, we construct thermodynamically stable DNA codes subject to several combinatorial constraints using a sorting-based algorithm. The proposed scheme results in DNA codes with larger code sizes and wider free energy gaps (hence better cross-hybridization performance) compared to the existing methods.


title: DeepFake: Deep Dueling-based Deception Strategy to Defeat Reactive Jammers

abstract: In this paper, we introduce DeepFake, a novel deep reinforcement learning-based deception strategy to deal with reactive jamming attacks. In particular, for a smart and reactive jamming attack, the jammer is able to sense the channel and attack the channel if it detects communications from the legitimate transmitter. To deal with such attacks, we propose an intelligent deception strategy which allows the legitimate transmitter to transmit "fake" signals to attract the jammer. Then, if the jammer attacks the channel, the transmitter can leverage the strong jamming signals to transmit data by using ambient backscatter communication technology or harvest energy from the strong jamming signals for future use. By doing so, we can not only undermine the attack ability of the jammer, but also utilize jamming signals to improve the system performance. To effectively learn from and adapt to the dynamic and uncertainty of jamming attacks, we develop a novel deep reinforcement learning algorithm using the deep dueling neural network architecture to obtain the optimal policy with thousand times faster than those of the conventional reinforcement algorithms. Extensive simulation results reveal that our proposed DeepFake framework is superior to other anti-jamming strategies in terms of throughput, packet loss, and learning rate.


title: Quantum-only metrics in spherically symmetric gravity

abstract: The Einstein action for the gravitational field has some properties which make of it, after quantization, a rare prototype of systems with quantum configurations that do not have a classical analogue. Assuming spherical symmetry in order to reduce the effective dimensionality, we have performed a Monte Carlo simulation of the path integral with transition probability $e^{-\beta |S|}$. Although this choice does not allow to reproduce the full dynamics, it does lead us to find a large ensemble of metric configurations having action $|S|\ll \hbar$ by several magnitude orders. These vacuum fluctuations are strong deformations of the flat space metric (for which $S=0$ exactly). They exhibit a periodic polarization in the scalar curvature $R$. In the simulation we fix a length scale $L$ and divide it into $N$ sub-intervals. The continuum limit is investigated by increasing $N$ up to $\sim 10^6$; the average squared action $\langle S^2 \rangle$ is found to scale as $1/N^2$ and thermalization of the algorithm occurs at a very low temperature (classical limit). This is in qualitative agreement with analytical results previously obtained for theories with stabilized conformal factor in the asymptotic safety scenario.


title: Infant Crying Detection in Real-World Environments

abstract: Most existing cry detection models have been tested with data collected in controlled settings. Thus, the extent to which they generalize to noisy and lived environments is unclear. In this paper, we evaluate several established machine learning approaches including a model leveraging both deep spectrum and acoustic features. This model was able to recognize crying events with F1 score 0.613 (Precision: 0.672, Recall: 0.552), showing improved external validity over existing methods at cry detection in everyday real-world settings. As part of our evaluation, we collect and annotate a novel dataset of infant crying compiled from over 780 hours of labeled real-world audio data, captured via recorders worn by infants in their homes, which we make publicly available. Our findings confirm that a cry detection model trained on in-lab data underperforms when presented with real-world data (in-lab test F1: 0.656, real-world test F1: 0.236), highlighting the value of our new dataset and model.


title: Training conformal predictors

abstract: Efficiency criteria for conformal prediction, such as \emph{observed fuzziness} (i.e., the sum of p-values associated with false labels), are commonly used to \emph{evaluate} the performance of given conformal predictors. Here, we investigate whether it is possible to exploit efficiency criteria to \emph{learn} classifiers, both conformal predictors and point classifiers, by using such criteria as training objective functions. The proposed idea is implemented for the problem of binary classification of hand-written digits. By choosing a 1-dimensional model class (with one real-valued free parameter), we can solve the optimization problems through an (approximate) exhaustive search over (a discrete version of) the parameter space. Our empirical results suggest that conformal predictors trained by minimizing their observed fuzziness perform better than conformal predictors trained in the traditional way by minimizing the \emph{prediction error} of the corresponding point classifier. They also have a reasonable performance in terms of their prediction error on the test set.


title: Crowd Control in Plazas Constrained to Social Distancing

abstract: We present a simple and versatile method for calculating the maximum capacity of public spaces constrained to social distancing, following the recommended measures of the WHO due to the COVID-19 pandemic outbreak. This method assumes a minimum required distance of two meters between persons and is tested in four actual plazas. Additionally, we estimate public space capacity in case of public events, such as markets or concerts. We believe our method will directly provide guidelines for crowd control in the so-called "new normality", serving as a first step for future and more accurate developments.


title: On the derivatives of feed-forward neural networks

abstract: In this paper we present a C++ implementation of the analytic derivative of a feed-forward neural network with respect to its free parameters for an arbitrary architecture, known as back-propagation. We dubbed this code NNAD (Neural Network Analytic Derivatives) and interfaced it with the widely-used ceres-solver minimiser to fit neural networks to pseudodata in two different least-squares problems. The first is a direct fit of Legendre polynomials. The second is a somewhat more involved minimisation problem where the function to be fitted takes part in an integral. Finally, using a consistent framework, we assess the efficiency of our analytic derivative formula as compared to numerical and automatic differentiation as provided by ceres-solver. We thus demonstrate the advantage of using NNAD in problems involving both deep or shallow neural networks.


title: Statistical Considerations on Political Responsivity Analyzed Over a 70 Years Time Span

abstract: The time evolution of the response of electors to political life is analyzed for the Italian Republic over a 70 years span in which 18 political elections have taken place. The basis for the performed analyses are the official data available from the Italian Ministry of Interiors exposing the results of the political elections from 1948 until 2018. The attention is concentrated on parameters providing information on the responsivity of the electors to country political life. These parameters, expressed in adequate percentages, are the effective number of voters and the percentage of these expressing blank or spoilt ballots. The time dependence of these parameters, over the analyzed period, shows regularities, correlations and interesting peculiarities. The analysis concerns the results for both Chamber of Deputies and Chamber of Senators available, for each election, all along the 70 years time span that are those relative to people voting on the national territory.


title: SQuARM-SGD: Communication-Efficient Momentum SGD for Decentralized Optimization

abstract: In this paper, we propose and analyze SQuARM-SGD, a communication-efficient algorithm for decentralized training of large-scale machine learning models over a network. In SQuARM-SGD, each node performs a fixed number of local SGD steps using Nesterov's momentum and then sends sparsified and quantized updates to its neighbors regulated by a locally computable triggering criterion. We provide convergence guarantees of our algorithm for general (non-convex) and convex smooth objectives, which, to the best of our knowledge, is the first theoretical analysis for compressed decentralized SGD with momentum updates. We show that the convergence rate of SQuARM-SGD matches that of vanilla SGD. We empirically show that including momentum updates in SQuARM-SGD can lead to better test performance than the current state-of-the-art which does not consider momentum updates.


title: Differential equation for the flow rate of discharging silos based on energy balance

abstract: Since the early work of Hagen in 1852 and Beverloo et al. in 1961, the flow rate of granular material discharging through a circular orifice from a silo has been described by means of dimensional analysis and experimental fits, and explained through the "free fall arch" model. Here, in contrast with the traditional approach, we derive a differential equation based on the energy balance of the system. This equation is consistent with the well known Beverloo rule thanks to a compensation of energy terms. Moreover, this new equation can be used to explore new conditions for silo discharges. In particular, we show how the effect of friction on the flow rate can be predicted. The theory is validated using discrete element method simulations.


title: A Complete Cosmological Scenario in Teleparallel Gravity

abstract: Teleparallel gravity is a modified theory of gravity in which the Ricci scalar $R$ of the Lagrangian replaced by the general function of torsion scalar $T$ in action. With that, cosmology in teleparallel gravity becomes profoundly simplified because it is second-order theory. The article present a complete cosmological scenario in $f(T)$ gravity with $f(T)=T+\beta(-T)^{\alpha}$, where $\alpha,$ and $\beta$ are model parameters. We present the profiles of energy density, pressure, and equation of state (EoS) parameter. Next to this, we employ statefinder diagnostics to check deviation from the $\Lambda$CDM model as well as the nature of dark energy. Finally, we discuss the energy conditions to check the consistency of our model and observe that SEC violates in the present model supporting the acceleration of the Universe as per present observation.


title: Estimation independence as an axiom for quantum uncertainty

abstract: Quantum uncertainty is the cornerstone of quantum mechanics which underlies many counterintuitive nonclassical phenomena. Recent studies remarkably showed that it also fundamentally limits nonclassical correlation, and crucially, a deviation from its exact form may lead to a violation of the second law of thermodynamics. Are there deep and natural principles which uniquely determines its form? Here we work within a general epistemic framework for a class of nonclassical theories, introducing an epistemic restriction to an otherwise classical theory, so that the distributions of positions are irreducibly parameterized by the underlying momentum fields. It was recently shown that the mathematics of quantum mechanics formally arises within an operational scheme, wherein an agent makes a specific estimation of the momentum given information on the positions and the experimental settings. Moreover, quantum uncertainty can be traced back to the `specific' choice of estimator and the associated estimation error. In the present work, we show that a plausible principle of estimation independence, which requires that the estimation of momentum of one system must be independent of the position of another system independently prepared of the first, singles out the specific forms of the estimator, and especially the estimation error up to its strength given by a global-nonseparable random variable on the order of Planck constant.


title: Efficient and Stable Algorithms to Extend Greville's Method to Partitioned Matrices Based on Inverse Cholesky Factorization

abstract: Greville's method has been utilized in (Broad Learn-ing System) BLS to propose an effective and efficient incremental learning system without retraining the whole network from the beginning. For a column-partitioned matrix where the second part consists of p columns, Greville's method requires p iterations to compute the pseudoinverse of the whole matrix from the pseudoinverse of the first part. The incremental algorithms in BLS extend Greville's method to compute the pseudoinverse of the whole matrix from the pseudoinverse of the first part by just 1 iteration, which have neglected some possible cases, and need further improvements in efficiency and numerical stability. In this paper, we propose an efficient and numerical stable algorithm from Greville's method, to compute the pseudoinverse of the whole matrix from the pseudoinverse of the first part by just 1 iteration, where all possible cases are considered, and the recently proposed inverse Cholesky factorization can be applied to further reduce the computational complexity. Finally, we give the whole algorithm for column-partitioned matrices in BLS. On the other hand, we also give the proposed algorithm for row-partitioned matrices in BLS.


title: Combining phonon accuracy with high transferability in Gaussian approximation potential models

abstract: Machine learning driven interatomic potentials, including Gaussian approximation potential (GAP) models, are emerging tools for atomistic simulations. Here, we address the methodological question of how one can fit GAP models that accurately predict vibrational properties in specific regions of configuration space, whilst retaining flexibility and transferability to others. We use an adaptive regularization of the GAP fit that scales with the absolute force magnitude on any given atom, thereby exploring the Bayesian interpretation of GAP regularization as an "expected error", and its impact on the prediction of physical properties for a material of interest. The approach enables excellent predictions of phonon modes (to within 0.1-0.2 THz) for structurally diverse silicon allotropes, and it can be coupled with existing fitting databases for high transferability. These findings and workflows are expected to be useful for GAP-driven materials modeling more generally.


title: A precision calculation of relic neutrino decoupling

abstract: We study the distortions of equilibrium spectra of relic neutrinos due to the interactions with electrons, positrons, and neutrinos in the early Universe. We solve the integro-differential kinetic equations for the neutrino density matrix, including three-flavor oscillations and finite temperature corrections from QED up to the next-to-leading order $\mathcal{O}(e^3)$ for the first time. In addition, the equivalent kinetic equations in the mass basis of neutrinos are directly solved, and we numerically evaluate the distortions of the neutrino spectra in the mass basis as well, which can be easily extrapolated into those for non-relativistic neutrinos in the current Universe. In both bases, we find the same value of the effective number of neutrinos, $N_{\rm eff} = 3.044$, which parameterizes the total neutrino energy density. The estimated error for the value of $N_{\rm eff}$ due to the numerical calculations and the choice of neutrino mixing parameters would be at most 0.0005.


title: Chaos and quantum scars in a coupled top model

abstract: We consider a coupled top model describing two interacting large spins, which is studied semiclassically as well as quantum mechanically. This model exhibits variety of interesting phenomena such as quantum phase transition (QPT), dynamical transition and excited state quantum phase transitions above a critical coupling strength. Both classical dynamics and entanglement entropy reveals ergodic behavior at the center of energy density band for an intermediate range of coupling strength above QPT, where the level spacing distribution changes from Poissonian to Wigner-Dyson statistics. Interestingly, in this model we identify quantum scars as reminiscence of unstable collective dynamics even in presence of interaction. Statistical properties of such scarred states deviate from ergodic limit corresponding to random matrix theory and violate Berry's conjecture. In contrast to ergodic evolution, oscillatory behavior in dynamics of unequal time commutator and survival probability is observed as dynamical signature of quantum scar, which can be relevant for its detection.


title: Magnetic field dependent 't Hooft determinant extended Nambu--Jona-Lasinio Model

abstract: We study the implications of recent lattice QCD results for the magnetic field dependence of the quarks dynamical masses on the 't Hooft determinant extended Nambu--Jona-Lasinio Model in the light and strange quark sectors (\emph{up}, \emph{down} and \emph{strange}). The parameter space is constrained at vanishing magnetic field, using the quarks dynamical masses and the meson spectra, whereas at non-vanishing magnetic field strength the dependence of the dynamical masses of two of the quark flavors is used to fit a magnetic field dependence on the model couplings, both the four-fermion Nambu--Jona-Lasinio interaction and the six-fermion 't Hooft flavor determinant. We found that this procedure reproduces the inverse magnetic catalysis, and the strength of the scalar coupling decreases with the magnetic field, while the strength of the six-fermion 't Hooft flavor determinant increases with the magnetic field.


title: On abstract F-systems. A graph-theoretic model for paradoxes involving a falsity predicate and its application to argumentation frameworks

abstract: F-systems are digraphs that enable to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and Yablo's can be analyzed with that tool to find graph-theoretic patterns. In this paper we present the F-systems model abstracting from all the features of the language in which the represented sentences are expressed. All that is assumed is the existence of sentences and the binary relation '... affirms the falsity of ...' among them. The possible existence of non-referential sentences is also considered. To model the sets of all the sentences that can jointly be valued as true we introduce the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enable to characterize referential contradictions, i.e. sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke's style fixed point characterization of groundedness is offered and fixed points which are complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) are put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of F-systems. We show the relation between local conglomerates and admissible sets of arguments and argue about the usefulness of the concept for argumentation theory.


title: Equivariant multiplicities of simply-laced type flag minors

abstract: Let $\mathfrak{g}$ be a finite simply-laced type simple Lie algebra. Baumann-Kamnitzer-Knutson recently defined an algebra morphism $\overline{D}$ on the coordinate ring $\mathbb{C}[N]$ related to Brion's equivariant multiplicities via the geometric Satake correspondence. This map is known to take distinguished values on the elements of the MV basis corresponding to smooth MV cycles, as well as on the elements of the dual canonical basis corresponding to Kleshchev-Ram's strongly homogeneous modules over quiver Hecke algebras. In this paper we show that when $\mathfrak{g}$ is of type $A_n$ or $D_4$, the map $\overline{D}$ takes similar distinguished values on the set of all flag minors of $\mathbb{C}[N]$, raising the question of the smoothness of the corresponding MV cycles. We also exhibit certain relations between the values of $\overline{D}$ on flag minors belonging to the same standard seed, and we show that in any $ADE$ type these relations are preserved under cluster mutations from one standard seed to another. The proofs of theses results partly rely on Kang-Kashiwara-Kim-Oh's monoidal categorification of the cluster structure of $\mathbb{C}[N]$ via representations of quiver Hecke algebras.


title: Counterdiabatic control of transport in a synthetic tight-binding lattice

abstract: Quantum state transformations that are robust to experimental imperfections are important for applications in quantum information science and quantum sensing. Counterdiabatic (CD) approaches, which use knowledge of the underlying system Hamiltonian to actively correct for diabatic effects, are powerful tools for achieving simultaneously fast and stable state transformations. Protocols for CD driving have thus far been limited in their experimental implementation to discrete systems with just two or three levels, as well as bulk systems with scaling symmetries. Here, we extend the tool of CD control to a discrete synthetic lattice system composed of as many as nine sites. Although this system has a vanishing gap and thus no adiabatic support in the thermodynamic limit, we show that CD approaches can still give a substantial, several order-of-magnitude, improvement in fidelity over naive, fast adiabatic protocols.


title: Conical Calabi-Yau metrics on toric affine varieties and convex cones

abstract: It is shown that any affine toric variety Y, which is Q-Gorenstein, admits a conical Ricci flat Kahler metric, which is smooth on the regular locus of Y. The corresponding Reeb vector is the unique minimizer of the volume functional on the Reeb cone of Y. The case when the vertex point of Y is an isolated singularity was previously shown by Futaki-Ono-Wang. The proof is based on an existence result for the inhomogeneous Monge-Ampere equation in real Euclidean space with exponential right hand side and prescribed target given by a proper convex convex, combined with transversal a priori estimates on Y.


title: Binary Curves of small fixed genus and gonality with many rational points

abstract: We determine the maximum number of rational points on a curve over $\mathbb{F}_2$ with fixed gonality and small genus.


title: Pinsker inequalities and related Monge-Amp\`ere equations for log concave functions

abstract: In this paper we further develop the theory of f-divergences for log-concave functions and their related inequalities. We establish Pinsker inequalities and new affine invariant entropy inequalities. We obtain new inequalities on functional affine surface area and lower and upper bounds for the Kullback-Leibler divergence in terms of functional affine surface area. The functional inequalities lead to new inequalities for L_p-affine surface areas for convex bodies.


title: Twirling channels have minimal mixed-unitary rank

abstract: For a positive integer $d$ and a unitary representation $\rho:G\rightarrow\mathrm{U}(d)$ of a compact group $G$, the twirling channel for this representation is the linear mapping $\Phi: M_d\rightarrow M_d$ defined as $\Phi(X)=\int_{G}\mathrm{d}\mu(g)\,\rho(g)X\rho(g^{-1})$ for every $X\in M_d$, where $\mu$ is the Haar measure on $G$. Such channels are examples of mixed-unitary channels, as they are in the convex hull of the set of unitary channels of a fixed size. By Carath\'eodory's theorem, these channels can always be expressed as a finite linear combination of unitary channels. We consider the mixed-unitary rank twirling channels---which is the minimum number of distinct unitary conjugations required to express the channel as a convex combination of unitary channels---and show that the mixed-unitary rank of every twirling channel is always equal to its Choi rank, both of which are equal to the dimension of the von Neumann algebra generated by the representation. Moreover, we show how to explicitly construct minimal mixed-unitary decompositions for these types of channels and provide some examples.


title: Vibration Analysis in Bearings for Failure Prevention using CNN

abstract: Timely failure detection for bearings is of great importance to prevent economic loses in the industry. In this article we propose a method based on Convolutional Neural Networks (CNN) to estimate the level of wear in bearings. First of all, an automatic labeling of the raw vibration data is performed to obtain different levels of bearing wear, by means of the Root Mean Square features along with the Shannon's entropy to extract features from the raw data, which is then grouped in seven different classes using the K-means algorithm to obtain the labels. Then, the raw vibration data is converted into small square images, each sample of the data representing one pixel of the image. Following this, we propose a CNN model based on the AlexNet architecture to classify the wear level and diagnose the rotatory system. To train the network and validate our proposal, we use a dataset from the center of Intelligent Maintenance Systems (IMS), and extensively compare it with other methods reported in the literature. The effectiveness of the proposed strategy proved to be excellent, outperforming other approaches in the state-of-the-art.


title: Reinforced Coloring for End-to-End Instance Segmentation

abstract: Instance segmentation is one of the actively studied research topics in computer vision in which many objects of interest should be separated individually. While many feed-forward networks produce high-quality segmentation on different types of images, their results often suffer from topological errors (merging or splitting) for segmentation of many objects, requiring post-processing. Existing iterative methods, on the other hand, extract a single object at a time using discriminative knowledge-based properties (shapes, boundaries, etc.) without relying on post-processing, but they do not scale well. To exploit the advantages of conventional single-object-per-step segmentation methods without impairing the scalability, we propose a novel iterative deep reinforcement learning agent that learns how to differentiate multiple objects in parallel. Our reward function for the trainable agent is designed to favor grouping pixels belonging to the same object using a graph coloring algorithm. We demonstrate that the proposed method can efficiently perform instance segmentation of many objects without heavy post-processing.


title: Formalizing of Category Theory in Agda

abstract: The generality and pervasiness of category theory in modern mathematics makes it a frequent and useful target of formalization. It is however quite challenging to formalize, for a variety of reasons. Agda currently (i.e. in 2020) does not have a standard, working formalization of category theory. We document our work on solving this dilemma. The formalization revealed a number of potential design choices, and we present, motivate and explain the ones we picked. In particular, we find that alternative definitions or alternative proofs from those found in standard textbooks can be advantageous, as well as "fit" Agda's type theory more smoothly. Some definitions regarded as equivalent in standard textbooks turn out to make different "universe level" assumptions, with some being more polymorphic than others. We also pay close attention to engineering issues so that the library integrates well with Agda's own standard library, as well as being compatible with as many of supported type theories in Agda as possible.


title: Realizing a Deterministic Source of Multipartite-Entangled Photonic Qubits

abstract: Sources of entangled electromagnetic radiation are a cornerstone in quantum information processing and offer unique opportunities for the study of quantum many-body physics in a controlled experimental setting. While multi-mode entangled states of radiation have been generated in various platforms, all previous experiments are either probabilistic or restricted to generate specific types of states with a moderate entanglement length. Here, we demonstrate the fully deterministic generation of purely photonic entangled states such as the cluster, GHZ, and W state by sequentially emitting microwave photons from a controlled auxiliary system into a waveguide. We tomographically reconstruct the entire quantum many-body state for up to $N=4$ photonic modes and infer the quantum state for even larger $N$ from process tomography. We estimate that localizable entanglement persists over a distance of approximately ten photonic qubits, outperforming any previous deterministic scheme.


title: Matrix Lie Groups as 3-Dimensional Almost Paracontact Almost Paracomplex Riemannian Manifolds

abstract: Lie groups considered as three-dimensional almost paracontact almost paracomplex Riemannian manifolds are investigated. In each basic class of the classification used for the manifolds under consideration, a correspondence is established between the Lie algebra and the explicit matrix representation of its Lie group.