title: Machine Learning for Mathematical Software

abstract: While there has been some discussion on how Symbolic Computation could be used for AI there is little literature on applications in the other direction. However, recent results for quantifier elimination suggest that, given enough example problems, there is scope for machine learning tools like Support Vector Machines to improve the performance of Computer Algebra Systems. We survey the authors own work and similar applications for other mathematical software. It may seem that the inherently probabilistic nature of machine learning tools would invalidate the exact results prized by mathematical software. However, algorithms and implementations often come with a range of choices which have no effect on the mathematical correctness of the end result but a great effect on the resources required to find it, and thus here, machine learning can have a significant impact.


title: FTIR and GCMS analysis of epoxy resin decomposition products feeding the flame during UL 94 standard flammability test. Application to the understanding of the blowing-out effect in epoxy/polyhedral silsesquioxane formulations

abstract: A novel method was developed for the sampling of volatiles produces by polymer decomposition during UL94 standard flammability tests, allowing to collect, separate and analyze the precise composition of the fuel mixture feeding the flame in the real flammability tests. The system was validated on epoxy resin/polyhedral oligomeric silsesquioxanes and found extremely informative for the understanding of the flame retardancy mechanisms of POSS, previously referred to as the blowing-out effect. Collected products were analyzed by infrared spectroscopy and gas chromatography/mass spectroscopy, to identify the gaseous and liquid decomposition products, allowing to depict a comprehensive decomposition pathway for the epoxy resin. Lightweight volatiles, gaseous at room temperature, showed limited differences as a function of DOPO-POSS, whereas mixtures of liquid products evidenced for dramatic changes in the relative concentration as a function of DOPO-POSS. In pristine epoxy resin, the most abundant products were recognized as benzene, phenol, naphthalene and toluene, along with several tens of other aromatic products observed in lower amounts. The presence of DOPO-POSS at low concentration radically changes the composition of the aromatic volatiles mixture, as no significant amount of benzene is produced, while phenol becomes the main product, accounting for about half of the total, isopropyl phenol and bisphenol A, along with several tens of other products in lower concentrations. Such modification of the fuel mixture feeding the flame provided an explanation for the lower flammability of this formulation, as well as for the phenomenology of the blowing out effect.


title: Orbital Motion From Optical Spin: The Extraordinary Momentum Of Circularly Polarized Light Beams

abstract: We provide a vivid demonstration of the mechanical effect of transverse spin momentum in an optical beam in free space. This component of the Poynting momentum was previously thought to be virtual, and unmeasurable. Here, its effect is revealed in the inertial motion of a probe particle in a circularly polarized Gaussian trap, in vacuum. Transverse spin forces combine with thermal fluctuations to induce a striking range of non-equilibrium phenomena. With increasing beam power we observe (i) growing departures from energy equipartition, (ii) the formation of coherent, thermally excited orbits and, ultimately, (iii) the ejection of the particle from the trap. Our results complement and corroborate recent measurements of spin momentum in evanescent waves, and extend them to a new geometry, in free space. In doing so, we exhibit fundamental, generic features of the mechanical interaction of circularly polarized light with matter. The work also shows how observations of the under-damped motion of probe particles can provide detailed information about the nature and morphology of momentum flows in arbitrarily structured light fields as well as providing a test bed for elementary non-equilibrium statistical mechanics.


title: Deep learning for dehazing: Comparison and analysis

abstract: We compare a recent dehazing method based on deep learning, Dehazenet, with traditional state-of-the-art approaches , on benchmark data with reference. Dehazenet estimates the depth map from transmission factor on a single color image, which is used to inverse the Koschmieder model of imaging in the presence of haze. In this sense, the solution is still attached to the Koschmieder model. We demonstrate that the transmission is very well estimated by the network, but also that this method exhibits the same limitation than others due to the use of the same imaging model.


title: Probing analytical and numerical integrability: The curious case of $(AdS_5\times S^5)_{\eta}$

abstract: Motivated by recent studies related to integrability of string motion in various backgrounds via analytical and numerical procedures, we discuss these procedures for a well known integrable string background $(AdS_5\times S^5)_{\eta}$. We start by revisiting conclusions from earlier studies on string motion in $(\mathbb{R}\times S^3)_{\eta}$ and $(AdS_3)_{\eta}$ and then move on to more complex problems of $(\mathbb{R}\times S^5)_{\eta}$ and $(AdS_5)_{\eta}$. Discussing both analytically and numerically, we deduce that while $(AdS_5)_{\eta}$ strings do not encounter any irregular trajectories, string motion in the deformed five-sphere can indeed, quite surprisingly, run into chaotic trajectories. We discuss the implications of these results both on the procedures used and the background itself.


title: TheoryGuru: A Mathematica Package to apply Quantifier Elimination

abstract: We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. There is a great body of work considering QE applications in science and engineering but we demonstrate here that it also has use in the social sciences. We explain how many suggested theorems in economics could either be proven, or even have their hypotheses shown to be inconsistent, automatically via QE. However, economists who this technology could benefit are usually unfamiliar with QE, and the use of mathematical software generally. This motivated the development of a Mathematica Package TheoryGuru, whose purpose is to lower the costs of applying QE to economics. We describe the package's functionality and give examples of its use.


title: Dissipative Linear Stochastic Hamiltonian Systems

abstract: This paper is concerned with stochastic Hamiltonian systems which model a class of open dynamical systems subject to random external forces. Their dynamics are governed by Ito stochastic differential equations whose structure is specified by a Hamiltonian, viscous damping parameters and system-environment coupling functions. We consider energy balance relations for such systems with an emphasis on linear stochastic Hamiltonian (LSH) systems with quadratic Hamiltonians and linear coupling. For LSH systems, we also discuss stability conditions, the structure of the invariant measure and its relation with stochastic versions of the virial theorem. Using Lyapunov functions, organised as deformed Hamiltonians, dissipation relations are also considered for LSH systems driven by statistically uncertain external forces. An application of these results to feedback connections of LSH systems is outlined.


title: Towards the Existential Control of Boolean Networks: A Preliminary Report (Extended Abstract)

abstract: Given a Boolean network BN and a subset A of attractors of BN, we study the problem of identifying a minimal subset C of vertices of BN, such that the dynamics of BN can reach from a state s in any attractor As in A to any attractor At in A by controlling or toggling a subset of vertices in C in a single time step. We describe a method based on the decomposition of the network structure into strongly connected components called blocks. The control subset can be locally computed for each such block and the results then merged to derive the global control subset C. This potentially improves the efficiency for many real-life networks that are large but modular and well-structured. We are currently in the process of implementing our method in software.


title: Record Linkage to Match Customer Names: A Probabilistic Approach

abstract: Consider the following problem: given a database of records indexed by names (e.g., name of companies, restaurants, businesses, or universities) and a new name, determine whether the new name is in the database, and if so, which record it refers to. This problem is an instance of record linkage problem and is a challenging problem because people do not consistently use the official name, but use abbreviations, synonyms, different order of terms, different spelling of terms, short form of terms, and the name can contain typos or spacing issues. We provide a probabilistic model using relational logistic regression to find the probability of each record in the database being the desired record for a given query and find the best record(s) with respect to the probabilities. Building on term-matching and translational approaches for search, our model addresses many of the aforementioned challenges and provides good results when existing baselines fail. Using the probabilities outputted by the model, we can automate the search process for a portion of queries whose desired documents get a probability higher than a trust threshold. We evaluate our model on a large real-world dataset from a telecommunications company and compare it to several state-of-the-art baselines. The obtained results show that our model is a promising probabilistic model for record linkage for names. We also test if the knowledge learned by our model on one domain can be effectively transferred to a new domain. For this purpose, we test our model on an unseen test set from the business names of the secondString dataset. Promising results show that our model can be effectively applied to unseen datasets. Finally, we study the sensitivity of our model to the statistics of datasets.


title: When Can a Distributed Ledger Replace a Trusted Third Party?

abstract: The functionality that distributed ledger technology provides, i.e., an immutable and fraud-resistant registry with validation and verification mechanisms, has traditionally been implemented with a trusted third party. Due to the distributed nature of ledger technology, there is a strong recent trend towards using ledgers to implement novel decentralized applications for a wide range of use cases, e.g., in the financial sector and sharing economy. While there can be several arguments for the use of a ledger, the key question is whether it can fully replace any single trusted party in the system as otherwise a (potentially simpler) solution can be built around the trusted party. In this paper, we introduce an abstract view on ledger use cases and present two fundamental criteria that must be met for any use case to be implemented using a ledger-based approach without having to rely on any particular party in the system. Moreover, we evaluate several ledger use cases that have recently received considerable attention according to these criteria, revealing that often participants need to trust each other despite using a distributed ledger. Consequently, the potential of using a ledger as a replacement for a trusted party is limited for these use cases.


title: Exotics at Belle and perspectives at Belle II

abstract: The search for multi-quark states beyond the constituent quark model (CQM) has resulted in the discovery of many new exotic states, starting with the observation of the X(3872), discovered by Belle in 2003. Also in the sector of charm-strange physics the CQM does not seem to describe properly all spectrum, despite of theoretical expectations. These new forms of quark bounds clearly show that mesons and baryons are not the only possibilities to be considered. We shortly report in this paper selected recent results on searching for such states at Belle, with the perspectives in the hadron physics program at the Belle II experiment.


title: Bogoliubov Many-Body Perturbation Theory for Open-Shell Nuclei

abstract: A novel Rayleigh-Schr\"odinger many-body perturbation theory (MBPT) approach is introduced by making use of a particle-number-breaking Bogoliubov reference state to tackle (near-)degenerate open-shell fermionic systems. By choosing a reference state that solves the Hartree-Fock-Bogoliubov variational problem, the approach reduces to the well-tested M{\o}ller-Plesset, i.e., Hartree-Fock based, MBPT when applied to closed-shell systems. Due to its algorithmic simplicity, the newly developed framework provides a computationally simple yet accurate alternative to state-of-the-art non-perturbative many-body approaches. At the price of working in the quasi-particle basis associated with a single-particle basis of sufficient size, the computational scaling of the method is independent of the particle number. This paper presents the first realistic applications of the method ranging from the oxygen to the nickel isotopic chains on the basis of a modern nuclear Hamiltonian derived from chiral effective field theory.


title: The twist-three distribution $e^q(x,k_\perp)$ in a light-front model

abstract: We discuss the twist-three, unpolarized, chiral-odd, transverse momentum dependent parton distribution (TMD) $e^q(x,k_\perp)$ within a light-front model. We review a model-independent decomposition of this TMD, which follows from the QCD equations of motion and is given in terms of a leading-twist mass term, a pure interaction-dependent contribution, and singular terms. The leading-twist and pure twist-three terms are represented in terms of overlap of light-front wave functions (LFWFs), taking into account the Fock states with three valence quark ($3q$) and three-quark plus one gluon ($3q+g$). The $3q$ and $3q+g$ LFWFs with total orbital angular momentum zero are modeled using a parametrization derived from the conformal expansion of the proton distribution amplitudes, with parameters fitted to reproduce available phenomenological information on the unpolarized leading-twist quark and gluon collinear parton distributions. Numerical predictions for both the quark TMD $e^q(x,k_\perp)$ and the collinear parton distribution $e^q(x)$ are presented, discussing the role of the quark-gluon correlations in the proton.


title: Quantum scarred eigenstates in a Rydberg atom chain: entanglement, breakdown of thermalization, and stability to perturbations

abstract: Recent realization of a kinetically-constrained chain of Rydberg atoms by Bernien et al. [Nature 551, 579 (2017)] resulted in the observation of unusual revivals in the many-body quantum dynamics. In our previous work [arXiv:1711.03528] such dynamics was attributed to the existence of "quantum scarred" eigenstates in the many-body spectrum of the experimentally realized model. Here we present a detailed study of the eigenstate properties of the same model. We find that the majority of the eigenstates exhibit anomalous thermalization: the observable expectation values converge to their Gibbs ensemble values, but parametrically slower compared to the predictions of the eigenstate thermalization hypothesis (ETH). Amidst the thermalizing spectrum, we identify non-ergodic eigenstates that strongly violate the ETH, whose number grows polynomially with system size. Previously, the same eigenstates were identified via large overlaps with certain product states, and were used to explain the revivals observed in experiment. Here we find that these eigenstates, in addition to highly atypical expectation values of local observables, also exhibit sub-thermal entanglement entropy that scales logarithmically with the system size. Moreover, we identify an additional class of quantum scarred eigenstates, and discuss their manifestations in the dynamics starting from initial product states. We use forward scattering approximation to describe the structure and physical properties of quantum-scarred eigenstates. Finally, we discuss the stability of quantum scars to various perturbations. We observe that quantum scars remain robust when the introduced perturbation is compatible with the forward scattering approximation. In contrast, the perturbations which most efficiently destroy quantum scars also lead to the restoration of "canonical" thermalization.

categories: cond-mat.quant-gas cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: On multi-spin classical strings with NS-NS flux

abstract: We study multi spin semiclassical strings in $AdS_3\times S^3 \times T^4$ background supported by a mixture of Neveu-Schwarz-Neveu-Schwarz (NS-NS) and Ramond-Ramond (R-R) fluxes. This `mixed flux' background has been recently proved to be classically integrable. We start with a particular rigidly spinning fundamental string in $AdS_3\times S^1$ coupled to the NS-NS flux and classify the possible profiles. We also find out how the scaling relation among the energy and angular momenta of such a string changes due to presence of these fluxes. We emphasize on pure NS-NS flux case and discuss the fate of such solutions in that limit.


title: Data on the annual aggregated income taxes of the Italian municipalities over the quinquennium 2007-2011

abstract: This dataset contains the annual aggregated income taxes of all the Italian municipalities over the years 2007-2011. Data are clustered over the Italian regions and provinces. The source of the data is the Italian Ministry of Economics and Finance. The administrative variations in Italy over the quinquennium have been taken into account. Data are useful to understand the economic structure of Italy at the microscopic level of municipalities. They can serve also for making comparisons between economical aspects and other features of the Italian cities.


title: Climate entropy production recorded in a deep Antarctic ice core

abstract: Paleoclimate records are extremely rich sources of information about the past history of the Earth system. Information theory, the branch of mathematics capable of quantifying the degree to which the present is informed by the past, provides a new means for studying these records. Here, we demonstrate that estimates of the Shannon entropy rate of the water-isotope data from the West Antarctica Ice Sheet (WAIS) Divide ice core, calculated using weighted permutation entropy (WPE), can bring out valuable new information from this record. We find that WPE correlates with accumulation, reveals possible signatures of geothermal heating at the base of the core, and clearly brings out laboratory and data-processing effects that are difficult to see in the raw data. For example, the signatures of Dansgaard-Oeschger events in the information record are small, suggesting that these abrupt warming events may not represent significant changes in the climate system dynamics. While the potential power of information theory in paleoclimatology problems is significant, the associated methods require careful handling and well-dated, high-resolution data. The WAIS Divide ice core is the first such record that can support this kind of analysis. As more high-resolution records become available, information theory will likely become a common forensic tool in climate science.


title: On the Carath\'eodory number for strong convexity

abstract: We give an improvement of the Carath\'eodory theorem for strong convexity (ball convexity) in $\mathbb R^n$, reducing the Carath\'eodory number to $n$ in several cases; and show that the Carath\'eodory number cannot be smaller than $n$ for an arbitrary gauge body $K$. We also give an improved topological criterion for one convex body to be a Minkowski summand of another.


title: Control of Nonlinear Wave Solutions to Neural Field Equations

abstract: Neural field equations offer a continuous description of the dynamics of large populations of synaptically coupled neurons. This makes them a convenient tool to describe various neural processes, such as working memory, motion perception, and visual hallucinations, to name a few. Due to the important applications, the question arises how to effectively control solutions in such systems. In this work, we investigate the problem of position control of traveling wave solutions to scalar neural field equations on the basis of singular perturbation analysis. Thereby, we consider different means of control such as spatio-temporal modulations of the neural firing threshold, asymmetric synaptic coupling kernels, and additive inputs. Treating these controls as perturbations to the neural field system, one obtains an equation of motion for traveling wave solutions in response to the applied controls. Subsequently, we pose the inverse question of how to design controls that lead to a propagation of the solution following a desired velocity protocol. In particular, we make use of a specific excitation of the solution's translational modes which enables an explicit calculation of a necessary control signal for a given velocity protocol without evoking shape deformations. Moreover, we derive an equivalent control method relying on a modulation of the neurons' synaptic footprint.


title: Multi-core parallel tempering Bayeslands for basin and landscape evolution

abstract: The Bayesian paradigm is becoming an increasingly popular framework for estimation and uncertainty quantification of unknown parameters in geo-physical inversion problems. Badlands is a basin and landscape evolution forward model for simulating topography evolution at a large range of spatial and time scales. Our previous work presented Bayeslands that used the Bayesian paradigm to make inference for unknown parameters in the Badlands model using Markov chain Monte Carlo (MCMC) sampling. Bayeslands faced challenges in convergence due to multi-modal posterior distributions in the selected parameters of Badlands. Parallel tempering is an advanced MCMC method suited for irregular and multi-modal posterior distributions. In this paper, we extend Bayeslands using parallel tempering (PT-Bayeslands) with high performance computing to address previous limitations in parameter space exploration in the context of the computationally expensive Badlands model. Our results show that PT-Bayeslands not only reduces the computation time, but also provides an improvement of the sampling for multi-modal posterior distributions. This provides an improvement over Bayeslands which used single chain MCMC that face difficulties in convergence and can lead to misleading inference. This motivates its usage in large-scale basin and landscape evolution models.


title: Axion-modified photon propagator, Coulomb potential and Lamb-shift

abstract: A consistent renormalization of a quantum theory of axion-electrodynamics requires terms beyond the minimal coupling of two photons to a neutral pseudoscalar field. This procedure is used to determine the self-energy operators of the electromagnetic and the axion fields with an accuracy of second-order in the axion-diphoton coupling. The resulting polarization tensor is utilized for establishing the axion-modified Coulomb potential of a static pointlike charge. In connection, the plausible distortion of the Lamb-shift in hydrogenlike atoms is established and the scopes for searching axionlike particles in high-precision atomic spectroscopy and in experiments of Cavendish-type are investigated. Particularly, we show that these hypothetical degrees of freedom are ruled out as plausible candidates for explaining the proton radius anomaly in muonic hydrogen. A certain loophole remains, though, which is linked to the nonrenormalizable nature of axion-electrodynamics.


title: Using Fluorescence Detected Two-Dimensional Spectroscopy to Investigate Initial Exciton Delocalization Between Coupled Chromophores

abstract: F\"orster theory describes electronic exciton energy migration in molecular assemblies as an incoherent hopping process between donor and acceptor molecules. The rate is expressed in terms of the overlap integral between donor fluorescence and acceptor absorption spectra. Typical time scales for systems like photosynthetic antennae are on the order of a few picoseconds. Prior to transfer it is assumed that the initially excited donor molecule has equilibrated with respect to the local environment. However, upon excitation and during the equilibration phase the state of the system needs to be described by the full density matrix, including coherences between donor and acceptor states. While being intuitively clear, addressing this regime experimentally has been a challenge until the recently reported advances in Fluorescence Detected Two-Dimensional Spectroscopy (FD2DS). Here, we demonstrate using fourth order perturbation theory, the conditions for the presence of donor-acceptor coherence induced cross-peaks at zero waiting time between the first and the second pair of pulses. The approach is illustrated for a heterodimer model which facilitates an analytical solution.


title: THERMAID - A matlab package for thermo-hydraulic modeling and fracture stability analysis in fractured reservoirs

abstract: Understanding the dynamics of naturally fractured systems and fractured reservoirs in terms of flow, heat transport and fracture stability (e.g. induced seismicity) is important for a range of applications associated with waste water injection, renewable energy (e.g. geothermal systems), and greenhouse gas mitigation (e.g. geological sequestration of CO2). Here we present the implementation and validation of an open source MATLAB package for efficient numerical simulations of the coupled processes in fractured systems. We take advantage of the embedded discrete fracture model that efficiently accounts for discrete fractures. We perform a series of numerical benchmark experiments to validate the implemented approach against analytical solutions and established numerical methods. Finally, we use a simplified geomechanical model and an integrated fracture stability analysis that allows estimating the potential for shear stimulation, and thus a mechanistic assessment of induced seismic risk during stimulation. The open source distribution of the source code and results can be used as a blue print for the re-implementation of the method in a high performance computing (HPC) framework or as a standalone simulation package for investigating TH(m) problems in geothermal reservoirs.


title: Topological instability of two-dimensional conductors

abstract: In the present paper we propose a mechanism of the structural instability with a periodic charge ordering in two-dimensional isotropic conductors with a closed Fermi surface which completely excludes the conventional nesting mechanism. We show that the structural instability in such conductors may arise as a topological reconstruction under which the initially closed Fermi surface is transformed into an open one. We have found that the order parameter of the charge ordering ground state may exceed one hundredth of the Fermi energy. Furthermore, this charge ordering is a quantum phase transition with respect to the dimensionless coupling constant $\lambda$ related to the mechanism that drives the band reconstruction (e. g. electron-phonon coupling), with the critical value given by $\lambda_c= (1+2/\pi)^{-1}$. Preliminary estimations show that the suggested mechanism can be the origin of density waves observed in such materials as high$-T_c$ cuprates or graphite intercalates.


title: A faint outburst of the accreting millisecond X-ray pulsar SAX J1748.9-2021 in NGC 6440

abstract: SAX J1748.9-2021 is an accreting X-ray millisecond pulsar observed in outburst five times since its discovery in 1998. In early October 2017, the source started its sixth outburst, which lasted only ~13 days, significantly shorter than the typical 30 days duration of the previous outbursts. It reached a 0.3-70 keV unabsorbed peak luminosity of $\sim3\times10^{36}$ erg/s. This is the weakest outburst ever reported for this source to date. We analyzed almost simultaneous XMM-Newton, NuSTAR and INTEGRAL observations taken during the decaying phase of its 2017 outburst. We found that the spectral properties of SAX J1748.9-2021 are consistent with an absorbed Comptonization plus a blackbody component. The former, characterized by an electron temperature of ~20 keV, a photon index of ~1.6-1.7 keV and seed photon temperature of 0.44 keV, can be associated to a hot corona or the accretion column, while the latter is more likely originating from the neutron star surface (kT$_{bb}\sim0.6$ keV, R$_{bb}\sim2.5$ km). These findings suggest that SAX J1748.9-2021 was observed in a $hard$ spectral state, as it is typically the case for accreting millisecond pulsars in outburst.


title: First Principle Study on Lead-Free CH3NH3GeI3 and CH3NH3GeBr3 Perovskite Using FHI-aims Code

abstract: An ab-initio calculation in the framework of DFT, as implemented in the FHI-aims package within GGA with the pbe parameterization was carried out in this work. Although methyl ammonium lead iodide, (CH3NH3PbI3) has proven to be an effective photovoltaic material, there remains a main concern about the toxicity of lead. An investigation into the possible replacement of CH3NH3PbI3 withCH3NH3GeI3 and CH3NH3GeBr3as the active layer in perovskite solar cell was carried out. The electronic band structure, bandgap energy and dielectric constants was calculated forCH3NH3GeI3 and CH3NH3GeBr3. The effect of temperature on linear thermal expansion coefficient, and temperature dependent of lattice constant was studied in the temperature range of 273 to 318 K, also band gap shift due to lattice expansion was studied. The dielectric constants of these materials was also determined. The energy band gap calculated for CH3NH3GeI3and CH3NH3GeBr3 at their respective equilibrium lattice constant are 1.606 and 1.925eV respectively.


title: On the depth of quotients of modular invariant rings by transfer ideals

abstract: Let $G$ be a finite group, and $V$ a finite dimensional vector space over a field $k$ of characteristic dividing the order of $G$. Let $H \leq G$. The transfer map $k[V]^H \rightarrow k[V]^G$ is an important feature of modular invariant theory. Its image is called a transfer ideal $I^G_H$ of $k[V]^G$, and this ideal, along with the quotients $k[V]^G/I^G_H$ are widely studied. In this article we study $k[V]^G/I$, where $I$ is any sum of transfer ideals. Our main result gives an explicit regular sequence of length $\dim(V^G)$ in $k[V]^G/I$ when $G$ is a $p$-group. We identify situations where this is sufficient to compute the depth of $k[V]^G/I$, in particular recovering a result of Totaro. We also study the cases where $G$ is cyclic or isomorphic to the Klein 4 group in greater detail. In particular we use our results to compute the depth of $k[V]^G/I^G_{\{1\}}$ for an arbitrary indecomposable representation of the Klein 4-group.


title: Extremely efficient permutation and bootstrap hypothesis tests using R

abstract: Re-sampling based statistical tests are known to be computationally heavy, but reliable when small sample sizes are available. Despite their nice theoretical properties not much effort has been put to make them efficient. In this paper we treat the case of Pearson correlation coefficient and two independent samples t-test. We propose a highly computationally efficient method for calculating permutation based p-values in these two cases. The method is general and can be applied or be adopted to other similar two sample mean or two mean vectors cases.


title: Lithium and Beryllium isotopes with the PAMELA experiment

abstract: The cosmic-ray lithium and beryllium ($^{6}$Li, $^{7}$Li, $^{7}$Be, $^{9}$Be, $^{10}$Be) isotopic composition has been measured with the satellite-borne experiment PAMELA, which was launched into low-Earth orbit on-board the Resurs-DK1 satellite on June 15th 2006. The rare lithium and beryllium isotopes in cosmic rays are believed to originate mainly from the interaction of high energy carbon, nitrogen and oxygen nuclei with the interstellar medium (ISM), but also on "tertiary" interactions in the ISM (i.e. produced by further fragmentation of secondary beryllium and boron). In this paper the isotopic ratios $^{7}$Li/$^{6}$Li and $^{7}$Be/($^{9}$Be + $^{10}$Be) measured between 150 and 1100 MeV/n using two different detector systems from July 2006 to September 2014 will be presented.


title: Quantitative Analysis of a Transient Dynamics of a Gene Regulatory Network

abstract: In a stochastic process, noise often modifies the picture offered by the mean field dynamics. In particular, when there is an absorbing state, the noise erases a stable fixed point of the mean field equation from the stationary distribution, and turns it into a transient peak. We make a quantitative analysis of this effect for a simple genetic regulatory network with positive feedback, where the proteins become extinct in the presence of stochastic noise, contrary to the prediction of the deterministic rate equation that the protein number converges to a non-zero value. We show that the transient peak appears near the stable fixed point of the rate equation, and the extinction time diverges exponentially as the stochastic noise approaches zero. We also show how the baseline production from the inactive gene ameliorates the effect of the stochastic noise, and interpret the opposite effects of the noise and the baseline production in terms of the position shift of the unstable fixed point. The order of magnitude estimates using biological parameters suggest that for a real gene regulatory network, the stochastic noise is sufficiently small so that not only is the extinction time much larger than biologically relevant time-scales, but also the effect of the baseline production dominates over that of the stochastic noise, leading to the protection from the catastrophic rare event of protein extinction.


title: A Decomposition-Based Many-Objective Evolutionary Algorithm with Local Iterative Update

abstract: Existing studies have shown that the conventional multi-objective evolutionary algorithms (MOEAs) based on decomposition may lose the population diversity when solving some many-objective optimization problems. In this paper, a simple decomposition-based MOEA with local iterative update (LIU) is proposed. The LIU strategy has two features that are expected to drive the population to approximate the Pareto Front with good distribution. One is that only the worst solution in the current neighborhood is swapped out by the newly generated offspring, preventing the population from being occupied by copies of a few individuals. The other is that its iterative process helps to assign better solutions to subproblems, which is beneficial to make full use of the similarity of solutions to neighboring subproblems and explore local areas in the search space. In addition, the time complexity of the proposed algorithm is the same as that of MOEA/D, and lower than that of other known MOEAs, since it considers only individuals within the current neighborhood at each update. The algorithm is compared with several of the best MOEAs on problems chosen from two famous test suites DTLZ and WFG. Experimental results demonstrate that only a handful of running instances of the algorithm on DTLZ4 lose their population diversity. What's more, the algorithm wins in most of the test instances in terms of both running time and solution quality, indicating that it is very effective in solving MaOPs.


title: Gravity in a warped 6D world with an extra 2D sphere

abstract: Corrections to Newton's inverse law have been so far considered, but not clear in warped higher dimensional worlds, because of complexity of the Einstein equation. Here we give a model of a warped 6D world with an extra 2D sphere. We take a general energy-momentum tensor, which does not depend on a special choice of bulk matter fields. The 6D Einstein equation reduces to the spheroidal differential equation, which can be easily solved. The gravitational potential in our 4D universe is calculated to be composed of infinite series of massive Yukawa potentials coming from the KK mode, together with Newton's inverse law. The series of Yukawa type potentials converges well to behave as $1/r^3$ near $r=0$.


title: Amortized Analysis of Asynchronous Price Dynamics

abstract: We extend a recently developed framework for analyzing asynchronous coordinate descent algorithms to show that an asynchronous version of tatonnement, a fundamental price dynamic widely studied in general equilibrium theory, converges toward a market equilibrium for Fisher markets with CES utilities or Leontief utilities, for which tatonnement is equivalent to coordinate descent.


title: Generalized solutions of variational problems and applications

abstract: Ultrafunctions are a particular class of generalized functions defined on a hyperreal field $\mathbb{R}^{*}\supset\mathbb{R}$ that allow to solve variational problems with no classical solutions. We recall the construction of ultrafunctions and we study the relationships between these generalized solutions and classical minimizing sequences. Finally, we study some examples to highlight the potential of this approach.


title: Magnetocardiography on an isolated animal heart with a room-temperature optically pumped magnetometer

abstract: Optically pumped magnetometers are becoming a promising alternative to cryogenically-cooled superconducting magnetometers for detecting and imaging biomagnetic fields. Magnetic field detection is a completely non-invasive method, which allows one to study the function of excitable human organs with a sensor placed outside the human body. For instance, magnetometers can be used to detect brain activity or to study the activity of the heart. We have developed a highly sensitive miniature optically pumped magnetometer based on cesium atomic vapor kept in a paraffin-coated glass container. The magnetometer is optimized for detection of biological signals and has high temporal and spatial resolution. It is operated at room- or human body temperature and can be placed in contact with or at a mm-distance from a biological object. With this magnetometer, we detected the heartbeat of an isolated guinea-pig heart, which is an animal widely used in biomedical studies. In our recordings of the magnetocardiogram, we can in real-time observe the P-wave, QRS-complex and T-wave associated with the cardiac cycle. We also demonstrate that our device is capable of measuring the cardiac electrographic intervals, such as the RR- and QT-interval, and detecting drug-induced prolongation of the QT-interval, which is important for medical diagnostics.


title: Generalization of Kirchhoff reflectivity to go beyond modelling and inversion of first-order reflection data -- A review of the theory

abstract: We remind and emphasize the connections and differences between Kirchhoff and Born modelling. We discuss how they lead to a general expression for the conversion of a velocity model perturbation into a reflectivity through the "generalized reflectivity" concept. We seize the opportunity to clarify some aspects related to possibly non-smooth propagating media and the linearity approximation on reflectors. The generalized reflectivity offers opportunities: on FWI approaches that include a reflectivity or least squares migration approaches that can be based on Kirchhoff or Born modelling; in the framework of traditional Kirchhoff modelling scheme, to model first-order effects that go beyond first-order reflections (like first-order diffractions); in the framework of traditional Kirchhoff inversion or true amplitude migration, i.e. for the interpretation of seismic-migrated images.


title: A Gutzwiller type trace formula for the magnetic Dirac operator

abstract: For manifolds including metric-contact manifolds with non-resonant Reeb ow, we prove a Gutzwiller type trace formula for the associated magnetic Dirac operator involving contributions from Reeb orbits on the base. As an application, we prove a semiclassical limit formula for the eta invariant.


title: Thermal diffusion in branched structures: Metric graph based approach

abstract: We consider the problem of heat diffusion in branched systems and networks on the basis of a model described in terms of heat equation on metric graphs. Using the explicit analytical solutions of the latter, evolution of the temperature profile and heat flow on each branch are computed. Extension of the study for nonlinear regime is considered using a nonlinear heat equation on metric graphs. It is found that in nonlinear regime is more intensive than that in linear case.


title: The SOPHIE search for northern extrasolar planets XIII. Two planets around M-dwarfs Gl617A and Gl96

abstract: We report the detection of two exoplanets and a further tentative candidate around the M-dwarf stars Gl96 and Gl617A, based on radial velocity measurements obtained with the SOPHIE spectrograph at the Observatoire de Haute-Provence. Both stars were observed in the context of the SOPHIE exoplanet consortium's dedicated M-dwarf subprogramme, which aims to detect exoplanets around nearby M-dwarf stars through a systematic survey. For Gl96, we present the discovery of a new exoplanet at 73.9 d with a minimum mass of 19.66 earth masses. Gl96 b has an eccentricity of 0.44, placing it among the most eccentric planets orbiting M stars. For Gl617A we independently confirm a recently reported exoplanet at 86.7 d with a minimum mass of 31.29 earth masses. Both Gl96 b and Gl617A b are potentially within the habitable zone, though Gl96 b's high eccentricity may take it too close to the star at periapsis.


title: Condensation in preferential attachment models with location-based choice

abstract: We introduce a model of a preferential attachment based random graph which extends the family of models in which condensation phenomena can occur. Each vertex has an associated uniform random variable which we call its location. Our model evolves in discrete time by selecting $r$ vertices from the graph with replacement, with probabilities proportional to their degrees plus a constant $\alpha$. A new vertex joins the network and attaches to one of these vertices according to a given probability associated to the ranking of their locations. We give conditions for the occurrence of condensation, showing the existence of phase transitions in $\alpha$ below which condensation occurs. The condensation in our model differs from that in preferential attachment models with fitness in that the condensation can occur at a random location, that it can be due to a persistent hub, and that there can be more than one point of condensation.


title: Exact Solution to a Class of Generalized Kitaev Spin-$1/2$ Models in Arbitrary Dimensions

abstract: We construct a class of exactly solvable generalized Kitaev spin-$1/2$ models in arbitrary dimensions, which is beyond the category of quantum compass models. The Jordan-Wigner transformation is employed to prove the exact solvability. An exactly solvable quantum spin-$1/2$ models can be mapped to a gas of free Majorana fermions coupled to static $Z_2$ gauge fields. We classify these exactly solvable models according to their parent models. Any model belonging to this class can be generated by one of the parent models. For illustration, a two dimensional ($2D$) tetragon-octagon model and a three dimensional ($3D$) $xy$ bond model are studied.


title: Automatic Exploration of Machine Learning Experiments on OpenML

abstract: Understanding the influence of hyperparameters on the performance of a machine learning algorithm is an important scientific topic in itself and can help to improve automatic hyperparameter tuning procedures. Unfortunately, experimental meta data for this purpose is still rare. This paper presents a large, free and open dataset addressing this problem, containing results on 38 OpenML data sets, six different machine learning algorithms and many different hyperparameter configurations. Results where generated by an automated random sampling strategy, termed the OpenML Random Bot. Each algorithm was cross-validated up to 20.000 times per dataset with different hyperparameters settings, resulting in a meta dataset of around 2.5 million experiments overall.


title: Coherent scattering and macroscopic coherence: Implications for neutrino, dark matter and axion detection

abstract: We study the question of whether coherent neutrino scattering can occur on macroscopic scales, leading to a significant increase of the detection cross section. We concentrate on radiative neutrino scattering on atomic electrons (or on free electrons in a conductor). Such processes can be coherent provided that the net electron recoil momentum, i.e. the momentum transfer from the neutrino minus the momentum of the emitted photon, is sufficiently small. The radiative processes is an attractive possibility as the energy of the emitted photons can be as large as the momentum transfer to the electron system and therefore the problem of detecting extremely low energy recoils can be avoided. The requirement of macroscopic coherence severely constrains the phase space available for the scattered particle and the emitted photon. We show that in the case of the scattering mediated by the usual weak neutral current and charged current interactions this leads to a strong suppression of the elementary cross sections and therefore the requirement of macroscopic coherence results in a reduction rather than an increase of the total detection cross section. However, for the $\nu e$ scattering mediated by neutrino magnetic or electric dipole moments coherence effects can actually increase the detection rates. Effects of macroscopic coherence can also allow detection of neutrinos in 100 eV -- a few keV energy range, which is currently not accessible to the experiment. A similar coherent enhancement mechanism can work for relativistic particles in the dark sector, but not for the conventionally considered non-relativistic dark matter.


title: Graphs without a partition into two proportionally dense subgraphs

abstract: A \emph{proportionally dense subgraph} (PDS) is an induced subgraph of a graph with the property that each vertex in the PDS is adjacent to proportionally as many vertices in the subgraph as in the rest of the graph. In this paper, we study a partition of a graph into two proportionally dense subgraphs, namely a \emph{$2$-PDS partition}. The question whether all graphs (except stars) have $2$-PDS partition was left open in [Bazgan et al., Algorithmica 80(6) (2018), 1890--1908]. We give a negative answer on that question and present a class of graphs without a $2$-PDS partition.


title: Effective Wireless Scheduling via Hypergraph Sketches

abstract: An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and rate adjustment? We propose the first framework for approximation algorithms in the physical model of wireless interference that addresses these questions in full. The approximations obtained are at most doubly logarithmic in the link length and rate diversity. Where previous bounds are known, this gives an exponential improvement (or better). A key contribution is showing that the complex interference relationship of the physical model can be simplified, at a small cost, into a novel type of amenable conflict graphs. We also show that the approximation obtained is provably the best possible for any conflict graph formulation.


title: The leading coefficient of the $L^2$-Alexander torsion

abstract: We give upper and lower bounds on the leading coefficients of the $L^2$-Alexander torsions of a $3$-manifold $M$ in terms of hyperbolic volumes and of relative $L^2$-torsions of sutured manifolds obtained by cutting $M$ along certain surfaces. We prove that for numerous families of knot exteriors the lower and upper bounds are equal, notably for exteriors of 2-bridge knots. In particular we compute the leading coefficient explicitly for 2-bridge knots.


title: A consistency study of coarse-grained dynamical chains through a nonlinear wave equation of mixed type

abstract: A dynamical atomistic chain to simulate mechanical properties of a one-dimensional material with zero temperature may be modelled by the molecular dynamics (MD) model. Because the number of particles (atoms) is huge for a MD model, in practice one often takes a much smaller number of particles to formulate a coarse-grained approximation. We shall mainly consider the consistency of the coarse-grained model with respect to the grain (mesh) size to provide a justification to the goodness of such an approximation. In order to reduce the characteristic oscillations with very different frequencies in such a model, we either add a viscous term to the coarse-grained MD model or apply a space average to the coarse-grained MD solutions for the consistency study. The coarse-grained solution is also compared with the solution of the (macroscopic) continuum model (a nonlinear wave equation of mixed type) to show how well the coarse-grained model can approximate the macroscopic behavior of the material. We also briefly study the instability of the dynamical atomistic chain and the solution of the Riemann problem of the continuum model which may be related to the defect of the atomistic chain under a large deformation in certain locations.


title: Quantum Magnetism in Minerals

abstract: The discovery of magnetism by the ancient Greeks was enabled by the natural occurrence of lodestone -- a magnetized version of the mineral magnetite. Nowadays, natural minerals continue to inspire the search for novel magnetic materials with quantum-critical behavior or exotic ground states such as spin liquids. The recent surge of interest in magnetic frustration and quantum magnetism was largely encouraged by crystalline structures of natural minerals realizing pyrochlore, kagome, or triangular arrangements of magnetic ions. As a result, names like azurite, jarosite, volborthite, and others, which were barely known beyond the mineralogical community a few decades ago, found their way into cutting-edge research in solid-state physics. In some cases, the structures of natural minerals are too complex to be synthesized artificially in a chemistry lab, especially in single-crystalline form, and there is a growing number of examples demonstrating the potential of natural specimens for experimental investigations in the field of quantum magnetism. On many other occasions, minerals may guide chemists in the synthesis of novel compounds with unusual magnetic properties. The present review attempts to embrace this quickly emerging interdisciplinary field that bridges mineralogy with low-temperature condensed-matter physics and quantum chemistry.

categories: cond-mat.str-el cond-mat.mtrl-sci physics.geo-ph quant-ph


title: Automatic streetlights that glow on detecting night and object using Arduino

abstract: Our manuscript aims to develop a system which will lead to energy conservation and by doing so, we would be able to lighten few more homes. The proposed work is accomplished by using Arduino microcontroller and sensors that will control the electricity based on night and object's detection. Meanwhile, a counter is set that will count the number of objects passed through the road. The beauty of the proposed work is that the wastage of unused electricity can be reduced, lifetime of the streetlights gets enhance because the lights do not stay ON during the whole night, and helps to increase safety measurements. We are confident that the proposed idea will be beneficial in the future applications of microcontrollers and sensors etc.


title: Performance of Massive MIMO Self-Backhauling for Ultra-Dense Small Cell Deployments

abstract: A key aspect of the fifth-generation wireless communication network will be the integration of different services and technologies to provide seamless connectivity. In this paper, we consider using massive multiple-input multiple-output (mMIMO) to provide backhaul links to a dense deployment of self-backhauling (s-BH) small cells (SCs) that provide cellular access within the same spectrum resources of the backhaul. Through a comprehensive system-level simulation study, we evaluate the interplay between access and backhaul and the resulting end-to-end user rates. Moreover, we analyze the impact of different SCs deployment strategies, while varying the time resource allocation between radio access and backhaul links. We finally compare the above mMIMO-based s-BH approach to a mMIMO direct access (DA) architecture accounting for the effects of pilot reuse schemes, together with their associated overhead and contamination mitigation effects. The results show that dense SCs deployments supported by mMIMO s-BH provide significant rate improvements for cell-edge users (UEs) in ultra-dense deployments with respect to mMIMO DA, while the latter outperforms mMIMO s-BH from the median UEs' standpoint.


title: $\mu$SR study of spin freezing and persistent spin dynamics in NaCaNi$_2$F$_7$

abstract: A new pyrochlore compound, NaCaNi$_2$F$_7$, was recently synthesized and has a single magnetic site with spin-1 Ni$^{2+}$. We present zero field (ZF) and longitudinal field (LF) muon spin rotation ($\mu$SR) measurements on this pyrochlore. Density functional theory (DFT) calculations show that the most likely muon site is located between two fluorine ions, but off-centre. A characteristic F-$\mu$-F muon spin polarization function is observed at high temperatures where Ni spin fluctuations are sufficiently rapid. The Ni$^{2+}$ spins undergo spin freezing into a disordered ground state below 4~K, with a characteristic internal field strength of 140~G. Persistent Ni spin dynamics are present to our lowest temperatures (75~mK), a feature characteristic of many geometrically frustrated magnetic systems.


title: A frequency-coded QKD scheme with an extension to qu-quarts

abstract: We propose a novel scheme to implement the BB84 quantum key distribution (QKD) protocol in optical fibers based on a quantum frequency-translation (QFT) process. Unlike conventional QKD systems, which rely on photon polarization/phase to encode qubits, our proposal utilizes photons of different frequencies. Qubits are thus expected to reach longer propagation distances due to the photon frequency state being more robust against mechanical and/or thermal fluctuations of the transmitting medium. Finally, we put forth an extension to a security-enhanced four-character-alphabet (qu-quarts) QKD scheme.


title: Local view of superconducting fluctuations

abstract: Superconducting transitions are driven by thermal fluctuations close to the transition temperature, Tc. These fluctuations are averaged out in global measurements, leaving imprints on susceptibility and resistance measurements. Here, we use a scanning superconducting quantum interference device to image thermal superconducting fluctuations in Nb, a conventional BCS superconductor. We observe fluctuations in both space and time which manifest themselves as grains of weaker and stronger diamagnetic response, exhibiting telegraph-like noise as a function of time. Local fluctuations are also found in the imaginary component of the susceptibility demonstrating that the local vortex dissipation can also be used as a probe of the fluctuations. An important outcome of our measurements is the observation and realization that the susceptibility decrease to zero as the temperature is raised towards Tc always occurs in quantized steps irrespective of the sample geometry. The technique described here is expected to be a useful tool for studying the nature of fluctuations in more complex superconductors, providing important information on critical properties such as fluctuation length, time scales, and local viscosity.


title: Anonymous transmission in a noisy quantum network using the W state

abstract: We consider the task of anonymously transmitting a quantum message in a network. We present a protocol that accomplishes this task using the W state and we analyze its performance in a quantum network where some form of noise is present. We then compare the performance of our protocol with some of the existing protocols developed for the task of anonymous transmission. We show that, in many regimes, our protocol tolerates more noise and achieves higher fidelities of the transmitted quantum message than the other ones. Furthermore, we demonstrate that our protocol tolerates one non-responsive node. We prove the security of our protocol in a semi-active adversary scenario, meaning that we consider an active adversary and a trusted source.


title: Analysis and Performance of the Barzilai-Borwein Step-Size Rules for Optimization Problems in Hilbert Spaces

abstract: Due to simplicity, computational cheapness, and efficiency, the Barzilai and Borwein (BB) gradient method has received a significant amount of attention in different fields of optimization. In the first part of this paper, based on spectral analysis, R-linear global convergence for the BB-method is proven for strictly convex quadratic problems posed in infinite-dimensional Hilbert spaces. Then this result is strengthened to R-linear local convergence for a class of twice continuously Fr\'echet-differentiable functions. In the second part, aiming at problems governed by partial differential equations (PDE), the mesh-independent principle is investigated for the BB-method. The applicability of these results is demonstrated for three different types of PDE-constrained optimization problems. Numerical experiments illustrate the theoretical results.


title: A variant of the Erdos-Renyi random graph process

abstract: We consider a natural variant of the Erd\H{o}s-R\'enyi random graph process in which $k$ vertices are special and are never put into the same connected component. The model is natural and interesting on its own, but is actually inspired by the combinatorial data fusion problem that itself is connected to a number of important problems in graph theory. We will show that a phase transition occurs when the number of special vertices is roughly $n^{1/3}$, where $n$ is the number of vertices.


title: Sparse Sampling for Inverse Problems with Tensors

abstract: We consider the problem of designing sparse sampling strategies for multidomain signals, which can be represented using tensors that admit a known multilinear decomposition. We leverage the multidomain structure of tensor signals and propose to acquire samples using a Kronecker-structured sensing function, thereby circumventing the curse of dimensionality. For designing such sensing functions, we develop low-complexity greedy algorithms based on submodular optimization methods to compute near-optimal sampling sets. We present several numerical examples, ranging from multi-antenna communications to graph signal processing, to validate the developed theory.


title: Preserving Topology while Breaking Chirality: From Chiral Orthogonal to Anti-symmetric Hermitian Ensemble

abstract: We consider a parameter dependent ensemble of two real random matrices with Gaussian distribution. It describes the transition between the symmetry class of the chiral Gaussian orthogonal ensemble (Cartan class B$|$DI) and the ensemble of antisymmetric Hermitian random matrices (Cartan class B$|$D). It enjoys the special feature that, depending on the matrix dimension $N$, it has exactly $\nu=0$ $(1)$ zero-mode for $N$ even (odd), throughout the symmetry transition. This "topological protection" is reminiscent of properties of topological insulators. We show that our ensemble represents a Pfaffian point process which is typical for such transition ensembles. On a technical level, our results follow from the applicability of the Harish-Chandra integral over the orthogonal group. The matrix valued kernel determining all eigenvalue correlation functions is explicitly constructed in terms of skew-orthogonal polynomials, depending on the topological index $\nu=0,1$. These polynomials interpolate between Laguerre and even (odd) Hermite polynomials for $\nu=0$ $(1)$, in terms of which the two limiting symmetry classes can be solved. Numerical simulations illustrate our analytical results for the spectral density and an expansion for the distribution of the smallest eigenvalue at finite $N$.

categories: math-ph cond-mat.mes-hall cond-mat.stat-mech math.MP


title: Suprintegrable models on riemannian surfaces of revolution with integrals of any integer degree (II)

abstract: The construction of Superintegrable models with rotational symmetry and two integrals of any integer degree greater than 3 was completed in [9] only for the so called simple case. It is extended here to a more general situation and several globally defined examples are worked out, all of them living either in R2 or in H2.


title: Assessing frequency correlation through a distinguishability measurement

abstract: The simplicity of a question such as wondering if correlations characterize or not a certain system collides with the experimental difficulty of accessing such information. Here we present a low demanding experimental approach which refers to the use of a metrology scheme to obtain a conservative estimate of the strength of frequency correlations. Our testbed is the widespread case of a photon pair produced per downconversion. The theoretical architecture used to put the correlation degree on a quantitative ground is also described.


title: Semi-automatically optimized calibration of internal combustion engines

abstract: Modern combustion engines incorporate a number of actuators and sensors that can be used to control and optimize the performance and emissions. We describe a semi-automatic method to simultaneously measure and calibrate the actuator settings and the resulting behavior of the engine. The method includes an adaptive process for refining the measurements, a data cleaning step, and an optimization procedure. The optimization works in a discretized space and incorporates the conditions to describe the dependence between the actuators and the engine behavior as well as emission bounds. We demonstrate our method on practical examples.


title: Time consistency of the mean-risk problem

abstract: Choosing a portfolio of risky assets over time that maximizes the expected return at the same time as it minimizes portfolio risk is a classical problem in Mathematical Finance and is referred to as the dynamic Markowitz problem (when the risk is measured by variance) or more generally, the dynamic mean-risk problem. In most of the literature, the mean-risk problem is scalarized and it is well known that this scalarized problem does not satisfy the (scalar) Bellman's principle. Thus, the classical dynamic programming methods are not applicable. For the purpose of this paper we focus on the discrete time setup, and we will use a time consistent dynamic convex risk measure to evaluate the risk of a portfolio. We will show that when we do not scalarize the problem, but leave it in its original form as a vector optimization problem, the upper images, whose boundary contains the efficient frontier, recurse backwards in time under very mild assumptions. Thus, the dynamic mean-risk problem does satisfy a Bellman's principle, but a more general one, that seems more appropriate for a vector optimization problem: a set-valued Bellman's principle. We will present conditions under which this recursion can be exploited directly to compute a solution in the spirit of dynamic programming. Numerical examples illustrate the proposed method. The obtained results open the door for a new branch in mathematics: dynamic multivariate programming.


title: High Diversity Attribute Guided Face Generation with GANs

abstract: In this work we focused on GAN-based solution for the attribute guided face synthesis. Previous works exploited GANs for generation of photo-realistic face images and did not pay attention to the question of diversity of the resulting images. The proposed solution in its turn introducing novel latent space of unit complex numbers is able to provide the diversity on the "birthday paradox" score 3 times higher than the size of the training dataset. It is important to emphasize that our result is shown on relatively small dataset (20k samples vs 200k) while preserving photo-realistic properties of generated faces on significantly higher resolution (128x128 in comparison to 32x32 of previous works).


title: Uniqueness questions for C*-norms on group rings

abstract: We provide a large class of discrete amenable groups for which the complex group ring has several C*-completions, thus providing partial evidence towards a positive answer to a question raised by Rostislav Grigorchuk, Magdalena Musat and Mikael R{\o}rdam.


title: Extracting Randomness From The Trend of IPI for Cryptographic Operators in Implantable Medical Devices

abstract: Achieving secure communication between an Implantable Medical Device (IMD) inside the body and a gateway outside the body has showed its criticality with recent reports of hackings. The use of asymmetric cryptography is not a practical solution for IMDs due to the scarce computational and power resources, symmetric key cryptography is preferred. One of the factors in security of a symmetric cryptographic system is to use a strong key for encryption. A solution without using extensive resources in an IMD, is to extract it from the body physiological signals. To have a strong enough key, the physiological signal must be a strong source of randomness and InterPulse Interval (IPI) has been advised to be such that. A strong randomness source should have five conditions: Universality, Liveness, Robustness Permanence and Uniqueness. Nevertheless, for current proposed random extraction methods from IPI these conditions (mainly last three conditions) were not examined. In this study, firstly, we proposed a methodology to measure the last three conditions. Then, using a huge dataset of IPI values, we showed that IPI does not have conditions of Robustness and Permanence. Thus, extraction of a strong uniform random number from IPI value, mathematically, is impossible. Thirdly, rather than using the value of IPI, we proposed the trend of IPI as a source for a new randomness extraction method named as Martingale Randomness Extraction from IPI (MRE-IPI). MRE-IPI satisfies the Robustness condition completely and Permanence to some level. We, also, used randomness test suites and showed that MRE-IPI is able to outperform all recent randomness extraction methods from IPIs and its quality is half of the AES random number. To the best of our knowledge, this is the first work in this area which uses such a comprehensive method and large dataset to examine the randomness of a physiological signal.


title: Curvature Invariants for Lorentzian Traversable Wormholes

abstract: A process for using curvature invariants is applied as a new means to evaluate the traversability of Lorentzian wormholes and to display the wormhole spacetime manifold. This approach was formulated by Henry, Overduin and Wilcomb for Black Holes in Reference [1]. Curvature invariants are independent of coordinate basis, so the process is free of coordinate mapping distortions and the same regardless of your chosen coordinates. The four independent Carminati and McLenaghan (CM) invariants are calculated and the non-zero curvature invariant functions are plotted. Three example traversable wormhole metrics (i) spherically symmetric Morris and Thorne, (ii) thin-shell Schwarzschild wormholes, and (iii) the exponential metric are investigated and are demonstrated to be traversable.


title: Relativistic tidal properties of superfluid neutron stars

abstract: We investigate the tidal deformability of a superfluid neutron star. We calculate the equilibrium structure in the general relativistic two-fluid formalism with entrainment effect where we take neutron superfluid as one fluid and the other fluid is comprised of protons and electrons, making it a charge neutral fluid. We use a relativistic mean field model for the equation of state of matter where the interaction between baryons is mediated by the exchange $\sigma$, $\omega$ and $\rho$ mesons. Then, we study the linear, static $l=2$ perturbation on the star to compute the electric-type Love number following Hinderer's prescription.


title: Overcoming Distrust in Solid State Simulations: Adding Error Bars to Computational Data

abstract: Simulation techniques are providing with each passing day a deeper insight into the structure and properties of materials. Two main obstacles appear for the cooperation of simulation and experiment: on the one hand, the frequent lack of a degree of uncertainty associated with calculated data. On the other, the concomitant underlying feeling that calculation parameters can be tuned with the explicit aim of matching the experimental results, even at the expense of the quality of the simulation. Without the definition of an error bar for estimating the precision of the calculation, direct comparison of calculated and experimental data can lack physical significance. In this contribution, we employ the well known delocalization error of DFT and HF to develop a simple and robust procedure to quickly estimate an error bar for calculated quantities in the field of solid state chemistry. First, we validate our model on one of the simplest properties of a solid, the geometry of its unit cell, which can be determined experimentally with high accuracy. In this case, our computational window is too large to provide a useful error bar. However, it provides computational material scientists with a pointer on how much a given system is affected by the method of choice, i.e. how much it is sensible to parameter tuning and how much care should be taken in doing it. Then, we move to another quantity which has a greater experimental uncertainty, namely transition pressure, and show that our approach can lead to error bars comparable to experiment. Hence, both experiment and theory can be compared on an even basis taking into account the uncertainty introduced by the scientist, both in the measuring conditions and the tuning of computational parameters.


title: Vehicles as sensors: high-accuracy rainfall maps from windshield wiper measurements

abstract: Connected vehicles are poised to transform the field of environmental sensing by enabling acquisition of scientific data at unprecedented scales. Drawing on a real-world dataset collected from almost 70 connected vehicles, this study generates improved rainfall estimates by combining weather radar with windshield wiper observations. Existing methods for measuring precipitation are subject to spatial and temporal uncertainties that compromise high-precision applications like flash flood forecasting. Windshield wiper measurements from connected vehicles correct these uncertainties by providing precise information about the timing and location of rainfall. Using co-located vehicle dashboard camera footage, we find that wiper measurements are a stronger predictor of binary rainfall state than traditional stationary gages or radar-based measurements. We introduce a Bayesian filtering framework that generates improved rainfall estimates by updating radar rainfall fields with windshield wiper observations. We find that the resulting rainfall field estimate captures rainfall events that would otherwise be missed by conventional measurements. We discuss how these enhanced rainfall maps can be used to improve flood warnings and facilitate real-time operation of stormwater infrastructure.


title: On intelligent energy harvesting

abstract: We probe the potential for intelligent intervention to enhance the power output of energy harvesters. We investigate general principles and a case study: a bi-resonant piezo electric harvester. We consider intelligent interventions via pre-programmed reversible energy-conserving operations. We find that in important parameter regimes these can outperform diode-based intervention, which in contrast has a fundamental minimum power dissipation bound.


title: Physics-informed Machine Learning Method for Forecasting and Uncertainty Quantification of Partially Observed and Unobserved States in Power Grids

abstract: We present a physics-informed Gaussian Process Regression (GPR) model to predict the phase angle, angular speed, and wind mechanical power from a limited number of measurements. In the traditional data-driven GPR method, the form of the Gaussian Process covariance matrix is assumed and its parameters are found from measurements. In the physics-informed GPR, we treat unknown variables (including wind speed and mechanical power) as a random process and compute the covariance matrix from the resulting stochastic power grid equations. We demonstrate that the physics-informed GPR method is significantly more accurate than the standard data-driven one for immediate forecasting of generators' angular velocity and phase angle. We also show that the physics-informed GPR provides accurate predictions of the unobserved wind mechanical power, phase angle, or angular velocity when measurements from only one of these variables are available. The immediate forecast of observed variables and predictions of unobserved variables can be used for effectively managing power grids (electricity market clearing, regulation actions) and early detection of abnormal behavior and faults. The physics-based GPR forecast time horizon depends on the combination of input (wind power, load, etc.) correlation time and characteristic (relaxation) time of the power grid and can be extended to short and medium-range times.


title: Smart Grid Monitoring Using Power Line Modems: Effect of Anomalies on Signal Propagation

abstract: The aim of the present work is to provide the theoretical fundamentals needed to monitor power grids using high frequency sensors. In our context, network monitoring refers to the harvesting of different kinds of information: topology of the grid, load changes, presence of faults and cable degradation. We rely on transmission line theory to carry out a thorough analysis of how high frequency signals, such those produced by power line modems, propagate through multi-conductor power networks. We also consider the presence of electrical anomalies on the network and analyze how they affect the signal propagation. In this context, we propose two models that rely on reflectometric and end-to-end measurements to extrapolate information about possible anomalies. A thorough discussion is carried out to explain the properties of each model and measurement method, in order to enable the development of appropriate anomaly detection and location algorithms.


title: Identification and adaptive control of a high-contrast focal plane wavefront correction system

abstract: All coronagraphic instruments for exoplanet high-contrast imaging need wavefront correction systems to reject optical aberrations and create sufficiently dark holes. Since the most efficient wavefront correction algorithms (controllers and estimators) are usually model-based, the modeling accuracy of the system influences the ultimate wavefront correction performance. Currently, wavefront correction systems are typically approximated as linear systems using Fourier optics. However, the Fourier optics model is usually biased due to inaccuracies in the layout measurements, the imperfect diagnoses of inherent optical aberrations, and a lack of knowledge of the deformable mirrors (actuator gains and influence functions). Moreover, the telescope optical system varies over time because of instrument instabilities and environmental effects. In this paper, we present an expectation-maximization (E-M) approach for identifying and real-time adapting the linear telescope model from data. By iterating between the E-step (a Kalman filter and a Rauch smoother) and the M-step (analytical or gradient-based optimization), the algorithm is able to recover the system even if the model depends on the electric fields, which are unmeasurable hidden variables. Simulations and experiments in Princeton's High Contrast Imaging Lab demonstrate that this algorithm improves the model accuracy and increases the efficiency and speed of the wavefront correction.


title: Framework for High-performance Video Acquisition and Processing in MTCA.4 Form Factor

abstract: The video acquisition and processing systems are commonly used in industrial and scientific applications. Many of them utilize Camera Link interface for the transmission of a video stream from the camera to the host system. The framework presented in the paper enables capturing such data, processing it and transmitting to the host CPU. It consist of MTCA.4-compliant frame grabber and a set of software libraries supporting several different cameras. It is designed for use in large scale physics experiments such as ITER tokamak or European X-Ray Free-Electron Laser (E-XFEL), as well as in the Centre for Free-Electron Laser Science (CFEL). The proposed video acquisition solution features the worlds first Camera Link frame grabber for the MTCA.4 architecture. Thanks to the modern FPGA circuit architecture, the deserialization is done using only the built-in ISERDES primitives, which reduces the costs and complexity of the required hardware.


title: Differentiability versus continuity: Restriction and extension theorems and monstrous examples

abstract: The aim of this expository article is to present recent developments in the centuries old discussion on the interrelations between continuous and differentiable real valued functions of one real variable. The truly new results include, among others, the $D^n$-$C^n$ interpolation theorem: {\em For every $n$-times differentiable $f\colon\R\to\R$ and perfect $P\subset \R$ there is a $C^n$ function $g\colon\R\to\R$ such that $f\restriction P$ and $g\restriction P$ agree on an uncountable set} and an example of a differentiable function $F\colon\R\to\R$ (which can be nowhere monotone) and of compact perfect $\mathfrak{X}\subset\R$ such that $F'(x)=0$ for all $x\in \mathfrak{X}$ while $F[\mathfrak{X}]=\mathfrak{X}$; thus, the map $\mathfrak{f}=F\restriction\mathfrak{X}$ is shrinking at every point while, paradoxically, not globally. We also present a new short and elementary construction of {\em everywhere differentiable nowhere monotone $h\colon \R\to\R$}\/ and the proofs (not involving Lebesgue measure/integration theory) of the theorems of Jarn\'\i k and of Laczkovich. The main part of this exposition, concerning continuity and first order differentiation, is presented in an narrative that answers two classical questions: \textit{To what extend a continuous function must be differentiable?} and \textit{How strong is the assumption of differentiability of a continuous function?} In addition, we overview the results concerning higher order differentiation. This includes the Whitney extension theorem and the higher order interpolation theorems related to Ulam-Zahorski problem. Finally, we discuss the results concerning smooth functions that are independent of the standard axioms ZFC of set theory. We close with a list of currently open problems related to this subject.


title: Optimizing wave-generation and wave-damping in 3D-flow simulations with implicit relaxation-zones

abstract: In finite-volume-based flow-simulations with free-surface waves, wave reflections at the domain boundaries can cause substantial errors in the results and must therefore be minimized. This can be achieved via `implicit relaxation zones', but only if the relaxation zone's case-dependent parameters are optimized. This work proposes an analytical approach for optimizing these parameters. The analytical predictions are compared against results from 2D-flow simulations for different water depths, flow solvers, and relaxation functions, and against results from 3D-flow simulations with strongly wave-reflecting bodies subjected to nonlinear free-surface waves. The present results demonstrate that the proposed approach satisfactorily predicts both the optimum parameter settings and the upper-limit for the corresponding reflection coefficients $C_{\mathrm{R}}$. Simulation results for $C_{\mathrm{R}}$ were mostly below or equal to the analytical predictions, but never more than $3.4\%$ larger. Therefore, the proposed approach can be recommended for engineering practice. Furthermore, it is shown that implicit relaxation zones can be considered as a special-case of forcing zones, a family of approaches which includes among others absorbing layers, damping zones and sponge layers. The commonalities and differences between these approaches are discussed, including to what extend the present findings are applicable to these other approaches and vice versa.


title: Numerical study of multiparticle scattering in $\lambda\phi^4$ theory

abstract: We study numerically classical collisions of waves in $\lambda\phi^4$ theory. These processes correspond to multiparticle scattering in the semiclassical regime. Parametrizing initial and final wavepackets by energy $E$ and particle numbers $N_{i}$, $N_{f}$ we find classically allowed region in the parameter space. We describe properties of the scattering solutions at the boundary of the classically allowed region. We comment on the implications of our results for multiparticle production in the quantum regime.


title: Transport peak in thermal spectral function of ${\cal N}=4$ supersymmetric Yang-Mills plasma at intermediate coupling

abstract: We study the structure of thermal spectral function of the stress-energy tensor in ${\cal N}=4$ supersymmetric Yang-Mills theory at intermediate 't Hooft coupling and infinite number of colors. In gauge-string duality, this analysis reduces to the study of classical bulk supergravity with higher-derivative corrections, which correspond to (inverse) coupling corrections on the gauge theory side. We extrapolate the analysis of perturbative leading-order corrections to intermediate coupling by non-perturbatively solving the equations of motion of metric fluctuations dual to the stress-energy tensor at zero spatial momentum. We observe the emergence of a separation of scales in the analytic structure of the thermal correlator associated with two types of characteristic relaxation modes. As a consequence of this separation, the associated spectral function exhibits a narrow structure in the small frequency region which controls the dynamics of transport in the theory and may be described as a transport peak typically found in perturbative, weakly interacting thermal field theories. We compare our results with generic expectations drawn from perturbation theory, where such a structure emerges as a consequence of the existence of quasiparticles.


title: Increase of mass and nonlocal effects in the homogenization of magneto-elastodynamics problems

abstract: The paper deals with the homogenization of a magneto-elastodynamics equation satisfied by the displacement $u\_\varepsilon$ of an elastic body which is subjected to an oscillating magnetic field $B\_\varepsilon$ generating the Lorentz force $\partial\_t u\_\varepsilon\times B\_\varepsilon$.When the magnetic field $B\_\varepsilon$ only depends on time or on space, the oscillations of $B\_\varepsilon$ induce an increase of mass in the homogenized equation. More generally, when the magnetic field is time-space dependent through a uniformly bounded component $G\_\varepsilon(t,x)$ of $B\_\varepsilon$, besides the increase of mass the homogenized equation involves the more intricate limit $g$ of $\partial\_t u\_\varepsilon\times G\_\varepsilon$ which turns out to be decomposed in two terms. The first term of $g$ can be regarded as a nonlocal Lorentz force the range of which is limited to a light cone at each point $(t,x)$. The cone angle is determined by the maximal velocity defined as the square root of the ratio between the elasticity tensor spectral radius and the body mass. Otherwise, the second term of $g$ is locally controlled in $L^2$-norm by the compactness default measure of the oscillating initial energy.


title: On the de Sitter swampland criterion

abstract: A new swampland criterion has recently been proposed. As a consequence, it forbids the existence of de Sitter solutions in a low energy effective theory of a quantum gravity. However, there exist classical de Sitter solutions of ten-dimensional (10d) type II supergravities, even though they are unstable. This appears at first sight in contradiction with the criterion. Beyond possible doubts on the validity of these solutions, we propose two answers to this apparent puzzle. A first possibility is that the known 10d solutions always exhibit an energy scale of order or higher than a Kaluza-Klein scale, as we argue. A corresponding 4d low energy effective theory would then differ from the usual consistent truncations, and as we explain, would not admit a de Sitter solution. This would reconcile the existence of these 10d de Sitter solutions with the 4d criterion. A second, alternative possibility is to have a refined swampland criterion, that we propose. It forbids to have both the existence and the stability of a de Sitter solution, while unstable solutions are still allowed.


title: Optimal Adaptivity for the SUPG Finite Element Method

abstract: For convection dominated problems, the streamline upwind Petrov--Galerkin method (SUPG), also named streamline diffusion finite element method (SDFEM), ensures a stable finite element solution. Based on robust a posteriori error estimators, we propose an adaptive mesh-refining algorithm for SUPG and prove that the generated SUPG solutions converge at asymptotically optimal rates towards the exact solution.


title: On the normality of Schubert varieties: remaining cases in positive characteristic

abstract: We study the geometry of equicharacteristic partial affine flag varieties associated to tamely ramified groups $G$ in characteristics $p>0$ dividing the order of the fundamental group $\pi_1(G_{\text{der}})$. We obtain that most Schubert varieties are not normal and provide an explicit criterion for when this happens. Apart from this, we show, on the one hand, that loop groups of semisimple groups satisfying $p \mid \lvert \pi_1(G_{\text{der}})\rvert$ are not reduced, and on the other hand, that their integral realizations are ind-flat. Our methods allow us to classify all tamely ramified Pappas-Zhu local models of Hodge type which are normal.


title: Structure and dynamics of crowdion defects in bcc metals

abstract: Crowdion defects are produced in body centred cubic metals under irradiation. Their structure and diffusive dynamics play a governing role in microstructural evolution, and hence the mechanical properties of nuclear materials. In this paper we apply the analytical Frenkel-Kontorova model to crowdions and clusters thereof (prismatic dislocation loops) and show that the Peierls potential in which these defects diffuse is remarkably small (in the micro eV range as compared to the eV range for other defects). We also develop a coarse-grained statistical methodology for simulating these fast-diffusing objects in the context of object kinetic Monte Carlo, which is less vulnerable to the low barrier problem than na\"ive stochastic simulation.


title: Moderate deviation and central limit theorem for SDDEs with plynomial growth

abstract: In this paper, employing the weak convergence method, based on a variational representation for expected values of positive functionals of a Brownian motion, we investigate moderate deviation %(CLT for abbreviation) for a class of stochastic differential delay equations with small noises, where the coefficients are allowed to be highly nonlinear growth with respect to the variables. Moreover, we obtain the central limit theorem for stochastic differential delay equations which the coefficients are polynomial growth with respect to the delay variables.


title: Substitution Property for the Ring of Continuous Rational Functions

abstract: We study the substitution property for the ring R 0 (V) of continuous rational functions on a real algebraic affine variety V. We show that R 0 (V) satisfies a substitution property along points; moreover, when V is non-singular, it satisfies also a substitution property along Puiseux arcs, which characterizes R 0 (V).


title: Topological Mixing Properties of Rank-One Subshifts

abstract: We study topological mixing properties and the maximal equicontinuous factor of rank-one subshifts as topological dynamical systems. We show that the maximal equicontinuous factor of a rank-one subshift is finite. We also determine all the finite factors of a rank-one shift with a condition involving the cutting and spacer parameters. For rank-one subshifts with bounded spacer parameter we completely characterize weak mixing and mixing. For rank-one subshifts with unbounded spacer parameter we prove some sufficient conditions for weak mixing and mixing. We also construct some examples showing that the characterizations for the bounded spacer parameter case do not generalize to the unbounded spacer parameter case.


title: Learning Implicit Generative Models with the Method of Learned Moments

abstract: We propose a method of moments (MoM) algorithm for training large-scale implicit generative models. Moment estimation in this setting encounters two problems: it is often difficult to define the millions of moments needed to learn the model parameters, and it is hard to determine which properties are useful when specifying moments. To address the first issue, we introduce a moment network, and define the moments as the network's hidden units and the gradient of the network's output with the respect to its parameters. To tackle the second problem, we use asymptotic theory to highlight desiderata for moments -- namely they should minimize the asymptotic variance of estimated model parameters -- and introduce an objective to learn better moments. The sequence of objectives created by this Method of Learned Moments (MoLM) can train high-quality neural image samplers. On CIFAR-10, we demonstrate that MoLM-trained generators achieve significantly higher Inception Scores and lower Frechet Inception Distances than those trained with gradient penalty-regularized and spectrally-normalized adversarial objectives. These generators also achieve nearly perfect Multi-Scale Structural Similarity Scores on CelebA, and can create high-quality samples of 128x128 images.


title: Reachability in timed automata with diagonal constraints

abstract: We consider the reachability problem for timed automata having diagonal constraints (like x - y < 5) as guards in transitions. The best algorithms for timed automata proceed by enumerating reachable sets of its configurations, stored in the form of a data structure called "zones". Simulation relations between zones are essential to ensure termination and efficiency. The algorithm employs a simulation test "is-Z-simulated-by-Z' ?" which ascertains that zone Z does not reach more states than zone Z', and hence further enumeration from Z is not necessary. No effective simulations are known for timed automata containing diagonal constraints as guards. In this paper, we propose a simulation relation LU-d for timed automata with diagonal constraints. On the negative side, we show that deciding Z-is-not-LU-d-simulated-by-Z' is NP-complete. On the positive side, we identify a witness for non-simulation and propose an algorithm to decide the existence of such a witness using an SMT solver. The shape of the witness reveals that the simulation test is likely to be efficient in practice.


title: Modeling Spatio-Temporal Human Track Structure for Action Localization

abstract: This paper addresses spatio-temporal localization of human actions in video. In order to localize actions in time, we propose a recurrent localization network (RecLNet) designed to model the temporal structure of actions on the level of person tracks. Our model is trained to simultaneously recognize and localize action classes in time and is based on two layer gated recurrent units (GRU) applied separately to two streams, i.e. appearance and optical flow streams. When used together with state-of-the-art person detection and tracking, our model is shown to improve substantially spatio-temporal action localization in videos. The gain is shown to be mainly due to improved temporal localization. We evaluate our method on two recent datasets for spatio-temporal action localization, UCF101-24 and DALY, demonstrating a significant improvement of the state of the art.


title: Decomposing Claw-free Subcubic Graphs and $4$-Chordal Subcubic Graphs

abstract: Hoffmann-Ostenhof's Conjecture states that the edge set of every connected cubic graph can be decomposed into a spanning tree, a matching and a $2$-regular subgraph. In this paper, we show that the conjecture holds for claw-free subcubic graphs and $4$-chordal subcubic graphs.


title: Anisotropic model with truncated linear dispersion for lattice and interfacial thermal transport in layered materials

abstract: Recently, an anisotropic Debye model [Dames et al., Physical Review B 87, 12 (2013)] was proposed for calculations of the interfacial thermal conductance and the minimum thermal conductivity of graphite-like layered materials. Despite successes of the model in explaining heat transport mechanisms in layered materials (e.g., phonon focusing in highly anisotropic materials), the anisotropic Debye model assumes a phonon dispersion with unrealistic speeds of sounds especially for the flexural (ZA) phonons and overestimated cutoffs for all phonon branches. The deficiencies lead to substantially underestimated phonon irradiation for low-frequency phonons. Here, we develop an anisotropic model with truncated linear dispersion that resembles the real phonon dispersion, using speeds of sounds derived from elastic constants and cutoff frequencies derived from Brillouin zone boundaries. We also employ a piecewise linear function for the ZA phonons. Our model correctly calculates the phonon irradiation over a wide temperature range, verifying the accuracy of our model.We compare calculations of our and the Dames models to measurements of thermal conductivity of graphite and thermal conductance of metal/graphite interfaces, and find that the two models differ significantly for heat transport across the basal planes in graphite even at high temperatures. Our work thus provides a convenient analytical tool to study the phonon transport properties in layered materials.


title: Robust pose tracking with a joint model of appearance and shape

abstract: We present a novel approach for estimating the 2D pose of an articulated object with an application to automated video analysis of small laboratory animals. We have found that deformable part models developed for humans, exemplified by the flexible mixture of parts (FMP) model, typically fail on challenging animal poses. We argue that beyond encoding appearance and spatial relations, shape is needed to overcome the lack of distinctive landmarks on laboratory animal bodies. In our approach, a shape consistent FMP (scFMP) model computes promising pose candidates after a standard FMP model is used to rapidly discard false part detections. This "cascaded" approach combines the relative strengths of spatial-relations, appearance and shape representations and is shown to yield significant improvements over the original FMP model as well as a representative deep neural network baseline.


title: Unscented Kalman Filters for Riemannian State-Space Systems

abstract: Unscented Kalman Filters (UKFs) have become popular in the research community. Most UKFs work only with Euclidean systems, but in many scenarios it is advantageous to consider systems with state-variables taking values on Riemannian manifolds. However, we can still find some gaps in the literature's theory of UKFs for Riemannian systems: for instance, the literature has not yet i) developed Riemannian extensions of some fundamental concepts of the UKF theory (e.g., extensions of $\sigma$-representation, Unscented Transformation, Additive UKF, Augmented UKF, additive-noise system), ii) proofs of some steps in their UKFs for Riemannian systems (e.g., proof of sigma points parameterization by vectors, state correction equations, noise statistics inclusion), and iii) relations between their UKFs for Riemannian systems. In this work, we attempt to develop a theory capable of filling these gaps. Among other results, we propose Riemannian extensions of the main concepts in the UKF theory (including closed forms), justify all steps of the proposed UKFs, and provide a framework able to relate UKFs for particular manifolds among themselves and with UKFs for Euclidean spaces. Compared with UKFs for Riemannian manifolds of the literature, the proposed filters are more consistent, formally-principled, and general. An example of satellite attitude tracking illustrates the proposed theory.