title: Linguistic Knowledge and Transferability of Contextual Representations

abstract: Contextual word representations derived from large-scale neural language models are successful across a diverse set of NLP tasks, suggesting that they encode useful and transferable features of language. To shed light on the linguistic knowledge they capture, we study the representations produced by several recent pretrained contextualizers (variants of ELMo, the OpenAI transformer language model, and BERT) with a suite of seventeen diverse probing tasks. We find that linear models trained on top of frozen contextual representations are competitive with state-of-the-art task-specific models in many cases, but fail on tasks requiring fine-grained linguistic knowledge (e.g., conjunct identification). To investigate the transferability of contextual word representations, we quantify differences in the transferability of individual layers within contextualizers, especially between recurrent neural networks (RNNs) and transformers. For instance, higher layers of RNNs are more task-specific, while transformer layers do not exhibit the same monotonic trend. In addition, to better understand what makes contextual word representations transferable, we compare language model pretraining with eleven supervised pretraining tasks. For any given task, pretraining on a closely related task yields better performance than language model pretraining (which is better on average) when the pretraining dataset is fixed. However, language model pretraining on more data gives the best results.


title: Impact of network delays on Hyperledger Fabric

abstract: Blockchain has become one of the most attractive technologies for applications, with a large range of deployments such as production, economy, or banking. Under the hood, Blockchain technology is a type of distributed database that supports untrusted parties. In this paper we focus Hyperledger Fabric, the first blockchain in the market tailored for a private environment, allowing businesses to create a permissioned network. Hyperledger Fabric implements a PBFT consensus in order to maintain a non forking blockchain at the application level. We deployed this framework over an area network between France and Germany in order to evaluate its performance when potentially large network delays are observed. Overall we found that when network delay increases significantly (i.e. up to 3.5 seconds at network layer between two clouds), we observed that the blocks added to our blockchain had up to 134 seconds offset after 100 th block from one cloud to another. Thus by delaying block propagation, we demonstrated that Hyperledger Fabric does not provide sufficient consistency guaranties to be deployed in critical environments. Our work, is the fist to evidence the negative impact of network delays on a PBFT-based blockchain.


title: OverSketched Newton: Fast Convex Optimization for Serverless Systems

abstract: Motivated by recent developments in serverless systems for large-scale computation as well as improvements in scalable randomized matrix algorithms, we develop OverSketched Newton, a randomized Hessian-based optimization algorithm to solve large-scale convex optimization problems in serverless systems. OverSketched Newton leverages matrix sketching ideas from Randomized Numerical Linear Algebra to compute the Hessian approximately. These sketching methods lead to inbuilt resiliency against stragglers that are a characteristic of serverless architectures. Depending on whether the problem is strongly convex or not, we propose different iteration updates using the approximate Hessian. For both cases, we establish convergence guarantees for OverSketched Newton and empirically validate our results by solving large-scale supervised learning problems on real-world datasets. Experiments demonstrate a reduction of ~50% in total running time on AWS Lambda, compared to state-of-the-art distributed optimization schemes.


title: Classification of EEG-Based Brain Connectivity Networks in Schizophrenia Using a Multi-Domain Connectome Convolutional Neural Network

abstract: We exploit altered patterns in brain functional connectivity as features for automatic discriminative analysis of neuropsychiatric patients. Deep learning methods have been introduced to functional network classification only very recently for fMRI, and the proposed architectures essentially focused on a single type of connectivity measure. We propose a deep convolutional neural network (CNN) framework for classification of electroencephalogram (EEG)-derived brain connectome in schizophrenia (SZ). To capture complementary aspects of disrupted connectivity in SZ, we explore combination of various connectivity features consisting of time and frequency-domain metrics of effective connectivity based on vector autoregressive model and partial directed coherence, and complex network measures of network topology. We design a novel multi-domain connectome CNN (MDC-CNN) based on a parallel ensemble of 1D and 2D CNNs to integrate the features from various domains and dimensions using different fusion strategies. Hierarchical latent representations learned by the multiple convolutional layers from EEG connectivity reveal apparent group differences between SZ and healthy controls (HC). Results on a large resting-state EEG dataset show that the proposed CNNs significantly outperform traditional support vector machine classifiers. The MDC-CNN with combined connectivity features further improves performance over single-domain CNNs using individual features, achieving remarkable accuracy of $93.06\%$ with a decision-level fusion. The proposed MDC-CNN by integrating information from diverse brain connectivity descriptors is able to accurately discriminate SZ from HC. The new framework is potentially useful for developing diagnostic tools for SZ and other disorders.


title: Analytical vs. Numerical Langevin Description of Noise in Small Lasers

abstract: We compare the analytical and numerical predictions of noise in nano- and microcavity lasers obtained from a rate equation model with stochastic Langevin noise. Strong discrepancies are found between the two approaches and these are critically analyzed and explained on the basis of general considerations and through the comparison to the numerical predictions of a Stochastic Laser Simulator. While the analytical calculations give reliable redictions, the numerical results are entirely incorrect thus unsuitable for predicting the dynamics and statistical properties of small lasers.


title: Cognitive Wireless Power Transfer in the Presence of Reactive Primary Communication User

abstract: This paper studies a cognitive or secondary multi-antenna wireless power transfer (WPT) system over a multi-carrier channel, which shares the same spectrum with a primary wireless information transfer (WIT) system that employs adaptive water-filling power allocation. By controlling the transmit energy beamforming over sub-carriers (SCs), the secondary energy transmitter (S-ET) can directly charge the secondary energy receiver (S-ER), even purposely interfere with the primary WIT system, such that the primary information transmitter (P-IT) can reactively adjust its power allocation (based on water-filling) to facilitate the S-ER's energy harvesting. We investigate how the secondary WPT system can exploit the primary WIT system's reactive power allocation, for improving the wireless energy harvesting performance. In particular, our objective is to maximize the total energy received at the S-ER from both the S-ET and the P-IT, by optimizing the S-ET's energy beamforming over SCs, subject to its maximum transmit power constraint, and the maximum interference power constraint imposed at the primary information receiver (P-IR) to protect the primary WIT. Although the formulated problem is non-convex and difficult to be optimally solved in general, we propose an efficient algorithm to obtain a high-quality solution by employing the Lagrange dual method together with a one-dimensional search. We also present two benchmark energy beamforming designs based on the zero-forcing (ZF) and maximum-ratio-transmission (MRT) principles, respectively, as well as the conventional design without considering the primary WIT system's reaction. Numerical results show that our proposed design leads to significantly improved energy harvesting performance at the S-ER, as compared to these benchmark schemes.


title: VIP2 in LNGS - Testing the Pauli Exclusion Principle for electrons with high sensitivity

abstract: The VIP2 (VIolation of the Pauli Exclusion Principle) experiment at the Gran Sasso underground laboratory (LNGS) is searching for possible violations of standard quantum mechanics predictions in atoms at very high sensitivity. We investigate atomic transitions with precision X-ray spectroscopy in order to test the Pauli Exclusion Principle (PEP) and therefore the related spin-statistics theorem. We will present our experimental method for the search for "anomalous" (i.e. Pauli-forbidden) X-ray transitions in copper atoms, produced by "new" electrons, which could have tiny probability to undergo Pauli-forbidden transition to the ground state already occupied by two electrons. We will describe the VIP2 experimental setup, which is taking data at LNGS presently. The goal of VIP2 is to test the PEP for electrons with unprecedented accuracy, down to a limit in the probability that PEP is violated at the level of 10$^{-31}$. We will present current experimental results and discuss implications of a possible violation.


title: High thermal conductivity of high-quality monolayer boron nitride and its thermal expansion

abstract: Heat management becomes more and more critical, especially in miniaturized modern devices, so the exploration of highly thermally conductive materials with electrical insulation and favorable mechanical properties is of great importance. Here, we report that high-quality monolayer boron nitride (BN) has a thermal conductivity (\k{appa}) of 751 W/mK at room temperature. Though smaller than that of graphene, this value is larger than that of cubic boron nitride (cBN) and only second to those of diamond and lately discovered cubic boron arsenide (BAs). Monolayer BN has the second largest \k{appa} per unit weight among all semiconductors and insulators, just behind diamond, if density is considered. The \k{appa} of atomically thin BN decreases with increased thickness. Our large-scale molecular dynamic simulations using Green-Kubo formalism accurately reproduce this trend, and the density functional theory (DFT) calculations reveal the main scattering mechanism. The thermal expansion coefficients (TECs) of monolayer to trilayer BN at 300-400 K are also experimentally measured, and the results are comparable to atomistic ab initio DFT calculations in a wider range of temperatures. Thanks to its wide bandgap, high thermal conductivity, outstanding strength, good flexibility, and excellent thermal and chemical stability, atomically thin BN is a strong candidate for heat dissipation applications, especially in the next generation of flexible electronic devices.


title: Learning Disentangled Representations of Satellite Image Time Series

abstract: In this paper, we investigate how to learn a suitable representation of satellite image time series in an unsupervised manner by leveraging large amounts of unlabeled data. Additionally , we aim to disentangle the representation of time series into two representations: a shared representation that captures the common information between the images of a time series and an exclusive representation that contains the specific information of each image of the time series. To address these issues, we propose a model that combines a novel component called cross-domain autoencoders with the variational autoencoder (VAE) and generative ad-versarial network (GAN) methods. In order to learn disentangled representations of time series, our model learns the multimodal image-to-image translation task. We train our model using satellite image time series from the Sentinel-2 mission. Several experiments are carried out to evaluate the obtained representations. We show that these disentangled representations can be very useful to perform multiple tasks such as image classification, image retrieval, image segmentation and change detection.


title: Convolutional neural network for detection and classification of seizures in clinical data

abstract: Epileptic seizure detection and classification in clinical electroencephalogram data still is a challenge, and only low sensitivity with a high rate of false positives has been achieved with commercially available seizure detection tools, which usually are patient non-specific. Epilepsy patients suffer from severe detrimental effects like physical injury or depression due to unpredictable seizures. However, even in hospitals due to the high rate of false positives, the seizure alert systems are of poor help for patients as tools of seizure detection are mostly trained on unrealistically clean data, containing little noise and obtained under controlled laboratory conditions, where patient groups are homogeneous, e.g. in terms of age or type of seizures. In this study authors present the approach for detection and classification of a seizure using clinical data of electroencephalograms and a convolutional neural network trained on features of brain synchronisation and power spectrum. Various deep learning methods were applied, and the network was trained on a very heterogeneous clinical electroencephalogram dataset. In total, eight different types of seizures were considered, and the patients were of various ages, health conditions and they were observed under clinical conditions. Despite this, the classifier presented in this paper achieved sensitivity and specificity equal to 0.68 and 0.67, accordingly, which is a significant improvement as compared to the known results for clinical data.


title: Some Results On The Flynn-Poonen-Schaefer Conjecture

abstract: For $c \in \mathbb{Q}$, consider the quadratic polynomial map $\varphi_c(x)=x^2-c$. Flynn, Poonen and Schaefer conjectured in 1997 that no rational cycle of $\varphi_c$ under iteration has length more than $3$. Here we discuss this conjecture using arithmetic and combinatorial means, leading to three main results. First, we show that if $\varphi_c$ admits a rational cycle of length $n \ge 3$, then the denominator of $c$ must be divisible by $16$. We then provide an upper bound on the number of periodic rational points of $\varphi_c$ in terms of the number of distinct prime factors of the denominator of $c$. Finally, we show that the Flynn-Poonen-Schaefer conjecture holds for $\varphi_c$ if that denominator has at most two distinct prime factors.


title: Interacting Langevin Diffusions: Gradient Structure And Ensemble Kalman Sampler

abstract: Solving inverse problems without the use of derivatives or adjoints of the forward model is highly desirable in many applications arising in science and engineering. In this paper, we propose a new version of such a methodology, a framework for its analysis, and numerical evidence of the practicality of the method proposed. Our starting point is an ensemble of over-damped Langevin diffusions which interact through a single preconditioner computed as the empirical ensemble covariance. We demonstrate that the nonlinear Fokker-Planck equation arising from the mean-field limit of the associated stochastic differential equation (SDE) has a novel gradient flow structure, built on the Wasserstein metric and the covariance matrix of the noisy flow. Using this structure, we investigate large time properties of the Fokker-Planck equation, showing that its invariant measure coincides with that of a single Langevin diffusion, and demonstrating exponential convergence to the invariant measure in a number of settings. We introduce a new noisy variant on ensemble Kalman inversion (EKI) algorithms found from the original SDE by replacing exact gradients with ensemble differences; this defines the ensemble Kalman sampler (EKS). Numerical results are presented which demonstrate its efficacy as a derivative-free approximate sampler for the Bayesian posterior arising from inverse problems.


title: Dynamics of electron beams in the inhomogeneous solar corona plasma

abstract: Dynamics of an spatially limited electron beam in the inhomogeneous solar corona plasma is considered in the framework of weak turbulence theory when the temperature of the beam significantly exceeds that of surrounding plasma. The numerical solution of kinetic equations manifests that generally the beam accompanied by Langmuir waves propagates as a beam-plasma structure with a decreasing velocity. Unlike the uniform plasma case the structure propagates with the energy losses in the form of Langmuir waves. The results obtained are compared with the results of observations of type III bursts. It is shown that the deceleration of type III sources can be explained by the corona inhomogeneity. The frequency drift rates of the type III sources are found in a good agreement with the numerical results of beam dynamics.

categories: astro-ph.SR astro-ph.HE physics.plasm-ph physics.space-ph


title: Cascaded Rotational Doppler Effect

abstract: We propose and substantiate experimentally the cascaded rotational Doppler effect for interactions of spinning objects with light carrying angular momentum. Based on the law of parity conservation for electromagnetic interactions, we reveal that the frequency shift can be doubled through cascading two rotational Doppler processes which are mirror-imaged to each other. This effect is further experimentally verified with a rotating half-wave plate, and the mirror-imaging process is achieved by reflecting the frequency-shifted circularly polarized wave upon a mirror with a quarter-wave plate in front of it. The mirror symmetry and thus parity conservation guarantees that this doubled frequency shift can be further multiplied with more successive mirror-imaging conjugations, with photons carrying spin and/or orbital angular momentum, which could be widely applied for detection of rotating systems ranging from molecules to celestial bodies with high precision and sensitivity.


title: Towards electrically driven organic semiconductor laser with field-effective transistor structure

abstract: Laser is one of the most important discoveries in the 20th century, and inorganic semiconductor lasers (ISCL) are most frequently used in many applications nowadays. Organic semiconductor lasers (OSCL) have many attractive features when they compared to ISCLs, such as flexibility, human friendliness, feasible and inexpensive production process, light weight, and multicolor emission. However, electrically driven OSCLs (el-OSCL) have not yet been realized, although they are possible in an optically driven mode. Here, we report that an el-OSCL can be realized in field-effect transistor (FET) structure. The FET el-OSCL with distributed feedback (DFB) construction is made using a BP3T single crystal as a lasing medium electrostatically laminated on a silicon substrate modified with periodically patterned polystyrene. An emergent sharp-linewidth emission spectrum to the resolution limit of a detector and a non-linear increase in intensity above the threshold current density of ca. 1 kA cm-2 was observed, being indicative of lasing. Discussions on the possible realization of lasing in el-OSCLs can be made from the comparison between optical and electrical-driven mode.


title: Crossed modules for Hom-Lie antialgebras

abstract: In this paper, we introduced the concept of crossed module for Hom-Lie antialgebras. It is proved that the category of crossed modules for Hom-Lie antialgebras and the category of $Cat^1$-Hom-Lie antialgebras are equivalent to each other. The relationship between the crossed module extension of Hom-Lie antialgebras and the third cohomology group are investigated.


title: Individualized Multilayer Tensor Learning with An Application in Imaging Analysis

abstract: This work is motivated by multimodality breast cancer imaging data, which is quite challenging in that the signals of discrete tumor-associated microvesicles (TMVs) are randomly distributed with heterogeneous patterns. This imposes a significant challenge for conventional imaging regression and dimension reduction models assuming a homogeneous feature structure. We develop an innovative multilayer tensor learning method to incorporate heterogeneity to a higher-order tensor decomposition and predict disease status effectively through utilizing subject-wise imaging features and multimodality information. Specifically, we construct a multilayer decomposition which leverages an individualized imaging layer in addition to a modality-specific tensor structure. One major advantage of our approach is that we are able to efficiently capture the heterogeneous spatial features of signals that are not characterized by a population structure as well as integrating multimodality information simultaneously. To achieve scalable computing, we develop a new bi-level block improvement algorithm. In theory, we investigate both the algorithm convergence property, tensor signal recovery error bound and asymptotic consistency for prediction model estimation. We also apply the proposed method for simulated and human breast cancer imaging data. Numerical results demonstrate that the proposed method outperforms other existing competing methods.


title: Simplex space-time meshes in two-phase flow simulations

abstract: In this paper, we present the numerical solution of two-phase flow problems of engineering significance with a space-time finite element method that allows for local temporal refinement. Our basis is the method presented in [3], which allows for arbitrary temporal refinement in preselected regions of the mesh. It has been extended to adaptive temporal refinement that is governed by a quantity that is part of the solution process, namely, the interface position in two-phase flow. Due to local effects such as surface tension, jumps in material properties, etc., the interface can, in general, be considered a region that requires high flexibility and high resolution, both in space and in time. The new method, which leads to tetrahedral (for 2D problems) and pentatope (for 3D problems) meshes, offers an efficient yet accurate approach to the underlying two-phase flow problems.


title: Bounded hyperbolic components of bicritical rational maps

abstract: We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods.


title: Representations of Simple Hom-Lie algebras

abstract: The purpose of this paper is to study representations of simple multiplicative Hom-Lie algebras. First, we provide a new proof using Killing form for characterization theorem of simple Hom-Lie algebras given by Chen and Han, then discuss the representations structure of simple multiplicative Hom-Lie algebras. Moreover, we study weight modules and root space decompositions of simple multiplicative Hom-Lie algebras, characterize weight modules and provide examples of representations of $\mathfrak{sl}_2$-type Hom-Lie algebras.


title: Robust pulses for high fidelity non-adiabatic geometric gate operations in an off-resonant three-level system

abstract: We propose a method to design pulses in a resonant three-level system to enhance the robustness of non-adiabatic geometric gate operations. By optimizing the shape of the pulse envelope, we show that the gate operations are more robust against frequency detuning than they are with Gaussian and square pulses. Our method provides a way to design pulses that can be employed in a system where robustness against frequency variations or inhomogeneous broadening is required,and may be extended to ensure robustness against other physical imperfections such as intensity fluctuations and random noises.


title: Data-driven design of perfect reconstruction filterbank for DNN-based sound source enhancement

abstract: We propose a data-driven design method of perfect-reconstruction filterbank (PRFB) for sound-source enhancement (SSE) based on deep neural network (DNN). DNNs have been used to estimate a time-frequency (T-F) mask in the short-time Fourier transform (STFT) domain. Their training is more stable when a simple cost function as mean-squared error (MSE) is utilized comparing to some advanced cost such as objective sound quality assessments. However, such a simple cost function inherits strong assumptions on the statistics of the target and/or noise which is often not satisfied, and the mismatch of assumption results in degraded performance. In this paper, we propose to design the frequency scale of PRFB from training data so that the assumption on MSE is satisfied. For designing the frequency scale, the warped filterbank frame (WFBF) is considered as PRFB. The frequency characteristic of learned WFBF was in between STFT and the wavelet transform, and its effectiveness was confirmed by comparison with a standard STFT-based DNN whose input feature is compressed into the mel scale.


title: Circumventing the no-go theorem: A single Weyl point surrounded by nodal walls

abstract: Despite of a rapidly expanding inventory of possible crystalline Weyl semimetals, all of them are constrained by the Nielsen-Ninomiya no-go theorem, namely, that left- and right-handed Weyl points appear in pairs. With time-reversal (T) symmetry, an even stronger version holds for the semimetals, i.e., all eight time-reversal-invariant points in the Brillouin zone (BZ) simultaneously host Weyl points or not. However, all the well-known conclusions from the no-go theorem are implicitly within the current framework of topological semimetals, and in this work, we shall go beyond it by exploring composites of topological metal and semimetal phases. Guided by crystal symmetry and T symmetry, we propose a new topological phase of T-invariant crystalline metal, where a single Weyl point resides at the center of the BZ, surrounded by nodal walls spreading over the entire BZ boundary. In other words, a single Weyl point is realized with the no-go theorem being circumvented. Meanwhile, the Fermi arc surface states, considered as a hallmark of Weyl semimetals, do not appear for this new composite topological phase. We show that this phase can be realized for space group 19 and 92, with and without spin-orbit coupling, respectively.


title: A Strong Scalar Weak Gravity Conjecture and Some Implications

abstract: We propose a new version of the scalar Weak Gravity Conjecture (WGC) which would apply to any scalar field coupled to quantum gravity. For a single scalar it is given by the differential constraint $V''\leq (2V'''^2/V''-V'''')M_{\text{p}}^2$. It corresponds to the statement that self-interactions of a scalar must be stronger than gravity for any value of the scalar field. We find that the solutions which saturate the bound correspond to towers of extremal states with mass $m^2(\phi)=m_0^2/((R/m)^2+1/(nR)^2)$, with $R^2=e^\phi$, consistent with the emergence of an extra dimension at large or small $R$ and the existence of extended objects (strings). These states act as WGC states for the scalar $\phi$. It is also consistent with the distance swampland conjecture with a built-in duality symmetry. From this constraint one can derive several swampland conjectures. In particular one finds that an axion potential is only consistent if $f\leq M_{\text{p}}$. The conjecture has far reaching consequences and applies to several interesting physical systems: i) Among chaotic inflation potentials only those asymptotically linear may survive. ii) If applied to the radion of the circle compactification of the Standard Model to 3D, the constraint implies that the 4D cosmological constant scale must be larger than the mass of the lightest neutrino, which must be Dirac and in normal hierarchy. iii) It also constraints simplest moduli fixing string models. The simplest KKLT model is compatible with the constraints but the latter may be relevant for some choices of parameters.


title: Track clustering with a quantum annealer for primary vertex reconstruction at hadron colliders

abstract: Clustering of charged particle tracks along the beam axis is the first step in reconstructing the positions of hadronic interactions, also known as primary vertices, at hadron collider experiments. We use a 2036 physical qubit D-Wave quantum annealer to perform track clustering in a limited capacity on artificial events where the positions of primary vertices and tracks resemble those measured by the Compact Muon Solenoid experiment at the Large Hadron Collider. The algorithm, which is not a classical-quantum hybrid but relies entirely on quantum annealing, is tested on a variety of event topologies. We demonstrate a deterministic graph-embedding of the problem on the D-Wave Chimera architecture, a method for optimizing the coupling strengths within logical qubits, and a method for optimizing annealing time. Further, we benchmark it against simulated annealing on a commercial CPU constrained to the same processor time per anneal as the physical annealer. We note a quantum advantage against simulated annealing up to a 56 logical qubit problem that involves 665 physical qubits on average. Our embedding and optimization methods, and the benchmarking paradigm, can be applied generally to other clustering problems on quantum annealers. This algorithm may be used as a building-block for more sophisticated algorithms to reach the number of primary vertices at the LHC.


title: Three issues impeding communication of statistical methodology for incomplete data

abstract: We identify three issues permeating the literature on statistical methodology for incomplete data written for non-specialist statisticians and other investigators. The first is a mathematical defect in the notation Yobs, Ymis used to partition the data into observed and missing components. The second are issues concerning the notation `P(R|Yobs, Ymis)=P(R|Yobs)' used for communicating the definition of missing at random (MAR). And the third is the framing of ignorability by emulating complete-data methods exactly, rather than treating the question of ignorability on its own merits. These issues have been present in the literature for a long time, and have simple remedies. The purpose of this paper is to raise awareness of these issues, and to explain how they can be remedied.


title: Charge Emission from Near-Extremal Charged Black Holes

abstract: Using the symmetry of the near-horizon geometry and applying quantum field theory of a complex scalar field, we study the spontaneous pair production of charged scalars from near-extremal rotating, electrically and/or magnetically charged black holes. Analytical expressions for pair production, vacuum persistence and absorption cross section are found, and the spectral distribution is given a thermal interpretation. The pair production in near-extremal black holes has a factorization into the Schwinger effect in AdS and Schwinger effect in Rindler space, measuring the deviational from extremality. The associated holographical correspondence is confirmed at the 2-point function level by comparing the absorption cross section ratio as well as the pair production rate both from the gravity and the conformal field theories. The production of monopoles is discussed.


title: Lattice Boltzmann simulations of three-dimensional thermal convective flows at high Rayleigh number

abstract: We present numerical simulations of three-dimensional thermal convective flows in a cubic cell at high Rayleigh number using thermal lattice Boltzmann (LB) method. The thermal LB model is based on double distribution function approach, which consists of a D3Q19 model for the Navier-Stokes equations to simulate fluid flows and a D3Q7 model for the convection-diffusion equation to simulate heat transfer. Relaxation parameters are adjusted to achieve the isotropy of the fourth-order error term in the thermal LB model. Two types of thermal convective flows are considered: one is laminar thermal convection in side-heated convection cell, which is heated from one vertical side and cooled from the other vertical side; while the other is turbulent thermal convection in Rayleigh-B\'enard convection cell, which is heated from the bottom and cooled from the top. In side-heated convection cell, steady results of hydrodynamic quantities and Nusselt numbers are presented at Rayleigh numbers of $10^6$ and $10^7$, and Prandtl number of 0.71, where the mesh sizes are up to $257^3$; in Rayleigh-B\'enard convection cell, statistical averaged results of Reynolds and Nusselt numbers, as well as kinetic and thermal energy dissipation rates are presented at Rayleigh numbers of $10^6$, $3\times 10^6$, and $10^7$, and Prandtl numbers of 0.7 and 7, where the nodes within thermal boundary layer are around 8. Compared with existing benchmark data obtained by other methods, the present LB model can give consistent results.


title: The semiclassical limit of Liouville conformal field theory

abstract: A rigorous probabilistic construction of Liouville conformal field theory (LCFT) on the Riemann sphere was recently given by David-Kupiainen and the last two authors. In this paper, we focus on the connection between LCFT and the classical Liouville field theory via the semiclassical approach. LCFT depends on a parameter $\gamma \in (0,2)$ and the limit $\gamma \to 0$ corresponds to the semiclassical limit of the theory. Within this asymptotic and under a negative curvature condition (on the limiting metric of the theory), we determine the limit of the correlation functions and of the associated Liouville field. We also establish a large deviation result for the Liouville field: as expected, the large deviation functional is the classical Liouville action. As a corollary, we give a new (probabilistic) proof of the Takhtajan-Zograf theorem which relates the classical Liouville action (taken at its minimum) to Poincar\'e's accessory parameters. Finally, we gather conjectures in the positive curvature case (including the study of the so-called quantum spheres introduced by Duplantier-Miller-Sheffield).


title: The MASSIVE survey - XI. What drives the molecular gas properties of early-type galaxies

abstract: In this paper we study the molecular gas content of a representative sample of 67 of the most massive early-type galaxies in the local universe, drawn uniformly from the MASSIVE survey. We present new IRAM-30m telescope observations of 30 of these galaxies, allowing us to probe the molecular gas content of the entire sample to a fixed molecular-to-stellar mass fraction of 0.1%. The total detection rate in this representative sample is 25$^{+5.9}_{-4.4}$%, and by combining the MASSIVE and ATLAS$^{\rm 3D}$ molecular gas surveys we find a joint detection rate of 22.4$^{+2.4}_{-2.1}$%. This detection rate seems to be independent of galaxy mass, size, position on the fundamental plane, and local environment. We show here for the first time that true slow rotators can host molecular gas reservoirs, but the rate at which they do so is significantly lower than for fast-rotators. Objects with a higher velocity dispersion at fixed mass (a higher kinematic bulge fraction) are less likely to have detectable molecular gas, and where gas does exist, have lower molecular gas fractions. In addition, satellite galaxies in dense environments have $\approx$0.6 dex lower molecular gas-to-stellar mass ratios than isolated objects. In order to interpret these results we created a toy model, which we use to constrain the origin of the gas in these systems. We are able to derive an independent estimate of the gas-rich merger rate in the low-redshift universe. These gas rich mergers appear to dominate the supply of gas to ETGs, but stellar mass loss, hot halo cooling and transformation of spiral galaxies also play a secondary role.


title: Triangular arrangements on the projective plane

abstract: In this work we study line arrangements consisting in lines passing through three non-aligned points. We call them triangular arrangements. We prove that any combinatorics of a triangular arrangement is always realized by a Roots-of-Unity-Arrangement, which is a particular class of triangular arrangements. Among these Roots-of Unity-Arrangements, we provide conditions that ensure their freeness. Finally, we give two triangular arrangements having the same weak combinatorics, such that one is free but the other one is not.


title: Norms of composition operators on the $H^2$ space of Dirichlet series

abstract: We consider composition operators $\mathscr{C}_\varphi$ on the Hardy space of Dirichlet series $\mathscr{H}^2$, generated by Dirichlet series symbols $\varphi$. We prove two different subordination principles for such operators. One concerns affine symbols only, and is based on an arithmetical condition on the coefficients of $\varphi$. The other concerns general symbols, and is based on a geometrical condition on the boundary values of $\varphi$. Both principles are strict, in the sense that they characterize the composition operators of maximal norm generated by symbols having given mapping properties. In particular, we generalize a result of J. H. Shapiro on the norm of composition operators on the classical Hardy space of the unit disc. Based on our techniques, we also improve the recently established upper and lower norm bounds in the special case that $\varphi(s) = c + r2^{-s}$. A number of other examples are given.


title: Viscosity measurements in pulsed magnetic fields by using a quartz-crystal microbalance

abstract: Viscosity measurements in combination with pulsed magnetic fields are developed by use of a quartz-crystal microbalance (QCM). When the QCM is immersed in liquid, the resonant frequency, $f_0$, and the quality factor, $Q$, of the QCM change depending on $(\rho\eta)^{0.5}$, where $\rho$ is the mass density and $\eta$ the viscosity. During the magnetic-field pulse, $f_0$ and $Q$ of the QCM are simultaneously measured by a ringdown technique. The typical resolution of $(\rho\eta)^{0.5}$ is 0.5 %. As a benchmark, the viscosity of liquid oxygen is measured up to 55 T.


title: Tensor-Ring Nuclear Norm Minimization and Application for Visual Data Completion

abstract: Tensor ring (TR) decomposition has been successfully used to obtain the state-of-the-art performance in the visual data completion problem. However, the existing TR-based completion methods are severely non-convex and computationally demanding. In addition, the determination of the optimal TR rank is a tough work in practice. To overcome these drawbacks, we first introduce a class of new tensor nuclear norms by using tensor circular unfolding. Then we theoretically establish connection between the rank of the circularly-unfolded matrices and the TR ranks. We also develop an efficient tensor completion algorithm by minimizing the proposed tensor nuclear norm. Extensive experimental results demonstrate that our proposed tensor completion method outperforms the conventional tensor completion methods in the image/video in-painting problem with striped missing values.


title: Node Embedding over Temporal Graphs

abstract: In this work, we present a method for node embedding in temporal graphs. We propose an algorithm that learns the evolution of a temporal graph's nodes and edges over time and incorporates this dynamics in a temporal node embedding framework for different graph prediction tasks. We present a joint loss function that creates a temporal embedding of a node by learning to combine its historical temporal embeddings, such that it optimizes per given task (e.g., link prediction). The algorithm is initialized using static node embeddings, which are then aligned over the representations of a node at different time points, and eventually adapted for the given task in a joint optimization. We evaluate the effectiveness of our approach over a variety of temporal graphs for the two fundamental tasks of temporal link prediction and multi-label node classification, comparing to competitive baselines and algorithmic alternatives. Our algorithm shows performance improvements across many of the datasets and baselines and is found particularly effective for graphs that are less cohesive, with a lower clustering coefficient.


title: Context-Constrained Accurate Contour Extraction for Occlusion Edge Detection

abstract: Occlusion edge detection requires both accurate locations and context constraints of the contour. Existing CNN-based pipeline does not utilize adaptive methods to filter the noise introduced by low-level features. To address this dilemma, we propose a novel Context-constrained accurate Contour Extraction Network (CCENet). Spatial details are retained and contour-sensitive context is augmented through two extraction blocks, respectively. Then, an elaborately designed fusion module is available to integrate features, which plays a complementary role to restore details and remove clutter. Weight response of attention mechanism is eventually utilized to enhance occluded contours and suppress noise. The proposed CCENet significantly surpasses state-of-the-art methods on PIOD and BSDS ownership dataset of object edge detection and occlusion orientation detection.


title: Discontinuities in numerical radiative transfer

abstract: Observations and magnetohydrodynamic simulations of solar and stellar atmospheres reveal an intermittent behavior or steep gradients in physical parameters, such as magnetic field, temperature, and bulk velocities. The numerical solution of the stationary radiative transfer equation is particularly challenging in such situations, because standard numerical methods may perform very inefficiently in the absence of local smoothness. However, a rigorous investigation of the numerical treatment of the radiative transfer equation in discontinuous media is still lacking. The aim of this work is to expose the limitations of standard convergence analyses for this problem and to identify the relevant issues. Moreover, specific numerical tests are performed. These show that discontinuities in the atmospheric physical parameters effectively induce first-order discontinuities in the radiative transfer equation, reducing the accuracy of the solution and thwarting high-order convergence. In addition, a survey of the existing numerical schemes for discontinuous ordinary differential systems and interpolation techniques for discontinuous discrete data is given, evaluating their applicability to the radiative transfer problem.


title: Equivalence of (quasi-)norms on a vector-valued function space and its applications to multilinear operators

abstract: In this paper we present (quasi-)norm equivalence on a vector-valued function space $L^p_A(l^q)$ and extend the equivalence to $p=\infty$ and $0<q<\infty$ in the scale of Triebel-Lizorkin space, motivated by Fraizer-Jawerth. By applying the results, we improve the multilinear Hormander's multiplier theorem of Tomita, that of Grafakos-Si, and the boundedness results for bilinear pseudo-differential operators, given by Koezuka-Tomita.


title: Reconstruction Methods in THz Single-pixel Imaging

abstract: The aim of this paper is to discuss some advanced aspects of image reconstruction in single-pixel cameras, focusing in particular on detectors in the THz regime. We discuss the reconstruction problem from a computational imaging perspective and provide a comparison of the effects of several state-of-the art regularization techniques. Moreover, we focus on some advanced aspects arising in practice with THz cameras, which lead to nonlinear reconstruction problems: the calibration of the beam reminiscent of the Retinex problem in imaging and phase recovery problems. Finally we provide an outlook to future challenges in the area.

categories: math.OC cs.IT cs.NA math.IT math.NA physics.ins-det physics.optics


title: Towards Characterizing Divergence in Deep Q-Learning

abstract: Deep Q-Learning (DQL), a family of temporal difference algorithms for control, employs three techniques collectively known as the `deadly triad' in reinforcement learning: bootstrapping, off-policy learning, and function approximation. Prior work has demonstrated that together these can lead to divergence in Q-learning algorithms, but the conditions under which divergence occurs are not well-understood. In this note, we give a simple analysis based on a linear approximation to the Q-value updates, which we believe provides insight into divergence under the deadly triad. The central point in our analysis is to consider when the leading order approximation to the deep-Q update is or is not a contraction in the sup norm. Based on this analysis, we develop an algorithm which permits stable deep Q-learning for continuous control without any of the tricks conventionally used (such as target networks, adaptive gradient optimizers, or using multiple Q functions). We demonstrate that our algorithm performs above or near state-of-the-art on standard MuJoCo benchmarks from the OpenAI Gym.


title: PMU-Based ROCOF Measurements: Uncertainty Limits and Metrological Significance in Power System Applications

abstract: In modern power systems, the Rate-of-Change-of-Frequency (ROCOF) may be largely employed in Wide Area Monitoring, Protection and Control (WAMPAC) applications. However, a standard approach towards ROCOF measurements is still missing. In this paper, we investigate the feasibility of Phasor Measurement Units (PMUs) deployment in ROCOF-based applications, with a specific focus on Under-Frequency Load-Shedding (UFLS). For this analysis, we select three state-of-the-art window-based synchrophasor estimation algorithms and compare different signal models, ROCOF estimation techniques and window lengths in datasets inspired by real-world acquisitions. In this sense, we are able to carry out a sensitivity analysis of the behavior of a PMU-based UFLS control scheme. Based on the proposed results, PMUs prove to be accurate ROCOF meters, as long as the harmonic and inter-harmonic distortion within the measurement pass-bandwidth is scarce. In the presence of transient events, the synchrophasor model looses its appropriateness as the signal energy spreads over the entire spectrum and cannot be approximated as a sequence of narrow-band components. Finally, we validate the actual feasibility of PMU-based UFLS in a real-time simulated scenario where we compare two different ROCOF estimation techniques with a frequency-based control scheme and we show their impact on the successful grid restoration.


title: An energetic high-velocity compact cloud: CO$-$0.31+0.11

abstract: We have discovered an energetic high-velocity compact cloud CO$-$0.31+0.11 in the central molecular zone of our Galaxy. CO$-$0.31+0.11 is located at a projected distance of $\sim 45$ pc from the Galactic nucleus Sgr A$^*$. It is characterized by its compact spatial appearance ($d\simeq4$ pc), extremely broad velocity width ($\Delta V > 100$ km s$^{-1}$), and high CO $J$=3$-$2/$J$=1$-$0 intensity ratio. The total gas mass and kinetic energy are estimated as approximately $10^4$ $M_\odot$ and $10^{51}$ erg, respectively. Two expanding bubble-like structures are found in our HCN $J$=1$-$0 map obtained with the Nobeyama Radio Observatory 45 m telescope. In the longitude--velocity maps, CO$-$0.31+0.11 exhibits an asymmetric V-shape. This kinematical structure can be well fitted by Keplerian motion on an eccentric orbit around a point mass of $2\times 10^5$ $M_\odot$. The enhanced CO $J$=3$-$2/$J$=1$-$0 ratio is possibly attributed to the tidal compression during the pericenter passage. The model suggests that a huge mass is packed within a radius of $r < 0.1$ pc. The huge mass, compactness and absence of luminous stellar counterparts may correspond to a signature of an intermediate-mass black hole (IMBH) inside. We propose a formation scenario of CO$-$0.31+0.11 in which a compact cloud has gravitationally interacted with an IMBH and a bipolar molecular outflow was driven by the past activity of the putative IMBH.


title: Quaternionic left eigenvalue problem: a matrix representation

abstract: This paper presents an innovative set of tools developed to support a methodology to find the left eigenvalues of $m$ order quaternion square matrix. It is solving four real polynomial equations of order not greater than $4m-3$ in four variables. Some important properties of these eigenvalues are also investigated.


title: Tauberian theorems for $k$--summability with respect to an analytic germ

abstract: The goal of this article is to establish tauberian theorems for the $k$--summability processes defined by germs of analytic functions in several complex variables. The proofs are based on the tauberian theorems for $k$--summability in one variable and in monomials, and a method of monomialization of germs of analytic functions.


title: Lack of smoothing for bounded solutions of a semilinear parabolic equation

abstract: We study a semilinear parabolic equation that possesses global bounded weak solutions whose gradient has a singularity in the interior of the domain for all $t>0$. The singularity of these solutions is of the same type as the singularity of a stationary solution to which they converge as $t\to\infty$.


title: Embedding nuclear physics inside the unitary window

abstract: The large values of the singlet and triplet scattering lengths locate the two-nucleon system close to the unitary limit, the limit in which these two values diverge. As a consequence, the system shows a continuous scale invariance which strongly constrains the values of the observables, a well-known fact already noticed a long time ago. The three-nucleon system shows a discrete scale invariance that can be observed by correlations of the triton binding energy with other observables as the doublet nucleon-deuteron scattering length or the alpha-particle binding energy. The low-energy dynamics of these systems is universal; it does not depend on the details of the particular way in which the nucleons interact. Instead, it depends on a few control parameters, the large values of the scattering lengths and the triton binding energy. Using a potential model with variable strength set to give values to the control parameters, we study the spectrum of $A=2,3,4,6$ nuclei in the region between the unitary limit and their physical values. In particular, we analyze how the binding energies emerge from the unitary limit forming the observed levels.


title: Transferability of Operational Status Classification Models Among Different Wind Turbine Typesq

abstract: A detailed understanding of wind turbine performance status classification can improve operations and maintenance in the wind energy industry. Due to different engineering properties of wind turbines, the standard supervised learning models used for classification do not generalize across data sets obtained from different wind sites. We propose two methods to deal with the transferability of the trained models: first, data normalization in the form of power curve alignment, and second, a robust method based on convolutional neural networks and feature-space extension. We demonstrate the success of our methods on real-world data sets with industrial applications.


title: Semi-Deterministic Entanglement between a Single Photon and an Atomic Ensemble

abstract: Entanglement between a single photon and a matter qubit is an indispensable resource for quantum repeater and quantum networks. With atomic ensembles, the entanglement creation probability is typically very low to inhibit high-order events. In this paper, we propose and experimentally realize a scheme which creates atom-photon entanglement with an intrinsic efficiency of 50%. We make use of Rydberg blockade to generate two collective excitations, lying in separate internal states. By introducing the momentum degree of freedom for the excitations, and interfering them via Raman coupling, we entangle the two excitations. Via retrieving one excitation, we create the entanglement between the polarization of a single photon and the momentum of the remaining atomic excitation, with a measured fidelity of 0.901(8). The retrieved optical field is verified to be genuine single photons. The realized entanglement may be employed to create entanglement between two distant nodes in a fully heralded way and with a much higher efficiency.


title: Proper scaling for triangular aperture in OAM measurement

abstract: A standard triangular aperture for measuring the orbital angular momentum (OAM) of light by diffraction usually has a fixed and limited radius R. This possesses a crucial issue since for an increasing topological charge m of an OAM beam, the radius r of the beam also increases. Here, we prove experimentally our supposition. We use a dynamic triangular aperture that can be programmed to have different characteristic R to diffract beams of various OAM values. By analysing the diffraction patterns with 2d-correlation, we find a minimum bound for R. For a constant initial waist w in the spatial light modulator and a constant position z of the aperture system, we find that the radius of the aperture is unique for each m value. Interestingly, this R scales according to the literature-reported beam's rms radius. We also show that with larger aperture, a smearing effect can be seen in the diffraction patterns which becomes a setback on discerning fringes for the measurement of the topological charge value and thus of the OAM of light. Employing this limit is required if a precise measurement of the OAM of light is needed.


title: Scattering Equations: From Projective Spaces to Tropical Grassmannians

abstract: We introduce a natural generalization of the scattering equations, which connect the space of Mandelstam invariants to that of points on ${\mathbb{CP}^1}$, to higher-dimensional projective spaces $\mathbb{CP}^{k-1}$. The standard, $k=2$ Mandelstam invariants, $s_{ab}$, are generalized to completely symmetric tensors $\textsf{s}_{a_1a_2\ldots a_k}$ subject to a `massless' condition $\textsf{s}_{a_1a_2\cdots a_{k-2}\,b\,b}=0$ and to `momentum conservation'. The scattering equations are obtained by constructing a potential function and computing its critical points. We mainly concentrate on the $k=3$ case: study solutions and define the generalization of biadjoint scalar amplitudes. We compute all `biadjoint amplitudes' for $(k,n)=(3,6)$ and find a direct connection to the tropical Grassmannian. This leads to the notion of $k=3$ Feynman diagrams. We also find a concrete realization of the new kinematic spaces, which coincides with the spinor-helicity formalism for $k=2$, and provides analytic solutions analogous to the MHV ones.


title: RAP-Net: Recurrent Attention Pooling Networks for Dialogue Response Selection

abstract: The response selection has been an emerging research topic due to the growing interest in dialogue modeling, where the goal of the task is to select an appropriate response for continuing dialogues. To further push the end-to-end dialogue model toward real-world scenarios, the seventh Dialog System Technology Challenge (DSTC7) proposed a challenging track based on real chatlog datasets. The competition focuses on dialogue modeling with several advanced characteristics: (1) natural language diversity, (2) capability of precisely selecting a proper response from a large set of candidates or the scenario without any correct answer, and (3) knowledge grounding. This paper introduces recurrent attention pooling networks (RAP-Net), a novel framework for response selection, which can well estimate the relevance between the dialogue contexts and the candidates. The proposed RAP-Net is shown to be effective and can be generalized across different datasets and settings in the DSTC7 experiments.


title: Electromagnetic design of a superconducting electric machine with bulk HTS material

abstract: The use of high-temperature superconductors in electric machines offers potentially large gains in performance compared to conventional conductors, but also comes with unique challenges. Here, the electromagnetic properties of superconducting electric machines with bulk HTS trapped-field magnets in the rotor and conventional copper coils in the stator are investigated. To this end, an analytical model of the electromagnetic field in radial air-gap synchronous electric machines is developed and validated, taking into account the specific difficulties that occur in the treatment of machines with bulk HTS. Using this model, the influence of pole pair number, stator winding thickness, rotor surface coverage, and air gap width on the machine's Esson coefficient is calculated. In contrast to numerical simulations, the method presented here can provide results within minutes, making it particularly useful for work in early development and systems engineering, where large parameter spaces must be investigated quickly.


title: Volumetric Untrimming: Precise decomposition of trimmed trivariates into tensor products

abstract: 3D objects, modeled using Computer Aided Geometric Design tools, are traditionally represented using a boundary representation (B-rep), and typically use spline functions to parameterize these boundary surfaces. However, recent development in physical analysis, in isogeometric analysis (IGA) in specific, necessitates a volumetric parametrization of the interior of the object. IGA is performed directly by integrating over the spline spaces of the volumetric spline representation of the object. Typically, tensor-product B-spline trivariates are used to parameterize the volumetric domain. A general 3D object, that can be modeled in contemporary B-rep CAD tools, is typically represented using trimmed B-spline surfaces. In order to capture the generality of the contemporary B-rep modeling space, while supporting IGA needs, Massarwi and Elber (2016) proposed the use of trimmed trivariates volumetric elements. However, the use of trimmed geometry makes the integration process more difficult since integration over trimmed B-spline basis functions is a highly challenging task. In this work, we propose an algorithm that precisely decomposes a trimmed B-spline trivariate into a set of (singular only on the boundary) tensor-product B-spline trivariates, that can be utilized to simplify the integration process in IGA. The trimmed B-spline trivariate is first subdivided into a set of trimmed B\'ezier trivariates, at all its internal knots. Then, each trimmed B\'ezier trivariate, is decomposed into a set of mutually exclusive tensor-product B-spline trivariates, that precisely cover the entire trimmed domain. This process, denoted untrimming, can be performed in either the Euclidean space or the parametric space of the trivariate. We present examples on complex trimmed trivariates' based geometry, and we demonstrate the effectiveness of the method by applying IGA over the (untrimmed) results.


title: Tomonaga-Luttinger liquid in a box: electrons confined within MoS$_2$ mirror twin boundaries

abstract: Two- or three-dimensional metals are usually well described by weakly interacting, fermionic quasiparticles. This concept breaks down in one dimension due to strong Coulomb interactions. There, low-energy electronic excitations are expected to be bosonic collective modes, which fractionalize into independent spin and charge density waves. Experimental research on one-dimensional metals is still hampered by their difficult realization, their limited accessibility to measurements, and by competing or obscuring effects such as Peierls distortions or zero bias anomalies. Here we overcome these difficulties by constructing a well-isolated, one-dimensional metal of finite length present in MoS$_2$ mirror twin boundaries. Using scanning tunneling spectroscopy we measure the single-particle density of the interacting electron system as a function of energy and position in the 1D box. Comparison to theoretical modeling provides unambiguous evidence that we are observing spin-charge separation in real space.


title: Dzyaloshinskii-Moriya interaction and the magnetic ground state in magnetoelectric LiCoPO$_4$

abstract: Magnetic structures are investigated by means of neutron diffraction to shine a light on the intricate details that are believed to be key to understanding the magnetoelectric effect in LiCoPO$_4$ . At zero field, a spontaneous spin canting of $\varphi = 7(1)^{\circ}$ is found. The spins tilt away from the easy $b$-axis toward $c$. Symmetry considerations lead to the magnetic point group $m'_z$, which is consistent with the previously observed magnetoelectric tensor form and weak ferromagnetic moment along $b$. For magnetic fields applied along $a$, the induced ferromagnetic moment couples via the Dzyaloshinskii-Moriya interaction to yield an additional field-induced spin canting. An upper limit to the size of the interaction is estimated from the canting angle.


title: A `converse' to the Constraint Lemma

abstract: The main result is a direct proof of the implication $(LVKF_{k,3})\Rightarrow( LT_{3k-1,3})$ below. Consider the following statements: ($LVKF_{1,3}$) From any 11 points in $ \mathbb{R}^{3}$ one can choose 3 pairwise disjoint triples whose convex hulls have a common point. ($LVKF_{k,3}$) From any $6k + 5$ points in $ \mathbb{R}^{3k}$ one can choose 3 pairwise disjoint sets each containing $2k + 1 $ points and whose convex hulls have a common point. ($LT_{2,3}$) Any 7 points in $\mathbb{R}^{2}$ can be decomposed into 3 subsets whose convex hulls have a common point. ($LT_{d,3}$) Any $2d+3$ points in $\mathbb{R}^d$ can be decomposed into 3 subsets whose convex hulls have a common point. This statements are true, but the meaning of the article is the direct derivation of one statement from another.


title: Dynamics of a Relativistic Particle in Discrete Mechanics

abstract: The study of the evolution of the dynamics of a massive or massless particle shows that in special relativity theory, the energy is not conserved. From the law of evolution of the velocity over time of a particle subjected to a constant acceleration, it is possible to calculate the total energy acquired by this particle during its movement when its velocity tends towards the celerity of light. The energy transferred to the particle in relativistic mechanics overestimates the theoretical value. Discrete mechanics applied to this same problem makes it possible to show that the movement reflects that of Newtonian mechanics at low velocity, to obtain a velocity which tends well towards the celerity of the medium when the time increases, but also to conserve the energy at its theoretical value. This consistent behavior is due to the proposed physical analysis based on the compressible nature of light propagation.


title: PPGnet: Deep Network for Device Independent Heart Rate Estimation from Photoplethysmogram

abstract: Photoplethysmogram (PPG) is increasingly used to provide monitoring of the cardiovascular system under ambulatory conditions. Wearable devices like smartwatches use PPG to allow long term unobtrusive monitoring of heart rate in free living conditions. PPG based heart rate measurement is unfortunately highly susceptible to motion artifacts, particularly when measured from the wrist. Traditional machine learning and deep learning approaches rely on tri-axial accelerometer data along with PPG to perform heart rate estimation. The conventional learning based approaches have not addressed the need for device-specific modeling due to differences in hardware design among PPG devices. In this paper, we propose a novel end to end deep learning model to perform heart rate estimation using 8 second length input PPG signal. We evaluate the proposed model on the IEEE SPC 2015 dataset, achieving a mean absolute error of 3.36+-4.1BPM for HR estimation on 12 subjects without requiring patient specific training. We also studied the feasibility of applying transfer learning along with sparse retraining from a comprehensive in house PPG dataset for heart rate estimation across PPG devices with different hardware design.


title: Searching for the Evidence of Dynamical Dark Energy

abstract: In the statistical framework of model-independent Gaussian processes (GP), we search for the evidence of dynamical dark energy (DDE) using the "Joint Light-curve Analysis" (JLA) Type Ia supernovae (SNe Ia) sample, the 30 latest cosmic chronometer data points (H(z)), Planck's shift parameter from cosmic microwave background (CMB) anisotropies, the 156 latest HII galaxy measurements and 79 calibrated gamma-ray bursts (GRBs). We find that the joint constraint from JLA + H(z) + CMB + HII + GRB supports the global measurement of $H_0$ by Planck collaboration very much in the low redshift range $z\in[0, 0.76]$ at the $2\sigma$ confidence level (C.L.), gives a cosmological constant crossing (quintom-like) equation of state (EoS) of DE at the $2\sigma$ C.L. and implies that the evolution of the late-time Universe may be actually dominated by the DDE.


title: Implementing zonal harmonics with the Fueter principle

abstract: By exploiting the Fueter theorem, we give new formulas to compute zonal harmonic functions in any dimension. We first give a representation of them as a result of a suitable ladder operator acting on the constant function equal to one. Then, inspired by recent work of A. Perotti, using techniques from slice regularity, we derive explicit expressions for zonal harmonics starting from the 2 and 3 dimensional cases. It turns out that all zonal harmonics in any dimension are related to the real part of powers of the standard Hermitian product in $\mathbb{C}$. At the end we compare formulas, obtaining interesting equalities involving the real part of positive and negative powers of the standard Hermitian product. In the two appendices we show how our computations are optimal compared to direct ones.


title: Characterizing HCI Research in China: Streams, Methodologies and Future Directions

abstract: This position paper takes the first step to attempt to present the initial characterization of HCI research in China. We discuss the current streams and methodologies of Chinese HCI research based on two well-known HCI theories: Micro/Marco-HCI and the Three Paradigms of HCI. We evaluate the discussion with a survey of Chinese publications at CHI 2019, which shows HCI research in China has less attention to Macro-HCI topics and the third paradigms of HCI (Phenomenologically situated Interaction). We then propose future HCI research directions such as paying more attention to Macro-HCI topics and third paradigm of HCI, combining research methodologies from multiple HCI paradigms, including emergent users who have less access to technology, and addressing the cultural dimensions in order to provide better technical solutions and support.


title: A least-squares collocation method for nonlinear higher-index differential-algebraic equations

abstract: We introduce a direct numerical treatment of nonlinear higher-index differential-algebraic equations by means of overdetermined polynomial least-squares collocation. The procedure is not much more computationally expensive than standard collocation methods for regular ordinary differential equations. The numerical experiments show impressive results. In contrast, the theoretical basic concept turns out to be considerably challenging. So far, quite recently convergence proofs for linear problems have been published. In the present paper we come up to a first convergence result for nonlinear problems.


title: Condensers with infinitely many touching Borel plates and minimum energy problems

abstract: Defining a condenser in a locally compact space as a locally finite, countable collection of Borel sets $A_i$, $i\in I$, with the sign $s_i=\pm1$ prescribed such that $A_i\cap A_j=\varnothing$ whenever $s_is_j=-1$, we consider a minimum energy problem with an external field over infinite dimensional vector measures $(\mu^i)_{i\in I}$, where $\mu^i$ is a suitably normalized positive Radon measure carried by $A_i$ and such that $\mu^i\leqslant\xi^i$ for all $i\in I_0$, $I_0\subset I$ and constraints $\xi^i$, $i\in I_0$, being given. If $I_0=\varnothing$, the problem reduces to the (unconstrained) Gauss variational problem, which is in general unsolvable even for a condenser of two closed, oppositely signed plates in $\mathbb R^3$ and the Coulomb kernel. Nevertheless, we provide sufficient conditions for the existence of solutions to the stated problem in its full generality, establish the vague compactness of the solutions, analyze their uniqueness, describe their weighted potentials, and single out their characteristic properties. The strong and the vague convergence of minimizing nets to the minimizers is also studied. The phenomena of non-existence and non-uniqueness of solutions to the problem are illustrated by examples. The results obtained are new even for the classical kernels on $\mathbb R^n$, $n\geqslant2$, and closed $A_i$, $i\in I$, which is important for applications.


title: From Cyber-Security Deception To Manipulation and Gratification Through Gamification

abstract: With the ever growing networking capabilities and services offered to users, attack surfaces have been increasing exponentially, additionally, the intricacy of network architectures has increased the complexity of cyber-defenses, to this end, the use of deception has recently been trending both in academia and industry. Deception enables to create proactive defense systems, luring attackers in order to better defend the systems at hand. Current applications of deception, only rely on static, or low interactive environments. In this paper we present a platform that combines human-computer-interaction, analytics, gamification and deception to lure malicious users into selected traps while piquing their interests. Furthermore we analyse the interactive deceptive aspects of the platform through the addition of a narrative, further engaging malicious users into following a predefined path and deflecting attacks from key network systems.


title: Questions concerning differential-algebraic operators: Toward a reliable direct numerical treatment of differential-algebraic equations

abstract: The nature of so-called differential-algebraic operators and their approximations is constitutive for the direct treatment of higher-index differential-algebraic equations. We treat first-order differential-algebraic operators in detail and contribute to justify the overdetermined polynomial collocation applied to higher-index differential-algebraic equations. Besides, we discuss several practical aspects concerning higher-order differential-algebraic operators and the associated equations.


title: Feature quantization for parsimonious and interpretable predictive models

abstract: For regulatory and interpretability reasons, logistic regression is still widely used. To improve prediction accuracy and interpretability, a preprocessing step quantizing both continuous and categorical data is usually performed: continuous features are discretized and, if numerous, levels of categorical features are grouped. An even better predictive accuracy can be reached by embedding this quantization estimation step directly into the predictive estimation step itself. But doing so, the predictive loss has to be optimized on a huge set. To overcome this difficulty, we introduce a specific two-step optimization strategy: first, the optimization problem is relaxed by approximating discontinuous quantization functions by smooth functions; second, the resulting relaxed optimization problem is solved via a particular neural network. The good performances of this approach, which we call glmdisc, are illustrated on simulated and real data from the UCI library and Cr\'edit Agricole Consumer Finance (a major European historic player in the consumer credit market).


title: Piecewise polytropic meshing and refinement method for the reconstruction of the neutron star equation of state using tidal deformabilities and constraints in the piecewise polytropic parameters given by the GW170817 event

abstract: In this paper we present a new approach to the inverse problem for relativistic stars using the piecewise polytropic parametrization of the equation of state. The algorithm is a piecewise polytropic meshing and refinement method that reconstructs the neutron star equation of state from experimental data of the mass and the tidal Love parameter. We use an initial mesh of 65536 equations of state in a 4-volume of piecewise polytropic parameters that contains most of the candidate equations of state used today. The refinement process drives us to the reconstruction of the equation of state with a certain precision. Using the reconstructed equation of state, we calculate predictions for quasinormal modes and slow rotation parameters. In order to check the meshing and refinement method, we use as input data a few (6) configurations of a given equation of state. We reconstruct the equation of state in a quite good approximation, and then we compare the curves of physical parameters from the original equation of state and the reconstructed one. We obtain a relative difference for all the parameters smaller than 7.5%. We also study the constraints that impose the GW170817 event on the piecewise polytropic parameters $\{{\log_{10}p_1},{\Gamma_1},{\Gamma_2},{\Gamma_3}\}$. We use the waveform model TaylorF2 for the low-spin scenario, and see that the EOSs that lie outside the 90% credible region when ${\bar{\lambda}^{tid}_1}={\bar{\lambda}^{tid}_2}$ define a zone of polytropic parameters that does not depend on ${\Gamma_3}$.


title: Multi-adjoint concept lattices via quantaloid-enriched categories

abstract: With quantaloids carefully constructed from multi-adjoint frames, it is shown that multi-adjoint concept lattices, multi-adjoint property-oriented concept lattices and multi-adjoint object-oriented concept lattices are derivable from Isbell adjunctions, Kan adjunctions and dual Kan adjunctions between quantaloid-enriched categories, respectively.


title: Learning with Batch-wise Optimal Transport Loss for 3D Shape Recognition

abstract: Deep metric learning is essential for visual recognition. The widely used pair-wise (or triplet) based loss objectives cannot make full use of semantical information in training samples or give enough attention to those hard samples during optimization. Thus, they often suffer from a slow convergence rate and inferior performance. In this paper, we show how to learn an importance-driven distance metric via optimal transport programming from batches of samples. It can automatically emphasize hard examples and lead to significant improvements in convergence. We propose a new batch-wise optimal transport loss and combine it in an end-to-end deep metric learning manner. We use it to learn the distance metric and deep feature representation jointly for recognition. Empirical results on visual retrieval and classification tasks with six benchmark datasets, i.e., MNIST, CIFAR10, SHREC13, SHREC14, ModelNet10, and ModelNet40, demonstrate the superiority of the proposed method. It can accelerate the convergence rate significantly while achieving a state-of-the-art recognition performance. For example, in 3D shape recognition experiments, we show that our method can achieve better recognition performance within only 5 epochs than what can be obtained by mainstream 3D shape recognition approaches after 200 epochs.


title: LISA Pathfinder

abstract: Since the 2017 Nobel Prize in Physics was awarded for the observation of gravitational waves, it is fair to say that the epoch of gravitational wave astronomy (GWs) has begun. However, a number of interesting sources of GWs can only be observed from space. To demonstrate the feasibility of the Laser Interferometer Space Antenna (LISA), a future gravitational wave observatory in space, the LISA Pathfinder satellite was launched on December, 3rd 2015. Measurements of the spurious forces accelerating an otherwise free-falling test mass, and detailed investigations of the individual subsystems needed to achieve the free-fall, have been conducted throughout the mission. This overview article starts with the purpose and aim of the mission, explains satellite hardware and mission operations and ends with a summary of selected important results and an outlook towards LISA. From the LISA Pathfinder experience, we can conclude that the proposed LISA mission is feasible.


title: Smart Radio Environments Empowered by AI Reconfigurable Meta-Surfaces: An Idea Whose Time Has Come

abstract: Future wireless networks are expected to constitute a distributed intelligent wireless communications, sensing, and computing platform, which will have the challenging requirement of interconnecting the physical and digital worlds in a seamless and sustainable manner. Currently, two main factors prevent wireless network operators from building such networks: 1) the lack of control of the wireless environment, whose impact on the radio waves cannot be customized, and 2) the current operation of wireless radios, which consume a lot of power because new signals are generated whenever data has to be transmitted. In this paper, we challenge the usual "more data needs more power and emission of radio waves" status quo, and motivate that future wireless networks necessitate a smart radio environment: A transformative wireless concept, where the environmental objects are coated with artificial thin films of electromagnetic and reconfigurable material (that are referred to as intelligent reconfigurable meta-surfaces), which are capable of sensing the environment and of applying customized transformations to the radio waves. Smart radio environments have the potential to provide future wireless networks with uninterrupted wireless connectivity, and with the capability of transmitting data without generating new signals but recycling existing radio waves. This paper overviews the current research efforts on smart radio environments, the enabling technologies to realize them in practice, the need of new communication-theoretic models for their analysis and design, and the long-term and open research issues to be solved towards their massive deployment. In a nutshell, this paper is focused on discussing how the availability of intelligent reconfigurable meta-surfaces will allow wireless network operators to redesign common and well-known network communication paradigms.


title: Solving the Steiner Tree Problem in Graphs using Physarum-inspired Algorithms

abstract: Some biological experiments show that the tubular structures of Physarum polycephalum are often analogous to those of Steiner trees. Therefore, the emerging Physarum-inspired Algorithms (PAs) have the potential of computing Steiner trees. In this paper, we propose two PAs to solve the Steiner Tree Problem in Graphs (STPG). We apply some widely-used artificial and real-world VLSI design instances to evaluate the performance of our PAs. The experimental results show that: 1) for instances with hundreds of vertices, our first PA can find feasible solutions with an average error of 0.19%, while the Genetic Algorithm (GA), the Discrete Particle Swarm Optimization (DPSO) algorithm and a widely-used Steiner tree approximation algorithm: the Shortest Path Heuristic (SPH) algorithm can only find feasible solutions with an average error above 4.96%; and 2) for larger instances with up to tens of thousands of vertices, where our first PA, GA and DPSO are too slow to be used, our second PA can find feasible solutions with an average error of 3.69%, while SPH can only find feasible solutions with an average error of 6.42%. These experimental results indicate that PAs can compute Steiner trees, and it may be preferable to apply our PAs to solve STPG in some cases.


title: Fractional Brownian motion in a finite interval: correlations effect depletion or accretion zones of particles near boundaries

abstract: Fractional Brownian motion is a Gaussian stochastic process with stationary, long-time correlated increments and is frequently used to model anomalous diffusion processes. We study numerically fractional Brownian motion confined to a finite interval with reflecting boundary conditions. The probability density function of this reflected fractional Brownian motion at long times converges to a stationary distribution showing distinct deviations from the fully flat distribution of amplitude $1/L$ in an interval of length $L$ found for reflected normal Brownian motion. While for superdiffusion, corresponding to a mean squared displacement $\langle X^2(t)\rangle\simeq t^{\alpha}$ with $1<\alpha<2$, the probability density function is lowered in the centre of the interval and rises towards the boundaries, for subdiffusion ($0<\alpha<1$) this behaviour is reversed and the particle density is depleted close to the boundaries. The mean squared displacement in these cases at long times converges to a stationary value, which is, remarkably, monotonically increasing with the anomalous diffusion exponent $\alpha$. Our a priori surprising results may have interesting consequences for the application of fractional Brownian motion for processes such as molecule or tracer diffusion in the confined of living biological cells or organelles, or other viscoelastic environments such as dense liquids in microfluidic chambers.


title: Convergence analysis for parallel-in-time solution of hyperbolic systems

abstract: Parallel-in-time algorithms have been successfully employed for reducing time-to-solution of a variety of partial differential equations, especially for diffusive (parabolic-type) equations. A major failing of parallel-in-time approaches to date, however, is that most methods show instabilities or poor convergence for hyperbolic problems. This paper focuses on the analysis of the convergence behavior of multigrid methods for the parallel-in-time solution of hyperbolic problems. Three analysis tools are considered that differ, in particular, in the treatment of the time dimension: (1) space-time local Fourier analysis, using a Fourier ansatz in space and time, (2) semi-algebraic mode analysis, coupling standard local Fourier analysis approaches in space with algebraic computation in time, and (3) a two-level reduction analysis, considering error propagation only on the coarse time grid. In this paper, we show how insights from reduction analysis can be used to improve feasibility of the semi-algebraic mode analysis, resulting in a tool that offers the best features of both analysis techniques. Following validating numerical results, we investigate what insights the combined analysis framework can offer for two model hyperbolic problems, the linear advection equation in one space dimension and linear elasticity in two space dimensions.


title: Biotransformation and biological impact of graphene and graphene oxide during simulated oral ingestion

abstract: Graphene is an innovative nanomaterial, made of two-dimensional honeycomb-like carbon lattice, with potential in many different applications. Studying the behaviour of graphene-related materials (GRMs) in biological systems is, therefore, crucial to assess possible side effects. In this work is studied the biotransformation and biological impact of few-layer pristine graphene (FLG) and graphene oxide (GOX), following ingestion as exposure route. To mimic FLG and GOX ingestion, an in vitro digestion assay based on a standardized operating procedure (SOP) is applied. The assay simulates the human ingestion of GRMs during their dynamic passage through the different environments of gastrointestinal (GI) tract (salivary, gastric, intestinal). Physical-chemical changes of GRMs during the digestion process are assessed through a detailed Raman spectroscopy characterization. Moreover, the effect of chronic exposure to digested GRMs on integrity and functionality of an in vitro model of intestinal barrier is also determined according to a second SOP. Our results showed that the FLG and GOX nanoflakes aggregates after experiencing the passage through the different environments of GI tract, with evident doping effects, due to the interaction of GRMs with digestive juice components and the strong pH variations. Interestingly, neither structural changes nor degradation of the nanomaterials is observed, suggesting that GRMs are bio-persistent nanomaterials when administered by oral route. Chronic exposure to digested GRMs does not affect intestinal barrier integrity and is not associated to inflammation and cytotoxicity, though possible long-term adverse effects cannot be ruled out, due to the observed bio-durability of the materials.


title: Precise optical timing of PSR J1023+0038, the first millisecond pulsar detected with Aqueye+ in Asiago

abstract: We report the first detection of an optical millisecond pulsar with the fast photon counter Aqueye+ in Asiago. This is an independent confirmation of the detection of millisecond pulsations from PSR J1023+0038 obtained with SiFAP at the Telescopio Nazionale Galileo. We observed the transitional millisecond pulsar PSR J1023+0038 with Aqueye+ mounted at the Copernicus telescope in January 2018. Highly significant pulsations were detected. The rotational period is in agreement with the value extrapolated from the X-ray ephemeris, while the time of passage at the ascending node is shifted by $11.55 \pm 0.08$ s from the value predicted using the orbital period from the X-rays. An independent optical timing solution is derived over a baseline of a few days, that has an accuracy of $\sim 0.007$ in pulse phase ($\sim 12$ $\mu$s in time). This level of precision is needed to derive an accurate coherent timing solution for the pulsar and to search for possible phase shifts between the optical and X-ray pulses using future simultaneous X-ray and optical observations.


title: Grothendieck's inequalities for JB$^*$-triples: Proof of the Barton-Friedman conjecture

abstract: We prove that, given a constant $K> 2$ and a bounded linear operator $T$ from a JB$^*$-triple $E$ into a complex Hilbert space $H$, there exists a norm-one functional $\psi\in E^*$ satisfying $$\|T(x)\| \leq K \, \|T\| \, \|x\|_{\psi},$$ for all $x\in E$. Applying this result we show that, given $G > 8 (1+2\sqrt{3})$ and a bounded bilinear form $V$ on the Cartesian product of two JB$^*$-triples $E$ and $B$, there exist norm-one functionals $\varphi\in E^{*}$ and $\psi\in B^{*}$ satisfying $$|V(x,y)| \leq G \ \|V\| \, \|x\|_{\varphi} \, \|y\|_{\psi}$$ for all $(x,y)\in E \times B$. These results prove a conjecture pursued during almost twenty years.


title: A homogeneous sample of 34 000 M7-M9.5 dwarfs brighter than $J$=17.5 with accurate spectral types

abstract: The space density of late M dwarfs, subtypes M7-M9.5, is not well determined. We applied the photo-type method to $iz$ photometry from the Sloan Digital Sky Survey and $YJHK$ photometry from the UKIRT Infrared Deep Sky Survey, over an effective area of 3070 $deg^{2}$, to produce a new, bright $J$(Vega) < 17.5, homogeneous sample of 33 665 M7-M9.5 dwarfs. The typical S/N of each source summed over the six bands is > 100. Classifications are provided to the nearest half spectral subtype. Through a comparison with the classifications in the BOSS Ultracool Dwarfs (BUD) spectroscopic sample, the typing is shown to be accurately calibrated to the BUD classifications and the precision is better than 0.5 subtypes rms; i.e. the photo-type classifcations are as precise as good spectroscopic classifications. Sources with large $\chi^2$ > 20 include several catalogued late-type subdwarfs. The new sample of late M dwarfs is highly complete, but there is a bias in the classification of rare peculiar blue or red objects. For example, L subdwarfs are misclassified towards earlier types by approximately two spectral subtypes. We estimate that this bias only affects ~1% of the course. Therefore the sample is well suited to measure the luminsoity function and investigate the softening towards the Galactic plane of the exponential variation of density with height.


title: Exploring New Physics from nu_tau events in OPERA

abstract: We analyze in details the impact of the $10$ $\nu_\tau$ events seen in the OPERA experiment in constraining the Non Standard Interaction parameter $\varepsilon_{\mu\tau}$ affecting neutrino propagation in matter and the allowed parameter space of models with one sterile neutrino of the $3+1$ type.


title: Mediating role of managing information technology and its impact on firm performance: insight from China

abstract: Purpose: Managing IT with firm performance has always been a debatable topic in literature and practice. Prior studies examining the above relationship have reported mixed results and have yet ignored the eminent managing IT practices. The purpose of this paper is to empirically investigate the relevance of ValIT 2.0 practice in managing IT investment, and its mediating role in the firm performance context. Design,methodology,approach:This paper developed on two themes of literature. First managing IT as a firm's IT capability in order to generate value from IT investment. Second IT as a firm's resource under resource-based view offers firm's competence that deploys potentials in achieving firm performance. The structural equation modeling with PLS techniques used for analyzing data collected from 176 organization's IT, and business executives in China. Findings: The results of this study show empirical evidence that Val-IT's components (value governance, portfolio management, and investment management) are significantly linked to the management of IT, and it found to be a significant mediator between Val-IT components and firm performance. Research implications: This research contributes to the literature and practice by way of highlighting the value generation through managing IT on firm performance. Originality: This study is fully based on ValIT 2.0 with the firm performance where the managing IT mediate this relationship in a country-specific study in China. This study adds to the Chinese information system literature which suffers the lack of empirical studies in the context of management of IT research.


title: Matching of turn pattern measurements for cyclotrons using multi-objective optimization

abstract: The usage of numerical models to study the evolution of particle beams is an essential step in the design process of particle accelerators However, uncertainties of input quantities such as beam energy and magnetic field lead to simulation results that do not fully agree with measurements, hence the final machine will behave slightly differently than the simulations In case of cyclotrons such discrepancies affect the overall turn pattern or may even alter the number of turns in the machine Inaccuracies at the PSI Ring cyclotron facility that may harm the isochronism are compensated by additional magnetic fields provided by 18 trim coils These are often absent from simulations or their implementation is very simplistic In this paper a newly developed realistic trim coil model within the particle accelerator framework OPAL is presented that was used to match the turn pattern of the PSI Ring cyclotron Due to the high-dimensional search space consisting of 48 design variables (simulation input parameters) and 182 objectives (i.e turns) simulation and measurement cannot be matched in a straightforward manner Instead, an evolutionary multi-objective optimisation with a population size of more than 8000 individuals per generation together with a local search approach were applied that reduced the maximum absolute error to 4.54 mm over all 182 turns.


title: An empirical analysis of exact algorithms for the unbounded knapsack problem

abstract: This work presents an empirical analysis of exact algorithms for the unbounded knapsack problem, which includes seven algorithms from the literature, two commercial solvers, and more than ten thousand instances. The terminating step-off, a dynamic programming algorithm from 1966, presented the lowest mean time to solve the most recent benchmark from the literature. The threshold and collective dominances are properties of the unbounded knapsack problem first discussed in 1998, and exploited by the current state-of-the-art algorithms. The terminating step-off algorithm did not exploit such dominances, but has an alternative mechanism for dealing with dominances which does not explicitly exploits collective and threshold dominances. Also, the pricing subproblems found when solving hard cutting stock problems with column generation can cause branch-and-bound algorithms to display worst-case times. The authors present a new class of instances which favors the branch-and-bound approach over the dynamic programming approach but do not have high amounts of simple, multiple and collective dominated items. This behaviour illustrates how the definition of hard instances changes among algorithm approachs. The codes used for solving the unbounded knapsack problem and for instance generation are all available online.


title: Time reversal invariance violation in neutron-nucleus scattering

abstract: Planning and interpretation of the experiments searching for the time reversal (T) and parity (P) violation in neutron reactions require values of the matrix elements of the T,P-violating nuclear forces between nuclear compound states. We calculate the root mean square values and the ratio of the matrix elements of the T,P-violating and P-violating interactions using statistical theory based on the properties of chaotic compound states and present the results in terms of the fundamental parameters in four different forms: in terms of the constants of the contact nuclear interaction, meson exchange constants, QCD theta-term and quark chromo-EDMs. Using current limits on these parameters, we obtain the upper bounds on the ratio of the matrix elements.


title: Algebraic Channel Estimation Algorithms for FDD Massive MIMO systems

abstract: We consider downlink (DL) channel estimation for frequency division duplex based massive MIMO systems under the multipath model. Our goal is to provide fast and accurate channel estimation from a small amount of DL training overhead. Prior art tackles this problem using compressive sensing or classic array processing techniques (e.g., ESPRIT and MUSIC). However, these methods have challenges in some scenarios, e.g., when the number of paths is greater than the number of receive antennas. Tensor factorization methods can also be used to handle such challenging cases, but it is hard to solve the associated optimization problems. In this work, we propose an efficient channel estimation framework to circumvent such difficulties. Specifically, a structural training sequence that imposes a tensor structure on the received signal is proposed. We show that with such a training sequence, the parameters of DL MIMO channels can be provably identified even when the number of paths largely exceeds the number of receive antennas---under very small training overhead. Our approach is a judicious combination of Vandermonde tensor algebra and a carefully designed conjugate-invariant training sequence. Unlike existing tensor-based channel estimation methods that involve hard optimization problems, the proposed approach consists of very lightweight algebraic operations, and thus real-time implementation is within reach. Simulation results are carried out to showcase the effectiveness of the proposed methods.


title: Irreversible Langevin MCMC on Lie Groups

abstract: It is well-known that irreversible MCMC algorithms converge faster to their stationary distributions than reversible ones. Using the special geometric structure of Lie groups $\mathcal G$ and dissipation fields compatible with the symplectic structure, we construct an irreversible HMC-like MCMC algorithm on $\mathcal G$, where we first update the momentum by solving an OU process on the corresponding Lie algebra $\mathfrak g$, and then approximate the Hamiltonian system on $\mathcal G \times \mathfrak g$ with a reversible symplectic integrator followed by a Metropolis-Hastings correction step. In particular, when the OU process is simulated over sufficiently long times, we recover HMC as a special case. We illustrate this algorithm numerically using the example $\mathcal G = SO(3)$.


title: Notes on flat pseudo-Riemannian manifolds

abstract: In these notes we survey basic concepts of affine geometry and their interaction with Riemannian geometry. We give a characterization of affine manifolds which has as counterpart those pseudo-Riemannian manifolds whose Levi-Civita connection is flat. We show that no connected semisimple Lie group admits a left invariant flat affine connection. We characterize flat pseudo-Riemannian Lie groups. For a flat left-invariant pseudo-metric on a Lie group, we show the equivalence between the completeness of the Levi-Civita connection and unimodularity of the group. We emphasize the case of flat left invariant hyperbolic metrics on the cotangent bundle of a simply connected flat affine Lie group. We also discuss Lie groups with bi-invariant pseudo-metrics and the construction of orthogonal Lie algebras.


title: Dynamic Power Management for Neuromorphic Many-Core Systems

abstract: This work presents a dynamic power management architecture for neuromorphic many core systems such as SpiNNaker. A fast dynamic voltage and frequency scaling (DVFS) technique is presented which allows the processing elements (PE) to change their supply voltage and clock frequency individually and autonomously within less than 100 ns. This is employed by the neuromorphic simulation software flow, which defines the performance level (PL) of the PE based on the actual workload within each simulation cycle. A test chip in 28 nm SLP CMOS technology has been implemented. It includes 4 PEs which can be scaled from 0.7 V to 1.0 V with frequencies from 125 MHz to 500 MHz at three distinct PLs. By measurement of three neuromorphic benchmarks it is shown that the total PE power consumption can be reduced by 75%, with 80% baseline power reduction and a 50% reduction of energy per neuron and synapse computation, all while maintaining temporary peak system performance to achieve biological real-time operation of the system. A numerical model of this power management model is derived which allows DVFS architecture exploration for neuromorphics. The proposed technique is to be used for the second generation SpiNNaker neuromorphic many core system.