title: On certain weighted 7-colored partitions

abstract: Inspired by Andrews' 2-colored generalized Frobenius partitions, we consider certain weighted 7-colored partition functions and establish some interesting Ramanujan-type identities and congruences. Moreover, we provide combinatorial interpretations of some congruences modulo 5 and 7. Finally, we study the properties of weighted 7-colored partitions weighted by the parity of certain partition statistics.


title: Do GANs actually learn the distribution? An empirical study

abstract: Do GANS (Generative Adversarial Nets) actually learn the target distribution? The foundational paper of (Goodfellow et al 2014) suggested they do, if they were given sufficiently large deep nets, sample size, and computation time. A recent theoretical analysis in Arora et al (to appear at ICML 2017) raised doubts whether the same holds when discriminator has finite size. It showed that the training objective can approach its optimum value even if the generated distribution has very low support ---in other words, the training objective is unable to prevent mode collapse. The current note reports experiments suggesting that such problems are not merely theoretical. It presents empirical evidence that well-known GANs approaches do learn distributions of fairly low support, and thus presumably are not learning the target distribution. The main technical contribution is a new proposed test, based upon the famous birthday paradox, for estimating the support size of the generated distribution.


title: One dimensional weighted Ricci curvature and displacement convexity of entropies

abstract: In the present paper, we prove that a lower bound on the $1$-weighted Ricci curvature is equivalent to a convexity of entropies on the Wasserstein space. Based on such characterization, we provide some interpolation inequalities such as the Pr'ekopa-Leindler inequality, the Borel-Branscamp-Lieb inequality, and the Brunn-Minkowski inequality under the curvature bound.


title: Words, Hausdorff dimension and randomly free groups

abstract: We study fibers of word maps in finite, profinite, and residually finite groups. Our main result is that, for any word w in the free group on d generators, there exists $\epsilon > 0$ such that if G is a residually finite group with infinitely many non-isomorphic non-abelian upper composition factors, then all fibers of the word map $w\colon G^d \to G$ have Hausdorff dimension at most $d-\epsilon$. We conclude that the profinite completion of a group G as above satisfies no probabilistic identity. It is therefore randomly free; namely, for any d > 0, the probability that d randomly chosen elements freely generate a free subgroup of G is 1. This solves an open problem of Dixon, Pyber, Seress, and Shalev. Additional applications and related results are also established. For example, combining our results with recent results of Bors, we conclude that a profinite group in which the set of elements of finite odd order has positive measure has an open prosolvable subgroup. This may be regarded as a probabilistic version of the Feit-Thompson theorem.


title: Multi-level SVM Based CAD Tool for Classifying Structural MRIs

abstract: The revolutionary developments in the field of supervised machine learning have paved way to the development of CAD tools for assisting doctors in diagnosis. Recently, the former has been employed in the prediction of neurological disorders such as Alzheimer's disease. We propose a CAD (Computer Aided Diagnosis tool for differentiating neural lesions caused by CVA (Cerebrovascular Accident) from the lesions caused by other neural disorders by using Non-negative Matrix Factorisation (NMF) and Haralick features for feature extraction and SVM (Support Vector Machine) for pattern recognition. We also introduce a multi-level classification system that has better classification efficiency, sensitivity and specificity when compared to systems using NMF or Haralick features alone as features for classification. Cross-validation was performed using LOOCV (Leave-One-Out Cross Validation) method and our proposed system has a classification accuracy of over 86%.


title: On Ribet's isogeny for $J_0(65)$

abstract: Let $J^{65}$ be the Jacobian of the Shimura curve attached to the indefinite quaternion algebra over $\mathbb{Q}$ of discriminant $65$. We study the isogenies $J_0(65)\rightarrow J^{65}$ defined over $\mathbb{Q}$, whose existence was proved by Ribet. We prove that there is an isogeny whose kernel is supported on the Eisenstein maximal ideals of the Hecke algebra acting on $J_0(65)$, and moreover the odd part of the kernel is generated by a cuspidal divisor of order $7$, as is predicted by a conjecture of Ogg.


title: UHECR propagation from Centaurus A

abstract: In the light of the recently predicted isotopic composition of the kpc-scale jet in Centaurus A, we re-investigate whether this source could be responsible for some of the ultra-high energy cosmic rays detected by the Pierre Auger Observatory. We find that a nearby source like Centaurus A is well motivated by the composition and spectral shape, and that such sources should start to dominate the flux above ~ 4 EeV. The best-fitting isotopes from our modelling, with the maximum 56Fe energy fixed at 250 EeV, are of intermediate mass, 12C to 16O, while the best-fitting particle index is 2.3.


title: Topological photonic orbital angular momentum switch

abstract: The large number of available orbital angular momentum (OAM) states of photons provides a unique resource for many important applications in quantum information and optical communications. However, conventional OAM switching devices usually rely on precise parameter control and are limited by slow switching rate and low efficiency. Here we propose a robust, fast and efficient photonic OAM switch device based on a topological process, where photons are adiabatically pumped to a target OAM state on demand. Such topological OAM pumping can be realized through manipulating photons in a few degenerate main cavities and involves only a limited number of optical elements. A large change of OAM at $\sim 10^{q}$ can be realized with only $q$ degenerate main cavities and at most $5q$ pumping cycles. The topological photonic OAM switch may become a powerful device for broad applications in many different fields and motivate novel topological design of conventional optical devices.


title: Between Homomorphic Signal Processing and Deep Neural Networks: Constructing Deep Algorithms for Polyphonic Music Transcription

abstract: This paper presents a new approach in understanding how deep neural networks (DNNs) work by applying homomorphic signal processing techniques. Focusing on the task of multi-pitch estimation (MPE), this paper demonstrates the equivalence relation between a generalized cepstrum and a DNN in terms of their structures and functionality. Such an equivalence relation, together with pitch perception theories and the recently established rectified-correlations-on-a-sphere (RECOS) filter analysis, provide an alternative way in explaining the role of the nonlinear activation function and the multi-layer structure, both of which exist in a cepstrum and a DNN. To validate the efficacy of this new approach, a new feature designed in the same fashion is proposed for pitch salience function. The new feature outperforms the one-layer spectrum in the MPE task and, as predicted, it addresses the issue of the missing fundamental effect and also achieves better robustness to noise.


title: How does the accuracy of interatomic force constants affect the prediction of lattice thermal conductivity

abstract: Solving Peierls-Boltzmann transport equation with interatomic force constants (IFCs) from first-principles calculations has been a widely used method for predicting lattice thermal conductivity of three-dimensional materials. With the increasing research interests in two-dimensional materials, this method is directly applied to them but different works show quite different results. In this work, classical potential was used to investigate the effect of the accuracy of IFCs on the predicted thermal conductivity. Inaccuracies were introduced to the third-order IFCs by generating errors in the input forces. When the force error lies in the typical value from first-principles calculations, the calculated thermal conductivity would be quite different from the benchmark value. It is found that imposing translational invariance conditions cannot always guarantee a better thermal conductivity result. It is also shown that Gr\"uneisen parameters cannot be used as a necessary and sufficient criterion for the accuracy of third-order IFCs in the aspect of predicting thermal conductivity.


title: Survival probabilities of high-dimensional stochastic SIS and SIR models with random edge weights

abstract: In this paper, we are concerned with the stochastic SIS (susceptible-infected-susceptible) and SIR (susceptible-infected-recovered) models on high-dimensional lattices with random edge weights, where a susceptible vertex is infected by an infectious neighbor at rate proportional to the weight on the edge connecting them. All the edge weights are assumed to be i.i.d.. Our main result gives mean field limits for survival probabilities of the two models as the dimension grows to infinity, which extends the main conclusion given in \cite{Xue2017} for classic stochastic SIS model.


title: Testing normality for unconditionally heteroscedastic macroeconomic variables

abstract: In this paper the testing of normality for unconditionally heteroscedastic macroeconomic time series is studied. It is underlined that the classical Jarque-Bera test (JB hereafter) for normality is inadequate in our framework. On the other hand it is found that the approach which consists in correcting the heteroscedasticity by kernel smoothing for testing normality is justified asymptotically. Nevertheless it appears from Monte Carlo experiments that such methodology can noticeably suffer from size distortion for samples that are typical for macroeconomic variables. As a consequence a parametric bootstrap methodology for correcting the problem is proposed. The innovations distribution of a set of inflation measures for the U.S., Korea and Australia are analyzed.


title: Groebner---Shirshov bases for replicated algebras

abstract: We establish a universal approach to solution of the word problem in the varieties of di- and tri-algebras. This approach, for example, allows to apply Groebner---Shirshov bases method for Lie algebras to solve the ideal membership problem in free Leibniz algebras (Lie di-algebras). As another application, we prove an analogue of the Poincare---Birkhoff---Witt Theorem for universal enveloping associative tri-algebra of a Lie tri-algebra (CTD^!-algebra).


title: The noncommutative L\"owner theorem for matrix monotone functions over operator systems

abstract: Given a function $f: (a,b) \rightarrow \mathbb{R},$ L\"owner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ extends to a self-map of the complex upper half plane. In recent years, several generalizations of L\"owner's theorem have been proven in several variables. We use the relaxed Agler, McCarthy and Young theorem on locally matrix monotone functions in several commuting variables to generalize results in the noncommutative case. Specifically, we show that a real free function defined over an operator system must analytically continue to a noncommutative upper half plane as map into another noncommutative upper half plane.


title: A gradient flow for the prescribed Gaussian curvature problem on a closed Riemann surface with conical singularity

abstract: In this note, we prove that the abstract gradient flow introduced by Baird-Fardoun-Regbaoui \cite{BFR}is well-posed on a closed Riemann surface with conical singularity. Long time existence and convergence of the flow are proved under certain assumptions. As an application, the prescribed Gaussian curvature problem is solved when the singular Euler characteristic of the conical surface is non-positive.


title: Genetic variation in human drug-related genes

abstract: Variability in drug efficacy and adverse effects are observed in clinical practice. While the extent of genetic variability in classical pharmacokinetic genes is rather well understood, the role of genetic variation in drug targets is typically less studied. Based on 60,706 human exomes from the ExAC dataset, we performed an in-depth computational analysis of the prevalence of functional-variants in in 806 drug-related genes, including 628 known drug targets. We find that most genetic variants in these genes are very rare (f < 0.1%) and thus likely not observed in clinical trials. Overall, however, four in five patients are likely to carry a functional-variant in a target for commonly prescribed drugs and many of these might alter drug efficacy. We further computed the likelihood of 1,236 FDA approved drugs to be affected by functional-variants in their targets and show that the patient-risk varies for many drugs with respect to geographic ancestry. A focused analysis of oncological drug targets indicates that the probability of a patient carrying germline variants in oncological drug targets is with 44% high enough to suggest that not only somatic alterations, but also germline variants carried over into the tumor genome should be included in therapeutic decision-making.


title: Size effect on the spontaneous coalescence of nanowires

abstract: This paper investigates the size effect on the coalescence process of contacting nanoparticles. It is revealed by molecular dynamics that the nanometer-sized surface curvature coupled with the effective melting temperature exhibits a strong influence on the atom diffusion at the interface, and is therefore critical to the coalescence time. This effect is particularly pronouncing for surface curvatures below 20 nm. A phenomenological model is derived from the melting-point reduction approach to describe the kinetic process of nanowire coalescence and is validated against a variety of simulation datasets. The quantitative correlation between the sample size, the sintering temperature and the contact morphology evolution is demonstrated.


title: Anomalous leptonic U(1) symmetry: Syndetic origin of the QCD axion, weak-scale dark matter, and radiative neutrino mass

abstract: The well-known leptonic U(1) symmetry of the standard model of quarks and leptons is extended to include a number of new fermions and scalars. The resulting theory has an invisible QCD axion (thereby solving the strong CP problem), a candidate for weak-scale dark matter, as well as radiative neutrino masses. A possible key connection is a color-triplet scalar, which may be produced and detected at the Large Hadron Collider.


title: The mathematical theories of diffusion. Nonlinear and fractional diffusion

abstract: We describe the mathematical theory of diffusion and heat transport with a view to including some of the main directions of recent research. The linear heat equation is the basic mathematical model that has been thoroughly studied in the last two centuries. It was followed by the theory of parabolic equations of different types. In a parallel development, the theory of stochastic differential equations gives a foundation to the probabilistic study of diffusion. Nonlinear diffusion equations have played an important role not only in theory but also in physics and engineering, and we focus on a relevant aspect, the existence and propagation of free boundaries. We use the porous medium and fast diffusion equations as case examples. A large part of the paper is devoted to diffusion driven by fractional Laplacian operators and other nonlocal integro-differential operators representing nonlocal, long-range diffusion effects. Three main models are examined (one linear, two nonlinear), and we report on recent progress in which the author is involved.


title: Quantum State Transfer from a Single Photon to a Distant Quantum-Dot Electron Spin

abstract: Quantum state transfer from flying photons to stationary matter qubits is an important element in the realization of quantum networks. Self-assembled semiconductor quantum dots provide a promising solid-state platform hosting both single photon and spin, with an inherent light-matter interface. Here, we develop a method to coherently and actively control the single-photon frequency bins in superposition using electro-optic modulators, and measure the spin-photon entanglement with a fidelity of $0.796\pm0.020$. Further, by Greenberger-Horne-Zeilinger-type state projection on the frequency, path and polarization degrees of freedom of a single photon, we demonstrate quantum state transfer from a single photon to a single electron spin confined in an InGaAs quantum dot, separated by 5 meters. The quantum state mapping from the photon's polarization to the electron's spin is demonstrated along three different axis on the Bloch sphere, with an average fidelity of $78.5\%$.


title: Interferometric control of the photon-number distribution

abstract: We demonstrate deterministic control over the photon-number distribution by interfering two coherent beams within a disordered photonic lattice. By sweeping a relative phase between two equal-amplitude coherent fields with Poissonian statistics that excite adjacent sites in a lattice endowed with disorder-immune chiral symmetry, we measure an output photon-number distribution that changes periodically between super-thermal and sub-thermal photon statistics upon ensemble averaging. Thus, the photon-bunching level is controlled interferometrically at a fixed mean photon-number by gradually activating the excitation symmetry of the chiral-mode pairs with structured coherent illumination and without modifying the disorder level of the random system itself.


title: Spatial Risk Measure for Max-Stable and Max-Mixture Processes

abstract: In this paper, we consider isotropic and stationary max-stable, inverse max-stable and max-mixture processes $X=(X(s))\_{s\in\bR^2}$ and the damage function $\cD\_X^{\nu}= |X|^\nu$ with $0<\nu<1/2$. We study the quantitative behavior of a risk measure which is the variance of the average of $\cD\_X^{\nu}$ over a region $\mathcal{A}\subset \bR^2$.} This kind of risk measure has already been introduced and studied for \vero{some} max-stable processes in \cite{koch2015spatial}. %\textcolor{red}{In this study, we generalised this risk measure to be applicable for several models: asymptotic dependence represented by max-stable, asymptotic independence represented by inverse max-stable and mixing between of them.} We evaluated the proposed risk measure by a simulation study.


title: Colloquium: Nonequilibrium effects in superconductors with a spin-splitting field

abstract: We review the recent progress in understanding the properties of spin-split superconductors under non-equilibrium conditions. Recent experiments and theories demonstrate a rich variety of transport phenomena occurring in devices based on such materials that suggest direct applications in thermoelectricity, low-dissipative spintronics, radiation detection and sensing. We discuss different experimental situations and present a theoretical framework based on quantum kinetic equations. Within this framework we provide an accurate description of the non-equilibrium distribution of charge, spin and energy, which are the relevant non-equilibrium modes, in different hybrid structures. We also review experiments on spin-split superconductors and show how transport measurements reveal the properties of the non-equilibrium modes and their mutual coupling. We discuss in detail spin injection and diffusion and very large thermoelectric effects in spin-split superconductors.


title: Eulerian dynamics with a commutator forcing III. Fractional diffusion of order $0<\alpha<1$

abstract: We continue our study of hydrodynamic models of self-organized evolution of agents with singular interaction kernel $\phi(x) = |x|^{-(1+\alpha)}$. Following our works \cite{ST2017a,ST2017b} which focused on the range $1\leq \alpha <2$, and Do et. al. \cite{DKRT2017} which covered the range $0<\alpha<1$, in this paper we revisit the latter case and give a short(-er) proof of global in time existence of smooth solutions, together with a full description of their long time dynamics. Specifically, we prove that starting from any initial condition in $(\rho_0,u_0) \in H^{2+\alpha}\times H^3$, the solution approaches exponentially fast to a flocking state solution consisting of a wave $\bar{\rho}=\rho_\infty(x-t\bar{u}))$ traveling with a constant velocity determined by the conserved average velocity $\bar{u}$. The convergence is accompanied by exponential decay of all higher order derivatives of $u$.


title: Sturm's theorem on zeros of linear combinations of eigenfunctions

abstract: Motivated by recent questions about the extension of Courant's nodal domain theorem, we revisit a theorem published by C. Sturm in 1836, which deals with zeros of linear combination of eigenfunctions of Sturm-Liouville problems. Although well known in the nineteenth century, this theorem seems to have been ignored or forgotten by some of the specialists in spectral theory since the second half of the twentieth-century. Although not specialists in History of Sciences, we have tried to put these theorems into the context of nineteenth century mathematics.


title: Chiral Bobbers and Skyrmions in Epitaxial FeGe/Si(111) Films

abstract: We report experimental and theoretical evidence for the formation of chiral bobbers - an interfacial topological spin texture - in FeGe films grown by molecular beam epitaxy (MBE). After establishing the presence of skyrmions in FeGe/Si(111) thin film samples through Lorentz transmission electron microscopy and topological Hall effect, we perform magnetization measurements that reveal an inverse relationship between film thickness and the slope of the susceptibility (d\c{hi}/dH). We present evidence for the evolution as a function of film thickness, L, from a skyrmion phase for L < LD/2 to a cone phase with chiral bobbers at the interface for L > LD/2, where LD ~ 70 nm is the FeGe pitch length. We show using micromagnetic simulations that chiral bobbers, earlier predicted to be metastable, are in fact the stable ground state in the presence of an additional interfacial Rashba Dzyaloshinskii-Moriya interaction (DMI).


title: Few-Example Object Detection with Model Communication

abstract: In this paper, we study object detection using a large pool of unlabeled images and only a few labeled images per category, named "few-example object detection". The key challenge consists in generating trustworthy training samples as many as possible from the pool. Using few training examples as seeds, our method iterates between model training and high-confidence sample selection. In training, easy samples are generated first and, then the poorly initialized model undergoes improvement. As the model becomes more discriminative, challenging but reliable samples are selected. After that, another round of model improvement takes place. To further improve the precision and recall of the generated training samples, we embed multiple detection models in our framework, which has proven to outperform the single model baseline and the model ensemble method. Experiments on PASCAL VOC'07, MS COCO'14, and ILSVRC'13 indicate that by using as few as three or four samples selected for each category, our method produces very competitive results when compared to the state-of-the-art weakly-supervised approaches using a large number of image-level labels.


title: Improving the Benjamini-Hochberg Procedure for Discrete Tests

abstract: To find interesting items in genome-wide association studies or next generation sequencing data, a crucial point is to design powerful false discovery rate (FDR) controlling procedures that suitably combine discrete tests (typically binomial or Fisher tests). In particular, recent research has been striving for appropriate modifications of the classical Benjamini-Hochberg (BH) step-up procedure that accommodate discreteness. However, despite an important number of attempts, these procedures did not come with theoretical guarantees. The present paper contributes to fill the gap: it presents new modifications of the BH procedure that incorporate the discrete structure of the data and provably control the FDR for any fixed number of null hypotheses (under independence). Markedly, our FDR controlling methodology allows to incorporate simultaneously the discreteness and the quantity of signal of the data (corresponding therefore to a so-called $\pi\_0$-adaptive procedure). The power advantage of the new methods is demonstrated in a numerical experiment and for some appropriate real data sets.


title: Properties of thermocapillary fluids and symmetrization of motion equations

abstract: The equations of fluid motions are considered in the case of internal energy depending on mass density, volume entropy and their spatial derivatives. The model corresponds to domains with large density gradients in which the temperature is not necessary uniform. In this new general representation writes in symmetric form with respect to the mass and entropy densities. For conservative motions of perfect thermocapillary fluids, Kelvin's circulation theorems are always valid. Dissipative cases are also considered; we obtain the balance of energy and we prove that equations are compatible with the second law of thermodynamics. The internal energy form allows to obtain a Legendre transformation inducing a quasi-linear system of conservation laws which can be written in a divergence form and the stability near equilibrium positions can be deduced. The result extends classical hyperbolicity theory for governing-equations' systems in hydrodynamics, but symmetric matrices are replaced by Hermitian matrices.


title: Mean field games with congestion

abstract: We consider a class of systems of time dependent partial differential equations which arise in mean field type models with congestion. The systems couple a backward viscous Hamilton-Jacobi equation and a forward Kolmogorov equation both posed in $(0,T)\times (\mathbb{R}^N /\mathbb{Z}^N)$. Because of congestion and by contrast with simpler cases, the latter system can never be seen as the optimality conditions of an optimal control problem driven by a partial differential equation. The Hamiltonian vanishes as the density tends to $+\infty$ and may not even be defined in the regions where the density is zero. After giving a suitable definition of weak solutions, we prove the existence and uniqueness results of the latter under rather general assumptions. No restriction is made on the horizon $T$.


title: Lebesgue and gaussian measure of unions of basic semi-algebraic sets

abstract: Given a finite Borel measure $\mu$ on R n and basic semi-algebraic sets $\Omega$\_i $\subset$ R n , i = 1,. .. , p, we provide a systematic numerical scheme to approximate as closely as desired $\mu$(\cup\_i $\Omega$\_i), when all moments of $\mu$ are available (and finite). More precisely , we provide a hierarchy of semidefinite programs whose associated sequence of optimal values is monotone and converges to the desired value from above. The same methodology applied to the complement R n \ (\cup\_i $\Omega$\_i) provides a monotone sequence that converges to the desired value from below. When $\mu$ is the Lebesgue measure we assume that $\Omega$ := \cup\_i $\Omega$\_i is compact and contained in a known box B and in this case the complement is taken to be B \ $\Omega$. In fact, not only $\mu$($\Omega$) but also every finite vector of moments of $\mu$\_$\Omega$ (the restriction of $\mu$ on $\Omega$) can be approximated as closely as desired, and so permits to approximate the integral on $\Omega$ of any given polynomial.


title: First detection of methanol towards a post-AGB object, HD101584

abstract: The circumstellar environments of objects on the asymptotic giant branch and beyond are rich in molecular species. Nevertheless, methanol has never been detected in such an object, and is therefore often taken as a clear signpost for a young stellar object. However, we report the first detection of CH3OH in a post-AGB object, HD101584, using ALMA. Its emission, together with emissions from CO, SiO, SO, CS, and H2CO, comes from two extreme velocity spots on either side of the object where a high-velocity outflow appears to interact with the surrounding medium. We have derived molecular abundances, and propose that the detected molecular species are the effect of a post-shock chemistry where circumstellar grains play a role. We further provide evidence that HD101584 was a low-mass, M-type AGB star.


title: Exceptions in Business Processes in Relation to Operational Performance

abstract: Business process models describe the way of working in an organization. Typically, business process models distinguish between the normal flow of work and exceptions to that normal flow. However, they often present an idealized view. This means that unexpected exceptions - exceptions that are not modelled in the business process model - can also occur in practice. This has an effect on the efficiency of the organization, because information systems are not developed to handle unexpected exceptions. This paper studies the relation between the occurrence of exceptions and operational performance. It does this by analyzing the execution logs of business processes from five organizations, classifying execution paths as normal or exceptional. Subsequently, it analyzes the differences between normal and exceptional paths. The results show that exceptions are related to worse operational performance in terms of a longer throughput time and that unexpected exceptions relate to a stronger increase in throughput time than expected exceptions.


title: Ferroelectric control of the giant Rashba spin orbit coupling in GeTe(111)/InP(111) superlattice

abstract: GeTe wins the renewed research interest due to its giant bulk Rashba spin orbit coupling (SOC), and becomes the father of a new multifunctional material, i.e., ferroelectric Rashba semiconductor. In the present work, we investigate Rashba SOC at the interface of the ferroelectric semiconductor superlattice GeTe(111)/InP(111) by using the first principles calculation. Contribution of the interface electric field and the ferroelectric field to Rashba SOC is revealed. A large modulation to Rashba SOC and a reversal of the spin polarization is obtained by switching the ferroelectric polarization. Our investigation about GeTe(111)/InP(111) superlattice is of great importance in the application of ferroelectric Rashba semiconductor in the spin field effect transistor.


title: A Semiclassical, Entropic Proof of a Weak Gravity Conjecture

abstract: We present a semiclassical proof of the weak gravity conjecture in $D = 4$ spacetime dimensions for scalar matter gauged under a $U(1)^N$ gauge group. We compute the non-perturbative macroscopic entropy of a scalar field in an extremal black hole background at the level of linearized backreaction on the metric. The scalar field is assumed to violate or saturate the weak gravity conjecture. The scalar contributes a logarithmic correction to the entropy in the black hole geometry that outgrows the classical contribution. We demonstrate that the entropy of the gauged scalar violates the generalized second law in the limit of large black hole charge. Our result suggests that entropy inequalities may directly discriminate between effective field theories that live in the landscape versus the swampland.


title: Spin excitation anisotropy in the paramagnetic tetragonal phase of BaFe2 As2

abstract: We use neutron polarization analysis to study temperature dependence of the spin excitation anisotropy in BaFe$_2$As$_2$, which has a tetragonal-to-orthorhombic structural distortion at $T_s$ and antiferromagnetic (AF) phase transition at $T_N$ with ordered moments along the orthorhombic $a$-axis below $T_s\approx T_N\approx 136$ K. In the paramagnetic tetragonal state at 160 K, spin excitations are isotropic in spin space with $M_a=M_b=M_c$, where $M_a$, $M_b$, and $M_c$ are spin excitations polarized along the $a$, $b$, and $c$-axis directions of the orthorhombic lattice, respectively. On cooling towards $T_N$, significant spin excitation anisotropy with $M_a>M_b\approx M_c$ develops below 3 meV with a diverging $M_a$ at $T_N$. The in-plane spin excitation anisotropy in the tetragonal phase of BaFe$_2$As$_2$ is similar to those seen in the tetragonal phase of its electron and hole-doped superconductors, suggesting that spin excitation anisotropy is a direct probe of doping dependence of spin-orbit coupling and its connection to superconductivity in iron pnictides.


title: Relational Algebra for In-Database Process Mining

abstract: The execution logs that are used for process mining in practice are often obtained by querying an operational database and storing the result in a flat file. Consequently, the data processing power of the database system cannot be used anymore for this information, leading to constrained flexibility in the definition of mining patterns and limited execution performance in mining large logs. Enabling process mining directly on a database - instead of via intermediate storage in a flat file - therefore provides additional flexibility and efficiency. To help facilitate this ideal of in-database process mining, this paper formally defines a database operator that extracts the 'directly follows' relation from an operational database. This operator can both be used to do in-database process mining and to flexibly evaluate process mining related queries, such as: "which employee most frequently changes the 'amount' attribute of a case from one task to the next". We define the operator using the well-known relational algebra that forms the formal underpinning of relational databases. We formally prove equivalence properties of the operator that are useful for query optimization and present time-complexity properties of the operator. By doing so this paper formally defines the necessary relational algebraic elements of a 'directly follows' operator, which are required for implementation of such an operator in a DBMS.


title: Deep Semantics-Aware Photo Adjustment

abstract: Automatic photo adjustment is to mimic the photo retouching style of professional photographers and automatically adjust photos to the learned style. There have been many attempts to model the tone and the color adjustment globally with low-level color statistics. Also, spatially varying photo adjustment methods have been studied by exploiting high-level features and semantic label maps. Those methods are semantics-aware since the color mapping is dependent on the high-level semantic context. However, their performance is limited to the pre-computed hand-crafted features and it is hard to reflect user's preference to the adjustment. In this paper, we propose a deep neural network that models the semantics-aware photo adjustment. The proposed network exploits bilinear models that are the multiplicative interaction of the color and the contexual features. As the contextual features we propose the semantic adjustment map, which discovers the inherent photo retouching presets that are applied according to the scene context. The proposed method is trained using a robust loss with a scene parsing task. The experimental results show that the proposed method outperforms the existing method both quantitatively and qualitatively. The proposed method also provides users a way to retouch the photo by their own likings by giving customized adjustment maps.


title: A new approach to gradient Ricci solitons and generalizations

abstract: This short note concerns with two inequalities in the geometry of gradient Ricci solitons $(g, f, \lambda )$ on a smooth manifold $M$. These inequalities provide some relationships between the curvature of the Riemannian metric $g$ and the behavior of the scalar field $f$ through two second order equations satisfied by the scalar $\lambda $. We propose several generalizations of Ricci solitons to the setting of manifolds endowed with linear connections, not necessary of metric type.


title: Degenerations of NURBS curves while all of weights approaching infinity

abstract: NURBS curve is widely used in Computer Aided Design and Computer Aided Geometric Design. When a single weight approaches infinity, the limit of a NURBS curve tends to the corresponding control point. In this paper, a kind of control structure of a NURBS curve, called regular control curve, is defined. We prove that the limit of the NURBS curve is exactly its regular control curve when all of weights approach infinity, where each weight is multiplied by a certain one-parameter function tending to infinity, different for each control point. Moreover, some representative examples are presented to show this property and indicate its application for shape deformation.


title: Efficient Manifold and Subspace Approximations with Spherelets

abstract: In statistical dimensionality reduction, it is common to rely on the assumption that high dimensional data tend to concentrate near a lower dimensional manifold. There is a rich literature on approximating the unknown manifold, and on exploiting such approximations in clustering, data compression, and prediction. Most of the literature relies on linear or locally linear approximations. In this article, we propose a simple and general alternative, which instead uses spheres, an approach we refer to as spherelets. We develop spherical principal components analysis (SPCA), and provide theory on the convergence rate for global and local SPCA, while showing that spherelets can provide lower covering numbers and MSEs for many manifolds. Results relative to state-of-the-art competitors show gains in ability to accurately approximate manifolds with fewer components. Unlike most competitors, which simply output lower-dimensional features, our approach projects data onto the estimated manifold to produce fitted values that can be used for model assessment and cross validation. The methods are illustrated with applications to multiple data sets.


title: Adaptive Strategies for The Open-Pit Mine Optimal Scheduling Problem

abstract: Within the mining discipline, mine planning is the component that studies how to transform the information about the ore resources into value for the owner. For open-pit mines, an optimal block scheduling maximizes the discounted value of the extracted blocks (period by period), called the net present value (NPV). However, to be feasible, a mine schedule must respect the slope constraints. The optimal open-pit block scheduling problem (OPBSP) consists, therefore, in finding such an optimal schedule. On the one hand, we introduce the dynamical optimization approach to mine scheduling in the deterministic case, and we propose a class of (suboptimal) adaptive strategies, the so-called index strategies. We show that they provide upper and lower bounds for the NPV, and we provide numerical results. On the other hand, we introduce a theoretical framework for OPBSP under uncertainty and learning.


title: Celebrating 30 Years of Science from the James Clerk Maxwell Telescope

abstract: The James Clerk Maxwell Telescope (JCMT) has been the world's most successful single dish telescope at submillimetre wavelengths since it began operations in 1987. From the pioneering days of single-element photometers and mixers, through the first modest imaging arrays, leading to the state-of-the-art widefield camera SCUBA-2 and the spectrometer array HARP, the JCMT has been associated with a number of major scientific discoveries. Famous for the discovery of "SCUBA" galaxies, which are responsible for a large fraction of the far-infrared background, to the first images of huge discs of cool debris around nearby stars, possibly giving us clues to the evolution of planetary systems, the JCMT has pushed the sensitivity limits more than any other facility in this most difficult of wavebands in which to observe. Now approaching the 30th anniversary of the first observations the telescope continues to carry out unique and innovative science. In this review article we look back on just some of the scientific highlights from the past 30 years.

categories: astro-ph.GA astro-ph.CO astro-ph.EP astro-ph.IM astro-ph.SR


title: On subtrees of the representation tree in rational base numeration systems

abstract: Every rational number p/q defines a rational base numeration system in which every integer has a unique finite representation, up to leading zeroes. This work is a contribution to the study of the set of the representations of integers. This prefix-closed subset of the free monoid is naturally represented as a highly non-regular tree. Its nodes are the integers, its edges bear labels taken in {0,1,...,p-1}, and its subtrees are all distinct. We associate with each subtree (or with its root n) three infinite words. The bottom word of n is the lexicographically smallest word that is the label of a branch of the subtree. The top word of n is defined similarly. The span-word of n is the digitwise difference between the latter and the former. First, we show that the set of all the span-words is accepted by an infinite automaton whose underlying graph is essentially the same as the tree itself. Second, we study the function that computes for all n the bottom word associated with n+1 from the one associated with n, and show that it is realised by an infinite sequential transducer whose underlying graph is once again essentially the same as the tree itself. An infinite word may be interpreted as an expansion in base p/q after the radix point, hence evaluated to a real number. If T is a subtree whose root is n, then the evaluations of the labels of the branches of T form an interval of $\mathbb{R}$. The length of this interval is called the span of n and is equal to the evaluation of the span-word of n. The set of all spans is then a subset of R and we use the preceding construction to study its topological closure. We show that it is an interval when p is greater than or equal to 2q-1, and a Cantor set of measure zero otherwise.


title: A Pipeline for Insertion Sequence Detection and Study for Bacterial Genome

abstract: Insertion Sequences (ISs) are small DNA segments that have the ability of moving themselves into genomes. These types of mobile genetic elements (MGEs) seem to play an essential role in genomes rearrangements and evolution of prokaryotic genomes, but the tools that deal with discovering ISs in an efficient and accurate way are still too few and not totally precise. Two main factors have big effects on IS discovery, namely: genes annotation and functionality prediction. Indeed, some specific genes called "transposases" are enzymes that are responsible of the production and catalysis for such transposition, but there is currently no fully accurate method that could decide whether a given predicted gene is either a real transposase or not. This is why authors of this article aim at designing a novel pipeline for ISs detection and classification, which embeds the most recently available tools developed in this field of research, namely OASIS (Optimized Annotation System for Insertion Sequence) and ISFinder database (an up-to-date and accurate repository of known insertion sequences). As this latter depend on predicted coding sequences, the proposed pipeline will encompass too various kinds of bacterial genes annotation tools (that is, Prokka, BASys, and Prodigal). A complete IS detection and classification pipeline is then proposed and tested on a set of 23 complete genomes of Pseudomonas aeruginosa. This pipeline can also be used as an investigator of annotation tools performance, which has led us to conclude that Prodigal is the best software for IS prediction. A deepen study regarding IS elements in P.aeruginosa has then been conducted, leading to the conclusion that close genomes inside this species have also a close numbers of IS families and groups.


title: On the multiplicites of zeros of $\zeta(s)$ and its values over short intervals

abstract: We investigate bounds for the multiplicities $m(\beta+i\gamma)$, where $\beta+i\gamma\,$ ($\beta\ge \1/2, \gamma>0)$ denotes complex zeros of $\zeta(s)$. It is seen that the problem can be reduced to the estimation of the integrals of the zeta-function over "very short" intervals. A new, explicit bound for $m(\beta+i\gamma)$ is also derived, which is relevant when $\beta$ is close to unity. The related Karatsuba conjectures are also discussed.


title: Top-down Transformation Choice

abstract: Simple models are preferred over complex models, but over-simplistic models could lead to erroneous interpretations. The classical approach is to start with a simple model, whose shortcomings are assessed in residual-based model diagnostics. Eventually, one increases the complexity of this initial overly simple model and obtains a better-fitting model. I illustrate how transformation analysis can be used as an alternative approach to model choice. Instead of adding complexity to simple models, step-wise complexity reduction is used to help identify simpler and better-interpretable models. As an example, body mass index distributions in Switzerland are modelled by means of transformation models to understand the impact of sex, age, smoking and other lifestyle factors on a person's body mass index. In this process, I searched for a compromise between model fit and model interpretability. Special emphasis is given to the understanding of the connections between transformation models of increasing complexity. The models used in this analysis ranged from evergreens, such as the normal linear regression model with constant variance, to novel models with extremely flexible conditional distribution functions, such as transformation trees and transformation forests.


title: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems

abstract: We study statistical model checking of continuous-time stochastic hybrid systems. The challenge in applying statistical model checking to these systems is that one cannot simulate such systems exactly. We employ the multilevel Monte Carlo method (MLMC) and work on a sequence of discrete-time stochastic processes whose executions approximate and converge weakly to that of the original continuous-time stochastic hybrid system with respect to satisfaction of the property of interest. With focus on bounded-horizon reachability, we recast the model checking problem as the computation of the distribution of the exit time, which is in turn formulated as the expectation of an indicator function. This latter computation involves estimating discontinuous functionals, which reduces the bound on the convergence rate of the Monte Carlo algorithm. We propose a smoothing step with tunable precision and formally quantify the error of the MLMC approach in the mean-square sense, which is composed of smoothing error, bias, and variance. We formulate a general adaptive algorithm which balances these error terms. Finally, we describe an application of our technique to verify a model of thermostatically controlled loads.


title: Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach

abstract: Self-adaptive software is considered as the most advanced approach and its development attracts a lot of attention. Decentralization is an effective way to design and manage the complexity of modern self-adaptive software systems. However, there are still tremendous challenges. One major challenge is to unify decentrality with traditional self-adaptive implementation framework during design and implementation activity. One is to guarantee the required global goals and performance of decentralized self-adaptive systems operating in highly dynamic and uncertain environments. Another challenge is to predict the influence of system's internal change on its self-adaptability to the environment. To solve these problems, we combine the mechanisms of separation of concerns with modeling method using timed automata to allow the system to be analyzed and verified. Timed computation tree logic is used to specify system goals and stochastic simulations in dynamic environment are experimented to verify decentralized self-adaptive system's adaptation properties. In this paper, we extracted a motivation example from practical applications in UAV emergency mission scenarios. The whole approach is evaluated and illustrated with this motivation example and the statistical results can be used as reference for arrangement planning of UAVs in cyber physical spaces.


title: Emergent transport in a many-body open system driven by interacting quantum baths

abstract: We analyze an open many-body system that is strongly coupled at its boundaries to interacting quantum baths. We show that the two-body interactions inside the baths induce emergent phenomena in the spin transport. The system and baths are modeled as independent spin chains resulting in a global non-homogeneous XXZ model. The evolution of the system-bath state is simulated using matrix-product-states methods. We present two phase transitions induced by bath interactions. For weak bath interactions we observe ballistic and insulating phases. However, for strong bath interactions a diffusive phase emerges with a distinct power-law decay of the time-dependent spin current $Q\propto t^{-\alpha}$. Furthermore, we investigate long-lasting current oscillations arising from the non-Markovian dynamics in the homogeneous case, and find a sharp change in their frequency scaling coinciding with the triple point of the phase diagram.


title: Linking the rotation of a rigid body to the Schr\"odinger equation: The quantum tennis racket effect and beyond

abstract: The design of efficient and robust pulse sequences is a fundamental requirement in quantum control. Numerical methods can be used for this purpose, but with relatively little insight into the control mechanism. Here, we show that the free rotation of a classical rigid body plays a fundamental role in the control of two-level quantum systems by means of external electromagnetic pulses. For a state to state transfer, we derive a family of control fields depending upon two free parameters, which allow us to adjust the efficiency, the time and the robustness of the control process. As an illustrative example, we consider the quantum analog of the tennis racket effect, which is a geometric property of any classical rigid body. This effect is demonstrated experimentally for the control of a spin 1/2 particle by using techniques of Nuclear Magnetic Resonance. We also show that the dynamics of a rigid body can be used to implement one-qubit quantum gates. In particular, non-adiabatic geometric quantum phase gates can be realized based on the Montgomery phase of a rigid body. The robustness issue of the gates is discussed.


title: Roaming across the Castle Tunnels: an Empirical Study of Inter-App Navigation Behaviors of Android Users

abstract: Mobile applications (a.k.a., apps), which facilitate a large variety of tasks on mobile devices, have become indispensable in our everyday lives. Accomplishing a task may require the user to navigate among various apps. Unlike Web pages that are inherently interconnected through hyperlinks, mobile apps are usually isolated building blocks, and the lack of direct links between apps has largely compromised the efficiency of task completion. In this paper, we present the first in-depth empirical study of inter-app navigation behaviors of smartphone users based on a comprehensive dataset collected through a sizable user study over three months. We propose a model to distinguish informational pages and transitional pages, based on which a large number of inter-app navigation are identified. We reveal that developing 'tunnels' between of isolated apps has a huge potential to reduce the cost of navigation. Our analysis provides various practical implications on how to improve app-navigation experiences from both the operating system's perspective and the developer's perspective.


title: Supernova Remnant-Cosmic Ray connection: a modern view

abstract: The Cosmic Ray (CR) physics has entered a new era driven by high precision measurements coming from direct detection (especially AMS-02 and PAMELA) and also from gamma-ray observations (Fermi-LAT). In this review we focus our attention on how such data impact the understanding of the supernova remnant paradigm for the origin of CRs. In particular we discuss advancement in the field concerning the three main stages of the CR life: the acceleration process, the escape from the sources and the propagation throughout the Galaxy. We show how the new data reveal a phenomenology richest than previously thought that could even challenge the current understanding of CR origin.


title: Skeleton-Based Action Recognition Using Spatio-Temporal LSTM Network with Trust Gates

abstract: Skeleton-based human action recognition has attracted a lot of research attention during the past few years. Recent works attempted to utilize recurrent neural networks to model the temporal dependencies between the 3D positional configurations of human body joints for better analysis of human activities in the skeletal data. The proposed work extends this idea to spatial domain as well as temporal domain to better analyze the hidden sources of action-related information within the human skeleton sequences in both of these domains simultaneously. Based on the pictorial structure of Kinect's skeletal data, an effective tree-structure based traversal framework is also proposed. In order to deal with the noise in the skeletal data, a new gating mechanism within LSTM module is introduced, with which the network can learn the reliability of the sequential data and accordingly adjust the effect of the input data on the updating procedure of the long-term context representation stored in the unit's memory cell. Moreover, we introduce a novel multi-modal feature fusion strategy within the LSTM unit in this paper. The comprehensive experimental results on seven challenging benchmark datasets for human action recognition demonstrate the effectiveness of the proposed method.


title: State-by-state Minimax Adaptive Estimation for Nonparametric Hidden Markov Models

abstract: In this paper, we introduce a new estimator for the emission densities of a nonparametric hidden Markov model. It is adaptive and minimax with respect to each state's regularity--as opposed to globally minimax estimators, which adapt to the worst regularity among the emission densities. Our method is based on Goldenshluger and Lepski's methodology. It is computationally efficient and only requires a family of preliminary estimators, without any restriction on the type of estimators considered. We present two such estimators that allow to reach minimax rates up to a logarithmic term: a spectral estimator and a least squares estimator. We show how to calibrate it in practice and assess its performance on simulations and on real data.


title: Skating on slippery ice

abstract: The friction of a stationary moving skate on smooth ice is investigated, in particular in relation to the formation of a thin layer of water between skate and ice. It is found that the combination of ploughing and sliding gives a friction force that is rather insensitive for parameters such as velocity and temperature. The weak dependence originates from the pressure adjustment inside the water layer. For instance, high velocities, which would give rise to high friction, also lead to large pressures, which, in turn, decrease the contact zone and so lower the friction. The theory is a combination and completion of two existing but conflicting theories on the formation of the water layer.


title: Computations of the slice genus of virtual knots

abstract: A virtual knot is an equivalence class of embeddings of $ S^1 $ into thickened (closed oriented) surfaces, up to self-diffeomorphism of the surface and certain handle stabilisations. The slice genus of a virtual knot is defined diagrammatically, in direct analogy to that of a classical knot. However, it may be defined, equivalently, as follows: a representative of a virtual knot is an embedding of $ S^1 $ into a thickened surface $ \Sigma_g \times I $; what is the minimal genus of oriented surfaces $ S \hookrightarrow M \times I $ with the embedded $ S^1 $ as boundary, where $ M $ is an oriented $ 3 $-manifold with $ \partial M = \Sigma_g $? We compute and estimate the slice genus of all virtual knots of $4$ classical crossings or less. We also compute or estimate the slice genus of $46$ virtual knots of $5$ and $6$ classical crossings whose slice status is not determined in the work of Boden, Chrisman, and Gaudreau. The computations are made using two distinct virtual extensions of the Rasmussen invariant, one due to Dye, Kaestner, and Kauffman, the other due to the author. Specifically, the computations are made using bounds on the two extensions of the Ramussen invariant which we construct and investigate. The bounds are themselves generalisations of those on the classical Rasmussen invariant due, independently, to Kawamura and Lobb. The bounds allow for the computation of the extensions of the Rasmussen invariant in particular cases. As asides we identify a class of virtual knots for which the two extensions of the Rasmussen invariant agree, and show that the extension due to Dye, Kaestner, and Kauffman is additive with respect to the connect sum.


title: Wideband Subspace Estimation Through Projection Matrix Approximation

abstract: In this paper, we present a wideband subspace estimation method that characterizes the signal subspace through its orthogonal projection matrix at each frequency. Fundamentally, the method models this projection matrix as a function of frequency that can be approximated by a polynomial. It provides two improvements: a reduction in the number of parameters required to represent the signal subspace along a given frequency band and a quality improvement in wideband direction-of-arrival (DOA) estimators such as Incoherent Multiple Signal Classification (IC-MUSIC) and Modified Test of Orthogonality of Projected Subspaces (MTOPS). In rough terms, the method fits a polynomial to a set of projection matrix estimates, obtained at a set of frequencies, and then uses the polynomial as a representation of the signal subspace. The paper includes the derivation of asymptotic bounds for the bias and root-mean-square (RMS) error of the projection matrix estimate and a numerical assessment of the method and its combination with the previous two DOA estimators.


title: Estimation of species relative abundances and habitat preferences using opportunistic data

abstract: We develop a new statistical procedure to monitor, with opportunist data, relative species abundances and their respective preferences for dierent habitat types. Following Giraud et al. (2015), we combine the opportunistic data with some standardized data in order to correct the bias inherent to the opportunistic data collection. Our main contributions are (i) to tackle the bias induced by habitat selection behaviors, (ii) to handle data where the habitat type associated to each observation is unknown, (iii) to estimate probabilities of selection of habitat for the species. As an illustration, we estimate common bird species habitat preferences and abundances in the region of Aquitaine (France).


title: On the Koml\'os, Major and Tusn\'ady strong approximation for some classes of random iterates

abstract: The famous results of Koml\'os, Major and Tusn\'ady (see [15] and [17]) state that it is possible to approximate almost surely the partial sums of size n of i.i.d. centered random variables in L p (p > 2) by a Wiener process with an error term of order o(n 1/p). Very recently, Berkes, Liu and Wu [3] extended this famous result to partial sums associated with functions of an i.i.d. sequence, provided a condition on a functional dependence measure in L p is satisfied. In this paper, we adapt the method of Berkes, Liu and Wu to partial sums of functions of random iterates. Taking advantage of the Markovian setting, we shall give new dependent conditions, expressed in terms of a natural coupling (in L $\infty$ or in L 1), under which the strong approximation result holds with rate o(n 1/p). As we shall see our conditions are well adapted to a large variety of models, including left random walks on GL d (R), contracting iterated random functions, autoregressive Lipschitz processes, and some ergodic Markov chains. We also provide some examples showing that our L 1-coupling condition is in some sense optimal.


title: Environment-induced uncertainties on moving mirrors in quantum critical theories via holography

abstract: Environment effects on a $n$-dimensional mirror from the strongly coupled d-dimensional quantum critical fields with a dynamic exponent $z$ in weakly squeezed states are studied by the holographic approach. The dual description is a $n+1$-dimensional probe brane moving in the $d+1$-dimensional asymptotic Lifshitz geometry with gravitational wave perturbations. Using the holographic influence functional method, we find that the large coupling constant of the fields reduces the position uncertainty of the mirror, but enhances the momentum uncertainty. As such, the product of the position and momentum uncertainties is independent of the coupling constant. The proper choices of the phase of the squeezing parameter might reduce the uncertainties, nevertheless large values of its amplitude always lead to the larger uncertainties due to the fact that more quanta are excited as compared with the corresponding normal vacuum and thermal states. In the squeezed vacuum state, the position and momentum of the mirror gain maximum uncertainties from the field at the dynamic exponent $z=n+2$ when the same squeezed mode is considered. As for the squeezed thermal state, the contributions of thermal fluctuations to the uncertainties decrease as the temperature increases in the case $1<z<n+2$, whereas for $z>n+2$ the contributions increase as the temperature increases. These results are in sharp contrast with those in the environments of the relativistic free field. Some possible observable effects are discussed.


title: Quantum thermostatted disordered systems and sensitivity under compression

abstract: A one-dimensional quantum system with off diagonal disorder, consisting of a sample of conducting regions randomly interspersed within potential barriers is considered. Results mainly concerning the large $N$ limit are presented. In particular, the effect of compression on the transmission coefficient is investigated. A numerical method to simulate such a system, for a physically relevant number of barriers, is proposed. It is shown that the disordered model converges to the periodic case as $N$ increases, with a rate of convergence which depends on the disorder degree. Compression always leads to a decrease of the transmission coefficient which may be exploited to design nano-technological sensors. Effective choices for the physical parameters to improve the sensitivity are provided. Eventually large fluctuations and rate functions are analysed.


title: K\"ahler-Ricci solitons on some wonderful group compactifications

abstract: In this paper, we extend the result about the existence of K\"ahler-Ricci soliton on toric manifold (proved by Wang and Zhy) by proving this existence on some wonderful group compactifications using the continuity method.


title: A hypothesis testing approach for communication over entanglement assisted compound quantum channel

abstract: We study the problem of communication over a compound quantum channel in the presence of entanglement. Classically such channels are modeled as a collection of conditional probability distributions wherein neither the sender nor the receiver is aware of the channel being used for transmission, except for the fact that it belongs to this collection. We provide near optimal achievability and converse bounds for this problem in the one-shot quantum setting in terms of quantum hypothesis testing divergence. We also consider the case of informed sender, showing a one-shot achievability result that converges appropriately in the asymptotic and i.i.d. setting. Our achievability proof is similar in spirit to its classical counterpart. To arrive at our result, we use the technique of position-based decoding along with a new approach for constructing a union of two projectors, which can be of independent interest. We give another application of the union of projectors to the problem of testing composite quantum hypotheses.


title: Enhancement of thermovoltage and tunnel magneto-Seebeck effect in CoFeB based magnetic tunnel junctions by variation of the MgAl$_2$O$_4$ and MgO barrier thickness

abstract: We investigate the influence of the barrier thickness of Co$_{40}$Fe$_{40}$B$_{20}$ based magnetic tunnel junctions on the laser-induced tunnel magneto-Seebeck effect. Varying the barrier thickness from 1nm to 3nm, we find a distinct maximum in the tunnel magneto-Seebeck effect for 2.6nm barrier thickness. This maximum is independently measured for two barrier materials, namely MgAl$_2$O$_4$ and MgO. Additionally, samples with an MgAl$_2$O$_4$ barrier exhibit a high thermovoltage of more than 350$\mu$V in comparison to 90$\mu$V for the MTJs with MgO barrier when heated with the maximum laser power of 150mW. Our results allow for the fabrication of improved stacks when dealing with temperature differences across magnetic tunnel junctions for future applications in spin caloritronics, the emerging research field that combines spintronics and themoelectrics.


title: Ultrafast imprinting of topologically protected magnetic textures via pulsed electrons

abstract: Short electron pulses are demonstrated to trigger and control magnetic excitations, even at low electron current densities. We show that the tangential magnetic field surrounding a picosecond electron pulse can imprint topologically protected magnetic textures such as skyrmions in a sample with a residual Dzyaloshinskii-Moriya spin-orbital coupling. Characteristics of the created excitations such as the topological charge can be steered via the duration and the strength of the electron pulses. The study points to a possible way for a spatio-temporally controlled generation of skyrmionic excitations.


title: Intrinsic data depth for Hermitian positive definite matrices

abstract: Nondegenerate covariance, correlation and spectral density matrices are necessarily symmetric or Hermitian and positive definite. The main contribution of this paper is the development of statistical data depths for collections of Hermitian positive definite matrices by exploiting the geometric structure of the space as a Riemannian manifold. The depth functions allow one to naturally characterize most central or outlying matrices, but also provide a practical framework for inference in the context of samples of positive definite matrices. First, the desired properties of an intrinsic data depth function acting on the space of Hermitian positive definite matrices are presented. Second, we propose two computationally fast pointwise and integrated data depth functions that satisfy each of these requirements and investigate several robustness and efficiency aspects. As an application, we construct depth-based confidence regions for the intrinsic mean of a sample of positive definite matrices, which is applied to the exploratory analysis of a collection of covariance matrices associated to a multicenter research trial.


title: Finite groups with large Noether number are almost cyclic

abstract: Noether, Fleischmann and Fogarty proved that if the characteristic of the underlying field does not divide the order $|G|$ of a finite group $G$, then the polynomial invariants of $G$ are generated by polynomials of degrees at most $|G|$. Let $\beta(G)$ denote the largest indispensable degree in such generating sets. Cziszter and Domokos recently described finite groups $G$ with $|G|/\beta(G)$ at most $2$. We prove an asymptotic extension of their result. Namely, $|G|/\beta(G)$ is bounded for a finite group $G$ if and only if $G$ has a characteristic cyclic subgroup of bounded index. In the course of the proof we obtain the following surprising result. If $S$ is a finite simple group of Lie type or a sporadic group then we have $\beta(S) \leq {|S|}^{39/40}$. We ask a number of questions motivated by our results.


title: Highly oriented EuO nanocrystalline films via reduction process - NIR optical response

abstract: Nanocrystalline textured EuO thin films are prepared by an oxygen loss process from a pure Eu2O3 bulk ceramic target through pulsed laser deposition in vacuum at room temperature. X-ray diffraction spectra evidence a well-defined diffraction peak corresponding to the EuO phase textured along the (110) direction. Analysis of the XRD peak profile indicates that the films are nanocrystalline (average crystallite size of 11 nm) with a compressive residual strain. The formation of stoichiometric EuO is further confirmed by a strong signal from Eu2+ in the X-ray photoelectron spectra. The complex refractive index in the near infrared has been determined by spectroscopic ellipsometry and shows that the EuO films have a high transparency (k < 10-3) and a refractive index of 2.1. A band-gap shift of 0.25 eV is found with respect to the EuO bulk. These films, deposited by an accessible and efficient method, open a new route to produce EuO films with optical quality, suitable for NIR optoelectronic components.


title: Actions of measured quantum groupoids on a finite basis

abstract: In this article, we generalize to the case of measured quantum groupoids on a finite basis some important results concerning actions of locally compact quantum groups on C*-algebras [S. Baaj, G. Skandalis and S. Vaes, 2003]. Let $\cal G$ be a measured quantum groupoid on a finite basis. We prove that if $\cal G$ is regular, then any weakly continuous action of $\cal G$ on a C*-algebra is necessarily strongly continuous. Following [S. Baaj and G. Skandalis, 1989], we introduce and investigate a notion of $\cal G$-equivariant Hilbert C$^*$-modules. By applying the previous results and a version of the Takesaki-Takai duality theorem obtained in [S. Baaj and J. C., 2015] for actions of $\cal G$, we obtain a canonical equivariant Morita equivalence between a given $\cal G$-C$^*$-algebra $A$ and the double crossed product $(A\rtimes{\cal G})\rtimes\widehat{\cal G}$.


title: Global well-posedness for 2-D Boussinesq system with the temperature-dependent viscosity and supercritical dissipation

abstract: The present paper is dedicated to the global well-posedness issue for the Boussinesq system with the temperature-dependent viscosity in $\mathbb{R}^2.$ We aim at extending the work by Abidi and Zhang ( Adv. Math. 2017 (305) 1202--1249 ) to a supercritical dissipation for temperature.


title: An integral formula for Riemannian $G$-structures with applications to almost Hermitian and almost contact structures

abstract: For a Riemannian $G$-structure, we compute the divergence of the vector field induced by the intrinsic torsion. Applying the Stokes theorem, we obtain the integral formula on a closed oriented Riemannian manifold, which we interpret in certain cases. We focus on almost harmitian and almost contact metric structures.


title: Skyrmions in Magnetic Multilayers

abstract: Symmetry breaking together with strong spin-orbit interaction give rise to many exciting phenomena within condensed matter physics. A recent example is the existence of chiral spin textures, which are observed in magnetic systems lacking inversion symmetry. These chiral spin textures, including domain walls and magnetic skyrmions, are both fundamentally interesting and technologically promising. For example, they can be driven very efficiently by electrical currents, and exhibit many new physical properties determined by their real-space topological characteristics. Depending on the details of the competing interactions, these spin textures exist in different parameter spaces. However, the governing mechanism underlying their physical behaviors remain essentially the same. In this review article, the fundamental topological physics underlying these chiral spin textures, the key factors for materials optimization, and current developments and future challenges will be discussed. In the end, a few promising directions that will advance the development of skyrmion based spintronics will be highlighted.


title: Testing baryon-induced core formation in $\Lambda$CDM: A comparison of the DC14 and coreNFW dark matter halo models on galaxy rotation curves

abstract: Recent cosmological hydrodynamical simulations suggest that baryonic processes, and in particular supernova feedback after bursts of star formation, can alter the structure of dark matter haloes and transform primordial cusps into shallower cores. To assess whether this mechanism offers a solution to the cusp-core controversy, simulated haloes must be compared to real dark matter haloes inferred from galaxy rotation curves. For this purpose, two new dark matter density profiles were recently derived from simulations of galaxies in complementary mass ranges: the DC14 halo ($10^{10} < M_{\text{halo}}/M_{\odot} < 8 \times 10^{11}$) and the coreNFW halo ($10^{7} < M_{\text{halo}}/M_{\odot} < 10^{9}$). Both models have individually been found to give good fits to observed rotation curves. For the DC14 model, however, the agreement of the predicted halo properties with cosmological scaling relations was confirmed by one study, but strongly refuted by another. A next question is whether the two models converge to the same solution in the mass range where both should be appropriate. To investigate this, we tested the DC14 and cNFW halo models on the rotation curves of a selection of galaxies with halo masses in the range $4 \times 10^{9}$ - $7 \times 10^{10}$ $M_{\odot}$. We further applied the DC14 model to a set of rotation curves at higher halo masses, up to $9 \times 10^{11}$ $M_{\odot}$, to verify the agreement with the cosmological scaling relations. We find that both models are generally able to reproduce the observed rotation curves, in line with earlier results, and the predicted dark matter haloes are consistent with the cosmological $c-M_{\text{halo}}$ and $M_{*}-M_{\text{halo}}$ relations. The DC14 and cNFW models are also in fairly good agreement with each other, even though DC14 tends to predict slightly less extended cores and somewhat more concentrated haloes than cNFW.


title: Artificial Light Harvesting by Dimerized Mobius Ring

abstract: We theoretically study artificial light harvesting by a dimerized Mobius ring. When the donors in the ring are dimerized, the energies of the donor ring are splitted into two sub-bands. Because of the nontrivial Mobius boundary condition, both the photon and acceptor are coupled to all collectiveexcitation modes in the donor ring. Therefore, the quantum dynamics in the light harvesting are subtly influenced by the dimerization in the Mobius ring. It is discovered that energy transfer is more efficient in a dimerized ring than that in an equally-spaced ring. This discovery is also confirmed by the calculation with the perturbation theory, which is equivalent to the Wigner-Weisskopf approximation. Our findings may be benificial to the optimal design of artificial light harvesting.

categories: quant-ph cond-mat.mtrl-sci physics.atom-ph physics.chem-ph physics.optics


title: Optimal equilibrium for a reformulated Samuelson economical model

abstract: This paper studies the equilibrium of an extended case of the classical Samuelson's multiplier-accelerator model for national economy. This case has incorporated some kind of memory into the system. We assume that total consumption and private investment depend upon the national income values. Then, delayed difference equations of third order are employed to describe the model, while the respective solutions of third order polynomial, correspond to the typical observed business cycles of real economy. We focus on the case that the equilibrium is not unique and provide a method to obtain the optimal equilibrium.


title: On linearised and elliptic versions of the Kashiwara-Vergne Lie algebra

abstract: The goal of this article is to define a linearized or depth-graded version $\mathfrak{lkv}$, and a closely related elliptic version $\mathfrak{krv}_{ell}$, of the Kashiwara-Vergne Lie algebra $\mathfrak{krv}$ originally constructed by Alekseev and Torossian as the space of solutions to the linearized Kashiwara-Vergne problem. We show how the elliptic Lie algebra $\mathfrak{krv}_{ell}$ is related to earlier constructions of elliptic versions $\mathfrak{grt}_{ell}$ and $\mathfrak{ds}_{ell}$ of the Grothendieck-Teichm\"uller Lie algebra $\mathfrak{grt}$ and the double shuffle Lie algebra $\mathfrak{ds}$. In particular we show that there is an injective Lie morphism $\mathfrak{ds}_{ell}\hookrightarrow \mathfrak{krv}_{ell}$, and an injective Lie algebra morphism $\mathfrak{krv}\rightarrow \mathfrak{krv}_{ell}$ extending the known morphisms $\mathfrak{grt}\hookrightarrow\mathfrak{grt}_{ell}$ (Enriquez section) and $\mathfrak{ds}\rightarrow\mathfrak{ds}_{ell}$ (\'Ecalle map).


title: N=4 l-conformal Galilei superalgebras inspired by D(2,1;a) supermultiplets

abstract: N=4 supersymmetric extensions of the l-conformal Galilei algebra are constructed by properly extending the Lie superalgebra associated with the most general N=4 superconformal group in one dimension D(2,1;a). If the acceleration generators in the superalgebra form analogues of the irreducible (1,4,3)-, (2,4,2)-, (3,4,1)-, and (4,4,0)-supermultiplets of D(2,1;a), the parameter a turns out to be constrained by the Jacobi identities. In contrast, if the tower of the acceleration generators resembles a component decomposition of a generic real superfield, which is a reducible representation of D(2,1;a), a remains arbitrary. An N=4 l-conformal Galilei superalgebra recently proposed in [Phys. Lett. B 771 (2017) 401] is shown to be a particular instance of a more general construction in this work.


title: Rigidity dimension - a homological dimension measuring resolutions of algebras by algebras of finite global dimension

abstract: A new homological dimension is introduced to measure the quality of resolutions of `singular' finite dimensional algebras (of infinite global dimension) by `regular' ones (of finite global dimension). Upper bounds are established in terms of extensions and of Hochschild cohomology, and finiteness in general is derived from homological conjectures. Then invariance under stable equivalences is shown to hold, with some exceptions when there are nodes in case of additive equivalences, and without exceptions in case of triangulated equivalences. Stable equivalences of Morita type and derived equivalences, both between self-injective algebras, are shown to preserve rigidity dimension as well.


title: VCube-PS: A Causal Broadcast Topic-based Publish/Subscribe System

abstract: In this work we present VCube-PS, a topic-based Publish/Subscribe system built on the top of a virtual hypercube-like topology. Membership information and published messages are broadcast to subscribers (members) of a topic group over dynamically built spanning trees rooted at the publisher. For a given topic, the delivery of published messages respects the causal order. VCube-PS was implemented on the PeerSim simulator, and experiments are reported including a comparison with the traditional Publish/Subscribe approach that employs a single rooted static spanning-tree for message distribution. Results confirm the efficiency of VCube-PS in terms of scalability, latency, number and size of messages.


title: Quantum Emitters in Hexagonal Boron Nitride Have Spectrally Tunable Quantum Efficiency

abstract: Understanding the properties of novel solid-state quantum emitters is pivotal for a variety of applications in field ranging from quantum optics to biology. Recently discovered defects in hexagonal boron nitride are especially interesting, as they offer much desired characteristics such as narrow emission lines and photostability. Here, we study the dependence of the emission on the excitation wavelength. We find that, in order to achieve bright single photon emission with high quantum efficiency, the excitation wavelength has to be matched to the emitter. This is a strong indication that the emitters possess a complex level scheme and cannot be described by a simple two or three level system. Using this excitation dependence of the emission, we thus gain further insight to the internal level scheme and demonstrate how to distinguish different emitters both spatially as well as in terms of their photon correlations.


title: Dimensional crossover of Bose-Einstein condensation phenomena in quantum gases confined within slab geometries

abstract: We investigate systems of interacting bosonic particles confined within slab-like boxes of size L^2 x Z with Z<<L, at their three-dimensional (3D) BEC transition temperature T_c, and below T_c where they experience a quasi-2D Berezinskii-Kosterlitz-Thouless transition (at T_BKT < T_c depending on the thickness Z). The low-temperature phase below T_BKT shows quasi-long-range order: the planar correlations decay algebraically as predicted by the 2D spin-wave theory. This dimensional crossover, from a 3D behavior for T > T_c to a quasi-2D critical behavior for T < T_BKT, can be described by a transverse finite-size scaling limit in slab geometries. We also extend the discussion to the off-equilibrium behavior arising from slow time variations of the temperature across the BEC transition. Numerical evidence of the 3D->2D dimensional crossover is presented for the Bose-Hubbard model defined in anisotropic L^2 x Z lattices with Z<<L.


title: The absolute spectrum revisited from a topological viewpoint

abstract: We consider the topological relation behind the spectral behavior of a linear operator that arises in the stability problem of traveling waves on a large bounded domain. When the domain size tends to infinity, the absolute and asymptotic essential spectra appears as accumulation sets of eigenvalues under separated and periodic boundary conditions, respectively. We present new proofs of Sandstede and Scheel [Theorems 4 and 5 of [14]] in a topological framework. The eigenfunction induces a curve on the Grassmannian manifold. To extract topological information from them, we decompose the Grassmannian into the submanifolds using the Schubert cycles, and analyze the curves on each submanifolds.


title: Deuteron: properties and analytical forms of wave function in coordinate space

abstract: Static parameters of the deuteron, obtained by the wave functions for various potential models, have been chronologically systematized. The presence or absence of knots near the origin of coordinates for the radial wave function of the deuteron have been shown. Analytical forms for the deuteron wave function in coordinate space have been reviewed. Both analytical forms and parameterizations of the deuteron wave function, which are necessary for further calculations of the characteristics of the processes involving the deuteron, have been provided. In addition, the asymptotic behaviors of deuteron wave function near the origin of coordinates and for large values of distance have been analyzed in the paper. Minimization of the number of numerically calculated coefficients for new analytical forms as a product of exponential function r^n by the sum of the exponential terms Ai*exp(-ai*r^3) have been done. The optimum is N=7-10.


title: Elastic Hadron Scattering in Various Pomeron Models

abstract: In this work the process of elastic hadron scattering is discussed. In particular, scattering amplitudes for the various Pomeron models are compared. In addition, differential elastic cross section as a function of the scattered proton transverse momentum for unpolarised and polarised protons is presented. Finally, an implementation of the elastic scattering amplitudes into the GenEx Monte Carlo generator is discussed.


title: Wick rotations, Eichler integrals, and multi-loop Feynman diagrams

abstract: Using contour deformations and integrations over modular forms, we compute certain Bessel moments arising from diagrammatic expansions in two-dimensional quantum field theory. We evaluate these Feynman integrals as either explicit constants or critical values of modular $L$-series, and verify several recent conjectures of Broadhurst.


title: Diphoton production in association with two bottom jets

abstract: We study the production of a photon pair in association with two bottom jets at the LHC. This process constitutes an important background to double Higgs production with the subsequent decay of the two Higgs bosons into a pair of photons and b-quarks respectively. We calculate this process at next-to-leading order accuracy in QCD and find that QCD corrections lead to a substantial increase of the production cross section due to new channels opening up at next-to-leading order and their inclusion is therefore inevitable for a reliable prediction. Furthermore, the approximation of massless b-quarks is scrutinized by calculating the process with both massless and massive b-quarks. We find that the massive bottom quark leads to a substantial reduction of the cross section where the biggest effect is however due to the use of a four flavor PDF set and the corresponding smaller values for the strong coupling constant.


title: Exclusive and semi-exclusive $\pi^+\pi^-$ production in proton-proton collisions at sqrt(s) = 7 TeV

abstract: A measurement is presented of the exclusive and semi-exclusive production of charged pion pairs in proton-proton collisions, pp to p(p*) + $\pi^+\pi^-$ + p(p*) here the $\pi^+\pi^-$ pair is emitted at central rapidities, and the scattered protons stay intact (p) or diffractively dissociate (p*) without detection. The measurement is performed with the CMS detector at the LHC, using a data sample corresponding to an integrated luminosity of 450 inverse microbarns collected at a center-of-mass energy of 7 TeV. The dipion cross section, measured for single-pion transverse momentum pt >0.2 GeV and rapidity abs(y)<2, is 26.5 +/- 0.3 (stat) +/- 5.0 (syst) +/- 1.1 (lumi) microbarns. The differential cross sections measured as a function of the invariant mass, pt, and y of the pion pair, and as a function of single-pion pt, are compared to phenomenological predictions.


title: Weighted energy estimates for wave equation with space-dependent damping term for slowly decaying initial data

abstract: This paper is concerned with weighted energy estimates for solutions to wave equation $\partial_t^2u-\Delta u + a(x)\partial_tu=0$ with space-dependent damping term $a(x)=|x|^{-\alpha}$ $(\alpha\in [0,1))$ in an exterior domain $\Omega$ having a smooth boundary. The main result asserts that the weighted energy estimates with weight function like polymonials are given and these decay rate are almost sharp, even when the initial data do not have compact support in $\Omega$. The crucial idea is to use special solution of $\partial_t u=|x|^{\alpha}\Delta u$ including Kummer's confluent hypergeometric functions.


title: $\mu$Nap: Practical Micro-Sleeps for 802.11 WLANs

abstract: In this paper, we revisit the idea of putting interfaces to sleep during 'packet overhearing' (i.e., when there are ongoing transmissions addressed to other stations) from a practical standpoint. To this aim, we perform a robust experimental characterisation of the timing and consumption behaviour of a commercial 802.11 card. We design $\mu$Nap, a local standard-compliant energy-saving mechanism that leverages micro-sleep opportunities inherent to the CSMA operation of 802.11 WLANs. This mechanism is backwards compatible and incrementally deployable, and takes into account the timing limitations of existing hardware, as well as practical CSMA-related issues (e.g., capture effect). According to the performance assessment carried out through trace-based simulation, the use of our scheme would result in a 57% reduction in the time spent in overhearing, thus leading to an energy saving of 15.8% of the activity time.


title: A simple method for shifting local dq impedance models to a global reference frame for stability analysis

abstract: Impedance-based stability analysis in the dq-domain is a widely applied method for power electronic dominated systems. An inconvenient property with this method is that impedance models are normally referred to their own local reference frame, and need to be recalculated when referring to a global reference frame in a given network. This letter presents a simple method for translating impedance sub-models within a complex network, from their own reference frames to any given point in the network. What distinguishes this method is that by using a simple rotational matrix, it only needs impedance models in their own local reference frames, to be translated to a global reference in the network. By way of this method, standard circuit analysis rules for series and parallel connection are applicable, as proven in the letter. The method is defined and validated for impedances in the dq and modified sequence domains, and it is shown that the dependency on reference frame is marginal in the latter. An additional finding from the application of this method is that components or subsystems with a certain symmetry property called Mirror Frequency Decoupling are invariant to the choice of reference frame.


title: On the construction and convergence of traces of forms

abstract: We elaborate a new method for constructing traces of quadratic forms in the framework of Hilbert and Dirichlet spaces. Our method relies on monotone convergence of quadratic forms and the canonical decomposition into regular and singular part. We give various situations where the trace can be described more explicitly and compute it for some illustrating examples. We then show that Mosco convergence of Dirichlet forms implies Mosco convergence of a subsequence of their approximating traces and that asymptotic compactness of Dirichlet forms yields asymptotic compactness of their traces.


title: Parikh Image of Pushdown Automata

abstract: We compare pushdown automata (PDAs for short) against other representations. First, we show that there is a family of PDAs over a unary alphabet with $n$ states and $p \geq 2n + 4$ stack symbols that accepts one single long word for which every equivalent context-free grammar needs $\Omega(n^2(p-2n-4))$ variables. This family shows that the classical algorithm for converting a PDA to an equivalent context-free grammar is optimal even when the alphabet is unary. Moreover, we observe that language equivalence and Parikh equivalence, which ignores the ordering between symbols, coincide for this family. We conclude that, when assuming this weaker equivalence, the conversion algorithm is also optimal. Second, Parikh's theorem motivates the comparison of PDAs against finite state automata. In particular, the same family of unary PDAs gives a lower bound on the number of states of every Parikh-equivalent finite state automaton. Finally, we look into the case of unary deterministic PDAs. We show a new construction converting a unary deterministic PDA into an equivalent context-free grammar that achieves best known bounds.


title: Bidirectional Nested Weighted Automata

abstract: Nested weighted automata (NWA) present a robust and convenient automata-theoretic formalism for quantitative specifications. Previous works have considered NWA that processed input words only in the forward direction. It is natural to allow the automata to process input words backwards as well, for example, to measure the maximal or average time between a response and the preceding request. We therefore introduce and study bidirectional NWA that can process input words in both directions. First, we show that bidirectional NWA can express interesting quantitative properties that are not expressible by forward-only NWA. Second, for the fundamental decision problems of emptiness and universality, we establish decidability and complexity results for the new framework which match the best-known results for the special case of forward-only NWA. Thus, for NWA, the increased expressiveness of bidirectionality is achieved at no additional computational complexity. This is in stark contrast to the unweighted case, where bidirectional finite automata are no more expressive but exponentially more succinct than their forward-only counterparts.


title: Handling PDDL3.0 State Trajectory Constraints with Temporal Landmarks

abstract: Temporal landmarks have been proved to be a helpful mechanism to deal with temporal planning problems, specifically to improve planners performance and handle problems with deadline constraints. In this paper, we show the strength of using temporal landmarks to handle the state trajectory constraints of PDDL3.0. We analyze the formalism of TempLM, a temporal planner particularly aimed at solving planning problems with deadlines, and we present a detailed study that exploits the underlying temporal landmark-based mechanism of TempLM for representing and reasoning with trajectory constraints.


title: PhD thesis: Multipartite entanglement and quantum algorithms

abstract: PhD thesis dealing with various aspects of multipartite entanglement, such as entanglement measures, absolutely maximally entangled states, bell inequalities, entanglement spectrum and quantum frustration. Also some quantum algorithms run with the IBM quantum computer are covered, together with others applied to adiabatic quantum computation and quantum thermodynamics.


title: Bayesian Brain meets Bayesian Recommender - Towards Systems with Empathy for the Human Nature

abstract: In this paper we consider the modern theory of the Bayesian brain from cognitive neurosciences in the light of recommender systems and expose potentials for our community. In particular, we elaborate on noisy user feedback and the thus resulting multicomponent user models, which have indeed a biological origin. In real user experiments we observe the impact of both factors directly in a repeated rating task along with recommendation. As a consequence, this contribution supports the plausibility of contemporary theories of mind in the context of recommender systems and can be understood as a solicitation to integrate ideas of cognitive neurosciences into our systems in order to further improve the prediction of human behaviour.


title: Unemployment estimation: Spatial point referenced methods and models

abstract: Portuguese Labor force survey, from 4th quarter of 2014 onwards, started geo-referencing the sampling units, namely the dwellings in which the surveys are carried. This opens new possibilities in analysing and estimating unemployment and its spatial distribution across any region. The labor force survey choose, according to an preestablished sampling criteria, a certain number of dwellings across the nation and survey the number of unemployed in these dwellings. Based on this survey, the National Statistical Institute of Portugal presently uses direct estimation methods to estimate the national unemployment figures. Recently, there has been increased interest in estimating these figures in smaller areas. Direct estimation methods, due to reduced sampling sizes in small areas, tend to produce fairly large sampling variations therefore model based methods, which tend to "borrow strength" from area to area by making use of the areal dependence, should be favored. These model based methods tend use areal counting processes as models and typically introduce spatial dependence through the model parameters by a latent random effect. In this paper, we suggest modeling the spatial distribution of residential buildings across Portugal by a Log Gaussian Cox process and the number of unemployed per residential unit as a mark attached to these random points. Thus the main focus of the study is to model the spatial intensity function of this marked point process. Number of unemployed in any region can then be estimated using a proper functional of this marked point process. The principal objective of this point referenced method for unemployment estimation is to get reliable estimates at higher spatial resolutions and at the same time incorporate in the model the auxiliary information available at residential units such as average income or education level of individuals surveyed in these units.


title: Functionalizing Fe adatoms on Cu(001) as a nanoelectromechanical system

abstract: This study demonstrates how the spin quantum dynamics of a single Fe atom adsorbed on Cu(001) can be controlled and manipulated by the vibrations of a nearby copper tip attached to a nano cantilever by virtue of the dynamic magnetic anisotropy. The magnetic properties of the composite system are obtained from \emph{ab initio} calculations in completely relaxed geometries and turned out to be dependent considerably on the tip-iron distance that changes as the vibrations set in. The level populations, the spin dynamics interrelation with the driving frequency, as well as quantum information related quantities are exposed and analyzed.


title: Continuously observing a dynamically decoupled spin-1 quantum gas

abstract: We continuously observe dynamical decoupling in a spin-1 quantum gas using a weak optical measurement of spin precession. Continuous dynamical decoupling aims to dramatically modify the character and energy spectrum of spin states to render them insensitive to parasitic fluctuations. Continuous observation measures this new spectrum in a single-preparation of the quantum gas. The measured time-series contains seven tones, which spectrogram analysis parses as splittings, coherences, and coupling strengths between the decoupled states in real-time. With this we locate a regime where a transition between two states is decoupled from magnetic field instabilities up to fourth order, complementary to the parallel work at higher fields by Trypogeorgos et al. (arXiv:1706.07876). The decoupled microscale quantum gas offers magnetic sensitivity in a tunable band, persistent over many milliseconds: the length scales, frequencies, and durations relevant to many applications, including sensing biomagnetic phenomena such as neural spike trains.