title: Comment on a zero-thermal-quenching phosphor

abstract: Kim and co-authors in a recent article reported a phosphor Na3-2xSc2(PO4)3:xEu2+ (NSPO:xEu2+) that did not exhibit thermal quenching (TQ) even up to 200 degree Celsius. The authors suggested that zero-TQ originates from the compensation of emission losses due to the polymorphic nature of the host and the energy transfer from traps consisting of electron-hole pairs to the 5d-band of Eu2+, leading to radiative recombination. The temperature-dependent excitation and emission spectra seemingly supported the authors' assertion. However, a close inspection of the CIE chromaticity coordinates and correlated color temperature (CCT) the WLED prototype fabricated using NSPO:0.03Eu2+ , La3Si6N11:Ce3+ and (SrCa)AlSiN3:Eu2+ as a blue, yellow and red-emitting component respectively (abbreviated as WLED device hereafter) under operating currents of 100-1000 mA alongside a series of optical characterization results of NSPO:xEu2+ indicates that the so-called zero-TQ should not be the case. There were some questionable points in optical characterization of the phosphors. The observed increase in intensity upon elevating temperature in the temperature-dependent excitation and emission spectra was likely a pitfall caused by optical path length variation of the spectrofluorimeter induced by lattice thermal expansion and phase transitions.


title: An Empirical Evaluation of Text Representation Schemes on Multilingual Social Web to Filter the Textual Aggression

abstract: This paper attempt to study the effectiveness of text representation schemes on two tasks namely: User Aggression and Fact Detection from the social media contents. In User Aggression detection, The aim is to identify the level of aggression from the contents generated in the Social media and written in the English, Devanagari Hindi and Romanized Hindi. Aggression levels are categorized into three predefined classes namely: `Non-aggressive`, `Overtly Aggressive`, and `Covertly Aggressive`. During the disaster-related incident, Social media like, Twitter is flooded with millions of posts. In such emergency situations, identification of factual posts is important for organizations involved in the relief operation. We anticipated this problem as a combination of classification and Ranking problem. This paper presents a comparison of various text representation scheme based on BoW techniques, distributed word/sentence representation, transfer learning on classifiers. Weighted $F_1$ score is used as a primary evaluation metric. Results show that text representation using BoW performs better than word embedding on machine learning classifiers. While pre-trained Word embedding techniques perform better on classifiers based on deep neural net. Recent transfer learning model like ELMO, ULMFiT are fine-tuned for the Aggression classification task. However, results are not at par with pre-trained word embedding model. Overall, word embedding using fastText produce best weighted $F_1$-score than Word2Vec and Glove. Results are further improved using pre-trained vector model. Statistical significance tests are employed to ensure the significance of the classification results. In the case of lexically different test Dataset, other than training Dataset, deep neural models are more robust and perform substantially better than machine learning classifiers.


title: Uncovering convolutional neural network decisions for diagnosing multiple sclerosis on conventional MRI using layer-wise relevance propagation

abstract: Machine learning-based imaging diagnostics has recently reached or even superseded the level of clinical experts in several clinical domains. However, classification decisions of a trained machine learning system are typically non-transparent, a major hindrance for clinical integration, error tracking or knowledge discovery. In this study, we present a transparent deep learning framework relying on convolutional neural networks (CNNs) and layer-wise relevance propagation (LRP) for diagnosing multiple sclerosis (MS). MS is commonly diagnosed utilizing a combination of clinical presentation and conventional magnetic resonance imaging (MRI), specifically the occurrence and presentation of white matter lesions in T2-weighted images. We hypothesized that using LRP in a naive predictive model would enable us to uncover relevant image features that a trained CNN uses for decision-making. Since imaging markers in MS are well-established this would enable us to validate the respective CNN model. First, we pre-trained a CNN on MRI data from the Alzheimer's Disease Neuroimaging Initiative (n = 921), afterwards specializing the CNN to discriminate between MS patients and healthy controls (n = 147). Using LRP, we then produced a heatmap for each subject in the holdout set depicting the voxel-wise relevance for a particular classification decision. The resulting CNN model resulted in a balanced accuracy of 87.04% and an area under the curve of 96.08% in a receiver operating characteristic curve. The subsequent LRP visualization revealed that the CNN model focuses indeed on individual lesions, but also incorporates additional information such as lesion location, non-lesional white matter or gray matter areas such as the thalamus, which are established conventional and advanced MRI markers in MS. We conclude that LRP and the proposed framework have the capability to make diagnostic decisions of...


title: Excitation of the electric pygmy dipole resonance by inelastic electron scattering

abstract: To complete earlier studies of the properties of the electric pygmy dipole resonance (PDR) obtained in various nuclear reactions, the excitation of the 1$^-$ states in $^{140}$Ce by $(e,e')$ scattering for momentum transfers $q=0.1-1.2$~fm$^{-1}$ is calculated within the plane-wave and distorted-wave Born approximations. The excited states of the nucleus are described within the Quasiparticle Random Phase Approximation (QRPA), but also within the Quasiparticle-Phonon Model (QPM) by accounting for the coupling to complex configurations. It is demonstrated that the excitation mechanism of the PDR states in $(e,e')$ reactions is predominantly of transversal nature for scattering angles $\theta_e \approx 90^o-180^o$. Being thus mediated by the convection and spin nuclear currents, the $(e,e')$ like the $(\gamma,\gamma')$ reaction, may provide additional information to the one obtained from Coulomb- and hadronic excitations of the PDR in $(p,p')$, $(\alpha,\alpha')$, and heavy-ion scattering reactions. The calculations predict that the $(e,e')$ cross sections for the strongest individual PDR states are in general about three orders of magnitude smaller as compared to the one of the lowest $2^+_1$ state for the studied kinematics, but that they may become dominant at extreme backward angles.


title: DDNet: Cartesian-polar Dual-domain Network for the Joint Optic Disc and Cup Segmentation

abstract: Existing joint optic disc and cup segmentation approaches are developed either in Cartesian or polar coordinate system. However, due to the subtle optic cup, the contextual information exploited from the single domain even by the prevailing CNNs is still insufficient. In this paper, we propose a novel segmentation approach, named Cartesian-polar dual-domain network (DDNet), which for the first time considers the complementary of the Cartesian domain and the polar domain. We propose a two-branch of domain feature encoder and learn translation equivariant representations on rectilinear grid from Cartesian domain and rotation equivariant representations on polar grid from polar domain parallelly. To fuse the features on two different grids, we propose a dual-domain fusion module. This module builds the correspondence between two grids by the differentiable polar transform layer and learns the feature importance across two domains in element-wise to enhance the expressive capability. Finally, the decoder aggregates the fused features from low-level to high-level and makes dense predictions. We validate the state-of-the-art segmentation performances of our DDNet on the public dataset ORIGA. According to the segmentation masks, we estimate the commonly used clinical measure for glaucoma, i.e., the vertical cup-to-disc ratio. The low cup-to-disc ratio estimation error demonstrates the potential application in glaucoma screening.


title: Decoding High-Order Interleaved Rank-Metric Codes

abstract: This paper presents an algorithm for decoding homogeneous interleaved codes of high interleaving order in the rank metric. The new decoder is an adaption of the Hamming-metric decoder by Metzner and Kapturowski (1990) and guarantees to correct all rank errors of weight up to $d-2$ whose rank over the large base field of the code equals the number of errors, where $d$ is the minimum rank distance of the underlying code. In contrast to previously-known decoding algorithms, the new decoder works for any rank-metric code, not only Gabidulin codes. It is purely based on linear-algebraic computations, and has an explicit and easy-to-handle success condition. Furthermore, a lower bound on the decoding success probability for random errors of a given weight is derived. The relation of the new algorithm to existing interleaved decoders in the special case of Gabidulin codes is given.


title: Few Shot Speaker Recognition using Deep Neural Networks

abstract: The recent advances in deep learning are mostly driven by availability of large amount of training data. However, availability of such data is not always possible for specific tasks such as speaker recognition where collection of large amount of data is not possible in practical scenarios. Therefore, in this paper, we propose to identify speakers by learning from only a few training examples. To achieve this, we use a deep neural network with prototypical loss where the input to the network is a spectrogram. For output, we project the class feature vectors into a common embedding space, followed by classification. Further, we show the effectiveness of capsule net in a few shot learning setting. To this end, we utilize an auto-encoder to learn generalized feature embeddings from class-specific embeddings obtained from capsule network. We provide exhaustive experiments on publicly available datasets and competitive baselines, demonstrating the superiority and generalization ability of the proposed few shot learning pipelines.


title: Gravitational lensing around Kehagias-Sfetsos compact objects surrounded by plasma

abstract: We study the optical properties of the Kehagias-Sfetsos (KS) compact objects, characterized by the "Ho\v{r}ava" parameter $\omega_{_{KS}}$, in the presence of plasma, considering its homogeneous or power-law density distribution. The strong effects of both "Ho\v{r}ava" parameter $\omega_{_{KS}}$ and plasma on the shadow cast by the KS compact objects are demonstrated. Using the weak field approximation, we investigate the gravitational lensing effect. Strong dependence of the deflection angle of the light on both the "Ho\v{r}ava" and plasma parameter is explicitly shown. The magnification of image source due to the weak gravitational lensing is given for both the homogeneous and inhomogeneous plasma.


title: Practical security of continuous-variable quantum key distribution with reduced optical attenuation

abstract: In a practical CVQKD system, the optical attenuator can adjust the Gaussian-modulated coherent states and the local oscillator signal to an optimal value for guaranteeing the security of the system and optimizing the performance of the system. However, the performance of the optical attenuator may deteriorate due to the intentional and unintentional damage of the device. In this paper, we investigate the practical security of a CVQKD system with reduced optical attenuation. We find that the secret key rate of the system may be overestimated based on the investigation of parameter estimation under the effects of reduced optical attenuation. This opens a security loophole for Eve to successfully perform an intercept-resend attack in a practical CVQKD system. To close this loophole, we add an optical fuse at Alice's output port and design a scheme to monitor the level of optical attenuation in real time, which can make the secret key rate of the system evaluated precisely. The analysis shows that these countermeasures can effectively resist this potential attack.


title: Herdability of Linear Systems Based on Sign Patterns and Graph Structures

abstract: We consider the notion of herdability, a set-based reachability condition, which asks whether the state of a system can be controlled to be element-wise larger than a non-negative threshold. First a number of foundational results on herdability of a continuous time, linear time invariant system are presented. These show that the herdability of a linear system can be determined based on certain matrices, such as the controllability matrix, which arise in the study of controllability of linear systems. Second, the relationship between the sign pattern of the underlying graph structure of a system and the herdability properties of the system is investigated. In doing so the notion of sign herdability is introduced which captures classes of systems whose sign pattern determines their herdability. We identify a set of conditions, first on the sign pattern of the controllability matrix and then on the underlying graph structure, that ensure that the system is sign herdable.


title: SpecAugment: A Simple Data Augmentation Method for Automatic Speech Recognition

abstract: We present SpecAugment, a simple data augmentation method for speech recognition. SpecAugment is applied directly to the feature inputs of a neural network (i.e., filter bank coefficients). The augmentation policy consists of warping the features, masking blocks of frequency channels, and masking blocks of time steps. We apply SpecAugment on Listen, Attend and Spell networks for end-to-end speech recognition tasks. We achieve state-of-the-art performance on the LibriSpeech 960h and Swichboard 300h tasks, outperforming all prior work. On LibriSpeech, we achieve 6.8% WER on test-other without the use of a language model, and 5.8% WER with shallow fusion with a language model. This compares to the previous state-of-the-art hybrid system of 7.5% WER. For Switchboard, we achieve 7.2%/14.6% on the Switchboard/CallHome portion of the Hub5'00 test set without the use of a language model, and 6.8%/14.1% with shallow fusion, which compares to the previous state-of-the-art hybrid system at 8.3%/17.3% WER.


title: No-arbitrage with multiple-priors in discrete time

abstract: In a discrete time and multiple-priors setting, we propose a new characterisation of the condition of quasi-sure no-arbitrage which has become a standard assumption. This characterisation shows that it is indeed a well-chosen condition being equivalent to several previously used alternative notions of no-arbitrage and allowing the proof of important results in mathematical finance. We also revisit the so-called geometric and quantitative no-arbitrage conditions and explicit two important examples where all these concepts are illustrated.


title: A line-binned treatment of opacities for the spectra and light curves from neutron star mergers

abstract: The electromagnetic observations of GW170817 were able to dramatically increase our understanding of neutron star mergers beyond what we learned from gravitational waves alone. These observations provided insight on all aspects of the merger from the nature of the gamma-ray burst to the characteristics of the ejected material. The ejecta of neutron star mergers are expected to produce such electromagnetic transients, called kilonovae or macronovae. Characteristics of the ejecta include large velocity gradients, relative to supernovae, and the presence of heavy $r$-process elements, which pose significant challenges to the accurate calculation of radiative opacities and radiation transport. For example, these opacities include a dense forest of bound-bound features arising from near-neutral lanthanide and actinide elements. Here we investigate the use of fine-structure, line-binned opacities that preserve the integral of the opacity over frequency. Advantages of this area-preserving approach over the traditional expansion-opacity formalism include the ability to pre-calculate opacity tables that are independent of the type of hydrodynamic expansion and that eliminate the computational expense of calculating opacities within radiation-transport simulations. Tabular opacities are generated for all 14 lanthanides as well as a representative actinide element, uranium. We demonstrate that spectral simulations produced with the line-binned opacities agree well with results produced with the more accurate continuous Monte Carlo Sobolev approach, as well as with the commonly used expansion-opacity formalism. Additional investigations illustrate the convergence of opacity with respect to the number of included lines, and elucidate sensitivities to different atomic physics approximations, such as fully and semi-relativistic approaches.


title: Quantum mechanical equivalence of the metrics of a centrally symmetric gravitational field

abstract: We analyze the quantum mechanical equivalence of the metrics of a centrally symmetric uncharged gravitational field. We consider the static Schwarzschild metric in spherical and isotropic coordinates, the stationary Eddington-Finkelstein and Painlev\'e-Gullstrand metrics, and nonstationary Lema\^itre-Finkelstein and Kruskal-Szekeres metrics. When the real radial functions of the Dirac equation and of the second-order equation in the Schwarzschild field are used, the domain of wave functions is restricted to the range $r>r_{0}$, where $r_{0}$ is the radius of the event horizon. A corresponding constraint also exists in other coordinates for all considered metrics. For the considered metrics, the second-order equations admit the existence of degenerate stationary bound states of fermions with zero energy. As a result, we prove that physically meaningful results for a quantum mechanical description of a particle interaction with a gravitational filed are independent of the choice of a solution for the centrally symmetric static gravitational field used.


title: Evaluating the Underlying Gender Bias in Contextualized Word Embeddings

abstract: Gender bias is highly impacting natural language processing applications. Word embeddings have clearly been proven both to keep and amplify gender biases that are present in current data sources. Recently, contextualized word embeddings have enhanced previous word embedding techniques by computing word vector representations dependent on the sentence they appear in. In this paper, we study the impact of this conceptual change in the word embedding computation in relation with gender bias. Our analysis includes different measures previously applied in the literature to standard word embeddings. Our findings suggest that contextualized word embeddings are less biased than standard ones even when the latter are debiased.


title: Efficient Motion Planning for Automated Lane Change based on Imitation Learning and Mixed-Integer Optimization

abstract: Intelligent motion planning is one of the core components in automated vehicles, which has received extensive interests. Traditional motion planning methods suffer from several drawbacks in terms of optimality, efficiency and generalization capability. Sampling based methods cannot guarantee the optimality of the generated trajectories. Whereas the optimization-based methods are not able to perform motion planning in real-time, and limited by the simplified formalization. In this work, we propose a learning-based approach to handle those shortcomings. Mixed Integer Quadratic Problem based optimization (MIQP) is used to generate the optimal lane-change trajectories which served as the training dataset for learning-based action generation algorithms. A hierarchical supervised learning model is devised to make the fast lane-change decision. Numerous experiments have been conducted to evaluate the optimality, efficiency, and generalization capability of the proposed approach. The experimental results indicate that the proposed model outperforms several commonly used motion planning baselines.


title: Realizability in the Unitary Sphere

abstract: In this paper we present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a long standing issue. We derive from the semantics a set of typing rules for a simply-typed linear algebraic lambda-calculus, and show how it extends both to classical and quantum lambda-calculi.


title: Structured Jets and X-ray Plateaus in Gamma-Ray Burst Phenomena

abstract: The first multi-messenger detection of a binary neutron star merger, GW170817, brought to the forefront the structured jet model as a way to explain multi-wavelength observations taken more than a year after the event. Here we show that the high-latitude emission from a structured jet can naturally produce an X-ray plateau in gamma-ray burst (GRB) light curves, independent of the radiation from an external shock. We calculate the radiation from a switched-off shell featuring an angular structure in both its relativistic bulk motion and intrinsic brightness. Our model is able to explain the shallow decay phase (plateau) often observed in GRB X-ray light curves. We discuss the possible contribution of the structured jet high-latitude emission to other distinctive features of GRB X-ray light curves, and its capability to explain the chromatic optical/X-ray light curve properties.


title: Resilient Distributed Field Estimation

abstract: We study resilient distributed field estimation under measurement attacks. A network of agents or devices measures a large, spatially distributed physical field parameter. An adversary arbitrarily manipulates the measurements of some of the agents. Each agent's goal is to process its measurements and information received from its neighbors to estimate only a few specific components of the field. We present $\mathbf{SAFE}$, the Saturating Adaptive Field Estimator, a consensus+innovations distributed field estimator that is resilient to measurement attacks. Under sufficient conditions on the compromised measurement streams, the physical coupling between the field and the agents' measurements, and the connectivity of the cyber communication network, $\mathbf{SAFE}$ guarantees that each agent's estimate converges almost surely to the true value of the components of the parameter in which the agent is interested. Finally, we illustrate the performance of $\mathbf{SAFE}$ through numerical examples.


title: Isochronous Partitions for Region-Based Self-Triggered Control

abstract: In this work, we propose a region-based self-triggered control (STC) scheme for nonlinear systems. The state space is partitioned into a finite number of regions, each of which is associated to a uniform inter-event time. The controller, at each sampling time instant, checks to which region does the current state belong, and correspondingly decides the next sampling time instant. To derive the regions along with their corresponding inter-event times, we use approximations of isochronous manifolds, a notion firstly introduced in [1]. This work addresses some theoretical issues of [1] and proposes an effective computational approach that generates approximations of isochronous manifolds, thus enabling the region-based STC scheme. The efficiency of both our theoretical results and the proposed algorithm are demonstrated through simulation examples.


title: Asymptotic behavior of density in the boundary-driven exclusion process on the Sierpinski gasket

abstract: We derive the macroscopic laws that govern the evolution of the density of particles in the exclusion process on the Sierpinski gasket in the presence of a variable speed boundary. We obtain, at the hydrodynamics level, the heat equation evolving on the Sierpinski gasket with either Dirichlet or Neumann boundary conditions, depending on whether the reservoirs are fast or slow. For a particular strength of the boundary dynamics we obtain linear Robin boundary conditions. As for the fluctuations, we prove that, when starting from the stationary measure, namely the product Bernoulli measure in the equilibrium setting, they are governed by Ornstein-Uhlenbeck processes with the respective boundary conditions.

categories: math.PR cond-mat.stat-mech math-ph math.AP math.MP


title: Intrusion Detection Mechanism Using Fuzzy Rule Interpolation

abstract: Fuzzy Rule Interpolation (FRI) methods can serve deducible (interpolated) conclusions even in case if some situations are not explicitly defined in a fuzzy rule based knowledge representation. This property can be beneficial in partial heuristically solved applications; there the efficiency of expert knowledge representation is mixed with the precision of machine learning methods. The goal of this paper is to introduce the benefits of FRI in the Intrusion Detection Systems (IDS) application area, in the design and implementation of the detection mechanism for Distributed Denial of Service (DDOS) attacks. In the example of the paper as a test-bed environment an open source DDOS dataset and the General Public License (GNU) FRI Toolbox was applied. The performance of the FRI-IDS example application is compared to other common classification algorithms used for detecting DDOS attacks on the same open source test-bed environment. According to the results, the overall detection rate of the FRI-IDS is in pair with other methods. On the example dataset it outperforms the detection rate of the support vector machine algorithm, whereas other algorithms (neural network, random forest and decision tree) recorded lightly higher detection rate. Consequently, the FRI inference system could be a suitable approach to be implemented as a detection mechanism for IDS; it effectively decreases the false positive rate value. Moreover, because of its fuzzy rule base knowledge representation nature, it can easily adapt expert knowledge, and also be-suitable for predicting the level of degree for threat possibility.


title: Why do some probabilistic forecasts lack reliability?

abstract: In this work, we investigate the reliability of the probabilistic binary forecast. We mathematically prove that a necessary, but not sufficient, condition for achieving a reliable probabilistic forecast is maximizing the Peirce skill score (PSS) at the threshold probability of the climatological base rate. The condition is confirmed by using artificially synthesized forecast-outcome pair data and previously published probabilistic solar flare forecast models. The condition gives a partial answer as to why some probabilistic forecast system lack reliability, because the system, which does not satisfy the proved condition, can never be reliable. Therefore, the proved condition is very important for the developers of a probabilistic forecast system. The result implies that those who want to develop a reliable probabilistic forecast system must adjust or train the system so as to maximize PSS near the threshold probability of the climatological base rate.

categories: physics.space-ph astro-ph.EP astro-ph.SR physics.ao-ph physics.data-an


title: Insight into the magnetic behavior of Sr$_2$IrO$_4$:A spontaneous magnetization study

abstract: Sr$_2$IrO$_4$ is a weak ferromagnet where the spin arrangement is canted anti-ferromagnetic (AF). Moreover, the spin-structure coupling plays and important role in magnetic behavior of Sr$_2$IrO$_4$. In this concern the magnetization under zero applied field i.e. spontaneous magnetization would be interesting to study and would give insight into the novel magnetic behavior of Sr$_2$IrO$_4$. Sophisticated techniques like neutron diffraction, $\mu$ \textit{SR} etc has been used to understand the magnetic behavior of Sr$_2$IrO$_4$ under zero applied field. To understand the magnetic behavior we have performed detail field and temperature dependent magnetization study, the measured field and temperature dependent magnetic data is analyzed rigorously. We have attempted the understand the temperature dependance of spontaneous magnetization, remanent magnetization and coercive force. We observe that the spontaneous magnetization extracted from Arrott plot shows that the Sr$_2$IrO$_4$ is not an ideal ferromagnet. The temperature dependent coercive field is found to follows Guant's model of strong domain wall pinning. Our investigation explicit the temperature dependence of various magnetic properties shows the magnetic transitions from paramagnetic to ferromagnetic phase with $T_c$ around 225 K and a low temperature evolution of magnetic magnetic moment around $T_M$ $\sim$90 K.


title: Algebraic Structure of Diffeomorphism Groups of One-Manifolds

abstract: It is a celebrated result of Mather that the group of $C^k$--diffeomorphisms of an $n$--manifold is simple, provided that a mild isotopy condition is satisfied, with the possible exception of $k=n+1$. The purpose of this article is mostly expository, and in it we give a detailed account of Mather's proof in the case when $n=1$.


title: Measurement of $\mathcal{R}(D)$ and $\mathcal{R}(D^{\ast})$ with a semileptonic tagging method

abstract: We report a measurement of the ratios of branching fractions $\mathcal{R}(D) = {\cal B}(\bar{B} \to D \tau^- \bar{\nu}_{\tau})/{\cal B}(\bar{B} \to D \ell^- \bar{\nu}_{\ell})$ and $\mathcal{R}(D^{\ast}) = {\cal B}(\bar{B} \to D^* \tau^- \bar{\nu}_{\tau})/{\cal B}(\bar{B} \to D^* \ell^- \bar{\nu}_{\ell})$, where $\ell$ denotes an electron or a muon. The results are based on a data sample containing $772\times10^6$ $B\bar{B}$ events recorded at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB $e^+ e^-$ collider. The analysis utilizes a method where the tag-side $B$ meson is reconstructed in a semileptonic decay mode, and the signal-side $\tau$ is reconstructed in a purely leptonic decay. The measured values are $\mathcal{R}(D)= 0.307 \pm 0.037 \pm 0.016$ and $\mathcal{R}(D^{\ast})= 0.283 \pm 0.018 \pm 0.014$, where the first uncertainties are statistical and the second are systematic. These results are in agreement with the Standard Model predictions within $0.2$ and $1.1$ standard deviations, respectively, while their combination agrees with the Standard Model predictions within $1.2$ standard deviations.


title: Copula-based algorithm for generating bursty time series

abstract: Dynamical processes in various natural and social phenomena have been described by a series of events or event sequences showing non-Poissonian, bursty temporal patterns. Temporal correlations in such bursty time series can be understood not only by heterogeneous interevent times (IETs) but also by correlations between IETs. Modeling and simulating various dynamical processes requires us to generate event sequences with a heavy-tailed IET distribution and memory effects between IETs. For this, we propose a Farlie-Gumbel-Morgenstern copula-based algorithm for generating event sequences with correlated IETs when the IET distribution and the memory coefficient between two consecutive IETs are given. We successfully apply our algorithm to the cases with heavy-tailed IET distributions. We also compare our algorithm to the existing shuffling method to find that our algorithm outperforms the shuffling method for some cases. Our copula-based algorithm is expected to be used for more realistic modeling of various dynamical processes.


title: Artificial Intelligence for Pediatric Ophthalmology

abstract: PURPOSE OF REVIEW: Despite the impressive results of recent artificial intelligence (AI) applications to general ophthalmology, comparatively less progress has been made toward solving problems in pediatric ophthalmology using similar techniques. This article discusses the unique needs of pediatric ophthalmology patients and how AI techniques can address these challenges, surveys recent applications of AI to pediatric ophthalmology, and discusses future directions in the field. RECENT FINDINGS: The most significant advances involve the automated detection of retinopathy of prematurity (ROP), yielding results that rival experts. Machine learning (ML) has also been successfully applied to the classification of pediatric cataracts, prediction of post-operative complications following cataract surgery, detection of strabismus and refractive error, prediction of future high myopia, and diagnosis of reading disability via eye tracking. In addition, ML techniques have been used for the study of visual development, vessel segmentation in pediatric fundus images, and ophthalmic image synthesis. SUMMARY: AI applications could significantly benefit clinical care for pediatric ophthalmology patients by optimizing disease detection and grading, broadening access to care, furthering scientific discovery, and improving clinical efficiency. These methods need to match or surpass physician performance in clinical trials before deployment with patients. Due to widespread use of closed-access data sets and software implementations, it is difficult to directly compare the performance of these approaches, and reproducibility is poor. Open-access data sets and software implementations could alleviate these issues, and encourage further AI applications to pediatric ophthalmology. KEYWORDS: pediatric ophthalmology, machine learning, artificial intelligence, deep learning


title: Debris Disk Composition: A Diagnostic Tool for Planet Formation and Migration

abstract: Debris disks are exoplanetary systems containing planets, minor bodies (such as asteroids and comets) and debris dust. Unseen planets are presumed to perturb the minor bodies into crossing orbits, generating small dust grains that are detected via remote sensing. Debris disks have been discovered around main sequence stars of a variety of ages (from 10 Myr to several Gyr) and stellar spectral types (from early A-type to M-type stars). As a result, they serve as excellent laboratories for understanding whether the architecture and the evolution of our Solar System is common or rare. This white paper addresses two outstanding questions in debris disk science: (1) Are debris disk minor bodies similar to asteroids and comets in our Solar System? (2) Do planets separate circumstellar material into distinct reservoirs and/or mix material during planet migration? We anticipate that SOFIA/HIRMES, JWST, and WFIRST/CGI will greatly improve our understanding of debris disk composition, enabling the astronomical community to answer these questions. However, we note that despite their observational power, these facilities will not provide large numbers of detections or detailed characterization of cold ices and silicates in the Trans Neptunian zone. Origins Space Telescope is needed to revolutionize our understanding of the bulk composition and mixing in exoplanetary systems.


title: Supercurrent in ferromagnetic Josephson junctions with heavy metal interlayers. II. Canted magnetization

abstract: It has been suggested by theoretical works that equal spin-triplet Cooper pairs can be generated in Josephson junctions containing both a ferromagnet and a source of spin-orbit coupling. Our recent experimental work suggested that spin-triplet Cooper pairs were not generated by a Pt spin-orbit coupling layer when the ferromagnetic weak link had entirely in-plane anisotropy (N. Satchell and N.O. Birge, Phys. Rev. B 97, 214509 (2018)). Here, we revisit the experiment using Pt again as a source for spin-orbit coupling and a [Co(0.4 nm)/Ni(0.4 nm)]$_{\times8}$/Co(0.4 nm) ferromagnetic weak link with both in-plane and out-of-plane magnetization components (canted magnetization). The canted magnetization more closely matches theoretical predictions than our previous experimental work. Our results suggest that there is no supercurrent contribution in our junctions from equal spin-triplets. In addition, this work includes the first systematic study of supercurrent dependence on Cu interlayer thickness, a common additional layer used to buffer the growth of the ferromagnet and which for Co may significantly improve the growth morphology. We report that the supercurrent in the [Co(0.4 nm)/Ni(0.4 nm)]$_{\times8}$/Co(0.4 nm) ferromagnetic weak links can be enhanced by over two orders of magnitude by tuning the Cu interlayer thickness. This result has important application in superconducting spintronics, where large critical currents are desirable for devices.


title: Bose polaron in spherical trap potentials: Spatial structure and quantum depletion

abstract: We investigate how the presence of a localized impurity in a Bose-Einstein condensate of trapped cold atoms that interact with each other weakly and repulsively affects the profile of the condensed and excited components at zero temperature. By solving the Gross-Pitaevskii and Bogoliubov-de Gennes equations, we find that an impurity-boson contact attraction (repulsion) causes both components to change in spatial structure in such a way as to be enhanced (suppressed) around the impurity, while slightly declining (growing) in a far region from the impurity. Such behavior of the quantum depletion of the condensate can be understood by decomposing the impurity-induced change in the profile of the excited component with respect to the radial and azimuthal quantum number. A significant role of the centrifugal potential and the "hole" excitation level is thus clarified.


title: Privacy-Enhancing Context Authentication from Location-Sensitive Data

abstract: This paper proposes a new privacy-enhancing, context-aware user authentication system, ConSec, which uses a transformation of general location-sensitive data, such as GPS location, barometric altitude and noise levels, collected from the user's device, into a representation based on locality-sensitive hashing (LSH). The resulting hashes provide a dimensionality reduction of the underlying data, which we leverage to model users' behaviour for authentication using machine learning. We present how ConSec supports learning from categorical and numerical data, while addressing a number of on-device and network-based threats. ConSec is implemented subsequently for the Android platform and evaluated using data collected from 35 users, which is followed by a security and privacy analysis. We demonstrate that LSH presents a useful approach for context authentication from location-sensitive data without directly utilising plain measurements.


title: Learning a Controller Fusion Network by Online Trajectory Filtering for Vision-based UAV Racing

abstract: Autonomous UAV racing has recently emerged as an interesting research problem. The dream is to beat humans in this new fast-paced sport. A common approach is to learn an end-to-end policy that directly predicts controls from raw images by imitating an expert. However, such a policy is limited by the expert it imitates and scaling to other environments and vehicle dynamics is difficult. One approach to overcome the drawbacks of an end-to-end policy is to train a network only on the perception task and handle control with a PID or MPC controller. However, a single controller must be extensively tuned and cannot usually cover the whole state space. In this paper, we propose learning an optimized controller using a DNN that fuses multiple controllers. The network learns a robust controller with online trajectory filtering, which suppresses noisy trajectories and imperfections of individual controllers. The result is a network that is able to learn a good fusion of filtered trajectories from different controllers leading to significant improvements in overall performance. We compare our trained network to controllers it has learned from, end-to-end baselines and human pilots in a realistic simulation; our network beats all baselines in extensive experiments and approaches the performance of a professional human pilot. A video summarizing this work is available at https://youtu.be/hGKlE5X9Z5U


title: Tree Automata as Algebras: Minimisation and Determinisation

abstract: We study a categorical generalisation of tree automata, as $\Sigma$-algebras for a fixed endofunctor $\Sigma$ endowed with initial and final states. Under mild assumptions about the base category, we present a general minimisation algorithm for these automata. We then build upon and extend an existing generalisation of the Nerode equivalence to a categorical setting and relate it to the existence of minimal automata. Finally, we show that generalised types of side-effects, such as non-determinism, can be captured by this categorical framework, leading to a general determinisation procedure.


title: A merger shock in Abell 1367

abstract: Multi-wavelength observations show that Abell 1367 (A1367) is a dynamically young cluster, with at least two subclusters merging along the SE-NW direction. With the wide-field XMM-Newton mosaic of A1367, we discover a previously unknown merger shock at the NW edge of the cluster. We estimate the shock Mach number from the density and temperature jumps as $M_{\rho}=1.21\pm0.08$ and $M_T=1.60\pm0.07$, respectively. This shock region also corresponds to a radio relic discovered with the VLA and GBT, which could be produced by the shock re-acceleration of pre-existing seed relativistic electrons. We suggest that some of the seed relativistic electrons originate from late-type, star-forming galaxies in this region.


title: Multi-task Learning for Influence Estimation and Maximization

abstract: We address the problem of influence maximization when the social network is accompanied by diffusion cascades. In prior works, such information is used to compute influence probabilities, which is utilized by stochastic diffusion models in influence maximization. Motivated by the recent criticism on the effectiveness of diffusion models as well as the galloping advancements in influence learning, we propose IMINFECTOR (Influence Maximization with INFluencer vECTORs), a unified approach that uses representations learned from diffusion cascades to perform model-independent influence maximization that scales in real-world datasets. The first part of our methodology is a multi-task neural network that learns embeddings of nodes that initiate cascades (influencer vectors) and embeddings of nodes that participate in them (susceptible vectors). The norm of an influencer vector captures the ability of the node to create lengthy cascades and is used to estimate the expected influence spread and reduce the number of candidate seeds. In addition, the combination of influencer and susceptible vectors form the diffusion probabilities between nodes. These are used to reformulate the network as a bipartite graph and propose a greedy solution to influence maximization that retains the theoretical guarantees.We a pply our method in three sizable networks with diffusion cascades and evaluate it using cascades from future time steps. IMINFECTOR is able to scale in all of them and outperforms various competitive algorithms and metrics from the diverse landscape of influence maximization in terms of efficiency and seed set quality.


title: A Framework to Control Functional Connectivity in the Human Brain

abstract: In this paper, we propose a framework to control brain-wide functional connectivity by selectively acting on the brain's structure and parameters. Functional connectivity, which measures the degree of correlation between neural activities in different brain regions, can be used to distinguish between healthy and certain diseased brain dynamics and, possibly, as a control parameter to restore healthy functions. In this work, we use a collection of interconnected Kuramoto oscillators to model oscillatory neural activity, and show that functional connectivity is essentially regulated by the degree of synchronization between different clusters of oscillators. Then, we propose a minimally invasive method to correct the oscillators' interconnections and frequencies to enforce arbitrary and stable synchronization patterns among the oscillators and, consequently, a desired pattern of functional connectivity. Additionally, we show that our synchronization-based framework is robust to parameter mismatches and numerical inaccuracies, and validate it using a realistic neurovascular model to simulate neural activity and functional connectivity in the human brain.


title: A new density functional method for electronic structure calculation of atoms and molecules

abstract: This chapter concerns with the recent development of a new DFT methodology for accurate, reliable prediction of many-electron systems. Background, need for such a scheme, major difficulties encountered, as well as their potential remedies are discussed at some length. Within the realm of non relativistic Hohenberg-Kohn-Sham (HKS) DFT and making use of the familiar LCAO-MO principle, relevant KS eigenvalue problem is solved numerically. Unlike the commonly used atom-centered grid (ACG), here we employ a 3D cartesian coordinate grid (CCG) to build atom-centered localized basis set, electron density, as well as all the two-body potentials directly on grid. The Hartree potential is computed through a Fourier convolution technique via a decomposition in terms of short- and long-range interactions. Feasibility and viability of our proposed scheme is demonstrated for a series of chemical systems; first with homogeneous, local-density-approximated XC functionals followed by non-local, gradient- and Laplacian-dependent functionals. A detailed, systematic analysis on obtained results relevant to quantum chemistry, are made, \emph{for the first time}, using CCG, which clearly illustrates the significance of this alternative method in the present context. Quantities such as component energies, total energies, ionization energies, potential energy curve, atomization energies, etc., are addressed for pseudopotential calculations, along with a thorough comparison with literature data, wherever possible. Finally, some words on the future and prospect of this method are mentioned. In summary, we have presented a new CCG-based \emph{variational} DFT method for accurate, dependable calculation of atoms and molecules.


title: Operationally accessible bounds on fluctuations and entropy production in periodically driven systems

abstract: For periodically driven systems, we derive a family of inequalities that relate entropy production with experimentally accessible data for the mean, its dependence on driving frequency, and the variance of a large class of observables. With one of these relations, overall entropy production can be bounded by just observing the time spent in a set of states. Among further consequences, the thermodynamic efficiency both of isothermal cyclic engines like molecular motors under a periodic load and of cyclic heat engines can be bounded using experimental data without requiring knowledge of the specific interactions within the system. We illustrate these results for a driven three-level system and for a colloidal Stirling engine.


title: Bi2Te3/Sb2Te3 Heterojunction and Thermophotovoltaic Cells Absorbing the Radiation from Room-temperature Surroundings

abstract: The thermophotovoltaic cells which can convert the infrared radiation from room-temperature surroundings into electricity are of significance due to their potential applications in many fields. In this work, narrow bandgap Bi2Te3/Sb2Te3 thin film thermophotovoltaic cells were fabricated, and the formation mechanism of Bi2Te3/Sb2Te3 p-n heterojunctions was investigated. During the formation of the heterojunctions at room temperature, both electrons and holes diffuse in the same direction from n-type Bi2Te3 thin films to p-type Sb2Te3 thin films rather than conventional bi-directional diffusion. Because the strong intrinsic excitation generates a large number of intrinsic carriers which weaken the built-in electric field of the heterojunctions, their I-V curves become similar to straight lines. It is also demonstrated that Bi2Te3/Sb2Te3 thermophotovoltaic cells can output electrical power under the infrared radiation from a room-temperature heat source. This work proves that it is possible to convert the infrared radiation from dark and room-temperature surroundings into electricity through narrow bandgap thermophotovoltaic cells.


title: Interplanetary Transfers via Deep Representations of the Optimal Policy and/or of the Value Function

abstract: A number of applications to interplanetary trajectories have been recently proposed based on deep networks. These approaches often rely on the availability of a large number of optimal trajectories to learn from. In this paper we introduce a new method to quickly create millions of optimal spacecraft trajectories from a single nominal trajectory. Apart from the generation of the nominal trajectory, no additional optimal control problems need to be solved as all the trajectories, by construction, satisfy Pontryagin's minimum principle and the relevant transversality conditions. We then consider deep feed forward neural networks and benchmark three learning methods on the created dataset: policy imitation, value function learning and value function gradient learning. Our results are shown for the case of the interplanetary trajectory optimization problem of reaching Venus orbit, with the nominal trajectory starting from the Earth. We find that both policy imitation and value function gradient learning are able to learn the optimal state feedback, while in the case of value function learning the optimal policy is not captured, only the final value of the optimal propellant mass is.


title: Proton decay in flux compactifications

abstract: We study proton decay in a six-dimensional orbifold GUT model with gauge group $SO(10)\times U(1)_A$. Magnetic $U(1)_A$ flux in the compact dimensions determines the multiplicity of quark-lepton generations, and it also breaks supersymmetry by giving universal GUT scale masses to scalar quarks and leptons. The model can successfully account for quark and lepton masses and mixings. Our analysis of proton decay leads to the conclusion that the proton lifetime must be close to the current experimental lower bound. Moreover, we find that the branching ratios for the decay channels $p \rightarrow e^+\pi^0$ and $p\rightarrow \mu^+\pi^0$ are of similar size, in fact the latter one can even be dominant. This is due to flavour non-diagonal couplings of heavy vector bosons together with large off-diagonal Higgs couplings, which appears to be a generic feature of flux compactifications.


title: Optimal Control of Markov Regime-Switching Stochastic Recursive Utilities

abstract: In this paper, we establish a general stochastic maximum principle for optimal control for systems described by a continuous-time Markov regime-switching stochastic recursive utilities model. The control domain is postulated not to be convex, and the diffusion terms depend on control variables. To this end, we first study a kind of classical forward stochastic optimal control problems. Afterwards, based on previous results, we introduce two groups of new first and second-order adjoint equations. The corresponding variational equations for forward-backward stochastic differential equations are derived. In particular, the generator in the maximum principle contains solutions of second-order adjoint equation which is novel. Some interesting examples are concluded as well.


title: On spurious solutions encountered in Helmholtz scattering resonance computations in R^d with applications to nano-photonics and acoustics

abstract: In this paper, we consider a sorting scheme for potentially spurious scattering resonant pairs in one- and two-dimensional electromagnetic problems and in three-dimensional acoustic problems. The novel sorting scheme is based on a Lippmann-Schwinger type of volume integral equation and can, therefore, be applied to structures with graded materials as well as to configurations including piece-wise constant material properties. For TM/TE polarized electromagnetic waves and for acoustic waves, we compute first approximations of scattering resonances with finite elements. Then, we apply the novel sorting scheme to the computed eigenpairs and use it to mark potentially spurious solutions in electromagnetic and acoustic scattering resonances computations at a low computational cost. Several test cases with Drude-Lorentz dielectric resonators as well as with graded material properties are considered.


title: Handlebody Bundles and Polytopes

abstract: We construct examples of fibered three-manifolds with first Betti number at least 2 and with fibered faces all of whose monodromies extend to a handlebody.


title: Bi-skew braces and Hopf Galois structures

abstract: We define a bi-skew brace to be a set $G$ with two group operations $\star$ and $\circ$ so that $(G, \circ, \star)$ is a skew brace with additive group $(G, \star)$ and also with additive group $(G, \circ)$. If $G$ is a skew brace, then $G$ corresponds to a Hopf Galois structure of type $(G, \star)$ on any Galois extension of fields with Galois group isomorphic to $(G, \circ)$. If $G$ is a bi-skew brace, then $G$ also corresponds to a Hopf Galois structure of type $(G, \circ)$ on a Galois extension of fields with Galois group isomorphic to $(G, \star)$. Many non-trivial examples exist. One source is radical rings $A$ with $A^3 = 0$, where one of the groups is abelian and the other need not be. The left braces of degree $p^3$ classified by Bachiller are bi-skew braces if and only they are radical rings. A different source of bi-skew braces is semidirect products of arbitrary finite groups, which yield many examples where both groups are non-abelian, and a skew brace proof of a result of Crespo, Rio and Vela that if $G = H\rtimes J$ is a semidirect product of finite groups, then a Galois extension of fields with Galois group $G$ has a Hopf Galois structure of type $H \times J$.


title: Anomalous Cepheids discovered in a sample of Galactic short period Type II Cepheids

abstract: We revisited the short period Type II Cepheids (T2Cs), called the BL Herculis (BLHs), in the Galactic Field to derive a homogeneous analysis of their Fourier parameters. Only V-band data were compiled to make sure that it was directly comparable between the known variables of the OGLE-III catalogue and the 59 individual objects classified as short period Type II Cepheids in the General Catalogue of Variable Stars (GCVS) we had in our sample. The derived Fourier parameters were used to make the distinction between different classes of variables. From the 59 stars we found 19 BLHs, 19 fundamental mode Anomalous Cepheids (ACs) (8 of them were already known from the Catalina Sky Survey (CSS)), 1 first overtone AC, 2 were found to be possible peculiar W Virginis (pWVir), 11 classical Cepheids (DCEPs), and 7 stars were not pulsating variables at all. As a result we created a list of bright BLH stars in the Galactic Field, and separated the ACs, as well as other objects that were misclassified. The number of true BLHs decreased in our sample by more than 50%. We gathered the metallicity from spectroscopic measurements published in the literature. While the number of actual measurements is low, it is highly suggestive that ACs are metal poor. The mean metallicity from 8 measurements in 4 stars (UY Eri having 5 different [Fe/H] data points) is -1.12 dex, but if the higher value metallicity outliers of UY Eri are left out the mean metallicity becomes -1.88 dex, regardless if the AC is in the Milky Way itself or in a cluster. On the other hand, BLHs seem to have a Solar-like metallicity of 0 dex averaged from 21 measurements of 10 stars.


title: On The Classification-Distortion-Perception Tradeoff

abstract: Signal degradation is ubiquitous and computational restoration of degraded signal has been investigated for many years. Recently, it is reported that the capability of signal restoration is fundamentally limited by the perception-distortion tradeoff, i.e. the distortion and the perceptual difference between the restored signal and the ideal `original' signal cannot be made both minimal simultaneously. Distortion corresponds to signal fidelity and perceptual difference corresponds to perceptual naturalness, both of which are important metrics in practice. Besides, there is another dimension worthy of consideration, namely the semantic quality or the utility for recognition purpose, of the restored signal. In this paper, we extend the previous perception-distortion tradeoff to the case of classification-distortion-perception (CDP) tradeoff, where we introduced the classification error rate of the restored signal in addition to distortion and perceptual difference. Two versions of the CDP tradeoff are considered, one using a predefined classifier and the other dealing with the optimal classifier for the restored signal. For both versions, we can rigorously prove the existence of the CDP tradeoff, i.e. the distortion, perceptual difference, and classification error rate cannot be made all minimal simultaneously. Our findings can be useful especially for computer vision researches where some low-level vision tasks (signal restoration) serve for high-level vision tasks (visual understanding).


title: Probing the Griffiths like phase, unconventional dual glassy states, giant exchange bias effects and its correlation with its electronic structure in Pr2-xSrxCoMnO6

abstract: Electronic structure, electrical transport, dc and ac magnetization properties of the hole substituted (Sr2+) partially B-site disordered double perovskite Pr2-xSrxCoMnO6 system have been investigated. Electronic structure was probed by employing X-ray photoemission spectroscopy (XPS) measurements. The study suggested the presence of mixed valence states of the B-site ions (Co2+/Co3+ and Mn3+/Mn4+) with significant enhancement of the average oxidation states due to hole doping. The mere absence of electronic states near the Fermi level in the valence band (VB) spectra for both of the pure (x=0.0) and Sr doped (x=0.5) systems indicated the insulating nature of the samples. Sr substitution is observed to increase the spectral weight near the Fermi level suggesting for an enhanced conductivity of the hole doped system. The temperature variation of electrical resistivity measurements revealed the insulating nature for both the systems, thus supporting the VB spectra results. The dc magnetization data divulged a Griffiths like phase above the long range ordering temperature. A typical re-entrant spin glass like phase driven by the inherent anti-site disorder (ASD) has been maidenly recognized by ac susceptibility study for both the pure and doped systems. Most interestingly, the emergence of a new cluster glass like phase (immediately below the magnetic ordering temperature and above the spin-glass transition temperature) solely driven by the Sr substitution has been unravelled by ac magnetization dynamics study. The isothermal magnetization measurements further probed the exhibition of the giant exchange bias effect emanated from the existence of multiple magnetic phases.


title: (De)Constructing Bias on Skin Lesion Datasets

abstract: Melanoma is the deadliest form of skin cancer. Automated skin lesion analysis plays an important role for early detection. Nowadays, the ISIC Archive and the Atlas of Dermoscopy dataset are the most employed skin lesion sources to benchmark deep-learning based tools. However, all datasets contain biases, often unintentional, due to how they were acquired and annotated. Those biases distort the performance of machine-learning models, creating spurious correlations that the models can unfairly exploit, or, contrarily destroying cogent correlations that the models could learn. In this paper, we propose a set of experiments that reveal both types of biases, positive and negative, in existing skin lesion datasets. Our results show that models can correctly classify skin lesion images without clinically-meaningful information: disturbingly, the machine-learning model learned over images where no information about the lesion remains, presents an accuracy above the AI benchmark curated with dermatologists' performances. That strongly suggests spurious correlations guiding the models. We fed models with additional clinically meaningful information, which failed to improve the results even slightly, suggesting the destruction of cogent correlations. Our main findings raise awareness of the limitations of models trained and evaluated in small datasets such as the ones we evaluated, and may suggest future guidelines for models intended for real-world deployment.


title: New Subgraph Isomorphism Algorithms: Vertex versus Path-at-a-time Matching

abstract: Graphs are widely used to model complicated data semantics in many application domains. In this paper, two novel and efficient algorithms Fast-ON and Fast-P are proposed for solving the subgraph isomorphism problem. The two algorithms are based on Ullman algorithm [Ullmann 1976], apply vertex-at-a-time matching manner and path-at-a-time matching manner respectively, and use effective heuristics to cut the search space. Comparing to the well-known algorithms, Fast-ON and Fast-P achieve up to 1-4 orders of magnitude speed-up for both dense and sparse graph data.


title: Exact constructions in the (non-linear) planar theory of elasticity: From elastic crystals to nematic elastomers

abstract: In this article we deduce necessary and sufficient conditions for the presence of `Conti-type', highly symmetric, exactly-stress free constructions in the geometrically non-linear, planar $n$-well problem, generalising results of [CKZ17]. Passing to the limit $n\rightarrow \infty$, this allows us to treat solid crystals and nematic elastomer differential inclusions simultaneously. In particular, we recover and generalise (non-linear) planar tripole star type deformations which were experimentally observed in [MA80,MA80a,KK91]. Further we discuss the corresponding geometrically linearised problem.


title: Confirming interstellar C$_{60}^+$ using the Hubble Space Telescope

abstract: Recent advances in laboratory spectroscopy lead to the claim of ionized Buckminsterfullerene (C60+) as the carrier of two diffuse interstellar bands (DIBs) in the near-infrared. However, irrefutable identification of interstellar C60+ requires a match between the wavelengths and the expected strengths of all absorption features detectable in the laboratory and in space. Here we present Hubble Space Telescope (HST) spectra of the region covering the C60+ 9348, 9365, 9428 and 9577 {\AA} absorption bands toward seven heavily-reddened stars. We focus in particular on searching for the weaker laboratory C60+ bands, the very presence of which has been a matter for recent debate. Using the novel STIS-scanning technique to obtain ultra-high signal-to-noise spectra without contamination from telluric absorption that afflicted previous ground-based observations, we obtained reliable detections of the (weak) 9365, 9428 {\AA} and (strong) 9577 {\AA} C60+ bands. The band wavelengths and strength ratios are sufficiently similar to those determined in the latest laboratory experiments that we consider this the first robust identification of the 9428 {\AA} band, and a conclusive confirmation of interstellar C60+.


title: Mechanistic insights on the phosphorene degradation

abstract: The structural and chemical degradations of phosphorene severely limit its practical applications despite the enormous promise. In this regard, we investigate a plethora of microscopic kinetic mechanisms and develop a degradation phase diagram within the first-principles calculations. At 400 K, the degradation and the competing self-annealing proceeds through the merger and annihilation of vacancies, respectively, which are triggered via itinerant vacancy and adatom. A further increase in temperature beyond 650 K, the structural degradation results through the emission of the undercoordinated atoms from the defect and the concurrent pair-wise sublimation. The role of inter-layer vacancy diffusion is discarded in the context of structural degradation. The chemical degradation is routed through the dissociation of oxygen molecule that is either activated at the room-temperature on the pristine surface or spontaneous at the single-vacancy site. The present results are in agreement with the few available experimental conjectures and will motivate further efforts.


title: Uncrowded Hypervolume Improvement: COMO-CMA-ES and the Sofomore framework

abstract: We present a framework to build a multiobjective algorithm from single-objective ones. This framework addresses the $p \times n$-dimensional problem of finding p solutions in an n-dimensional search space, maximizing an indicator by dynamic subspace optimization. Each single-objective algorithm optimizes the indicator function given $p - 1$ fixed solutions. Crucially, dominated solutions minimize their distance to the empirical Pareto front defined by these $p - 1$ solutions. We instantiate the framework with CMA-ES as single-objective optimizer. The new algorithm, COMO-CMA-ES, is empirically shown to converge linearly on bi-objective convex-quadratic problems and is compared to MO-CMA-ES, NSGA-II and SMS-EMOA.


title: Parametric updates in parametric timed automata

abstract: We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters. We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is reachable in the instantiated timed automaton empty?". This problem is well-known to be undecidable for PTAs, and so it is for our extension. Nonetheless, if we update all clocks each time we compare a clock with a parameter and each time we update a clock to a parameter, we obtain a syntactic subclass for which we can decide the EF-emptiness problem and even perform the exact synthesis of the set of rational valuations such that a given location is reachable. To the best of our knowledge, this is the first non-trivial subclass of PTAs, actually even extended with parametric updates, for which this is possible.


title: Generating Training Data for Denoising Real RGB Images via Camera Pipeline Simulation

abstract: Image reconstruction techniques such as denoising often need to be applied to the RGB output of cameras and cellphones. Unfortunately, the commonly used additive white noise (AWGN) models do not accurately reproduce the noise and the degradation encountered on these inputs. This is particularly important for learning-based techniques, because the mismatch between training and real world data will hurt their generalization. This paper aims to accurately simulate the degradation and noise transformation performed by camera pipelines. This allows us to generate realistic degradation in RGB images that can be used to train machine learning models. We use our simulation to study the importance of noise modeling for learning-based denoising. Our study shows that a realistic noise model is required for learning to denoise real JPEG images. A neural network trained on realistic noise outperforms the one trained with AWGN by 3 dB. An ablation study of our pipeline shows that simulating denoising and demosaicking is important to this improvement and that realistic demosaicking algorithms, which have been rarely considered, is needed. We believe this simulation will also be useful for other image reconstruction tasks, and we will distribute our code publicly.


title: Strang splitting method for semilinear parabolic problems with inhomogeneous boundary conditions: a correction based on the flow of the nonlinearity

abstract: The Strang splitting method, formally of order two, can suffer from order reduction when applied to semilinear parabolic problems with inhomogeneous boundary conditions. The recent work [L .Einkemmer and A. Ostermann. Overcoming order reduction in diffusion-reaction splitting. Part 1. Dirichlet boundary conditions. SIAM J. Sci. Comput., 37, 2015. Part 2: Oblique boundary conditions, SIAM J. Sci. Comput., 38, 2016] introduces a modification of the method to avoid the reduction of order based on the nonlinearity. In this paper we introduce a new correction constructed directly from the flow of the nonlinearity and which requires no evaluation of the source term or its derivatives. The goal is twofold. One, this new modification requires only one evaluation of the diffusion flow and one evaluation of the source term flow at each step of the algorithm and it reduces the computational effort to construct the correction. Second, numerical experiments suggest it is well suited in the case where the nonlinearity is stiff. We provide a convergence analysis of the method for a smooth nonlinearity and perform numerical experiments to illustrate the performances of the new approach.


title: Deep Residual Autoencoders for Expectation Maximization-inspired Dictionary Learning

abstract: We introduce a neural-network architecture, termed the constrained recurrent sparse autoencoder (CRsAE), that solves convolutional dictionary learning problems, thus establishing a link between dictionary learning and neural networks. Specifically, we leverage the interpretation of the alternating-minimization algorithm for dictionary learning as an approximate Expectation-Maximization algorithm to develop autoencoders that enable the simultaneous training of the dictionary and regularization parameter (ReLU bias). The forward pass of the encoder approximates the sufficient statistics of the E-step as the solution to a sparse coding problem, using an iterative proximal gradient algorithm called FISTA. The encoder can be interpreted either as a recurrent neural network or as a deep residual network, with two-sided ReLU non-linearities in both cases. The M-step is implemented via a two-stage back-propagation. The first stage relies on a linear decoder applied to the encoder and a norm-squared loss. It parallels the dictionary update step in dictionary learning. The second stage updates the regularization parameter by applying a loss function to the encoder that includes a prior on the parameter motivated by Bayesian statistics. We demonstrate in an image-denoising task that CRsAE learns Gabor-like filters, and that the EM-inspired approach for learning biases is superior to the conventional approach. In an application to recordings of electrical activity from the brain, we demonstrate that CRsAE learns realistic spike templates and speeds up the process of identifying spike times by 900x compared to algorithms based on convex optimization.


title: Convergence analysis of a Lasserre hierarchy of upper bounds for polynomial minimization on the sphere

abstract: We study the convergence rate of a hierarchy of upper bounds for polynomial minimization problems, proposed by Lasserre [SIAM J. Optim. 21(3) (2011), pp. 864-885], for the special case when the feasible set is the unit (hyper)sphere. The upper bound at level r of the hierarchy is defined as the minimal expected value of the polynomial over all probability distributions on the sphere, when the probability density function is a sum-of-squares polynomial of degree at most 2r with respect to the surface measure. We show that the exact rate of convergence is Theta(1/r^2), and explore the implications for the related rate of convergence for the generalized problem of moments on the sphere.


title: Regulator-based risk statistics for portfolios

abstract: Risk statistic is a critical factor not only for risk analysis but also for financial application. However, the traditional risk statistics may fail to describe the characteristics of regulator-based risk. In this paper, we consider the regulator-based risk statistics for portfolios. By further developing the properties related to regulator-based risk statistics, we are able to derive dual representation for such risk.


title: Hamiltonian Floer theory for nonlinear Schr\"odinger equations and the small divisor problem

abstract: We prove the existence of infinitely many time-periodic solutions of nonlinear Schr\"odinger equations using pseudo-holomorphic curve methods from Hamiltonian Floer theory. For the generalization of the Gromov-Floer compactness theorem to infinite dimensions, we show how to solve the arising small divisor problem by combining elliptic methods with results from the theory of diophantine approximations.


title: Neural-Attention-Based Deep Learning Architectures for Modeling Traffic Dynamics on Lane Graphs

abstract: Deep neural networks can be powerful tools, but require careful application-specific design to ensure that the most informative relationships in the data are learnable. In this paper, we apply deep neural networks to the nonlinear spatiotemporal physics problem of vehicle traffic dynamics. We consider problems of estimating macroscopic quantities (e.g., the queue at an intersection) at a lane level. First-principles modeling at the lane scale has been a challenge due to complexities in modeling social behaviors like lane changes, and those behaviors' resultant macro-scale effects. Following domain knowledge that upstream/downstream lanes and neighboring lanes affect each others' traffic flows in distinct ways, we apply a form of neural attention that allows the neural network layers to aggregate information from different lanes in different manners. Using a microscopic traffic simulator as a testbed, we obtain results showing that an attentional neural network model can use information from nearby lanes to improve predictions, and, that explicitly encoding the lane-to-lane relationship types significantly improves performance. We also demonstrate the transfer of our learned neural network to a more complex road network, discuss how its performance degradation may be attributable to new traffic behaviors induced by increased topological complexity, and motivate learning dynamics models from many road network topologies.


title: A doubly exponential upper bound on noisy EPR states for binary games

abstract: This paper initiates the study of a class of entangled games, mono-state games, denoted by $(G,\psi)$, where $G$ is a two-player one-round game and $\psi$ is a bipartite state independent of the game $G$. In the mono-state game $(G,\psi)$, the players are only allowed to share arbitrary copies of $\psi$. This paper provides a doubly exponential upper bound on the copies of $\psi$ for the players to approximate the value of the game to an arbitrarily small constant precision for any mono-state binary game $(G,\psi)$, if $\psi$ is a noisy EPR state, which is a two-qubit state with completely mixed states as marginals and maximal correlation less than $1$. In particular, it includes $(1-\epsilon)|\Psi\rangle\langle\Psi|+\epsilon\frac{I_2}{2}\otimes\frac{I_2}{2}$, an EPR state with an arbitrary depolarizing noise $\epsilon>0$.The structure of the proofs is built the recent framework about the decidability of the non-interactive simulation of joint distributions, which is completely different from all previous optimization-based approaches or "Tsirelson's problem"-based approaches. This paper develops a series of new techniques about the Fourier analysis on matrix spaces and proves a quantum invariance principle and a hypercontractive inequality of random operators. This novel approach provides a new angle to study the decidability of the complexity class MIP$^*$, a longstanding open problem in quantum complexity theory.


title: A Passivity-based Nonlinear Admittance Control with Application to Powered Upper-limb Control under Unknown Environmental Interactions

abstract: This paper presents an admittance controller based on the passivity theory for a powered upper-limb exoskeleton robot which is governed by the nonlinear equation of motion. Passivity allows us to include a human operator and environmental interaction in the control loop. The robot interacts with the human operator via F/T sensor and interacts with the environment mainly via end-effectors. Although the environmental interaction cannot be detected by any sensors (hence unknown), passivity allows us to have natural interaction. An analysis shows that the behavior of the actual system mimics that of a nominal model as the control gain goes to infinity, which implies that the proposed approach is an admittance controller. However, because the control gain cannot grow infinitely in practice, the performance limitation according to the achievable control gain is also analyzed. The result of this analysis indicates that the performance in the sense of infinite norm increases linearly with the control gain. In the experiments, the proposed properties were verified using 1 degree-of-freedom testbench, and an actual powered upper-limb exoskeleton was used to lift and maneuver the unknown payload.


title: Damping of Propagating Kink Waves in the Solar Corona

abstract: Alfv\'enic waves have gained renewed interest since the existence of ubiquitous propagating kink waves were discovered in the corona. {It has long been suggested that Alfv\'enic} waves play an important role in coronal heating and the acceleration of the solar wind. To this effect, it is imperative to understand the mechanisms that enable their energy to be transferred to the plasma. Mode conversion via resonant absorption is believed to be one of the main mechanisms for kink wave damping, and is considered to play a key role in the process of energy transfer. This study examines the damping of propagating kink waves in quiescent coronal loops using the Coronal Multi-channel Polarimeter (CoMP). A coherence-based method is used to track the Doppler velocity signal of the waves, enabling us to investigate the spatial evolution of velocity perturbations. The power ratio of outward to inward propagating waves is used to estimate the associated damping lengths and quality factors. To enable accurate estimates of these quantities, {we provide the first derivation of a likelihood function suitable for fitting models to the ratio of two power spectra obtained from discrete Fourier transforms. Maximum likelihood estimation is used to fit an exponential damping model to the observed variation in power ratio as a function of frequency.} We confirm earlier indications that propagating kink waves are undergoing frequency dependent damping. Additionally, we find that the rate of damping decreases, or equivalently the damping length increases, for longer coronal loops that reach higher in the corona.


title: Clause-Wise and Recursive Decoding for Complex and Cross-Domain Text-to-SQL Generation

abstract: Most deep learning approaches for text-to-SQL generation are limited to the WikiSQL dataset, which only supports very simple queries over a single table. We focus on the Spider dataset, a complex and cross-domain text-to-SQL task, which includes complex queries over multiple tables. In this paper, we propose a SQL clause-wise decoding neural architecture with a self-attention based database schema encoder to address the Spider task. Each of the clause-specific decoders consists of a set of sub-modules, which is defined by the syntax of each clause. Additionally, our model works recursively to support nested queries. When evaluated on the Spider dataset, our approach achieves 4.6\% and 9.8\% accuracy gain in the test and dev sets, respectively. In addition, we show that our model is significantly more effective at predicting complex and nested queries than previous work.


title: All-Sky Near Infrared Space Astrometry

abstract: Gaia is currently revolutionizing modern astronomy. However, much of the Galactic plane, center and the spiral arm regions are obscured by interstellar extinction, rendering them inaccessible because Gaia is an optical instrument. An all-sky near infrared (NIR) space observatory operating in the optical NIR, separated in time from the original Gaia would provide microarcsecond NIR astrometry and millimag photometry to penetrate obscured regions unraveling the internal dynamics of the Galaxy.


title: Adaptive Reconstruction for Electrical Impedance Tomography with a Piecewise Constant Conductivity

abstract: In this work we propose and analyze a numerical method for electrical impedance tomography of recovering a piecewise constant conductivity from boundary voltage measurements. It is based on standard Tikhonov regularization with a Modica-Mortola penalty functional and adaptive mesh refinement using suitable a posteriori error estimators of residual type that involve the state, adjoint and variational inequality in the necessary optimality condition and a separate marking strategy. We prove the convergence of the adaptive algorithm in the following sense: the sequence of discrete solutions contains a subsequence convergent to a solution of the continuous necessary optimality system. Several numerical examples are presented to illustrate the convergence behavior of the algorithm.


title: Perfect State Transfer on Weighted Graphs of the Johnson Scheme

abstract: We characterize perfect state transfer on real-weighted graphs of the Johnson scheme $\mathcal{J}(n,k)$. Given $\mathcal{J}(n,k)=\{A_1, A_2, \cdots, A_k\}$ and $A(X) = w_0A_0 + \cdots + w_m A_m$, we show, using classical number theory results, that $X$ has perfect state transfer at time $\tau$ if and only if $n=2k$, $m\ge 2^{\lfloor{\log_2(k)} \rfloor}$, and there are integers $c_1, c_2, \cdots, c_m$ such that (i) $c_j$ is odd if and only if $j$ is a power of $2$, and (ii) for $r=1,2,\cdots,m$, \[w_r = \frac{\pi}{\tau} \sum_{j=r}^m \frac{c_j}{\binom{2j}{j}} \binom{k-r}{j-r}.\] We then characterize perfect state transfer on unweighted graphs of $\mathcal{J}(n,k)$. In particular, we obtain a simple construction that generates all graphs of $\mathcal{J}(n,k)$ with perfect state transfer at time $\pi/2$.


title: On the validity of memristor modeling in the neural network literature

abstract: An analysis of the literature shows that there are two types of non-memristive models that have been widely used in the modeling of so-called "memristive" neural networks. Here, we demonstrate that such models have nothing in common with the concept of memristive elements: they describe either non-linear resistors or certain bi-state systems, which all are devices without memory. Therefore, the results presented in a significant number of publications are at least questionable, if not completely irrelevant to the actual field of memristive neural networks.


title: Plug-and-play Solvability of the Power Flow Equations for Interconnected DC Microgrids with Constant Power Loads

abstract: In this paper we study the DC power flow equations of a purely resistive DC power grid which consists of interconnected DC microgrids with constant-power loads. We present a condition on the power grid which guarantees the existence of a solution to the power flow equations. In addition, we present a condition for any microgrid in island mode which guarantees that the power grid remains feasible upon interconnection. These conditions provide a method to determine if a power grid remains feasible after the interconnection with a specific microgrid with constant-power loads. Although the presented condition are more conservative than existing conditions in the literature, its novelty lies in its plug-and-play property. That is, the condition gives a restriction on the to-be-connected microgrid, but does not impose more restrictions on the rest of the power grid.


title: Integration of Single Photon Emitters in 2D Layered Materials with a Silicon Nitride Photonic Chip

abstract: Photonic integrated circuits (PICs) enable miniaturization of optical quantum circuits because several optic and electronic functionalities can be added on the same chip. Single photon emitters (SPEs) are central building blocks for such quantum circuits and several approaches have been developed to interface PICs with a host material containing SPEs. SPEs embedded in 2D transition metal dichalcogenides have unique properties that make them particularly appealing as PIC-integrated SPEs. They can be easily interfaced with PICs and stacked together to create complex heterostructures. Since the emitters are embedded in a monolayer there is no total internal reflection, enabling very high light extraction efficiencies without the need of any additional processing to allow efficient single photon transfer between the host and the underlying PIC. Arrays of 2D-based SPEs can moreover be fabricated deterministically through STEM patterning or strain engineering. Finally, 2D materials grown with high wafer-scale uniformity are becoming more readily available, such that they can be matched at the wafer level with underlying PICs. Here we report on the integration of a WSe$_{2}$ monolayer onto a Silicon Nitride (SiN) chip. We demonstrate the coupling of SPEs with the guided mode of a SiN waveguide and study how the on-chip single photon extraction can be maximized by interfacing the 2D-SPE with an integrated dielectric cavity. Our approach allows the use of optimized PIC platforms without the need for additional processing in the host material. In combination with improved wafer-scale CVD growth of 2D materials, this approach provides a promising route towards scalable quantum photonic chips.


title: Inspecting and Interacting with Meaningful Music Representations using VAE

abstract: Variational Autoencoders(VAEs) have already achieved great results on image generation and recently made promising progress on music generation. However, the generation process is still quite difficult to control in the sense that the learned latent representations lack meaningful music semantics. It would be much more useful if people can modify certain music features, such as rhythm and pitch contour, via latent representations to test different composition ideas. In this paper, we propose a new method to inspect the pitch and rhythm interpretations of the latent representations and we name it disentanglement by augmentation. Based on the interpretable representations, an intuitive graphical user interface is designed for users to better direct the music creation process by manipulating the pitch contours and rhythmic complexity.


title: Behavioural Equivalence via Modalities for Algebraic Effects

abstract: The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two programs are considered as being behaviourally equivalent if they enjoy the same behavioural properties. To formulate this, we define a logic whose formulas specify behavioural properties. A crucial ingredient is a collection of modalities expressing effect-specific aspects of behaviour. We give a general theory of such modalities. If two conditions, openness and decomposability, are satisfied by the modalities then the logically specified behavioural equivalence coincides with a modality-defined notion of applicative bisimilarity, which can be proven to be a congruence by a generalisation of Howe's method. We show that the openness and decomposability conditions hold for several examples of algebraic effects: nondeterminism, probabilistic choice, global store and input/output.


title: Singular Brascamp-Lieb: a survey

abstract: We present an overview of results on multi-linear singular integrals in the broader context of Brascamp-Lieb inequalities. This elaborates a lecture given at the inspiring conference on Geometric Aspects of Harmonic Analysis at Cortona 2018 in honor of Fulvio Ricci.


title: Planar Point Sets Determine Many Pairwise Crossing Segments

abstract: We show that any set of $n$ points in general position in the plane determines $n^{1-o(1)}$ pairwise crossing segments. The best previously known lower bound, $\Omega\left(\sqrt n\right)$, was proved more than 25 years ago by Aronov, Erd\H os, Goddard, Kleitman, Klugerman, Pach, and Schulman. Our proof is fully constructive, and extends to dense geometric graphs.


title: A novel algorithm to get the Fourier power spectra of a real sequence

abstract: For a real sequence of length of m = nl, we may deduce its congruence derivative sequence with length of l. The discrete Fourier transform of original sequence can be calculated by the discrete Fourier transform of the congruence derivative sequence. Based on the relation of discrete Fourier transforms between the two sequences, the features of Fourier power spectra of the integer and fractional periods for a real sequence have been investigated. It has proved mathematically that after calculating the Fourier power spectrum at an integer period, the Fourier power spectra of the fractional periods associated this integer period can be easily represented by the computational result of the Fourier power spectrum at the integer period for the sequence. A computational experience using a protein sequence shows that some of the computed results are a kind of Fourier power spectra corresponding to new frequencies which can't be obtained from the traditional discrete Fourier transform. Therefore, the algorithm would be a new realization method for discrete Fourier transform of the real sequence.


title: Monitoring Mobile and Spatially Distributed Cyber-Physical Systems

abstract: Cyber-Physical Systems~(CPS) consist of collaborative, networked and tightly intertwined computational (logical) and physical components, each operating at different spatial and temporal scales. Hence, the spatial and temporal requirements play an essential role for their correct and safe execution. Furthermore, the local interactions among the system components result in global spatio-temporal emergent behaviors often impossible to predict at the design time. In this work, we pursue a complementary approach by introducing STREL a novel spatio-temporal logic that enables the specification of spatio-temporal requirements and their monitoring over the execution of mobile and spatially distributed CPS. Our logic extends the Signal Temporal Logic with two novel spatial operators reach and escape from which is possible to derive other spatial modalities such as everywhere, somewhere and surround. These operators enable a monitoring procedure where the satisfaction of the property at each location depends only on the satisfaction of its neighbours, opening the way to future distributed online monitoring algorithms. We propose both a qualitative and quantitative semantics based on constraint semirings, an algebraic structure suitable for constraint satisfaction and optimisation. We prove that, for a subclass of models, all the spatial properties expressed with reach and escape, using euclidean distance, satisfy all the model transformations using rotation, reflection and translation. Finally, we provide an offline monitoring algorithm for STREL and, to demonstrate the feasibility of our approach, we show its application using the monitoring of a simulated mobile ad-hoc sensor network as running example.


title: Design of experiments for Quick U-building method for building energy performance measurement

abstract: Quick U-building (QUB) is a method for short time measurement of energy performance of buildings, typically one night. It uses the indoor air temperature response to power delivered to the indoor air by electric heaters. This paper introduces a method for estimating the expected measurement error as a function of the amplitude and the time duration of the input signal based on the decomposition of the time response of a state-space model into a sum of exponentials by using the eigenvalues of the state matrix. It is shown that the buildings have a group of dominant time constants, which gives an exponential response, and many very short and very large time constants, which have a small influence on the response. The analysis of the eigenvalues demonstrates that the QUB experiment may be done in a rather short time as compared with the largest time constant of the building.


title: Extending time-domain ptychography to generalized phase-only transfer functions

abstract: We extend the time-domain ptychographic iterative engine to generalized spectral phase-only transfer functions. The modified algorithm, i$^2$PIE, is described and its robustness is demonstrated by different numeric simulations. The concept is experimentally verified by reconstruction of a complex supercontinuum pulse from an all normal dispersion fiber.


title: True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans

abstract: We address the problem of defining graph transformations by the simultaneous application of direct transformations even when these cannot be applied independently of each other. An algebraic approach is adopted, with production rules of the form $L\xleftarrow{l}K \xleftarrow{i} I \xrightarrow{r} R$, called weak spans. A parallel coherent transformation is introduced and shown to be a conservative extension of the interleaving semantics of parallel independent direct transformations. A categorical construction of finitely attributed structures is proposed, in which parallel coherent transformations can be built in a natural way. These notions are introduced and illustrated on detailed examples.


title: Integral constraints in spectroscopic surveys

abstract: Clustering analyses of spectroscopic surveys are based upon density fluctuations, which are estimated by comparing the observed tracer density field to a selection function accounting for the survey density and geometry. However, this survey selection function is commonly partly inferred from the observed data itself, leading to so-called integral constraints, for which we propose a complete derivation. We discuss the normalisation of the introduced window functions, the shot noise contribution to the integral constraint corrections and wide-angle effects. Using this formalism, we review the well-known global integral constraint, arising when the expected mean galaxy density is taken to be the measured one. Another, stronger, constraint is imposed when the radial selection function itself is estimated from the data redshift distribution, as is often the case in the literature. We find that the impact of such a radial integral constraint can be as significant as the window function effect at large scales, depending on the survey geometry. Equations for this radial integral constraint are derived within our general formalism. We assess the validity of our approach by performing a Redshift Space Distortions (RSD) analysis on mock catalogues and emphasise that our results may be even more useful for analyses focusing on larger scales. Finally, as a further application, we show that unknown angular systematics can be mitigated by nulling the density fluctuations on a chosen angular scale. The induced loss of clustering is modelled by an angular integral constraint which can be combined with the radial one.


title: Communication Cost for Non-Markovianity of Tripartite Quantum States: A Resource Theoretic Approach

abstract: To quantify non-Markovianity of tripartite quantum states from an operational viewpoint, we introduce a class $\Omega^*$ of operations performed by three distant parties. A tripartite quantum state is a free state under $\Omega^*$ if and only if it is a quantum Markov chain. We introduce a function of tripartite quantum states that we call the non-Markovianity of formation, and prove that it is a faithful measure of non-Markovianity, which is continuous and monotonically nonincreasing under a subclass $\Omega$ of $\Omega^*$. We consider a task in which the three parties generate a non-Markov state from scratch by operations in $\Omega$, assisted with quantum communication from the third party to the others, which does not belong to $\Omega$. We prove that the minimum cost of quantum communication required therein is asymptotically equal to the regularized non-Markovianity of formation. Based on this result, we provide a direct operational meaning to a measure of bipartite entanglement called the c-squashed entanglement.


title: Spectral shape simplicity of viscous materials

abstract: A broad survey of viscoelastic data demonstrates that van der Waals, hydrogen-bonded, and ionic liquids, as well as polymeric, inorganic, and metallic melts share a structural relaxation pattern virtually insensitive to their morphological details. This mechanical simplicity is connected with that characterizing the fast reorientation dynamics prevailing in liquids devoid of a distinguishable secondary loss peak. By these means one is able to uncover a generic spectral pattern which rationalizes the recently reported "universality" of relaxation strength vs. stretching of the dielectric response of viscous liquids, significantly broadening the framework in which their relaxation behavior is assessed.


title: Wait for me! Towards socially assistive walk companions

abstract: The aim of the present study involves designing a humanoid robot guide as a walking trainer for elderly and rehabilitation patients. The system is based on the humanoid robot Pepper with a compliance approach that allows to match the motion intention of the user to the robot's pace. This feasibility study is backed up by an experimental evaluation conducted in a rehabilitation centre. We hypothesize that Pepper robot used as an assistive partner, can also benefit elderly users by motivating them to perform physical activity.


title: Solvability of Power Flow Equations Through Existence and Uniqueness of Complex Fixed Point

abstract: Variations of loading level and changes in system topological property may cause the operating point of an electric power systems to move gradually towards the verge of its transmission capability, which can lead to catastrophic outcomes such as voltage collapse blackout. From a modeling perspective, voltage collapse is closely related to the solvability of power flow equations. Determining conditions for existence and uniqueness of solution to power flow equations is one of the fundamental problems in power systems that has great theoretical and practical significance. In this paper, we provide strong sufficient condition certifying the existence and uniqueness of power flow solutions in a subset of state (voltage) space. The novel analytical approach heavily exploits the contractive properties of the fixed-point form in complex domain, which leads to much sharper analytical conditions than previous ones based primarily on analysis in the real domain. Extensive computational experiments are performed which validate the correctness and demonstrate the effectiveness of the proposed condition.