title: Nowcasting the turbulence at the Paranal Observatory

abstract: At Paranal Observatory, the least predictable parameter affecting the short-term scheduling of astronomical observations is the optical turbulence, especially the seeing, coherence time and ground layer fraction. These are critical variables driving the performance of the instruments of the Very Large Telescope (VLT), especially those fed with adaptive optics systems. Currently, the night astronomer does not have a predictive tool to support him/her in decision-making at night. As most service-mode observations at the VLT last less than two hours, it is critical to be able to predict what will happen in this time frame, to avoid time losses due to sudden changes in the turbulence conditions, and also to enable more aggressive scheduling. We therefore investigate here the possibility to forecast the turbulence conditions over the next two hours. We call this "turbulence nowcasting", analogously with weather nowcasting, a term already used in meteorology coming from the contraction of "now" and "forecasting". We present here the results of a study based on historical data of the Paranal Astronomical Site Monitoring combined with ancillary data, in a machine learning framework. We show the strengths and shortcomings of such an approach, and present some perspectives in the context of the Extremely Large Telescope.


title: Revisiting delayed strong detectability of discrete-event systems

abstract: Among notions of detectability for a discrete-event system (DES), strong detectability implies that after a finite number of observations to every output/label sequence generated by the DES, the current state can be uniquely determined. This notion is strong so that by using it the current state can be easily determined. In order to keep the advantage of strong detectability and weaken its disadvantage, we can additionally take some "subsequent outputs" into account in order to determine the current state. Such a modified observation will make some DES that is not strongly detectable become "strongly detectable in a weaker sense", which we call "{\it $K$-delayed strong detectability}" if we observe at least $K$ outputs after the time at which the state need to be determined. In this paper, we study $K$-delayed strong detectability for DESs modeled by finite-state automata (FSAs), and give a polynomial-time verification algorithm by using a novel concurrent-composition method. Note that the algorithm applies to all FSAs. Also by the method, an upper bound for $K$ has been found, and we also obtain polynomial-time verification algorithms for $(k_1,k_2)$-detectability and $(k_1,k_2)$-D-detectability of FSAs firstly studied by [Shu and Lin, 2013]. Our algorithms run in quartic polynomial time and apply to all FSAs, are more effective than the sextic polynomial-time verification algorithms given by [Shu and Lin 2013] based on the usual assumptions of deadlock-freeness and having no unobservable reachable cycle. Finally, we obtain polynomial-time synthesis algorithms for enforcing delayed strong detectability, which are more effective than the exponential-time synthesis algorithms in the supervisory control framework in the literature.


title: Reviving old controversies: is the early Galaxy flat or round? Investigations into the early phases of the Milky Way formation through stellar kinematics and chemical abundances

abstract: We analyse a set of very metal-poor stars for which accurate chemical abundances have been obtained as part of the ESO Large Program "First stars" in the light of the Gaia DR2 data. The kinematics and orbital properties of the stars in the sample show they probably belong to the thick disc, partially heated to halo kinematics, and to the accreted Nissen & Schuster-Gaia Sausage-Enceladus satellite. The continuity of these properties with stars at both higher ($\rm [Fe/H]>-2$) and lower metallicities ($\rm [Fe/H]<-4.$) suggests that the Galaxy at $\rm [Fe/H] \lesssim -0.5$ and down to at least $\rm [Fe/H]\sim-6$ is dominated by these two populations. In particular, we show that the disc extends continuously from $\rm [Fe/H] \le -4$ (where stars with disc-like kinematics have been recently discovered) up to $\rm [Fe/H] \ge -2$, the metallicity regime of the Galactic thick disc. There exists indeed an "ultra-metal poor thick disc", which constitutes the extremely metal-poor tail of the canonical Galactic thick disc, and which extends this latter from $\rm [Fe/H] \sim -0.5$ up to the most metal-poor stars discovered in the Galaxy up to date. These results suggest that the disc may be the main, and possibly the only stellar population that has formed in the Galaxy at these metallicities. This requires that the dissipative collapse that led to the formation of the old Galactic disc must have been extremely fast. We also discuss these results in the light of recent simulation efforts made to reproduce the first stages of Milky Way-type galaxies.


title: On the Topic of Emergence from an Effective Field Theory Perspective

abstract: Effective Field Theories have been used successfully to provide a "bottom-up" description of phenomena whose intrinsic degrees of freedom behave at length scales far different from their effective degrees of freedom. An example is the emergent phenomenon of bound nuclei, whose constituents are neutrons and protons, which in turn are themselves composed of more fundamental particles called quarks and gluons. In going from a fundamental description that utilizes quarks and gluons to an effective field theory description of nuclei, the length scales traversed span at least two orders of magnitude. In this article we provide an Effective Field Theory viewpoint on the topic of emergence, arguing on the side of reductionism and weak emergence. We comment on Anderson's interpretation of constructionism and its connection to strong emergence.


title: A pathway to ultracold bosonic $^{23}\textrm{Na}^{39}\textrm{K}$ ground state molecules

abstract: We spectroscopically investigate a pathway for the conversion of $^{23}\textrm{Na}^{39}\textrm{K}$ Feshbach molecules into rovibronic ground state molecules via STImulated Raman Adiabatic Passage (STIRAP). Using photoassociation spectroscopy from the diatomic scattering threshold in the $a^3\Sigma^+$ potential, we locate the resonantly mixed electronically excited intermediate states $|B^1\Pi, v=8\rangle$ and $|c^3\Sigma^+, v=30\rangle$ which, due to their singlet-triplet admixture, serve as an ideal bridge between predominantly $a^3\Sigma^+$ Feshbach molecules and pure $X^1\Sigma^+$ ground state molecules. We investigate their hyperfine structure and present a simple model to determine the singlet-triplet coupling of these states. Using Autler-Townes spectroscopy, we locate the rovibronic ground state of the $^{23}\textrm{Na}^{39}\textrm{K}$ molecule ($|X^1\Sigma^+, v=0, N=0\rangle$) and the second rotationally excited state $N=2$ to unambiguously identify the ground state. We also extract the effective transition dipole moment from the excited to the ground state. Our investigations result in a fully characterized scheme for the creation of ultracold bosonic $^{23}\textrm{Na}^{39}\textrm{K}$ ground state molecules.


title: Breaking and (Partially) Fixing Provably Secure Onion Routing

abstract: After several years of research on onion routing, Camenisch and Lysyanskaya, in an attempt at rigorous analysis, defined an ideal functionality in the universal composability model, together with properties that protocols have to meet to achieve provable security. A whole family of systems based their security proofs on this work. However, analyzing HORNET and Sphinx, two instances from this family, we show that this proof strategy is broken. We discover a previously unknown vulnerability that breaks anonymity completely, and explain a known one. Both should not exist if privacy is proven correctly. In this work, we analyze and fix the proof strategy used for this family of systems. After proving the efficacy of the ideal functionality, we show how the original properties are flawed and suggest improved, effective properties in their place. Finally, we discover another common mistake in the proofs. We demonstrate how to avoid it by showing our improved properties for one protocol, thus partially fixing the family of provably secure onion routing protocols.


title: Coexistence of type-I and type-II superconductivity in topological superconductor PdTe$_2$

abstract: The type-II Dirac semimetal PdTe2 was recently reported to be a type-I superconductor with a superconducting transition temperature Tc = 1.65 K. However, the recent results from tunneling and point contact spectroscopy suggested the unusual state of a mixture of type-I and type-II superconductivity. These contradictory results mean that there is no clear picture of the superconducting phase diagram and warrants a detailed investigation of the superconducting phase. We report here the muon spin rotation and relaxation ($\mu$SR) measurements on the superconducting state of the topological Dirac semimetal PdTe2. From $\mu$SR measurements, we find that PdTe2 exhibits mixed type-I/type-II superconductivity. Using these results a phase diagram has been determined. In contrast to previous results where local type-II superconductivity persists up to Hc2 = 600 G, we observed that bulk superconductivity is destroyed above 225 G.


title: Chemical-Vapor-Deposited Graphene as a Thermally Conducting Coating

abstract: We performed Scanning Thermal Microscopy measurements on single layers of chemical-vapor-deposited -CVD- graphene supported by different substrates, namely SiO2, Al2O3 and PET using a double-scan technique to remove the contribution to the heat flux through the air and the cantilever. Then, by adopting a simple lumped-elements model, we developed a new method that allows determining, through a multi-step numerical analysis, the equivalent thermal properties of thermally conductive coatings of nanometric thickness. In this specific case we found that our CVD graphene is thermally equivalent, for heat injection perpendicular to the graphene planes, to a coating material of conductivity Keff=2.5+-0.3 mK and thickness teff=3.5+-0.3 nm in perfect contact with the substrate. For the SiO2 substrate, we also measured stacks made of 2 and 4 CVD monolayers and we found that the effective thermal conductivity increases with increasing number of layers and, with a technologically achievable number of layers, is expected to be comparable to that of one order of magnitude-thicker metallic thin films. This study provides a powerful method for characterizing the thermal properties of graphene in view of several thermal management applications.


title: On the Concept of Dynamical Reduction : The Case of Coupled Oscillators

abstract: An overview is given on two representative methods of dynamical reduction known as center-manifold reduction and phase reduction. These theories are presented in a somewhat more unified fashion than the theories in the past. The target systems of reduction are coupled limit-cycle oscillators. Particular emphasis is placed on the remarkable structural similarity existing between these theories. While the two basic principles, i.e. (i) reduction of dynamical degrees of freedom and (ii) transformation of reduced evolution equation to a canonical form, are shared commonly by reduction methods in general, it is shown how these principles are incorporated into the above two reduction theories in a coherent manner. Regarding the phase reduction, a new formulation of perturbative expansion is presented for discrete populations of oscillators. The style of description is intended to be so informal that one may digest, without being bothered with technicalities, what has been done after all under the word reduction.


title: Revisiting the quantum field theory of neutrino oscillations in vacuum

abstract: We consider neutrino oscillations in vacuum in the framework of quantum field theory in which neutrino production and detection processes are part of a single Feynman diagram and the corresponding cross section is computed in the standard way, i.e. with final states represented by plane waves. We use assumptions which are realized in actual experiments and concentrate on the detection process. Moreover, we also allow for a finite time interval of length $\tau$ during which the detector records neutrino events. In this context we are motivated by accelerator-neutrino oscillation experiments where data taking is synchronized in time with the proton spill time of the accelerator. Given the final momenta and the direction of neutrino propagation, we find that in the oscillation amplitude---for all practical purposes---the neutrino energy $Q$ is fixed, apart from an interval of order $2\pi\hbar/\tau$ around a mean energy $\bar Q$; this is an expression of energy non-conservation or the time-energy uncertainty relation in the detection process due to $\tau < \infty$. We derive in excellent approximation that in the amplitude the oscillation effect originates from massive neutrinos with the same energy $\bar Q$, i.e. oscillations take place in space without any decoherece effect, while the remaining integration over $Q$ in the interval of order $2\pi\hbar/\tau$ around $\bar Q$ results in a time-correlation function expressing the time delay between neutrino production and detection.


title: Aromatic molecular junctions between graphene sheets: a molecular dynamics screening for enhanced thermal conductance

abstract: The proper design and synthesis of molecular junctions for the purpose of establishing percolative networks of conductive nanoparticles represent an opportunity to develop more efficient thermally-conductive nanocomposites, with several potential applications in heat management. In this work, theoretical classical molecular dynamics simulations were conducted to design and evaluate thermal conductance of various molecules serving as thermal bridges between graphene nanosheets. A wide range of molecular junctions was studied, with a focus on the chemical structures that are viable to synthesize at laboratory scale. Thermal conductances were correlated with the length and mechanical stiffness of the chemical junctions. The simulated tensile deformation of the molecular junction revealed that the mechanical response is very sensitive to small differences in the chemical structure. The analysis of the vibrational density of states provided insights into the interfacial vibrational properties. A knowledgedriven design of the molecular junction structures is proposed, aiming at controlling interfacial thermal transport in nanomaterials. This approach may allow for the design of more efficient heat management in nanodevices, including flexible heat spreaders, bulk heat exchangers and heat storage devices.


title: Laser-produced magnetic-Rayleigh-Taylor unstable plasma slabs in a 20 T magnetic field

abstract: Magnetized laser-produced plasmas are central to many novel laboratory astrophysics and inertial confinement fusion studies, as well as in industrial applications. Here we provide the first complete description of the three-dimensional dynamics of a laser-driven plasma plume expanding in a 20 T transverse magnetic field. The plasma is collimated by the magnetic field into a slender, rapidly elongating slab, whose plasma-vacuum interface is unstable to the growth of the "classical", fluid-like magnetized Rayleigh-Taylor instability.


title: Large-scale dynamics of winds originated from black hole accretion flows: (II) Magnetohydrodynamics

abstract: Winds from black hole accretion disks are essential ingredients in understanding the coevolution between the supermassive black hole and its host galaxy. The great difference of dynamical ranges from small-scale accretion disk simulations to large-scale or cosmological simulations places barriers to track wind kinematics. In the first paper of this series, we have studied the dynamics of disk winds from the outer edge of the accretion disk toward galaxy scales in the hydrodynamical framework. In this paper, we further incorporate magnetic fields to understand the wind dynamics by adopting one-dimensional magnetohydrodynamical (MHD) model, with boundary conditions set for hot accretion flows. The geometry of poloidal magnetic field is prescribed as a straight line with an angle $\theta=45^\circ$ from the rotational axis, and the strength satisfies the divergence free condition. The wind solution is achieved through requesting gas to pass through the slow, Alfv\'{e}n and fast magneto-sonic points smoothly. Physical quantities are found to show a power-law dependence on cylindrical radius $R$ beyond the fast magneto-sonic point, for which $\rho \propto R^{-2}, v_{\rm p}\propto {\rm const.}, v_{\rm \phi}\propto R^{-1}, B_{\rm \phi}\propto R^{-1},$ and $ \beta \propto \rho^{\gamma-1}$. The magnetization of wind is dominant in determining the wind properties. The wind is accelerated to a greater terminal velocity with strong magnetization ($v_{\rm Ap0}>1$) compared to the hydrodynamical case, which the magnetic pressure gradient dominates and the centrifugal potential converts to the kinetic energy. The dependance of wind physical quantities on magnetization, temperature, field line angular velocity, and adiabatic index is also discussed.


title: Ultralow lattice thermal conductivity of monolayer penta-silicene and penta-germanene

abstract: We study the lattice thermal conductivity of two-dimensional (2D) pentagonal systems, such as penta-silicene and penta-germanene. Penta-silicene has been recently reported, while the stable penta-germanene, belonging to the same group IV element, is revealed firstly by our ab initio calculations. We find that both penta-silicene and penta-germanene at room temperature have ultralow lattice thermal conductivities $\kappa$ of 1.29 W/mK and 0.30 W/mK respectively. To the best of our knowledge, penta-germanene may have the lowest $\kappa$ in 2D crystal materials. We attribute ultralow $\kappa$ to the weak phonon harmonic interaction and strong anharmonic scattering. A small phonon group velocity, a small Debye frequency, a large Gruneisen parameter, and a large number of modes available for phonon-phonon interplay together lead to the ultralow $\kappa$ of penta-silicene and penta-germanene. These discoveries provide new insight into the manipulation of ultralow $\kappa$ in 2D materials and highlight the potential applications of designing silicon and germanium based high thermoelectric materials.


title: Classification of irreducible modules for Bershadsky-Polyakov algebra at certain levels

abstract: We study the representation theory of the Bershadsky-Polyakov algebra $\mathcal W_k = \mathcal{W}_k(sl_3,f_{\theta})$. In particular, Zhu algebra of $\mathcal W_k$ is isomorphic to a certain quotient of the Smith algebra, after changing the Virasoro vector. We classify all modules in the category $\mathcal{O}$ for the Bershadsky-Polyakov algebra $\mathcal W_k$ when $k=-5/3, -9/4, -1,0$. In the case $k=0$ we show that the Zhu algebra $A(\mathcal W_k)$ has $2$--dimensional indecomposable modules.


title: Role of chiral symmetry in the nucleon excitation spectrum

abstract: The origin of the low-lying nature of the $N$*(1440), or Roper resonance, has been the subject of significant interest for many years, including several investigations using lattice QCD. The majority of lattice studies have not observed a low-lying excited state energy level in the region of the Roper resonance. However, it has been claimed that chiral symmetry could play an important role in our understanding of this resonance. The purpose of this study is to systematically examine the role of chiral symmetry in the low-lying nucleon spectrum by directly comparing the clover and overlap fermion actions. To ensure any differences in results are attributable to the choice of fermion action, simulations are performed on the same set of gauge field configurations at matched pion masses. Correlation matrix techniques are employed to determine the excitation energy of the first positive-parity excited state for each action. The clover and overlap actions show a remarkable level of agreement. We do not find any evidence that fermion action chiral symmetry plays a significant role in understanding the Roper resonance on the lattice.


title: The equi-affine curvatures of curves in 3-dimensional pseudo-Riemannian manifolds

abstract: In this paper, the Cartan frames and the equi-affine curvatures are described with the help of the Frenet frames and the Frenet curvatures of a non-null and non-degenerate curve in a 3-dimensional pseudo-Riemannian manifold. The constancy of the Frenet curvatures of such a curve always implies the constancy of the equi-affine curvatures. We show that the converse statement does not hold in general. Finally, we study the equi-affine curvatures of null curves in 3-dimensional Lorentzian manifolds, and prove that they are related to their pseudo-torsion.


title: Forgotten @ Scale: A Practical Solution for Implementing the Right To Be Forgotten in Large-Scale Systems

abstract: The European General Data Protection Regulation asserts data subjects' right to be forgotten, i.e., their right to request that all their personal data be deleted from an organizations' data stores. However, fulfilling such requests in large-scale systems is technically challenging. It requires that organizations keep track of all locations in which an individual's data is stored, be able to access and delete it in a reasonable time frame, and be able to prove that all such data was in fact deleted. In addition, organizations must cope with complexities such as multiple, distributed, and continuously evolving systems of record, complex data retention policies and deletion approval workflows. We present a first design pattern and practical implementation of the right to be forgotten on a large scale in Big Data and cloud environments.


title: Quantum transfer through a continuum under continuous monitoring

abstract: In this work we extend our previous studies on the quantum transfer of a particle through a finite-bandwidth continuum under frequent detections, by replacing the assumed frequent measurements with a genuine continuous monitoring by a point-contact detector. We present a quantitative comparison between the two types of measurement. We also propose possible measurements, based on the state-of-the-art experiments, to test the `scaling' property between the measurement rate and the bandwidth of the reservoir, rooted in the transfer dynamics under continuous monitoring.


title: A Note on Convex Realization of Halohedron

abstract: In the recent works [arXiv:1803.05809],[arXiv: 1806.01842], Halohedron emerged as amplituhedron for 1-loop planar diagrams in bi-adjoint massless $\phi^3$ theory. Halohedron is a specific case of graph cubeahedron where the considered graph is a cycle-graph. In [arXiv: 1906.06861],[arXiv: 1501.07152], the authors provide construction of any graph cubeahedron and we use this construction to find the polytopal realization of Halohedron. We show that the Halohedron we obtain is equivalent to the proposed realization of Halohedron in `Big Kinematic Space'[arXiv: 1806.01842].


title: Topologically enhanced time crystals and molecular knots

abstract: A time crystal is a time dependent physical system that does not reach a standstill, even in state of minimum energy. Here we show that the stability of a time crystal can be enhanced by its topology. For this we simulate time crystals made of chainlike ensembles of mutually interacting point particles. When we tie the chain into a knot we find that its timecrystalline qualities improve. The theoretical models we consider are widely used in coarse grained descriptions of linear polymers. Thus we expect that physical realizations of time crystals can be found in terms of knotted molecules.


title: Complex multiplication in twistor spaces

abstract: Despite the transcendental nature of the twistor construction, the algebraic fibres of the twistor space of a K3 surface share certain arithmetic properties. We prove that for a polarized K3 surface with complex multiplication, all algebraic fibres of its twistor space away from the equator have complex multiplication as well.


title: Green Operators in Low Regularity Spacetimes and Quantum Field Theory

abstract: In this paper we develop the mathematics required in order to provide a description of the observables for quantum fields on low-regularity spacetimes. In particular we consider the case of a massless scalar field $\phi$ on a globally hyperbolic spacetime $M$ with $C^{1,1}$ metric $g$. This first entails showing that the (classical) Cauchy problem for the wave equation is well-posed for initial data and sources in Sobolev spaces and then constructing low-regularity advanced and retarded Green operators as maps between suitable function spaces. In specifying the relevant function spaces we need to control the norms of both $\phi$ and $\square_g\phi$ in order to ensure that $\square_g \circ G^\pm$ and $G^\pm \circ \square_g$ are the identity maps on those spaces. The causal propagator $G=G^+-G^-$ is then used to define a symplectic form $\omega$ on a normed space $V(M)$ which is shown to be isomorphic to $\ker \square_g$. This enables one to provide a locally covariant description of the quantum fields in terms of the elements of quasi-local $C^*$-algebras.


title: Sim2real gap is non-monotonic with robot complexity for morphology-in-the-loop flapping wing design

abstract: Morphology of a robot design is important to its ability to achieve a stated goal and therefore applying machine learning approaches that incorporate morphology in the design space can provide scope for significant advantage. Our study is set in a domain known to be reliant on morphology: flapping wing flight. We developed a parameterised morphology design space that draws features from biological exemplars and apply automated design to produce a set of high performance robot morphologies in simulation. By performing sim2real transfer on a selection, for the first time we measure the shape of the reality gap for variations in design complexity. We found for the flapping wing that the reality gap changes non-monotonically with complexity, suggesting that certain morphology details narrow the gap more than others, and that such details could be identified and further optimised in a future end-to-end automated morphology design process.


title: On the Quantum-Optical Nature of High Harmonic Generation

abstract: High harmonic generation (HHG) is an extremely nonlinear effect, where a medium is driven by a strong laser field, generating coherent broadband radiation with photon energies ranging up to the X-ray and pulse durations reaching attosecond timescales. Conventional models of HHG treat the medium quantum mechanically, while the driving and emitted fields are treated classically. Such models are usually very successful, but inherently cannot capture the quantum-optical nature of the process. Despite prior works considering quantum HHG, it is still not known in what circumstances the spectral and statistical properties of the radiation considerably depart from the known phenomenology of HHG. Finding such regimes in HHG could lead to novel sources of attosecond light with intrinsically quantum statistics such as squeezing and entanglement. In this work, we present a fully quantum electrodynamical theory of extreme nonlinear optics with which we predict new quantum effects that alter both spectral and statistical properties of HHG. We predict the emission of shifted frequency combs resulting from transitions between perturbed states of the driven atom, and identify new spectral features that arise from the breakdown of the dipole approximation for the emission. Moreover, we find that each HHG emitted photon is a superposition of all frequencies in the spectrum - e.g., HHG creates single photon combs. We also describe how the HHG process changes in the single atom regime, and discuss how our various predictions can be tested experimentally. Our approach is also applicable to a wide range of nonlinear optical processes, paving the way toward novel quantum information techniques in the EUV and X-ray, and in ultrafast quantum optics.


title: Multigrid methods for block-Toeplitz linear systems: convergence analysis and applications

abstract: In the past decades, multigrid methods for linear systems having multilevel Toeplitz coefficient matrices with scalar entries have been largely studied. On the other hand, only few papers have investigated the case of block entries, where the entries are small generic matrices instead of scalars. In that case the efforts of the researchers have been mainly devoted to specific applications, focusing on algorithmic proposals but with very marginal theoretical results. In this paper, we propose a general two-grid convergence analysis proving an optimal convergence rate independent of the matrix size, in the case of positive definite block Toeplitz matrices with generic blocks. In particular, the proof of the approximation property has not a straightforward generalization of the scalar case and in fact we have to require a specific commutativity condition on the block symbol of the grid transfer operator. Furthermore, we define a class of grid transfer operators satisfying the previous theoretical conditions and we propose a strategy to insure fast multigrid convergence even for more than two grids. Among the numerous applications that lead to the block Toeplitz structure, high order Lagrangian finite element methods and staggered discontinuous Galerkin methods are considered in the numerical results, confirming the effectiveness of our proposal and the correctness of the proposed theoretical analysis.


title: Time to Take Emoji Seriously: They Vastly Improve Casual Conversational Models

abstract: Graphical emoji are ubiquitous in modern-day online conversations. So is a single thumbs-up emoji able to signify an agreement, without any words. We argue that the current state-of-the-art systems are ill-equipped to correctly interpret these emoji, especially in a conversational context. However, in a casual context, the benefits might be high: a better understanding of users' utterances and more natural, emoji-rich responses. With this in mind, we modify BERT to fully support emoji, both from the Unicode Standard and custom emoji. This modified BERT is then trained on a corpus of question-answer (QA) tuples with a high number of emoji, where we're able to increase the 1-of-100 accuracy from 12.7% for the current state-of-the-art to 17.8% for our model with emoji support.


title: Let Me Know What to Ask: Interrogative-Word-Aware Question Generation

abstract: Question Generation (QG) is a Natural Language Processing (NLP) task that aids advances in Question Answering (QA) and conversational assistants. Existing models focus on generating a question based on a text and possibly the answer to the generated question. They need to determine the type of interrogative word to be generated while having to pay attention to the grammar and vocabulary of the question. In this work, we propose Interrogative-Word-Aware Question Generation (IWAQG), a pipelined system composed of two modules: an interrogative word classifier and a QG model. The first module predicts the interrogative word that is provided to the second module to create the question. Owing to an increased recall of deciding the interrogative words to be used for the generated questions, the proposed model achieves new state-of-the-art results on the task of QG in SQuAD, improving from 46.58 to 47.69 in BLEU-1, 17.55 to 18.53 in BLEU-4, 21.24 to 22.33 in METEOR, and from 44.53 to 46.94 in ROUGE-L.


title: Machine Learning for Geometrically-Consistent Angular Spread Function Estimation in Massive MIMO

abstract: In the spatial channel models used in multi-antenna wireless communications, the propagation from a single-antenna transmitter (e.g., a user) to an M-antenna receiver (e.g., a Base Station) occurs through scattering clusters located in the far field of the receiving antenna array. The Angular Spread Function (ASF) of the corresponding M-dim channel vector describes the angular density of the received signal power at the array. The modern literature on massive MIMO has recognized that the knowledge of covariance matrix of user channel vectors is very useful for various applications such as hybrid digital analog beamforming, pilot decontamination, etc. Therefore, most literature has focused on the estimation of such channel covariance matrices. However, in some applications such as uplink-downlink covariance transformation (for FDD massive MIMO precoding) and channel sounding some form of ASF estimation is required either implicitly or explicitly. It turns out that while covariance estimation is well-known and well-conditioned, the ASF estimation is a much harder problem and is in general ill-posed. In this paper, we show that under additional geometrically-consistent group-sparsity structure on the ASF, which is prevalent in almost all wireless propagation scenarios, one is able to estimate ASF properly. We propose sparse dictionary-based algorithms that promote this group-sparsity structure via suitable regularizations. Since generally it is difficult to capture the notion of group-sparsity through proper regularization, we propose another algorithm based on Deep Neural Networks (DNNs) that learns this structure. We provide numerical simulations to assess the performance of our proposed algorithms. We also compare the results with that of other methods in the literature, where we re-frame those methods in the context of ASF estimation in massive MIMO.


title: Deep Learning vs. Traditional Computer Vision

abstract: Deep Learning has pushed the limits of what was possible in the domain of Digital Image Processing. However, that is not to say that the traditional computer vision techniques which had been undergoing progressive development in years prior to the rise of DL have become obsolete. This paper will analyse the benefits and drawbacks of each approach. The aim of this paper is to promote a discussion on whether knowledge of classical computer vision techniques should be maintained. The paper will also explore how the two sides of computer vision can be combined. Several recent hybrid methodologies are reviewed which have demonstrated the ability to improve computer vision performance and to tackle problems not suited to Deep Learning. For example, combining traditional computer vision techniques with Deep Learning has been popular in emerging domains such as Panoramic Vision and 3D vision for which Deep Learning models have not yet been fully optimised


title: Matrix Poincar\'e inequalities and concentration

abstract: We show that any probability measure satisfying a Matrix Poincar\'e inequality with respect to some reversible Markov generator satisfies an exponential matrix concentration inequality depending on the associated matrix carr\'e du champ operator. This extends to the matrix setting a classical phenomenon in the scalar case. Moreover, the proof gives rise to new matrix trace inequalities which could be of independent interest. We then apply this general fact by establishing matrix Poincar\'{e} inequalities to derive matrix concentration inequalities for Gaussian measures, product measures and for Strong Rayleigh measures. The latter represents the first instance of matrix concentration for general matrix functions of negatively dependent random variables.


title: An adaptive discretization method solving semi-infinite optimization problems with quadratic rate of convergence

abstract: Semi-infinite programming can be used to model a large variety of complex optimization problems. The simple description of such problems comes at a price: semi-infinite problems are often harder to solve than finite nonlinear problems. In this paper we combine a classical adaptive discretization method developed by Blankenship and Falk and techniques regarding a semi-infinite optimization problem as a bi-level optimization problem. We develop a new adaptive discretization method which combines the advantages of both techniques and exhibits a quadratic rate of convergence. We further show that a limit of the iterates is a stationary point, if the iterates are stationary points of the approximate problems.


title: Multimodal Learning For Classroom Activity Detection

abstract: Classroom activity detection (CAD) focuses on accurately classifying whether the teacher or student is speaking and recording both the length of individual utterances during a class. A CAD solution helps teachers get instant feedback on their pedagogical instructions. This greatly improves educators' teaching skills and hence leads to students' achievement. However, CAD is very challenging because (1) the CAD model needs to be generalized well enough for different teachers and students; (2) data from both vocal and language modalities has to be wisely fused so that they can be complementary; and (3) the solution shouldn't heavily rely on additional recording device. In this paper, we address the above challenges by using a novel attention based neural framework. Our framework not only extracts both speech and language information, but utilizes attention mechanism to capture long-term semantic dependence. Our framework is device-free and is able to take any classroom recording as input. The proposed CAD learning framework is evaluated in two real-world education applications. The experimental results demonstrate the benefits of our approach on learning attention based neural network from classroom data with different modalities, and show our approach is able to outperform state-of-the-art baselines in terms of various evaluation metrics.


title: Rational Kernels: A survey

abstract: Many kinds of data are naturally amenable to being treated as sequences. An example is text data, where a text may be seen as a sequence of words. Another example is clickstream data, where a data instance is a sequence of clicks made by a visitor to a website. This is also common for data originating in the domains of speech processing and computational biology. Using such data with statistical learning techniques can often prove to be cumbersome since most of them only allow fixed-length feature vectors as input. In casting the data to fixed-length feature vectors to suit these techniques, we lose the convenience, and possibly information, a good sequence-based representation can offer. The framework of rational kernels partly addresses this problem by providing an elegant representation for sequences, for algorithms that use kernel functions. In this report, we take a comprehensive look at this framework, its various extensions and applications. We start with an overview of the core ideas, where we look at the characterization of rational kernels, and then extend our discussion to extensions, applications and use at scale. Rational kernels represent a family of kernels, and thus, learning an appropriate rational kernel instead of picking one, suggests a convenient way to use them; we explore this idea in our concluding section. Rational kernels are not as popular as the many other learning techniques in use today; however, we hope that this summary effectively shows that not only is their theory well-developed, but also that various practical aspects have been carefully studied over time.


title: Indian EmoSpeech Command Dataset: A dataset for emotion based speech recognition in the wild

abstract: Speech emotion analysis is an important task which further enables several application use cases. The non-verbal sounds within speech utterances also play a pivotal role in emotion analysis in speech. Due to the widespread use of smartphones, it becomes viable to analyze speech commands captured using microphones for emotion understanding by utilizing on-device machine learning models. The non-verbal information includes the environment background sounds describing the type of surroundings, current situation and activities being performed. In this work, we consider both verbal (speech commands) and non-verbal sounds (background noises) within an utterance for emotion analysis in real-life scenarios. We create an indigenous dataset for this task namely "Indian EmoSpeech Command Dataset". It contains keywords with diverse emotions and background sounds, presented to explore new challenges in audio analysis. We exhaustively compare with various baseline models for emotion analysis on speech commands on several performance metrics. We demonstrate that we achieve a significant average gain of 3.3% in top-one score over a subset of speech command dataset for keyword spotting.


title: The friction of tilted skates on ice

abstract: The friction felt by a speed skater is calculated as function of the velocity and tilt angle of the skate. This calculation is an extension of the more common theory of friction of upright skates. Not only in rounding a curve the skate has to be tilted, but also in straightforward skating small tilt angles occur, which turn out to be of noticeable influence on the friction. As for the upright skate the friction remains fairly insensitive of the velocities occurring in speed skating.


title: Rank-size law, financial inequality indices and gain concentrations by cyclist teams. The case of a multiple stage bicycle race, like Tour de France

abstract: This note examines financial distributions to competing teams at the end of the most famous multiple stage professional (male) bicyclist race, TOUR DE FRANCE. A rank-size law (RSL) is calculated for the team financial gains. The RSL is found to be hyperbolic with a surprisingly simple decay exponent (about equal to -1). Yet, the financial gain distributions unexpectedly do not obey Pareto principle of factor sparsity. Next, several (8) inequality indices are considered : the Entropy, the Hirschman-Herfindahl, Theil, Pietra-Hoover, Gini, Rosenbluth indices, the Coefficient of Variation and the Concentration Index are calculated for outlining diversity measures. The connection between such indices and their concentration aspects meanings are presented as support of the RSL findings. The results emphasize that the sum of skills and team strategies are effectively contributing to the financial gains distributions. From theoretical and practical points of view, the findings suggest that one should investigate other "long multiple stage races" and rewarding rules. Indeed, money prize rules coupling to stage difficulty might influence and maybe enhance (or deteriorate) purely sportive aspects in group competitions. Due to the delay in the peer review process, the 2019 results can be examined. They are discussed in an Appendix; the value of the exponent (-1.2) is pointed out to mainly originating from the so called "king effect"; the tail of the RSL rather looks like an exponential.


title: Quantum Optical Experiments Modeled by Long Short-Term Memory

abstract: We demonstrate how machine learning is able to model experiments in quantum physics. Quantum entanglement is a cornerstone for upcoming quantum technologies such as quantum computation and quantum cryptography. Of particular interest are complex quantum states with more than two particles and a large number of entangled quantum levels. Given such a multiparticle high-dimensional quantum state, it is usually impossible to reconstruct an experimental setup that produces it. To search for interesting experiments, one thus has to randomly create millions of setups on a computer and calculate the respective output states. In this work, we show that machine learning models can provide significant improvement over random search. We demonstrate that a long short-term memory (LSTM) neural network can successfully learn to model quantum experiments by correctly predicting output state characteristics for given setups without the necessity of computing the states themselves. This approach not only allows for faster search but is also an essential step towards automated design of multiparticle high-dimensional quantum experiments using generative machine learning models.


title: Infinity-Laplacians on Scalar- and Vector-Valued Functions and Optimal Lipschitz Extensions on Graphs

abstract: Extending functions from boundary values plays an important role in various applications. In this thesis we consider discrete and continuous formulations of the problem based on $p$-Laplacians, in particular for $p=\infty$ and tight Lipschitz extensions. The thesis gives an overview of the existing theory and provides some novel results on the approximation of tight Lipschitz extensions for vector-valued functions.


title: Unsupervised Representation Learning with Future Observation Prediction for Speech Emotion Recognition

abstract: Prior works on speech emotion recognition utilize various unsupervised learning approaches to deal with low-resource samples. However, these methods pay less attention to modeling the long-term dynamic dependency, which is important for speech emotion recognition. To deal with this problem, this paper combines the unsupervised representation learning strategy -- Future Observation Prediction (FOP), with transfer learning approaches (such as Fine-tuning and Hypercolumns). To verify the effectiveness of the proposed method, we conduct experiments on the IEMOCAP database. Experimental results demonstrate that our method is superior to currently advanced unsupervised learning strategies.


title: Domain adversarial learning for emotion recognition

abstract: In practical applications for emotion recognition, users do not always exist in the training corpus. The mismatch between training speakers and testing speakers affects the performance of the trained model. To deal with this problem, we need our model to focus on emotion-related information, while ignoring the difference between speaker identities. In this paper, we look into the use of the domain adversarial neural network (DANN) to extract a common representation between different speakers. The primary task is to predict emotion labels. The secondary task is to learn a common representation where speaker identities can not be distinguished. By using the gradient reversal layer, the gradients coming from the secondary task are used to bring the representations for different speakers closer. To verify the effectiveness of the proposed method, we conduct experiments on the IEMOCAP database. Experimental results demonstrate that the proposed framework shows an absolute improvement of 3.48% over state-of-the-art strategies.


title: A review of anomalous resonance, its associated cloaking, and superlensing

abstract: We review a selected history of anomalous resonance, cloaking due to anomalous resonance, cloaking due to complementary media, and superlensing.


title: Crossings over permutations avoiding some pairs of patterns of length three

abstract: In this paper, we compute the distributions of the statistic number of crossings over permutations avoiding one of the pairs $\{321,231\}$, $\{123,132\}$ and $\{123,213\}$. The obtained results are new combinatorial interpretations of two known triangles in terms of restricted permutations statistic. For other pairs of patterns of length three, we find relationships between the polynomial distributions of the crossings over permutations that avoid the pairs containing the pattern 231 on the first hand and the pattern 312 on the other hand.


title: A Matrix-Less Method to Approximate the Spectrum and the Spectral Function of Toeplitz Matrices with Complex Eigenvalues

abstract: It is known that the generating function $f$ of a sequence of Toeplitz matrices $\{T_n(f)\}_n$ may not describe the asymptotic distribution of the eigenvalues of $T_n(f)$ if $f$ is not real. In a recent paper, we assume as a working hypothesis that, if the eigenvalues of $T_n(f)$ are real for all $n$, then they admit an asymptotic expansion where the first function $g$ appearing in this expansion is real and describes the asymptotic distribution of the eigenvalues of $T_n(f)$. In this paper we extend this idea to Toeplitz matrices with complex eigenvalues. The paper is predominantly a numerical exploration of different typical cases, and presents several avenues of possible future research.


title: Reply to "Comment on Comment on Linear confinement of a scalar particle in a G\"{o}del-type space-time"

abstract: A hypothetical energy quantization condition is imposed in [1] (Francisco A. Cruz Neto {\it et al.}, arXiv : 1910.11701 [gr-qc]) in order to show consistent of the result with those in [2] but fail or unable to show consistency with those in [3].


title: New methodology based on energy flux similarity for large-eddy simulation of transitional and turbulent flows

abstract: A new methodology based on energy flux similarity is suggested in this paper for large eddy simulation (LES) of transitional and turbulent flows. Existing knowledge reveals that the energy cascade generally exists in transitional and turbulent flows with different distributions, and the characteristic quantity of scale interaction in energy cascade processes is energy flux. Therefore, energy flux similarity is selected as the basic criterion to secure the flow field getting from LES highly similar to the real flow field. Through a priori tests, we find that the energy flux from the tensor-diffusivity (TD) model has high similarity with the real energy flux. Then, we modify the modelled energy flux from the TD model and obtain uniform formulas of energy flux similarity corresponding to different filter widths and locations in the wall-bounded turbulence. To secure the robustness of simulation and the LES results similar to the real flow, we apply the energy flux similarity method (EFSM) to the Smagorinsky model in the LES of compressible turbulent channel flow, compressible flat-plate flow, and flow over a compressible ramp. The a posteriori tests show that, overall, EFSM can better predict these flows than other subgrid-scale models. In the simulation of turbulent channel flow, EFSM can accurately predict the mean stream-wise velocity, Reynolds stress, and affluent coherent structures. In LES of compressible flat-plate flow, EFSM could provide accurate simulation results of the onset of transition and transition peak, skin friction, and mean stream-wise velocity in cases with three different grid scales. Meanwhile, for flow over a compressible ramp, EFSM could correctly describe the process of bypass transition, locations of separation and reattachment in the corner region, and abundant coherent vortex structures, etc.


title: Hamiltonian flow equations for a Dirac particle in large scalar and vector potentials

abstract: An efficient solution of the Dirac Hamiltonian flow equations has been proposed through a novel expandsion with the inverse of the Dirac effective mass. The efficiency and accuracy of this new expansion have been demonstrated by reducing a radial Dirac Hamiltonian with large scalar and vector potentials to two nonrelativistic Hamiltonians corresponding to particles and antiparticles, respectively. By solving the two nonrelativistic Hamiltonians, it is found that the exact solutions of the Dirac equation, for both particles and antiparticles, can be reproduced with a high accuracy up to only a few lowest order terms in the expansion. This could help compare and bridge the relativistic and nonrelativistic nuclear energy density functional theories in the future.


title: Prospects for testing the inverse-square law and gravitomagnetism using quantum interference

abstract: We examine a simple tabletop experimental setup for probing the inverse-square law of gravity and detecting eventual deviations therefrom. The nature of the setup allows indeed to effectively reach for shorter distances compared to what is allowed by other methods. Furthermore, we show that the same setup could also in principle be used to probe the interaction between gravitomagnetism and the intrinsic angular spin of quantum particles. Moreover, we show that the setup allows to have a gravitationally induced harmonic oscillator, introducing thus the possibility of studying in a novel way the interaction between gravity and quantum particles.


title: A sufficient condition for local nonnegativity

abstract: A real polynomial $f$ is called local nonnegative at a point $p$, if it is nonnegative in a neighbourhood of $p$. In this paper, a sufficient condition for determining this property is constructed. Newton's principal part of $f$ (denoted as $f_N$) plays a key role in this process. We proved that if every $F$-face, $(f_N)_F$, of $f_N$ is strictly positive over $(\mathbb{R}\setminus 0)^n$, then $f$ is local nonnegative at the origin $O$.


title: Rationality of Fano threefolds of degree 18 over nonclosed fields

abstract: We study unirationality and rationality of Fano threefolds of degree 18 over nonclosed fields.


title: A Numerical Investigation of the Minimum Width of a Neural Network

abstract: Neural network width and depth are fundamental aspects of network topology. Universal approximation theorems provide that with increasing width or depth, there exists a neural network that approximates a function arbitrarily well. These theorems assume requirements, such as infinite data, that must be discretized in practice. Through numerical experiments, we seek to test the lower bounds established by Hanin in 2017.


title: A new laser-ranged satellite for General Relativity and space geodesy: I. An introduction to the LARES2 space experiment

abstract: We introduce the LARES 2 space experiment recently approved by the Italian Space Agency (ASI). The LARES 2 satellite is planned for launch in 2019 with the new VEGA C launch vehicle of ASI, ESA and ELV. The orbital analysis of LARES 2 experiment will be carried out by our international science team of experts in General Relativity, theoretical physics, space geodesy and aerospace engineering. The main objectives of the LARES 2 experiment are gravitational and fundamental physics, including accurate measurements of General Relativity, in particular a test of frame-dragging aimed at achieving an accuracy of a few parts in a thousand, i.e., aimed at improving by about an order of magnitude the present state-of-the-art and forthcoming tests of this general relativistic phenomenon. LARES 2 will also achieve determinations in space geodesy. LARES 2 is an improved version of the LAGEOS 3 experiment, proposed in 1984 to measure frame-dragging and analyzed in 1989 by a joint ASI and NASA study.


title: How Coupled are Mass Spectrometry and Capillary Electrophoresis?

abstract: The understanding of how science works can contribute to making scientific development more effective. In this paper, we report an analysis of the organization and interconnection between two important issues in chemistry, namely mass spectrometry (MS) and capillary electrophoresis (CE). For that purpose, we employed science of science techniques based on complex networks. More specifically, we considered a citation network in which the nodes and connections represent papers and citations, respectively. Interesting results were found, including a good separation between some clusters of articles devoted to instrumentation techniques and applications. However, the papers that describe CE-MS did not lead to a well-defined cluster. In order to better understand the organization of the citation network, we considered a multi-scale analysis, in which we used the information regarding sub-clusters. Firstly, we analyzed the sub-cluster of the first article devoted to the coupling between CE and MS, which was found to be a good representation of its sub-cluster. The second analysis was about the sub-cluster of a seminal paper known to be the first that dealt with proteins by using CE-MS. By considering the proposed methodologies, our paper paves the way for researchers working with both techniques, since it elucidates the knowledge organization and can therefore lead to better literature reviews.


title: Local cohomology on a subexceptional series of representations

abstract: We consider a series of four subexceptional representations coming from the third line of the Freudenthal-Tits magic square; using Bourbaki notation, these are fundamental representations $(G',X)$ corresponding to $(C_3, \omega_3),\, (A_5, \omega_3), \, (D_6, \omega_5)$ and $(E_7, \omega_6)$. In each of these four cases, the group $G=G'\times \mathbb{C}^*$ acts on $X$ with five orbits, and many invariants display a uniform behavior, e.g. dimension of orbits, their defining ideals and the character of their coordinate rings as $G$-modules. In this paper, we determine some more subtle invariants and analyze their uniformity within the series. We describe the category of $G$-equivariant coherent $\mathcal{D}_X$-modules as the category of representations of a quiver with relations. We construct explicitly the simple $G$-equivariant $\mathcal{D}_X$-modules and compute the characters of their underlying $G$-structures. We determine the local cohomology groups with supports given by orbit closures, determining their precise $\mathcal{D}_X$-module structure. As a consequence, we calculate the intersection cohomology groups and Lyubeznik numbers of the orbit closures. While our results for the cases $(A_5, \omega_3), \, (D_6, \omega_5)$ and $(E_7, \omega_6)$ are still completely uniform, the case $(C_3, \omega_3)$ displays a surprisingly different behavior. We give two explanations for this phenomenon: one topological, as the middle orbit of $(C_3, \omega_3)$ is not simply-connected; one geometric, as the closure of the orbit is not Gorenstein.


title: Off-the-grid Recovery of Time and Frequency Shifts with Multiple Measurement Vectors

abstract: We address the problem of estimating time and frequency shifts of a known waveform in the presence of multiple measurement vectors (MMVs). This problem naturally arises in radar imaging and wireless communications. Specifically, a signal ensemble is observed, where each signal of the ensemble is formed by a superposition of a small number of scaled, time-delayed, and frequency shifted versions of a known waveform sharing the same continuous-valued time and frequency components. The goal is to recover the continuous-valued time-frequency pairs from a small number of observations. In this work, we propose a semidefinite programming which exactly recovers $s$ pairs of time-frequency shifts from $L$ regularly spaced samples per measurement vector under a minimum separation condition between the time-frequency shifts. Moreover, we prove that the number $s$ of time-frequency shifts scales linearly with the number $L$ of samples up to a log-factor. Extensive numerical results are also provided to validate the effectiveness of the proposed method over the single measurement vectors (SMVs) problem. In particular, we find that our approach leads to a relaxed minimum separation condition and reduced number of required samples.


title: Some characterizations of ideal variants of Hurewicz type covering properties

abstract: In this paper, we continue to investigate topological properties of $\mathcal{I}H$ and its two star versions namely $SS \mathcal{I} H$ and $S \mathcal{I} H$. We characterized $\mathcal{I}$-Hurewicz property by $\mathcal{I}$-Hurewicz Basis property and $\mathcal{I}$-Hurewicz measure zero property for metrizable spaces. We also characterized $\mathcal{I}$-Hurewicz property, star-$\mathcal{I}$-Hurewicz property and strongly star-$\mathcal{I}$-Hurewicz property using selection principles.


title: Sharp images from diffuse beams: factorisation of the discrete delta function

abstract: Discrete delta functions define the limits of attainable spatial resolution for all imaging systems. Here we construct broad, multi-dimensional discrete functions that replicate closely the action of a Dirac delta function under aperiodic convolution. These arrays spread the energy of a sharp probe beam to simultaneously sample multiple points across the volume of a large object, without losing image sharpness. A diffuse point-spread function applied in any imaging system can reveal the underlying structure of objects less intrusively and with equal or better signal-to-noise ratio. These multi-dimensional arrays are related to previously known, but relatively rarely employed, one-dimensional integer Huffman sequences. Practical point-spread functions can now be made sufficiently large to span the size of the object under measure. Such large arrays can be applied to ghost imaging, which has demonstrated potential to greatly improve signal-to-noise ratios and reduce the total dose required for tomographic imaging. The discrete arrays built here parallel the continuum self-adjoint or Hermitian functions that underpin wave theory and quantum mechanics.


title: Traffic4cast-Traffic Map Movie Forecasting -- Team MIE-Lab

abstract: The goal of the IARAI competition traffic4cast was to predict the city-wide traffic status within a 15-minute time window, based on information from the previous hour. The traffic status was given as multi-channel images (one pixel roughly corresponds to 100x100 meters), where one channel indicated the traffic volume, another one the average speed of vehicles, and a third one their rough heading. As part of our work on the competition, we evaluated many different network architectures, analyzed the statistical properties of the given data in detail, and thought about how to transform the problem to be able to take additional spatio-temporal context-information into account, such as the street network, the positions of traffic lights, or the weather. This document summarizes our efforts that led to our best submission, and gives some insights about which other approaches we evaluated, and why they did not work as well as imagined.


title: Overlapped speech recognition from a jointly learned multi-channel neural speech extraction and representation

abstract: We propose an end-to-end joint optimization framework of a multi-channel neural speech extraction and deep acoustic model without mel-filterbank (FBANK) extraction for overlapped speech recognition. First, based on a multi-channel convolutional TasNet with STFT kernel, we unify the multi-channel target speech enhancement front-end network and a convolutional, long short-term memory and fully connected deep neural network (CLDNN) based acoustic model (AM) with the FBANK extraction layer to build a hybrid neural network, which is thus jointly updated only by the recognition loss. The proposed framework achieves 28% word error rate reduction (WERR) over a separately optimized system on AISHELL-1 and shows consistent robustness to signal to interference ratio (SIR) and angle difference between overlapping speakers. Next, a further exploration shows that the speech recognition is improved with a simplified structure by replacing the FBANK extraction layer in the joint model with a learnable feature projection. Finally, we also perform the objective measurement of speech quality on the reconstructed waveform from the enhancement network in the joint model.


title: A Framework for Building Closed-Domain Chat Dialogue Systems

abstract: This paper presents HRIChat, a framework for developing closed-domain chat dialogue systems. Being able to engage in chat dialogues has been found effective for improving communication between humans and dialogue systems. This paper focuses on closed-domain systems because they would be useful when combined with task-oriented dialogue systems in the same domain. HRIChat enables domain-dependent language understanding so that it can deal well with domain-specific utterances. In addition, HRIChat makes it possible to integrate state transition network-based dialogue management and reaction-based dialogue management. FoodChatbot, which is an application in the food and restaurant domain, has been developed and evaluated through a user study. Its results suggest that reasonably good systems can be developed with HRIChat. This paper also reports lessons learned from the development and evaluation of FoodChatbot.


title: Predicting Rainfall using Machine Learning Techniques

abstract: Rainfall prediction is one of the challenging and uncertain tasks which has a significant impact on human society. Timely and accurate predictions can help to proactively reduce human and financial loss. This study presents a set of experiments which involve the use of prevalent machine learning techniques to build models to predict whether it is going to rain tomorrow or not based on weather data for that particular day in major cities of Australia. This comparative study is conducted concentrating on three aspects: modeling inputs, modeling methods, and pre-processing techniques. The results provide a comparison of various evaluation metrics of these machine learning techniques and their reliability to predict the rainfall by analyzing the weather data.


title: The theory of the Collatz process and the method of dynamical balls

abstract: In this paper we introduce and develop the theory of the Collatz process and the method of dynamical balls. We leverage this theory to study the Collatz conjecture. This theory also has a subtle connection with the infamous problem of the distribution of Sophie germain primes. We also provide several formulation of the Collatz conjecture in this language. Furthermore, we introduce and develop the notion of dynamical systems induced by a fixed $a\in \mathbb{N}$ and their associated induced dynamical balls. We develop tools to study problems requiring to determine the convergence of certain sequences generated by iterating on a fixed integer.


title: The Exceptional Selfcondensability of Powers of Five

abstract: We show any power of five may be expressed arithmetically with the digits of its decimal representation. We also show powers of five (in decimal) contain any amount of zeros in a row.


title: Extreme Classification in Log Memory using Count-Min Sketch: A Case Study of Amazon Search with 50M Products

abstract: In the last decade, it has been shown that many hard AI tasks, especially in NLP, can be naturally modeled as extreme classification problems leading to improved precision. However, such models are prohibitively expensive to train due to the memory blow-up in the last layer. For example, a reasonable softmax layer for the dataset of interest in this paper can easily reach well beyond 100 billion parameters (>400 GB memory). To alleviate this problem, we present Merged-Average Classifiers via Hashing (MACH), a generic K-classification algorithm where memory provably scales at O(logK) without any strong assumption on the classes. MACH is subtly a count-min sketch structure in disguise, which uses universal hashing to reduce classification with a large number of classes to few embarrassingly parallel and independent classification tasks with a small (constant) number of classes. MACH naturally provides a technique for zero communication model parallelism. We experiment with 6 datasets; some multiclass and some multilabel, and show consistent improvement over respective state-of-the-art baselines. In particular, we train an end-to-end deep classifier on a private product search dataset sampled from Amazon Search Engine with 70 million queries and 49.46 million products. MACH outperforms, by a significant margin,the state-of-the-art extreme classification models deployed on commercial search engines: Parabel and dense embedding models. Our largest model has 6.4 billion parameters and trains in less than 35 hours on a single p3.16x machine. Our training times are 7-10x faster, and our memory footprints are 2-4x smaller than the best baselines. This training time is also significantly lower than the one reported by Google's mixture of experts (MoE) language model on a comparable model size and hardware.


title: Development of Dual-phase Xenon TPC with a Quartz Chamber for Direct Dark Matter Search

abstract: The idea of a hermetic quartz chamber in a dual-phase xenon time projection chamber (TPC) has the potential to improve the detector sensitivity for direct dark matter searches in the future. A major challenge facing TPC detectors in future dark matter experiments will be the reduction of the internal background such as $^{222}$Rn and the deterioration of the ionization signal due to electronegative impurities. The hermetic quartz chamber can isolate the TPC's sensitive volume from external interference and is thus expected to prevent contamination caused by the radioactive and electronegative impurities, which originate from outer detector materials. At the Kamioka Observatory in Japan, we developed a TPC with a quartz chamber that contains a $\phi 48 \times 58$ mm volume of liquid xenon. At this development stage, we did not aim at the perfect hermeticity of the quartz chamber. Our aim here is twofold: first, to demonstrate via the use of a calibration source that the presence of quartz materials in the TPC does not impact its operation; and second, to perform quantitative measurements of the TPC's characteristics. We successfully measured electron drift velocities of 1.2--1.7 mm/$\mu$s in liquid xenon under electric fields ranging from 75--384 V/cm, and also observed small S2 signals produced by a single ionized electron with a light yield of 16.5 $\pm$ 0.5 PE. These results were consistent with the expected values; therefore, our demonstrations provide a proof of principle for TPCs incorporating a quartz chamber.


title: Learning pairwise Markov network structures using correlation neighborhoods

abstract: Markov networks are widely studied and used throughout multivariate statistics and computer science. In particular, the problem of learning the structure of Markov networks from data without invoking chordality assumptions in order to retain expressiveness of the model class has been given a considerable attention in the recent literature, where numerous constraint-based or score-based methods have been introduced. Here we develop a new search algorithm for the network score-optimization that has several computational advantages and scales well to high-dimensional data sets. The key observation behind the algorithm is that the neighborhood of a variable can be efficiently captured using local penalized likelihood ratio (PLR) tests by exploiting an exponential decay of correlations across the neighborhood with an increasing graph-theoretic distance from the focus node. The candidate neighborhoods are then processed by a two-stage hill-climbing (HC) algorithm. Our approach, termed fully as PLRHC-BIC$_{0.5}$, compares favorably against the state-of-the-art methods in all our experiments spanning both low- and high-dimensional networks and a wide range of sample sizes. An efficient implementation of PLRHC-BIC$_{0.5}$ is freely available from the URL: https://github.com/jurikuronen/plrhc.


title: An antisymmetric solution of the 3D incompressible Navier-Stokes equations

abstract: We report results on the behavior of a particular incompressible Navier-Stokes (NS) flow in the whole space $\R^{3}$, related to the complex singular solutions introduced by Li and Sinai in \cite{LiSi08} that blow up at a finite time. The flow exhibits for some time a tornado-like behavior: a sharp increase of vorticity and of the maximal velocity, with concentration in an annular region around an axis. There is however no rotation around the axis and the approximate axial symmetry with no swirl excludes a real blow-up. We conclude with a discussion on the possible candidates for a real blow-up.


title: High-efficiency fiber-to-chip interface for aluminum nitride quantum photonics

abstract: Integrated nonlinear photonic circuits received rapid development in recent years, providing all-optical functionalities enabled by cavity-enhanced photon-photon interaction for classical and quantum applications. A high-efficiency fiber-to-chip interface is key to the use of these integrated photonic circuits for quantum information tasks, as photon loss is a major source that weakens quantum protocols. Here, overcoming material and fabrication limitation of thin-film aluminum nitride by adopting a stepwise waveguiding scheme, we demonstrate low-loss adiabatic fiber-optic couplers in aluminum nitride films with a substantial thickness (600 nm) for optimized nonlinear photon interaction. For telecom (1550 nm) and near-visible (780 nm) transverse magnetic-polarized light, the measured insertion loss of the fiber-optic coupler is -0.97 dB and -2.6 dB, respectively. Our results will facilitate the use of aluminum nitride integrated photonic circuits as efficient quantum resources for generation of entangled photons and squeezed light on microchips.


title: Realising the LOFAR Two-Metre Sky Survey -- using the supercomputer JUWELS at the Forschungszentrum J\"ulich

abstract: The new generation of high-resolution broad-band radio telescopes, like the Low Frequency Array (LOFAR), produces, depending on the level of compression, between 1 to 10 TB of data per hour after correlation. Such a large amount of scientific data demand powerful computing resources and efficient data handling strategies to be mastered. The LOFAR Two-metre Sky Survey (LoTSS) is a Key Science Project (KSP) of the LOFAR telescope. It aims to map the entire northern hemisphere at unprecedented sensitivity and resolution. The survey consist of 3 168 pointings, requiring about 30 PBytes of storage space. As a member of the German Long Wavelength Consortioum (GLOW) the Forschungszentrum J\"ulich (FSZ) stores in the Long Term Archive (LTA) about 50% of all LoTSS observations conducted to date. In collaboration with SURFsara in Amsterdam we developed service tools that enable the KSP to process LOFAR data stored in the J\"ulich LTA at the supercomputer JUWELS in an automated and robust fashion. Through our system more than 500 out of 800 existing LoTSS observations have already been processed with the prefactor pipeline. This pipeline calibrates the direction-independent instrumental and ionospheric effects and furthermore reduces the data size significantly. For continuum imaging, this processing pipeline is the standard pipeline that is executed before more advanced processing and image reconstruction methods are applied.


title: Erratum to "The integer cohomology algebra of toric arrangements"

abstract: We point out two errors in the paper ``The integer cohomology algebra of toric arrangements'', Adv. Math., Vol. 313, pp. 746-802, 2017. The main error concerns Theorem 4.2.17. In that theorem's proof, Diagram (8) does not commute in general but only under some restrictive hypotheses on the arrangement $\mathcal{A}$. This invalidates the description for the ring structure of $H^*(M(\mathcal{A});\mathbb{Z})$ given in Theorems A and B. We refer to alternative descriptions of the cohomology ring $H^*(M(\mathcal{A});\mathbb{Z})$. The second error concerns Theorem 7.2.1. The claim does hold, but the proof is incorrect. We refer to a counterexample for the argument given in the proof and we provide references for a correct proof.


title: Ultra-low switching current density in all-amorphous W-Hf / CoFeB / TaOx films

abstract: We study current-induced deterministic magnetization switching and domain wall motion via polar Kerr microscopy in all-amorphous W$_{66}$Hf$_{34}$/CoFeB/TaO$_\text{x}$ with perpendicular magnetic anisotropy and large spin Hall angle. Investigations of magnetization switching as a function of in-plane assist field and current pulse-width yield switching current densities as low as $3\times 10^{9}$ A/m$^2$. We accredit this low switching current density to a low depinning current density, which was obtained from measurements of domain wall displacements upon current injection. This correlation is verified by investigations of a Ta/CoFeB/MgO/Ta reference sample, which showed critical current densities of at least one order of magnitude larger, respectively.


title: Large-scale dynamics of winds originated from black hole accretion flows: (I) Hydrodynamics

abstract: Winds from black hole accretion flows are ubiquitous. Previous works mainly focus on the launching of wind in the accretion flow scale. It still remains unclear how far the winds can propagate outward and what is their large-scale dynamics. As the first paper of this series, we study the large-scale dynamics of thermal wind beyond accretion scales via analytical and numerical methods. Boundary conditions, which are crucial to our problem, are analyzed and presented based on the small-scale simulations combined with observations of winds. Both black hole and galaxy potential are taken into account. For winds originated from hot accretion flows, we find that the wind can reach to large scales. The radial profiles of velocity, density, and temperature can be approximated by $v_r\approx v_{r0}, \rho\approx \rho_{0}(r/r_0)^{-2}$, and $T\approx T_0 (r/r_0)^{-2(\gamma-1)}$, where $v_{r0}, \rho_0, T_0$ are the velocity, density, and temperature of winds at the boundary $r_0(\equiv 10^3 r_g)$, $\gamma$ is the polytropic index. During the outward propagation, the enthalpy and the rotational energy compensate the increase of gravitational potential. For thin disks, we find that because the Bernoulli parameter is smaller, winds cannot propagate as far as the hot winds, but stop at a certain radius where the Bernoulli parameter is equal to the potential energy. Before the winds stop, the profiles of dynamical quantities can also be approximated by the above relations. In this case the rotational energy alone compensates the increase of the potential energy.


title: Every noncompact surface is a leaf of a minimal foliation

abstract: We show that any noncompact oriented surface is homeomorphic to the leaf of a minimal foliation of a closed $3$-manifold. These foliations are (or are covered by) suspensions of continuous minimal actions of surface groups on the circle. Moreover, the above result is also true for any prescription of a countable family of topologies of open surfaces: they can coexist in the same minimal foliation. All the given examples are hyperbolic foliations, meaning that they admit a leafwise Riemannian metric of constant negative curvature. Many oriented Seifert manifolds with a fibered incompressible torus and whose associated orbifold is hyperbolic admit minimal foliations as above. The given examples are not transversely $C^2$-smoothable.


title: Equivalence of the phenomenological Tsallis distribution to the transverse momentum distribution of $q$-dual statistics

abstract: In the present work, we have found that the phenomenological Tsallis distribution (which nowadays is largely used to describe the transverse momentum distributions of hadrons measured in $pp$ collisions at high energies) is consistent with the basis of the statistical mechanics if it belongs to the $q$-dual nonextensive statistics instead of the Tsallis one. We have defined the $q$-dual statistics based on the $q$-dual entropy which was obtained from the Tsallis entropy under the multiplicative transformation of the entropic parameter $q\to 1/q$. We have found that the phenomenological Tsallis distribution is equivalent to the transverse momentum distribution of the $q$-dual statistics in the zeroth term approximation. Since the $q$-dual statistics is properly defined, it provides a correct link between the phenomenological Tsallis distribution and the second law of thermodynamics.


title: Gyro-Control of a Solar Sailing Satellite

abstract: Recent successes in the deployment of sails in space have reduced the risk associated with solar sailing missions. The attitude control requirements for a solar sailing mission is low with only slow attitude maneuvers needed to maintain a stable attitude and produce a required solar thrust. Future science missions will require large attitude maneuvers with a fully deployed sail. This article investigates the current options for attitude control on solar sails and proposes a gyro-controlled solar sailing. This concept uses a spinning solar sail to construct a control moment gyroscope capable to produce large torques. Steering laws for performing attitude maneuvers and simulation results are presented which demonstrates the capabilities of such a solution.

categories: physics.space-ph astro-ph.EP astro-ph.IM cs.SY eess.SY


title: Superconductive critical temperature of Pb/Ag heterostructures

abstract: Recent experimental data (H. Nam et al., Phys. Rev. B 100, 094512 (2019)) of critical temperature and gaps measured on superconductor/normal metal heterostructure Pb/Ag, epitaxially grown, shown a interesting not usual behaviour. The critical temperature decreases strongly but, despite the large differences in the lattice constants and electronic densities of states in the separate components, this heterostructure shows a spatially constant superconducting gap. In the paper it is demonstrated that the proximity Eliashberg equations, whit no free parameters, cannot explain the dependence of critical temperature from the rate $d_{Pb}/d_{Ag}$. However it is sufficient to assume that the density of states at the Fermi level of silver is equal to that of lead in a layer adjacent to the separation interface, presumably of a thickness less than the coherence length of the lead, to perfectly explain the decrease in the critical temperature and the gap value in function of the rate $d_{Pb}/d_{Ag}$ always without free parameters.


title: Kinetic modelling of multiple interactions in socio-economic systems

abstract: Unlike the classical kinetic theory of rarefied gases, where microscopic interactions among gas molecules are described as binary collisions, the modelling of socio-economic phenomena in a multi-agent system naturally requires to consider, in various situations, multiple interactions among the individuals. In this paper, we collect and discuss some examples related to economic and gambling activities. In particular, we focus on a linearisation strategy of the multiple interactions, which greatly simplifies the kinetic description of such systems while maintaining all their essential aggregate features, including the equilibrium distributions.


title: Three-Dimensional Optical Diffraction Tomography with Lippmann-Schwinger Model

abstract: A broad class of imaging modalities involve the resolution of an inverse-scattering problem. Among them, three-dimensional optical diffraction tomography (ODT) comes with its own challenges. These include a limited range of views, a large size of the sample with respect to the illumination wavelength, and optical aberrations that are inherent to the system itself. In this work, we present an accurate and efficient implementation of the forward model. It relies on the exact (nonlinear) Lippmann-Schwinger equation. We address several crucial issues such as the discretization of the Green function, the computation of the far field, and the estimation of the incident field. We then deploy this model in a regularized variational-reconstruction framework and show on both simulated and real data that it leads to substantially better reconstructions than the approximate models that are traditionally used in ODT.


title: Magnon spectrum of the Weyl semimetal half-Heusler compound GdPtBi

abstract: The compound GdPtBi is known as a material where the non-trivial topology of electronic bands interplays with an antiferromagnetic order, which leads to the emergence of many interesting magnetotransport phenomena. Although the magnetic structure of the compound has previously been reliably determined, the magnetic interactions responsible for this type of order remained controversial. In the present study, we employed time-of-flight inelastic neutron scattering to map out the low-temperature spectrum of spin excitations in single-crystalline GdPtBi. The observed spectra reveal two spectrally sharp dispersive spin-wave modes, which reflects the multi-domain state of the $\mathbf{k} = (\frac{1}{2}\frac{1}{2}\frac{1}{2})$ face-centred cubic antiferromagnet in the absence of a symmetry-breaking magnetic field. The magnon dispersion reaches an energy of $\sim 1.1$~meV and features a gap of $\sim 0.15$~meV. Using linear spin-wave theory, we determined the main magnetic microscopic parameters of the compound that provide good agreement between the simulated spectra and the experimental data. We show that GdPtBi is well within the ($\frac{1}{2}\frac{1}{2}\frac{1}{2}$) phase and is dominated by second-neighbor interactions, thus featuring low frustration.


title: Decidability of irreducible tree shifts of finite type

abstract: We reveal an algorithm for determining the complete prefix code irreducibility (CPC-irreducibility) of dyadic trees labeled by a finite alphabet. By introducing an extended directed graph representation of tree shift of finite type (TSFT), we show that the CPC-irreducibility of TSFTs is related to the connectivity of its graph representation, which is a similar result to one-dimensional shifts of finite type.


title: Resonance study of SU(2) model with 2 fundamental flavours of fermions

abstract: Composite Higgs models are promising candidate models to address the long-standing naturalness problem in the Standard Model. Among them, the most minimal one is the SU(2) with 2 flavours of fermions in the fundamental representation of the gauge group. An important prediction in these models is the existence of resonance spectrum in vector boson scattering. Here we study the lowest such resonance, which is the equivalent of rho resonance in QCD. We describe the scan of the parameter space using the clover-improved Wilson fermions with Symanzik improved gauge action and then show the first results for the mass and width of the rho resonance in this model.


title: An extended class of RC association models: estimation and main properties

abstract: The extended class of multiplicative row-column (RC) association models, introduced in this paper for two-way contingency tables, allows users to select both the type of logit (local, global, continuation, reverse continuation) suitable for the row and column classification variables and the scale on which interactions are measured. As in \cite{Kateri95} for the case of local logits, our extended class of bivariate interactions is linked to divergence measures and, by means of a representation theorem, we provide reconstruction formulas for the joint probabilities depending on pairs of logit types. These results are the key to show that, given marginal logits, our extended interactions determine uniquely the bivariate distribution. We also determine the kind of positive association which is implied by our extended interactions being non negative. Quick model selection within this wide class can be performed by an efficient algorithm for computing maximum likelihood estimates which exploits the properties of a reduced rank constraint imposed on the matrix of extended interactions and allows for additional linear constraint on marginal logits. An application to social mobility data is presented and discussed.


title: Uplink-Downlink Tradeoff in Secure Distributed Matrix Multiplication

abstract: In secure distributed matrix multiplication (SDMM) the multiplication $\mathbf{A}\mathbf{B}$ from two private matrices $\mathbf{A}$ and $\mathbf{B}$ is outsourced by a user to $N$ distributed servers. In $\ell$-SDMM, the goal is to a design a joint communication-computation procedure that optimally balances conflicting communication and computation metrics without leaking any information on both $\mathbf{A}$ and $\mathbf{B}$ to any set of $\ell\leq N$ servers. To this end, the user applies coding with $\tilde{\mathbf{A}}_i$ and $\tilde{\mathbf{B}}_i$ representing encoded versions of $\mathbf{A}$ and $\mathbf{B}$ destined to the $i$-th server. Now, SDMM involves multiple tradeoffs. One such tradeoff is the tradeoff between uplink (UL) and downlink (DL) costs. To find a good balance between these two metrics, we propose two schemes which we term USCSA and GSCSA that are based on secure cross subspace alignment (SCSA). We show that there are various scenarios where they outperform existing SDMM schemes from the literature with respect to the UL-DL efficiency. Next, we implement schemes from the literature, including USCSA and GSCSA, and test their performance on Amazon EC2. Our numerical results show that USCSA and GSCSA establish a good balance between the time spend on the communication and computation in SDMMs. This is because they combine advantages of polynomial codes, namely low time for the upload of $\left(\tilde{\mathbf{A}}_i,\tilde{\mathbf{B}}_i\right)_{i=1}^{N}$ and the computation of $\mathbf{O}_i=\tilde{\mathbf{A}}_i\tilde{\mathbf{B}}_i$, with those of SCSA, being a low timing overhead for the download of $\left(\mathbf{O}_i\right)_{i=1}^{N}$ and the decoding of $\mathbf{A}\mathbf{B}$.


title: Training DNN IoT Applications for Deployment On Analog NVM Crossbars

abstract: A trend towards energy-efficiency, security and privacy has led to a recent focus on deploying DNNs on microcontrollers. However, limits on compute and memory resources restrict the size and the complexity of the ML models deployable in these systems. Computation-In-Memory architectures based on resistive nonvolatile memory (NVM) technologies hold great promise of satisfying the compute and memory demands of high-performance and low-power, inherent in modern DNNs. Nevertheless, these technologies are still immature and suffer from both the intrinsic analog-domain noise problems and the inability of representing negative weights in the NVM structures, incurring in larger crossbar sizes with concomitant impact on ADCs and DACs. In this paper, we provide a training framework for addressing these challenges and quantitatively evaluate the circuit-level efficiency gains thus accrued. We make two contributions: Firstly, we propose a training algorithm that eliminates the need for tuning individual layers of a DNN ensuring uniformity across layer weights and activations. This ensures analog-blocks that can be reused and peripheral hardware substantially reduced. Secondly, using NAS methods, we propose the use of unipolar-weighted (either all-positive or all-negative weights) matrices/sub-matrices. Weight unipolarity obviates the need for doubling crossbar area leading to simplified analog periphery. We validate our methodology with CIFAR10 and HAR applications by mapping to crossbars using 4-bit and 2-bit devices. We achieve up to 92:91% accuracy (95% floating-point) using 2-bit only-positive weights for HAR. A combination of the proposed techniques leads to 80% area improvement and up to 45% energy reduction.


title: Coherent x-ray radiation induced by high-current breakdown on a ferrite surface

abstract: We for the first time observe that at the initial stage of a high-current discharge, a low-divergence short (< 2 ns) electromagnetic pulse is formed over a ferrite surface. The 50% part of this pulse lies in the region of fairly hard x-ray radiation (photon energy >1 keV) with the energy $\approx$0.6 mJ and the average power 0.3 MW. The radiation propagates parallel to the surface in the anode direction with the angle divergence < 2$^{o}$. The high directionality of the radiation in absence of the aperture-limiting devices for the radiation beam and the quadratic dependence of the spatial radiation energy flux density on the active part of the ferrite prism points to the coherent nature of the observed radiation. A possible generation mechanism of the radiation is proposed. It is based on the short-lived magnetization of the unit areas on the ferrite surface by a high-power electromagnetic pulse and subsequent coherent interference of the unit waves irradiated by these areas.


title: Linear Speedup in Saddle-Point Escape for Decentralized Non-Convex Optimization

abstract: Under appropriate cooperation protocols and parameter choices, fully decentralized solutions for stochastic optimization have been shown to match the performance of centralized solutions and result in linear speedup (in the number of agents) relative to non-cooperative approaches in the strongly-convex setting. More recently, these results have been extended to the pursuit of first-order stationary points in non-convex environments. In this work, we examine in detail the dependence of second-order convergence guarantees on the spectral properties of the combination policy for non-convex multi agent optimization. We establish linear speedup in saddle-point escape time in the number of agents for symmetric combination policies and study the potential for further improvement by employing asymmetric combination weights. The results imply that a linear speedup can be expected in the pursuit of second-order stationary points, which exclude local maxima as well as strict saddle-points and correspond to local or even global minima in many important learning settings.


title: Reconstructibility of unrooted level-$k$ phylogenetic networks from distances

abstract: A phylogenetic network is a graph-theoretical tool that is used by biologists to represent the evolutionary history of a collection of species. One potential way of constructing such networks is via a distance-based approach, where one is asked to find a phylogenetic network that in some way represents a given distance matrix, which gives information on the evolutionary distances between present-day taxa. Here, we consider the following question. For which~$k$ are unrooted level-$k$ networks uniquely determined by their distance matrices? We consider this question for shortest distances as well as for the case that the multisets of all distances is given. We prove that level-$1$ networks and level-$2$ networks are reconstructible from their shortest distances and multisets of distances, respectively. Furthermore we show that, in general, networks of level higher than~$1$ are not reconstructible from shortest distances and that networks of level higher than~$2$ are not reconstructible from their multisets of distances.


title: A priori bounds for the $\Phi^4$ equation in the full sub-critical regime

abstract: We derive a priori bounds for the $\Phi^4$ equation in the full sub-critical regime using Hairer's theory of regularity structures. The equation is formally given by \begin{equation} \label{e}(\partial_t-\Delta)\phi = -\phi^3 + \infty \phi +\xi, \tag{$\star$} \end{equation} where the term $+\infty \phi$ represents infinite terms that have to be removed in a renormalisation procedure. We emulate fractional dimensions $d<4$ by adjusting the regularity of the noise term $\xi$, choosing $\xi \in C^{-3+\delta}$. Our main result states that if $\phi$ satisfies this equation on a space-time cylinder $P= (0,1) \times \{ |x| \leq 1 \}$, then away from the boundary $\partial P$ the solution $\phi$ can be bounded in terms of a finite number of explicit polynomial expressions in $\xi$, and this bound holds uniformly over all possible choices of boundary data for $\phi$. The derivation of this bound makes full use of the super-linear damping effect of the non-linear term $-\phi^3$. A key part of our analysis consists of an appropriate re-formulation of the theory of regularity structures in the specific context of \eqref{e}, which allows to couple the small scale control one obtains from this theory with a suitable large scale argument. Along the way we make several new observations and simplifications. Instead of a model $(\Pi_x)_x$ and the family of translation operators $(\Gamma_{x,y})_{x,y}$ we work with just a single object $(\mathbb{X}_{x, y})$ which acts on itself for translations, very much in the spirit of Gubinelli's theory of branched rough paths. Furthermore, we show that in the specific context of \eqref{e} the hierarchy of continuity conditions which constitute Hairer's definition of a \emph{modelled distribution} can be reduced to the single continuity condition on the "coefficient on the constant level".


title: Admission Control in 5G Networks for the Coexistence of eMBB-URLLC Users

abstract: In this paper, we consider the problem of admission control in 5G networks where enhanced mobile broadband (eMBB) users and ultra-reliable low-latency communication (URLLC) users are coexisting. URLLC users require low latency and high reliability while eMBB users require high data rates. Thus, it is essential to control the admission of eMBB users while giving priority to all URLLC users in a network where both types of users are coexisting. Our aim is to maximize the number of admitted eMBB users to the system with a guaranteed data rate while allocating resources to all URLLC users. We formulated this as an l_0 minimization problem. Since it is an NP-hard problem we have used approximation methods and sequential convex programming to obtain a suboptimal solution. Numerically we have shown that the proposed algorithm achieves near-optimal performance. Our algorithm is able to maximize the number of admitted eMBB users with an optimal allocation of resources while giving priority to all URLLC users.


title: Preferential localization of the bacterial nucleoid

abstract: Prokaryotes do not make use of a nucleus membrane to segregate their genetic material from the cytoplasm, so that their nucleoid is potentially free to explore the whole volume of the cell. Nonetheless, high resolution images of bacteria with very compact nucleoids show that such spherical nucleoids are invariably positioned at the center of mononucleoid cells. The present work aims to determine whether such preferential localization results from generic (entropic) interactions between the nucleoid and the cell membrane or instead requires some specific mechanism, like the tethering of DNA at mid-cell or periodic fluctuations of the concentration gradient of given chemical species. To this end, we performed numerical simulations using a coarse-grained model based on the assumption that the formation of the nucleoid results from a segregative phase separation mechanism driven by the de-mixing of the DNA and non-binding globular macromolecules. These simulations show that the abrupt compaction of the DNA coil, which takes place at large crowder density, close to the jamming threshold, is accompanied by the re-localization of the DNA coil close to the regions of the bounding wall with the largest curvature, like the hemispherical caps of rod-like cells, as if the DNA coil were suddenly acquiring the localization properties of a solid sphere. This work therefore supports the hypothesis that the localization of compact nucleoids at regular cell positions involves either some anchoring of the DNA to the cell membrane or some dynamical localization mechanism.