title: PULP: Inner-process Isolation based on the Program Counter and Data Memory Address

abstract: Plenty of in-process vulnerabilities are blamed on various out of bound memory accesses. Previous prevention methods are mainly based on software checking associated with performance overhead, while traditional hardware protection mechanisms only work for inter-process memory accesses. In this paper we propose a novel hardware based in-process isolation system called PULP (Protection by User Level Partition). PULP modifies processor core by associating program counter and virtual memory address to achieve in-process data isolation. PULP partitions the program into two distinct parts, one is reliable, called primary functions, and the other is unreliable, called secondary functions, the accessible memory range of which can be configured via APIs. PULP automatically checks the memory bound when executing load/store operations in secondary functions. A RISC-V based FPGA prototype is implementated and functional test shows that PULP can effectively prevent in-process bug, including the Heartbleed and other buffer overflow vulnerabilities, etc. The total runtime overhead of PULP is negligible, as there is no extra runtime overhead besides configuring the API. We run SPEC2006 to evaluate the average performance, considering the LIBC functions as secondary functions. Experimental timing results show that, running bzip2, mcf, and libquantum, PULP bears low runtime overhead (less than 0.1%). Analysis also shows that PULP can be used effectively to prevent the newest "Spectre" bug which threats nearly all out-of-order processors.


title: The Influence of Stellar Spin on Ignition of Thermonuclear Runaways

abstract: Runaway thermonuclear burning of a layer of accumulated fuel on the surface of a compact star provides a brief but intense display of stellar nuclear processes. For neutron stars accreting from a binary companion, these events manifest as thermonuclear (type-I) X-ray bursts, and recur on typical timescales of hours to days. We measured the burst rate as a function of accretion rate, from seven neutron stars with known spin rates, using a burst sample accumulated over several decades. At the highest accretion rates, the burst rate is lower for faster spinning stars. The observations imply that fast (> 400 Hz) rotation encourages stabilization of nuclear burning, suggesting a dynamical dependence of nuclear ignition on the spin rate. This dependence is unexpected, because faster rotation entails less shear between the surrounding accretion disk and the star. Large-scale circulation in the fuel layer, leading to enhanced mixing of the burst ashes into the fuel layer, may explain this behavior; further numerical simulations are required to confirm.


title: Drop Stream - Immiscible Jet Collisions: Regimes and Fragmentation Mechanisms

abstract: We investigate the collision of a continuous liquid jet with a regular stream of immiscible droplets. The immiscible liquids, namely silicon oil for the continuous jet and an aqueous glycerol solution for the drop stream, are selected to enable the total wetting of the drops by the jet liquid. Four different regimes are experimentally identified: drops in jet, encapsulation without satellites, encapsulation with satellites from the jet liquid and mixed fragmentation. The drops in jet regime, potentially of great interest for new applications, corresponds to a regular stream of drops embedded in a continuous jet and is described and reported for the first time. Using well known aspects of drop collision and jet stability, we propose to model the transition between the drops in jet regime and the others. Two dimensionless parameters are derived from this analysis which are thus used to produce a simple regime map where the drops in jet regime can be well distinguished from the other outcomes.


title: On reduction number of products of ideals

abstract: Let $R$ be a standard graded algebra over an infinite field $\mathbb{K}$ and $M$ a finitely generated $\ZZ$-graded $R$-module. Let $I_1,\ldots I_m$ be graded ideals of $R$. The functions $r(M/I_1^{a_1}\ldots I_m^{a_m}M)$ and $r(I_1^{a_1}\ldots I_m^{a_m}M)$ are investigated and their asymptotical behaviours are given. Here $r(\bullet)$ stands for the reduction number of a finitely graded module $\bullet$.


title: Impulse Response of the Channel with a Spherical Absorbing Receiver and a Spherical Reflecting Boundary

abstract: In this letter, we derive the impulse response of the channel with a spherical absorbing receiver, a spherical reflecting boundary, and a point transmitter in molecular communication domain. By exploring the channel characteristics and drawing comparisons with the unbounded case, we show the consequences of having the boundary on channel properties such as peak time, peak amplitude, and total fraction of molecules to hit the receiver. Finally, we calculate the bit error rate for both bounded and unbounded channels and emphasize the significance of incorporating the boundary on understanding the realistic behavior of a channel.


title: A singlet doublet dark matter model with radiative neutrino masses

abstract: We present a detailed study of a combined singlet-doublet scalar and singlet-doublet fermion model for dark matter. These models have only been studied separately in the past. We show that their combination allows for the radiative generation of neutrino masses, but that it also implies the existence of lepton-flavour violating (LFV) processes. We first analyse the dark matter, neutrino mass and LFV aspects separately. We then perform two random scans for scalar dark matter imposing Higgs mass, relic density and neutrino mass constraints, one over the full parameter space, the other over regions where scalar-fermion coannihilations become important. In the first case, a large part of the new parameter space is excluded by LFV, and the remaining models will be probed by XENONnT. In the second case, direct detection cross sections are generally too small, but a substantial part of the viable models will be tested by future LFV experiments. Possible constraints from the LHC are also discussed.


title: What's (Not) Validating Network Paths: A Survey

abstract: Validating network paths taken by packets is critical for a secure Internet architecture. Any feasible solution must both enforce packet forwarding along endhost-specified paths and verify whether packets have taken those paths. However, neither enforcement nor verification is supported by the current Internet. Due likely to a long-standing confusion between routing and forwarding, only limited solutions for path validation exist in the literature. This survey article aims to reinvigorate research in to the significant and essential topic of path validation. It crystallizes not only how path validation works but also where seemingly qualified solutions fall short. The analyses explore future research directions in path validation toward improving security, privacy, and efficiency.


title: Conductance resonances and crossing of the edge channels in the quantum Hall ferromagnet state of Cd(Mn)Te microstructures

abstract: In this paper we report on the observation of very high and narrow magnetoconductance peaks which we attribute to the transition to quantum Hall ferromagnet (QHFM) state occurring at the edges of the sample. We show that the expected spatial degeneracy of chiral edge channels is spontaneously lifted in agreement with theoretical studies performed within the Hartree-Fock approximation. We indicate also that separated edge currents which flow in parallel, may nevertheless cross at certain points, giving rise to the formation of topological defects or one-dimensional magnetic domains. Furthermore, we find that such local crossing of chiral channels can be induced on demand by coupling spin states of a Landau level to different current terminals and applying a DC source-drain voltage.


title: Toric Pluripotential Theory

abstract: We study finite energy classes of quasiplurisubharmonic (qpsh) functions in the setting of toric compact K{\"a}hler manifolds. We characterize toric qpsh functions and give necessary and sufficient conditions for them to have finite (weighted) energy, both in terms of the associated convex function in R n , and through the integrability properties of its Legendre transform. We characterize Log-Lipschitz convex functions on the Delzant polytope, showing that they correspond to toric qpsh functions which satisfy a certain exponential integrability condition. In the particular case of dimension one, those Log-Lipschitz convex functions of the polytope correspond to H{\"o}lder continuous toric quasisubharmonic functions.


title: Control of Spin-Exchange Interaction between Alkali-Earth Atoms via Confinement-Induced Resonances in a Quasi 1+0 Dimensional System

abstract: A nuclear-spin exchange interaction exists between two ultracold fermionic alkali-earth (like) atoms in the electronic $^{1}{\rm S}_{0}$ state ($g$-state) and $^{3}{\rm P}_{0}$ state ($e$-state), and is an essential ingredient for the quantum simulation of Kondo effect. We study the control of this spin-exchange interaction for two atoms simultaneously confined in a quasi-one-dimensional (quasi-1D) tube, where the $g$-atom is freely moving in the axial direction while the $e$-atom is further localized by an additional axial trap and behaves as a quasi-zero-dimensional (quasi-0D) impurity. In this system, the two atoms experience effective-1D spin-exchange interactions in both even and odd partial wave channels, whose intensities can be controlled by the characteristic lengths of the confinements via the confinement-induced-resonances (CIRs). In current work, we go beyond that pure-1D approximation. We model the transverse and axial confinements by harmonic traps with finite characteristic lengths $a_\perp$ and $a_z$, respectively, and exactly solve the "quasi-1D + quasi-0D" scattering problem between these two atoms. Using the solutions we derive the effective 1D spin-exchange interaction and investigate the locations and widths of the even/odd wave CIRs for our system. It is found that when the ratio $a_z/a_\perp$ is larger, the CIRs can be induced by weaker confinements, which are easier to be realized experimentally. The comparison between our results and the recent experiment shows that the two experimentally observed resonance branches of the spin-exchange effect are due to an even-wave CIR and an odd-wave CIR, respectively. Our results are advantageous for the control and description of either the effective spin-exchange interaction or other types of interactions between ultracold atoms in quasi 1+0 dimensional systems.


title: Biholomorphisms between Hartogs domains over homogeneous Siegel domains

abstract: In this paper, we characterize the Hartogs domains over homogeneous Siegel domains of type II and explicitly describe their automorphism groups. Moreover we prove that any proper holomorphic map between Hartogs domains over homogeneous Siegel domains over type II is a biholomorphism.


title: Learning Pose Specific Representations by Predicting Different Views

abstract: The labeled data required to learn pose estimation for articulated objects is difficult to provide in the desired quantity, realism, density, and accuracy. To address this issue, we develop a method to learn representations, which are very specific for articulated poses, without the need for labeled training data. We exploit the observation that the object pose of a known object is predictive for the appearance in any known view. That is, given only the pose and shape parameters of a hand, the hand's appearance from any viewpoint can be approximated. To exploit this observation, we train a model that -- given input from one view -- estimates a latent representation, which is trained to be predictive for the appearance of the object when captured from another viewpoint. Thus, the only necessary supervision is the second view. The training process of this model reveals an implicit pose representation in the latent space. Importantly, at test time the pose representation can be inferred using only a single view. In qualitative and quantitative experiments we show that the learned representations capture detailed pose information. Moreover, when training the proposed method jointly with labeled and unlabeled data, it consistently surpasses the performance of its fully supervised counterpart, while reducing the amount of needed labeled samples by at least one order of magnitude.


title: Distributed Mixed-Integer Linear Programming via Cut Generation and Constraint Exchange

abstract: Many problems of interest for cyber-physical network systems can be formulated as Mixed-Integer Linear Programs in which the constraints are distributed among the agents. In this paper we propose a distributed algorithmic framework to solve this class of optimization problems in a peer-to-peer network with no coordinator and with limited computation and communication capabilities. At each communication round, agents locally solve a small linear program, generate suitable cutting planes and communicate a fixed number of active constraints. Within the distributed framework, we first propose an algorithm that, under the assumption of integer-valued optimal cost, guarantees finite-time convergence to an optimal solution. Second, we propose an algorithm for general problems that provides a suboptimal solution up to a given tolerance in a finite number of communication rounds. Both algorithms work under asynchronous, directed, unreliable networks. Finally, through numerical computations, we analyze the algorithm scalability in terms of the network size. Moreover, for a multi-agent multi-task assignment problem, we show, consistently with the theory, its robustness to packet loss.


title: Implementing a semicoherent search for continuous gravitational waves using optimally-constructed template banks

abstract: All-sky surveys for isolated continuous gravitational waves present a significant data-analysis challenge. Semicoherent search methods are commonly used to efficiently perform the computationally-intensive task of searching for these weak signals in the noisy data of gravitational-wave detectors such as LIGO and Virgo. We present a new implementation of a semicoherent search method, Weave, that for the first time makes full use of a parameter-space metric to generate banks of search templates at the correct resolution, combined with optimal lattices to minimize the required number of templates and hence the computational cost of the search. We describe the implementation of Weave and associated design choices, and characterize its behavior using semi-analytic models.


title: Roto-Translation Covariant Convolutional Networks for Medical Image Analysis

abstract: We propose a framework for rotation and translation covariant deep learning using $SE(2)$ group convolutions. The group product of the special Euclidean motion group $SE(2)$ describes how a concatenation of two roto-translations results in a net roto-translation. We encode this geometric structure into convolutional neural networks (CNNs) via $SE(2)$ group convolutional layers, which fit into the standard 2D CNN framework, and which allow to generically deal with rotated input samples without the need for data augmentation. We introduce three layers: a lifting layer which lifts a 2D (vector valued) image to an $SE(2)$-image, i.e., 3D (vector valued) data whose domain is $SE(2)$; a group convolution layer from and to an $SE(2)$-image; and a projection layer from an $SE(2)$-image to a 2D image. The lifting and group convolution layers are $SE(2)$ covariant (the output roto-translates with the input). The final projection layer, a maximum intensity projection over rotations, makes the full CNN rotation invariant. We show with three different problems in histopathology, retinal imaging, and electron microscopy that with the proposed group CNNs, state-of-the-art performance can be achieved, without the need for data augmentation by rotation and with increased performance compared to standard CNNs that do rely on augmentation.


title: Comment about the vanishing of the vacuum energy in the Wess-Zumino model

abstract: We check the cancellation of the vacuum energy in the Wess-Zumino model at the two-loop order in the component field formalisms with and without auxiliary fields. We show that in both cases the vacuum energy is equal to zero. However, in the formalism where the auxiliary fields are excluded, the vanishing of the vacuum energy arises due to the cancellation between the potential and kinetic energies, while in the formalism with the auxiliary fields, both terms vanish separately.


title: Higher Order and Long-Range Synchronization Effects for Classification and Computing in Oscillator-Based Spiking Neural Networks

abstract: In the circuit of two thermally coupled VO2 oscillators, we studied a higher order synchronization effect, which can be used in object classification techniques to increase the number of possible synchronous states of the oscillator system. We developed the phase-locking estimation method to determine the values of subharmonic ratio and synchronization effectiveness. In our experiment, the number of possible synchronous states of the oscillator system was twelve, and subharmonic ratio distributions were shaped as Arnold's tongues. In the model, the number of states may reach the maximum value of 150 at certain levels of coupling strength and noise. The long-range synchronization effect in a one-dimensional chain of oscillators occurs even at low values of synchronization effectiveness for intermediate links. We demonstrate a technique for storing and recognizing vector images, which can used for reservoir computing. In addition, we present the implementation of analog operation of multiplication, the synchronization based logic for binary computations, and the possibility to develop the interface between spike neural network and a computer. Based on the universal physical effects, the high order synchronization can be applied to any spiking oscillators with any coupling type, enhancing the practical value of the presented results to expand spike neural network capabilities.


title: QA4IE: A Question Answering based Framework for Information Extraction

abstract: Information Extraction (IE) refers to automatically extracting structured relation tuples from unstructured texts. Common IE solutions, including Relation Extraction (RE) and open IE systems, can hardly handle cross-sentence tuples, and are severely restricted by limited relation types as well as informal relation specifications (e.g., free-text based relation tuples). In order to overcome these weaknesses, we propose a novel IE framework named QA4IE, which leverages the flexible question answering (QA) approaches to produce high quality relation triples across sentences. Based on the framework, we develop a large IE benchmark with high quality human evaluation. This benchmark contains 293K documents, 2M golden relation triples, and 636 relation types. We compare our system with some IE baselines on our benchmark and the results show that our system achieves great improvements.


title: Spatial distribution of superfluidity and superfluid distillation of Bose liquids

abstract: Under the assumption of two fluid kinematics of a nonrelativistic Bose liquid in the presence of a local velocity field $v(x)$, local Galilei transformations are used to derive formulas for the spatial distribution of superfluidity. The local formulation is shown to subsume several descriptions of superfluidity, from Landau's free quasiparticle picture of the normal fluid to the fully microscopic winding number formula for superfluid density. We derive the superfluid distribution of generic pure states of 1-d bosonic systems by using the continuum analog of matrix product states. With a view toward spatially structured superfluid-based quantum devices, we consider the limits to local distillation of superfluidity within the framework of localized resource theories of quantum coherence.


title: Quotients of the Hermitian curve from subgroups of ${\rm PGU}(3,q)$ without fixed points or triangles

abstract: In this paper we deal with the problem of classifying the genera of quotient curves $\mathcal{H}_q/G$, where $\mathcal{H}_q$ is the $\mathbb{F}_{q^2}$-maximal Hermitian curve and $G$ is an automorphism group of $\mathcal{H}_q$. The groups $G$ considered in the literature fix either a point or a triangle in the plane ${\rm PG}(2,q^6)$. In this paper, we give a complete list of genera of quotients $\mathcal{H}_q/G$, when $G \leq {\rm Aut}(\mathcal{H}_q) \cong {\rm PGU}(3,q)$ does not leave invariant any point or triangle in the plane. As a result, the classification of subgroups $G$ of ${\rm PGU}(3,q)$ satisfying this property is given up to isomorphism.


title: Integrability, Duality and Sigma Models

abstract: We introduce and study conformal field theories specified by $W-$algebras commuting with certain set of screening charges. These CFT's possess perturbations which define integrable QFT's. We establish that these QFT's have local and non-local Integrals of Motion and admit the perturbation theory in the weak coupling region. We construct factorized scattering theory which is consistent with non-local Integrals of Motion and perturbation theory. In the strong coupling limit the $S-$matrix of this QFT tends to the scattering matrix of the $O(N)$ sigma model. The perturbation theory, Bethe anzatz technique, renormalization group approach and methods of conformal field theory are applied to show, that the constructed QFT's are dual to integrable deformation of $O(N)$ sigma-models.


title: Thermal rectification in a double quantum dots system with polaron effect

abstract: We investigate the rectification of heat current carried by electrons through a double quantum dot (DQD) system under a temperature bias. The DQD can be realized by molecules such as suspended carbon nanotube and be described by the Anderson-Holstein model in presence of electron-phonon interaction. Strong electron-phonon interaction can lead to formation of polaronic states in which electronic states are dressed by phonon cloud. Dressed tunneling approximation (DTA), which is nonperturbative in dealing with strong electron-phonon interaction, is employed to obtain the heat current expression. In DTA, self-energies are dressed by phonon cloud operator and are temperature dependent. The temperature dependency of imaginary part of dressed retarded self-energy gives rise to the asymmetry of the system and is the necessary condition of thermal rectification. On top of this, one can either tune DQD effective energy levels such that $|\bar{\epsilon}_1|\neq |\bar{\epsilon}_2|$ or have asymmetric dot-lead couplings to achieve thermal rectification. We numerically find that increasing electron-phonon coupling and reducing inter dot coupling can both improve thermal rectification effect, while the electronic heat current is reduced.


title: Diagnosing the Trouble With Quantum Mechanics

abstract: We discuss an article by Steven Weinberg expressing his discontent with the usual ways to understand quantum mechanics. We examine the two solutions that he considers and criticizes and propose another one, which he does not discuss, the pilot wave theory or Bohmian mechanics, for which his criticisms do not apply.


title: Two-phonon Raman bands of single-walled carbon nanotubes: a case study

abstract: It has been long accepted that the second-order Raman bands in carbon nanotubes are enhanced through the double-resonance mechanism. Although separate aspects of this mechanism have been studied for a few second-order Raman bands, including the most intense defect-induced D band and the two-phonon 2D band, a complete computational approach to the second-order bands is still lacking. Here, we propose such an approach, entirely based on a symmetry-adapted non-orthogonal tight-binding model with ab-initio-derived parameters. As a case study, we consider nanotube (6, 5), for which we calculate the two-phonon spectrum. We investigate in detail the 2D band and identify three contributions to it: a non-dispersive one and two dispersive ones, which are found to depend on the electron and phonon dispersion of the nanotube, and on the laser excitation. We also predict two-phonon bands, which are not allowed in the parent structure graphene. The obtained two-phonon bands are in very good agreement with the available experimental data. The symmetry-adapted formalism makes feasible the calculation of the two-phonon Raman bands of any observable nanotube.


title: A Linear Modeling Approach on LTGP Signals and Seismic Activity

abstract: This study illustrates presents a set of the Long-Term Geoelectric Potential (LTGP) measurements that are collected for experimental investigation in Western Greece during a five-year period (1993-1997). During this period, many major destructive earthquake events occurred that caused human casualties and extended material damages. The collection and processing of geoelectric measurements was done by an automated data acquisition system at the Seismological Laboratory of the University of Patras, Greece. This novel study considers seismic activity of this area as a typical linear dynamic system and the dynamic relationship between the magnitude of earthquakes and Long-Term Geoelectric Potential signals is inferred by the Recursive Least Square algorithm. The results are encouraging and show that linear dynamic systems, which are widely used in modern control theory, can describe efficiently the dynamic behavior of seismic activity and become a useful interpretative tool of seismic phenomenon.


title: Manifestly Covariant Canonical Quantization of the Scalar Field and Particle Localization

abstract: Particle localization within quantum field theory is revisited. Canonical quantization of a free scalar field theory is performed in a manifestly Lorentz covariant way with respect to an arbitrary 3-surface $\Sigma$, which is the simultaneity surface associated with the observer, whose proper time direction is orthogonal to $\Sigma$. Position on $\Sigma$ is determined by a 4-vector ${\bar x}^\mu$. The corresponding quantum position operator, formed in terms of the operators $a^\dagger ({\bar x})$, $a({\bar x})$, that create/annihilate particles on $\Sigma$, has thus well behaved properties under Lorentz transformations. A generic state is a superposition of the states, created with $a^\dagger ({\bar x})$, the superposition coefficients forming multiparticle wave packet profiles---wave functions, including a single particle wave function that satisfies the covariant generalization of the Foldy equation. The covariant center of mass operator is introduced and its expectation values in a generic multiparticle state calculated.


title: Iterated Extensions and Uniserial Length Categories

abstract: In this paper, we study length categories using iterated extensions. We consider the problem of classifying all indecomposable objects in a length category, and the problem of characterizing those length categories that are uniserial. We solve the last problem, and obtain a necessary and sufficient criterion for uniseriality under weak assumptions. This criterion turns out to be known by Amdal and Ringdal already in 1968; we give a new proof that is both elementary and constructive. The first problem is the most fundamental one, and its general solution is "the main and perhaps hopeless purpose of representation theory" according to Gabriel. We solve the problem in the case when the length category is uniserial, using our constructive methods. As an application, we classify all graded holonomic $D$-modules on a monomial curve over the complex numbers, obtaining the most explicit results over the affine line, when $D$ is the first Weyl algebra. Finally, we show that the iterated extensions are completely determined by the noncommutative deformations of its simple factors. This tells us precisely what we can learn about a length category by studying its species; it gives the tangent space of the noncommutative deformation functor, or the infinitesimal deformations, but not the obstructions for lifting these deformations.


title: Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles

abstract: These are the proceedings of the Second International Workshop on Safe Control of Autonomous Vehicles, which took place on the 10th of April 2018 in Porto, Portugal as an affiliated workshop of CSPWeek. The task of this workshop is to identify open research problems, discuss recent achievements, bring together researchers in, e.g., control theory, adaptive systems, machine self-organization and autonomy, mobile intelligent robotics, transportation, traffic control, machine learning, software verification, and dependability and security engineering.


title: ModelFactory: A Matlab/Octave based toolbox to create human body models

abstract: Background: Model-based analysis of movements can help better understand human motor control. Here, the models represent the human body as an articulated multi-body system that reflects the characteristics of the human being studied. Results: We present an open-source toolbox that allows for the creation of human models with easy-to-setup, customizable configurations. The toolbox scripts are written in Matlab/Octave and provide a command-based interface as well as a graphical interface to construct, visualize and export models. Built-in software modules provide functionalities such as automatic scaling of models based on subject height and weight, custom scaling of segment lengths, mass and inertia, addition of body landmarks, and addition of motion capture markers. Users can set up custom definitions of joints, segments and other body properties using the many included examples as templates. In addition to the human, any number of objects (e.g. exoskeletons, orthoses, prostheses, boxes) can be added to the modeling environment. Conclusions: The ModelFactory toolbox is published as open-source software under the permissive zLib license. The toolbox fulfills an important function by making it easier to create human models, and should be of interest to human movement researchers. This document is the author's version of this article.


title: On the Nature of Trapped-Hole States in CdS Nanocrystals and the Mechanism of their Diffusion

abstract: Recent transient absorption experiments on CdS nanorods suggest that photoexcited holes rapidly trap to the surface of these particles and then undergo diffusion along the rod surface. In this paper, we present a semiperiodic DFT model for the CdS nanocrystal surface, analyze it, and comment on the nature of both the hole-trap states and the mechanism by which the holes diffuse. Hole states near the top of the valence band form an energetic near continuum with the bulk, and localize to the non-bonding sp$^3$ orbitals on surface sulfur atoms. After localization, the holes form nonadiabatic small polarons that move between the sulfur orbitals on the surface of the particle in a series of uncorrelated, incoherent, thermally-activated hops at room temperature. The surface-trapped holes are deeply in the weak-electronic coupling limit and, as a result, undergo slow diffusion.


title: Reheating neutron stars with the annihilation of self-interacting dark matter

abstract: Compact stellar objects such as neutron stars (NS) are ideal places for capturing dark matter (DM) particles. We study the effect of self-interacting DM (SIDM) captured by nearby NS that can reheat it to an appreciated surface temperature through absorbing the energy released due to DM annihilation. When DM-nucleon cross section $\sigma_{\chi n}$ is small enough, DM self-interaction will take over the capture process and make the number of captured DM particles increased as well as the DM annihilation rate. The corresponding NS surface temperature resulted from DM self-interaction is about hundreds of Kelvin and is potentially detectable by the future infrared telescopes. Such observations could act as the complementary probe on DM properties to the current DM direct searches.


title: Local Analysis of Loewner Equation

abstract: Let $\lambda:[0,+\infty)\mapsto\mathbb{R}$ be the driving function of a chordal Loewner process. In this paper we find new conditions on $\lambda$ which imply that the process is generated by a simple curve. This result improves former one by Lind ,Marshall and Rhode, and it particular gives new results about the case $\lambda(t)=cW_b(t)$, $W_b$ being a H\"{o}lder-$1/2$ Weierstrass function. In the second part we find new conditions on $\lambda$ implying that the process is generated by a curve. The main tool here is a duality relation between the real part and the imaginary part of the Loewner equation.


title: Herglotz' generalized variational principle and contact type Hamilton-Jacobi equations

abstract: We develop an approach for the analysis of fundamental solutions to Hamilton-Jacobi equations of contact type based on a generalized variational principle proposed by Gustav Herglotz. We also give a quantitative Lipschitz estimate on the associated minimizers.


title: Scrum2Kanban: Integrating Kanban and Scrum in a University Software Engineering Capstone Course

abstract: Using university capstone courses to teach agile software development methodologies has become commonplace, as agile methods have gained support in professional software development. This usually means students are introduced to and work with the currently most popular agile methodology: Scrum. However, as the agile methods employed in the industry change and are adapted to different contexts, university courses must follow suit. A prime example of this is the Kanban method, which has recently gathered attention in the industry. In this paper, we describe a capstone course design, which adds the hands-on learning of the lean principles advocated by Kanban into a capstone project run with Scrum. This both ensures that students are aware of recent process frameworks and ideas as well as gain a more thorough overview of how agile methods can be employed in practice. We describe the details of the course and analyze the participating students' perceptions as well as our observations. We analyze the development artifacts, created by students during the course in respect to the two different development methodologies. We further present a summary of the lessons learned as well as recommendations for future similar courses. The survey conducted at the end of the course revealed an overwhelmingly positive attitude of students towards the integration of Kanban into the course.


title: Quantum Trajectory Distribution for Weak Measurement of a Superconducting Qubit: Experiment meets Theory

abstract: Quantum measurements are described as instantaneous projections in textbooks. They can be stretched out in time using weak measurements, whereby one can observe the evolution of a quantum state as it heads towards one of the eigenstates of the measured operator. This evolution can be understood as a continuous nonlinear stochastic process, generating an ensemble of quantum trajectories, consisting of noisy fluctuations on top of geodesics that attract the quantum state towards the measured operator eigenstates. The rate of evolution is specific to each system-apparatus pair, and the Born rule constraint requires the magnitudes of the noise and the attraction to be precisely related. We experimentally observe the entire quantum trajectory distribution for weak measurements of a superconducting qubit in circuit QED architecture, quantify it, and demonstrate that it agrees very well with the predictions of a single-parameter white-noise stochastic process. This characterisation of quantum trajectories is a powerful clue to unraveling the dynamics of quantum measurement, beyond the conventional axiomatic quantum theory.


title: Dimer model, bead model and standard Young tableaux: finite cases and limit shapes

abstract: The bead model is a random point field on $\mathbb{Z}\times\mathbb{R}$ which can be viewed as a scaling limit of dimer model. We prove that, in the scaling limit, the normalized height function of a uniformly chosen random bead configuration lies in an arbitrarily small neighborhood of a surface $h_0$ that maximizes some functional which we call as entropy. We also prove that the limit shape $h_0$ is a scaling limit of the limit shapes of a properly chosen sequence of dimer models. There is a map from bead configurations to standard tableaux of a (skew) Young diagram, and the map preserves uniform measures, and our results of the bead model yield the existence of the limit shape of a random standard Young tableau.


title: A Fast Hierarchically Preconditioned Eigensolver Based On Multiresolution Matrix Decomposition

abstract: In this paper we propose a new iterative method to hierarchically compute a relatively large number of leftmost eigenpairs of a sparse symmetric positive matrix under the multiresolution operator compression framework. We exploit the well-conditioned property of every decomposition components by integrating the multiresolution framework into the Implicitly restarted Lanczos method. We achieve this combination by proposing an extension-refinement iterative scheme, in which the intrinsic idea is to decompose the target spectrum into several segments such that the corresponding eigenproblem in each segment is well-conditioned. Theoretical analysis and numerical illustration are also reported to illustrate the efficiency and effectiveness of this algorithm.


title: Protocol and Tools for Conducting Agile Software Engineering Research in an Industrial-Academic Setting: A Preliminary Study

abstract: Conducting empirical research in software engineering industry is a process, and as such, it should be generalizable. The aim of this paper is to discuss how academic researchers may address some of the challenges they encounter during conducting empirical research in the software industry by means of a systematic and structured approach. The protocol developed in this paper should serve as a practical guide for researchers and help them with conducting empirical research in this complex environment.


title: Better than Rician: Modelling millimetre wave channels as Two-Wave with Diffuse Power

abstract: This contribution provides experimental evidence for the two-wave with diffuse power (TWDP) fading model. We have conducted two indoor millimetre wave measurement campaigns with directive horn antennas at both link ends. One horn antenna is mounted in a corner of our laboratory, while the other is steerable and scans azimuth and elevation. Our first measurement campaign is based on scalar network analysis with 7 GHz of bandwidth. Our second measurement campaign obtains magnitude and phase information, additionally sampled directionally at several positions in space. %This second measurement campaign is limited to 2 GHz bandwidth. We apply Akaike's information criterion to decide whether Rician fading sufficiently explains the data or the generalized TWDP fading model is necessary. Our results indicate that the TWDP fading hypothesis is favoured over Rician fading in situations where the steerable antenna is pointing towards reflecting objects or is slightly misaligned at line-of-sight. We demonstrate TWDP fading in several different domains, namely, frequency, space, and time.


title: Correcting for peculiar velocities of Type Ia Supernovae in clusters of galaxies

abstract: Type Ia Supernovae (SNe Ia) are widely used to measure the expansion of the Universe. To perform such measurements the luminosity and cosmological redshift ($z$) of the SNe Ia have to be determined. The uncertainty on $z$ includes an unknown peculiar velocity, which can be very large for SNe Ia in the virialized cores of massive clusters. We determine which SNe Ia exploded in galaxy clusters. We then study how the correction for peculiar velocities of host galaxies inside the clusters improves the Hubble residuals. Using 145 SNe Ia from the Nearby Supernova Factory we found 11 candidates for membership in clusters. To estimate the redshift of a cluster we applied the bi-weight technique. Then, we use the galaxy cluster redshift instead of the host galaxy redshift to construct the Hubble diagram. For SNe Ia inside galaxy clusters the dispersion around the Hubble diagram when peculiar velocities are taken into account is smaller in comparison with a case without peculiar velocity correction, with a $wRMS=0.130\pm0.038$ mag instead of $wRMS=0.137\pm0.036$ mag. The significance of this improvement is 3.58 $\sigma$. If we remove the very nearby Virgo cluster member SN2006X ($z<0.01$) from the analysis, the significance decreases to 1.34 $\sigma$. The peculiar velocity correction is found to be highest for the SNe Ia hosted by blue spiral galaxies, with high local specific star formation rate and smaller stellar mass, seemingly counter to what might be expected given the heavy concentration of old, massive elliptical galaxies in clusters. As expected, the Hubble residuals of SNe Ia associated with massive galaxy clusters improve when the cluster redshift is taken as the cosmological redshift of the SN. This fact has to be taken into account in future cosmological analyses in order to achieve higher accuracy for cosmological redshift measurements. Here we provide an approach to do so.


title: Algebraic links in the Poincar\'e sphere and the Alexander polynomials

abstract: The Alexander polynomial in several variables is defined for links in three-dimensional homology spheres, in particular, in the Poincar\'e sphere: the intersection of the surface $S=\{(z_1,z_2,z_3)\in {\mathbb C}^3: z_1^5+z_2^3+z_3^2=0\}$ with the 5-dimensional sphere ${\mathbb S}_{\varepsilon}^5=\{(z_1,z_2,z_3)\in {\mathbb C}^3: \vert z_1\vert^2+\vert z_2\vert^2+\vert z_3\vert^2=\varepsilon^2\}$. An algebraic link in the Poincar\'e sphere is the intersection of a germ $(C,0)\subset (S,0)$ of a complex analytic curve in $(S,0)$ with the sphere ${\mathbb S}_{\varepsilon}^3$ of radius $\varepsilon$ small enough. Here we discuss to which extend the Alexander polynomial in several variables of an algebraic link in the Poincar\'e sphere determines the topology of the link. We show that, if the strict transform of a curve on $(S,0)$ does not intersect the component of the exceptional divisor corresponding to the end of the longest tail in the corresponding $E_8$-diagram, then its Alexander polynomial determines the combinatorial type of the minimal resolution of the curve and therefore the topology of the corresponding link. Alexander polynomial of an algebraic link in the Poincar\'e sphere coincides with the Poincar\'e series of the filtration defined by the corresponding curve valuations. We show that, under conditions similar for those for curves, the Poincar\'e series of a collection of divisorial valuations determines the combinatorial type of the minimal resolution of the collection.


title: The Sum-Rate-Distortion Region of Correlated Gauss-Markov Sources

abstract: Efficient low-delay video encoders are of fundamental importance to provide timely feedback in remotely controlled platforms such as drones. In order to fully understand the theoretical limits of low-delay video encoders, we consider an ideal differential predictive coded modulation (DPCM) encoder and provide the explicit derivation of the sum-rate-distortion region for a generic number of successive correlated Gauss-Markov sources along the line of the work by Ma and Ishwar. Furthermore, we provide an upper bound on the minimum distortion achievable in case an arbitrary number of sources are not available at the decoder.


title: Ubiquitous Cell-Free Massive MIMO Communications

abstract: Since the first cellular networks were trialled in the 1970s, we have witnessed an incredible wireless revolution. From 1G to 4G, the massive traffic growth has been managed by a combination of wider bandwidths, refined radio interfaces, and network densification, namely increasing the number of antennas per site. Due its cost-efficiency, the latter has contributed the most. Massive MIMO (multiple-input multiple-output) is a key 5G technology that uses massive antenna arrays to provide a very high beamforming gain and spatially multiplexing of users, and hence, increases the spectral and energy efficiency. It constitutes a centralized solution to densify a network, and its performance is limited by the inter-cell interference inherent in its cell-centric design. Conversely, ubiquitous cell-free Massive MIMO refers to a distributed Massive MIMO system implementing coherent user-centric transmission to overcome the inter-cell interference limitation in cellular networks and provide additional macro-diversity. These features, combined with the system scalability inherent in the Massive MIMO design, distinguishes ubiquitous cell-free Massive MIMO from prior coordinated distributed wireless systems. In this article, we investigate the enormous potential of this promising technology while addressing practical deployment issues to deal with the increased back/front-hauling overhead deriving from the signal co-processing.


title: Accreting pulsars: mixing-up accretion phases in transitional systems

abstract: In the last 20 years our understanding of the millisecond pulsar (MSP) population changed dramatically. Thanks to RXTE, we discovered that neutron stars in LMXBs spins at 200-750 Hz frequencies, and indirectly confirmed the recycling scenario, according to which neutron stars are spun up to ms periods during the LMXB-phase. In the meantime, the continuous discovery of rotation-powered MSPs in binary systems in the radio and gamma-ray band (mainly with the Fermi LAT) allowed us to classify these sources into two "spiders" populations, depending on the mass of their companion stars: Black Widow, with very low-mass companion stars, and Redbacks, with larger companions possibly filling their Roche lobes but without accretion. It was soon regained that MSPs in short orbital period LMXBs are the progenitors of the spider populations of rotation-powered MSPs, although a direct link between accretion- and rotation-powered MSPs was still missing. In 2013 XMM-Newton spotted the X-ray outburst of a new accreting MSP (IGR J18245-2452) in a source that was previously classified as a radio MSP. Follow up observations of the source when it went back to X-ray quiescence showed that it was able to swing between accretion- to rotation-powered pulsations in a relatively short timescale (few days), promoting this source as the direct link between the LMXB and the radio MSP phases. Following discoveries showed that there exists a bunch of sources, which alternates X-ray activity phases, showing X-ray pulsations, to radio-loud phases, showing radio pulsations, establishing a new class of MSPs: the Transitional MSP. In this review we describe these exciting discoveries and the properties of accreting and transitional MSPs, highlighting what we know and what we have still to learn about in order to fully understand the (sometime puzzling) behavior of these systems and their evolutive connection (abridged).


title: Parameterized Algorithms for the Matrix Completion Problem

abstract: We consider two matrix completion problems, in which we are given a matrix with missing entries and the task is to complete the matrix in a way that (1) minimizes the rank, or (2) minimizes the number of distinct rows. We study the parameterized complexity of the two aforementioned problems with respect to several parameters of interest, including the minimum number of matrix rows, columns, and rows plus columns needed to cover all missing entries. We obtain new algorithmic results showing that, for the bounded domain case, both problems are fixed-parameter tractable with respect to all aforementioned parameters. We complement these results with a lower-bound result for the unbounded domain case that rules out fixed-parameter tractability w.r.t. some of the parameters under consideration.


title: A Hierarchical Latent Structure for Variational Conversation Modeling

abstract: Variational autoencoders (VAE) combined with hierarchical RNNs have emerged as a powerful framework for conversation modeling. However, they suffer from the notorious degeneration problem, where the decoders learn to ignore latent variables and reduce to vanilla RNNs. We empirically show that this degeneracy occurs mostly due to two reasons. First, the expressive power of hierarchical RNN decoders is often high enough to model the data using only its decoding distributions without relying on the latent variables. Second, the conditional VAE structure whose generation process is conditioned on a context, makes the range of training targets very sparse; that is, the RNN decoders can easily overfit to the training data ignoring the latent variables. To solve the degeneration problem, we propose a novel model named Variational Hierarchical Conversation RNNs (VHCR), involving two key ideas of (1) using a hierarchical structure of latent variables, and (2) exploiting an utterance drop regularization. With evaluations on two datasets of Cornell Movie Dialog and Ubuntu Dialog Corpus, we show that our VHCR successfully utilizes latent variables and outperforms state-of-the-art models for conversation generation. Moreover, it can perform several new utterance control tasks, thanks to its hierarchical latent structure.


title: Hermitian--to--quasi-Hermitian quantum phase transitions

abstract: The phenomenon of quantum phase transition is considered in the special case in which the evolution laws remain unitary and in which the bound-state energies remain observable. The conventional Hermiticity of observables is lost at the interface, replaced by the so called quasi-Hermiticity. Several features of the passage of the system through the interface are discussed and illustrated by elementary illustrative ${\cal PT}-$symmetric examples.


title: Feedback Coding Schemes for the Broadcast Channel with Mutual Secrecy Requirement

abstract: Recently, the physical layer security (PLS) of the communication systems has been shown to be enhanced by using legal receiver's feedback. The present secret key based feedback scheme mainly focuses on producing key from the feedback and using this key to protect part of the transmitted message. However, this feedback scheme has been proved only optimal for several degraded cases. The broadcast channel with mutual secrecy requirement (BC-MSR) is important as it constitutes the essence of physical layer security (PLS) in the down-link of the wireless communication systems. In this paper, we investigate the feedback effects on the BC-MSR, and propose two inner bounds and one outer bound on the secrecy capacity region of the BC-MSR with noiseless feedback. One inner bound is constructed according to the already existing secret key based feedback coding scheme for the wiretap channel, and the other is constructed by a hybrid coding scheme using feedback to generate not only keys protecting the transmitted messages but also cooperative messages helping the receivers to improve their decoding performance. The performance of the proposed feedback schemes and the gap between the inner and outer bounds are further explained via two examples.


title: Rogue active regions and the inherent unpredictability of the solar dynamo

abstract: New developments in surface flux transport modeling and theory of flux transport dynamos have given rise to the notion that certain large active regions with anomalous properties (location, tilt angle and/or Hale/non-Hale character) may have a major impact on the course of solar activity in subsequent years, impacting also on the amplitude of the following solar cycles. Here we discuss our current understanding of the role of such "rogue" active regions in cycle-to-cycle variations of solar activity.


title: Generalized Gaffney inequality and discrete compactness for discrete differential forms

abstract: We prove generalized Gaffney inequalities and the discrete compactness for finite element differential forms on $s$-regular domains, including general Lipschitz domains. In computational electromagnetism, special cases of these results have been established for edge elements with weakly imposed divergence-free conditions and used in the analysis of nonlinear and eigenvalue problems. In this paper, we generalize these results to discrete differential forms, not necessarily with strongly or weakly imposed constraints. The analysis relies on a new Hodge mapping and its approximation property. As an application, we show $L^{p}$ estimates for several finite element approximations of the scalar and vector Laplacian problems.


abstract: We propose Graphical Generative Adversarial Networks (Graphical-GAN) to model structured data. Graphical-GAN conjoins the power of Bayesian networks on compactly representing the dependency structures among random variables and that of generative adversarial networks on learning expressive dependency functions. We introduce a structured recognition model to infer the posterior distribution of latent variables given observations. We generalize the Expectation Propagation (EP) algorithm to learn the generative model and recognition model jointly. Finally, we present two important instances of Graphical-GAN, i.e. Gaussian Mixture GAN (GMGAN) and State Space GAN (SSGAN), which can successfully learn the discrete and temporal structures on visual datasets, respectively.


title: The self-referring DNA and protein: a remark on physical and geometrical aspects

abstract: All known life forms are based upon a hierarchy of interwoven feedback loops, operating over a cascade of space, time and energy scales. Among the most basic loops are those connecting DNA and proteins. For example, in genetic networks, DNA genes are expressed as proteins, which may bind near the same genes and thereby control their own expression. In this molecular type of self-reference, information is mapped from the DNA sequence to the protein and back to DNA. There is a variety of dynamic DNA-protein self-reference loops, and the purpose of this remark is to discuss certain geometrical and physical aspects related to the back and forth mapping between DNA and proteins. The discussion raises basic questions regarding the nature of DNA and proteins as self-referring matter, which are examined in a simple toy model.


title: Ab-initio calculations of the linear and nonlinear susceptibilities of N$_2$, O$_2$, and air in the mid-infrared

abstract: We present first-principles calculations of the linear and nonlinear susceptibilities of N$_2$, O$_2$, and air in the mid-infrared wavelength regime, from $1-4$ $\mu$m. We extract the frequency-dependent susceptibilities from the full time-dependent dipole moment that is calculated using time-dependent density functional theory. We find good agreement with curves derived from experimental results for the linear susceptibility, and with measurements for the nonlinear susceptibility up to 2.4 $\mu$m. We also find that the susceptibilities are insensitive to the laser intensity even in the strong field regime up to $5\times 10^{13}$ W/cm$^2$. Our results will allow accurate calculations of the long-distance propagation of intense MIR laser pulses in air.


title: Schur product with operator-valued entries

abstract: In this paper we characterize Toeplitz matrices with entries in the space of bounded operators on Hilbert spaces $\mathcal{B}(H)$ which define bounded operators acting on $\ell^2(H)$ and use it to get the description of the right Schur multipliers acting on $\ell^2(H)$ in terms of certain operator-valued measures.


title: Who framed Roger Reindeer? De-censorship of Facebook posts by snippet classification

abstract: This paper considers online news censorship and it concentrates on censorship of identities. Obfuscating identities may occur for disparate reasons, from military to judiciary ones. In the majority of cases, this happens to protect individuals from being identified and persecuted by hostile people. However, being the collaborative web characterised by a redundancy of information, it is not unusual that the same fact is reported by multiple sources, which may not apply the same restriction policies in terms of censorship. Also, the proven aptitude of social network users to disclose personal information leads to the phenomenon that comments to news can reveal the data withheld in the news itself. This gives us a mean to figure out who the subject of the censored news is. We propose an adaptation of a text analysis approach to unveil censored identities. The approach is tested on a synthesised scenario, which however resembles a real use case. Leveraging a text analysis based on a context classifier trained over snippets from posts and comments of Facebook pages, we achieve promising results. Despite the quite constrained settings in which we operate -- such as considering only snippets of very short length -- our system successfully detects the censored name, choosing among 10 different candidate names, in more than 50\% of the investigated cases. This outperforms the results of two reference baselines. The findings reported in this paper, other than being supported by a thorough experimental methodology and interesting on their own, also pave the way for further investigation on the insidious issues of censorship on the web.


title: Fundamental solutions for the wave operator on static Lorentzian manifolds with timelike boundary

abstract: We consider the wave operator on static, Lorentzian manifolds with timelike boundary and we discuss the existence of advanced and retarded fundamental solutions in terms of boundary conditions. By means of spectral calculus we prove that answering this question is equivalent to studying the self-adjoint extensions of an associated elliptic operator on a Riemannian manifold with boundary $(M,g)$. The latter is diffeomorphic to any, constant time hypersurface of the underlying background. In turn, assuming that $(M,g)$ is of bounded geometry, this problem can be tackled within the framework of boundary triples. These consist of the assignment of two surjective, trace operators from the domain of the adjoint of the elliptic operator into an auxiliary Hilbert space $\mathsf{h}$, which is the third datum of the triple. Self-adjoint extensions of the underlying elliptic operator are in one-to-one correspondence with self-adjoint operators $\Theta$ on $\mathsf{h}$. On the one hand, we show that, for a natural choice of boundary triple, each $\Theta$ can be interpreted as the assignment of a boundary condition for the original wave operator. On the other hand, we prove that, for each such $\Theta$, there exists a unique advanced and retarded fundamental solution. In addition, we prove that these share the same structural property of the counterparts associated to the wave operator on a globally hyperbolic spacetime.


title: Mapping properties of operator-valued pseudo-differential operators

abstract: In this paper, we investigate the mapping properties of pseudo-differential operators with operator-valued symbols. Thanks to the smooth atomic decomposition of the operator-valued Triebel-Lizorkin spaces $F_1^{\alpha,c}(\mathbb{R}^d,\mathcal{M})$ obtained in our previous paper, we establish the $F_1^{\alpha,c}$-regularity of regular symbols for every $\alpha\in \mathbb{R}$, and the $F_1^{\alpha,c}$-regularity of forbidden symbols for $\alpha>0$. As applications, we obtain the same results on the usual and quantum tori.


title: A Non-blocking Buddy System for Scalable Memory Allocation on Multi-core Machines

abstract: Common implementations of core memory allocation components, like the Linux buddy system, handle concurrent allocation/release requests by synchronizing threads via spin-locks. This approach is clearly not prone to scale with large thread counts, a problem that has been addressed in the literature by introducing layered allocation services or replicating the core allocators-the bottom most ones within the layered architecture. Both these solutions tend to reduce the pressure of actual concurrent accesses to each individual core allocator. In this article we explore an alternative approach to scalability of memory allocation/release, which can be still combined with those literature proposals. Conflict detection relies on conventional atomic machine instructions in the Read-Modify-Write (RMW) class. Furthermore, beyond improving scalability and performance, it can also avoid wasting clock cycles for spin-lock operations by threads that could in principle carry out their memory allocation/release in full concurrency. Thus, it is resilient to performance degradation---in face of concurrent accesses---independently of the current level of fragmentation of the handled memory blocks.


title: The AGINAO Self-Programming Engine

abstract: The AGINAO is a project to create a human-level artificial general intelligence system (HL AGI) embodied in the Aldebaran Robotics' NAO humanoid robot. The dynamical and open-ended cognitive engine of the robot is represented by an embedded and multi-threaded control program, that is self-crafted rather than hand-crafted, and is executed on a simulated Universal Turing Machine (UTM). The actual structure of the cognitive engine emerges as a result of placing the robot in a natural preschool-like environment and running a core start-up system that executes self-programming of the cognitive layer on top of the core layer. The data from the robot's sensory devices supplies the training samples for the machine learning methods, while the commands sent to actuators enable testing hypotheses and getting a feedback. The individual self-created subroutines are supposed to reflect the patterns and concepts of the real world, while the overall program structure reflects the spatial and temporal hierarchy of the world dependencies. This paper focuses on the details of the self-programming approach, limiting the discussion of the applied cognitive architecture to a necessary minimum.


title: Frame Properties of Operator Orbits

abstract: We consider sequences in a Hilbert space $\mathcal H$ of the form $(T^nf_0)_{n\in I},$ with a linear operator $T$, the index set being either $I = \mathbb N$ or $I = \mathbb Z$, a vector $f_0\in \mathcal H$, and answer the following two related questions: (a) {\it Which frames for $\mathcal H$ are of this form with an at least closable operator $T$?} and (b) {\it For which bounded operators $T$ and vectors $f_0$ is $(T^nf_0)_{n\in I}$ a frame for $\mathcal H$?} As a consequence of our results, it turns out that an overcomplete Gabor or wavelet frame can never be written in the form $(T^nf_0)_{n\in\mathbb N}$ with a bounded operator $T$. The corresponding problem for $I = \mathbb Z$ remains open. Despite the negative result for Gabor and wavelet frames, the results demonstrate that the class of frames that can be represented in the form $(T^nf_0)_{n\in\mathbb N}$ with a bounded operator $T$ is significantly larger than what could be expected from the examples known so far.


title: Evaluating Actuators in a Purely Information-Theory Based Reward Model

abstract: AGINAO builds its cognitive engine by applying self-programming techniques to create a hierarchy of interconnected codelets - the tiny pieces of code executed on a virtual machine. These basic processing units are evaluated for their applicability and fitness with a notion of reward calculated from self-information gain of binary partitioning of the codelet's input state-space. This approach, however, is useless for the evaluation of actuators. Instead, a model is proposed in which actuators are evaluated by measuring the impact that an activation of an effector, and consequently the feedback from the robot sensors, has on average reward received by the processing units.


title: First principle investigation of Tunnel FET based on nanoribbons from topological two-dimensional material

abstract: We explore nanoribbons from topological two-dimensional stanene as channel material in tunnel field effect transistors. This novel technological option offers the possibility to build pure one-dimensional (1D) channel devices (comprised of a 1D chain of atoms) due to localized states in correspondence of the nanoribbon edges. The investigation is based on first-principle calculations and multi-scale transport simulations to assess devices performance against industry requirements and their robustness with respect to technological issues like line edge roughness, detrimental for nanoribbons. We will show that edges states are robust with respect to the presence of non-idealities (e.g., atoms vacancies at the edges), and that 1D-channel TFETs exhibit interesting potential for digital applications and room for optimization in order to improve the Ion/Ioff at the levels required by the ITRS, while opening a path for the exploration of new device concepts at the ultimate scaling limits.


title: The Brain on Low Power Architectures - Efficient Simulation of Cortical Slow Waves and Asynchronous States

abstract: Efficient brain simulation is a scientific grand challenge, a parallel/distributed coding challenge and a source of requirements and suggestions for future computing architectures. Indeed, the human brain includes about 10^15 synapses and 10^11 neurons activated at a mean rate of several Hz. Full brain simulation poses Exascale challenges even if simulated at the highest abstraction level. The WaveScalES experiment in the Human Brain Project (HBP) has the goal of matching experimental measures and simulations of slow waves during deep-sleep and anesthesia and the transition to other brain states. The focus is the development of dedicated large-scale parallel/distributed simulation technologies. The ExaNeSt project designs an ARM-based, low-power HPC architecture scalable to million of cores, developing a dedicated scalable interconnect system, and SWA/AW simulations are included among the driving benchmarks. At the joint between both projects is the INFN proprietary Distributed and Plastic Spiking Neural Networks (DPSNN) simulation engine. DPSNN can be configured to stress either the networking or the computation features available on the execution platforms. The simulation stresses the networking component when the neural net - composed by a relatively low number of neurons, each one projecting thousands of synapses - is distributed over a large number of hardware cores. When growing the number of neurons per core, the computation starts to be the dominating component for short range connections. This paper reports about preliminary performance results obtained on an ARM-based HPC prototype developed in the framework of the ExaNeSt project. Furthermore, a comparison is given of instantaneous power, total energy consumption, execution time and energetic cost per synaptic event of SWA/AW DPSNN simulations when executed on either ARM- or Intel-based server platforms.


title: Bridges with random length: Gamma case

abstract: The aim objective of this paper is to show that certain basic properties of gamma bridges with deterministic length stay true also for gamma bridges with random length. Among them the Markov property as well as the canonical decomposition with respect to the usual augmentation of its natural filtration, which leads us to conclude that its completed natural filtration is right continuous.


title: Microwave cavity tuned with liquid metal and its application to Electron Paramagnetic Resonance

abstract: This note presents a method to tune the resonant frequency $f_{0}$ of a rectangular microwave cavity. This is achieved using a liquid metal, GaInSn, to decrease the volume of the cavity. It is possible to shift $f_{0}$ by filling the cavity with this alloy, in order to reduce the relative distance between the internal walls. The resulting modes have resonant frequencies in the range $7\div8\,$GHz. The capability of the system of producing an Electron Paramagnetic Resonance (EPR) measurement has been tested by placing a 1 mm diameter Yttrium Iron Garnet (YIG) sphere inside the cavity, and producing a strong coupling between the cavity resonance and Kittel mode. This work shows the possibility to tune a resonant system in the GHz range, which can be useful for several applications.


title: On the volume bound in the Dvoretzky--Rogers lemma

abstract: The classical Dvoretzky--Rogers lemma provides a deterministic algorithm by which, from any set of isotropic vectors in Euclidean $d$-space, one can select a subset of $d$ vectors whose determinant is not too small. Subsequently, Pelczy\'nski and Szarek improved this lower bound by a factor depending on the dimension and the number of vectors. Pivovarov, on the other hand, determined the expectation of the square of the volume of parallelotopes spanned by $d$ independent random vectors in $\mathbb{R}^d$, each one chosen according to an isotropic measure. We extend Pivovarov's result to a class of more general probability measures, which yields that the volume bound in the Dvoretzky--Rogers lemma is, in fact, equal to the expectation of the squared volume of random parallelotopes spanned by isotropic vectors. This allows us to give a probabilistic proof of the improvement of Pelczy\'nski and Szarek, and provide a lower bound for the probability that the volume of such a random parallelotope is large.


title: Magnetometric Mapping of Superconducting RF Cavities

abstract: A scalable mapping system for superconducting RF cavities is presented. Currently, it combines local temperature measurement with 3D magnetic field mapping along the outer surface of the resonator. This allows for the observation of dynamic effects that have an impact on the superconducting properties of a cavity, such as the normal to superconducting phase transition or a quench. The system was developed for a single cell 1.3 GHz TESLA-type cavity, but can be easily adopted to arbitrary other cavity types. A data acquisition rate of 500 Hz for all channels simultaneously (i.e.2ms) acquisition time for a complete map) and a magnetic field resolution of currently up to 14 mA/m/mu0 = 17 nT has been implemented. While temperature mapping is a well known technique in SRF research, the integration of magnetic field mapping opens the possibility of detailed studies of trapped magnetic flux and its impact on the surface resistance. It is shown that magnetic field sensors based on the anisotropic magnetoresistance (AMR) effect can be used in the cryogenic environment with improved sensitivity compared to room temperature. Furthermore, examples of first successful combined temperature and magnetic-field maps are presented.


title: Methodological considerations on the use of the normalized impact in the Severo Ochoa and Mar\'ia de Maetzu programmes

abstract: In 2011, the programme for Severo Ochoa Centers of Excellence and Mar\'ia de Maeztu Units of Excellence was launched for the first time. Since this programme has become one of the axes of the Spanish scientific policy. 186 million euros have been distributed and 26 centers and 16 units have been accredited. One of the most relevant criteria for submission is the need for guarantor researchers to have a Normalized Impact of 1.5. In this work, we critically analyze the origin of this bibliometric indicator rooted in the 1980s, the different variants that have been proposed and the limitations its use in this programme have. Finally, we offer a series of practical recommendations for a more accurate use of normalized impact indicators for evaluative purposes.


title: RSGAN: Face Swapping and Editing using Face and Hair Representation in Latent Spaces

abstract: In this paper, we present an integrated system for automatically generating and editing face images through face swapping, attribute-based editing, and random face parts synthesis. The proposed system is based on a deep neural network that variationally learns the face and hair regions with large-scale face image datasets. Different from conventional variational methods, the proposed network represents the latent spaces individually for faces and hairs. We refer to the proposed network as region-separative generative adversarial network (RSGAN). The proposed network independently handles face and hair appearances in the latent spaces, and then, face swapping is achieved by replacing the latent-space representations of the faces, and reconstruct the entire face image with them. This approach in the latent space robustly performs face swapping even for images which the previous methods result in failure due to inappropriate fitting or the 3D morphable models. In addition, the proposed system can further edit face-swapped images with the same network by manipulating visual attributes or by composing them with randomly generated face or hair parts.


title: Multiple positive solutions for a slightly subcritical Choquard problem on bounded domains

abstract: In this paper we study a slightly subcritical Choquard problem on a bounded domain D. We prove that the number of positive solutions depends on the topology of the domain. In particular when the exponent of the nonlinearity approaches the critical one, we show the existence of cat(D)+1 solutions. Here cat(D) denotes the Lusternik-Schnirelmann category.


title: Weak regularity of the inverse under minimal assumptions

abstract: Let $\Omega\subset\mathbb{R}^3$ be a domain and let $f\in BV_{\operatorname{loc}}(\Omega,\mathbb{R}^3)$ be a homeomorphism such that its distributional adjugate is a finite Radon measure. We show that its inverse has bounded variation $f^{-1}\in BV_{\operatorname{loc}}$. The condition that the distributional adjugate is finite measure is not only sufficient but also necessary for the weak regularity of the inverse.


title: End of Potential Line

abstract: We introduce the problem EndOfPotentialLine and the corresponding complexity class EOPL of all problems that can be reduced to it in polynomial time. This class captures problems that admit a single combinatorial proof of their joint membership in the complexity classes PPAD of fixpoint problems and PLS of local search problems. EOPL is a combinatorially-defined alternative to the class CLS (for Continuous Local Search), which was introduced in with the goal of capturing the complexity of some well-known problems in PPAD $\cap$ PLS that have resisted, in some cases for decades, attempts to put them in polynomial time. Two of these are Contraction, the problem of finding a fixpoint of a contraction map, and P-LCP, the problem of solving a P-matrix Linear Complementarity Problem. We show that EndOfPotentialLine is in CLS via a two-way reduction to EndOfMeteredLine. The latter was defined in to show query and cryptographic lower bounds for CLS. Our two main results are to show that both PL-Contraction (Piecewise-Linear Contraction) and P-LCP are in EOPL. Our reductions imply that the promise versions of PL-Contraction and P-LCP are in the promise class UniqueEOPL, which corresponds to the case of a single potential line. This also shows that simple-stochastic, discounted, mean-payoff, and parity games are in EOPL. Using the insights from our reduction for PL-Contraction, we obtain the first polynomial-time algorithms for finding fixed points of contraction maps in fixed dimension for any $\ell_p$ norm, where previously such algorithms were only known for the $\ell_2$ and $\ell_\infty$ norms. Our reduction from P-LCP to EndOfPotentialLine allows a technique of Aldous to be applied, which in turn gives the fastest-known randomized algorithm for the P-LCP.


title: Radiation processes and models

abstract: This is a basic introduction to the physics of compact objects in the context of High Time Resolution Astrophysics (HTRA). The main mechanisms of energy release and the properties of relevant radiation processes are briefly reviewed. As a specific example, the top models for the multi-wavelength variability of accreting black holes are unveiled.


title: Pair correlation functions for identifying spatial correlation in discrete domains

abstract: Identifying and quantifying spatial correlation are important aspects of studying the collective behaviour of multi-agent systems. Pair correlation functions (PCFs) are powerful statistical tools which can provide qualitative and quantitative information about correlation between pairs of agents. Despite the numerous PCFs defined for off-lattice domains, only a few recent studies have considered a PCF for discrete domains. Our work extends the study of spatial correlation in discrete domains by defining a new set of PCFs using two natural and intuitive definitions of distance for a square lattice: the taxicab and uniform metric. We show how these PCFs improve upon previous attempts and compare between the quantitative data acquired. We also extend our definitions of the PCF to other types of regular tessellation which have not been studied before, including hexagonal, triangular and cuboidal. Finally, we provide a comprehensive PCF for any tessellation and metric allowing investigation of spatial correlation in irregular lattices for which recognising correlation is less intuitive.


title: Combinations of Qualitative Winning for Stochastic Parity Games

abstract: We study Markov decision processes and turn-based stochastic games with parity conditions. There are three qualitative winning criteria, namely, sure winning, which requires all paths must satisfy the condition, almost-sure winning, which requires the condition is satisfied with probability~1, and limit-sure winning, which requires the condition is satisfied with probability arbitrarily close to~1. We study the combination of these criteria for parity conditions, e.g., there are two parity conditions one of which must be won surely, and the other almost-surely. The problem has been studied recently by Berthon et.~al for MDPs with combination of sure and almost-sure winning, under infinite-memory strategies, and the problem has been established to be in NP $\cap$ coNP. Even in MDPs there is a difference between finite-memory and infinite-memory strategies. Our main results for combination of sure and almost-sure winning are as follows: (a)~we show that for MDPs with finite-memory strategies the problem lie in NP $\cap$ coNP; (b)~we show that for turn-based stochastic games the problem is coNP-complete, both for finite-memory and infinite-memory strategies; and (c)~we present algorithmic results for the finite-memory case, both for MDPs and turn-based stochastic games, by reduction to non-stochastic parity games. In addition we show that all the above results also carry over to combination of sure and limit-sure winning, and results for all other combinations can be derived from existing results in the literature. Thus we present a complete picture for the study of combinations of qualitative winning criteria for parity conditions in MDPs and turn-based stochastic games.


title: Coverability: Realizability Lower Bounds

abstract: We introduce the problem of temporal coverability for realizability and synthesis. Namely, given a language of words that must be covered by a produced system, how to automatically produce such a system. We consider the case of coverability with no further specifications, where we have to show that the nondeterminism of the produced system is sufficient to produce all the words required in the output language. We show a counting argument on a deterministic automaton representing the language to be covered that allows to produce such a system. We then turn to the case of coverability with additional specification and give a precondition for the existence of a system that produces all required words and at the same time produces only computations satisfying the additional correctness criterion. We combine our counting argument on the deterministic automaton for the language to be covered with a ranking on the deterministic B\"uchi automaton for the correctness criterion. One of the major issues with practical realizability is the interaction between environment assumptions and system guarantees. In many cases, synthesis produces systems that are vacuous and concentrate on forcing the environment to falsify its assumptions instead of fulfilling their guarantees. Coverability offers an alternative approach to tackle this problem.


title: Monic representations of finite higher-rank graphs

abstract: In this paper we define the notion of monic representation for the $C^*$-algebras of finite higher-rank graphs with no sources, and undertake a comprehensive study of them. Monic representations are the representations that, when restricted to the commutative $C^*$-algebra of the continuous functions on the infinite path space, admit a cyclic vector. We link monic representations to the $\Lambda$-semibranching representations previously studied by Farsi, Gillaspy, Kang, and Packer, and also provide a universal representation model for nonnegative monic representations.


title: Some remarks about disjointly homogeneous symmetric spaces

abstract: Let $1\le p<\infty$. A symmetric space $X$ on $[0,1]$ is said to be $p$-disjointly homogeneous (resp. restricted $p$-disjointly homogeneous) if every sequence of normalized pairwise disjoint functions from $X$ (resp. characteristic functions) contains a subsequence equivalent in $X$ to the unit vector basis of $l_p$. Answering a question posed recently, we construct, for each $1\le p<\infty$, a restricted $p$-disjointly homogeneous symmetric space, which is not $p$-disjointly homogeneous. Moreover, we prove that the property of $p$-disjoint homogeneity is preserved under Banach isomorphisms.


title: Universal features of mountain ridge networks on Earth

abstract: Compared to the heavily studied surface drainage systems, the mountain ridge systems have been a subject of less attention even on the empirical level, despite the fact that their structure is richer. To reduce this deficiency, we analyze different mountain ranges by means of a network approach and grasp some essential features of the ridge branching structure. We also employ a fractal analysis as it is especially suitable for describing properties of rough objects and surfaces. As our approach differs from typical analyses that are carried out in geophysics, we believe that it can initialize a research direction that will allow to shed more light on the processes that are responsible for landscape formation and will contribute to the network theory by indicating a need for the construction of new models of the network growth as no existing model can properly describe the ridge formation. We also believe that certain features of our study can offer help in the cartographic generalization. Specifically, we study structure of the ridge networks based on the empirical elevation data collected by SRTM. We consider mountain ranges from different geological periods and geographical locations. For each mountain range, we construct a simple topographic network representation (the ridge junctions are nodes) and a ridge representation (the ridges are nodes and the junctions are edges) and calculate the parameters characterizing their topology. We observe that the topographic networks inherit the fractal structure of the mountain ranges but do not show any other complex features. In contrast, the ridge networks, while lacking the proper fractality, reveal the power-law degree distributions with the exponent $1.6\le \beta \le 1.7$. By taking into account the fact that the analyzed mountains differ in many properties, these values seem to be universal for the earthly mountainous terrain.


title: The Virtual Ring Shear-Slip Mesh Update Method

abstract: A novel method - the Virtual Ring Shear-Slip Mesh Update Method (VR-SSMUM) - for the efficient and accurate modeling of moving boundary or interface problems in the context of the numerical analysis of fluid flow is presented. We focus on cases with periodic straight-line translation including object entry and exit. The periodic character of the motion is reflected in the method via a mapping of the physical domain onto a closed virtual ring. Therefore, we use an extended mesh, where unneeded portions are deactivated to control the computational overhead. We provide a validation case as well as examples for the applicability of the method to 2D and 3D models of packaging machines.


title: Highly conductive PdCoO2 ultrathin films for transparent electrodes

abstract: We report on the successful synthesis of highly conductive PdCoO2 ultrathin films on Al2O3 (0001) by pulsed laser deposition. The thin films grow along the c-axis of the layered delafossite structure of PdCoO2, corresponding to the alternating stacking of conductive Pd layers and CoO2 octahedra. The thickness-dependent transport measurement reveals that each Pd layer has a homogeneous sheet conductance as high as 5.5 mS in the samples thicker than the critical thickness of 2.1 nm. Even at the critical thickness, high conductivity exceeding 104 Scm-1 is achieved. Optical transmittance spectra exhibit high optical transparency of PdCoO2 thin films particularly in the near-infrared region. The concomitant high values of electrical conductivity and optical transmittance make PdCoO2 ultrathin films as promising transparent electrodes for triangular-lattice-based materials.


title: Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics

abstract: Type-and-effect systems incorporate information about the computational effects, e.g., state mutation, probabilistic choice, or I/O, a program phrase may invoke alongside its return value. A semantics for type-and-effect systems involves a parameterised family of monads whose size is exponential in the number of effects. We derive such refined semantics from a single monad over a category, a choice of algebraic operations for this monad, and a suitable factorisation system over this category. We relate the derived semantics to the original semantics using fibrations for logical relations. Our proof uses a folklore technique for lifting monads with operations.


title: The Web of False Information: Rumors, Fake News, Hoaxes, Clickbait, and Various Other Shenanigans

abstract: A new era of Information Warfare has arrived. Various actors, including state-sponsored ones, are weaponizing information on Online Social Networks to run false information campaigns with targeted manipulation of public opinion on specific topics. These false information campaigns can have dire consequences to the public: mutating their opinions and actions, especially with respect to critical world events like major elections. Evidently, the problem of false information on the Web is a crucial one, and needs increased public awareness, as well as immediate attention from law enforcement agencies, public institutions, and in particular, the research community. In this paper, we make a step in this direction by providing a typology of the Web's false information ecosystem, comprising various types of false information, actors, and their motives. We report a comprehensive overview of existing research on the false information ecosystem by identifying several lines of work: 1) how the public perceives false information; 2) understanding the propagation of false information; 3) detecting and containing false information on the Web; and 4) false information on the political stage. In this work, we pay particular attention to political false information as: 1) it can have dire consequences to the community (e.g., when election results are mutated) and 2) previous work show that this type of false information propagates faster and further when compared to other types of false information. Finally, for each of these lines of work, we report several future research directions that can help us better understand and mitigate the emerging problem of false information dissemination on the Web.


title: Evolving Black Holes in Inflation

abstract: We present an analytic, perturbative solution to the Einstein equations with a scalar field that describes dynamical black holes in a slow-roll inflationary cosmology. We show that the metric evolves quasi-statically through a sequence of Schwarzschild-de Sitter like metrics with time dependent cosmological constant and mass parameters, such that the cosmological constant is instantaneously equal to the value of the scalar potential. The areas of the black hole and cosmological horizons each increase in time as the effective cosmological constant decreases, and the fractional area increase is proportional to the fractional change of the cosmological constant, times a geometrical factor. For black holes ranging in size from much smaller than to comparable to the cosmological horizon, the pre-factor varies from very small to order one. The "mass first law" and the "Schwarzschild-de Sitter patch first law" of thermodynamics are satisfied throughout the evolution.


title: Classical Higgs mechanism in plasma

abstract: It is demonstrated that in high temperature collisionless plasmas the propagation of high-frequency electromagnetic waves is naturally subject to a classical Higgs mechanism which in some cases generates a very small though finite mass on the otherwise massless photons. Though this has no further obvious consequence for any plasma processes, it is very satisfactory because it explains the retardation and cut-off of electromagnetic waves when encountering plasmas. Interestingly, low frequency electromagnetic plasma waves (Alfv\'en waves and whistlers) remain carried by confined massless photons. These just experience the increase in the dielectric constant provided by the plasma in the low frequency range below the cyclotron frequency.


title: Synthesis and magnetic properties of spin-$\frac{3}{2}$ $\gamma$-phase of SrCo$_{2}$(PO$_{4}$)$_{2}$ antiferromagnet

abstract: We report on the synthesis of a new $\gamma$-phase of the spin $S$~=~$\frac{3}{2}$ compound SrCo$_2$(PO$_4$)$_2$ together with a detailed structural, magnetic and thermodynamic properties. The $\gamma$-phase of SrCo$_2$(PO$_4$)$_2$ crystallizes in a triclinic crystal structure with the space group $P\bar{1}$. Susceptibility and specific heat measurements reveal that SrCo$_2$(PO$_4$)$_2$ orders antiferromagnetically below $T_{\rm N}\simeq 8.5$\,K and the nature of ordering is three dimensional (3D). The magnetic isotherm at temperatures below $T_{\rm N}$ shows a field-induced spin-flop transition, related to the magnetocrystalline anisotropy, at an applied field of $\sim$~4.5~Tesla. Remarkably, heat capacity shows magnetic-field-induced transitions at $T_{\rm N1}$ = 3.6 K and $T_{\rm N2}$ = 7.4 K. The magnetic long range ordering (LRO) is also confirmed in both the Knight shift and spin-lattice relaxation rate ($1/T_{1}$) of the $^{31}$P-NMR measurements. However, below the LRO we have not detected any NMR signal due to faster relaxation. We have detected two structurally different phosphorous sites in $\gamma$-phase of SrCo$_{2}$(PO$_{4}$)$_{2}$ and they shift differently with temperature.


title: A mystery of "sluggish diffusion" in high-entropy alloys: the truth or a myth?

abstract: High entropy alloys (HEAs) are considered as a novel class of materials with a large number of components available in nearly equatomic proportions. One of the characteristic properties of HEAs was believed to be so-called "sluggish" diffusion. The faith on this myth instead of rigorous experimental analysis played such a dominant role that the first set of data on interdiffusion, in fact based on an improper analysis, were cited in hundreds of articles to state the presence of sluggishness of diffusion rates in high entropy alloys. In this review, the recent data on atomic diffusion in HEAs are critically discussed. The discussion is focused on tracer diffusion which is already measured dominantly for polycrystalline, but in some cases for single crystalline high-entropy alloys. Alternatively, a rigorous analysis of the interdiffuson experiments, which provide the diffusion rates of chemical species, too, becomes more and more sophisticated for three and more elements in an alloy and it is challenging to derive physically sound quantities from a general multicomponent diffusion experiment. Most promising in this case is the diffusion couple technique, especially the so-called pseudo-binary approach. This approach is analyzed with a focus on the applicability and the possible errors induced if up-hill diffusion appears. It is shown that atomic diffusion in HEAs cannot a priori be considered as sluggish and both atomic interactions as well as correlation effects are responsible for the observed trends. Even if estimated on the same homologous scale, the diffusion retardation induced by a "high entropy" in FCC crystals is not simply proportional to the number of alloying components and it is shown to be similar to that induced by the L12 ordering in a binary system. Furthermore, the importance of cross-correlations in diffusion of different species in HEAs is highlighted.


title: Intersection of unit balls in classical matrix ensembles

abstract: We study the volume of the intersection of two unit balls from one of the classical matrix ensembles GOE, GUE and GSE, as the dimension tends to infinity. This can be regarded as a matrix analogue of a result of Schechtman and Schmuckenschl\"ager for classical $\ell_p$-balls [Schechtman and Schmuckenschl\"ager, GAFA Lecture Notes, 1991]. The proof of our result is based on two ingredients, which are of independent interest. The first one is a weak law of large numbers for a point chosen uniformly at random in the unit ball of such a matrix ensemble. The second one is an explicit computation of the asymptotic volume of such matrix unit balls, which in turn is based on the theory of logarithmic potentials with external fields.


title: Exact asymptotic volume and volume ratio of Schatten unit balls

abstract: The unit ball $B_p^n(\mathbb{R})$ of the finite-dimensional Schatten trace class $\mathcal S_p^n$ consists of all real $n\times n$ matrices $A$ whose singular values $s_1(A),\ldots,s_n(A)$ satisfy $s_1^p(A)+\ldots+s_n^p(A)\leq 1$, where $p>0$. Saint Raymond [Studia Math.\ 80, 63--75, 1984] showed that the limit $$ \lim_{n\to\infty} n^{1/2 + 1/p} \big(\text{Vol}\, B_p^n(\mathbb{R})\big)^{1/n^2} $$ exists in $(0,\infty)$ and provided both lower and upper bounds. In this paper we determine the precise limiting constant based on ideas from the theory of logarithmic potentials with external fields. A similar result is obtained for complex Schatten balls. As an application we compute the precise asymptotic volume ratio of the Schatten $p$-balls, as $n\to\infty$, thereby extending Saint Raymond's estimate in the case of the nuclear norm ($p=1$) to the full regime $1\leq p \leq \infty$ with exact limiting behavior.


title: Black holes by gravitational decoupling

abstract: We investigate how a spherically symmetric fluid modifies the Schwarzschild vacuum solution when there is no exchange of energy-momentum between the fluid and the central source of the Schwarzschild metric. This system is described by means of the gravitational decoupling realised via the minimal geometric deformation approach, which allows us to prove that the fluid must be anisotropic. Several cases are then explicitly shown


title: $L_p +L_q$ and $L_p \cap L_q$ are not isomorphic for all $1 \leq p, q \leq \infty$, $p \neq q$

abstract: We prove that if $1 \leq p, q \leq \infty$, then the spaces $L_p +L_q$ and $L_p \cap L_q$ are isomorphic if and only if $p = q$. In particular, $L_2 +L_{\infty}$ and $L_2 \cap L_{\infty}$ are not isomorphic which is an answer to a question formulated in the paper S. V. Astashkin and L. Maligranda, \textit{$L_p + L_{\infty}$ and $L_p \cap L_{\infty}$ are not isomorphic for all $1 \leq p < \infty, p \neq 2$}, Proc. Amer. Math. Soc. 146 (2018), no. 5, 2181--2194.


title: The RAAGs on the complement graphs of path graphs in mapping class groups

abstract: In this article, we determine the function $\ell(S_{g, p})$ such that the right-angled Artin group $G(P_{m})$ is embedded in the mapping class group $\mathrm{Mod}(S_{g, p})$ if and only if $m$ is not more than $\ell(S_{g, p})$. Using this function and Birman--Hilden theory, we prove that $\mathrm{Mod}(S_{0, p})$ is virtually embedded in $\mathrm{Mod}(S_{g, 0})$ if and only if $p \leq 2g+2$.


title: The Excited Spin State of 1I/2017 U1 `Oumuamua

abstract: We show that `Oumuamua's excited spin could be in a high energy LAM state, which implies that its shape could be far from the highly elongated shape found in previous studies. CLEAN and ANOVA algorithms are used to analyze `Oumuamua's lightcurve using 818 observations over 29.3~days. Two fundamental periodicities are found at frequencies (2.77$\pm$0.11) and (6.42$\pm$0.18)~cycles/day, corresponding to (8.67$\pm$0.34)~h and (3.74$\pm$0.11)~h, respectively. The phased data show that the lightcurve does not repeat in a simple manner, but approximately shows a double minimum at 2.77~cycles/day and a single minimum at 6.42~cycles/day. This is characteristic of an excited spin state. `Oumuamua could be spinning in either the long (LAM) or short (SAM) axis mode. For both, the long axis precesses around the total angular momentum vector with an average period of (8.67$\pm$0.34)~h. For the three LAMs we have found, the possible rotation periods around the long axis are 6.58, 13.15, or 54.48~h, with 54.48~h being the most likely. `Oumuamua may also be nutating with respective periods of half of these values. We have also found two possible SAM states where `Oumuamua oscillates around the long axis with possible periods at 13.15 and 54.48~h, the latter as the most likely. In this case any nutation will occur with the same periods. Determination of the spin state, the amplitude of the nutation, the direction of the TAMV, and the average total spin period may be possible with a direct model fit to the lightcurve. We find that `Oumuamua is "cigar-shaped"', if close to its lowest rotational energy, and an extremely oblate spheroid if close to its highest energy state for its total angular momentum.


title: Simulation of Circular Cylindrical Metasurfaces using GSTC-MoM

abstract: A modeling of circular cylindrical metasurfaces using Method of Moments (MoM) based on Generalized Sheet Transition Conditions (GSTCs) is presented. GSTCs are used to link the integral equations for fields on the inner and outer contour of the cylindrical metasurface. The GSTC-MoM is validated by a case of an anisotropic, gyrotropic metasurface capable of two field transformations. The formulations presented here can be used as a platform for deriving GSTC-MoM for 3D spherical and conformal metasurfaces.