title: A Domain-Specific Language and Editor for Parallel Particle Methods

abstract: Domain-specific languages (DSLs) are of increasing importance in scientific high-performance computing to reduce development costs, raise the level of abstraction and, thus, ease scientific programming. However, designing and implementing DSLs is not an easy task, as it requires knowledge of the application domain and experience in language engineering and compilers. Consequently, many DSLs follow a weak approach using macros or text generators, which lack many of the features that make a DSL a comfortable for programmers. Some of these features---e.g., syntax highlighting, type inference, error reporting, and code completion---are easily provided by language workbenches, which combine language engineering techniques and tools in a common ecosystem. In this paper, we present the Parallel Particle-Mesh Environment (PPME), a DSL and development environment for numerical simulations based on particle methods and hybrid particle-mesh methods. PPME uses the meta programming system (MPS), a projectional language workbench. PPME is the successor of the Parallel Particle-Mesh Language (PPML), a Fortran-based DSL that used conventional implementation strategies. We analyze and compare both languages and demonstrate how the programmer's experience can be improved using static analyses and projectional editing. Furthermore, we present an explicit domain model for particle abstractions and the first formal type system for particle methods.


title: Transfer of View-manifold Learning to Similarity Perception of Novel Objects

abstract: We develop a model of perceptual similarity judgment based on re-training a deep convolution neural network (DCNN) that learns to associate different views of each 3D object to capture the notion of object persistence and continuity in our visual experience. The re-training process effectively performs distance metric learning under the object persistency constraints, to modify the view-manifold of object representations. It reduces the effective distance between the representations of different views of the same object without compromising the distance between those of the views of different objects, resulting in the untangling of the view-manifolds between individual objects within the same category and across categories. This untangling enables the model to discriminate and recognize objects within the same category, independent of viewpoints. We found that this ability is not limited to the trained objects, but transfers to novel objects in both trained and untrained categories, as well as to a variety of completely novel artificial synthetic objects. This transfer in learning suggests the modification of distance metrics in view- manifolds is more general and abstract, likely at the levels of parts, and independent of the specific objects or categories experienced during training. Interestingly, the resulting transformation of feature representation in the deep networks is found to significantly better match human perceptual similarity judgment than AlexNet, suggesting that object persistence could be an important constraint in the development of perceptual similarity judgment in biological neural networks.


title: Comment on "Spin-Orbit Coupling Induced Gap in Graphene on Pt(111) with Intercalated Pb Monolayer"

abstract: Recently a paper of Klimovskikh et al. was published presenting experimental and theoretical analysis of the graphene/Pb/Pt(111) system. The authors investigate the crystallographic and electronic structure of this graphene-based system by means of LEED, ARPES, and spin-resolved PES of the graphene $\pi$ states in the vicinity of the Dirac point of graphene. The authors of this paper demonstrate that an energy gap of approx. 200 meV is opened in the spectral function of graphene directly at the Dirac point of graphene and spin-splitting of 100 meV is detected for the upper part of the Dirac cone. On the basis of the spin-resolved photoelectron spectroscopy measurements of the region around the gap the authors claim that these splittings are of a spin-orbit nature and that the observed spin structure confirms the observation of the quantum spin Hall state in graphene, proposed in earlier theoretical works. Here we will show that careful systematic analysis of the experimental data presented in this manuscript is needed and their interpretation require more critical consideration for making such conclusions. Our analysis demonstrates that the proposed effects and interpretations are questionable and require further more careful experiments.


title: Hausdorff--Lebesgue dimension of attractors

abstract: In the present paper the classical ideas of Hausdorff and Lebesgue are combined and the Hausdorff--Lebesgue measure is introduced. This makes it possible to obtain new results in chaotic dynamics.


title: Efficient Registration of Pathological Images: A Joint PCA/Image-Reconstruction Approach

abstract: Registration involving one or more images containing pathologies is challenging, as standard image similarity measures and spatial transforms cannot account for common changes due to pathologies. Low-rank/Sparse (LRS) decomposition removes pathologies prior to registration; however, LRS is memory-demanding and slow, which limits its use on larger data sets. Additionally, LRS blurs normal tissue regions, which may degrade registration performance. This paper proposes an efficient alternative to LRS: (1) normal tissue appearance is captured by principal component analysis (PCA) and (2) blurring is avoided by an integrated model for pathology removal and image reconstruction. Results on synthetic and BRATS 2015 data demonstrate its utility.


title: Photometric and kinematic DiskFit models of four nearby spiral galaxies

abstract: We present optical $\textit{BVRI}$ photometry, H$\alpha$ IFU velocity fields, and H$\alpha$ long-slit rotation curves for a sample of four nearby spiral galaxies having a range of morphologies and inclinations. We show that the $\texttt{DiskFit}$ code can be used to model the photometric and kinematic data of these four galaxies and explore how well the photometric data can be decomposed into structures like bars and bulges and to look for non-circular motions in the kinematic data. In general, we find good agreement between our photometric and kinematic models for most parameters. We find the best consistency between our photometric and kinematic models for NGC 6674, a relatively face-on spiral with clear and distinct bulge and bar components. We also find excellent consistency for NGC 2841, and find a bar $\sim$10$^{\circ}$ south of the disc major axis in the inner 20''. Due to geometric effects caused by its high inclination, we find the kinematic model for NGC 2654 to be less accurate than its photometry. We find the bar in NGC 2654 to be roughly parallel to the major axis of the galaxy. We are unable to photometrically model our most highly inclined galaxy, NGC 5746, with $\texttt{DiskFit}$ and instead use the galaxy isophotes to determine that the system contains a bar $\sim$5$^{\circ}$ to $\sim$10$^{\circ}$ east of the disc major axis. The high inclination and extinction in this galaxy also prevent our kinematic model from accurately determining parameters about the bar, though the data are better modeled when a bar is included.


title: Gravitational wave content and stability of uniformly, rotating, triaxial neutron stars in general relativity

abstract: Targets for ground-based gravitational wave interferometers include continuous, quasiperiodic sources of gravitational radiation, such as isolated, spinning neutron stars. In this work we perform evolution simulations of uniformly rotating, triaxially deformed stars, the compressible analogues in general relativity of incompressible, Newtonian Jacobi ellipsoids. We investigate their stability and gravitational wave emission. We employ five models, both normal and supramassive, and track their evolution with different grid setups and resolutions, as well as with two different evolution codes. We find that all models are dynamically stable and produce a strain that is approximately one-tenth the average value of a merging binary system. We track their secular evolution and find that all our stars evolve towards axisymmetry, maintaining their uniform rotation, kinetic energy, and angular momentum profiles while losing their triaxiality.


title: A Surface Admittance Equivalence Principle for Non-Radiating and Cloaking Problems

abstract: In this paper, we address non-radiating and cloaking problems exploiting the surface equivalence principle, by imposing at any arbitrary boundary the control of the admittance discontinuity between the overall object (with or without cloak) and the background. After a rigorous demonstration, we apply this model to a non-radiating problem, appealing for anapole modes and metamolecules modeling, and to a cloaking problem, appealing for non-Foster metasurface design. A straightforward analytical condition is obtained for controlling the scattering of a dielectric object over a surface boundary of interest. Previous quasi-static results are confirmed and a general closed-form solution beyond the subwavelength regime is provided. In addition, this formulation can be extended to other wave phenomena once the proper admittance function is defined (thermal, acoustics, elastomechanics, etc.).


title: Robust Student's t based Stochastic Cubature Filter for Nonlinear Systems with Heavy-tailed Process and Measurement Noises

abstract: In this paper, a new robust Student's t based stochastic cubature filter (RSTSCF) is proposed for nonlinear state-space model with heavy-tailed process and measurement noises. The heart of the RSTSCF is a stochastic Student's t spherical radial cubature rule (SSTSRCR), which is derived based on the third-degree unbiased spherical rule and the proposed third-degree unbiased radial rule. The existing stochastic integration rule is a special case of the proposed SSTSRCR when the degrees of freedom parameter tends to infinity. The proposed filter is applied to a manoeuvring bearings-only tracking example, where an agile target is tracked and the bearing is observed in clutter. Simulation results show that the proposed RSTSCF can achieve higher estimation accuracy than the existing Gaussian approximate filter, Gaussian sum filter, Huber-based nonlinear Kalman filter, maximum correntropy criterion based Kalman filter, and robust Student's t based nonlinear filters, and is computationally much more efficient than the existing particle filter.


title: Phenomenological and Experimental Developments in Charm Physics: The WG7 Report from CKM 2016

abstract: We present an overview of recent developments in charm physics reported in the Working~Group~7 meetings of the CKM 2016 workshop. Progresses in experimental analysis and techniques were reported by LHCb, Belle, BABAR and BESIII along with projections for the future. Developments were also reported in the phenomenological extraction of both direct and indirect CP violation from data in two-, three- and four-body hadronic decays of the $D$ mesonic system.


title: Polychromatic Colorings on the Integers

abstract: We show that for any set $S\subseteq \mathbb{Z}$, $|S|=4$ there exists a 3-coloring of $\mathbb{Z}$ in which every translate of $S$ receives all three colors. This implies that $S$ has a codensity of at most $1/3$, proving a conjecture of Newman [D. J. Newman, Complements of finite sets of integers, Michigan Math. J. 14 (1967) 481--486]. We also consider related questions in $\mathbb{Z}^d$, $d\geq 2$.


title: Symmetries of the Hirota Difference Equation

abstract: Continuous symmetries of the Hirota difference equation, commuting with shifts of independent variables, are derived by means of the dressing procedure. Action of these symmetries on the dependent variables of the equation is presented. Commutativity of these symmetries enables interpretation of their parameters as "times" of the nonlinear integrable partial differential-difference and differential equations. Examples of equations resulting in such procedure and their Lax pairs are given. Besides these, ordinary, symmetries the additional ones are introduced and their action on the Scattering data is presented.


title: Gromov-Hausdorff-Prokhorov convergence of vertex cut-trees of n-leaf Galton-Watson trees

abstract: In this paper we study the vertex cut-trees of Galton-Watson trees conditioned to have $n$ leaves. This notion is a slight variation of Dieuleveut's vertex cut-tree of Galton-Watson trees conditioned to have $n$ vertices. Our main result is a joint Gromov-Hausdorff-Prokhorov convergence in the finite variance case of the Galton-Watson tree and its vertex cut-tree to Bertoin and Miermont's joint distribution of the Brownian CRT and its cut-tree. The methods also apply to the infinite variance case, but the problem to strengthen Dieuleveut's and Bertoin and Miermont's Gromov-Prokhorov convergence to Gromov-Hausdorff-Prokhorov remains open for their models conditioned to have $n$ vertices.


title: Comparison of ontology alignment systems across single matching task via the McNemar's test

abstract: Ontology alignment is widely-used to find the correspondences between different ontologies in diverse fields.After discovering the alignments,several performance scores are available to evaluate them.The scores typically require the identified alignment and a reference containing the underlying actual correspondences of the given ontologies.The current trend in the alignment evaluation is to put forward a new score(e.g., precision, weighted precision, etc.)and to compare various alignments by juxtaposing the obtained scores. However,it is substantially provocative to select one measure among others for comparison.On top of that, claiming if one system has a better performance than one another cannot be substantiated solely by comparing two scalars.In this paper,we propose the statistical procedures which enable us to theoretically favor one system over one another.The McNemar's test is the statistical means by which the comparison of two ontology alignment systems over one matching task is drawn.The test applies to a 2x2 contingency table which can be constructed in two different ways based on the alignments,each of which has their own merits/pitfalls.The ways of the contingency table construction and various apposite statistics from the McNemar's test are elaborated in minute detail.In the case of having more than two alignment systems for comparison, the family-wise error rate is expected to happen. Thus, the ways of preventing such an error are also discussed.A directed graph visualizes the outcome of the McNemar's test in the presence of multiple alignment systems.From this graph, it is readily understood if one system is better than one another or if their differences are imperceptible.The proposed statistical methodologies are applied to the systems participated in the OAEI 2016 anatomy track, and also compares several well-known similarity metrics for the same matching problem.


title: How a dissimilar-chain system is splitting. Quasi-static, subsonic and supersonic regimes

abstract: We consider parallel splitting of a strip composed of two different chains. As a waveguide, the dissimilar-chain structure radically differs from the well-studied identical-chain system. It is characterized by three speeds of the long waves, two for the separate chains, and one for the intact strip where the chains are connected. Accordingly, there exist three ranges, the subsonic for both chains, the intersonic and the supersonic. The speed in the latter range is supersonic for the intact strip and at the same time, it is subsonic for the separate higher-speed chain. This fact allows the splitting wave to propagate in the strip supersonically. We derive steady-state analytical solutions and find that the splitting can propagate steadily only in two of these speed ranges, the subsonic and the supersonic, whereas the intersonic regime is forbidden. In the case of considerable difference in the chain stiffness, the lowest dynamic threshold corresponds to the supersonic regime. The peculiarity of the supersonic mode is that the supersonic energy delivery channel, being initially absent, is opening with the moving splitting point. Based on the discrete and related continuous models we find which regime can be implemented depending on the structure parameters and loading conditions. The analysis allows us to represent the characteristics of such processes and to demonstrate strengths and weaknesses of different formulations, quasi-static, dynamic, discrete or continuous. Analytical solutions for steady-state regimes are obtained and analyzed in detail. We find the force-speed relations and show the difference between the static and dynamic thresholds. The parameters and energy of waves radiated by the propagating splitting are determined. We calculate the strain distribution ahead of the transition point and check whether the steady-state solutions are admissible.


title: Numerical calculation of the decay widths, the decay constants, and the decay energy spectra of the resonances of the delta-shell potential

abstract: We express the resonant energies of the delta-shell potential in terms of the Lambert $W$ function, and we calculate their decay widths and decay constants. The ensuing numerical results strengthen the interpretation of such decay widths and constants as a way to quantify the coupling between a resonance and the continuum. We calculate explicitly the decay energy spectrum of the resonances of the delta-shell potential, and we show numerically that the lineshape of such spectrum is not the same as, and can be very different from, the Breit-Wigner (Lorentzian) distribution. We argue that the standard Golden Rule cannot describe the interference of two resonances, and we show how to describe such interference by way of the decay energy spectrum of two resonant states.


title: Many edge-disjoint rainbow spanning trees in general graphs

abstract: A rainbow spanning tree in an edge-colored graph is a spanning tree in which each edge is a different color. Carraher, Hartke, and Horn showed that for $n$ and $C$ large enough, if $G$ is an edge-colored copy of $K_n$ in which each color class has size at most $n/2$, then $G$ has at least $\lfloor n/(C\log n)\rfloor$ edge-disjoint rainbow spanning trees. Here we strengthen this result by showing that if $G$ is any edge-colored graph with $n$ vertices in which each color appears on at most $\delta\cdot\lambda_1/2$ edges, where $\delta\geq C\log n$ for $n$ and $C$ sufficiently large and $\lambda_1$ is the second-smallest eigenvalue of the normalized Laplacian matrix of $G$, then $G$ contains at least $\left\lfloor\frac{\delta\cdot\lambda_1}{C\log n}\right\rfloor$ edge-disjoint rainbow spanning trees.


title: Projectors separating spectra for $L^2$ on symmetric spaces $GL(n,\C)/GL(n,\R)$

abstract: The Plancherel decomposition of $L^2$ on a pseudo-Riemannian symmetric space $GL(n,C)/GL(n,R)$ has spectrum of $[n/2]$ types. We write explicitly orthogonal projectors separating spectrum into uniform pieces


title: Tau energy loss and ultrahigh energy skimming tau neutrinos

abstract: We consider propagation of high energy earth-skimming taus produced in interactions of astrophysical tau neutrinos. For astrophysical tau neutrinos we take generic power-law flux, $E^{-2}$ and the cosmogenic flux initiated by the protons. We calculate tau energy loss in several approaches, such as dipole models and the phenomenological approach in which parameterization of the $F_2$ is used. We evaluate the tau neutrino charged-current cross section using the same approaches for consistency. We find that uncertainty in the neutrino cross section and in the tau energy loss partially compensate giving very small theoretical uncertainty in the emerging tau flux for distances ranging from $2$ km to $100$ km and for the energy range between $10^6$ GeV and $10^{11}$ GeV, focusing on energies above $10^8$ GeV. When we consider uncertainties in the neutrino cross section, inelasticity in neutrino interactions and the tau energy loss, which are not correlated, i.e. they are not all calculated in the same approach, theoretical uncertainty ranges from about $30\%$ and $60 \%$ at $10^8$ GeV to about factors of 3.3 and 3.8 at $10^{11}$ GeV for the $E^{-2}$ flux and the cosmogenic flux, respectively, for the distance of 10 km rock. The spread in predictions significantly increases for much larger distances, e.g., $\sim 1,000$ km. Most of the uncertainty comes from the treatment of photonuclear interactions of the tau in transit through large distances. We also consider Monte Carlo calculation of the tau propagation and we find that the result for the emerging tau flux is in agreement with the result obtained using analytic approach. Our results are relevant to several experiments that are looking for skimming astrophysical taus, such as the Pierre Auger Observatory, HAWC and Ashra. We evaluate the aperture for the Auger and discuss briefly application to the the other two experiments.


title: Reading Wikipedia to Answer Open-Domain Questions

abstract: This paper proposes to tackle open- domain question answering using Wikipedia as the unique knowledge source: the answer to any factoid question is a text span in a Wikipedia article. This task of machine reading at scale combines the challenges of document retrieval (finding the relevant articles) with that of machine comprehension of text (identifying the answer spans from those articles). Our approach combines a search component based on bigram hashing and TF-IDF matching with a multi-layer recurrent neural network model trained to detect answers in Wikipedia paragraphs. Our experiments on multiple existing QA datasets indicate that (1) both modules are highly competitive with respect to existing counterparts and (2) multitask learning using distant supervision on their combination is an effective complete system on this challenging task.


title: One-Shot Neural Cross-Lingual Transfer for Paradigm Completion

abstract: We present a novel cross-lingual transfer method for paradigm completion, the task of mapping a lemma to its inflected forms, using a neural encoder-decoder model, the state of the art for the monolingual task. We use labeled data from a high-resource language to increase performance on a low-resource language. In experiments on 21 language pairs from four different language families, we obtain up to 58% higher accuracy than without transfer and show that even zero-shot and one-shot learning are possible. We further find that the degree of language relatedness strongly influences the ability to transfer morphological knowledge.


title: CFT descriptions of bulk local states in the AdS black holes

abstract: We present a new method for reconstructing CFT duals of states excited by the bulk local operators in the three dimensional AdS black holes in the AdS/CFT context. As an important procedure for this, we introduce a map between the bulk points in AdS and those on the boundary where CFT lives. This gives a systematic and universal way to express bulk local states even inside black hole interiors. Our construction allows us to probe the interior structures of black holes purely from the CFT calculations. We analyze bulk local states in the single-sided black holes as well as the double-sided black holes.


title: Light Clusters and Pasta Phases in Warm and Dense Nuclear Matter

abstract: The pasta phases are calculated for warm stellar matter in a framework of relativistic mean-field models, including the possibility of light cluster formation. Results from three different semiclassical approaches are compared with a quantum statistical calculation. Light clusters are considered as point-like particles, and their abundances are determined from the minimization of the free energy. The couplings of the light-clusters to mesons are determined from experimental chemical equilibrium constants and many-body quantum statistical calculations. The effect of these light clusters on the chemical potentials is also discussed. It is shown that including heavy clusters, light clusters are present until larger nucleonic densities, although with smaller mass fractions.


title: An equivalence principle between polynomial and simultaneous Diophantine approximation

abstract: We show that Mahler's classification of real numbers $\zeta$ with respect to the growth of the sequence $(w_{n}(\zeta))_{n\geq 1}$ is equivalently induced by certain natural assumptions on the decay of the sequence $(\lambda_{n}(\zeta))_{n\geq 1}$ concerning simultaneous rational approximation. Thereby we obtain a much clearer picture on simultaneous approximation to successive powers of a real number in general. Another variant of the Mahler classification concerning uniform approximation by algebraic numbers is shown as well. Our method has several applications to classic exponents of Diophantine approximation and metric theory. We deduce estimates on the Hausdorff dimension of well-approximable vectors on the Veronese curve and refine the best known upper bound for the exponent $\widehat{\lambda}_{n}(\zeta)$ for even $n\geq 4$.


title: Thermo-mechanical finite element analysis of the AA5086 alloy under warm forming conditions

abstract: Warm forming processes have been successfully applied at laboratory level to overcome some important drawbacks of the Al-Mg alloys, such as poor formability and large springback. However, the numerical simulation of these processes requires the adoption of coupled thermo-mechanical finite element analysis, using temperature-dependent material models. The numerical description of the thermo-mechanical behaviour can require a large set of experimental tests. These experimental tests should be performed under conditions identical to the ones observed in the forming process. In this study, the warm deep drawing of a cylindrical cup is analysed, including the split-ring test to assess the temperature effect on the springback. Based on the analysis of the forming process conditions, the thermo-mechanical behaviour of the AA5086 aluminium alloy is described by a rate-independent thermo-elasto-plastic material model. The hardening law adopted is temperature-dependent while the yield function is temperature-independent. Nevertheless, the yield criterion parameters are selected based on the temperature of the heated tools. In fact, the model assumes that the temperature of the tools is uniform and constant, adopting a variable interfacial heat transfer coefficient. The accuracy of the proposed finite element model is assessed by comparing numerical and experimental results. The predicted punch force, thickness distribution and earing profile are in very good agreement with the experimental measurements, when the anisotropic behaviour of the blank is accurately described. However, this does not guarantee a correct springback prediction, which is strongly influenced by the elastic properties, namely the Young's modulus.


title: Frames: A Corpus for Adding Memory to Goal-Oriented Dialogue Systems

abstract: This paper presents the Frames dataset (Frames is available at http://datasets.maluuba.com/Frames), a corpus of 1369 human-human dialogues with an average of 15 turns per dialogue. We developed this dataset to study the role of memory in goal-oriented dialogue systems. Based on Frames, we introduce a task called frame tracking, which extends state tracking to a setting where several states are tracked simultaneously. We propose a baseline model for this task. We show that Frames can also be used to study memory in dialogue management and information presentation through natural language generation.


title: Wireless Full-duplex Medium Access Control for Enhancing Energy Efficiency

abstract: Recent years have witnessed a proliferation of battery-powered mobile devices, e.g., smartphones, tablets, sensors, and laptops, which leads a significant demand for high capacity wireless communication with high energy efficiency. Among technologies to provide the efficiency is full-duplex wireless communication. Full-duplex wireless enhances capacity by simultaneously transmitting uplink and downlink data with limited frequency resources. Previous studies on full-duplex wireless mostly focuses on doubling the network capacity, whereas in this paper we discuss that full-duplex wireless can also provide higher energy efficiency. We propose low power communication by wireless full-duplexing (LPFD), focusing on the fact that the full-duplex communication duration becomes half of the halfduplex communication duration. In the LPFD, by using the sleep state in which the transceiver provided in the wireless communication terminal is turned off, power consumption of the wireless communication terminal is reduced and energy efficiency in wireless full duplex is improved. Simulation results show that the energy efficiency achieved by LPFD is up to approximately 17.3 times higher than the energy efficiency achieved by existing full-duplex medium access protocol. Further, it is up to approximately 27.5 times higher than the energy efficiency using power saving mode of half-duplex communication.


title: Studies of double parton scattering in ATLAS

abstract: In this contribution, Double Parton Scattering processes observed with the ATLAS detector at LHC are discussed. Results of five analyses are presented: production of W boson in association with 2 jets, production of J/psi meson in association with W boson, J/psi production with Z boson, J/psi pair production and four jet events.


title: Exploiting gradients and Hessians in Bayesian optimization and Bayesian quadrature

abstract: An exciting branch of machine learning research focuses on methods for learning, optimizing, and integrating unknown functions that are difficult or costly to evaluate. A popular Bayesian approach to this problem uses a Gaussian process (GP) to construct a posterior distribution over the function of interest given a set of observed measurements, and selects new points to evaluate using the statistics of this posterior. Here we extend these methods to exploit derivative information from the unknown function. We describe methods for Bayesian optimization (BO) and Bayesian quadrature (BQ) in settings where first and second derivatives may be evaluated along with the function itself. We perform sampling-based inference in order to incorporate uncertainty over hyperparameters, and show that both hyperparameter and function uncertainty decrease much more rapidly when using derivative information. Moreover, we introduce techniques for overcoming ill-conditioning issues that have plagued earlier methods for gradient-enhanced Gaussian processes and kriging. We illustrate the efficacy of these methods using applications to real and simulated Bayesian optimization and quadrature problems, and show that exploting derivatives can provide substantial gains over standard methods.


title: The Nonlinear Schrodinger equation with a potential in dimension 1

abstract: We consider the cubic nonlinear Schrodinger equation with a potential in one space dimension. Under the assumptions that the potential is generic, sufficiently localized, and does not have bound states, we obtain the long time asymptotic behavior of small solutions. In particular, we prove that, as time goes to infinity, solutions exhibit nonlinear phase corrections that depend on the scattering matrix associated to the potential. The proof of our result is based on the use of the distorted Fourier transform - the so-called Weyl-Kodaira-Titchmarsh theory -, a precise understanding of the "nonlinear spectral measure" associated to the equation, and nonlinear stationary phase arguments as well as multilinear estimates in this distorted setting.


title: Special Values of Zeta Functions of Schemes

abstract: Let X be a regular scheme, projective and flat over Spec \mathbb Z. We give a conjectural formula, up to sign and powers of 2, for \zeta^*(X,r), the leading term in the series expansion of \zeta(X,s) at s=r, in terms of Weil-etale motivic cohomology, singular cohomology, and derived de Rham cohomology. This formula builds on work of Fontaine and Perrin-Riou replacing \mathbb Q_structuers by \mathbb Z-structures. We show that our conjectured formula is compatible with Serre's functional equation for the zeta function of X.


title: TopologyNet: Topology based deep convolutional neural networks for biomolecular property predictions

abstract: Although deep learning approaches have had tremendous success in image, video and audio processing, computer vision, and speech recognition, their applications to three-dimensional (3D) biomolecular structural data sets have been hindered by the entangled geometric complexity and biological complexity. We introduce topology, i.e., element specific persistent homology (ESPH), to untangle geometric complexity and biological complexity. ESPH represents 3D complex geometry by one-dimensional (1D) topological invariants and retains crucial biological information via a multichannel image representation. It is able to reveal hidden structure-function relationships in biomolecules. We further integrate ESPH and convolutional neural networks to construct a multichannel topological neural network (TopologyNet) for the predictions of protein-ligand binding affinities and protein stability changes upon mutation. To overcome the limitations to deep learning arising from small and noisy training sets, we present a multitask topological convolutional neural network (MT-TCNN). We demonstrate that the present TopologyNet architectures outperform other state-of-the-art methods in the predictions of protein-ligand binding affinities, globular protein mutation impacts, and membrane protein mutation impacts.


title: Approximation of fractals by discrete graphs: norm resolvent and spectral convergence

abstract: We show a norm convergence result for the Laplacian on a class of post-critically finite fractals with arbitrary Borel regular probability measure which can be approximated by a sequence of finite-dimensional graph Laplacians with corresponding discrete probability measures. As a consequence other functions of the Laplacians (heat operator, spectral projections etc.) converge as well in operator norm. One also deduces convergence of the spectrum and the eigenfunctions in energy norm.


title: Ultrafast charge transfer processes accompanying KLL Auger decay in aqueous KCl solution

abstract: X-ray photoelectron spectroscopy (XPS) and KLL Auger spectra of aqueous KCl solution were measured for the K$^+$ and Cl$^-$ edges. While the XPS spectra of potassium and chloride have similar structures, both exhibiting only weak satellite structures near the main line, the Auger spectra of these isoelectronic ions differ dramatically. A very strong satellite peak was found in the K$^+$ KLL Auger spectrum at the low kinetic energy side of the $^1$D state. Using equivalent core models and ab initio calculations this spectral structure was assigned to electron transfer processes from solvent water molecules to the solvated K$^+$ cation. Contrary to the potassium case, no extra peak was found in the KLL Auger spectrum of solvated Cl$^-$ indicating on a strong dependence of the underlying processes on ionic charge. The observed charge transfer processes are suggested to play an important role in charge redistribution following single and multiple core-hole creation in atomic and molecular systems placed into an environment.


title: The Hilbert Space of Quantum Gravity Is Locally Finite-Dimensional

abstract: We argue in a model-independent way that the Hilbert space of quantum gravity is locally finite-dimensional. In other words, the density operator describing the state corresponding to a small region of space, when such a notion makes sense, is defined on a finite-dimensional factor of a larger Hilbert space. Because quantum gravity potentially describes superpo- sitions of different geometries, it is crucial that we associate Hilbert-space factors with spatial regions only on individual decohered branches of the universal wave function. We discuss some implications of this claim, including the fact that quantum field theory cannot be a fundamental description of Nature.


title: Minimum Weight Flat Antichains of Subsets

abstract: Building on classical theorems of Sperner and Kruskal-Katona, we investigate antichains $\mathcal F$ in the Boolean lattice $B_n$ of all subsets of $[n]:=\{1,2,\dots,n\}$, where $\mathcal F$ is flat, meaning that it contains sets of at most two consecutive sizes, say $\mathcal F=\mathcal{A}\cup\mathcal{B}$, where $\mathcal{A}$ contains only $k$-subsets, while $\mathcal{B}$ contains only $(k-1)$-subsets. Moreover, we assume $\mathcal{A}$ consists of the first $m$ $k$-subsets in squashed (colexicographic) order, while $\mathcal{B}$ consists of all $(k-1)$-subsets not contained in the subsets in $\mathcal{A}$. Given reals $\alpha,\beta>0$, we say the weight of $\mathcal F$ is $\alpha\cdot|\mathcal{A}|+\beta\cdot|\mathcal{B}|$. We characterize the minimum weight antichains $\mathcal F$ for any given $n,k,\alpha,\beta$, and we do the same when in addition $\mathcal F$ is a maximal antichain. We can then derive asymptotic results on both the minimum size and the minimum Lubell function.


title: The star formation law in Galactic high-mass star-forming molecular clouds

abstract: We study the star formation (SF) law in 12 Galactic molecular clouds with ongoing high-mass star formation (HMSF) activity, as traced by the presence of a bright IRAS source and other HMSF tracers. We define the molecular cloud (MC) associated to each IRAS source using 13CO line emission, and count the young stellar objects (YSOs) within these clouds using GLIMPSE and MIPSGAL 24 micron Spitzer databases.The masses for high luminosity YSOs (Lbol>10~Lsun) are determined individually using Pre Main Sequence evolutionary tracks and the evolutionary stages of the sources, whereas a mean mass of 0.5 Msun was adopted to determine the masses in the low luminosity YSO population. The star formation rate surface density (sigsfr) corresponding to a gas surface density (siggas) in each MC is obtained by counting the number of the YSOs within successive contours of 13CO line emission. We find a break in the relation between sigsfr and siggas, with the relation being power-law (sigsfr ~ siggas^N) with the index N varying between 1.4 and 3.6 above the break. The siggas at the break is between 150-360 Msun/pc^2 for the sample clouds, which compares well with the threshold gas density found in recent studies of Galactic star-forming regions. Our clouds treated as a whole lie between the Kennicutt (1998) relation and the linear relation for Galactic and extra-galactic dense star-forming regions. We find a tendency for the high-mass YSOs to be found preferentially in dense regions at densities higher than 1200 Msun/pc^2 (~0.25 g/cm^2).


title: 100 years of the Cosmological Constant: what's next?

abstract: The Cosmological Constant $\Lambda$, in different incarnations, has been with us for 100 years. Many surveys of dark energy are underway, indicating so far that the data are consistent with a dark energy equation of state of $w=-1$, i.e. a $\Lambda$ term in Einstein's equation, although time variation of $w$ is not yet ruled out. The ball is now back in the theoreticians' court, to explain the physical meaning of $\Lambda$. We discuss sociological aspects of this field, in particular to what extent the agreement on the cold dark matter + $\Lambda$ concordance model is a result of the globalization of research and over-communication.


title: An explanation of the missing flux from Boyajian's mysterious star

abstract: A previously unremarked star in the constellation Cygnus has,in the past year,become known as the most mysterious star in our Galaxy.Boyajian's star exhibits puzzling episodes of sporadic deep dimming discovered in photometry with the Kepler Mission. Proposed explanations have focused on its obscuration by colliding exoplanets, exocomets, and even intervention of alien intelligence. These hypotheses have considered only phenomena external to the star because the radiative flux missing in the dimmings was believed to exceed the star's storage capacity.We point out that modeling variations in solar luminosity indicates that convective stars can store the required fluxes. It also suggests explanations for a reported time profile asymmetry of the short,deep dimmings and for a slower,decadal scale dimming reported from archival and Kepler photometry. Our findings favor a broader range of explanations of Boyajian's star, that may produce new insights into stellar magnetoconvection.


title: Global existence for the derivative NLS equation in the presence of solitons

abstract: We prove the existence of global solutions to the DNLS equation with initial data in a large subset of $H^2(\mathbb R)\cap H^{1,1}(\mathbb R)$ containing a neighborhood of all solitons. We use the inverse scattering transform method, which was recently developed by D. Pelinovsky and Y. Shimabukuro, and an auto-B\"acklund transform in order to include solitons.


title: Peeking into the Origins of IceCube Neutrinos: I. Buried Transient TeV Miniburst Rates

abstract: Any interpretation of the astrophysical neutrinos discovered by IceCube must accommodate a variety of multimessenger constraints. We address implications of these neutrinos being produced in transient sources, principally if buried within supernovae so that gamma rays are absorbed by the star. This would alleviate tension with the isotropic Fermi GeV background that >10 TeV neutrinos rival in detected energy flux. We find that IceCube data constrain transient properties, implying buried GeV-TeV electromagnetic emission near or exceeding canonical SN explosion energies of ~10^51 erg, indicative of an origin within superluminous SNe. TeV neutrino bursts with dozens of IceCube events -- which would be of great use for understanding r-process nucleosynthesis and more -- may be just around the corner if they are a primary component of the flux.

categories: astro-ph.HE astro-ph.CO astro-ph.GA hep-ph nucl-th


title: BlockChain: A distributed solution to automotive security and privacy

abstract: Interconnected smart vehicles offer a range of sophisticated services that benefit the vehicle owners, transport authorities, car manufacturers and other service providers. This potentially exposes smart vehicles to a range of security and privacy threats such as location tracking or remote hijacking of the vehicle. In this article, we argue that BlockChain (BC), a disruptive technology that has found many applications from cryptocurrencies to smart contracts, is a potential solution to these challenges. We propose a BC-based architecture to protect the privacy of the users and to increase the security of the vehicular ecosystem. Wireless remote software updates and other emerging services such as dynamic vehicle insurance fees, are used to illustrate the efficacy of the proposed security architecture. We also qualitatively argue the resilience of the architecture against common security attacks.


title: What Is the Best Way For Developers to Learn New Software Tools? An Empirical Comparison Between a Text and a Video Tutorial

abstract: The better developers can learn software tools, the faster they can start using them and the more efficiently they can later work with them. Tutorials are supposed to help here. While in the early days of computing, mostly text tutorials were available, nowadays software developers can choose among a huge number of tutorials for almost any popular software tool. However, only little research was conducted to understand how text tutorials differ from other tutorials, which tutorial types are preferred and, especially, which tutorial types yield the best learning experience in terms of efficiency and effectiveness, especially for programmers. To evaluate these questions, we converted an existing video tutorial for a novel software tool into a content-equivalent text tutorial. We then conducted an experiment in three groups where 42 undergraduate students from a software engineering course were commissioned to operate the software tool after using a tutorial: the first group was provided only with the video tutorial, the second group only with the text tutorial and the third group with both. In this context, the differences in terms of efficiency were almost negligible: We could observe that participants using only the text tutorial completed the tutorial faster than the participants with the video tutorial. However, the participants using only the video tutorial applied the learned content faster, achieving roughly the same bottom line performance. We also found that if both tutorial types are offered, participants prefer video tutorials for learning new content but text tutorials for looking up "missed" information. We mainly gathered our data through questionnaires and screen recordings and analyzed it with suitable statistical hypotheses tests. The data is available at [12]. Since producing tutorials requires effort, knowing with which type of tutorial learnability can be increased to which extent has an immense practical relevance. We conclude that in contexts similar to ours, while it would be ideal if software tool makers would offer both tutorial types, it seems more efficient to produce only text tutorials instead of a passive video tutorial - provided you manage to motivate your learners to use them.


title: Elemental chalcogens as a minimal model for chiral charge and orbital order

abstract: Helices of increased electron density can spontaneously form in materials containing multiple, interacting density waves. Although a macroscopic order parameter theory describing this behaviour has been proposed and experimentally tested, a detailed microscopic understanding of spiral electronic order in any particular material is still lacking. Here, we present the elemental chalcogens Selenium and Tellurium as model materials for the development of chiral charge and orbital order. We formulate minimal models capturing the formation of spiral structures both in terms of a macroscopic Landau theory and a microscopic Hamiltonian. Both reproduce the known chiral crystal structure and are consistent with its observed thermal evolution and behaviour under applied pressure. The combination of microscopic and macroscopic frameworks allows us to distil the essential ingredients in the emergence of helical charge order, and may serve as a guide to understanding spontaneous chirality both in other specific materials and throughout materials classes.


title: A multivariate variable selection approach for analyzing LC-MS metabolomics data

abstract: Omic data are characterized by the presence of strong dependence structures that result either from data acquisition or from some underlying biological processes. In metabolomics, for instance, data resulting from Liquid Chromatography-Mass Spectrometry (LC-MS) -- a technique which gives access to a large coverage of metabolites -- exhibit such patterns. These data sets are typically used to find the metabolites characterizing a phenotype of interest associated with the samples. However, applying some statistical procedures that do not adjust the variable selection step to the dependence pattern may result in a loss of power and the selection of spurious variables. The goal of this paper is to propose a variable selection procedure in the multivariate linear model that accounts for the dependence structure of the multiple outputs which may lead in the LC-MS framework to the selection of more relevant metabolites. We propose a novel Lasso-based approach in the multivariate framework of the general linear model taking into account the dependence structure by using various modelings of the covariance matrix of the residuals. Our numerical experiments show that including the estimation of the covariance matrix of the residuals in the Lasso criterion dramatically improves the variable selection performance. Our approach is also successfully applied to a LC-MS data set made of African copals samples for which it is able to provide a small list of metabolites without altering the phenotype discrimination. Our methodology is implemented in the R package MultiVarSel which is available from the CRAN (Comprehensive R Archive Network).


title: Geodesic Distance Histogram Feature for Video Segmentation

abstract: This paper proposes a geodesic-distance-based feature that encodes global information for improved video segmentation algorithms. The feature is a joint histogram of intensity and geodesic distances, where the geodesic distances are computed as the shortest paths between superpixels via their boundaries. We also incorporate adaptive voting weights and spatial pyramid configurations to include spatial information into the geodesic histogram feature and show that this further improves results. The feature is generic and can be used as part of various algorithms. In experiments, we test the geodesic histogram feature by incorporating it into two existing video segmentation frameworks. This leads to significantly better performance in 3D video segmentation benchmarks on two datasets.


title: Reconsidering the horizon problem

abstract: It is argued that the spatial homogeneity of the early universe need not be explained as having evolved from a previous inhomogeneous state. Rather, a homogeneous cosmic initial condition follows from the Second Law of Thermodynamics applied to gravitating systems.


title: Algorithms for Routing of Unmanned Aerial Vehicles with Mobile Recharging Stations

abstract: We study the problem of planning a tour for an energy-limited Unmanned Aerial Vehicle (UAV) to visit a set of sites in the least amount of time. We envision scenarios where the UAV can be recharged along the way either by landing on stationary recharging stations or on Unmanned Ground Vehicles (UGVs) acting as mobile recharging stations. This leads to a new variant of the Traveling Salesperson Problem (TSP) with mobile recharging stations. We present an algorithm that finds not only the order in which to visit the sites but also when and where to land on the charging stations to recharge. Our algorithm plans tours for the UGVs as well as determines best locations to place stationary charging stations. While the problems we study are NP-Hard, we present a practical solution using Generalized TSP that finds the optimal solution. If the UGVs are slower, the algorithm also finds the minimum number of UGVs required to support the UAV mission such that the UAV is not required to wait for the UGV. Our simulation results show that the running time is acceptable for reasonably sized instances in practice.


title: Discovering Phases, Phase Transitions and Crossovers through Unsupervised Machine Learning: A critical examination

abstract: We apply unsupervised machine learning techniques, mainly principal component analysis (PCA), to compare and contrast the phase behavior and phase transitions in several classical spin models - the square and triangular-lattice Ising models, the Blume-Capel model, a highly degenerate biquadratic-exchange spin-one Ising (BSI) model, and the 2D XY model, and examine critically what machine learning is teaching us. We find that quantified principal components from PCA not only allow exploration of different phases and symmetry-breaking, but can distinguish phase transition types and locate critical points. We show that the corresponding weight vectors have a clear physical interpretation, which is particularly interesting in the frustrated models such as the triangular antiferromagnet, where they can point to incipient orders. Unlike the other well-studied models, the properties of the BSI model are less well known. Using both PCA and conventional Monte Carlo analysis, we demonstrate that the BSI model shows an absence of phase transition and macroscopic ground-state degeneracy. The failure to capture the `charge' correlations (vorticity) in the BSI model (XY model) from raw spin configurations points to some of the limitations of PCA. Finally, we employ a nonlinear unsupervised machine learning procedure, the `antoencoder method', and demonstrate that it too can be trained to capture phase transitions and critical points.


title: Torsion of locally convex curves

abstract: We show that the torsion of any simple closed curve $\Gamma$ in Euclidean 3-space changes sign at least $4$ times provided that it is star-shaped and locally convex with respect to a point $o$ in the interior of its convex hull. The latter condition means that through each point $p$ of $\Gamma$ there passes a plane $H$, not containing $o$, such that a neighborhood of $p$ in $\Gamma$ lies on the same side of $H$ as does $o$. This generalizes the four vertex theorem of Sedykh for convex space curves. Following Thorbergsson and Umehara, we reduce the proof to the result of Segre on inflections of spherical curves, which is also known as Arnold's tennis ball theorem.


title: Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms

abstract: This paper describes the application of a high-level language and method in developing simpler specifications of more complex variants of the Paxos algorithm for distributed consensus. The specifications are for Multi-Paxos with preemption, replicated state machine, and reconfiguration and optimized with state reduction and failure detection. The language is DistAlgo. The key is to express complex control flows and synchronization conditions precisely at a high level, using nondeterministic waits and message-history queries. We obtain complete executable specifications that are almost completely declarative---updating only a number for the protocol round besides the sets of messages sent and received. We show the following results: 1.English and pseudocode descriptions of distributed algorithms can be captured completely and precisely at a high level, without adding, removing, or reformulating algorithm details to fit lower-level, more abstract, or less direct languages. 2.We created higher-level control flows and synchronization conditions than all previous specifications, and obtained specifications that are much simpler and smaller, even matching or smaller than abstract specifications that omit many algorithm details. 3.The simpler specifications led us to easily discover useless replies, unnecessary delays, and liveness violations (if messages can be lost) in previous published specifications, by just following the simplified algorithm flows. 4.The resulting specifications can be executed directly, and we can express optimizations cleanly, yielding drastic performance improvement over naive execution and facilitating a general method for merging processes. 5.We systematically translated the resulting specifications into TLA+ and developed machine-checked safety proofs, which also allowed us to detect and fix a subtle safety violation in an earlier unpublished specification.


title: Efficient Asymmetric Co-Tracking using Uncertainty Sampling

abstract: Adaptive tracking-by-detection approaches are popular for tracking arbitrary objects. They treat the tracking problem as a classification task and use online learning techniques to update the object model. However, these approaches are heavily invested in the efficiency and effectiveness of their detectors. Evaluating a massive number of samples for each frame (e.g., obtained by a sliding window) forces the detector to trade the accuracy in favor of speed. Furthermore, misclassification of borderline samples in the detector introduce accumulating errors in tracking. In this study, we propose a co-tracking based on the efficient cooperation of two detectors: a rapid adaptive exemplar-based detector and another more sophisticated but slower detector with a long-term memory. The sampling labeling and co-learning of the detectors are conducted by an uncertainty sampling unit, which improves the speed and accuracy of the system. We also introduce a budgeting mechanism which prevents the unbounded growth in the number of examples in the first detector to maintain its rapid response. Experiments demonstrate the efficiency and effectiveness of the proposed tracker against its baselines and its superior performance against state-of-the-art trackers on various benchmark videos.


title: Universal Scaling of Acoustic and Thermoacoustic Waves in Compressible Fluids

abstract: We have derived the set of reference scaling parameters yielding collapse of isentropic acoustic and thermoacoustic (or heat-release-induced) waves across different pure compressible fluids with an assigned equation of state. The resulting reference pressure and velocity are consistent with classic acoustic scaling. The reference temperature and heat release rate need to be expressed in terms of the isobaric thermal expansion coefficient $\alpha^*_{p_0}$ to ensure collapse of all thermo-fluid-dynamic fluctuations across all fluids. The proposed scaling is extended to non-isentropic waves and verified against data from highly-resolved one-dimensional Navier-Stokes simulations. Conditions tested include freely propagating isentropic acoustic waves and thermoacoustic compression waves up to shock strength of 4.27, for six different supercritical fluids in states ranging from compressible liquid to near-ideal gas, and spanning seven orders of magnitude of imposed heat release rate.


title: View Selection with Geometric Uncertainty Modeling

abstract: Estimating positions of world points from features observed in images is a key problem in 3D reconstruction, image mosaicking,simultaneous localization and mapping and structure from motion. We consider a special instance in which there is a dominant ground plane $\mathcal{G}$ viewed from a parallel viewing plane $\mathcal{S}$ above it. Such instances commonly arise, for example, in aerial photography. Consider a world point $g \in \mathcal{G}$ and its worst case reconstruction uncertainty $\varepsilon(g,\mathcal{S})$ obtained by merging \emph{all} possible views of $g$ chosen from $\mathcal{S}$. We first show that one can pick two views $s_p$ and $s_q$ such that the uncertainty $\varepsilon(g,\{s_p,s_q\})$ obtained using only these two views is almost as good as (i.e. within a small constant factor of) $\varepsilon(g,\mathcal{S})$. Next, we extend the result to the entire ground plane $\mathcal{G}$ and show that one can pick a small subset of $\mathcal{S'} \subseteq \mathcal{S}$ (which grows only linearly with the area of $\mathcal{G}$) and still obtain a constant factor approximation, for every point $g \in \mathcal{G}$, to the minimum worst case estimate obtained by merging all views in $\mathcal{S}$. Finally, we present a multi-resolution view selection method which extends our techniques to non-planar scenes. We show that the method can produce rich and accurate dense reconstructions with a small number of views. Our results provide a view selection mechanism with provable performance guarantees which can drastically increase the speed of scene reconstruction algorithms. In addition to theoretical results, we demonstrate their effectiveness in an application where aerial imagery is used for monitoring farms and orchards.


title: Nova Scorpius 1437 A.D. is now a dwarf nova, age-dated by its proper motion

abstract: Here we report the recovery of the binary underlying the classical nova of 11 March 1437 A.D. whose age is independently confirmed by proper motion-dating, and show that in the 20th century it exhibits dwarf nova eruptions. The four oldest recovered classical novae are now all dwarf novae. Taken together they strongly suggest that mass transfer rates decrease by an order of magnitude or more in the centuries after a classical nova event, greatly slowing the evolution, and lengthening the lifetimes of these explosive binary stars.


title: Maximum palinstrophy amplification in the two-dimensional Navier-Stokes equations

abstract: We derive and assess the sharpness of analytic upper bounds for the instantaneous growth rate and finite-time amplification of palinstrophy in solutions of the two-dimensional incompressible Navier-Stokes equations. A family of optimal solenoidal fields parametrized by initial values for the Reynolds number $\textrm{Re}$ and palinstrophy $\mathcal{P}$ which maximize $d\mathcal{P}/dt$ is constructed by numerically solving suitable optimization problems for a wide range of $\textrm{Re}$ and $\mathcal{P}$, providing numerical evidence for the sharpness of the analytic estimate $d\mathcal{P}/dt \leq \left(a + b\sqrt{\ln\textrm{Re}+c} \, \right) \mathcal{P}^{3/2}$ with respect to both $\textrm{Re}$ and $\mathcal{P}$. This family of instantaneously optimal fields is then used as initial data in fully resolved direct numerical simulations and the time evolution of different relevant norms is carefully monitored as the palinstrophy is transiently amplified before decaying. The peak values of the palinstrophy produced by these initial data, i.e., $\sup_{t > 0} \mathcal{P} (t)$, are observed to scale with the magnitude of the initial palinstrophy $\mathcal{P}(0)$ in accord with the corresponding $\textit{a priori}$ estimate. Implications of these findings for the question of finite-time singularity formation in the three-dimensional incompressible Navier-Stokes equation are discussed.


title: Noether currents for higher-order variational problems of Herglotz type with time delay

abstract: We study, from an optimal control perspective, Noether currents for higher-order problems of Herglotz type with time delay. Main result provides new Noether currents for such generalized variational problems, which are particularly useful in the search of extremals. The proof is based on the idea of rewriting the higher-order delayed generalized variational problem as a first-order optimal control problem without time delays.


title: Character Formulas from Matrix Factorizations

abstract: In this paper I present a new and unified method of proving character formulas for discrete series representations of connected Lie groups by applying a Chern character-type construction to the matrix factorizations of [FT] and [FHT3]. In the case of a compact group I recover the Kirillov formula, thereby exhibiting the work of [FT] as a categorification of the Kirillov correspondence. In the case of a real semisimple group I recover the Rossman character formula with only a minimal amount of analysis. The appeal of this method is that it relies almost entirely on highest-weight theory, which is a far more ubiquitous phenomenon than the varied techniques that were previously used to prove such formulas.


title: Learning to Predict Indoor Illumination from a Single Image

abstract: We propose an automatic method to infer high dynamic range illumination from a single, limited field-of-view, low dynamic range photograph of an indoor scene. In contrast to previous work that relies on specialized image capture, user input, and/or simple scene models, we train an end-to-end deep neural network that directly regresses a limited field-of-view photo to HDR illumination, without strong assumptions on scene geometry, material properties, or lighting. We show that this can be accomplished in a three step process: 1) we train a robust lighting classifier to automatically annotate the location of light sources in a large dataset of LDR environment maps, 2) we use these annotations to train a deep neural network that predicts the location of lights in a scene from a single limited field-of-view photo, and 3) we fine-tune this network using a small dataset of HDR environment maps to predict light intensities. This allows us to automatically recover high-quality HDR illumination estimates that significantly outperform previous state-of-the-art methods. Consequently, using our illumination estimates for applications like 3D object insertion, we can achieve results that are photo-realistic, which is validated via a perceptual user study.


title: Non-Markovian Dynamics of Quantum Open Systems Embedded in a Hybrid Environment

abstract: Quantum systems of interest are typically coupled to several quantum channels (more generally environments). In this paper, we develop an exact stochastic Schr\"{o}dinger equation for an open quantum system coupled to a hybrid environment containing both bosonic and fermionic particles. Such a stochastic differential equation may be obtained directly from a microscopic model through employing a classical complex Gaussian noise and a non-commutative fermionic noise to simulate the hybrid bath. As an immediate application of our developed stochastic approach, we show that the evolution of the reduced density matrix can be derived by taking the average over both the bosonic noise and the fermionic noise. Three specific examples are given in this paper to illustrate that the hybrid quantum trajectory is fully consistent with the standard quantum mechanics. Our examples also shed new light on the special features exhibited by the fermionic bath and bosnoic bath.


title: Simulation of Observed Magnetic Holes in the Magnetosheath

abstract: Magnetic holes have been frequently observed in the magnetosheath of Earth and it is believed that these structures are the result of nonlinear evolution of mirror instability. Mirror mode fluctuations mostly appear as magnetic holes in regions where plasma is marginally mirror stable with respect to the linear instability. We present an expanding box particle in cell simulation to mimic the magnetosheath plasma and produce the mirror mode magnetic holes. We show that magnetic peaks are dominant when plasma is mirror unstable and mirror fluctuations evolve to deep magnetic holes when plasma is marginally mirror stable. Although, the averaged plasma parameters in the simulation are marginally close to mirror instability threshold, the plasma in the magnetic holes is highly unstable to mirror instability and mirror stable in the magnetic peaks.


title: Carlson's Theorem for Different Measures

abstract: We use an observation of Bohr connecting Dirichlet series in the right half plane $\mathbb{C}_+$ to power series on the polydisk to interpret Carlson's theorem about integrals in the mean as a special case of the ergodic theorem by considering any vertical line in the half plane as an ergodic flow on the polytorus. Of particular interest is the imaginary axis because Carlson's theorem for Lebesgue measure does not hold there. In this note, we construct measures for which Carlson's theorem does hold on the imaginary axis for functions in the Dirichlet series analog of the disk algebra $\mathcal{A}(\mathbb{C}_+)$.


title: Anomalous Hall Effect and Spontaneous Orbital Magnetization in Antiferromagnetic Weyl Metal

abstract: We study the anomalous Hall effect and orbital magnetization in chiral antiferromagnets, constructing a simple tight-binding model on a stacked Kagome lattice structure with spin-orbit coupling and the exchange interaction between the localized spins and itinerant electrons. It is shown that the ground state is an orbital ferromagnet with the easy-plane anisotropy. The relation between the orbital magnetization and the configuration of the Weyl points are discussed.


title: Speed trajectory planning at signalized intersections using sequential convex optimization

abstract: An algorithm is developed to optimize vehicle speed trajectory over multiple signalized intersections with known traffic signal information to minimize fuel consumption and travel time, and to meet ride comfort requirements using sequential convex optimization method. A comparison between the proposed method and dynamic programming is carried out to verify its optimality. In addition, vehicle motion during turning is studied because of its significant effect on fuel consumption and travel time.


title: Reconstruction by Calibration over Tensors for Multi-Coil Multi-Acquisition Balanced SSFP Imaging

abstract: Purpose: To develop a rapid imaging framework for balanced steady-state free precession (bSSFP) that jointly reconstructs undersampled data (by a factor of R) across multiple coils (D) and multiple acquisitions (N). To devise a multi-acquisition coil compression technique for improved computational efficiency. Methods: The bSSFP image for a given coil and acquisition is modeled to be modulated by a coil sensitivity and a bSSFP profile. The proposed reconstruction by calibration over tensors (ReCat) recovers missing data by tensor interpolation over the coil and acquisition dimensions. Coil compression is achieved using a new method based on multilinear singular value decomposition (MLCC). ReCat is compared with iterative self-consistent parallel imaging (SPIRiT) and profile encoding (PE-SSFP) reconstructions. Results: Compared to parallel imaging or profile-encoding methods, ReCat attains sensitive depiction of high-spatial-frequency information even at higher R. In the brain, ReCat improves peak SNR (PSNR) by 1.1$\pm$1.0 dB over SPIRiT and by 0.9$\pm$0.3 dB over PE-SSFP (mean$\pm$std across subjects; average for N=2-8, R=8-16). Furthermore, reconstructions based on MLCC achieve 0.8$\pm$0.6 dB higher PSNR compared to those based on geometric coil compression (GCC) (average for N=2-8, R=4-16). Conclusion: ReCat is a promising acceleration framework for banding-artifact-free bSSFP imaging with high image quality; and MLCC offers improved computational efficiency for tensor-based reconstructions.


title: Structure and regularity of the singular set in the obstacle problem for the fractional Laplacian

abstract: We study the singular part of the free boundary in the obstacle problem for the fractional Laplacian, \ $\min\bigl\{(-\Delta)^su,\,u-\varphi\bigr\}=0$ in $\mathbb R^n$, for general obstacles $\varphi$. Our main result establishes the complete structure and regularity of the singular set. To prove it, we construct new monotonicity formulas of Monneau-type that extend those in \cite{GP} to all $s\in(0,1)$.


title: Customizing First Person Image Through Desired Actions

abstract: This paper studies a problem of inverse visual path planning: creating a visual scene from a first person action. Our conjecture is that the spatial arrangement of a first person visual scene is deployed to afford an action, and therefore, the action can be inversely used to synthesize a new scene such that the action is feasible. As a proof-of-concept, we focus on linking visual experiences induced by walking. A key innovation of this paper is a concept of ActionTunnel---a 3D virtual tunnel along the future trajectory encoding what the wearer will visually experience as moving into the scene. This connects two distinctive first person images through similar walking paths. Our method takes a first person image with a user defined future trajectory and outputs a new image that can afford the future motion. The image is created by combining present and future ActionTunnels in 3D where the missing pixels in adjoining area are computed by a generative adversarial network. Our work can provide a travel across different first person experiences in diverse real world scenes.


title: Positivity of Simplicial Volume for Nonpositively Curved Manifolds with a Ricci-type curvature condition

abstract: We show that closed manifolds supporting a nonpositively curved metric with negative $([\frac{n}{4}]+1)$-Ricci curvature, have positive simplicial volume. This answers a special case of a conjecture of Gromov.


title: Asymmetric isolated skyrmions in polar magnets with easy-plane anisotropy

abstract: We introduce a new class of isolated magnetic skyrmions emerging within tilted ferromagnetic phases of polar magnets with easy-plane anisotropy. The asymmetric magnetic structure of these skyrmions is associated with an intricate pattern of the energy density, which exhibits positive and negative asymptotics with respect to the surrounding state with a ferromagnetic moment tilted away from the polar axis. Correspondingly, the skyrmion-skyrmion interaction has an anisotropic character and can be either attractive or repulsive depending on the relative orientation of the skyrmion pair. We investigate the stability of these novel asymmetric skyrmions against the elliptical cone state and follow their transformation into axisymmetric skyrmions, when the tilted ferromagnetic moment of the host phase is reduced. Our theory gives clear directions for experimental studies of isolated asymmetric skyrmions and their clusters embedded in tilted ferromagnetic phases.


title: Quantum trajectories for propagating Fock states

abstract: We derive quantum trajectories (also known as stochastic master equations) that describe an arbitrary quantum system probed by a propagating wave packet of light prepared in a continuous-mode Fock state. We consider three detection schemes of the output light: photon counting, homodyne detection, and heterodyne detection. We generalize to input field states that are superpositions and or mixtures of Fock states and illustrate the formalism with several examples.


title: Gradient Flows in Uncertainty Propagation and Filtering of Linear Gaussian Systems

abstract: The purpose of this work is mostly expository and aims to elucidate the Jordan-Kinderlehrer-Otto (JKO) scheme for uncertainty propagation, and a variant, the Laugesen-Mehta-Meyn-Raginsky (LMMR) scheme for filtering. We point out that these variational schemes can be understood as proximal operators in the space of density functions, realizing gradient flows. These schemes hold the promise of leading to efficient ways for solving the Fokker-Planck equation as well as the equations of non-linear filtering. Our aim in this paper is to develop in detail the underlying ideas in the setting of linear stochastic systems with Gaussian noise and recover known results.


title: SafetyNet: Detecting and Rejecting Adversarial Examples Robustly

abstract: We describe a method to produce a network where current methods such as DeepFool have great difficulty producing adversarial samples. Our construction suggests some insights into how deep networks work. We provide a reasonable analyses that our construction is difficult to defeat, and show experimentally that our method is hard to defeat with both Type I and Type II attacks using several standard networks and datasets. This SafetyNet architecture is used to an important and novel application SceneProof, which can reliably detect whether an image is a picture of a real scene or not. SceneProof applies to images captured with depth maps (RGBD images) and checks if a pair of image and depth map is consistent. It relies on the relative difficulty of producing naturalistic depth maps for images in post processing. We demonstrate that our SafetyNet is robust to adversarial examples built from currently known attacking approaches.


title: Ferrofluids and magnetically guided superparamagnetic particles in flows: A review of simulations and modeling

abstract: Ferrofluids are typically suspensions of magnetite nanoparticles, and behave as a homogeneous continuum. The production of nanoparticles with a narrow size distribution and the achievement of colloidal stability are important technological issues. The ability of the ferrofluid to respond to an external magnetic field in a controllable manner has made it emerge as a smart material in a variety of applications, such as seals, lubricants, electronics cooling, shock absorbers and adaptive optics. Magnetic nanoparticle suspensions have also gained attraction recently in a range of biomedical applications, such as cell separation, hyperthermia, MRI, drug targeting and cancer diagnosis. In this review, we provide an introduction to mathematical modeling of three problems: motion of superparamagnetic nanoparticles in magnetic drug targeting, the motion of a ferrofluid drop consisting of chemically bound nanoparticles without a carrier fluid, and the breakage of a thin film of a ferrofluid.


title: Multiplicative structure in stable expansions of the group of integers

abstract: We define two families of expansions of $(\mathbb{Z},+,0)$ by unary predicates, and prove that their theories are superstable of $U$-rank $\omega$. The first family consists of expansions $(\mathbb{Z},+,0,A)$, where $A$ is an infinite subset of a finitely generated multiplicative submonoid of $\mathbb{N}$. Using this result, we also prove stability for the expansion of $(\mathbb{Z},+,0)$ by all unary predicates of the form $\{q^n:n\in\mathbb{N}\}$ for some $q\in\mathbb{N}_{\geq 2}$. The second family consists of sets $A\subseteq\mathbb{N}$ which grow asymptotically close to a $\mathbb{Q}$-linearly independent increasing sequence $(\lambda_n)_{n=0}^\infty\subseteq\mathbb{R}^+$ such that $\{\frac{\lambda_n}{\lambda_m}:m\leq n\}$ is closed and discrete.


title: Thermally nucleated magnetic reversal in CoFeB/MgO nanodots

abstract: Power consumption is the main limitation in the development of new high performance random access memory for portable electronic devices. Magnetic RAM (MRAM) with CoFeB/MgO based magnetic tunnel junctions (MTJs) is a promising candidate for reducing the power consumption given its non-volatile nature while achieveing high performance. The dynamic properties and switching mechanisms of MTJs are critical to understanding device operation and to enable scaling of devices below 30 nm in diameter. Here we show that the magnetic reversal mechanism is incoherent and that the switching is thermally nucleated at device operating temperatures. Moreover, we find an intrinsic thermal switching field distribution arising on the sub-nanosecond timescale even in the absence of size and anisotropy distributions or material defects. These features represent the characteristic signature of the dynamic properties in MTJs and give an intrinsic limit to reversal reliability in small magnetic nanodevices.


title: Online Geographical Load Balancing for Mobile Edge Computing with Energy Harvesting

abstract: Mobile Edge Computing (MEC) (a.k.a. fog computing) has recently emerged to enable low-latency and location-aware data processing at the edge of mobile networks. Since providing grid power supply in support of MEC can be costly and even infeasible in some scenarios, on-site renewable energy is mandated as a major or even sole power supply. Nonetheless, the high intermittency and unpredictability of energy harvesting creates many new challenges of performing effective MEC. In this paper, we develop an algorithm called GLOBE that performs joint geographical load balancing (GLB) and admission control for optimizing the system performance of a network of MEC-enabled and energy harvesting-powered base stations. By leveraging and extending the Lyapunov optimization with perturbation technique, GLOBE operates online without requiring future system information and addresses significant challenges caused by battery state dynamics and energy causality constraints. Moreover, GLOBE works in a distributed manner, which makes our algorithm scalable to large networks. We prove that GLOBE achieves a close-to-optimal system performance compared to the offline algorithm that knows full future information, and present a critical tradeoff between battery capacity and system performance. Simulation results validate our analysis and demonstrate the superior performance of GLOBE compared to benchmark algorithms.


title: Assortment Optimization under Unknown MultiNomial Logit Choice Models

abstract: Motivated by e-commerce, we study the online assortment optimization problem. The seller offers an assortment, i.e. a subset of products, to each arriving customer, who then purchases one or no product from her offered assortment. A customer's purchase decision is governed by the underlying MultiNomial Logit (MNL) choice model. The seller aims to maximize the total revenue in a finite sales horizon, subject to resource constraints and uncertainty in the MNL choice model. We first propose an efficient online policy which incurs a regret $\tilde{O}(T^{2/3})$, where $T$ is the number of customers in the sales horizon. Then, we propose a UCB policy that achieves a regret $\tilde{O}(T^{1/2})$. Both regret bounds are sublinear in the number of assortments.


title: Snapshot Ensembles: Train 1, get M for free

abstract: Ensembles of neural networks are known to be much more robust and accurate than individual networks. However, training multiple deep networks for model averaging is computationally expensive. In this paper, we propose a method to obtain the seemingly contradictory goal of ensembling multiple neural networks at no additional training cost. We achieve this goal by training a single neural network, converging to several local minima along its optimization path and saving the model parameters. To obtain repeated rapid convergence, we leverage recent work on cyclic learning rate schedules. The resulting technique, which we refer to as Snapshot Ensembling, is simple, yet surprisingly effective. We show in a series of experiments that our approach is compatible with diverse network architectures and learning tasks. It consistently yields lower error rates than state-of-the-art single models at no additional training cost, and compares favorably with traditional network ensembles. On CIFAR-10 and CIFAR-100 our DenseNet Snapshot Ensembles obtain error rates of 3.4% and 17.4% respectively.


title: Dynamics of induced homeomorphisms of one-dimensional solenoids

abstract: We study the displacement function of homeomorphisms isotopic to the identity of the universal one-dimensional solenoid and we get a characterization of the lifting property for an open and dense subgroup of the isotopy component of the identity. The dynamics of an element in this subgroup is also described using rotation theory.


title: The spin-Brauer diagram algebra

abstract: We investigate the spin-Brauer diagram algebra, denoted ${\bf SB}_n(\delta)$, that arises from studying an analogous form of Schur-Weyl duality for the action of the pin group on ${\bf V}^{\otimes n} \otimes \Delta$. Here ${\bf V}$ is the standard $N$-dimensional complex representation of ${\bf Pin}(N)$ and $\Delta$ is the spin representation. When $\delta = N$ is a positive integer, we define a surjective map ${\bf SB}_n(N) \twoheadrightarrow {\rm End}_{{\bf Pin}(N)}({\bf V}^{\otimes n} \otimes \Delta)$ and show it is an isomorphism for $N \geq 2n$. We show ${\bf SB}_n(\delta)$ is a cellular algebra and use cellularity to characterize its irreducible representations.


title: Configurable 3D Scene Synthesis and 2D Image Rendering with Per-Pixel Ground Truth using Stochastic Grammars

abstract: We propose a systematic learning-based approach to the generation of massive quantities of synthetic 3D scenes and arbitrary numbers of photorealistic 2D images thereof, with associated ground truth information, for the purposes of training, benchmarking, and diagnosing learning-based computer vision and robotics algorithms. In particular, we devise a learning-based pipeline of algorithms capable of automatically generating and rendering a potentially infinite variety of indoor scenes by using a stochastic grammar, represented as an attributed Spatial And-Or Graph, in conjunction with state-of-the-art physics-based rendering. Our pipeline is capable of synthesizing scene layouts with high diversity, and it is configurable inasmuch as it enables the precise customization and control of important attributes of the generated scenes. It renders photorealistic RGB images of the generated scenes while automatically synthesizing detailed, per-pixel ground truth data, including visible surface depth and normal, object identity, and material information (detailed to object parts), as well as environments (e.g., illuminations and camera viewpoints). We demonstrate the value of our synthesized dataset, by improving performance in certain machine-learning-based scene understanding tasks--depth and surface normal prediction, semantic segmentation, reconstruction, etc.--and by providing benchmarks for and diagnostics of trained models by modifying object attributes and scene properties in a controllable manner.


title: Experimental constraint on quark electric dipole moments

abstract: The electric dipole moments (EDMs) of nucleons are sensitive probes of additional $\cal CP$ violation sources beyond the standard model to account for the baryon number asymmetry of the universe. As a fundamental quantity of the nucleon structure, tensor charge is also a bridge that relates nucleon EDMs to quark EDMs. With a combination of nucleon EDM measurements and tensor charge extractions, we investigate the experimental constraint on quark EDMs, and its sensitivity to $\cal CP$ violation sources from new physics beyond the electroweak scale. We obtain the current limits on quark EDMs as $1.27\times10^{-24}\,e\cdot{\rm cm}$ for the up quark and $1.17\times10^{-24}\,e\cdot{\rm cm}$ for the down quark at the scale of $4\,\rm GeV^2$. We also study the impact of future nucleon EDM and tensor charge measurements, and show that upcoming new experiments will improve the constraint on quark EDMs by about three orders of magnitude leading to a much more sensitive probe of new physics models.


title: Ubiquity of Unconventional Phenomena Associated with Critical Valence Fluctuations in Heavy Fermion Metals

abstract: Ubiquity of unconventional phenomena observed in a series of heavy fermion metals is discussed on the basis of an idea of critical valence fluctuations. After surveying experimental aspects of these unconventional behaviors in prototypical compounds, CeCu_2(Si,Ge)_2, under pressure, we propose that sharp valence crossover phenomena are realized in CeCu_6, CeRhIn_5, and Ce(Ir,Rh)Si_3 by tuning the pressure and the magnetic field simultaneously, on the basis of previous results for an extended Anderson lattice model with the Coulomb repulsion U_fc between localized f-electron and itinerant conduction electrons.


title: Ontological Multidimensional Data Models and Contextual Data Qality

abstract: Data quality assessment and data cleaning are context-dependent activities. Motivated by this observation, we propose the Ontological Multidimensional Data Model (OMD model), which can be used to model and represent contexts as logic-based ontologies. The data under assessment is mapped into the context, for additional analysis, processing, and quality data extraction. The resulting contexts allow for the representation of dimensions, and multidimensional data quality assessment becomes possible. At the core of a multidimensional context we include a generalized multidimensional data model and a Datalog+/- ontology with provably good properties in terms of query answering. These main components are used to represent dimension hierarchies, dimensional constraints, dimensional rules, and define predicates for quality data specification. Query answering relies upon and triggers navigation through dimension hierarchies, and becomes the basic tool for the extraction of quality data. The OMD model is interesting per se, beyond applications to data quality. It allows for a logic-based, and computationally tractable representation of multidimensional data, extending previous multidimensional data models with additional expressive power and functionalities.


title: Stochastic L-BFGS: Improved Convergence Rates and Practical Acceleration Strategies

abstract: We revisit the stochastic limited-memory BFGS (L-BFGS) algorithm. By proposing a new framework for the convergence analysis, we prove improved convergence rates and computational complexities of the stochastic L-BFGS algorithms compared to previous works. In addition, we propose several practical acceleration strategies to speed up the empirical performance of such algorithms. We also provide theoretical analyses for most of the strategies. Experiments on large-scale logistic and ridge regression problems demonstrate that our proposed strategies yield significant improvements vis-\`a-vis competing state-of-the-art algorithms.


title: A Multi-Index Markov Chain Monte Carlo Method

abstract: In this article we consider computing expectations w.r.t.~probability laws associated to a certain class of stochastic systems. In order to achieve such a task, one must not only resort to numerical approximation of the expectation, but also to a biased discretization of the associated probability. We are concerned with the situation for which the discretization is required in multiple dimensions, for instance in space and time. In such contexts, it is known that the multi-index Monte Carlo (MIMC) method can improve upon i.i.d.~sampling from the most accurate approximation of the probability law. Indeed by a non-trivial modification of the multilevel Monte Carlo (MLMC) method and it can reduce the work to obtain a given level of error, relative to the afore mentioned i.i.d.~sampling and relative even to MLMC. In this article we consider the case when such probability laws are too complex to sampled independently. We develop a modification of the MIMC method which allows one to use standard Markov chain Monte Carlo (MCMC) algorithms to replace independent and coupled sampling, in certain contexts. We prove a variance theorem which shows that using our MIMCMC method is preferable, in the sense above, to i.i.d.~sampling from the most accurate approximation, under assumptions. The method is numerically illustrated on a problem associated to a stochastic partial differential equation (SPDE).


title: Collision of two action potentials in a single excitable cell

abstract: It is a common incident in nature, that two waves or pulses run into each other head-on. The outcome of such an event is of special interest, because it allows conclusions about the underlying physical nature of the pulses. The present experimental study dealt with the head-on meeting of two action potentials (AP) in a single excitable plant cell (Chara braunii internode). The membrane potential was monitored at the two extremal regions of an excitable cell. In control experiments, an AP was excited electrically at either end of the cell cylinder. Subsequently, stimuli were applied simultaneously at both ends of the cell in order to generate two APs that met each other head-on. When two action potentials propagated into each other, the pulses did not penetrate but annihilated (N=26 experiments in n=10 cells). APs in excitable plant cells did not penetrate upon meeting head-on. In the classical electrical model, this behavior is specifically attributed to relaxation of ion channel proteins. From an acoustic point of view, annihilation can be viewed as a result of nonlinear material properties the entire system. The present results suggest that APs in excitable animal and plant cells belong to a similar class of nonlinear phenomena. Intriguingly, other excitation waves in biology (intracellular waves, cortical spreading depression, etc.) also annihilate upon collision and are thus expected to follow the same underlying principles as the observed action potentials.


title: Psychological and Personality Profiles of Political Extremists

abstract: Global recruitment into radical Islamic movements has spurred renewed interest in the appeal of political extremism. Is the appeal a rational response to material conditions or is it the expression of psychological and personality disorders associated with aggressive behavior, intolerance, conspiratorial imagination, and paranoia? Empirical answers using surveys have been limited by lack of access to extremist groups, while field studies have lacked psychological measures and failed to compare extremists with contrast groups. We revisit the debate over the appeal of extremism in the U.S. context by comparing publicly available Twitter messages written by over 355,000 political extremist followers with messages written by non-extremist U.S. users. Analysis of text-based psychological indicators supports the moral foundation theory which identifies emotion as a critical factor in determining political orientation of individuals. Extremist followers also differ from others in four of the Big Five personality traits.


title: Witnessing quantumness of a system by observing only its classical features

abstract: Witnessing non-classicality in the gravitational field has been claimed to be practically impossible. This constitutes a deep problem, which has even lead some researchers to question whether gravity should be quantised, due to the weakness of quantum effects. To counteract these claims, we propose a thought experiment that witnesses non-classicality of a physical system by probing it with a qubit. Remarkably, this experiment does not require any quantum control of the system, involving only measuring a single classical observable on that system. In addition, our scheme does not even assume any specific dynamics. That non-classicality of a system can be established indirectly, by coupling it to a qubit, opens up the possibility that quantum gravitational effects could in fact be witnessed in the lab.


title: The Anderson impurity model out of equilibrium: Assessing the accuracy of simulation techniques with an exact current-occupation relation

abstract: We study the interacting, symmetrically coupled single impurity Anderson model. By employing the nonequilibrium Green's function formalism, we establish an exact relationship between the steady-state charge current flowing through the impurity (dot) and its occupation. We argue that the steady state current-occupation relation can be used to assess the consistency of simulation techniques, and identify spurious transport phenomena. We test this relation in two different model variants: First, we study the Anderson-Holstein model in the strong electron-vibration coupling limit using the polaronic quantum master equation method. We find that the current-occupation relation is violated numerically in standard calculations, with simulations bringing up incorrect transport effects. Using a numerical procedure, we resolve the problem efficiently. Second, we simulate the Anderson model with electron-electron interaction on the dot using a deterministic numerically-exact time-evolution scheme. Here, we observe that the current-occupation relation is satisfied in the steady-state limit---even before results converge to the exact limit.


title: Perturbation bounds for the Mostow and the bipolar decompositions

abstract: Perturbation bounds for Mostow's decomposition and the bipolar decomposition of matrices have been computed. To do so, expressions for the derivative of the geometric mean of two positive definite matrices have been derived.


title: Disk-Jet Connection in Active Supermassive Black Holes in the Standard Accretion Disk Regime

abstract: We study the disk-jet connection in supermassive black holes by investigating the properties of their optical and radio emissions utilizing the SDSS-DR7 and the NVSS catalogs. Our sample contains 7017 radio-loud quasars with detection both at 1.4~GHz and SDSS optical spectrum. Using this radio-loud quasar sample, we investigate the correlation among the jet power ($P_{\rm jet}$), the bolometric disk luminosity ($L_{\rm disk}$), and the black hole mass ($M_{\rm BH}$) in the standard accretion disk regime. We find that the jet powers correlate with the bolometric disk luminosities as $\log P_{\rm jet} = (0.96\pm0.012)\log L_{\rm disk} + (0.79 \pm 0.55)$. This suggests that the jet production efficiency of $\eta_{\rm jet}\simeq1.1_{-0.76}^{+2.6}\times10^{-2}$ assuming the disk radiative efficiency of $0.1$ implying low black hole spin parameters and/or low magnetic flux for radio-loud quasars. But it can be also due to dependence of the efficiency on geometrical thickness of the accretion flow which is expected to be small for quasars accreting at the disk Eddington ratios $0.01 \lesssim \lambda \lesssim 0.3$. This low jet production efficiency does not significantly increase even if we set the disk radiative efficiency of 0.3. We also investigate the fundamental plane in our samples among $P_{\rm jet}$, $L_{\rm disk}$, and $M_{\rm BH}$. We could not find a statistically significant fundamental plane for radio-loud quasars in the standard accretion regime.


title: On Binary Channels to Anomalous Cepheids

abstract: Anomalous Cepheids are a rather rare family of pulsating variables preferably found in dwarf galaxies. Attempts to model these variable stars via single-star evolution scenarios still leave space for improvements to better grasp their origin. Focusing on the LMC with its rich population of Anomalous Cepheids to compare against we probe the role binary stars might play to understand the nature of Anomalous Cepheids. The evolution of donors and accretors undergoing Case-B mass transfer along the first red-giant branch as well as merger-like models were calculated. First results show that in binary scenarios a larger range of star masses and metallicities up to Z < 0.008, higher than deemed possible hitherto, enter and pass through the instability strip. If binary stars play a role in Anomalous Cepheid populations, mass donors, mass accretors, or even mergers are potential candidates to counteract constraints imposed by the single-star approach.


title: Thin graph classes and polynomial-time approximation schemes

abstract: Baker devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a fixed apex graph as a minor. Further generalizations (e.g., to all proper minor closed graph classes) are known, but they use a combination of techniques and usually focus on somewhat restricted classes of problems. We present a new type of graph decompositions (thin systems of overlays) generalizing Baker's technique and leading to straightforward polynomial-time approximation schemes. We also show that many graph classes (all proper minor-closed classes, and all subgraph-closed classes with bounded maximum degree and strongly sublinear separators) admit such decompositions.


title: Limit profiles and uniqueness of ground states to the nonlinear Choquard equations

abstract: Consider nonlinear Choquard equations \begin{equation*} \left\{\begin{array}{rcl} -\Delta u +u & = &(I_\alpha*|u|^p)|u|^{p-2}u \quad \text{in } \mathbb{R}^N, \\ \lim_{x \to \infty}u(x) & = &0, \end{array}\right. \end{equation*} where $I_\alpha$ denotes Riesz potential and $\alpha \in (0, N)$. In this paper, we investigate limit profiles of ground states of nonlinear Choquard equations as $\alpha \to 0$ or $\alpha \to N$. This leads to the uniqueness and nondegeneracy of ground states when $\alpha$ is sufficiently close to $0$ or close to $N$.