title: Optimization and Positivity Certificates of Rational Functions using Bernstein Form

abstract: Rational functions of total degree $l$ in n variables have a representation in the Bernstein form defined over $n$ dimensional simplex. The range of a rational function is bounded by the smallest and the largest rational Bernstein coefficients over a simplex. Convergence properties of the bounds to the range are reviewed. Algebraic identities certifying the positivity of a given rational function over a simplex are given. Subsequently, a bound established in this work does not depend on the given dimension.


title: Weak solutions for Navier--Stokes equations with initial data in weighted $L^2$ spaces

abstract: We show the existence of global weak solutions of the 3D Navier-Stokes equations with initial velocity in the weighted spaces L 2 w$\gamma$ , where w $\gamma$ (x) = (1 + |x|) --$\gamma$ and 0 < $\gamma$ $\le$ 2, using new energy controls. As application we give a new proof of the existence of global weak discretely self-similar solutions of the 3D Navier-Stokes equations for discretely self-similar initial velocities which are locally square inte-grable.


title: Kinetic models with non-local sensing determining cell polarization and speed according to independent cues

abstract: Cells move by run and tumble, a kind of dynamics in which the cell alternates runs over straight lines and re-orientations. This erratic motion may be influenced by external factors, like chemicals, nutrients, the extra-cellular matrix, in the sense that the cell measures the external field and elaborates the signal eventually adapting its dynamics. We propose a kinetic transport equation implementing a velocity-jump process in which the transition probability takes into account a double bias, which acts, respectively, on the choice of the direction of motion and of the speed. The double bias depends on two different non-local sensing cues coming from the external environment. We analyze how the size of the cell and the way of sensing the environment with respect to the variation of the external fields affect the cell population dynamics by recovering an appropriate macroscopic limit and directly integrating the kinetic transport equation. A comparison between the solutions of the transport equation and of the proper macroscopic limit is also performed.


title: Negative Capacitance Ion-Sensitive Field-Effect Transistors with improved current sensitivity

abstract: Ion-Sensitive Field-Effect Transistors (ISFETs) form a wide-spread technology for sensing, thanks to their label-free detection and intrinsic CMOS compatibility. Their current sensitivity, {\Delta}ID/ID, for a given {\Delta}pH, however, is limited by the thermionic limit for the Subthreshold Slope (SS) of Metal-Oxide-Semiconductor Field-Effect Transistors(MOSFET) and by the Nernst limit. Obtaining ISFETs with a steep slope transfer characteristics is extremely challenging. In this paper we combine the merits of traditional ISFETs with the performance boosts offered by the insertion of a Negative Capacitor in series with the Gate contact. In the proposed tests with NC PZT capacitors, we demonstrate experimentally a reduction of the SS by 44%, combined with a current efficiency improvement of more than two times. As a consequence of the steeper SS, the current sensitivity to pH is improved by 78%.


title: Opto-mechanical tests of collapse models

abstract: The gap between the predictions of collapse models and those of standard quantum mechanics widens with the complexity of the involved systems. Addressing the way such gap scales with the mass or size of the system being investigated paves the way to testing the validity of the collapse theory and identify the values of the parameters that characterize it. Here, we review the recently proposed non-interferometric approach to the testing of collapse models, focusing on the opto-mechanical platform.


title: Managed Blockchain Based Cryptocurrencies with Consensus Enforced Rules and Transparency

abstract: Blockchain based cryptocurrencies are usually unmanaged, distributed, consensus-based systems in which no single entity has control. Managed cryptocurrencies can be implemented using private blockchains but are fundamentally different as the owners have complete control to do arbitrary activity without transparency (since they control the mining). In this work we explore a hybrid approach where a managed cryptocurrency is maintained through distributed consensus based methods. The currency administrator can perform ongoing management functions while the consensus methods enforce the rules of the cryptocurrency and provide transparency for all management actions. This enables the introduction of money management features common in fiat currencies but where the managing entity cannot perform arbitrary actions and transparency is enforced. We thus eliminate the need for users to trust the currency administrator but also to enable the administrator to manage the cryptocurrency. We demonstrate how to implement our approach through modest modifications to the implicit Bitcoin specification, however, our approach can be applied to most any blockchain based cryptocurrency using a variety of consensus methods.


title: Principal Component Analysis for Multivariate Extremes

abstract: The first order behavior of multivariate heavy-tailed random vectors above large radial thresholds is ruled by a limit measure in a regular variation framework. For a high dimensional vector, a reasonable assumption is that the support of this measure is concentrated on a lower dimensional subspace, meaning that certain linear combinations of the components are much likelier to be large than others. Identifying this subspace and thus reducing the dimension will facilitate a refined statistical analysis. In this work we apply Principal Component Analysis (PCA) to a re-scaled version of radially thresholded observations. Within the statistical learning framework of empirical risk minimization, our main focus is to analyze the squared reconstruction error for the exceedances over large radial thresholds. We prove that the empirical risk converges to the true risk, uniformly over all projection subspaces. As a consequence, the best projection subspace is shown to converge in probability to the optimal one, in terms of the Hausdorff distance between their intersections with the unit sphere. In addition, if the exceedances are re-scaled to the unit ball, we obtain finite sample uniform guarantees to the reconstruction error pertaining to the estimated projection sub-space. Numerical experiments illustrate the relevance of the proposed framework for practical purposes.


title: On the Relaxed States in the Mixture of Degenerate and Non-Degenerate Hot Plasmas of Astrophysical Objects

abstract: It is shown that a small contamination of a relativistically hot electron component can induce a new scale (for structure formation) to a system consisting of an ion-degenerate electron plasma. Mathematically expression of this additional scale length is the increase in the index of quasi-equilibrium Beltrami-Bernoulli states that have been invoked to model several astrophysical systems of interest. The two species of electrons, due to different origin of their relativistic effective masses, behave as two distinct components (each with its own conserved helicity) and add to the richness of the accessible quasi equilibrium states. Determined by the concrete parameters of the system, the new macro-scale lengths (much larger than the short intrinsic scale lengths (skin depths) and generally much shorter than the system size) open new pathways for energy transformations.


title: Flow cytometry to assess the counts and physiological state of Cronobacter sakazakii cells after heat exposure

abstract: Cronobacter sakazakii is an opportunistic pathogen associated with outbreaks of neonatal necrotizing enterocolitis, septicemia, and meningitis. Reconstituted powdered infant formulae (PIF) is the most common vehicle of infection. Plate count methods do not provide direct information on the physiological status of cells. Flow cytometry (FC) has been used to gain insights into the physiological states of C. sakazakii after heat treatments, and to compare FC results with plate counts. The percentage of compromised cells increased as the percentage of live cells increased after the 100 C treatment. However, the number of compromised cells after 60 or 65 C treatments decreased as the percentage of live cells increased, showing that both mild temperatures would not be completely effective eliminating all bacteria but compromising their membranes, and showing that mild heat treatments are not enough to guarantee the safety of PIF. FC was capable to detect C. sakazakii compromised cells that cannot be detected with classical plate count methods, thus it could be used to decreasing the risk of pathogenic viable but non-culturable cells to be in the ingested food. Linear regression analysis showed good correlations between plate count results vs FC results.


title: Multi-Agent Deep Reinforcement Learning for Liquidation Strategy Analysis

abstract: Liquidation is the process of selling a large number of shares of one stock sequentially within a given time frame, taking into consideration the costs arising from market impact and a trader's risk aversion. The main challenge in optimizing liquidation is to find an appropriate modeling system that can incorporate the complexities of the stock market and generate practical trading strategies. In this paper, we propose to use multi-agent deep reinforcement learning model, which better captures high-level complexities comparing to various machine learning methods, such that agents can learn how to make the best selling decisions. First, we theoretically analyze the Almgren and Chriss model and extend its fundamental mechanism so it can be used as the multi-agent trading environment. Our work builds the foundation for future multi-agent environment trading analysis. Secondly, we analyze the cooperative and competitive behaviours between agents by adjusting the reward functions for each agent, which overcomes the limitation of single-agent reinforcement learning algorithms. Finally, we simulate trading and develop an optimal trading strategy with practical constraints by using a reinforcement learning method, which shows the capabilities of reinforcement learning methods in solving realistic liquidation problems.


title: Multi-Span Acoustic Modelling using Raw Waveform Signals

abstract: Traditional automatic speech recognition (ASR) systems often use an acoustic model (AM) built on handcrafted acoustic features, such as log Mel-filter bank (FBANK) values. Recent studies found that AMs with convolutional neural networks (CNNs) can directly use the raw waveform signal as input. Given sufficient training data, these AMs can yield a competitive word error rate (WER) to those built on FBANK features. This paper proposes a novel multi-span structure for acoustic modelling based on the raw waveform with multiple streams of CNN input layers, each processing a different span of the raw waveform signal. Evaluation on both the single channel CHiME4 and AMI data sets show that multi-span AMs give a lower WER than FBANK AMs by an average of about 5% (relative). Analysis of the trained multi-span model reveals that the CNNs can learn filters that are rather different to the log Mel filters. Furthermore, the paper shows that a widely used single span raw waveform AM can be improved by using a smaller CNN kernel size and increased stride to yield improved WERs.


title: Electrostatic Time Dilation and Redshift

abstract: We first present the salient features of the gravitational time dilation and redshift effects in two ways; by considering the oscillation frequencies/rates of clocks at different heights/potentials and by considering the photons emitted by these clocks such as atoms/nuclei. We then point out to the extension of these gravitational effects to static electricity along with two experiments performed in the '30s with null results of the electrostatic redshift. We show that the absence of this redshift is a consequence of the conservation of electric charge. We discuss the electrical time dilation and redshift effects in detail and argue that the electrostatic time dilation in an electric field must be a fact of Nature. We then present a general relativistic scheme that explains this effect. We also introduce an electrical equivalence principle analogous to the gravitational one and demonstrate how to obtain the electrostatic time dilation by this principle. We emphasize the importance of ionic atomic clocks to measure this effect whose confirmation would support the general relativistic scheme presented. We finally go over an attempt in the literature to explain the impossibility of the experimental observation of the electrostatic redshift due to its smallness by employing the Reissner - Nordstr\"om metric in general relativity. We argue that the $Q^{\,2}$ - term in this metric is due to the minuscule contribution of the energy of the electric field of the central body to its gravitational field. Thus being gravitational, this metric cannot be used to calculate the amount of the alleged electrostatic redshift.


title: Unsupervised Phoneme and Word Discovery from Multiple Speakers using Double Articulation Analyzer and Neural Network with Parametric Bias

abstract: This paper describes a new unsupervised machine learning method for simultaneous phoneme and word discovery from multiple speakers. Human infants can acquire knowledge of phonemes and words from interactions with his/her mother as well as with others surrounding him/her. From a computational perspective, phoneme and word discovery from multiple speakers is a more challenging problem than that from one speaker because the speech signals from different speakers exhibit different acoustic features. This paper proposes an unsupervised phoneme and word discovery method that simultaneously uses nonparametric Bayesian double articulation analyzer (NPB-DAA) and deep sparse autoencoder with parametric bias in hidden layer (DSAE-PBHL). We assume that an infant can recognize and distinguish speakers based on certain other features, e.g., visual face recognition. DSAE-PBHL is aimed to be able to subtract speaker-dependent acoustic features and extract speaker-independent features. An experiment demonstrated that DSAE-PBHL can subtract distributed representations of acoustic signals, enabling extraction based on the types of phonemes rather than on the speakers. Another experiment demonstrated that a combination of NPB-DAA and DSAE-PB outperformed the available methods in phoneme and word discovery tasks involving speech signals with Japanese vowel sequences from multiple speakers.


title: Interaction-induced charge transfer in a mesoscopic electron spectrometer

abstract: A novel mesoscopic electron spectrometer allows for the probing of relaxation processes in quantum Hall edge channels. The device is composed of an emitter quantum dot that injects energy-resolved electrons into the channel closest to the sample edge, to be subsequently probed downstream by a detector quantum dot of the same type. In addition to inelastic processes in the sample that stem from interactions inside the region between the quantum dot energy filters (inner region), anomalous signals are measured when the detector energy exceeds the emitter energy. Considering finite range Coulomb interactions in the sample, we find that energy exchange between electrons in the current inducing source channel and the inner region, similar to Auger recombination processes, is responsible for such anomalous currents. In addition, our perturbative treatment of interactions shows that electrons emitted from the source, which dissipate energy to the inner region before entering the detector, contribute to the current most strongly when emitter-detector energies are comparable. Charge transfer in which the emitted electron is exchanged for a charge carrier from the Fermi sea, on the other hand, preferentially occurs close to the Fermi level.


title: Semantics of HTS AC loss modelling: Theories, models and experiments

abstract: Computer-assisted modelling is an essential approach to design new devices. It speeds up the process from the initial idea to an actual device and saves resources by reducing the number of built prototypes. This is also a significant practical motivator behind scientific research in contemporary high-temperature superconductor (HTS) AC loss modelling. However, in the scientific literature in this field, consistent practices about modelling terminology have not been established. Then, it is up to the reader to decide, what is the true intent and meaning of the authors. Consequently, the interpretation of such literature might be very much reader-dependent. Moreover, an inseparable part of the whole modelling process is the development of modelling approaches and numerical methods and comparing the predictions obtained via modelling to experimentally achieved results: It is commonplace to discuss the accuracy of modelling results or the validation of a model. In this paper, we discuss the terminology related to theories, models and experiments in the context of HTS AC loss modelling. We discuss the recursive nature of theories and models in this context, discuss the compatibility of discrete formulations of physics utilized in our field with the corresponding continuum descriptions, as well as with intuition, and interpret the perceived meaning of validation of a self-consistent model, shedding light on the relationships between theories, models and measurements. We present our view on understanding these relations in the familiar context of AC losses in HTS. As a result, we end this paper with four conjectures describing our views.


title: Further advantages of data augmentation on convolutional neural networks

abstract: Data augmentation is a popular technique largely used to enhance the training of convolutional neural networks. Although many of its benefits are well known by deep learning researchers and practitioners, its implicit regularization effects, as compared to popular explicit regularization techniques, such as weight decay and dropout, remain largely unstudied. As a matter of fact, convolutional neural networks for image object classification are typically trained with both data augmentation and explicit regularization, assuming the benefits of all techniques are complementary. In this paper, we systematically analyze these techniques through ablation studies of different network architectures trained with different amounts of training data. Our results unveil a largely ignored advantage of data augmentation: networks trained with just data augmentation more easily adapt to different architectures and amount of training data, as opposed to weight decay and dropout, which require specific fine-tuning of their hyperparameters.


title: Competing phases and critical behavior in three coupled spinless Luttinger liquids

abstract: We study electronic phase competition in a system of three coupled spinless Luttinger liquids using abelian bosonization, together with a perturbative renormalization group (RG) analysis. The scaling procedure generates off-diagonal contributions to the phase stiffness matrix, which require both rescaling as well as large rotations of the fields. These rotations, generally non-abelian in nature, are important for correctly obtaining the dominant electronic orders and critical behavior in different parameter regimes. They generate a coupling between different interaction channels even at the tree-level order in the coupling constant scaling equations. We study competing phases in this system, taking into account the aforementioned rotations, and determine its critical behavior in a variety of interaction parameter regimes where perturbative RG is possible. The phase boundaries are found to be of the Berezinskii-Kosterlitz-Thouless (BKT) type, and we specify the parameter regimes where valley-symmetry breaking, chiral orders, and restoration of $C_{3}$ symmetry may be observed. We discuss experimental systems where our approach and findings may be relevant.


title: Killed Rough Super-Brownian Motion

abstract: This note extends the results in [8] to construct the rough super-Brownian motion on finite volume with Dirichlet boundary conditions. The backbone of this study is the convergence of discrete approximations of the parabolic Anderson model (PAM) on a box.


title: Retrieving the True Masses of Gravitational-wave Sources

abstract: Gravitational waves (GWs) encode important information about the mass of the source. For binary black holes (BBHs), the templates that are used to retrieve the masses normally are developed under the assumption of a vacuum environment. However, theories suggest that some BBHs form in gas-rich environments. Here we study the effect of hydrodynamic drag on the chirp signal of a stellar-mass BBH and the impact on the measurement of the mass. Based on theoretical arguments, we show that the waveform of a BBH in gas resembles that of a more massive BBH residing in a vacuum. The effect is important for LISA sources but negligible for LIGO/Virgo binaries. Furthermore, we carry out a matched-filtering search of the best fitting parameters. We find that the best-fit chirp mass could be significantly greater than the real mass if the gas effect is not appropriately accounted for. Our results have important implications for the future joint observation of BBHs using both ground- and space-based detectors.


title: EdgeLens: Deep Learning based Object Detection in Integrated IoT, Fog and Cloud Computing Environments

abstract: Data-intensive applications are growing at an increasing rate and there is a growing need to solve scalability and high-performance issues in them. By the advent of Cloud computing paradigm, it became possible to harness remote resources to build and deploy these applications. In recent years, new set of applications and services based on Internet of Things (IoT) paradigm, require to process large amount of data in very less time. Among them surveillance and object detection have gained prime importance, but cloud is unable to bring down the network latencies to meet the response time requirements. This problem is solved by Fog computing which harnesses resources in the edge of the network along with remote cloud resources as required. However, there is still a lack of frameworks that are successfully able to integrate sophisticated software and applications, especially deep learning, with fog and cloud computing environments. In this work, we propose a framework to deploy deep learning-based applications in fog-cloud environments to harness edge and cloud resources to provide better service quality for such applications. Our proposed framework, called EdgeLens, adapts to the application or user requirements to provide high accuracy or low latency modes of services. We also tested the performance of the software in terms of accuracy, response time, jitter, network bandwidth and power consumption and show how EdgeLens adapts to different service requirements.


title: Smart Contract Federated Identity Management without Third Party Authentication Services

abstract: Federated identity management enables users to access multiple systems using a single login credential. However, to achieve this a complex privacy compromising authentication has to occur between the user, relying party (RP) (e.g., a business), and a credential service provider (CSP) that performs the authentication. In this work, we use a smart contract on a blockchain to enable an architecture where authentication no longer involves the CSP. Authentication is performed solely through user to RP communications (eliminating fees and enhancing privacy). No third party needs to be contacted, not even the smart contract. No public key infrastructure (PKI) needs to be maintained. And no revocation lists need to be checked. In contrast to competing smart contract approaches, ours is hierarchically managed (like a PKI) enabling better validation of attribute providers and making it more useful for large entities to provide identity services for their constituents (e.g., a government) while still enabling users to maintain a level of self-sovereignty.


title: Expected Sarsa($\lambda$) with Control Variate for Variance Reduction

abstract: Off-policy learning is powerful for reinforcement learning. However, the high variance of off-policy evaluation is a critical challenge, which causes off-policy learning falls into an uncontrolled instability. In this paper, for reducing the variance, we introduce control variate technique to $\mathtt{Expected}$ $\mathtt{Sarsa}$($\lambda$) and propose a tabular $\mathtt{ES}$($\lambda$)-$\mathtt{CV}$ algorithm. We prove that if a proper estimator of value function reaches, the proposed $\mathtt{ES}$($\lambda$)-$\mathtt{CV}$ enjoys a lower variance than $\mathtt{Expected}$ $\mathtt{Sarsa}$($\lambda$). Furthermore, to extend $\mathtt{ES}$($\lambda$)-$\mathtt{CV}$ to be a convergent algorithm with linear function approximation, we propose the $\mathtt{GES}$($\lambda$) algorithm under the convex-concave saddle-point formulation. We prove that the convergence rate of $\mathtt{GES}$($\lambda$) achieves $\mathcal{O}(1/T)$, which matches or outperforms lots of state-of-art gradient-based algorithms, but we use a more relaxed condition. Numerical experiments show that the proposed algorithm performs better with lower variance than several state-of-art gradient-based TD learning algorithms: $\mathtt{GQ}$($\lambda$), $\mathtt{GTB}$($\lambda$) and $\mathtt{ABQ}$($\zeta$).


title: Effect of thermal ions on fluid nonlinear frequency shift of ion acoustic waves in multi-ion species plasmas

abstract: A model of the fluid nonlinear frequency shift of ion acoustic waves (IAWs) in multi-ion species plasmas is presented, which considers the effect of ion temperature. Because the thermal ion exists in plasmas in inertial confinement fusion (ICF) and also solar wind, which should be considered in nonlinear frequency shift of IAWs. However, the existing models [Berger et al., Physics of Plasmas 20, 032107 (2013); Q. S. Feng et al., Phys. Rev. E 94, 023205 (2016)] just consider the cold ion fluid models. This complete theory considering multi-ion species and thermal ions will calculate the frequency of the large amplitude nonlinear IAWs more accurately, especially the slow mode with high ion temperature, which will have wide application in space physics and inertial confinement fusion.


title: Suprathermal Electrons from the Anti-Stokes Langmuir Decay Instability Cascade

abstract: The study of parametric instabilities has played a crucial role in understanding energy transfer to plasma and, with that, the development of key applications such as inertial confinement fusion. When the densities are between $0.108n_c\lesssim n_e\lesssim 0.138n_c$ and the electron temperature is $T_e=$2.5 keV, anomalous hot electrons with kinetic energies above 100 keV are generated. Here, a new electron acceleration mechanism - the anti-Stokes Langmuir decay instability cascade of forward stimulated Raman scattering - is investigated. This mechanism not only explains anomalous energetic electron generation in indirectly driven inertial confinement fusion experiments (and, with that, future mitigation strategies for experiments on the National Ignition Facility), it also provides a new way of accelerating electrons to higher energy for applications such as novel X-ray sources.


title: Quantifying Information Exposure in Internet Routing

abstract: Data sent over the Internet can be monitored and manipulated by intermediate entities in the data path from the source to the destination. For unencrypted communications (and some encrypted communications with known weaknesses), eavesdropping and man-in-the-middle attacks are possible. For encrypted communication, the identification of the communicating endpoints is still revealed. In addition, encrypted communications may be stored until such time as newly discovered weaknesses in the encryption algorithm or advances in computer hardware render them readable by attackers. In this work, we use public data to evaluate both advertised and observed routes through the Internet and measure the extent to which communications between pairs of countries are exposed to other countries. We use both physical router geolocation as well as the country of registration of the companies owning each router. We find a high level of information exposure; even physically adjacent countries use routes that involve many other countries. We also found that countries that are well `connected' tend to be more exposed. Our analysis indicates that there exists a tradeoff between robustness and information exposure in the current Internet.


title: Survey of Information Encoding Techniques for DNA

abstract: The yearly global production of data is growing exponentially, outpacing the capacity of existing storage media, such as tape and disk, and surpassing our ability to store it. DNA storage - the representation of arbitrary information as sequences of nucleotides - offers a promising storage medium. DNA is nature's information-storage molecule of choice and has a number of key properties: it is extremely dense, offering the theoretical possibility of storing 455 EB/g; it is durable, with a half-life of approximately 520 years that can be increased to thousands of years when DNA is chilled and stored dry; and it is amenable to automated synthesis and sequencing. Furthermore, biochemical processes that act on DNA potentially enable highly parallel data manipulation. Whilst biological information is encoded in DNA via a specific mapping from triplet sequences of nucleotides to amino acids, DNA storage is not limited to a single encoding scheme, and there are many possible ways to map data to chemical sequences of nucleotides for synthesis, storage, retrieval and data manipulation. However, there are several biological, error-tolerance and information-retrieval considerations that an encoding scheme needs to address to be viable. This comprehensive review focuses on comparing existing work done in encoding arbitrary data within DNA in terms of their encoding schemes, methods to address biological constraints and measures to provide error correction. We compare encoding approaches on the overall information density and coverage they achieve, as well as the data-retrieval method they use (i.e., sequential or random access). We also discuss the background and evolution of the encoding schemes.


title: Dilaton black holes with power law electrodynamics

abstract: In this article, the new black hole solutions to the Einstein-power-Maxwell-dilaton gravity theory have been investigated in a four-dimensional space-time. The coupled scalar, electromagnetic and gravitational field equations have been solved in a static and spherically symmetric geometry. It has been shown that dilatonic potential, as the solution to the scalar field equation, can be written in the form of a generalized Liouville potential. Also, three classes of novel charged dilaton black hole solutions, in the presence of power law nonlinear electrodynamics, have been constructed out which are asymptotically non-flat and non-AdS. The conserved and thermodynamic quantities have been calculated from geometrical and thermodynamical approaches, separately. Since the results of these two alternative approaches are identical one can argue that the first law of black hole thermodynamics is valid for all of the new black hole solutions. The thermodynamic stability or phase transition of the black holes have been studied, making use of the canonical ensemble method. The points of type-1 and type-2 phase transitions as well as the ranges at which the black holes are stable have been indicated by considering the heat capacity of the new black hole solutions. The global stability of the black holes have been studied through the grand canonical ensemble method. Regarding the Gibbs free energy of the black holes, the points of Hawking-Page phase transition and ranges of the horizon radii at which the black holes are globally stable have been determined.


title: Reasoning about Hypothetical Agent Behaviours and their Parameters

abstract: Agents can achieve effective interaction with previously unknown other agents by maintaining beliefs over a set of hypothetical behaviours, or types, that these agents may have. A current limitation in this method is that it does not recognise parameters within type specifications, because types are viewed as blackbox mappings from interaction histories to probability distributions over actions. In this work, we propose a general method which allows an agent to reason about both the relative likelihood of types and the values of any bounded continuous parameters within types. The method maintains individual parameter estimates for each type and selectively updates the estimates for some types after each observation. We propose different methods for the selection of types and the estimation of parameter values. The proposed methods are evaluated in detailed experiments, showing that updating the parameter estimates of a single type after each observation can be sufficient to achieve good performance.


title: Role of the sonic scale in the growth of magnetic field in compressible turbulence

abstract: We study the growth of small fluctuations of magnetic field in supersonic turbulence, the small-scale dynamo. The growth is due to the fastest turbulent eddies above the resistive scale. We observe that for supersonic turbulence these eddies are effectively incompressible which creates a robust structure of the growth. The eddies are localised below the sonic scale $l_s$ defined as the scale where the typical velocity of the turbulent eddies equals the speed of sound. Thus the flow below $l_s$ is effectively incompressible and the field growth proceeds as in incompressible flow. At large Mach numbers $l_s$ is much smaller than the integral scale of turbulence so the fastest growing mode of the magnetic field belongs to small-scale turbulence. We derive this mode and the associated growth rate numerically in a white noise in time model of turbulence. The relevance of this model relies on considering evolution time larger than the correlation time of turbulence.


title: Non-malleable Coding for Arbitrary Varying Channels

abstract: Non-malleable codes protect against an adversary who can tamper with the coded message by using a tampering function in a specified function family, guaranteeing that the tampering result will only depend on the chosen function and not the coded message. The codes have been motivated for providing protection against tampering with hardware that stores the secret cryptographic keys, and have found significant attention in cryptography. Traditional Shannon model of communication systems assumes the communication channel is perfectly known to the transmitter and the receiver. Arbitrary Varying Channels (AVCs) remove this assumption and have been used to model adversarially controlled channels. Transmission over these channels has been originally studied with the goal of recovering the sent message, and more recently with the goal of detecting tampering with the sent messages. In this paper we introduce non-malleability as the protection goal of message transmission over these channels, and study binary (discrete memoryless) AVCs where possible tampering is modelled by the set of channel states. Our main result is that non-malleability for these channels is achievable at a rate asymptotically approaching 1. We also consider the setting of an AVC with a special state s*, and the additional requirement that the message must be recoverable if s* is applied to all the transmitted bits. We give the outline of a message encoding scheme that in addition to non-malleability, can provide recovery for all s* channel.


title: Asymptotic behavior for a Schr\"odinger equation with nonlinear subcritical dissipation

abstract: We study the time-asymptotic behavior of solutions of the Schr\"odinger equation with nonlinear dissipation \begin{equation*} \partial _t u = i \Delta u + \lambda |u|^\alpha u \end{equation*} in ${\mathbb R}^N $, $N\geq1$, where $\lambda\in {\mathbb C}$, $\Re \lambda <0$ and $0<\alpha<\frac2N$. We give a precise description of the behavior of the solutions (including decay rates in $L^2$ and $L^\infty $, and asymptotic profile), for a class of arbitrarily large initial data, under the additional assumption that $\alpha $ is sufficiently close to $\frac2N$.


title: Turing Test Revisited: A Framework for an Alternative

abstract: This paper aims to question the suitability of the Turing Test, for testing machine intelligence, in the light of advances made in the last 60 years in science, medicine, and philosophy of mind. While the main concept of the test may seem sound and valid, a detailed analysis of what is required to pass the test highlights a significant flow. Once the analysis of the test is presented, a systematic approach is followed in analysing what is needed to devise a test or tests for intelligent machines. The paper presents a plausible generic framework based on categories of factors implied by subjective perception of intelligence. An evaluative discussion concludes the paper highlighting some of the unaddressed issues within this generic framework.


title: A Nonlinear Quantum Adiabatic Approximation

abstract: This paper is devoted to a generalisation of the quantum adiabatic theorem to a nonlinear setting. We consider a Hamiltonian operator which depends on the time variable and on a finite number of parameters and acts on a separable Hilbert space of which we select a fixed basis. We study an evolution equation in which this Hamiltonian acts on the unknown vector, while depending on coordinates of the unknown vector in the selected basis, thus making the equation nonlinear. We prove existence of solutions to this equation and consider their asymptotics in the adiabatic regime, i.e. when the Hamiltonian is slowly varying in time. Under natural spectral hypotheses, we prove the existence of normalised time dependent vectors depending on the Hamiltonian only, called instantaneous nonlinear eigenvectors, and show the existence of solutions which remain close to these vectors, up to a rapidly oscillating phase, in the adiabatic regime. We first investigate the case of bounded operators and then exhibit a set of spectral assumptions under which the result extends to unbounded Hamiltonians.


title: Preference-based Energy Exchange in a Network of Microgrids

abstract: Peer-to-peer energy trading is emerging as a new paradigm that in the near future may disrupt conventional electricity markets and heavily affect energy exchanges in networks of microgrids. In this paper, a preference mechanism is considered to compute optimal energy exchanges in a network of microgrids with or without the supervision of the distribution system operator, and the alternating direction method of multipliers is adopted for its distributed solution. The effect of the preference mechanism on the resulting power flow in the network is further studied and discussed for realistic case studies. Results show that a desired power flow in the network of interconnected microgrids can be achieved with different preference values locally chosen or imposed by the system operator. In particular, appropriate preferences may be used to give rise to different clusters of microgrids and reduce energy exchanges between different clusters.


title: Linear Dynamics Induced by Odometers

abstract: Weighted shifts are an important concrete class of operators in linear dynamics. In particular, they are an essential tool in distinguishing variety dynamical properties. Recently, a systematic study of dynamical properties of composition operators on $L^p$ spaces has been initiated. This class of operators includes weighted shifts and also allows flexibility in construction of other concrete examples. In this article, we study one such concrete class of operators, namely composition operators induced by measures on odometers. In particular, we study measures on odometers which induce mixing and transitive linear operators on $L^p$ spaces.


title: Temporal Discounting in Software Engineering: A Replication Study

abstract: Background: Many decisions made in Software Engineering practices are intertemporal choices: trade-offs in time between closer options with potential short-term benefit and future options with potential long-term benefit. However, how software professionals make intertemporal decisions is not well understood. Aim: This paper investigates how shifting time frames influence preferences in software projects in relation to purposefully selected background factors. Method: We investigate temporal discounting by replicating a questionnaire-based observational study. The replication uses a changed-population and -experimenter design to increase the internal and external validity of the original results. Results: The results of this study confirm the occurrence of temporal discounting in samples of both professional and student participants from different countries and demonstrate strong variance in discounting between study participants. We found that professional experience influenced discounting. Participants with broader professional experience exhibited less discounting than those with narrower experience. Conclusions: The results provide strong empirical support for the relevance and importance of temporal discounting in SE and the urgency of targeted interdisciplinary research to explore the underlying mechanisms and their theoretical and practical implications. The results suggest that technical debt management could be improved by increasing the breadth of experience available for critical decisions with long-term impact. In addition, the present study provides a methodological basis for replicating temporal discounting studies in software engineering.


title: Global existence and decay in nonlinearly coupled reaction-diffusion-advection equations with different velocities

abstract: We develop techniques to capture the effect of transport on the long-term dynamics of small, localized initial data in nonlinearly coupled reaction-diffusion-advection equations on the real line. It is well-known that quadratic or cubic nonlinearities in such systems can lead to growth of small, localized initial data and even finite time blow-up. We show that, if the components exhibit different velocities, then quadratic or cubic mix-terms, i.e. terms with nontrivial contributions from both components, are harmless. We establish global existence and diffusive Gaussian-like decay for exponentially and algebraically localized initial conditions allowing for quadratic and cubic mix-terms. Our proof relies on a nonlinear iteration scheme that employs pointwise estimates. The situation becomes very delicate if other quadratic or cubic terms are present in the system. We provide an example where a quadratic mix-term and a Burgers'-type coupling can compensate for a cubic term due to differences in velocities.


title: Resonance of bounded isochronous oscillators

abstract: An oscillator is called isochronous if all motions have a common period. When the system is forced by a time-dependent perturbation with the same period the phenomenon of resonance may appear. We give a sufficient condition on the perturbation in order that resonance occurs when the period annulus of the isochronous oscillator is bounded. In this context, resonance means that all solutions escape from the period annulus.


title: Optimistic Proximal Policy Optimization

abstract: Reinforcement Learning, a machine learning framework for training an autonomous agent based on rewards, has shown outstanding results in various domains. However, it is known that learning a good policy is difficult in a domain where rewards are rare. We propose a method, optimistic proximal policy optimization (OPPO) to alleviate this difficulty. OPPO considers the uncertainty of the estimated total return and optimistically evaluates the policy based on that amount. We show that OPPO outperforms the existing methods in a tabular task.


title: On quaternion algebras that split over quadratic number fields

abstract: Let $d$ and $m$ be two distinct squarefree integers and $\mathcal{O}_K$ the ring of integers of the quadratic field $K=\mathbb{Q}(\sqrt{d})$. Denote by $ H_K(\alpha, m)$ a quaternion algebra over $K$, where $\alpha\in \mathcal{O}_K$. In this paper we give necessary and sufficient conditions for $ H_K(\alpha, m)$ to split over $K$ for some values of $\alpha$, and we obtain a complete characterization of division quaternion algebras $ H_K(\alpha, m)$ over $K$ whenever $\alpha$ and $m$ are two distinct positive prime integers. Examples are given involving prime Fibonacci numbers.


title: h- and p-refined Multilevel Monte Carlo Methods for Uncertainty Quantification in Structural Engineering

abstract: Practical structural engineering problems are often characterized by significant uncertainties. Historically, one of the prevalent methods to account for this uncertainty has been the standard Monte Carlo (MC) method. Recently, improved sampling methods have been proposed, based on the idea of variance reduction by employing a hierarchy of mesh refinements. We combine an h- and p-refinement hierarchy with the Multilevel Monte Carlo (MLMC) and Multilevel Quasi-Monte Carlo (MLQMC) method. We investigate the applicability of these novel combination methods on three structural engineering problems, for which the uncertainty resides in the Young's modulus: the static response of a cantilever beam with elastic material behavior, its static response with elastoplastic behavior, and its dynamic response with elastic behavior. The uncertainty is either modeled by means of one random variable sampled from a univariate Gamma distribution or with multiple random variables sampled from a gamma random field. This random field results from a truncated Karhunen-Lo\`eve (KL) expansion. In this paper, we compare the computational costs of these Monte Carlo methods. We demonstrate that MQLMC and MLMC have a significant speedup with respect to MC, regardless of the mesh refinement hierarchy used. We empirically demonstrate that the MLQMC cost is optimally proportional to 1/epsilon under certain conditions, where epsilon is the tolerance on the root-mean-square error (RMSE). In addition, we show that, when the uncertainty is modeled as a random field, the multilevel methods combined with p-refinement have a significant lower computation cost than their counterparts based on h-refinement. We also illustrate the effect the uncertainty models have on the uncertainty bounds in the solutions.


title: Blockchain Technology Overview

abstract: Blockchains are tamper evident and tamper resistant digital ledgers implemented in a distributed fashion (i.e., without a central repository) and usually without a central authority (i.e., a bank, company, or government). At their basic level, they enable a community of users to record transactions in a shared ledger within that community, such that under normal operation of the blockchain network no transaction can be changed once published. This document provides a high-level technical overview of blockchain technology. The purpose is to help readers understand how blockchain technology works.


title: Large gap asymptotics for the generating function of the sine point process

abstract: We consider the generating function of the sine point process on $m$ consecutive intervals. It can be written as a Fredholm determinant with discontinuities, or equivalently as the convergent series \begin{equation*} \sum_{k_{1},...,k_{m} \geq 0} \mathbb{P}\Bigg(\bigcap_{j=1}^{m} \#\{\mbox{points in j-th interval}\}=k_{j}\Bigg)\prod_{j=1}^{m} s_{j}^{k_{j}}, \end{equation*} where $s_{1},\ldots,s_{m} \in [0,1]$. In particular, we can deduce from it joint probabilities of the counting function of the process. In this work, we obtain large gap asymptotics for the generating function, which are asymptotics as the size of the intervals grows. Our results are valid for an arbitrary integer $m$, in the cases where all the parameters $s_{1},\ldots,s_{m}$, except possibly one, are positive. This generalizes two known results: 1) a result of Basor and Widom, which corresponds to $m=1$ and $s_{1}>0$, and 2) the case $m=1$ and $s_{1} = 0$ for which many authors have contributed. We also present some applications in the context of thinning and conditioning of the sine process.


title: AGAN: Towards Automated Design of Generative Adversarial Networks

abstract: Recent progress in Generative Adversarial Networks (GANs) has shown promising signs of improving GAN training via architectural change. Despite some early success, at present the design of GAN architectures requires human expertise, laborious trial-and-error testings, and often draws inspiration from its image classification counterpart. In the current paper, we present the first neural architecture search algorithm, automated neural architecture search for deep generative models, or AGAN for abbreviation, that is specifically suited for GAN training. For unsupervised image generation tasks on CIFAR-10, our algorithm finds architecture that outperforms state-of-the-art models under same regularization techniques. For supervised tasks, the automatically searched architectures also achieve highly competitive performance, outperforming best human-invented architectures at resolution $32\times32$. Moreover, we empirically demonstrate that the modules learned by AGAN are transferable to other image generation tasks such as STL-10.


title: Molecular Property Prediction: A Multilevel Quantum Interactions Modeling Perspective

abstract: Predicting molecular properties (e.g., atomization energy) is an essential issue in quantum chemistry, which could speed up much research progress, such as drug designing and substance discovery. Traditional studies based on density functional theory (DFT) in physics are proved to be time-consuming for predicting large number of molecules. Recently, the machine learning methods, which consider much rule-based information, have also shown potentials for this issue. However, the complex inherent quantum interactions of molecules are still largely underexplored by existing solutions. In this paper, we propose a generalizable and transferable Multilevel Graph Convolutional neural Network (MGCN) for molecular property prediction. Specifically, we represent each molecule as a graph to preserve its internal structure. Moreover, the well-designed hierarchical graph neural network directly extracts features from the conformation and spatial information followed by the multilevel interactions. As a consequence, the multilevel overall representations can be utilized to make the prediction. Extensive experiments on both datasets of equilibrium and off-equilibrium molecules demonstrate the effectiveness of our model. Furthermore, the detailed results also prove that MGCN is generalizable and transferable for the prediction.


title: A non-perturbative approach to computing seismic normal modes in rotating planets

abstract: A Continuous Galerkin method-based approach is presented to compute the seismic normal modes of rotating planets. Special care is taken to separate out the essential spectrum in the presence of a fluid outer core using a polynomial filtering eigensolver. The relevant elastic-gravitational system of equations, including the Coriolis force, is subjected to a mixed finite-element method, while self-gravitation is accounted for with the fast multipole method. Our discretization utilizes fully unstructured tetrahedral meshes for both solid and fluid regions. The relevant eigenvalue problem is solved by a combination of several highly parallel and computationally efficient methods. We validate our three-dimensional results in the non-rotating case using analytical results for constant elastic balls, as well as numerical results for an isotropic Earth model from standard ``radial" algorithms. We also validate the computations in the rotating case, but only in the slowly-rotating regime where perturbation theory applies, because no other independent algorithms are available in the general case. The algorithm and code are used to compute the point spectra of eigenfrequencies in several Earth and Mars models studying the effects of heterogeneity on a large range of scales.


title: Using Markov chains to determine expected propagation time for probabilistic zero forcing

abstract: Zero forcing is a coloring game played on a graph where each vertex is initially colored blue or white and the goal is to color all the vertices blue by repeated use of a (deterministic) color change rule starting with as few blue vertices as possible. Probabilistic zero forcing yields a discrete dynamical system governed by a Markov chain. Since in a connected graph any one vertex can eventually color the entire graph blue using probabilistic zero forcing, the expected time to do this studied. Given a Markov transition matrix for a probabilistic zero forcing process, we establish an exact formula for expected propagation time. We apply Markov chains to determine bounds on expected propagation time for various families of graphs.


title: Combining Learning and Model Based Control via Discrete-Time Chen-Fliess Series

abstract: A learning control system is presented suitable for control affine nonlinear plants based on discrete-time Chen-Fliess series and capable of incorporating knowledge of a given physical model. The underlying noncommutative algebraic and combinatorial structures needed to realize the multivariable case are also described. The method is demonstrated using a two-input, two-output Lotka-Volterra system.


title: Enhancing PIO Element Detection in Medical Text Using Contextualized Embedding

abstract: In this paper, we investigate a new approach to Population, Intervention and Outcome (PIO) element detection, a common task in Evidence Based Medicine (EBM). The purpose of this study is two-fold: to build a training dataset for PIO element detection with minimum redundancy and ambiguity and to investigate possible options in utilizing state of the art embedding methods for the task of PIO element detection. For the former purpose, we build a new and improved dataset by investigating the shortcomings of previously released datasets. For the latter purpose, we leverage the state of the art text embedding, Bidirectional Encoder Representations from Transformers (BERT), and build a multi-label classifier. We show that choosing a domain specific pre-trained embedding further optimizes the performance of the classifier. Furthermore, we show that the model could be enhanced by using ensemble methods and boosting techniques provided that features are adequately chosen.


title: Thermal transport in long-range interacting Fermi-Pasta-Ulam chains

abstract: Studies of thermal transport in long-range (LR)interacting systems are currently particularly challenging. The main difficulties lie in the choice of boundary conditions and the definition of heat current when driving systems in an out-of-equilibrium state by the usual thermal reservoirs. Here, by employing a reverse type of thermal baths that can overcome such difficulties, we reveal the intrinsic features of thermal transport underlying a LR interacting Fermi-Pasta-Ulam chain. We find that under an appropriate range value of LR exponent $\sigma =2$, while a \emph{nonballistic} power-law length ($L$) divergence of thermal conductivity $\kappa$, i.e., $\kappa \sim L^{\alpha}$ still persists, its scaling exponent $\alpha \simeq 0.7$ can be much larger than the usual predictions in short-range interacting systems. The underlying mechanism is related to the system's new heat diffusion process, weaker nonintegrability and peculiar dynamics of traveling discrete breathers. Our results shed light on searching for low-dimensional materials supporting higher thermal conductivity by involving appropriate LR interactions.


title: Intermixed Cation-Anion Aqueous Battery Based on an Extremely Fast and Long-Cycling Di-Block Bipyridinium-Naphthalene Diimide Oligomer

abstract: Aqueous batteries, particularly those integrating organic active materials functioning in a neutral pH environment, stand out as highly promising contenders in the stationary electrochemical storage domain, owing to their unparalleled safety, sustainability and low-cost materials. Herein, a novel di-block oligomer (DNVBr), serving as the negative electrode of an all-organic aqueous battery, is shown to offer exceptional output capabilities. The battery's performance is further enhanced by a unique intermixed p/n-type storage mechanism, which is able to simultaneously exchange light and naturally abundant Na+, Mg2+ and Cl-. Reaching up to 105 mAh/g, this system shows remarkable capacity retention for several thousand cycles (6500 cycles, ~40 days) in various neutral electrolytes, including raw ocean water (~3000 cycles, ~75 days). The surprisingly fast kinetics of this di-block oligomer allow to attain an unmatched specific capacity of near to 60mAh/g electrode while entirely devoid of conducting additives, and more than 80mAh/g electrode with 10% carbon additive, as well as displaying an areal capacity as high as 3.4mAh/cm2 at C rate. Full cell validation was demonstrated over 1600 cycles by virtue of a commercial TEMPO molecule, which permitted an energy density of close to 40Wh/kgmaterials at C rate in a self-pH-buffered and inexpensive aqueous electrolyte.


title: Jupiter's Atmospheric Variability from Long-Term Ground-based Observations at 5 microns

abstract: Jupiter's banded structure undergoes strong temporal variations, changing the visible and infrared appearance of the belts and zones in a complex and turbulent way due to physical processes that are not yet understood. In this study we use ground-based 5-$\mu$m infrared data captured between 1984 and 2018 by 8 different instruments mounted on the Infrared Telescope Facility in Hawai'i and on the Very Large Telescope in Chile to analyze and characterize the long-term variability of Jupiter's cloud-forming region at the 1-4 bar pressure level. The data show a large temporal variability mainly at the equatorial and tropical latitudes, with a smaller temporal variability at mid-latitudes. We also compare the 5-$\mu$m-bright and -dark regions with the locations of the visible zones and belts and we find that these regions are not always co-located, specially in the southern hemisphere. We also present Lomb-Scargle and Wavelet Transform analyzes in order to look for possible periodicities of the brightness changes that could help us understand their origin and predict future events. We see that some of these variations occur periodically in time intervals of 4-8 years. The reasons of these time intervals are not understood and we explore potential connections to both convective processes in the deeper weather layer and dynamical processes in the upper troposphere and stratosphere. Finally we perform a Principal Component analysis to reveal a clear anticorrelation on the 5-$\mu$m brightness changes between the North Equatorial Belt and the South Equatorial Belt, suggesting a possible connection between the changes in these belts.


title: Exotic $\Omega\Omega$ dibaryon states in a molecular picture

abstract: We investigate the exotic $\Omega\Omega$ dibaryon states with $J^P=0^+$ and $2^+$ in a molecular picture. We construct the scalar and tensor $\Omega$$\Omega$ molecular interpolating currents and calculate their masses within the method of QCD sum rules. Our results indicate that the mass of the scalar dibaryon state is $m_{\Omega\Omega, \, 0^+}=(3.33\pm0.22) \,\unit$, which is about $15 \,\mathrm{MeV}$ below the $2m_\Omega$ threshold. This result suggests the existence of a loosely bound molecular state of the $J^P=0^+$ scalar $\Omega\Omega$ dibaryon with a small binding energy around 15 MeV. The mass of the tensor dibaryon is predicted to be $m_{\Omega\Omega,\, 2^+}=(3.24\pm0.23)\, \mbox{GeV}$, which may imply a deeper molecular state of the tensor $\Omega\Omega$ dibaryon than the scalar channel. These exotic strangeness $S=-6$ and doubly-charged $\Omega\Omega$ dibaryon states may be identified in the heavy-ion collision processes.


title: Nanoscale Interlayer Defects in Iron Arsenides

abstract: Using a local real-space microscopy probe, we discover evidence of nanoscale interlayer defects along the c-crystallographic direction in BaFe2As2 (122) based iron-arsenide superconductors. We find ordered 122 atomic arrangements within the ab-plane, and within regions of ~10 to 20 nm size perpendicular to this plane. While the FeAs substructure is very rigid, Ba ions are relatively weakly bound and can be displaced from the 122, forming stacking faults resulting in the physical separation of the 122 between adjacent ordered domains. The evidence for interlayer defects between the FeAs superconducting planes gives perspective on the minimal connection between interlayer chemical disorder and high-temperature superconductivity. In particular, the Cooper pairs may be finding a way around such localized interlayer defects through a percolative path of the ordered layered 122 lattice that may not affect Tc.


title: Pulse shaping by a frequency filtering of a sawtooth phase-modulated CW laser

abstract: The spectrum of a CW field whose phase experiences a periodic sawtooth modulation is analyzed. Two types of the sawtooth phase modulation are considered. One is created by combining many harmonics of the fundamental frequency. The second is produced by electro-optic modulator fed by the relaxation oscillator, which generates a voltage slowly rising during charging the energy storage capacitor and dropping fast due to discharge by a short circuit. It is proposed to filter out the main spectral component of the sawtooth phase modulated field. This filtering produces short pulses from CW phase modulated field. Several filters are proposed to remove the selected spectral component. It is shown that such a filtering is capable to produce a train of short pulses. Duty cycle of this train is equal to the modulation period and duration of the pulses can vary from $10^{-1}$ to $10^{-2}$ of the period. Depending on the modulation frequency, the proposed method is capable to produce pulses with duration ranging from nanoseconds to a fraction of picosecond.


title: Generic construction of the Standard Model gauge group and matter representations in F-theory

abstract: We describe general classes of 6D and 4D F-theory models with gauge group $(\operatorname{SU}(3) \times \operatorname{SU}(2) \times \operatorname{U}(1)) / \mathbb{Z}_6$. We prove that this set of constructions gives all possible consistent 6D supergravity theories with no tensor multiplets having this gauge group and the corresponding generic matter representations, which include those of the MSSM. We expect, though do not prove, that these models are similarly generic for 6D theories with tensor multiplets and for 4D $\mathcal{N} = 1$ supergravity theories. The largest class of these constructions comes from deforming an underlying geometry with gauge symmetry $\operatorname{SU}(4) \times \operatorname{SU}(3) \times \operatorname{SU}(2)$.


title: On a new formula for the number of unrestricted partitions

abstract: In this paper we present a new formula for the number of unrestricted partitions of $n$. We do this by introducing a correspondence between the number of unrestrited partitions of $n$ and the number of non-negative solutions of systems of two equations, involving natural numbers in the interval (1 $,n^{2}$).


title: Security Update Labels: Establishing Economic Incentives for Security Patching of IoT Consumer Products

abstract: With the expansion of the Internet of Things (IoT), the number of security incidents due to insecure and misconfigured IoT devices is increasing. Especially on the consumer market, manufacturers focus on new features and early releases at the expense of a comprehensive security strategy. Hence, experts have started calling for regulation of the IoT consumer market, while policymakers are seeking for suitable regulatory approaches. We investigate how manufacturers can be incentivized to increase sustainable security efforts for IoT products. We propose mandatory security update labels that inform consumers during buying decisions about the willingness of the manufacturer to provide security updates in the future. Mandatory means that the labels explicitly state when security updates are not guaranteed. We conducted a user study with more than 1,400 participants to assess the importance of security update labels for the consumer choice by means of a conjoint analysis. The results show that the availability of security updates (until which date the updates are guaranteed) accounts for 8% to 35% impact on overall consumers' choice, depending on the perceived security risk of the product category. For products with a high perceived security risk, this availability is twice as important as other high-ranked product attributes. Moreover, provisioning time for security updates (how quickly the product will be patched after a vulnerability is discovered) additionally accounts for 7% to 25% impact on consumers' choices. The proposed labels are intuitively understood by consumers, do not require product assessments by third parties before release, and have a potential to incentivize manufacturers to provide sustainable security support.


title: Bilinear pseudo-differential operators with Gevrey-H\"ormander symbols

abstract: We consider bilinear pseudo-differential operators whose symbols posses Gevrey type regularity and may have a sub-exponential growth at infinity, together with all their derivatives. It is proved that those symbol classes can be described by the means of the short-time Fourier transform and modulation spaces. Our first main result is the invariance property of the corresponding bilinear operators. Furthermore we prove the continuity of such operators when acting on modulation spaces. As a consequence, we derive their continuity on anisotropic Gelfand-Shilov type spaces. We consider both Beurling and Roumieu type symbol classes and Gelfand-Shilov spaces.


title: Mapped Convolutions

abstract: We present a versatile formulation of the convolution operation that we term a "mapped convolution." The standard convolution operation implicitly samples the pixel grid and computes a weighted sum. Our mapped convolution decouples these two components, freeing the operation from the confines of the image grid and allowing the kernel to process any type of structured data. As a test case, we demonstrate its use by applying it to dense inference on spherical data. We perform an in-depth study of existing spherical image convolution methods and propose an improved sampling method for equirectangular images. Then, we discuss the impact of data discretization when deriving a sampling function, highlighting drawbacks of the cube map representation for spherical data. Finally, we illustrate how mapped convolutions enable us to convolve directly on a mesh by projecting the spherical image onto a geodesic grid and training on the textured mesh. This method exceeds the state of the art for spherical depth estimation by nearly 17%. Our findings suggest that mapped convolutions can be instrumental in expanding the application scope of convolutional neural networks.


title: Stable Numerical Schemes for Nonlinear Dispersive Equations with Counter-Propagation and Gain Dynamics

abstract: We develop a stable and efficient numerical scheme for modeling the optical field evolution in a nonlinear dispersive cavity with counter propagating waves and complex, semiconductor physics gain dynamics that are expensive to evaluate. Our stability analysis is characterized by a von-Neumann analysis which shows that many standard numerical schemes are unstable due to competing physical effects in the propagation equations. We show that the combination of a predictor-corrector scheme with an operator-splitting not only results in a stable scheme, but provides a highly efficient, single-stage evaluation of the gain dynamics. Given that the gain dynamics is the rate-limiting step of the algorithm, our method circumvents the numerical instability induced by the other cavity physics when evaluating the gain in an efficient manner. We demonstrate the stability and efficiency of the algorithm on a diode laser model which includes three waveguides and semiconductor gain dynamics. The laser is able to produce a repeating temporal waveform and stable optical comblines, thus demonstrating that frequency combs generation may be possible in chip scale, diode lasers.


title: Scattering Amplitudes of Massive Spin-2 Kaluza-Klein States Grow Only as ${\cal O}(s)$

abstract: We present the results of the first complete calculation of the tree-level $2\to 2$ high-energy scattering amplitudes of the longitudinal modes of massive spin-2 Kaluza-Klein states, both in the case where the internal space is a torus and in the Randall-Sundrum model where the internal space has constant negative curvature. While individual contributions to this amplitude grow as ${\cal O}(s^5$), we demonstrate explicitly that intricate cancellations occur between different contributions, reducing the growth to ${\cal O}(s)$, a slower rate of growth than previously argued in the literature. These cancellations require subtle relationships between the masses of the Kaluza-Klein states and their interactions, and reflect the underlying higher-dimensional diffeomorphism invariance. Our results provide fresh perspective on the range of validity of (effective) field theories involving massive spin-2 KK particles, with significant implications for the theory and phenomenology of these states.


title: A comparison of apartment rent price prediction using a large dataset: Kriging versus DNN

abstract: The hedonic approach based on a regression model has been widely adopted for the prediction of real estate property price and rent. In particular, a spatial regression technique called Kriging, a method of interpolation that was advanced in the field of spatial statistics, are known to enable high accuracy prediction in light of the spatial dependence of real estate property data. Meanwhile, there has been a rapid increase in machine learning-based prediction using a large (big) dataset and its effectiveness has been demonstrated in previous studies. However, no studies have ever shown the extent to which predictive accuracy differs for Kriging and machine learning techniques using big data. Thus, this study compares the predictive accuracy of apartment rent price in Japan between the nearest neighbor Gaussian processes (NNGP) model, which enables application of Kriging to big data, and the deep neural network (DNN), a representative machine learning technique, with a particular focus on the data sample size (n = 10^4, 10^5, 10^6) and differences in predictive performance. Our analysis showed that, with an increase in sample size, the out-of-sample predictive accuracy of DNN approached that of NNGP and they were nearly equal on the order of n = 10^6. Furthermore, it is suggested that, for both higher and lower end properties whose rent price deviates from the median, DNN may have a higher predictive accuracy than that of NNGP.


title: Equation of State of Hot Dense Hyperonic Matter in the Quark-Meson-Coupling (QMC-A) model

abstract: We report a new equation of state (EoS) of cold and hot hyperonic matter constructed in the framework of the quark-meson-coupling (QMC-A) model. The QMC-A EoS yields results compatible with available nuclear physics constraints and astrophysical observations. It covers the range of temperatures from T=0 to 100 MeV, entropies per particle S/A between 0 and 6, lepton fractions from Y$_L$=0.0 to 0.6, and baryon number densities n$_B$=0.05-1.2 fm$^{-3}$. Applications of the QMC-A EoS are made to cold neutron stars (NS) and to hot proto-neutron stars (PNS) in two scenarios, (i) lepton rich matter with trapped neutrinos and (ii) deleptonized chemically equilibrated matter. We find that the QMC-A model predicts hyperons in amounts growing with increasing temperature and density, thus suggesting not only their presence in PNS but also, most likely, in NS merger remnants. The nucleon-hyperon phase transition is studied through the adiabatic index and the speed of sound c$_s$. It is shown that the lowering of (c$_s$/c)$^2$ to and below the conformal limit of 1/3 is a general consequence of instabilities due to any phase transition and is not a unique fingerprint of the hadron-quark matter transition. Rigid rotation of cold and hot stars, their moments of inertia and Kepler frequencies are also explored. The QMC-A model results are compared with two relativistic models, the chiral mean field model (CMF), and the generalized relativistic density functional with hyperons (GRDF-Y). Similarities and differences are discussed.


title: Uniform error bounds of time-splitting methods for the nonlinear Dirac equation in the nonrelativistic regime without magnetic potential

abstract: Super-resolution of the Lie-Trotter splitting ($S_1$) and Strang splitting ($S_2$) is rigorously analyzed for the nonlinear Dirac equation without external magnetic potentials in the nonrelativistic regime with a small parameter $0<\varepsilon\leq 1$ inversely proportional to the speed of light. In this regime, the solution highly oscillates in time with wavelength at $O(\varepsilon^2)$. The splitting methods surprisingly show super-resolution, i.e. the methods can capture the solution accurately even if the time step size $\tau$ is much larger than the sampled wavelength at $O(\varepsilon^2)$. Similar to the linear case, $S_1$ and $S_2$ both exhibit $1/2$ order convergence uniformly with respect to $\varepsilon$. Moreover, if $\tau$ is non-resonant, i.e. $\tau$ is away from certain region determined by $\varepsilon$, $S_1$ would yield an improved uniform first order $O(\tau)$ error bound, while $S_2$ would give improved uniform $3/2$ order convergence. Numerical results are reported to confirm these rigorous results. Furthermore, we note that super-resolution is still valid for higher order splitting methods.


title: Hybrid Resource Scheduling for Aggregation in Massive Machine-type Communication Networks

abstract: Data aggregation is a promising approach to enable massive machine-type communication (mMTC). Here, we first characterize the aggregation phase where a massive number of machine-type devices transmits to their respective aggregator. By using non-orthogonal multiple access (NOMA), we present a hybrid access scheme where several machine-type devices (MTDs) share the same orthogonal channel. Then, we assess the relaying phase where the aggregatted data is forwarded to the base station. The system performance is investigated in terms of average number of MTDs that are simultaneously served under imperfect successive interference cancellation (SIC) at the aggregator for two scheduling schemes, namely random resource scheduling (RRS) and channel-dependent resource scheduling (CRS), which is then used to assess the performance of data forwarding phase.


title: Unstable Metric Pressure of Partially Hyperbolic Diffeomorphisms with sub-additive Potentials

abstract: In this paper, we define and study unstable measure theoretic pressure for C^1-smooth partially hyperbolic diffeomorphisms with sub-additive potentials. For any ergodic measure, we show that this unstable metric pressure equals the corresponding unstable measure theoretic entropy plus the Lyapunov exponents with respect to the ergodic measure. On the other hand, we also define unstable topological and metric pressure in terms of the Bowen's picture and the capacity picture. We show that all these definitions of unstable metric pressure actually coincide for any ergodic measure.


title: Approximate Learning of Limit-Average Automata

abstract: Limit-average automata are weighted automata on infinite words that use average to aggregate the weights seen in infinite runs. We study approximate learning problems for limit-average automata in two settings: passive and active. In the passive learning case, we show that limit-average automata are not PAC-learnable as samples must be of exponential-size to provide (with good probability) enough details to learn an automaton. We also show that the problem of finding an automaton that fits a given sample is NP-complete. In the active learning case, we show that limit-average automata can be learned almost-exactly, i.e., we can learn in polynomial time an automaton that is consistent with the target automaton on almost all words. On the other hand, we show that the problem of learning an automaton that approximates the target automaton (with perhaps fewer states) is NP-complete. The abovementioned results are shown for the uniform distribution on words. We briefly discuss learning over different distributions.


title: The Lamb shift of the $1s$ state in hydrogen: two-loop and three-loop contributions

abstract: We consider the $1s$ Lamb shift in hydrogen and helium ions, a quantity, required for an accurate determination of the Rydberg constant and the proton charge radius by means of hydrogen spectroscopy, as well as for precision tests of the bound-state QED. The dominant QED contribution to the uncertainty originates from $\alpha^8m$ external-field contributions (i.e., the contributions at the non-recoil limit). We discuss the two- and three-loop cases and in particular, we revisit calculations of the coefficients $B_{61}, B_{60}, C_{50}$ in standard notation. We have found a missing logarithmic contribution of order $\alpha^2(Z\alpha)^6m$. We have also obtained leading pure self-energy logarithmic contributions of order $\alpha^2(Z\alpha)^8m$ and $\alpha^2(Z\alpha)^9m$ and estimated the subleading terms of order $\alpha^2(Z\alpha)^7m$, $\alpha^2(Z\alpha)^8m$, and $\alpha^2(Z\alpha)^9m$. The determination of those higher-order contributions enabled us to improve the overall accuracy of the evaluation of the two-loop self-energy of the electron. We investigated the asymptotic behavior of the integrand related to the next-to-leading three-loop term (order $\alpha^3(Z\alpha)^5m$, coefficient $C_{50}$ in standard notation) and applied it to approximate integration over the loop momentum. Our result for contributions to the $1s$ Lamb shift for the total three loop next-to-leading term is $(-3.3\pm10.5)(\alpha^3/\pi^3)(Z\alpha)^5m$. Altogether, we have completed the evaluation of the logarithmic contributions to the $1s$ Lamb shift of order $\alpha^8m$ and reduced the overall $\alpha^8m$ uncertainty by approximately a factor of three for H, D, and He$^+$ as compared with the most recent CODATA compilation.


title: Upper limits on the water vapour content of the $\beta$ Pictoris debris disk

abstract: The debris disk surrounding $\beta$~Pictoris has been observed with ALMA to contain a belt of CO gas with a distinct peak at $\sim$85 au. This CO clump is thought to be the result of a region of enhanced density of solids that collide and release CO through vaporisation. The parent bodies are thought to be comparable to solar system comets, in which CO is trapped inside a water ice matrix. Since H$_2$O should be released along with CO, we aim to put an upper limit on the H$_2$O gas mass in the disk of $\beta$ Pictoris. We use archival data from the Heterodyne Instrument for the Far-Infrared (HIFI) aboard the Herschel Space Observatory to study the ortho-H$_2$O 1$_{10}$-1$_{01}$ emission line. The line is undetected. Using a python implementation of the radiative transfer code RADEX, we convert upper limits on the line flux to H$_2$O gas masses. The resulting lower limits on the CO/H$_2$O mass ratio are compared to the composition of solar system comets. Depending on the assumed gas spatial distribution, we find a 95% upper limit on the ortho-H$_2$O line flux of $7.5 \times 10^{-20}$ W m$^{-2}$ or $1.2 \times 10^{-19}$ W m$^{-2}$. These translate into an upper limit on the H$_2$O mass of $7.4 \times 10^{16}$-$1.1 \times 10^{18}$ kg depending on both the electron density and gas kinetic temperature. The range of derived gas-phase CO/H$_2$O ratios is marginally consistent with low-ratio solar system comets.


title: Uniqueness of some Calabi-Yau metrics on $\mathbf{C}^n$

abstract: We consider the Calabi-Yau metrics on $\mathbf{C}^n$ constructed recently by Yang Li, Conlon-Rochon, and the author, that have tangent cone $\mathbf{C}\times A_1$ at infinity for the $(n-1)$-dimensional Stenzel cone $A_1$. We show that up to scaling and isometry this Calabi-Yau metric on $\mathbf{C}^n$ is unique. We also discuss possible generalizations to other manifolds and tangent cones.


title: Stable controllable giant vortex in a trapped Bose-Einstein condensate

abstract: In a harmonically-trapped rotating Bose-Einstein condensate (BEC), a vortex of large angular momentum decays to multiple vortices of unit angular momentum from an energetic consideration. We demonstrate the formation of a robust and dynamically stable giant vortex of large angular momentum in a harmonically trapped rotating BEC with a potential hill at the center, thus forming a Mexican hat like trapping potential. For a small inter-atomic interaction strength, a highly controllable stable giant vortex appears, whose angular momentum slowly increases as the angular frequency of rotation is increased. As the inter-atomic interaction strength is increased beyond a critical value, only vortices of unit angular momentum are formed, unless the strength of the potential hill at the center is also increased: for a stronger potential hill at the center a giant vortex is again formed. The dynamical stability of the giant vortex is demonstrated by real-time propagation numerically. These giant vortices of large angular momentum can be observed and studied experimentally in a highly controlled fashion.


title: Instance Segmentation by Jointly Optimizing Spatial Embeddings and Clustering Bandwidth

abstract: Current state-of-the-art instance segmentation methods are not suited for real-time applications like autonomous driving, which require fast execution times at high accuracy. Although the currently dominant proposal-based methods have high accuracy, they are slow and generate masks at a fixed and low resolution. Proposal-free methods, by contrast, can generate masks at high resolution and are often faster, but fail to reach the same accuracy as the proposal-based methods. In this work we propose a new clustering loss function for proposal-free instance segmentation. The loss function pulls the spatial embeddings of pixels belonging to the same instance together and jointly learns an instance-specific clustering bandwidth, maximizing the intersection-over-union of the resulting instance mask. When combined with a fast architecture, the network can perform instance segmentation in real-time while maintaining a high accuracy. We evaluate our method on the challenging Cityscapes benchmark and achieve top results (5\% improvement over Mask R-CNN) at more than 10 fps on 2MP images. Code will be available at https://github.com/davyneven/SpatialEmbeddings .


title: Rethinking Formal Models of Partially Observable Multiagent Decision Making

abstract: Multiagent decision-making in partially observable environments is usually modelled as either an extensive-form game (EFG) in game theory or a partially observable stochastic game (POSG) in multiagent reinforcement learning (MARL). One issue with the current situation is that while most practical problems can be modelled in both formalisms, the relationship of the two models is unclear, which hinders the transfer of ideas between the two communities. A second issue is that while EFGs have recently seen significant algorithmic progress, their classical formalization is unsuitable for efficient presentation of the underlying ideas, such as those around decomposition. To solve the first issue, we introduce factored-observation stochastic games (FOSGs), a minor modification of the POSG formalism which distinguishes between private and public observation and thereby greatly simplifies decomposition. To remedy the second issue, we show that FOSGs and POSGs are naturally connected to EFGs: by "unrolling" a FOSG into its tree form, we obtain an EFG. Conversely, any perfect-recall timeable EFG corresponds to some underlying FOSG in this manner. Moreover, this relationship justifies several minor modifications to the classical EFG formalization that recently appeared as an implicit response to the model's issues with decomposition. Finally, we illustrate the transfer of ideas between EFGs and MARL by presenting three key EFG techniques -- counterfactual regret minimization, sequence form, and decomposition -- in the FOSG framework.


title: Monte Carlo Integration with adaptive variance selection for improved stochastic Efficient Global Optimization

abstract: In this paper, the minimization of computational cost on evaluating multi-dimensional integrals is explored. More specifically, a method based on an adaptive scheme for error variance selection in Monte Carlo integration (MCI) is presented. It uses a stochastic Efficient Global Optimization (sEGO) framework to guide the optimization search. The MCI is employed to approximate the integrals, because it provides the variance of the error in the integration. In the proposed approach, the variance of the integration error is included into a Stochastic Kriging framework by setting a target variance in the MCI. We show that the variance of the error of the MCI may be controlled by the designer and that its value strongly influences the computational cost and the exploration ability of the optimization process. Hence, we propose an adaptive scheme for automatic selection of the target variance during the sEGO search. The robustness and efficiency of the proposed adaptive approach were evaluated on global optimization stochastic benchmark functions as well as on a tuned mass damper design problem. The results showed that the proposed adaptive approach consistently outperformed the constant approach and a multi-start optimization method. Moreover, the use of MCI enabled the method application in problems with high number of stochastic dimensions. On the other hand, the main limitation of the method is inherited from sEGO coupled with the Kriging metamodel: the efficiency of the approach is reduced when the number of design variables increases.


title: Zeros of Optimal Functions in the Cohn-Elkies Linear Program

abstract: In a recent breakthrough, Viazovska and Cohn, Kumar, Miller, Radchenko, Viazovska solved the sphere packing problem in $\mathbb{R}^8$ and $\mathbb{R}^{24}$, respectively, by exhibiting explicit optimal functions, arising from the theory of weakly modular forms, for the Cohn-Elkies linear program in those dimensions. These functions have roots exactly at the lengths of points of the corresponding optimal lattices: $\{\sqrt{2n}\}_{n\geq 1}$ for the $E_8$ lattice, and $\{\sqrt{2n}\}_{n\geq 2}$, for the Leech lattice. The constructions of these optimal functions are in part motivated by the locations of the zeros. But what are the roots of optimal functions in other dimensions? We prove a number of theorems about the location of the zeros of optimal functions in arbitrary dimensions. In particular, we prove that distances between root lengths are bounded from above for $n \geq 1$ and not bounded from below for $n \geq 2$, and that the root lengths have to be arbitrarily close for arbitrarily long, that is, for any $C, \varepsilon > 0$, there is an interval of length $C$ in which the root lengths are at most $\varepsilon$ apart. We also establish a technique that allows one to improve a non-optimal function in some cases.


title: Mismatched Estimation of Polynomially Damped Signals

abstract: In this work, we consider the problem of estimating the parameters of polynomially damped sinusoidal signals, commonly encountered in, for instance, spectroscopy. Generally, finding the parameter values of such signals constitutes a high-dimensional problem, often further complicated by not knowing the number of signal components or their specific signal structures. In order to alleviate the computational burden, we herein propose a mismatched estimation procedure using simplified, approximate signal models. Despite the approximation, we show that such a procedure is expected to yield predictable results, allowing for statistically and computationally efficient estimates of the signal parameters.


title: From Multi-modal Property Dataset to Robot-centric Conceptual Knowledge About Household Objects

abstract: Tool-use applications in robotics require conceptual knowledge about objects for informed decision making and object interactions. State-of-the-art methods employ hand-crafted symbolic knowledge which is defined from a human perspective and grounded into sensory data afterwards. However, due to different sensing and acting capabilities of robots, their conceptual understanding of objects must be generated from a robot's perspective entirely, which asks for robot-centric conceptual knowledge about objects. With this goal in mind, this article motivates that such knowledge should be based on physical and functional properties of objects. Consequently, a selection of ten properties is defined and corresponding extraction methods are proposed. This multi-modal property extraction forms the basis on which our second contribution, a robot-centric knowledge generation is build on. It employs unsupervised clustering methods to transform numerical property data into symbols, and Bivariate Joint Frequency Distributions and Sample Proportion to generate conceptual knowledge about objects using the robot-centric symbols. A preliminary implementation of the proposed framework is employed to acquire a dataset comprising physical and functional property data of 110 houshold objects. This Robot-Centric dataSet (RoCS) is used to evaluate the framework regarding the property extraction methods, the semantics of the considered properties within the dataset and its usefulness in real-world applications such as tool substitution.


title: Cascade and Omega productions from Pb+Pb Collisions at LHC energy

abstract: Production of multi strange hadrons like cascade ($\Xi$) and omega($\Omega$) baryons are studied microscopically using rate equation at $\sqrt{s_{NN}}$=2.76 TeV, Large Hadron Collider(LHC) energy. The rate equations for $\Xi$, $\Omega$ are solved simultaneously with other strange hadrons in an expanding medium. The results for $\Xi$ and $\Omega$ are compared with the data obtained from Pb-Pb collisions at $\sqrt{s_{NN}}$= 2.76 TeV from ALICE experiments. The ratio of yields of $\Xi$ and $\Omega$ to $\pi$ are analysed with various initial conditions and compared with the experimental observations made for various charge particle multiplicities.


title: Fermi Level Dependent Spin Pumping from a Magnetic Insulator into a Topological Insulator

abstract: Topological spintronics aims to exploit the spin-momentum locking in the helical surface states of topological insulators for spin-orbit torque devices. We address a fundamental question that still remains unresolved in this context: does the topological surface state alone produce the largest values of spin-charge conversion efficiency or can the strongly spin-orbit coupled bulk states also contribute significantly? By studying the Fermi level dependence of spin pumping in topological insulator/ferrimagnetic insulator bilayers, we show that the spin Hall conductivity is constant when the Fermi level is tuned across the bulk band gap, consistent with a full bulk band calculation. The results suggest a new perspective, wherein "bulk-surface correspondence" allows spin-charge conversion to be simultaneously viewed either as coming from the full bulk band, or from spin-momentum locking of the surface state.


title: MagneticSpy: Exploiting Magnetometer in Mobile Devices for Website and Application Fingerprinting

abstract: Recent studies have shown that aggregate CPU usage and power consumption traces on smartphones can leak information about applications running on the system or websites visited. In response, access to such data has been blocked for mobile applications starting from Android 8. In this work, we explore a new source of side-channel leakage for this class of attacks. Our method is based on the fact that electromagnetic activity caused by mobile processors leads to noticeable disturbances in magnetic sensor measurements on mobile devices, with the amplitude being proportional to the CPU workload. Therefore, recorded sensor data can be analyzed to reveal information about ongoing activities. The attack works on a number of devices: we evaluated 80 models of modern smartphones and tablets and observed the reaction of the magnetometer to the CPU activity on 56 of them. On selected devices we were able to successfully identify which application has been opened (with up to 90% accuracy) or which web page has been loaded (up to 91% accuracy). The presented side channel poses a significant risk to end users' privacy, as the sensor data can be recorded from native apps or even from web pages without user permissions. Finally, we discuss possible countermeasures to prevent the presented information leakage.


title: DASGAN -- Joint Domain Adaptation and Segmentation for the Analysis of Epithelial Regions in Histopathology PD-L1 Images

abstract: The analysis of the tumor environment on digital histopathology slides is becoming key for the understanding of the immune response against cancer, supporting the development of novel immuno-therapies. We introduce here a novel deep learning solution to the related problem of tumor epithelium segmentation. While most existing deep learning segmentation approaches are trained on time-consuming and costly manual annotation on single stain domain (PD-L1), we leverage here semi-automatically labeled images from a second stain domain (Cytokeratin-CK). We introduce an end-to-end trainable network that jointly segment tumor epithelium on PD-L1 while leveraging unpaired image-to-image translation between CK and PD-L1, therefore completely bypassing the need for serial sections or re-staining of slides. Extending the method to differentiate between PD-L1 positive and negative tumor epithelium regions enables the automated estimation of the PD-L1 Tumor Cell (TC) score. Quantitative experimental results demonstrate the accuracy of our approach against state-of-the-art segmentation methods.


title: Neutron spin structure from polarized deuteron DIS with proton tagging

abstract: Polarized electron-deuteron deep-inelastic scattering (DIS) with detection of the spectator proton ("tagged DIS") enables measurements of neutron spin structure with maximal control of nuclear effects. We calculate the longitudinal spin asymmetries in polarized tagged DIS using methods of light-front nuclear structure and study their dependence on the measured proton momentum. Asymmetries can be formed with all three deuteron spin states ($\pm 1, 0$) or the two maximum-spin states only ($\pm 1$, involving tensor polarization). The proton momentum dependence can be used to select pure S-wave configurations in the deuteron and eliminate D-wave depolarization (transverse momenta $p_{pT} \lesssim$ 100 MeV). Free neutron spin structure can be extracted model-independently through pole extrapolation of the tagged asymmetries. Such measurements could be performed at a future electron-ion collider (EIC) with polarized deuteron beams and forward proton detectors.


title: Gaussian random permutation and the boson point process

abstract: We construct an infinite volume spatial random permutation $(\mathsf X,\sigma)$, where $\mathsf X\subset\mathbb R^d$ is locally finite and $\sigma:\mathsf X\to \mathsf X$ is a permutation, associated to the formal Hamiltonian $$ H(\mathsf X,\sigma) = \sum_{x\in \mathsf X} \|x-\sigma(x)\|^2. $$ The measures are parametrized by the point density $\rho$ and the temperature $\alpha$. Spatial random permutations are naturally related to boson systems through a representation originally due to Feynman (1953). Let $\rho_c=\rho_c(\alpha)$ be the critical density for Bose-Einstein condensation in Feynman's representation. Each finite cycle of $\sigma$ induces a loop of points of~$\mathsf X$. For $\rho\le \rho_c$ we define $(\mathsf X, \sigma)$ as a Poisson process of finite unrooted loops of a random walk with Gaussian increments that we call Gaussian loop soup, analogous to the Brownian loop soup of Lawler and Werner (2004). We also construct Gaussian random interlacements, a Poisson process of doubly infinite trajectories of random walks with Gaussian increments analogous to the Brownian random interlacements of Sznitman (2010). For $d\ge 3$ and $\rho>\rho_c$ we define $(\mathsf X,\sigma)$ as the superposition of independent realizations of the Gaussian loop soup at density $\rho_c$ and the Gaussian random interlacements at density $\rho-\rho_c$. In either case we call $(\mathsf X, \sigma)$ a Gaussian random permutation at density $\rho$ and temperature $\alpha$. The resulting measure satisfies a Markov property and it is Gibbs for the Hamiltonian $H$. Its point marginal $\mathsf X$ has the same distribution as the boson point process introduced by Shirai-Takahashi (2003) in the subcritical case, and by Tamura-Ito (2007) in the supercritical case.


title: Leader Election Requires Logarithmic Time in Population Protocols

abstract: This paper shows that every leader election protocol requires logarithmic stabilization time both in expectation and with high probability in the population protocol model. This lower bound holds even if each agent has knowledge of the exact size of a population and is allowed to use an arbitrarily large number of agent states. This lower bound concludes that the protocol given in [Sudo et al., SSS 2019] is time-optimal in expectation.