title: Designing 3D topological insulators by 2D-Xene (X = Ge, Sn) sheet functionalization in the GaGeTe-type structures

abstract: State-of-the-art theoretical studies anticipate a 2D Dirac system in the "heavy" analogues of graphene, free-standing buckled honeycomb-like Xenes (X = Si, Ge, Sn, Pb, etc.). Herewith a structurally and electronically resembling 2D sheet, which can be regarded as Xene functionalized by covalent interactions within a 3D periodic structure, is predicted to constitute a 3D strong topological insulator with Z2 = 1;(111) (primitive cell, rhombohedral setting) in the structural family of layered AXTe (A = Ga, In; X = Ge, Sn) bulk materials. The host structure GaGeTe is a long-known bulk semiconductor; the "heavy", isostructural analogues InSnTe and GaSnTe are predicted to be dynamically stable. Spin-orbit interaction in InSnTe opens a small topological band gap with inverted gap edges that are mainly composed of the In-5s and Te-5p states. Our simulations classify GaSnTe as a semimetal with topological properties, whereas the verdict for GaGeTe is not conclusive and urges further experimental verification. AXTe family structures can be regarded as stacks of 2D layered cut-outs from a zincblende-type lattice and are composed by elements that are broadly used in modern semiconductor devices; hence they represent an accessible, attractive alternative for applications in spintronics. The layered nature of AXTe should facilitate exfoliation of its hextuple layers and manufacture of heterostuctures.


title: Learning from Comparisons and Choices

abstract: When tracking user-specific online activities, each user's preference is revealed in the form of choices and comparisons. For example, a user's purchase history is a record of her choices, i.e. which item was chosen among a subset of offerings. A user's preferences can be observed either explicitly as in movie ratings or implicitly as in viewing times of news articles. Given such individualized ordinal data in the form of comparisons and choices, we address the problem of collaboratively learning representations of the users and the items. The learned features can be used to predict a user's preference of an unseen item to be used in recommendation systems. This also allows one to compute similarities among users and items to be used for categorization and search. Motivated by the empirical successes of the MultiNomial Logit (MNL) model in marketing and transportation, and also more recent successes in word embedding and crowdsourced image embedding, we pose this problem as learning the MNL model parameters that best explain the data. We propose a convex relaxation for learning the MNL model, and show that it is minimax optimal up to a logarithmic factor by comparing its performance to a fundamental lower bound. This characterizes the minimax sample complexity of the problem, and proves that the proposed estimator cannot be improved upon other than by a logarithmic factor. Further, the analysis identifies how the accuracy depends on the topology of sampling via the spectrum of the sampling graph. This provides a guideline for designing surveys when one can choose which items are to be compared. This is accompanied by numerical simulations on synthetic and real data sets, confirming our theoretical predictions.


title: Penalized Estimation in Additive Regression with High-Dimensional Data

abstract: Additive regression provides an extension of linear regression by modeling the signal of a response as a sum of functions of covariates of relatively low complexity. We study penalized estimation in high-dimensional nonparametric additive regression where functional semi-norms are used to induce smoothness of component functions and the empirical $L_2$ norm is used to induce sparsity. The functional semi-norms can be of Sobolev or bounded variation types and are allowed to be different amongst individual component functions. We establish new oracle inequalities for the predictive performance of such methods under three simple technical conditions: a sub-gaussian condition on the noise, a compatibility condition on the design and the functional classes under consideration, and an entropy condition on the functional classes. For random designs, the sample compatibility condition can be replaced by its population version under an additional condition to ensure suitable convergence of empirical norms. In homogeneous settings where the complexities of the component functions are of the same order, our results provide a spectrum of explicit convergence rates, from the so-called slow rate without requiring the compatibility condition to the fast rate under the hard sparsity or certain $L_q$ sparsity to allow many small components in the true regression function. These results significantly broadens and sharpens existing ones in the literature.


title: Supplement to the theory of electron neutron scattering

abstract: The electron neutron scattering process determines the electrical and thermal conductivity of neutron stars plasma. As we approach the resonance section of the growth is much higher than the growth predicted by the perturbation theory. The stated mathematical formalism is borrowed from the theory of light which is scattered on the excited system


title: On the exactness of Lasserre relaxations for compact convex basic closed semialgebraic sets

abstract: Consider a finite system of non-strict real polynomial inequalities and suppose its solution set $S\subseteq\mathbb R^n$ is convex, has nonempty interior and is compact. Suppose that the system satisfies the Archimedean condition, which is slightly stronger than the compactness of $S$. Suppose that each defining polynomial satisfies a second order strict quasiconcavity condition where it vanishes on $S$ (which is very natural because of the convexity of $S$) or its Hessian has a certain matrix sums of squares certificate for negative-semidefiniteness on $S$ (fulfilled trivially by linear polynomials). Then we show that the system possesses an exact Lasserre relaxation. In their seminal work of 2009, Helton and Nie showed under the same conditions that $S$ is the projection of a spectrahedron, i.e., it has a semidefinite representation. The semidefinite representation used by Helton and Nie arises from glueing together Lasserre relaxations of many small pieces obtained in a non-constructive way. By refining and varying their approach, we show that we can simply take a Lasserre relaxation of the original system itself. Such a result was provided by Helton and Nie with much more machinery only under very technical conditions and after changing the description of $S$.


title: Gamma-Gamma Absorption in Gamma-Ray Burst Environments

abstract: Gamma-ray bursts (GRBs) are the most violent explosions in the universe, seen primarily as bright, short flashes of gamma-rays. Long GRBs are most likely associated with the violent death of a very massive star. They are thus believed to originate within regions of recent or ongoing star formation with various bright, young stars, for instance, OB associations. GRBs have been detected in gamma-rays by satellite-borne gamma-ray telescopes at MeV - GeV energies, but could potentially also emit gamma-rays at even higher energies (Very-High-Energy [VHE] gamma-rays: E > 100 GeV), as observed by ground-based Cherenkov Telescope facilities, such as the High Energy Stereoscopic System (H.E.S.S) in Namibia. VHE gamma-rays can be absorbed by low energy photons by pair production, and the stars in the vicinity of a GRB provide a dense radiation environment, which could lead to such absorption. We have investigated representative GRB environments and provide an estimate of the opacity to gamma-gamma absorption for VHE gamma-rays from GRBs. We find that for the likely properties of OB associations around GRB progenitors, gamma-gamma absorption is expected to be negligible.


title: Dynamical defects in rotating magnetic skyrmion lattices

abstract: The chiral magnet Cu$_{2}$OSeO$_{3}$ hosts a skyrmion lattice, that may be equivalently described as a superposition of plane waves or lattice of particle-like topological objects. A thermal gradient may break up the skyrmion lattice and induce rotating domains raising the question which of these scenarios better describes the violent dynamics at the domain boundaries. Here we show that in an inhomogeneous temperature gradient caused by illumination in a Lorentz Transmission Electron Microscope different parts of the skyrmion lattice can be set into motion with different angular velocities. Tracking the time dependence we show that the constant rearrangement of domain walls is governed by dynamic 5-7 defects arranging into lines. An analysis of the associated defect density is described by Frank's equation and agrees well with classical 2D-Monte Carlo simulations. Fluctuations of boundaries show surge-like rearrangement of skyrmion clusters driven by defect rearrangement consistent with simulations treating skyrmions as point particles. Our findings underline the particle character of the skyrmion.


title: Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform

abstract: Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language has a well-established and influential model. While Erlang model conceptually provides reliable scalability, it has some inherent scalability limits and these force developers to depart from the model at scale. This article establishes the scalability limits of Erlang systems, and reports the work to improve the language scalability. We systematically study the scalability limits of Erlang and address the issues at the virtual machine (VM), language, and tool levels. More specifically: (1) We have evolved the Erlang VM so that it can work effectively in large scale single-host multicore and NUMA architectures. We have made important architectural improvements to the Erlang/OTP. (2) We have designed and implemented Scalable Distributed (SD) Erlang libraries to address language-level scalability issues, and provided and validated a set of semantics for the new language constructs. (3) To make large Erlang systems easier to deploy, monitor, and debug we have developed and made open source releases of five complementary tools, some specific to SD Erlang. Throughout the article we use two case studies to investigate the capabilities of our new technologies and tools: a distributed hash table based Orbit calculation and Ant Colony Optimisation (ACO). Chaos Monkey experiments show that two versions of ACO survive random process failure and hence that SD Erlang preserves the Erlang reliability model. Even for programs with no global recovery data to maintain, SD Erlang partitions the network to reduce network traffic and hence improves performance of the Orbit and ACO benchmarks above 80 hosts. ACO measurements show that maintaining global recovery data dramatically limits scalability; however scalability is recovered by partitioning the recovery data.


title: Value-at-Risk Diversification of $\alpha$-stable Risks: The Tail-Dependence Puzzle

abstract: We consider the problem of risk diversification of $\alpha$-stable heavy tailed risks. We study the behaviour of the aggregated Value-at-Risk, with particular reference to the impact of different tail dependence structures on the limits to diversification. We confirm the large evidence of sub-additivity violations, particularly for risks with low tail index values and positive dependence. So, reinsurance strategies are not allowed to exploit diversification gains, or only a very limited amount of them. Concerning the impact of tail dependence, we find the peculiar results that for high tail dependence levels the limits to diversification are uniformly lower for all the levels of dependence, and for all levels of $\alpha<2$. The result is confirmed as we move towards extreme points in the tail: in this case, we show that at some point in the tail the aggregated VaR becomes additive above some level of dependence, but this critical dependence level is lower for copulas with lower tail dependence.


title: At what time does a quantum experiment have a result?

abstract: This paper provides a general method for defining a generalized quantum observable (or POVM) that supplies properly normalized conditional probabilities for the time of occurrence (i.e., of detection). This method treats the time of occurrence as a probabilistic variable whose value is to be determined by experiment and predicted by the Born rule. This avoids the problematic assumption that a question about the time at which an event occurs must be answered through instantaneous measurements of a projector by an observer, common to both Rovelli (1998) and Oppenheim et al. (2000). I also address the interpretation of experiments purporting to demonstrate the quantum Zeno effect, used by Oppenheim et al. (2000) to justify an inherent uncertainty for measurements of times.


title: Radiation emission from braided electrons in interacting wakefields

abstract: The radiation emission from electrons wiggling in a laser wakefield acceleration (LWFA) process, being initially considered as a parasitic effect for the electron energy gain, can eventually serve as a novel X-ray source, that could be used for diagnostic purposes. Although several schemes for enhancing the X-ray emission in LWFA has been recently proposed and analyzed, finding an efficient way to use and control these radiation emissions remains an important problem. Based on analytical estimates and 3D particle-in-cell simulations, we here propose and examine a new method utilizing two colliding LWFA patterns with an angle in-between their propagation directions. Varying the angle of collision, the distance of acceleration before the collision and other parameters provide an unprecedented control over the emission parameters. Moreover, we reveal here that for a collision angle of 5$^\circ$, the two wakefields merge into a single LWFA cavity inducing strong and stable collective oscillations between the two trapped electron bunches. This results in an X-ray emission which is strongly peaked, both in the spatial and frequency domain. The basic concept of the proposed scheme may pave a way for using LWFA radiation sources in many important applications, such as phase-contrast radiography.


title: Post-Quantum Cryptography: S381 Cyclic Subgroup of High Order

abstract: Currently there is an active Post-Quantum Cryptography (PQC) solutions search, which attempts to find cryptographic protocols resistant to attacks by means of for instance Shor polynomial time algorithm for numerical field problems like integer factorization (IFP) or the discrete logarithm (DLP). The use of non-commutative or non-associative structures are, among others, valid choices for these kinds of protocols. In our case, we focus on a permutation subgroup of high order and belonging to the symmetric group S381. Using adequate one-way functions (OWF), we derived a Diffie-Hellman key exchange and an ElGamal ciphering procedure that only relies on combinatorial operations. Both OWF pose hard search problems which are assumed as not belonging to BQP time-complexity class. Obvious advantages of present protocols are their conceptual simplicity, fast throughput implementations, high cryptanalytic security and no need for arithmetic operations and therefore extended precision libraries. Such features make them suitable for low performance and low power consumption platforms like smart cards, USB-keys and cellphones.


title: Automatic Liver Lesion Segmentation Using A Deep Convolutional Neural Network Method

abstract: Liver lesion segmentation is an important step for liver cancer diagnosis, treatment planning and treatment evaluation. LiTS (Liver Tumor Segmentation Challenge) provides a common testbed for comparing different automatic liver lesion segmentation methods. We participate in this challenge by developing a deep convolutional neural network (DCNN) method. The particular DCNN model works in 2.5D in that it takes a stack of adjacent slices as input and produces the segmentation map corresponding to the center slice. The model has 32 layers in total and makes use of both long range concatenation connections of U-Net [1] and short-range residual connections from ResNet [2]. The model was trained using the 130 LiTS training datasets and achieved an average Dice score of 0.67 when evaluated on the 70 test CT scans, which ranked first for the LiTS challenge at the time of the ISBI 2017 conference.


title: The Auger Engineering Radio Array and multi-hybrid cosmic ray detection (TAUP 2015)

abstract: The Auger Engineering Radio Array (AERA) aims at the detection of air showers induced by high-energy cosmic rays. As an extension of the Pierre Auger Observatory, it measures complementary information to the particle detectors, fluorescence telescopes and to the muon scintillators of the Auger Muons and Infill for the Ground Array (AMIGA). AERA is sensitive to all fundamental parameters of an extensive air shower such as the arrival direction, energy and depth of shower maximum. Since the radio emission is induced purely by the electromagnetic component of the shower, in combination with the AMIGA muon counters, AERA is perfect for separate measurements of the electrons and muons in the shower, if combined with a muon counting detector like AMIGA. In addition to the depth of the shower maximum, the ratio of the electron and muon number serves as a measure of the primary particle mass.


title: Thermoelectric effects in superconductor-ferromagnet tunnel junctions on europium sulfide

abstract: We report on large thermoelectric effects in superconductor-ferromagnet tunnel junctions in proximity contact with the ferromagnetic insulator europium sulfide. The combination of a spin-splitting field and spin-polarized tunnel conductance in these systems breaks the electron-hole symmetry and leads to spin-dependent thermoelectric currents. We show that the exchange splitting induced by the europium sulfide boosts the thermoelectric effect in small applied fields and can therefore eliminate the need to apply large magnetic fields, which might otherwise impede applications in thermometry or cooling.


title: Supervised Adversarial Networks for Image Saliency Detection

abstract: In the past few years, Generative Adversarial Network (GAN) became a prevalent research topic. By defining two convolutional neural networks (G-Network and D-Network) and introducing an adversarial procedure between them during the training process, GAN has ability to generate good quality images that look like natural images from a random vector. Besides image generation, GAN may have potential to deal with wide range of real world problems. In this paper, we follow the basic idea of GAN and propose a novel model for image saliency detection, which is called Supervised Adversarial Networks (SAN). Specifically, SAN also trains two models simultaneously: the G-Network takes natural images as inputs and generates corresponding saliency maps (synthetic saliency maps), and the D-Network is trained to determine whether one sample is a synthetic saliency map or ground-truth saliency map. However, different from GAN, the proposed method uses fully supervised learning to learn both G-Network and D-Network by applying class labels of the training set. Moreover, a novel kind of layer call conv-comparison layer is introduced into the D-Network to further improve the saliency performance by forcing the high-level feature of synthetic saliency maps and ground-truthes as similar as possible. Experimental results on Pascal VOC 2012 database show that the SAN model can generate high quality saliency maps for many complicate natural images.


title: Oscillating sequences, Gowers norms and Sarnak's conjecture

abstract: It is shown that there is an oscillating sequence of higher order which is not orthogonal to the class of dynamical flow with topological entropy zero. We further establish that any oscillating sequence of order $d$ is orthogonal to any $d$-nilsequence arising from the skew product on the $d$-dimensional torus $\mathbb{T}^d$. The proof yields that any oscillating sequence of higher order is orthogonal to any dynamical sequence arising from topological dynamical systems with quasi-discrete spectrum. however, we provide an example of oscillating sequence of higher order with large Gowers norms. We further obtain a new estimation of the average of M\"{o}bius function on the short interval by appealing to Bourgain's double recurence argument.


title: Fast PET reconstruction using Multi-scale Fully Convolutional Neural Networks

abstract: Reconstruction of PET images is an ill-posed inverse problem and often requires iterative algorithms to achieve good image quality for reliable clinical use in practice, at huge computational costs. In this paper, we consider the PET reconstruction a dense prediction problem where the large scale contextual information is essential, and propose a novel architecture of multi-scale fully convolutional neural networks (msfCNN) for fast PET image reconstruction. The proposed msfCNN gains large receptive fields with both memory and computational efficiency, by using a downscaling-upscaling structure and dilated convolutions. Instead of pooling and deconvolution, we propose to use the periodic shuffling operation from sub-pixel convolution and its inverse to scale the size of feature maps without losing resolution. Residual connections were added to improve training. We trained the proposed msfCNN model with simulated data, and applied it to clinical PET data acquired on a Siemens mMR scanner. The results from real oncological and neurodegenerative cases show that the proposed msfCNN-based reconstruction outperforms the iterative approaches in terms of computational time while achieving comparable image quality for quantification. The proposed msfCNN model can be applied to other dense prediction tasks, and fast msfCNN-based PET reconstruction could facilitate the potential use of molecular imaging in interventional/surgical procedures, where cancer surgery can particularly benefit.


title: Alternation acyclic tournaments

abstract: We define a tournament to be alternation acyclic if it does not contain a cycle in which descents and ascents alternate. Using a result by Athanasiadis on hyperplane arrangements, we show that these tournaments are counted by the median Genocchi numbers. By establishing a bijection with objects defined by Dumont, we show that alternation acyclic tournaments in which at least one ascent begins at each vertex, except for the largest one, are counted by the Genocchi numbers of the first kind. Unexpected consequences of our results include a pair of ordinary generating function formulas for the Genocchi numbers of both kinds and a new very simple model for the normalized median Genocchi numbers.


title: Canonical Transformation Path to Gauge Theories of Gravity

abstract: In this paper, the generic part of the gauge theory of gravity is derived, based merely on the action principle and on the general principle of relativity. We apply the canonical transformation framework to formulate geometrodynamics as a gauge theory. The starting point of our paper is constituted by the general De~Donder-Weyl Hamiltonian of a system of scalar and vector fields, which is supposed to be form-invariant under (global) Lorentz transformations. Following the reasoning of gauge theories, the corresponding locally form-invariant system is worked out by means of canonical transformations. The canonical transformation approach ensures by construction that the form of the action functional is maintained. We thus encounter amended Hamiltonian systems which are form-invariant under arbitrary spacetime transformations. This amended system complies with the general principle of relativity and describes both, the dynamics of the given physical system's fields and their coupling to those quantities which describe the dynamics of the spacetime geometry. In this way, it is unambiguously determined how spin-0 and spin-1 fields couple to the dynamics of spacetime. A term that describes the dynamics of the free gauge fields must finally be added to the amended Hamiltonian, as common to all gauge theories, to allow for a dynamic spacetime geometry. The choice of this "dynamics Hamiltonian" is outside of the scope of gauge theory as presented in this paper. It accounts for the remaining indefiniteness of any gauge theory of gravity and must be chosen "by hand" on the basis of physical reasoning. The final Hamiltonian of the gauge theory of gravity is shown to be at least quadratic in the conjugate momenta of the gauge fields -- this is beyond the Einstein-Hilbert theory of General Relativity.


title: Lyapunov-type inequality for a fractional boundary value problem with natural conditions

abstract: We derive a new Lyapunov type inequality for a boundary value problem involving both left Riemann--Liouville and right Caputo fractional derivatives in presence of natural conditions. Application to the corresponding eigenvalue problem is also discussed.


title: The Homology of Connective Morava $E$-theory with coefficients in $\mathbb{F}_p$

abstract: Let $e_n$ be the connective cover of the Morava $E$-theory spectrum $E_n$ of height $n$. In this paper we compute its homology $H_*(e_n;\mathbb{F}_p)$ for any prime $p$ and $n \leq 4$ up to possible multiplicative extensions. In order to accomplish this we show that the K\"unneth spectral sequence based on an $E_3$-algebra $R$ is multiplicative when the $R$-modules in question are commutative $S$-algebras. We then apply this result by working over $BP$ which is known to be an $E_4$-algebra.


title: Scale of left-right symmetry

abstract: Unlike the standard model where neutrino masses can be made arbitrarily small, we find in the minimal left-right symmetric model that Dirac type Yukawa coupling $h_D \sim 10^{-4.2}$ for $\nu_\tau$ is generated from charged fermion Yukawa couplings through one loop Renormalization Group (RG) running. Using the seesaw relation this implies that the natural scale for right-handed neutrino's Majorana mass (seesaw scale) $M_N = f v_R \gtrsim 2000 TeV$. If we take the $SU(2)_R \times U(1)_{B-L}$ breaking scale $v_R$ to be below 50 TeV, so that it can be probed by LHC and a future collider, then the large $h_D$ generated on RG running increases the mass $m_\nu$ of the third generation light neutrino and severely suppresses the PMNS mixing angle $\theta_{23}$. We discuss the tuning needed for seesaw scales that can be probed by colliders and find the parameter space that can be tested by neutrino experiments for higher scales up to $10^{15} GeV$.


title: Singularity stars

abstract: We study static spherically symmetric solutions to Einstein's equations with a repulsive singularity at the centre. We show that geodesics are extendible across the singularity, so the singularity does not lead to pathological causality properties. It is best described as an irreducible spacetime boundary. As such it must be assigned to an entropy, so that the total entropy is a sum of matter entropy and of singularity entropy. We evaluate the latter by using methods that have been developed for black hole thermodynamics, namely, Euclidean Quantum Gravity and Wald's Noether charge approach. Then, we use the maximum-entropy principle in order to show that regular solutions correspond to global maxima of the total entropy for stellar masses below the Oppenheimer-Volkoff limit, thus providing a thermodynamic justification to the regularity assumption employed in all stellar models. The maximum entropy principle also defines stable singular configurations for masses above the Oppenheimer-Volkoff limit, which we name singularity stars. We analyse their properties, and discuss the possibility that they correspond to a new type of astrophysical object that intermediates between neutron stars and black holes.


title: On nanostructured molybdenum-copper composites produced by high pressure torsion

abstract: Nano-structured molybdenum-copper composites have been produced through severe plastic deformation of liquid-metal infiltrated Cu30Mo70 and Cu50Mo50 (wt.%) starting materials. Processing was carried out using high pressure torsion at room temperature with no subsequent sintering treatment, producing a porosity-free, ultrafine grained composite. Extensive deformation of the Cu50Mo50 composite via two-step high-pressure torsion produced equiaxed nanoscale grains of Mo and Cu with a grain size of 10-15 nm. Identical treatment of Cu30Mo70 produced a ultrafine, lamellar structure, comprised of Cu and Mo layers with thicknesses of ~5 nm and ~10-20 nm, respectively and an interlamellar spacing of 9 nm. This microstructure differs substantially from that of HPT-deformed Cu-Cr and Cu-W composites, in which the lamellar microstructure breaks down at high strains. The ultrafine-grained structure and absence of porosity resulted in composites with Vickers hardness values of 600 for Cu30Mo70 and 475 for Cu50Mo50. The ability to produce Cu30Mo70 nanocomposites with a combination of high strength, and a fine, oriented microstructure should be of interest for thermoelectric applications.


title: The qth packing moments and the packing Lq-spectra of directed graph self-similar measures

abstract: Any self-similar directed graph iterated function system with probabilities, defined on m-dimensional Euclidean space, determines a unique list of self-similar Borel probability measures whose supports are the components of the attractor. Using an application of the Renewal Theorem we obtain an explicit calculable value for the power law behaviour of the qth packing moments of the self-similar measures at scale r as r tends to 0 in the non-lattice case, with a corresponding limit for the lattice case. We do this (i) for any real q if the strong separation condition (SSC) holds, (ii) for non-negative q if the weaker open set condition (OSC) holds, where we also assume that a non-negative matrix associated with the system is irreducible. In the non-lattice case this enables the packing Lq-spectra and their exact rate of convergence to be determined.


title: The Cheeger constant of a Jordan domain without necks

abstract: We show that the maximal Cheeger set of a Jordan domain $\Omega$ without necks is the union of all balls of radius $r = h(\Omega)^{-1}$ contained in $\Omega$. Here, $h(\Omega)$ denotes the Cheeger constant of $\Omega$, that is, the infimum of the ratio of perimeter over area among subsets of $\Omega$, and a Cheeger set is a set attaining the infimum. The radius $r$ is shown to be the unique number such that the area of the inner parallel set $\Omega^r$ is equal to $\pi r^2$. The proof of the main theorem requires the combination of several intermediate facts, some of which are of interest in their own right. Examples are given demonstrating the generality of the result as well as the sharpness of our assumptions. In particular, as an application of the main theorem, we illustrate how to effectively approximate the Cheeger constant of the Koch snowflake.


title: Recognizing Union-Find trees built up using union-by-rank strategy is NP-complete

abstract: Disjoint-Set forests, consisting of Union-Find trees, are data structures having a widespread practical application due to their efficiency. Despite them being well-known, no exact structural characterization of these trees is known (such a characterization exists for Union trees which are constructed without using path compression) for the case assuming union-by-rank strategy for merging. In this paper we provide such a characterization by means of a simple push operation and show that the decision problem whether a given tree (along with the rank info of its nodes) is a Union-Find tree is NP-complete, complementing our earlier similar result for the union-by-size strategy.


title: Singular MASAs in type III factors and Connes' Bicentralizer Property

abstract: We show that any type ${\rm III_1}$ factor with separable predual satisfying Connes' Bicentralizer Property (CBP) has a singular maximal abelian $\ast$-subalgebra that is the range of a normal conditional expectation. We also investigate stability properties of CBP under finite index extensions/restrictions of type ${\rm III_1}$ factors.


title: Geant4 Assisted Monte Carlo Prediction of Space Proton-Induced Soft Error Rate Based on Heavy Ion Testing Data

abstract: A procedure of space proton-induced Soft Error Rate calculation based on heavy ion testing data is proposed. The approach relies on Geant4-assisted Monte Carlo simulation of the secondary particle LET spectra produced by proton interactions.


title: Further remarks on liftings of crossed modules

abstract: In this paper we define the notion of pullback lifting of a lifting crossed module over a crossed module morphism and interpret this notion in the category of group-groupoid actions as pullback action. Moreover, we give a criterion for the lifting of homotopic crossed module morphisms to be homotopic, which will be called homotopy lifting property for crossed module morphisms. Finally, we investigate some properties of derivations of lifting crossed modules according to base crossed module derivations.


title: Quantum X Waves with Orbital Angular Momentum in Nonlinear Dispersive Media

abstract: We present a complete and consistent quantum theory of generalised X waves with orbital angular momentum (OAM) in dispersive media. We show that the resulting quantised light pulses are affected by neither dispersion nor diffraction and are therefore resilient against external perturbations. The nonlinear interaction of quantised X waves in quadratic and Kerr nonlinear media is also presented and studied in detail.


title: A finite state projection algorithm for the stationary solution of the chemical master equation

abstract: The chemical master equation (CME) is frequently used in systems biology to quantify the effects of stochastic fluctuations that arise due to biomolecular species with low copy numbers. The CME is a system of ordinary differential equations that describes the evolution of probability density for each population vector in the state-space of the stochastic reaction dynamics. For many examples of interest, this state-space is infinite, making it difficult to obtain exact solutions of the CME. To deal with this problem, the Finite State Projection (FSP) algorithm was developed by Munsky and Khammash (Jour. Chem. Phys. 2006), to provide approximate solutions to the CME by truncating the state-space. The FSP works well for finite time-periods but it cannot be used for estimating the stationary solutions of CMEs, which are often of interest in systems biology. The aim of this paper is to develop a version of FSP which we refer to as the stationary FSP (sFSP) that allows one to obtain accurate approximations of the stationary solutions of a CME by solving a finite linear-algebraic system that yields the stationary distribution of a continuous-time Markov chain over the truncated state-space. We derive bounds for the approximation error incurred by sFSP and we establish that under certain stability conditions, these errors can be made arbitrarily small by appropriately expanding the truncated state-space. We provide several examples to illustrate our sFSP method and demonstrate its efficiency in estimating the stationary distributions. In particular, we show that using a quantised tensor train (QTT) implementation of our sFSP method, problems admitting more than 100 million states can be efficiently solved.


title: Lecture Notes on Quantum Simulation

abstract: These lecture notes were created for a graduate-level course on quantum simulation taught at Leibniz University Hannover in 2013. The first part of the course discusses various state of the art methods for the numerical description of many-body quantum systems. In particular, I explain successful applications and inherent limitations due to the exponential complexity of the many-body problem. In the second part of the course, I show how using highly controllable quantum system such as ultracold atoms will provide a way to overcome the limitations of classical simulation methods. I discuss several theoretical and experimental achievements and outline the road for future developments.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech physics.atom-ph


title: Many-molecule reaction triggered by a single photon in polaritonic chemistry

abstract: The second law of photochemistry states that in most cases, no more than one molecule is activated for an excited-state reaction for each photon absorbed by a collection of molecules. In this work, we demonstrate that it is possible to trigger a many-molecule reaction using only one photon by strongly coupling the molecular ensemble to a confined light mode. The collective nature of the resulting hybrid states of the system (the so-called polaritons) leads to the formation of a polaritonic "supermolecule" involving the degrees of freedom of all molecules, opening a reaction path on which all involved molecules undergo a chemical transformation. We theoretically investigate the system conditions for this effect to take place and be enhanced.


title: Effective interactions between inclusions in an active bath

abstract: We study effective two- and three-body interactions between non-active colloidal inclusions in an active bath of chiral or non-chiral particles, using Brownian Dynamics simulations within a standard, two-dimensional model of disk-shaped inclusions and active particles. In a non-chiral active bath, we first corroborate previous findings on effective two-body repulsion mediated between the inclusions by elucidating the detailed non-monotonic features of the two-body force profiles, including a primary maximum, and a secondary hump at larger separations that was not previously reported. We then show that these features arise directly from the formation, and sequential overlaps, of circular layers (or 'rings') of active particles around the inclusions, as the latter are brought to small surface separations. These rings extend to radial distances of a few active-particle radii from the surface of inclusions, giving the hard-core inclusions relatively thick, soft, repulsive 'shoulders', whose multiple overlaps then enable significant (non-pairwise) three-body forces in both non-chiral and chiral active baths. The resulting three-body forces can even exceed the two-body forces in magnitude and display distinct repulsive and attractive regimes at intermediate to large self-propulsion strengths. In a chiral active bath, we show that, while active particles still tend to accumulate at the immediate vicinity of the inclusions, they exhibit strong depletion from the intervening region between the inclusions, and partial depletion from relatively thick, circular, zones further away from the inclusions. In this case, the effective, predominantly repulsive, interactions between the inclusions turn to active, chirality-induced, depletion-type attractions, acting over an extended range of separations.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: Prior Indigenous Technological Species

abstract: One of the primary open questions of astrobiology is whether there is extant or extinct life elsewhere the Solar System. Implicit in much of this work is that we are looking for microbial or, at best, unintelligent life, even though technological artifacts might be much easier to find. SETI work on searches for alien artifacts in the Solar System typically presumes that such artifacts would be of extrasolar origin, even though life is known to have existed in the Solar System, on Earth, for eons. But if a prior technological, perhaps spacefaring, species ever arose in the Solar System, it might have produced artifacts or other technosignatures that have survived to present day, meaning Solar System artifact SETI provides a potential path to resolving astrobiology's question. Here, I discuss the origins and possible locations for technosignatures of such a $prior$ $indigenous$ $technological$ $species$, which might have arisen on ancient Earth or another body, such as a pre-greenhouse Venus or a wet Mars. In the case of Venus, the arrival of its global greenhouse and potential resurfacing might have erased all evidence of its existence on the Venusian surface. In the case of Earth, erosion and, ultimately, plate tectonics may have erased most such evidence if the species lived Gyr ago. Remaining indigenous technosignatures might be expected to be extremely old, limiting the places they might still be found to beneath the surfaces of Mars and the Moon, or in the outer Solar System.


title: Notes on Chain Recurrence and Lyapunonv Functions

abstract: This short expository note provides an introduction to the concept of chain recurrence in topological dynamics and a proof of the existence complete Lyapunov functions for homeomorphisms of compact metric spaces due to Charles Conley. I have used it as supplementary material in introductory dynamics courses.


title: Physics-Based Modeling of TID Induced Global Static Leakage in Different CMOS Circuits

abstract: Compact modeling of inter-device radiation-induced leakage underneath the gateless thick STI oxide is presented and validated taking into account CMOS technology and hardness parameters, dose-rate and annealing effects, and dependence on electric modes under irradiation. It was shown that proposed approach can be applied for description of dose dependent static leakage currents in complex FPGA circuits.


title: Polyakov loop correlator in perturbation theory

abstract: We study the Polyakov loop correlator in the weak coupling expansion and show how the perturbative series re-exponentiates into singlet and adjoint contributions. We calculate the order $g^7$ correction to the Polyakov loop correlator in the short distance limit. We show how the singlet and adjoint free energies arising from the re-exponentiation formula of the Polyakov loop correlator are related to the gauge invariant singlet and octet free energies that can be defined in pNRQCD, namely we find that the two definitions agree at leading order in the multipole expansion, but differ at first order in the quark-antiquark distance.


title: Mending the broken PT-regime via an explicit time-dependent Dyson map

abstract: We demonstrate that non-Hermitian Hamiltonian systems with spontaneously broken PT-symmetry and partially complex eigenvalue spectrum can be made meaningful in a quantum mechanical sense when introducing some explicit time-dependence into their parameters. Exploiting the fact that explicitly time-dependent non-Hermitian Hamitonians are unobservable and not identical to the energy operators in such a scenario, we show that their corresponding non-Hermitian energy operators develop a different type of PT-symmetry from the Hamiltonians that ensures the reality of their energy spectra. For this purpose we analytically solve the fully time-dependent Dyson equation with all quantities involved being explicitly time-dependent giving rise to a time-dependent metric. The key auxiliary equation to be solved for the two level atomic system considered here is the nonlinear Ermakov-Pinney equation with time-dependent coefficients.


title: AGN spectral states from simultaneous UV and X-ray observations by XMM-Newton

abstract: The supermassive black holes in active galactic nuclei (AGN) and stellar-mass black holes in X-ray binaries (XRBs) are believed to work in a similar way. While XRBs evolve rapidly and several sources have undergone a few complete cycles from quiescence to an outburst and back, most AGN remain in the same state over periods of decades, due to their longer characteristic timescale proportional to their size. However, the study of the AGN spectral states is still possible with a large sample of sources. Multi-wavelength observations are needed for this purpose since the AGN thermal disc emission dominates in the ultraviolet energy range, while the up-scattered hot-corona emission is detected in X-rays. We compared simultaneous UV and X-ray measurements of AGN obtained by the XMM-Newton satellite. The non-thermal flux was constrained from the 2-12 keV X-ray luminosity, while the thermal disc component was estimated from the UV flux at 2900A. The hardness (ratio between the X-ray and UV plus X-ray luminosity) and the total luminosity were used to construct the AGN state diagrams. For sources with reliable mass measurements, the Eddington ratio was used instead of the total luminosity. The state diagrams show that the radio-loud sources have on average higher hardness, due to the lack of the thermal disc emission in the UV band, and have flatter intrinsic X-ray spectra. In contrast, the sources with high luminosity and low hardness are radio-quiet AGN. The hardness-Eddington ratio diagram reveals that the average radio-loudness is stronger for low-accreting sources, while it decreases when the accretion rate is close to the Eddington limit. Our results indicate that the general properties of AGN accretion states are similar to those of X-ray binaries. This suggests that the AGN radio dichotomy of radio-loud and radio-quiet sources can be explained by the evolution of the accretion states.


title: Imprints of a light Sterile Neutrino at DUNE, T2HK and T2HKK

abstract: We evaluate the impact of sterile neutrino oscillations in the so-called 3+1 scenario on the proposed long baseline experiment in USA and Japan. There are two proposals for the Japan experiment which are called T2HK and T2HKK. We show the impact of sterile neutrino oscillation parameters on the expected sensitivity of T2HK and T2HKK to mass hierarchy, CP violation and octant of $\theta_{23}$ and compare it against that expected in the case of standard oscillations. We add the expected ten years data from DUNE and present the combined expected sensitivity of T2HKK+DUNE to the oscillation parameters. We do a full marginalisation over the relevant parameter space and show the effect of the magnitude of the true sterile mixing angles on the physics reach of these experiments. We show that if one assumes that the source of CP violation is the standard CP phase alone in the test case, then it appears that the expected CP violation sensitivity decreases due to sterile neutrinos. However, if we give up this assumption, then the CP sensitivity could go in either direction. The impact on expected octant of $\theta_{23}$ and mass hierarchy sensitivity is shown to depend on the magnitude of the sterile mixing angles in a nontrivial way.


title: Prospects and Applications Near Ferroelectric Quantum Phase Transitions

abstract: The emergence of complex and fascinating states of quantum matter in the neighborhood of zero temperature phase transitions suggests that such quantum phenomena should be studied in a variety of settings. Advanced technologies of the future may be fabricated from materials where the cooperative behavior of charge, spin and current can be manipulated at cryogenic temperatures. The propagating lattice dynamics of displacive ferroelectrics make them appealing for the study of quantum critical phenomena that is characterized by both space- and time-dependent quantities. In this Key Issues article we aim to provide a self-contained overview of ferroelectrics near quantum phase transitions. Unlike most magnetic cases, the ferroelectric quantum critical point can be tuned experimentally to reside at, above or below its upper critical dimension; this feature allows for detailed interplay between experiment and theory using both scaling and self-consistent field models. Empirically, the sensitivity of the ferroelectrics $T_c$s to external to chemical pressure gives practical access to a broad range of temperature behavior over several hundreds of Kelvin. Additional degrees of freedom like charge and spin can be added and characterized systematically. Satellite memories, electrocaloric cooling and low-loss phased-array radar are among possible applications of low-temperature ferroelectrics. We end with open questions for future research that include textured polarization states and unusual forms of superconductivity that remain to be understood theoretically.


title: Multiple Cell Upset Partitioning for Simulation of Soft Error Rates in Space Systems with Error Correcting Codes

abstract: A self-consistent procedure for the ion-induced soft error rate calculation in space environment taking into account Error Correcting Codes is proposed. The method is based on the partitioning of the multiple cell events into groups with different multiplicities. The proposed partitioning method has been vali-dated for the ground and on-orbit literature data.


title: Advanced Multilevel Monte Carlo Methods

abstract: This article reviews the application of advanced Monte Carlo techniques in the context of Multilevel Monte Carlo (MLMC). MLMC is a strategy employed to compute expectations which can be biased in some sense, for instance, by using the discretization of a associated probability law. The MLMC approach works with a hierarchy of biased approximations which become progressively more accurate and more expensive. Using a telescoping representation of the most accurate approximation, the method is able to reduce the computational cost for a given level of error versus i.i.d. sampling from this latter approximation. All of these ideas originated for cases where exact sampling from couples in the hierarchy is possible. This article considers the case where such exact sampling is not currently possible. We consider Markov chain Monte Carlo and sequential Monte Carlo methods which have been introduced in the literature and we describe different strategies which facilitate the application of MLMC within these methods.


title: Relativistic response and novel spin-charge plasmon at the Tl/Si(111) surface

abstract: We present a comprehensive \textit{ab initio} analysis of the spin-charge correlations at the Tl/Si(111) surface, where the spin-orbit interaction is so strong that a detailed treatment of the non-collinear electron spin appears decisive for the correct description of the response properties. The relativistic limit enforces a unified treatment of the spin and charge densities as a four-vector, and the response function acquires then a 4$\times$4 tensor structure. Our all-electron implementation allows to resolve the real space structure of the possible collective modes, and demonstrates the emergence of a novel collective excitation combining transverse-spin and ordinary charge oscillations of a similar order of magnitude, whose spin character is strongly enhanced as we approach the $q$$\rightarrow$0 momentum limit.


title: Using Speech Technology for Quantifying Behavioral Characteristics in Peer-Led Team Learning Sessions

abstract: Peer-Led Team Learning (PLTL) is a learning methodology where a peer-leader co-ordinate a small-group of students to collaboratively solve technical problems. PLTL have been adopted for various science, engineering, technology and maths courses in several US universities. This paper proposed and evaluated a speech system for behavioral analysis of PLTL groups. It could help in identifying the best practices for PLTL. The CRSS-PLTL corpus was used for evaluation of developed algorithms. In this paper, we developed a robust speech activity detection (SAD) by fusing the outputs of a DNN-based pitch extractor and an unsupervised SAD based on voicing measures. Robust speaker diarization system consisted of bottleneck features (from stacked autoencoder) and informed HMM-based joint segmentation and clustering system. Behavioral characteristics such as participation, dominance, emphasis, curiosity and engagement were extracted by acoustic analyses of speech segments belonging to all students. We proposed a novel method for detecting question inflection and performed equal error rate analysis on PLTL corpus. In addition, a robust approach for detecting emphasized speech regions was also proposed. Further, we performed exploratory data analysis for understanding the distortion present in CRSS-PLTL corpus as it was collected in naturalistic scenario. The ground-truth Likert scale ratings were used for capturing the team dynamics in terms of student's responses to a variety of evaluation questions. Results suggested the applicability of proposed system for behavioral analysis of small-group conversations such as PLTL, work-place meetings etc.. Keywords- Behavioral Speech Processing, Bottleneck Features, Curiosity, Deep Neural Network, Dominance, Auto-encoder, Emphasis, Engagement, Peer-Led Team Learning, Speaker Diarization, Small-group Conversations


title: Radiative rates and electron impact excitation rates for transitions in He II

abstract: We report calculations of energy levels, radiative rates, collision strengths, and effective collision strengths for transitions among the lowest 25 levels of the n <= 5 configurations of He~II. The general-purpose relativistic atomic structure package (GRASP) and Dirac atomic R-matrix code (DARC) are adopted for the calculations. Radiative rates, oscillator strengths, and line strengths are reported for all electric dipole (E1), magnetic dipole (M1), electric quadrupole (E2), and magnetic quadrupole (M2) transitions among the 25 levels. Furthermore, collision strengths and effective collision strengths are listed for all 300 transitions among the above 25 levels over a wide energy (temperature) range up to 9 Ryd (10**5.4 K). Comparisons are made with earlier available results and the accuracy of the data is assessed.


title: Discontinuous switching of position of two coexisting phases

abstract: Here we investigate how the positions of a condensed phase can be controlled by using concentration gradients of a regulator that influences phase separation. We consider a mean field model of a ternary mixture where a concentration gradient of a regulator is imposed by an external potential. We show that novel first order phase transition exists at which the position of the condensed phase switches in a discontinuous manner. This mechanism could have implications for the spatial organization of biological cells and provides a control mechanism for droplets in microfluidic systems.


title: Spin dynamics and magnetic-field-induced polarization of excitons in ultrathin GaAs/AlAs quantum wells with indirect band gap and type-II band alignment

abstract: The exciton spin dynamics are investigated both experimentally and theoretically in two-monolayer-thick GaAs/AlAs quantum wells with an indirect band gap and a type-II band alignment. The magnetic-field-induced circular polarization of photoluminescence, $P_c$, is studied as function of the magnetic field strength and direction as well as sample temperature. The observed nonmonotonic behaviour of these functions is provided by the interplay of bright and dark exciton states contributing to the emission. To interpret the experiment, we have developed a kinetic master equation model which accounts for the dynamics of the spin states in this exciton quartet, radiative and nonradiative recombination processes, and redistribution of excitons between these states as result of spin relaxation. The model offers quantitative agreement with experiment and allows us to evaluate, for the studied structure, the heavy-hole $g$ factor, $g_{hh}=+3.5$, and the spin relaxation times of electron, $\tau_{se} = 33~\mu$s, and hole, $\tau_{sh} = 3~\mu$s, bound in the exciton.


title: Examples of non-trivial contact mapping classes for overtwisted contact manifolds in all dimensions

abstract: We construct (infinitely many) examples in all dimensions of contactomorphisms of closed overtwisted contact manifolds that are smoothly isotopic but not contact-isotopic to the identity.


title: Finding, Hitting and Packing Cycles in Subexponential Time on Unit Disk Graphs

abstract: We give algorithms with running time $2^{O({\sqrt{k}\log{k}})} \cdot n^{O(1)}$ for the following problems. Given an $n$-vertex unit disk graph $G$ and an integer $k$, decide whether $G$ contains (1) a path on exactly/at least $k$ vertices, (2) a cycle on exactly $k$ vertices, (3) a cycle on at least $k$ vertices, (4) a feedback vertex set of size at most $k$, and (5) a set of $k$ pairwise vertex-disjoint cycles. For the first three problems, no subexponential time parameterized algorithms were previously known. For the remaining two problems, our algorithms significantly outperform the previously best known parameterized algorithms that run in time $2^{O(k^{0.75}\log{k})} \cdot n^{O(1)}$. Our algorithms are based on a new kind of tree decompositions of unit disk graphs where the separators can have size up to $k^{O(1)}$ and there exists a solution that crosses every separator at most $O(\sqrt{k})$ times. The running times of our algorithms are optimal up to the $\log{k}$ factor in the exponent, assuming the Exponential Time Hypothesis.


title: Asymptotic behavior of Eigen's quasispecies model

abstract: We study Eigen's quasispecies model in the asymptotic regime where the length of the genotypes goes to infinity and the mutation probability goes to 0. A limiting infinite system of differential equations is obtained. We prove the convergence of the trajectories, as well as the convergence of the equilibrium solutions. We give the analogous results for a discrete-time version of Eigen's model, which coincides with a model proposed by Moran.


title: Covert Quantum Internet

abstract: We apply covert quantum communication based on entanglement generated from the Minkowski vacuum to the setting of quantum computation and quantum networks. Our approach hides the generation and distribution of entanglement in quantum networks by taking advantage of relativistic quantum effects. We devise a suite of covert quantum teleportation protocols that utilize the shared entanglement, local operations, and covert classical communication to transfer or process quantum information in stealth. As an application of our covert suite, we construct two prominent examples of measurement-based quantum computation, namely the teleportation-based quantum computer and the one-way quantum computer. In the latter case we explore the covert generation of graph states, and subsequently outline a protocol for the covert implementation of universal blind quantum computation.


title: Quantum oscillations in Weyl semimetals - a surface theory approach

abstract: We develop an effective surface theory for the surface states of a Weyl semimetal. This theory includes the peculiar Fermi arc states on the surface as well as leakage of the states from the surface to the bulk. Subjecting the model to a magnetic field perpendicular to the surface results in quantum oscillations. The oscillations are different from the usual ones since they do not involve a closed Fermi surface cross section. It has been shown previously that the Quantum oscillations can be understood semiclassically as resulting from motion of electrons on the surface Fermi arcs as well as tunneling through chiral Landau levels associated with the bulk. In this work we develop an effective surface theory and use it to analyze the quantum oscillation in the semiclassical regime and beyond. Specifically, we show that when a pair of Weyl points are close to each other the surface quantum oscillations acquire a phase offset which originates from the bulk. While the surface states are responsible for a large part of the electron motion, tunneling through the bulk is necessary for completing the orbit. This tunneling makes use of the bulk, zero energy, chiral Landau level in each Weyl node. When the nodes are close in momentum space their chiral levels overlap and a gap at zero energy is formed. This gap causes the phase offset in the surface quantum oscillations.


title: Quasilinear diffusion coefficients in a finite Larmor radius expansion for ion cyclotron heated plasmas

abstract: In this paper, a reduced model of quasilinear diffusion by a small Larmor radius approximation is derived to couple the Maxwell's equations and the Fokker-Planck equation self-consistently for ion cyclotron range of frequency waves in a tokamak. The reduced model ensures the important properties of the full model by Kennel-Engelmann diffusion, such as diffusion directions, wave polarizations, and H-theorem. The kinetic energy change (W-dot) is used to derive the reduced model diffusion coefficients for the fundamental damping and the second harmonic damping to the lowest order of the finite Larmor radius expansion. The quasilinear diffusion coefficients are implemented in a coupled code (TORIC-CQL3D) with the equivalent reduced model of dielectric tensor. We also present the simulations of the ITER minority heating scenario, in which the reduced model is verified within the allowable errors from the full model results.


title: Hitting minors on bounded treewidth graphs. I. General upper bounds

abstract: For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, deciding whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor. We are interested in the parameterized complexity of ${\cal F}$-M-DELETION when the parameter is the treewidth of $G$, denoted by $tw$. Our objective is to determine, for a fixed ${\cal F}$, the smallest function $f_{{\cal F}}$ such that {${\cal F}$-M-DELETION can be solved in time $f_{{\cal F}}(tw) \cdot n^{O(1)}$ on $n$-vertex graphs. We prove that $f_{{\cal F}}(tw) = 2^{2^{O(tw \cdot\log tw)}}$ for every collection ${\cal F}$, that $f_{{\cal F}}(tw) = 2^{O(tw \cdot\log tw)}$ if ${\cal F}$ contains a planar graph, and that $f_{{\cal F}}(tw) = 2^{O(tw)}$ if in addition the input graph $G$ is planar or embedded in a surface. We also consider the version of the problem where the graphs in ${\cal F}$ are forbidden as topological minors, called ${\cal F}$-TM-DELETION. We prove similar results for this problem, except that in the last two algorithms, instead of requiring ${\cal F}$ to contain a planar graph, we need it to contain a subcubic planar graph. This is the first of a series of articles on this topic.


title: Analytical and simplified models for dynamic analysis of short skew bridges under moving loads

abstract: Skew bridges are common in highways and railway lines when non perpendicular crossings are encountered. The structural effect of skewness is an additional torsion on the bridge deck which may have a considerable effect, making its analysis and design more complex. In this paper, an analytical model following 3D beam theory is firstly derived in order to evaluate the dynamic response of skew bridges under moving loads. Following, a simplified 2D model is also considered which includes only vertical beam bending. The natural frequencies, eigenmodes and orthogonality relationships are determined from the boundary conditions. The dynamic response is determined in time domain by using the "exact'" integration. Both models are validated through some numerical examples by comparing with the results obtained by 3D FE models. A parametric study is performed with the simplified model in order to identify parameters that significantly influence the vertical dynamic response of the skew bridge under traffic loads. The results show that the grade of skewness has an important influence on the vertical displacement, but hardly on the vertical acceleration of the bridge. The torsional stiffness really has effect on the vertical displacement when the skew angle is large. The span length reduces the skewness effect on the dynamic behavior of the skew bridge.


title: Dark stars: gravitational and electromagnetic observables

abstract: Theoretical models of self-interacting dark matter represent a promising answer to a series of open problems within the so-called collisionless cold dark matter (CCDM) paradigm. In case of asymmetric dark matter, self-interactions might facilitate gravitational collapse and potentially lead to formation of compact objects predominantly made of dark matter. Considering both fermionic and bosonic equations of state, we construct the equilibrium structure of rotating dark stars, focusing on their bulk properties, and comparing them with baryonic neutron stars. We also show that these dark objects admit the $I$-Love-$Q$ universal relations, which link their moments of inertia, tidal deformabilities, and quadrupole moments. Finally, we prove that stars built with a dark matter equation of state are not compact enough to mimic black holes in general relativity, thus making them distinguishable in potential events of gravitational interferometers.


title: Parsing Speech: A Neural Approach to Integrating Lexical and Acoustic-Prosodic Information

abstract: In conversational speech, the acoustic signal provides cues that help listeners disambiguate difficult parses. For automatically parsing spoken utterances, we introduce a model that integrates transcribed text and acoustic-prosodic features using a convolutional neural network over energy and pitch trajectories coupled with an attention-based recurrent neural network that accepts text and prosodic features. We find that different types of acoustic-prosodic features are individually helpful, and together give statistically significant improvements in parse and disfluency detection F1 scores over a strong text-only baseline. For this study with known sentence boundaries, error analyses show that the main benefit of acoustic-prosodic features is in sentences with disfluencies, attachment decisions are most improved, and transcription errors obscure gains from prosody.


title: Stochastic representation of tau functions of Korteweg-de Vries equation

abstract: In this paper we express tau functions for the Korteweg de Vries (KdV) equation, as Laplace transforms of iterated Skorohod integrals. Our main tool is the notion of Fredholm determinant of an integral operator. Our result extends the paper of Ikeda and Taniguchi who obtained a stochastic representation of tau functions for the $N$-soliton solutions of KdV as the Laplace transform of a quadratic functional of $N$ independent Ornstein-Uhlenbeck processes. Our general result goes beyond the $N$-soliton case and enables us to consider a non soliton solution of KdV associated to a Gaussian process with Cauchy covariance function.


title: \emph{Ab initio} theory of $\text{N}_{2}\text{V}$ defect as quantum memory in diamond

abstract: $\text{N}_{2}\text{V}$ defect in diamond is characterized by means of \emph{ab initio} methods relying on density functional theory calculated parameters of a Hubbard model Hamiltonian. It is shown that this approach appropriately describes the energy levels of correlated excited states induced by this defect. By determining its critical magneto-optical parameters, we propose to realize a long-living quantum memory by $\text{N}_{2}\text{V}$ defect in diamond.


title: Penalty models for bitstrings of constant Hamming weight

abstract: To program a quantum annealer, one must construct objective functions whose minima encode hard constraints imposed by the underlying problem. For such "penalty models," one desires the additional property that the gap in the objective value between such minima and states that fail the constraints is maximized amongst the allowable objective functions. In this short note, we prove the standard penalty model for the constraint that a bitstring has given Hamming weight is optimal with respect to objective value gap.


title: Minimal Controllability of Conjunctive Boolean Networks is NP-Complete

abstract: Given a conjunctive Boolean network (CBN) with $n$ state-variables, we consider the problem of finding a minimal set of state-variables to directly affect with an input so that the resulting conjunctive Boolean control network (CBCN) is controllable. We give a necessary and sufficient condition for controllability of a CBCN; an $O(n^2)$-time algorithm for testing controllability; and prove that nonetheless the minimal controllability problem for CBNs is NP-hard.


title: Percolation based architecture for cluster state creation using photon-mediated entanglement between atomic memories

abstract: A central challenge for many quantum technologies concerns the generation of large entangled states of individually addressable quantum memories. Here, we show that percolation theory allows the rapid production of arbitrarily large graph states by heralded photonic entanglement in a lattice of atomic memories. This approach can greatly reduce the time required to produce large cluster resource states for quantum information processing, including states required for universal one-way quantum computing. This reduction puts our architecture in an operational regime where demonstrated collection, coupling and detection efficiencies are sufficient for generating resource states for universal quantum computing within an experimentally demonstrated coherence time. The approach also dispenses the need for time consuming feed-forward, high-cooperativity interfaces and ancilla single photons, and can also tolerate a high rate of site imperfections. We also derive the minimum coherence time for the atomic memory to scalably create large-scale photonic-entanglement without feed-forward as a function of collection efficiency, setting a critical benchmark for future experimental demonstrations. We also propose a variant of the architecture with long-range connections that makes our architecture even more resilient to low site yields. We analyze our architecture for nitrogen-vacancy (NV) centers in diamond, though the approach applies to any atomic or atom-like system.


title: Measuring the Accuracy of Object Detectors and Trackers

abstract: The accuracy of object detectors and trackers is most commonly evaluated by the Intersection over Union (IoU) criterion. To date, most approaches are restricted to axis-aligned or oriented boxes and, as a consequence, many datasets are only labeled with boxes. Nevertheless, axis-aligned or oriented boxes cannot accurately capture an object's shape. To address this, a number of densely segmented datasets has started to emerge in both the object detection and the object tracking communities. However, evaluating the accuracy of object detectors and trackers that are restricted to boxes on densely segmented data is not straightforward. To close this gap, we introduce the relative Intersection over Union (rIoU) accuracy measure. The measure normalizes the IoU with the optimal box for the segmentation to generate an accuracy measure that ranges between 0 and 1 and allows a more precise measurement of accuracies. Furthermore, it enables an efficient and easy way to understand scenes and the strengths and weaknesses of an object detection or tracking approach. We display how the new measure can be efficiently calculated and present an easy-to-use evaluation framework. The framework is tested on the DAVIS and the VOT2016 segmentations and has been made available to the community.


title: Interplay of Fluorescence and Phosphorescence in Organic Biluminescent Emitters

abstract: Biluminescent organic emitters show simultaneous fluorescence and phosphorescence at room temperature. So far, the optimization of the room temperature phosphorescence (RTP) in these materials has drawn the attention of research. However, the continuous wave operation of these emitters will consequently turn them into systems with vastly imbalanced singlet and triplet populations, which is due to the respective excited state lifetimes. This study reports on the exciton dynamics of the biluminophore NPB (N,N-di(1-naphthyl)-N,N-diphenyl-(1,1-biphenyl)-4,4-diamine). In the extreme case, the singlet and triplet exciton lifetimes stretch from 3 ns to 300 ms, respectively. Through sample engineering and oxygen quenching experiments, the triplet exciton density can be controlled over several orders of magnitude allowing to studying exciton interactions between singlet and triplet manifolds. The results show, that singlet-triplet annihilation reduces the overall biluminescence efficiency already at moderate excitation levels. Additionally, the presented system represents an illustrative role model to study excitonic effects in organic materials.


title: General enegy decay for a viscoelastic equation of Kirchhoff type with acoustic boundary conditions

abstract: This paper is concerned with a viscoelastic equation of Kirchhoff type with acoustic boundary conditions in a bounded domain of $\mathbb{R}^{n}.$ We show that, under suitable conditions on the initial data, the solution exists globally in time. Then, we prove the general energy decay of global solutions by applying a lemma of P. Martinez, wihch allows us to get our decay result for a class of relaxation functions wider than that usually used.


title: A Real-time Hand Gesture Recognition and Human-Computer Interaction System

abstract: In this project, we design a real-time human-computer interaction system based on hand gesture. The whole system consists of three components: hand detection, gesture recognition and human-computer interaction (HCI) based on recognition; and realizes the robust control of mouse and keyboard events with a higher accuracy of gesture recognition. Specifically, we use the convolutional neural network (CNN) to recognize gestures and makes it attainable to identify relatively complex gestures using only one cheap monocular camera. We introduce the Kalman filter to estimate the hand position based on which the mouse cursor control is realized in a stable and smooth way. During the HCI stage, we develop a simple strategy to avoid the false recognition caused by noises - mostly transient, false gestures, and thus to improve the reliability of interaction. The developed system is highly extendable and can be used in human-robotic or other human-machine interaction scenarios with more complex command formats rather than just mouse and keyboard events.


title: Micro-plasticity and recent insights from intermittent and small-scale plasticity

abstract: Prior to macroscopic yielding, most materials undergo a regime of plastic activity that cannot be resolved in conventional bulk deformation experiments. In this pre-yield, or micro-plastic regime, it is the initial three dimensional defect network that is probed and the intermittently evolving microstructure admits small increments in plastic strain. By reducing the sample size, this intermittent activity becomes increasingly apparent and can be routinely observed through small-scale mechanical testing. In some cases, the intermittent activity was shown to exhibit aspects of scale-free behavior, prompting a paradigm shift away from traditional microstructure-dependent unit mechanisms that may be associated with a well defined length and stress scale. In this article, we discuss and review connections between classical micro-plasticity and intermittent flow across all length scales, with the aim of highlighting the value of miniaturized testing as a means to unravel this very early regime of bulk plasticity.


title: Noise in One-Dimensional Measurement-Based Quantum Computing

abstract: Measurement-Based Quantum Computing (MBQC) is an alternative to the quantum circuit model, whereby the computation proceeds via measurements on an entangled resource state. Noise processes are a major experimental challenge to the construction of a quantum computer. Here, we investigate how noise processes affecting physical states affect the performed computation by considering MBQC on a one-dimensional cluster state. This allows us to break down the computation in a sequence of building blocks and map physical errors to logical errors. Next, we extend the Matrix Product State construction to mixed states (which is known as Matrix Product Operators) and once again map the effect of physical noise to logical noise acting within the correlation space. This approach allows us to consider more general errors than the conventional Pauli errors, and could be used in order to simulate noisy quantum computation.


title: Classification of empty lattice $4$-simplices of width larger than two

abstract: A lattice $d$-simplex is the convex hull of $d+1$ affinely independent integer points in ${\mathbb R}^d$. It is called empty if it contains no lattice point apart of its $d+1$ vertices. The classification of empty $3$-simplices is known since 1964 (White), based on the fact that they all have width one. But for dimension $4$ no complete classification is known. Haase and Ziegler (2000) enumerated all empty $4$-simplices up to determinant 1000 and based on their results conjectured that after determinant $179$ all empty $4$-simplices have width one or two. We prove this conjecture as follows: - We show that no empty $4$-simplex of width three or more can have determinant greater than 5058, by combining the recent classification of hollow 3-polytopes (Averkov, Kr\"umpelmann and Weltge, 2017) with general methods from the geometry of numbers. - We continue the computations of Haase and Ziegler up to determinant 7600, and find that no new $4$-simplices of width larger than two arise. In particular, we give the whole list of empty $4$-simplices of width larger than two, which is as computed by Haase and Ziegler: There is a single empty $4$-simplex of width four (of determinant 101), and 178 empty $4$-simplices of width three, with determinants ranging from 41 to 179.


title: Generic rotating regular black holes in general relativity coupled to nonlinear electrodynamics

abstract: We construct regular rotating black hole and no-horizon spacetimes based on the recently introduced spherically symmetric generic regular black hole spacetimes related to electric or magnetic charge under nonlinear electrodynamics coupled to general relativity that for special values of the spacetime parameters reduce to the Bardeen and Hayward spacetimes. We show that the weak and strong energy conditions are violated inside the Cauchy horizons of these generic rotating black holes. We give the boundary between the rotating black hole and no-horizon spacetimes and determine the black hole horizons and the boundary of the ergosphere. We introduce the separated Carter equations for the geodesic motion in these rotating spacetimes. For the most interesting new class of the regular spacetimes, corresponding for magnetic charges to the Maxwell field in the weak field limit of the nonlinear electrodynamics, we determine the structure of the circular geodesics and discuss their properties. We study the epicyclic motion of a neutral particle moving along the stable circular orbits around the "Maxwellian" rotating regular black holes. We show that epicyclic frequencies measured by the distant observers and related to the oscillatory motion of the neutral test particle along the stable circular orbits around the rotating singular and regular Maxwellian black holes are always smaller than ones in the Kerr spacetime.


title: Thermal processing and enthalpy storage of an amorphous solid: a molecular dynamics study

abstract: Using very long molecular dynamics simulation runs, temperature protocols spanning up to five orders of magnitude in time-scales are performed to investigate thermally activated structural relaxation in a model amorphous solid. The simulations demonstrate significant local structural excitations as a function of increasing temperature and show that enthalpy rather than energy is primarily responsible for relaxation. The observed enthalpy changes are of the order seen in experiment, and can be correlated with the level of internal hydrostatic stress homogenization and icosahedral content within the solid.


title: On the existence of Free Models in Fuzzy Universal Horn Classes

abstract: This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming. We introduce the notion of term structure associated to a set of formulas in the fuzzy context and we show the existence of free models in fuzzy universal Horn classes. We prove that every equality-free consistent universal Horn fuzzy theory has a Herbrand model.


title: Magnetic field fluctuations analysis for the ion trap implementation of the quantum Rabi model in the the deep strong coupling regime

abstract: The dynamics of the quantum Rabi model in the deep strong coupling regime is theoretically analyzed in a trapped-ion setup. Recognizably, the main hallmark of this regime is the emergence of collapses and revivals, whose faithful observation is hindered under realistic magnetic dephasing noise. Here we discuss how to attain a faithful implementation of the quantum Rabi model in the deep strong coupling regime which is robust against magnetic field fluctuations and at the same time provides a large tunability of the simulated parameters. This is achieved by combining standing wave laser configuration with continuous dynamical decoupling. In addition, we study the role that amplitude fluctuations play to correctly attain the quantum Rabi model using the proposed method. In this manner the present work further supports the suitability of continuous dynamical decoupling techniques in trapped-ion settings to faithfully realize different interacting dynamics.


title: U(1)$\times$SU(2) Gauge Invariance Made Simple for Density Functional Approximations

abstract: A semi-relativistic density-functional theory that includes spin-orbit couplings and Zeeman fields on equal footing with the electromagnetic potentials, is an appealing framework to develop a unified first-principles computational approach for non-collinear magnetism, spintronics, orbitronics, and topological states. The basic variables of this theory include the paramagnetic current and the spin-current density, besides the particle and the spin density, and the corresponding exchange-correlation (xc) energy functional is invariant under local U(1)$\times$SU(2) gauge transformations. The xc-energy functional must be approximated to enable practical applications, but, contrary to the case of the standard density functional theory, finding simple approximations suited to deal with realistic atomistic inhomogeneities has been a long-standing challenge. Here, we propose a way out of this impasse by showing that approximate gauge-invariant functionals can be easily generated from existing approximate functionals of ordinary density-functional theory by applying a simple {\it minimal substitution} on the kinetic energy density, which controls the short-range behavior of the exchange hole. Our proposal opens the way to the construction of approximate, yet non-empirical functionals, which do not assume weak inhomogeneity and should therefore have a wide range of applicability in atomic, molecular and condensed matter physics.


title: Timing the Evolution of the Galactic Disk with NGC 6791: An Open Cluster with Peculiar High-$\alpha$ Chemistry as seen by APOGEE

abstract: We utilize elemental-abundance information for Galactic red giant stars in five open clusters (NGC 7789, NGC 6819, M67, NGC 188, and NGC 6791) from the Apache Point Observatory Galactic Evolution Experiment (APOGEE) DR13 dataset to age-date the chemical evolution of the high- and low-$\alpha$ element sequences of the Milky Way. Key to this time-stamping is the cluster NGC 6791, whose stellar members have mean abundances that place it in the high-$\alpha$, high-[Fe/H] region of the [$\alpha$/Fe]-[Fe/H] plane. Based on the cluster's age ($\sim 8$ Gyr), Galactocentric radius, and height above the Galactic plane, as well as comparable chemistry reported for APOGEE stars in Baade's Window, we suggest that the two most likely origins for NGC 6791 are as an original part of the thick-disk, or as a former member of the Galactic bulge. Moreover, because NGC 6791 lies at the \textit{high metallicity end} ([Fe/H] $\sim 0.4$) of the high-$\alpha$ sequence, the age of NGC 6791 places a limit on the \textit{youngest age} of stars in the high-metallicity, high-$\alpha$ sequence for the cluster's parent population (i.e., either the bulge or the disk). In a similar way, we can also use the age and chemistry of NGC 188 to set a limit of $\sim 7$ Gyr on the \textit{oldest age} of the low-$\alpha$ sequence of the Milky Way. Therefore, NGC 6791 and NGC 188 are potentially a pair of star clusters that bracket both the timing and the duration of an important transition point in the chemical history of the Milky Way.


title: Relaxations of GF$(4)$-representable matroids

abstract: We consider the GF$(4)$-representable matroids with a circuit-hyperplane such that the matroid obtained by relaxing the circuit-hyperplane is also GF$(4)$-representable. We characterize the structure of these matroids as an application of structure theorems for the classes of $U_{2,4}$-fragile and $\{U_{2,5},U_{3,5}\}$-fragile matroids. In addition, we characterize the forbidden submatrices in GF$(4)$-representations of these matroids.


title: Gaussian lower bounds for non-homogeneous Kolmogorov equations with measurable coefficients

abstract: We prove Gaussian upper and lower bounds for the fundamental solutions of a class of degenerate parabolic equations satisfying a weak Hormander condition. The bound is independent of the smoothness of the coefficients and generalizes classical results for uniformly parabolic equations


title: Non-Intrusive Energy Disaggregation Using Non-negative Matrix Factorization with Sum-to-k Constraint

abstract: Energy disaggregation or Non-Intrusive Load Monitoring (NILM) addresses the issue of extracting device-level energy consumption information by monitoring the aggregated signal at one single measurement point without installing meters on each individual device. Energy disaggregation can be formulated as a source separation problem where the aggregated signal is expressed as linear combination of basis vectors in a matrix factorization framework. In this paper, an approach based on Sum-to-k constrained Non-negative Matrix Factorization (S2K-NMF) is proposed. By imposing the sum-to-k constraint and the non-negative constraint, S2K-NMF is able to effectively extract perceptually meaningful sources from complex mixtures. The strength of the proposed algorithm is demonstrated through two sets of experiments: Energy disaggregation in a residential smart home, and HVAC components energy monitoring in an industrial building testbed maintained at the Oak Ridge National Laboratory (ORNL). Extensive experimental results demonstrate the superior performance of S2K-NMF as compared to state-of-the-art decomposition-based disaggregation algorithms. The source code and our collected data (HVORUT) for studying NILM for HVAC units can be found at https://bitbucket.org/aicip/nonintrusive-load-monitoring.


title: Computational Notions of Quantum Min-Entropy

abstract: We initiate the study of computational entropy in the quantum setting. We investigate to what extent the classical notions of computational entropy generalize to the quantum setting, and whether quantum analogues of classical theorems hold. Our main results are as follows. (1) The classical Leakage Chain Rule for pseudoentropy can be extended to the case that the leakage information is quantum (while the source remains classical). Specifically, if the source has pseudoentropy at least $k$, then it has pseudoentropy at least $k-\ell$ conditioned on an $\ell$-qubit leakage. (2) As an application of the Leakage Chain Rule, we construct the first quantum leakage-resilient stream-cipher in the bounded-quantum-storage model, assuming the existence of a quantum-secure pseudorandom generator. (3) We show that the general form of the classical Dense Model Theorem (interpreted as the equivalence between two definitions of pseudo-relative-min-entropy) does not extend to quantum states. Along the way, we develop quantum analogues of some classical techniques (e.g. the Leakage Simulation Lemma, which is proven by a Non-uniform Min-Max Theorem or Boosting). On the other hand, we also identify some classical techniques (e.g. Gap Amplification) that do not work in the quantum setting. Moreover, we introduce a variety of notions that combine quantum information and quantum complexity, and this raises several directions for future work.


title: Lasing in topological edge states of a 1D lattice

abstract: Topology describes properties that remain unaffected by smooth distortions. Its main hallmark is the emergence of edge states localized at the boundary between regions characterized by distinct topological invariants. This feature offers new opportunities for robust trapping of light in nano- and micro-meter scale systems subject to fabrication imperfections and to environmentally induced deformations. Here we show lasing in such topological edge states of a one-dimensional lattice of polariton micropillars that implements an orbital version of the Su-Schrieffer-Heeger Hamiltonian. We further demonstrate that lasing in these states persists under local deformations of the lattice. These results open the way to the implementation of chiral lasers in systems with broken time-reversal symmetry and, when combined with polariton interactions, to the study of nonlinear topological photonics.


title: On 1-uniqueness and dense critical graphs for tree-depth

abstract: The tree-depth of $G$ is the smallest value of $k$ for which a labeling of the vertices of $G$ with elements from $\{1,\dots,k\}$ exists such that any path joining two vertices with the same label contains a vertex having a higher label. The graph $G$ is $k$-critical if it has tree-depth $k$ and every proper minor of $G$ has smaller tree-depth. Motivated by a conjecture on the maximum degree of $k$-critical graphs, we consider the property of 1-uniqueness, wherein any vertex of a critical graph can be the unique vertex receiving label 1 in an optimal labeling. Contrary to an earlier conjecture, we construct examples of critical graphs that are not 1-unique and show that 1-unique graphs can have arbitrarily many more edges than certain critical spanning subgraphs. We also show that $(n-1)$-critical graphs are 1-unique and use 1-uniqueness to show that the Andr\'{a}sfai graphs are critical with respect to tree-depth.


title: Detection, Recognition and Tracking of Moving Objects from Real-time Video via SP Theory of Intelligence and Species Inspired PSO

abstract: In this paper, we address the basic problem of recognizing moving objects in video images using SP Theory of Intelligence. The concept of SP Theory of Intelligence which is a framework of artificial intelligence, was first introduced by Gerard J Wolff, where S stands for Simplicity and P stands for Power. Using the concept of multiple alignment, we detect and recognize object of our interest in video frames with multilevel hierarchical parts and subparts, based on polythetic categories. We track the recognized objects using the species based Particle Swarm Optimization (PSO). First, we extract the multiple alignment of our object of interest from training images. In order to recognize accurately and handle occlusion, we use the polythetic concepts on raw data line to omit the redundant noise via searching for best alignment representing the features from the extracted alignments. We recognize the domain of interest from the video scenes in form of wide variety of multiple alignments to handle scene variability. Unsupervised learning is done in the SP model following the DONSVIC principle and natural structures are discovered via information compression and pattern analysis. After successful recognition of objects, we use species based PSO algorithm as the alignments of our object of interest is analogues to observation likelihood and fitness ability of species. Subsequently, we analyze the competition and repulsion among species with annealed Gaussian based PSO. We have tested our algorithms on David, Walking2, FaceOcc1, Jogging and Dudek, obtaining very satisfactory and competitive results.


title: Elite Bases Regression: A Real-time Algorithm for Symbolic Regression

abstract: Symbolic regression is an important but challenging research topic in data mining. It can detect the underlying mathematical models. Genetic programming (GP) is one of the most popular methods for symbolic regression. However, its convergence speed might be too slow for large scale problems with a large number of variables. This drawback has become a bottleneck in practical applications. In this paper, a new non-evolutionary real-time algorithm for symbolic regression, Elite Bases Regression (EBR), is proposed. EBR generates a set of candidate basis functions coded with parse-matrix in specific mapping rules. Meanwhile, a certain number of elite bases are preserved and updated iteratively according to the correlation coefficients with respect to the target model. The regression model is then spanned by the elite bases. A comparative study between EBR and a recent proposed machine learning method for symbolic regression, Fast Function eXtraction (FFX), are conducted. Numerical results indicate that EBR can solve symbolic regression problems more effectively.


title: On the Possibility that Ultra-Light Boson halos host and form Super-massive Black Holes

abstract: Several observations suggest the existence of super-massive black holes (SMBH) at the centers of giant galaxies. However the mechanism under which these objects form remains non completely understood. In this work we review an alternative mechanism of formation of galactic SMBHs. This is, the collapse of ultra-light scalar field configurations playing the role of dark matter halos. Several works have studied this scenario and investigated its plausibility. The theory of collapse of scalar field configurations into compact objects has been extensively studied regarding to boson stars, in this work we extrapolate such results for models of galactic halos hosting central SMBHs. We construct the simplest setup of an ultra-light scalar field configuration laying in a Schwarzschild space-time for modeling a galactic system with a SMBH in the quasi-static limit. This model is applicable to systems either out of their accretion-phase at late times or either for those undergoing into a very slow accretion-phase, such as some early-type giant elliptic galaxies and bulges. On the other hand, very recent direct observation of Sagittarius A by the Event Horizon Telescope will open an era of explorations of the deep-inner galactic region of the Milky Way that will enable us to test and distinguish various dark matter models. Thus we use our model to give a very first step towards that direction. We derive the stellar kinematics induced by this sort dark matter to obtain information of the black hole's influence into the observable features of the velocity field of visible matter deep inside the galaxy. Thus we compute the radial velocity, acceleration and velocity dispersion densities for some realistic cases.


title: Magnetotransport properties of La$_{1-x}$Ca$_x$MnO$_3$ (0.52 $\leq x \leq$ 0.75): signature of phase coexistence

abstract: We report the temperature and magnetic field dependence of transport properties in epitaxial films of the manganite La$_{1-x}$Ca$_{x}$MnO$_{3}$ in the overdoped region of the phase diagram for $x > 0.5$, where a charge--ordered (CO) and an antiferromagnetic (AF) phase are present. Resistivity, magnetoresistance and angular dependence of magnetoresistance were measured in the temperature interval $4.2 ~\mathrm{K} < T < 300 ~\mathrm{K}$, for three concentrations $x = 0.52, 0.58$ and $0.75$ and in magnetic fields up to 5 T. The semiconductor/insulator--like behavior in zero field was observed in the entire temperature range for all three concentrations \textit{x} and the electric conduction, at lower temperatures, in the CO state obeys 3D Mott's variable--range hopping model. A huge negative magnetoresistance for $x = 0.52$ and $x = 0.58$, a metal--insulator transition for $B > 3 ~\mathrm{T}$ for $x = 0.52$ and the presence of anisotropy in magnetoresistance for $x = 0.52$ and $x = 0.58$ show the fingerprints of colossal magnetoresistance (CMR) behavior implying the existence of ferromagnetic (FM) clusters. The declining influence of the FM clusters in the CO/AF part of the phase diagram with increasing $x$ contributes to a possible explanation that a phase coexistence is the origin of the CMR phenomenon.


title: Khovanov homology and periodic links

abstract: Based on the results of the second author, we define an equivariant version of Lee and Bar-Natan homology for periodic links and show that there exists an equivariant spectral sequence from the equivariant Khovanov homology to equivariant Lee homology. As a result we obtain new obstructions for a link to be periodic. These obstructions generalize previous results of Przytycki and of the second author.


title: Computation of Green's function of the bounded solutions problem

abstract: It is well known that the equation $x'(t)=Ax(t)+f(t)$, where $A$ is a square matrix, has a unique bounded solution $x$ for any bounded continuous free term $f$, provided the coefficient $A$ has no eigenvalues on the imaginary axis. This solution can be represented in the form \begin{equation*} x(t)=\int_{-\infty}^{\infty}\mathcal G(t-s)x(s)\,ds. \end{equation*} The kernel $\mathcal G$ is called Green's function. In the paper, a representation of Green's function in the form of the Newton interpolating polynomial is used for approximate calculation of $\mathcal G$. An estimate of the sensitivity of the problem is given.


title: Theoretical study of HfF$^+$ cation to search for the T,P-odd interactions

abstract: The combined all-electron and two-step approach is applied to calculate the molecular parameters which are required to interpret the ongoing experiment to search for the effects of manifestation of the T,P-odd fundamental interactions in the HfF$^+$ cation by Cornell/Ye group [Science 342, 1220 (2013); J. Mol. Spectrosc. 300, 12 (2014)]. The effective electric field that is required to interpret the experiment in terms of the electron electric dipole moment is found to be 22.5 GV/cm. In Ref. [Phys. Rev. D 89, 056006 (2014)] it was shown that another source of T,P-odd interaction, the scalar-pseudoscalar nucleus-electron interaction with the dimensionless strength constant $k_{T,P}$ can dominate over the direct contribution from the electron EDM within the standard model and some of its extensions. Therefore, for the comprehensive and correct interpretation of the HfF$^+$ experiment one should also know the molecular parameter $W_{T,P}$ the value of which is reported here to be 20.1 kHz.