title: Sparse Neural Networks Topologies

abstract: We propose Sparse Neural Network architectures that are based on random or structured bipartite graph topologies. Sparse architectures provide compression of the models learned and speed-ups of computations, they can also surpass their unstructured or fully connected counterparts. As we show, even more compact topologies of the so-called SNN (Sparse Neural Network) can be achieved with the use of structured graphs of connections between consecutive layers of neurons. In this paper, we investigate how the accuracy and training speed of the models depend on the topology and sparsity of the neural network. Previous approaches using sparcity are all based on fully connected neural network models and create sparcity during training phase, instead we explicitly define a sparse architectures of connections before the training. Building compact neural network models is coherent with empirical observations showing that there is much redundancy in learned neural network models. We show experimentally that the accuracy of the models learned with neural networks depends on expander-like properties of the underlying topologies such as the spectral gap and algebraic connectivity rather than the density of the graphs of connections.


title: Radial biharmonic $k-$Hessian equations: The critical dimension

abstract: This work is devoted to the study of radial solutions to the elliptic problem \begin{equation}\nonumber \Delta^2 u = (-1)^k S_k[u] + \lambda f, \qquad x \in B_1(0) \subset \mathbb{R}^N, \end{equation} provided either with Dirichlet boundary conditions \begin{eqnarray}\nonumber u = \partial_n u = 0, \qquad x \in \partial B_1(0), \end{eqnarray} or Navier boundary conditions \begin{equation}\nonumber u = \Delta u = 0, \qquad x \in \partial B_1(0), \end{equation} where the $k-$Hessian $S_k[u]$ is the $k^{\mathrm{th}}$ elementary symmetric polynomial of eigenvalues of the Hessian matrix and the datum $f \in L^1(B_1(0))$. We also study the existence of entire solutions to this partial differential equation in the case in which they are assumed to decay to zero at infinity and under analogous conditions of summability on the datum. Our results illustrate how, for $k=2$, the dimension $N=4$ plays the role of critical dimension separating two different phenomenologies below and above it.


title: Summability properties of Gabor expansions

abstract: We show that there exist complete and minimal systems of time-frequency shifts of Gaussians in $L^2(\mathbb{R})$ which are not strong Markushevich basis (do not admit the spectral synthesis). In particular, it implies that there is no linear summation method for general Gaussian Gabor expansions. On the other hand we prove that the spectral synthesis for such Gabor systems holds up to one dimensional defect.


title: The BCS critical temperature in a weak homogeneous magnetic field

abstract: We show that, within a linear approximation of BCS theory, a weak homogeneous magnetic field lowers the critical temperature by an explicit constant times the field strength, up to higher order terms. This provides a rigorous derivation and generalization of results obtained in the physics literature from WHH theory of the upper critical magnetic field. A new ingredient in our proof is a rigorous phase approximation to control the effects of the magnetic field.

categories: math-ph cond-mat.supr-con math.MP math.SP


title: Pair potential with submillikelvin uncertainties and nonadiabatic treatment of the halo state of helium dimer

abstract: The pair potential for helium has been computed with accuracy improved by an order of magnitude relative to the best previous determination. For the well region, its uncertainties are now below 1 millikelvin. The main improvement is due to the use of explicitly correlated wave functions at the nonrelativistic Born-Oppenheimer (BO) level of theory. The diagonal BO and the relativistic corrections were obtained from large full configuration interaction calculations. The nonadiabatic perturbation theory was used to predict the properties of the halo state of helium dimer. Its binding energy and the average value of interatomic distance are found to be 138.9(5) neV and 47.13(8) {\AA}. The binding energy agrees with its first experimental determination of 151.9(13.3) neV [Zeller et al., PNAS 113, 14651 (2016)].


title: On affine variety codes from the Klein quartic

abstract: We study a family of primary affine variety codes defined from the Klein quartic. The duals of these codes have previously been treated in [12, Ex. 3.2]. Among the codes that we construct almost all have parameters as good as the best known codes according to [9] and in the remaining few cases the parameters are almost as good. To establish the code parameters we apply the footprint bound [10, 7] from Gr\"obner basis theory and for this purpose we develop a new method where we inspired by Buchberger's algorithm perform a series of symbolic computations. 1


title: How to find simple nonlocal stability and resilience measures

abstract: Stability of dynamical systems is a central topic with applications in widespread areas such as economy, biology, physics and mechanical engineering. The dynamics of nonlinear systems may completely change due to perturbations forcing the solution to jump from a safe state into another, possibly dangerous, attractor. Such phenomena can not be traced by the widespread local stability and resilience measures, based on linearizations, accounting only for arbitrary small perturbations. Using numerical estimates of the size and shape of the basin of attraction, as well as the systems returntime to the attractor after given a perturbation, we construct simple nonlocal stability and resilience measures that record a systems ability to tackle both large and small perturbations. We demonstrate our approach on the Solow-Swan model of economic growth, an electro-mechanical system as well as on a stage-structured population model, and conclude that the suggested measures detect dynamic behaviour, crucial for a systems stability and resilience, which can be completely missed by local measures. The presented measures are also easy to implement on a standard laptop computer. We believe that our approach will constitute an important step towards filling a current gap in the literature by putting forward and explaining simple ideas and methods, and by delivering explicit constructions of several promising nonlocal stability and resilience measures.


title: Diffusivity of a walk on fractures of a hypertorus

abstract: This article studies discrete height functions on the discrete hypertorus. These are functions on the vertices of this hypertorus graph for which the derivative satisfies a specific condition on each edge. We then perform a random walk on the set of such height functions, in the spirit of Diffusivity of a random walk on random walks, a work of Boissard, Cohen, Espinasse, and Norris. The goal is to estimate the diffusivity of this random walk in the mesh limit. It turns out that each height functions is characterised by a number of so-called fractures of the hypertorus. These fractures are then studied in isolation; we are able to understand their asymptotic behaviour in the mesh limit due to the recent understanding of the associated random surfaces. This allows for an asymptotic reduction to a one-dimensional continuous system consisting of $\operatorname{gcd}\mathbf n$ parts where $\mathbf n\in\mathbb N^d$ is the fundamental parameter of the original model. We then prove that the diffusivity of the random walk tends to $1/(1+2\operatorname{gcd}\mathbf n)$ in this mesh limit.


title: Mechanochemical fluctuation theorem and thermodynamics of self-phoretic motors

abstract: Microscopic dynamical aspects of the propulsion of nanomotors by self-phoretic mechanisms are considered. Propulsion by self-diffusiophoresis relies on the mechanochemical coupling between the fluid velocity field and the concentration fields induced by asymmetric catalytic reactions on the motor surface. The consistency between the thermodynamics of this coupling and the microscopic reversibility of the underlying molecular dynamics is investigated. For this purpose coupled Langevin equations for the translational, rotational, and chemical fluctuations of self-phoretic motors are derived. A mechanochemical fluctuation theorem for the joint probability to find the motor at position r after n reactive events have occurred during the time interval t is also derived. An important result that follows from this analysis is the identification of an effect that is reciprocal to self-propulsion by diffusiophoresis, which leads to the possibility of fuel synthesis by mechanochemical coupling to external force and torque.


title: Dimensionality Reduction using Similarity-induced Embeddings

abstract: The vast majority of Dimensionality Reduction (DR) techniques rely on second-order statistics to define their optimization objective. Even though this provides adequate results in most cases, it comes with several shortcomings. The methods require carefully designed regularizers and they are usually prone to outliers. In this work, a new DR framework, that can directly model the target distribution using the notion of similarity instead of distance, is introduced. The proposed framework, called Similarity Embedding Framework, can overcome the aforementioned limitations and provides a conceptually simpler way to express optimization targets similar to existing DR techniques. Deriving a new DR technique using the Similarity Embedding Framework becomes simply a matter of choosing an appropriate target similarity matrix. A variety of classical tasks, such as performing supervised dimensionality reduction and providing out-of-of-sample extensions, as well as, new novel techniques, such as providing fast linear embeddings for complex techniques, are demonstrated in this paper using the proposed framework. Six datasets from a diverse range of domains are used to evaluate the proposed method and it is demonstrated that it can outperform many existing DR techniques.


abstract: We propose in this work new systems of equations which we call $p$-Euler equations and $p$-Navier-Stokes equations. $p$-Euler equations are derived as the Euler-Lagrange equations for the action represented by the Benamou-Brenier characterization of Wasserstein-$p$ distances, with incompressibility constraint. $p$-Euler equations have similar structures with the usual Euler equations but the `momentum' is the signed ($p-1$)-th power of the velocity. In the 2D case, the $p$-Euler equations have streamfunction-vorticity formulation, where the vorticity is given by the $p$-Laplacian of the streamfunction. By adding diffusion presented by $\gamma$-Laplacian of the velocity, we obtain what we call $p$-Navier-Stokes equations. If $\gamma=p$, the {\it a priori} energy estimates for the velocity and momentum have dual symmetries. Using these energy estimates and a time-shift estimate, we show the global existence of weak solutions for the $p$-Navier-Stokes equations in $\mathbb{R}^d$ for $\gamma=p$ and $p\ge d\ge 2$ through a compactness criterion.


title: Exact sparse reconstruction form Vandermonde matrices

abstract: As a conclusion in classical linear algebra, an underdetermined linear equations usually have an infinite number of solutions. The sparest one among these solutions is significant in many applications. This problem can be modeled as the $l_0$-minimization, However, to find the sparsest solution of an underdetermined linear equations is NP-hard. Therefore, an important approach to solve the following $l_p$-minimization ($0<p\leq1$), The purpose of this problem is to find a $p$-norm minimization solution $(0<p\leq1)$ instead of the sparest one. In order to study the equivalence relationship between $l_0$-minimization and $l_p$-minimization, most of related work adopt Restricted Isometry Property (RIP) and Restricted Isometry Constant (RIC). On the premise of RIP and RIC, those work only solve the situation when the solution $\breve{x}$ of $l_0$-minimization satisfies that $\|\breve{x}\|_0<k$ where $k$ is a known fixed constant with $k<\frac{spark(A)}{2}$. One of the results in this paper is to give an analytic expression $p^*$ such that $l_p$-minimization is equivalent to $l_0$-minimization for every $\|\breve{x}\|_0<\frac{spark(A)}{2}$. In this paper, we also consider the case where the matrix $A$ is a Vandermonde matrix and we present an analytic expression $p^*$ such that the solution of $l_p$-minimization also solve $l_0$-minimization. Compared with the similar results based on RIP and RIC, we do not need the uniqueness assumption, i.e., the solution $x^*$ of $l_0$-minimization do not have to be assumed to be the unique solution which is the main breakthrough in our result. Another superiority of our result is its computability, i.e., each part in the analytic expression can be easily calculated.


title: Theoretical evidence for unexpected O-rich phases at corners of MgO surfaces

abstract: Realistic oxide materials are often semiconductors, in particular at elevated temperatures, and their surfaces contain undercoordiated atoms at structural defects such as steps and corners. Using hybrid density-functional theory and ab initio atomistic thermodynamics, we investigate the interplay of bond-making, bond-breaking, and charge-carrier trapping at the corner defects at the (100) surface of a p-doped MgO in thermodynamic equilibrium with an O2 atmosphere. We show that by manipulating the coordination of surface atoms one can drastically change and even reverse the order of stability of reduced versus oxidized surface sites.


title: Some pathologies of Fano manifolds in positive characteristic

abstract: We construct examples of Fano manifolds, which are defined over a field of positive characteristic, but not over $\com$.


title: A new method for recognising Suzuki groups

abstract: We present a new algorithm for constructive recognition of the Suzuki groups in their natural representations. The algorithm runs in Las Vegas polynomial time given a discrete logarithm oracle. An implementation is available in the Magma computer algebra system.


title: SuperMinHash - A New Minwise Hashing Algorithm for Jaccard Similarity Estimation

abstract: This paper presents a new algorithm for calculating hash signatures of sets which can be directly used for Jaccard similarity estimation. The new approach is an improvement over the MinHash algorithm, because it has a better runtime behavior and the resulting signatures allow a more precise estimation of the Jaccard index.


title: Gradient Diversity: a Key Ingredient for Scalable Distributed Learning

abstract: It has been experimentally observed that distributed implementations of mini-batch stochastic gradient descent (SGD) algorithms exhibit speedup saturation and decaying generalization ability beyond a particular batch-size. In this work, we present an analysis hinting that high similarity between concurrently processed gradients may be a cause of this performance degradation. We introduce the notion of gradient diversity that measures the dissimilarity between concurrent gradient updates, and show its key role in the performance of mini-batch SGD. We prove that on problems with high gradient diversity, mini-batch SGD is amenable to better speedups, while maintaining the generalization performance of serial (one sample) SGD. We further establish lower bounds on convergence where mini-batch SGD slows down beyond a particular batch-size, solely due to the lack of gradient diversity. We provide experimental evidence indicating the key role of gradient diversity in distributed learning, and discuss how heuristics like dropout, Langevin dynamics, and quantization can improve it.


title: Perturbative approach to weakly driven many-particle systems in the presence of approximate conservation laws

abstract: We develop a Liouville perturbation theory for weakly driven and weakly open quantum systems in situations when the unperturbed system has a number of conservations laws. If the perturbation violates the conservation laws, it drives the system to a new steady state which can be approximately but efficiently described by a (generalized) Gibbs ensemble characterized by one Lagrange parameter for each conservation law. The value of those has to be determined from rate equations for conserved quantities. Remarkably, even weak perturbations can lead to large responses of conserved quantities. We present a perturbative expansion of the steady state density matrix; first we give the condition that fixes the zeroth order expression (Lagrange parameters) and then determine the higher order corrections via projections of the Liouvillian. The formalism can be applied to a wide range of problems including two-temperature models for electron-phonon systems, Bose condensates of excitons or photons or weakly perturbed integrable models. We test our formalism by studying interacting fermions coupled to non-thermal reservoirs, approximately described by a Boltzmann equation.


title: Flatness results for nonlocal minimal cones and subgraphs

abstract: We show that nonlocal minimal cones which are non-singular subgraphs outside the origin are necessarily halfspaces. The proof is based on classical ideas of~\cite{DG1} and on the computation of the linearized nonlocal mean curvature operator, which is proved to satisfy a suitable maximum principle. With this, we obtain new, and somehow simpler, proofs of the Bernstein-type results for nonlocal minimal surfaces which have been recently established in~\cite{FV}. In addition, we establish a new nonlocal Bernstein-Moser-type result which classifies Lipschitz nonlocal minimal subgraphs outside a ball.


title: Perfect spike detection via time reversal

abstract: Spiking neuronal networks are usually simulated with three main simulation schemes: the classical time-driven and event-driven schemes, and the more recent hybrid scheme. All three schemes evolve the state of a neuron through a series of checkpoints: equally spaced in the first scheme and determined neuron-wise by spike events in the latter two. The time-driven and the hybrid scheme determine whether the membrane potential of a neuron crosses a threshold at the end of of the time interval between consecutive checkpoints. Threshold crossing can, however, occur within the interval even if this test is negative. Spikes can therefore be missed. The present work derives, implements, and benchmarks a method for perfect retrospective spike detection. This method can be applied to neuron models with affine or linear subthreshold dynamics. The idea behind the method is to propagate the threshold with a time-inverted dynamics, testing whether the threshold crosses the neuron state to be evolved, rather than vice versa. Algebraically this translates into a set of inequalities necessary and sufficient for threshold crossing. This test is slower than the imperfect one, but faster than an alternative perfect tests based on bisection or root-finding methods. Comparison confirms earlier results that the imperfect test rarely misses spikes (less than a fraction $1/10^8$ of missed spikes) in biologically relevant settings. This study offers an alternative geometric point of view on neuronal dynamics.

categories: q-bio.NC math.DG physics.bio-ph q-bio.QM


title: Modeling credit default swap premiums with stochastic recovery rate

abstract: There are many studies on development of models for analyzing some derivatives such as credit default swaps .


title: Hyperbolicity as an obstruction to smoothability for one-dimensional actions

abstract: Ghys and Sergiescu proved in the $80$s that Thompson's group $T$, and hence $F$, admits actions by $C^{\infty}$ diffeomorphisms of the circle . They proved that the standard actions of these groups are topologically conjugate to a group of $C^\infty$ diffeomorphisms. Monod defined a family of groups of piecewise projective homeomorphisms, and Lodha-Moore defined finitely presentable groups of piecewise projective homeomorphisms. These groups are of particular interest because they are nonamenable and contain no free subgroup. In contrast to the result of Ghys-Sergiescu, we prove that the groups of Monod and Lodha-Moore are not topologically conjugate to a group of $C^1$ diffeomorphisms. Furthermore, we show that the group of Lodha-Moore has no nonabelian $C^1$ action on the interval. We also show that many Monod's groups $H(A)$, for instance when $A$ is such that $\mathsf{PSL}(2,A)$ contains a rational homothety $x\mapsto \tfrac{p}{q}x$, do not admit a $C^1$ action on the interval. The obstruction comes from the existence of hyperbolic fixed points for $C^1$ actions. With slightly different techniques, we also show that some groups of piecewise affine homeomorphisms of the interval or the circle are not smoothable.


title: H\"older regularity of viscosity solutions of some fully nonlinear equations in the Heisenberg group

abstract: In this paper we prove the H\"older regularity of bounded, uniformly continuous, viscosity solutions of some degenerate fully nonlinear equations in the Heisenberg group.


title: Refined interlacing properties for zeros of paraorthogonal polynomials on the unit circle

abstract: The purpose of this note is to extend in a simple and unified way the known results on interlacing of zeros of paraorthogonal polynomials on the unit circle. These polynomials can be regarded as the characteristic polynomials of any matrix similar to an unitary upper Hessenberg matrix with positive subdiagonal elements.


title: Analytic parametrizations of the $\gamma^\ast N \to N(1440)$ form factors inspired by Light-Front holography

abstract: We present analytic parametrizations for the $\gamma^\ast N \to N(1440)$ form factors derived from light-front holography in leading twist approximation. The new parametrizations describe the electromagnetic form factors using analytic functions dependent on the masses of the $\rho$ meson and respective radial excitations, as well as the masses of the nucleon and the resonance $N(1440)$. The free parameters of the model, associated with three independent couplings, are interpreted as bare couplings, and are fixed by the nucleon data for large $Q^2$. The proposed parametrizations compare remarkably well with the empirical data for $Q^2 > 2$ GeV$^2$, corroborating the dominant role of the valence quark degrees of freedom in the $\gamma^\ast N \to N(1440)$ transition.


title: Roberts orthogonality and the Davis-Wielandt shell

abstract: Let $\mathcal A$ be a unital $C^*$-algebra with the unit $e$. We consider the elements $a\in \mathcal A$ which are Roberts orthogonal to the unit $e$. We obtain a characterization of this orthogonality in terms of the Davis--Wielandt shell of $a$ and show that, for certain classes of elements of $\mathcal A$, the Roberts orthogonality of $a$ and $e$ is equivalent to the symmetry of the numerical range of $a$ with respect to the origin.


title: On monotonicity of zeros of paraorthogonal polynomials on the unit circle

abstract: The purpose of this note is to establish, in terms of the primary coefficients in the framework of the tridiagonal theory developed by Delsarte and Genin in the environment of nonnegative definite Toeplitz matrices, necessary and sufficient conditions for the monotonicity with respect to a real parameter of zeros of paraorthogonal polynomials on the unit circle. It is also provided tractable sufficient conditions and an application example. These polynomials can be regarded as the characteristic polynomials of any matrix similar to an unitary upper Hessenberg matrix with positive subdiagonal elements.


title: When does the Bombieri-Vinogradov Theorem hold for a given multiplicative function?

abstract: Let $f$ and $g$ be $1$-bounded multiplicative functions for which $f*g=1_{.=1}$. The Bombieri-Vinogradov Theorem holds for both $f$ and $g$ if and only if the Siegel-Walfisz criterion holds for both $f$ and $g$, and the Bombieri-Vinogradov Theorem holds for $f$ restricted to the primes.


title: A Polynomial Time Algorithm for Spatio-Temporal Security Games

abstract: An ever-important issue is protecting infrastructure and other valuable targets from a range of threats from vandalism to theft to piracy to terrorism. The "defender" can rarely afford the needed resources for a 100% protection. Thus, the key question is, how to provide the best protection using the limited available resources. We study a practically important class of security games that is played out in space and time, with targets and "patrols" moving on a real line. A central open question here is whether the Nash equilibrium (i.e., the minimax strategy of the defender) can be computed in polynomial time. We resolve this question in the affirmative. Our algorithm runs in time polynomial in the input size, and only polylogarithmic in the number of possible patrol locations (M). Further, we provide a continuous extension in which patrol locations can take arbitrary real values. Prior work obtained polynomial-time algorithms only under a substantial assumption, e.g., a constant number of rounds. Further, all these algorithms have running times polynomial in M, which can be very large.


title: Color screening in flux tubes and in the color Coulomb potential from the QCD Field Correlators

abstract: Colorelectric and Colormagnetic structure of the flux tubes, connecting heavy quark and antiquark, is investigated in the framework of the Field Correlator method which describes all resulting fields in terms of correlators $D^E$ and $D^E_1$. The latter have been computed via gluelumps, which allows to predict the resulting distribution of color fields $\mathbf{E} (\mathbf{r}),$ and colormagnetic currents $\mathbf{k} (\mathbf{r})$ in the flux tubes. It is shown, that at large distances $r\gg \lambda \approx 0.2$ fm the whole structure of fields and relations between them is similar to that of the dual superconductor theory, but the basic dynamics, including small distances, is given by field correlators of the real stochastic vacuum. The important contradiction between the strong screening of color fields in the width of flux tubes and almost no screening in the perturbative $Q\bar Q$ potential is resolved.


title: An isoperimetric inequality for Laplace eigenvalues on the sphere

abstract: We show that for any positive integer k, the k-th nonzero eigenvalue of the Laplace-Beltrami operator on the two-dimensional sphere endowed with a Riemannian metric of unit area, is maximized in the limit by a sequence of metrics converging to a union of k touching identical round spheres. This proves a conjecture posed by the second author in 2002 and yields a sharp isoperimetric inequality for all nonzero eigenvalues of the Laplacian on a sphere. Earlier, the result was known only for k=1 (J. Hersch, 1970), k=2 (N. Nadirashvili, 2002; R. Petrides, 2014) and k=3 (N. Nadirashvili and Y. Sire, 2017). In particular, we argue that for any k>=2, the supremum of the k-th nonzero eigenvalue on a sphere of unit area is not attained in the class of Riemannian metrics which are smooth outsitde a finite set of conical singularities. The proof uses certain properties of harmonic maps between spheres, the key new ingredient being a bound on the harmonic degree of a harmonic map into a sphere obtained by N. Ejiri.


title: Evolutionary Data Systems

abstract: Anyone in need of a data system today is confronted with numerous complex options in terms of system architectures, such as traditional relational databases, NoSQL and NewSQL solutions as well as several sub-categories like column-stores, row-stores etc. This overwhelming array of choices makes bootstrapping data-driven applications difficult and time consuming, requiring expertise often not accessible due to cost issues (e.g., to scientific labs or small businesses). In this paper, we present the vision of evolutionary data systems that free systems architects and application designers from the complex, cumbersome and expensive process of designing and tuning specialized data system architectures that fit only a single, static application scenario. Setting up an evolutionary system is as simple as identifying the data. As new data and queries come in, the system automatically evolves so that its architecture matches the properties of the incoming workload at all times. Inspired by the theory of evolution, at any given point in time, an evolutionary system may employ multiple competing solutions down at the low level of database architectures -- characterized as combinations of data layouts, access methods and execution strategies. Over time, "the fittest wins" and becomes the dominant architecture until the environment (workload) changes. In our initial prototype, we demonstrate solutions that can seamlessly evolve (back and forth) between a key-value store and a column-store architecture in order to adapt to changing workloads.


title: CFI CaRE: Hardware-supported Call and Return Enforcement for Commercial Microcontrollers

abstract: With the increasing scale of deployment of Internet of Things (IoT), concerns about IoT security have become more urgent. In particular, memory corruption attacks play a predominant role as they allow remote compromise of IoT devices. Control-flow integrity (CFI) is a promising and generic defense technique against these attacks. However, given the nature of IoT deployments, existing protection mechanisms for traditional computing environments (including CFI) need to be adapted to the IoT setting. In this paper, we describe the challenges of enabling CFI on microcontroller (MCU) based IoT devices. We then present CaRE, the first interrupt-aware CFI scheme for low-end MCUs. CaRE uses a novel way of protecting the CFI metadata by leveraging TrustZone-M security extensions introduced in the ARMv8-M architecture. Its binary instrumentation approach preserves the memory layout of the target MCU software, allowing pre-built bare-metal binary code to be protected by CaRE. We describe our implementation on a Cortex-M Prototyping System and demonstrate that CaRE is secure while imposing acceptable performance and memory impact.


title: Limiting measure and stationarity of solutions to stochastic evolution equations with Volterra noise

abstract: Large-time behaviour of solutions to stochastic evolution equations driven by two-sided regular Volterra processes is studied. The solution is understood in the mild sense and takes values in a separable Hilbert space. Sufficient conditions for the existence of limiting measure and strict stationarity of the solution process are found and an example for which these conditions are also necessary is provided. The results are further applied to the heat equation driven by the two-sided Rosenblatt process.


title: Bayesian Analysis of Censored Spatial Data Based on a Non-Gaussian Model

abstract: In this paper, we suggest using a skew Gaussian-log Gaussian model for the analysis of spatial censored data from a Bayesian point of view. This approach furnishes an extension of the skew log Gaussian model to accommodate to both skewness and heavy tails and also censored data. All of the characteristics mentioned are three pervasive features of spatial data. We utilize data augmentation method and Markov chain Monte Carlo (MCMC) algorithms to do posterior calculations. The methodology is illustrated using simulated data, as well as applying it to a real data set. Keywords: Censored data, data augmentation, non-Gaussian spatial models, outlier, unified skew Gaussian.


title: An exploration to visualize finite element data with a DSL

abstract: The scientific community use PDEs to model a range of problems. The people in this domain are interested in visualizing their results, but existing mechanisms for visualization can not handle the full richness of computations in the domain. We did an exploration to see how Diderot, a domain specific language for scientific visualization and image analysis, could be used to solve this problem. We demonstrate our first and modest approach of visualizing FE data with Diderot and provide examples. Using Diderot, we do a simple sampling and a volume rendering of a FE field. These examples showcase Diderot's ability to provide a visualization result for Firedrake. This paper describes the extension of the Diderot language to include FE data.


title: Towards the Improvement of Automated Scientific Document Categorization by Deep Learning

abstract: This master thesis describes an algorithm for automated categorization of scientific documents using deep learning techniques and compares the results to the results of existing classification algorithms. As an additional goal a reusable API is to be developed allowing the automation of classification tasks in existing software. A design will be proposed using a convolutional neural network as a classifier and integrating this into a REST based API. This is then used as the basis for an actual proof of concept implementation presented as well in this thesis. It will be shown that the deep learning classifier provides very good result in the context of multi-class document categorization and that it is feasible to integrate such classifiers into a larger ecosystem using REST based services.


title: Classical Simulation of Arbitrary Quantum Noise

abstract: I present an explicit classical simulation of arbitrary quantum noise for quantum models in which one qubit interacts with a quantum bath. The classical model simulates the interaction of the bath and the qubit by random unitary evolutions. I show that any arbitrary quantum dynamics, including quantum dissipation, recurrence, and dephasing, can be simulated classically when one allows the unitary operators in the classical model to depend on the initial state of the system and bath. For initial mixed states of the system and non-product states of the system and bath, I demonstrate that random unitary expansion is still possible, in terms of a set of pure states.


title: Tversky loss function for image segmentation using 3D fully convolutional deep networks

abstract: Fully convolutional deep neural networks carry out excellent potential for fast and accurate image segmentation. One of the main challenges in training these networks is data imbalance, which is particularly problematic in medical imaging applications such as lesion segmentation where the number of lesion voxels is often much lower than the number of non-lesion voxels. Training with unbalanced data can lead to predictions that are severely biased towards high precision but low recall (sensitivity), which is undesired especially in medical applications where false negatives are much less tolerable than false positives. Several methods have been proposed to deal with this problem including balanced sampling, two step training, sample re-weighting, and similarity loss functions. In this paper, we propose a generalized loss function based on the Tversky index to address the issue of data imbalance and achieve much better trade-off between precision and recall in training 3D fully convolutional deep neural networks. Experimental results in multiple sclerosis lesion segmentation on magnetic resonance images show improved F2 score, Dice coefficient, and the area under the precision-recall curve in test data. Based on these results we suggest Tversky loss function as a generalized framework to effectively train deep neural networks.


title: Embeddings between grand, small and variable Lebesgue spaces

abstract: We give conditions on the exponent function $p(\cdot)$ that imply the existence of embeddings between grand, small and variable Lebesgue spaces. We construct examples to show that our results are close to optimal. Our work extends recent results by the second author, Rakotoson and Sbordone.


title: Detecting Large Concept Extensions for Conceptual Analysis

abstract: When performing a conceptual analysis of a concept, philosophers are interested in all forms of expression of a concept in a text---be it direct or indirect, explicit or implicit. In this paper, we experiment with topic-based methods of automating the detection of concept expressions in order to facilitate philosophical conceptual analysis. We propose six methods based on LDA, and evaluate them on a new corpus of court decision that we had annotated by experts and non-experts. Our results indicate that these methods can yield important improvements over the keyword heuristic, which is often used as a concept detection heuristic in many contexts. While more work remains to be done, this indicates that detecting concepts through topics can serve as a general-purpose method for at least some forms of concept expression that are not captured using naive keyword approaches.


title: A hybrid line list for CH$_4$ and hot methane continuum

abstract: Molecular line lists are important for modelling absorption and emission processes in atmospheres of different astronomical objects, such as cool stars and exoplanets. In order to be applicable for high temperatures, line lists for molecules like methane must contain billions of transitions, which makes their direct (line-by-line) application in radiative transfer calculations impracticable. Here we suggest a new, hybrid line list format to mitigate this problem, based on the idea of temperature-dependent absorption continuum. The line list is partitioned into a large set of relatively weak lines and a small set of important, stronger lines. The weaker lines are then used either to construct a temperature-dependent (but pressure-independent) set of intensity cross sections or are blended into a greatly reduced set of super-lines. The strong lines are kept in the form of temperature independent Einstein A coefficients. A line list for methane is constructed as a combination of 17 million strong absorption lines relative to the reference absorption spectra and a background methane continuum in two temperature-dependent forms, of cross sections and super-lines. This approach eases the use of large high temperature line lists significantly as the computationally expensive calculation of pressure dependent profiles only need to be performed for a relatively small number of lines. Both the line list and cross sections were generated using a new 34 billion methane line list (34to10), which extends the 10to10 line list to higher temperatures (up to 2000 K). The new hybrid scheme can be applied to any large line lists containing billions of transitions. We recommend to use super-lines generated on a high resolution grid based on resolving power (R = 1,000,000) to model the molecular continuum as a more flexible alternative to the temperature dependent cross sections.


title: A perturbation theory for water with an associating reference fluid

abstract: The theoretical description of the thermodynamics of water is challenged by the structural transition towards tetrahedral symmetry at ambient conditions. As perturbation theories typically assume a spherically symmetric reference fluid, they are incapable of accurately describing the liquid properties of water at ambient conditions. In this paper we solve this problem, by introducing the concept of an associated reference perturbation theory (APT). In APT we treat the reference fluid as an associating hard sphere fluid which transitions to tetrahedral symmetry in the fully hydrogen bonded limit. We calculate this transition in a theoretically self-consistent manner without appealing to molecular simulations. This associated reference provides the reference fluid for a second order Barker-Hendersen perturbative treatment of the long-range attractions. We demonstrate that this new approach gives a significantly improved description of water as compared to standard perturbation theories.


title: Using Deep Networks for Drone Detection

abstract: Drone detection is the problem of finding the smallest rectangle that encloses the drone(s) in a video sequence. In this study, we propose a solution using an end-to-end object detection model based on convolutional neural networks. To solve the scarce data problem for training the network, we propose an algorithm for creating an extensive artificial dataset by combining background-subtracted real images. With this approach, we can achieve precision and recall values both of which are high at the same time.


title: On transitive designs and strongly regular graphs constructed from Mathieu group $M_{11}$

abstract: In this paper we construct structures from Mathieu group $M_{11}$. We classify transitive $t$-designs with 11, 12 and 22 points admitting a transitive action of Mathieu group $M_{11}$. Thereby we proved the existence of designs with parameters 3-(22,7,18) and found first simple designs with parameters 4-(11,5,6) and 5-(12,6,6). Additionally, we proved the existence of $2$-designs with certain parameters having 55 and 66 points. Furthermore, we classified strongly regular graphs on at most 450 vertices admitting a transitive action of the Mathieu group $M_{11}$.


title: A family of multiple integrals connected with relatives of the Dickman function

abstract: We present an asymptotic expansion for a family of multiple integrals connected with relatives of the Dickman function. The coefficients of this expansion have a similar arithmetic structure as those appearing in work of Soundararajan on an analogous expansion for the Dickman function.


title: Multirate Packet Delivery In Heterogeneous Broadcast Networks

abstract: In this paper, we study the problem of multirate packet delivery in heterogeneous packet erasure broadcast networks. The technical challenge is to enable users receive packets at different rates, as dictated by the quality of their individual channel. We present a new analytical framework for characterizing the delivery rate and delivery delay performance of a previously proposed non-block-based network coding scheme in the literature. This scheme was studied in homogeneous network settings. We show for the first time, via new theoretical analysis and simulations that it can actually achieve multirate packet delivery. Using acknowledgments from each user, we show that the user with the highest link capacity achieves the maximum possible throughput. Also, a non-zero packet delivery rate is possible for other users, and the delivery rate depends on the difference between the packet arrival rate at the sender and the link capacity of each user. The accuracy of our analytical framework is confirmed by comparing the results with simulations for different settings of packet arrival rate at the sender and link capacities.


title: Addressing Item-Cold Start Problem in Recommendation Systems using Model Based Approach and Deep Learning

abstract: Traditional recommendation systems rely on past usage data in order to generate new recommendations. Those approaches fail to generate sensible recommendations for new users and items into the system due to missing information about their past interactions. In this paper, we propose a solution for successfully addressing item-cold start problem which uses model-based approach and recent advances in deep learning. In particular, we use latent factor model for recommendation, and predict the latent factors from item's descriptions using convolutional neural network when they cannot be obtained from usage data. Latent factors obtained by applying matrix factorization to the available usage data are used as ground truth to train the convolutional neural network. To create latent factor representations for the new items, the convolutional neural network uses their textual description. The results from the experiments reveal that the proposed approach significantly outperforms several baseline estimators.


title: Walls, Anomalies, and (De)Confinement in Quantum Anti-Ferromagnets

abstract: We consider the Abelian-Higgs model in 2+1 dimensions with instanton-monopole defects. This model is closely related to the phases of quantum anti-ferromagnets. In the presence of $\mathbb{Z}_2$ preserving monopole operators, there are two confining ground states in the monopole phase, corresponding to the Valence Bond Solid (VBS) phase of quantum magnets. We show that the domain-wall carries a 't Hooft anomaly in this case. The anomaly can be saturated by, e.g., charge-conjugation breaking on the wall or by the domain wall theory becoming gapless (a gapless model that saturates the anomaly is $SU(2)_1$ WZW). Either way the fundamental scalar particles (i.e. spinons) which are confined in the bulk are deconfined on the domain-wall. This $\mathbb{Z}_2$ phase can be realized either with spin-1/2 on a rectangular lattice, or spin-1 on a square lattice. In both cases the domain wall contains spin-1/2 particles (which are absent in the bulk). We discuss the possible relation to recent lattice simulations of domain walls in VBS. We further generalize the discussion to Abrikosov-Nielsen-Olsen (ANO) vortices in a dual superconductor of the Abelian-Higgs model in 3+1 dimensions, and to the easy-plane limit of anti-ferromagnets. In the latter case the wall can undergo a variant of the BKT transition (consistent with the anomalies) while the bulk is still gapped. The same is true for the easy-axis limit of anti-ferromagnets. We also touch upon some analogies to Yang-Mills theory.


title: Drop impact experiments of non-Newtonian liquids on micro-structured surfaces

abstract: The spreading dynamics of Newtonian liquids have been extensively studied in hydrophilic and hydrophobic surfaces and its behavior has been extensively explored over the last years. However, drop impact of Non-Newtonian liquids still needs further study. Luu and Forterre (J. Fluid Mech., 632, 2009) successfully found scaling laws for yield-stress fluids on hydrophilic surfaces. They also uncovered interesting and yet unexplained regimes when the impact was performed on a superhydrophobic surface. In this work, we perform drop impact experiments on micro-patterned surfaces with two types of non-Newtonian liquids: one showing shear-thickening behavior and another one showing shear-thinning. Our results show that a typical shear-thickening liquid as cornstarch -at least a the relatively low concentration of 30\%w/w- spreads according to the scaling laws of Newtonian liquids, whereas visco-elastic liquids as Carbopol behave as predicted by Luu and Forterre for impact on hydrophilic surfaces, but show different scaling laws when they impact on superhydrophobic surfaces.


title: Data set operations to hide decision tree rules

abstract: This paper focuses on preserving the privacy of sensitive patterns when inducing decision trees. We adopt a record augmentation approach for hiding sensitive classification rules in binary datasets. Such a hiding methodology is preferred over other heuristic solutions like output perturbation or cryptographic techniques - which restrict the usability of the data - since the raw data itself is readily available for public use. We show some key lemmas which are related to the hiding process and we also demonstrate the methodology with an example and an indicative experiment using a prototype hiding tool.


title: Lines on smooth polarized $K3$-surfaces

abstract: For each integer $D\ge3$, we give a sharp bound on the number of lines contained in a smooth complex $2D$-polarized $K3$-surface in $\mathbb{P}^{D+1}$. In the two most interesting cases of sextics in $\mathbb{P}^4$ and octics in $\mathbb{P}^5$, the bounds are $42$ and $36$, respectively, as conjectured in an earlier paper.


title: Quantifying the Benefits of Infrastructure Sharing

abstract: We analyze the benefits of network sharing between telecommunications operators. Sharing is seen as one way to speed the roll out of expensive technologies such as 5G since it allows the service providers to divide the cost of providing ubiquitous coverage. Our theoretical analysis focuses on scenarios with two service providers and compares the system dynamics when they are competing with the dynamics when they are cooperating. We show that sharing can be beneficial to a service provider even when it has the power to drive the other service provider out of the market, a byproduct of a non-convex cost function. A key element of this study is an analysis of the competitive equilibria for both cooperative and non-cooperative 2-person games in the presence of (non-convex) cost functions that involve a fixed cost component.


title: Fixed-Rank Approximation of a Positive-Semidefinite Matrix from Streaming Data

abstract: Several important applications, such as streaming PCA and semidefinite programming, involve a large-scale positive-semidefinite (psd) matrix that is presented as a sequence of linear updates. Because of storage limitations, it may only be possible to retain a sketch of the psd matrix. This paper develops a new algorithm for fixed-rank psd approximation from a sketch. The approach combines the Nystrom approximation with a novel mechanism for rank truncation. Theoretical analysis establishes that the proposed method can achieve any prescribed relative error in the Schatten 1-norm and that it exploits the spectral decay of the input matrix. Computer experiments show that the proposed method dominates alternative techniques for fixed-rank psd matrix approximation across a wide range of examples.


title: Beyond Worst-case: A Probabilistic Analysis of Affine Policies in Dynamic Optimization

abstract: Affine policies (or control) are widely used as a solution approach in dynamic optimization where computing an optimal adjustable solution is usually intractable. While the worst case performance of affine policies can be significantly bad, the empirical performance is observed to be near-optimal for a large class of problem instances. For instance, in the two-stage dynamic robust optimization problem with linear covering constraints and uncertain right hand side, the worst-case approximation bound for affine policies is $O(\sqrt m)$ that is also tight (see Bertsimas and Goyal (2012)), whereas observed empirical performance is near-optimal. In this paper, we aim to address this stark-contrast between the worst-case and the empirical performance of affine policies. In particular, we show that with high probability affine policies give a good approximation for two-stage dynamic robust optimization problems on random instances generated from a large class of distributions; thereby, providing a theoretical justification of the observed empirical performance. The approximation bound depends on the distribution, but it is significantly better than the worst-case bound for a large class of distributions.


title: Fourier-Based Testing for Families of Distributions

abstract: We study the general problem of testing whether an unknown distribution belongs to a specified family of distributions. More specifically, given a distribution family $\mathcal{P}$ and sample access to an unknown discrete distribution $\mathbf{P}$, we want to distinguish (with high probability) between the case that $\mathbf{P} \in \mathcal{P}$ and the case that $\mathbf{P}$ is $\epsilon$-far, in total variation distance, from every distribution in $\mathcal{P}$. This is the prototypical hypothesis testing problem that has received significant attention in statistics and, more recently, in theoretical computer science. The sample complexity of this general inference task depends on the underlying family $\mathcal{P}$. The gold standard in distribution property testing is to design sample-optimal and computationally efficient algorithms for this task. The main contribution of this work is a simple and general testing technique that is applicable to all distribution families whose Fourier spectrum satisfies a certain approximate sparsity property. To the best of our knowledge, ours is the first use of the Fourier transform in the context of distribution testing. We apply our Fourier-based framework to obtain near sample-optimal and computationally efficient testers for the following fundamental distribution families: Sums of Independent Integer Random Variables (SIIRVs), Poisson Multinomial Distributions (PMDs), and Discrete Log-Concave Distributions. For the first two, ours are the first non-trivial testers in the literature, vastly generalizing previous work on testing Poisson Binomial Distributions. For the third, our tester improves on prior work in both sample and time complexity.

categories: cs.DS cs.CC cs.DM math.PR math.ST stat.TH


title: 3D Convolutional Neural Networks for Cross Audio-Visual Matching Recognition

abstract: Audio-visual recognition (AVR) has been considered as a solution for speech recognition tasks when the audio is corrupted, as well as a visual recognition method used for speaker verification in multi-speaker scenarios. The approach of AVR systems is to leverage the extracted information from one modality to improve the recognition ability of the other modality by complementing the missing information. The essential problem is to find the correspondence between the audio and visual streams, which is the goal of this work. We propose the use of a coupled 3D Convolutional Neural Network (3D-CNN) architecture that can map both modalities into a representation space to evaluate the correspondence of audio-visual streams using the learned multimodal features. The proposed architecture will incorporate both spatial and temporal information jointly to effectively find the correlation between temporal information for different modalities. By using a relatively small network architecture and much smaller dataset for training, our proposed method surpasses the performance of the existing similar methods for audio-visual matching which use 3D CNNs for feature representation. We also demonstrate that an effective pair selection method can significantly increase the performance. The proposed method achieves relative improvements over 20% on the Equal Error Rate (EER) and over 7% on the Average Precision (AP) in comparison to the state-of-the-art method.


title: On the renormalization group of quantum field theory (after R. Bocherds)

abstract: The aim of this thesis is to analyze part of the results presented by R.E. Borcherds in his article on renormalization and quantum field theories. To facilitate this, the first chapter presents the basic facts on category theory, sheaf theory and the theory of distributions on a manifold. In the particular case of distributions on manifolds we differentiate between the H-distribution (introduced by H\"ormander) and the D-distributions (described in the book of Dieudonn{\'e}) and extend the product of distributions defined by H\"ormander only for H-distibution, to an action from H-distributions over D-distributions. Each one of these facts will be used along the thesis in order to exhibit more detailed descriptions and explanations for the results. In Chapter 2 the concepts of spacetime, fields, Lagrangians, propagators and Feynman measure are defined. The notion of Feynman measure is introduced with a more detailed explanation of the Gaussian condition and its relation with the cut propagator. In the last chapter we define the renormalization group and immediately characterize it using the results from Chapter 1. The algebraic structure of this group is described in detail. We present a descending filtration of the renormalization group by normal subgroups, compute the corresponding quotients and commutators, and show that any element of the renormalization group can be written as an infinite product of elements each one living in one of the aforementioned subgroups. Lastly we show that an action from the renormalization group over the set of Feynman measures is well defined and prove that this action is transitive over the Feynman measures associated with a given cut local propagator.


title: Topological defects in string theory orbifolds with target spaces $\mathbb{C}/\mathbb{Z}_N$ and $S^1/\mathbb{Z}_2$

abstract: We study conformal defects in two important examples of string theory orbifolds. First, we show that topological defects in the language of Landau-Ginzburg models carry information about the RG flow between the non-compact orbifolds $\mathbb{C}/\mathbb{Z}_d$. Such defects are shown to correctly implement the bulk-induced RG flow on the boundary. Secondly, we study what the possible conformal defects are between the $c=1$ bosonic 2D conformal field theories with target space $S^1/\mathbb{Z}_2$. The defects cataloged here are obtained from boundary states corresponding to D-branes in the $c=2$ free theory with target space $S^1/\mathbb{Z}_2 \times S^1/\mathbb{Z}_2$. Via the unfolding procedure, such boundary states are later mapped to defects between the circle orbifolds. Furthermore, we compute the algebra of the topological class of defects at different radii.


title: The ideal of maximal flags of a poset

abstract: We study algebraic and homological properties of facet ideals of order complexes of posets which we call ideals of maximal flags of posets or simply flag ideals. We characterize the unmixed and Cohen-Macaulay flag ideals of graded posets. We also give structural results for the multigraded Betti numbers of flag ideals of such posets. The structural results on multigraded Betti numbers of flag ideals are used to characterize the class of flag ideals with linear resolutions.


title: Operator Dimensions from Moduli

abstract: We consider the operator spectrum of a three-dimensional ${\cal N} = 2$ superconformal field theory with moduli spaces of one complex dimension, such as the fixed point theory with three chiral superfields $X,Y,Z$ and a superpotential $W = XYZ$. By using the existence of an effective theory on each branch of moduli space, we calculate the anomalous dimensions of certain low-lying operators carrying large $R$-charge $J$. While the lowest primary operator is a BPS scalar primary, the second-lowest scalar primary is in a semi-short representation, with dimension exactly $J+1$, a fact that cannot be seen directly from the $XYZ$ Lagrangian. The third-lowest scalar primary lies in a long multiplet with dimension $J+2 - c_{-3} \, J^{-3} + O(J^{-4})$, where $c_{-3}$ is an unknown positive coefficient. The coefficient $c_{-3}$ is proportional to the leading superconformal interaction term in the effective theory on moduli space. The positivity of $c_{-3}$ does not follow from supersymmetry, but rather from unitarity of moduli scattering and the absence of superluminal signal propagation in the effective dynamics of the complex modulus. We also prove a general lemma, that scalar semi-short representations form a module over the chiral ring in a natural way, by ordinary multiplication of local operators. Combined with the existence of scalar semi-short states at large $J$, this proves the existence of scalar semi-short states at all values of $J$. Thus the combination of ${\cal N}=2$ superconformal symmetry with the large-$J$ expansion is more powerful than the sum of its parts.


title: Learning Hierarchical Information Flow with Recurrent Neural Modules

abstract: We propose ThalNet, a deep learning model inspired by neocortical communication via the thalamus. Our model consists of recurrent neural modules that send features through a routing center, endowing the modules with the flexibility to share features over multiple time steps. We show that our model learns to route information hierarchically, processing input data by a chain of modules. We observe common architectures, such as feed forward neural networks and skip connections, emerging as special cases of our architecture, while novel connectivity patterns are learned for the text8 compression task. Our model outperforms standard recurrent neural networks on several sequential benchmarks.


title: Statistical Inference based on Bridge Divergences

abstract: M-estimators offer simple robust alternatives to the maximum likelihood estimator. Much of the robustness literature, however, has focused on the problems of location, location-scale and regression estimation rather than on estimation of general parameters. The density power divergence (DPD) and the logarithmic density power divergence (LDPD) measures provide two classes of competitive M-estimators (obtained from divergences) in general parametric models which contain the MLE as a special case. In each of these families, the robustness of the estimator is achieved through a density power down-weighting of outlying observations. Both the families have proved to be very useful tools in the area of robust inference. However, the relation and hierarchy between the minimum distance estimators of the two families are yet to be comprehensively studied or fully established. Given a particular set of real data, how does one choose an optimal member from the union of these two classes of divergences? In this paper, we present a generalized family of divergences incorporating the above two classes; this family provides a smooth bridge between the DPD and the LDPD measures. This family helps to clarify and settle several longstanding issues in the relation between the important families of DPD and LDPD, apart from being an important tool in different areas of statistical inference in its own right.


title: Probing decaying heavy dark matter with the 4-year IceCube HESE data

abstract: After the first four years of data taking, the IceCube neutrino telescope has observed 54 high-energy starting events (HESE) with deposited energies between 20 TeV and 2 PeV. The background from atmospheric muons and neutrinos is expected to be of about 20 events, all below 100 TeV, thus pointing towards the astrophysical origin of about 8 events per year in that data set. However, their precise origin remains unknown. Here, we perform a detailed analysis of this event sample (considering simultaneously the energy, hemisphere and topology of the events) by assuming two contributions for the signal events: an isotropic power-law flux and a flux from decaying heavy dark matter. We fit the mass and lifetime of the dark matter and the normalization and spectral index of an isotropic power-law flux, for various decay channels of dark matter. We find that a significant contribution from dark matter decay is always slightly favored, either to explain the excess below 100 TeV, as in the case of decays to quarks or, as in the case of neutrino channels, to explain the three multi-PeV events. Also, we consider the possibility to interpret all the data by dark matter decays only, considering various combinations of two decay channels. We show that the decaying dark matter scenario provides a better fit to HESE data than the isotropic power-law flux.


title: Convergence to a Continuous State Branching Process with jumps and Height Process

abstract: In this work, we study asymptotics of the genealogy of Galton-Watson processes. Thus we consider a offspring distribution such that the rescaled Galton-Watson processes converges to a continuous state branching process (CSBP) with jumps. After we show that the rescaled height (or exploration) process of the corresponding Galton-Watson family tree, converges in a functional sense, to the continuous height process that Le Gall and Le Jan introduced in 1998 on their paper "branching processes in L\'evy processes : The exploration process".


title: A Space-Time Approach for the Time-Domain Simulation in a Rotating Reference Frame

abstract: We approach the discretisation of Maxwell's equations directly in space-time without making any non-relativistic assumptions with the particular focus on simulations in rotating reference frames. As a research example we study Sagnac's effect in a rotating ring resonator. After the discretisation, we express the numerical scheme in a form resembling 3D FIT with leapfrog. We compare the stability and convergence properties of two 4D approaches, namely FIT and FEM, both using Whitney interpolation.


title: Dex: Incremental Learning for Complex Environments in Deep Reinforcement Learning

abstract: This paper introduces Dex, a reinforcement learning environment toolkit specialized for training and evaluation of continual learning methods as well as general reinforcement learning problems. We also present the novel continual learning method of incremental learning, where a challenging environment is solved using optimal weight initialization learned from first solving a similar easier environment. We show that incremental learning can produce vastly superior results than standard methods by providing a strong baseline method across ten Dex environments. We finally develop a saliency method for qualitative analysis of reinforcement learning, which shows the impact incremental learning has on network attention.


title: Parallel-In-Time Simulation of Eddy Current Problems Using Parareal

abstract: In this contribution the usage of the Parareal method is proposed for the time-parallel solution of the eddy current problem. The method is adapted to the particular challenges of the problem that are related to the differential algebraic character due to non-conducting regions. It is shown how the necessary modification can be automatically incorporated by using a suitable time stepping method. The paper closes with a first demonstration of a simulation of a realistic four-pole induction machine model using Parareal.


title: Minimal surface system in Euclidean four-space

abstract: Generalizing the Cauchy-Riemann equations, we construct the Osserman system of the first order for a pair $\left(f(x, y), g(x,y) \right)$ of two ${\mathbb{R}}$-valued functions on the domain $\Omega \subset {\mathbb{R}}^{2}$. The graph $\left\{\, \left(x, y, f(x, y), g(x,y) \right) \in {\mathbb{R}}^{4} \, \vert \, (x,y) \in \Omega \, \right\}$ becomes a minimal surface in ${\mathbb{R}}^{4}$, whose generalized Gauss map lies on the intersection of a hyperplane of the complex projective space ${\mathbb{CP}}^{3}$ and the complex cone ${z_1}^{2}+{z_2}^{2}+{z_3}^{2}+{z_4}^{2}=0$. We present two applications of the Lagrangian potential on minimal graphs in ${\mathbb{R}}^{3}$. First, we deform a minimal graph ${\Sigma}_{0}$ in ${\mathbb{R}}^{3}$ to the one parameter family of the two dimensional minimal graph ${\Sigma}_{\lambda}$ in ${\mathbb{R}}^{4}$ with the invariance of the metric ${\left(\det{ \left( {\mathbf{g}}_{{\Sigma}_{\lambda}} \right) }\right)}^{- \frac{1}{2}} {\mathbf{g}}_{{\Sigma}_{\lambda}}$. Second, we construct the three dimensional special Lagrangian graphs in ${\mathbb{R}}^{6}={\mathbb{C}}^{3}$.


title: Linear Asymptotic Stability and Modulation Behavior near Periodic Waves of the Korteweg-de Vries Equation

abstract: We provide a detailed study of the dynamics obtained by linearizing the Korteweg-de Vries equation about one of its periodic traveling waves, a cnoidal wave. In a suitable sense, linearly analogous to space-modulated stability, we prove global-in-time bounded stability in any Sobolev space, and asymptotic stability of dispersive type. Furthermore, we provide both a leading-order description of the dynamics in terms of slow modulation of local parameters and asymptotic modulation systems and effective initial data for the evolution of those parameters. This requires a global-in-time study of the dynamics generated by a non normal operator with non constant coefficients. On the road we also prove estimates on oscillatory integrals particularly suitable to derive large-time asymptotic systems that could be of some general interest.


title: Chern-Schwartz-MacPherson classes of degeneracy loci

abstract: The Chern-Schwartz-MacPherson class (CSM) and the Segre-Schwartz-MacPherson class (SSM) are deformations of the fundamental class of an algebraic variety. They encode finer enumerative invariants of the variety than its fundamental class. In this paper we offer three contributions to the theory of equivariant CSM/SSM classes. First, we prove an interpolation characterization for CSM classes of certain representations. This method---inspired by recent works of Maulik-Okounkov and Gorbounov-Rimanyi-Tarasov-Varchenko---does not require a resolution of singularities and often produces explicit (not sieve) formulas for CSM classes. Second, using the interpolation characterization we prove explicit formulas---including residue generating sequences---for the CSM and SSM classes of matrix Schubert varieties. Third, we suggest that a stable version of the SSM class of matrix Schubert varieties will serve as the building block of equivariant SSM theory, similarly to how the Schur functions are the building blocks of fundamental class theory. We illustrate these phenomena, and related stability and (2-step) positivity properties for some relevant representations.


title: New Artin-Schelter regular and Calabi-Yau algebras via normal extensions

abstract: We introduce a new method to construct 4-dimensional Artin-Schelter regular algebras as normal extensions of (not necessarily noetherian) 3-dimensional ones. The method produces large classes of new 4-dimensional Artin-Schelter regular algebras. When applied to a 3-Calabi-Yau algebra our method produces a flat family of central extensions of it that are 4-Calabi-Yau, and all 4-Calabi-Yau central extensions having the same generating set as the original 3-Calabi-Yau algebra arise in this way. Each normal extension has the same generators as the original 3-dimensional algebra, and its relations consist of all but one of the relations for the original algebra and an equal number of new relations determined by "the missing one" and a tuple of scalars satisfying some numerical conditions. We determine the Nakayama automorphisms of the 4-dimensional algebras obtained by our method and as a consequence show that their homological determinant is 1. This supports the conjecture by Mori-Smith that the homological determinant of the Nakayama automorphism is 1 for all Artin-Schelter regular connected graded algebras. Reyes-Rogalski-Zhang proved this is true in the noetherian case.


title: $um$-Topology in multi-normed vector lattices

abstract: Let $\mathcal{M}=\{m_\lambda\}_{\lambda\in\Lambda}$ be a separating family of lattice seminorms on a vector lattice $X$, then $(X,\mathcal{M})$ is called a multi-normed vector lattice (or MNVL). We write $x_\alpha \xrightarrow{\mathrm{m}} x$ if $m_\lambda(x_\alpha-x)\to 0$ for all $\lambda\in\Lambda$. A net $x_\alpha$ in an MNVL $X=(X,\mathcal{M})$ is said to be unbounded $m$-convergent (or $um$-convergent) to $x$ if $\lvert x_\alpha-x \rvert\wedge u \xrightarrow{\mathrm{m}} 0$ for all $u\in X_+$. $um$-Convergence generalizes $un$-convergence \cite{DOT,KMT} and $uaw$-convergence \cite{Zab}, and specializes $up$-convergence \cite{AEEM1} and $u\tau$-convergence \cite{DEM2}. $um$-Convergence is always topological, whose corresponding topology is called unbounded $m$-topology (or $um$-topology). We show that, for an $m$-complete metrizable MNVL $(X,\mathcal{M})$, the $um$-topology is metrizable iff $X$ has a countable topological orthogonal system. In terms of $um$-completeness, we present a characterization of MNVLs possessing both Lebesgue's and Levi's properties. Then, we characterize MNVLs possessing simultaneously the $\sigma$-Lebesgue and $\sigma$-Levi properties in terms of sequential $um$-completeness. Finally, we prove that any $m$-bounded and $um$-closed set is $um$-compact iff the space is atomic and has Lebesgue's and Levi's properties.


title: Krein signature for instability of $\mathcal{PT}$-symmetric states

abstract: Krein quantity is introduced for isolated neutrally stable eigenvalues associated with the stationary states in the $\mathcal{PT}$-symmetric nonlinear Schr\"{o}dinger equation. Krein quantity is real and nonzero for simple eigenvalues but it vanishes if two simple eigenvalues coalesce into a defective eigenvalue. A necessary condition for bifurcation of unstable eigenvalues from the defective eigenvalue is proved. This condition requires the two simple eigenvalues before the coalescence point to have opposite Krein signatures. The theory is illustrated with several numerical examples motivated by recent publications in physics literature.


title: Experimental nonlocal steering of Bohmian trajectories

abstract: Interpretations of quantum mechanics (QM), or proposals for underlying theories, that attempt to present a definite realist picture, such as Bohmian mechanics, require strong non-local effects. Naively, these effects would violate causality and contradict special relativity. However if the theory agrees with QM the violation cannot be observed directly. Here, we demonstrate experimentally such an effect: we steer the velocity and trajectory of a Bohmian particle using a remote measurement. We use a pair of photons and entangle the spatial transverse position of one with the polarization of the other. The first photon is sent to a double-slit-like apparatus, where its trajectory is measured using the technique of Weak Measurements. The other photon is projected to a linear polarization state. The choice of polarization state, and the result, steer the first photon in the most intuitive sense of the word. The effect is indeed shown to be dramatic, while being easy to visualize. We discuss its strength and what are the conditions for it to occur.


title: The Effect of Interference in Vehicular Communications on Safety Factors

abstract: This paper studies how the interference of vehicular communications affects the safety of vehicles in a vehicular ad hoc network. Different signal propagation models with and without carrier sensing are considered for the dissemination of periodic safety messages. Then, by employing the results for different packet success probability of the vehicles, we compare the expected collision probability of vehicles for different signal fading models. Our results show how the collision probabilities of vehicles in the network vary with respect to different models and designs.


title: Central depression in nucleonic densities: Trend analysis in nuclear density-functional-theory approach

abstract: Central depression of nucleonic density, i.e., a reduction of density in the nuclear interior, has been attributed to many factors. E.g., bubble structures in superheavy (SH) nuclei are believed to be due to the electrostatic repulsion. In light nuclei, the mechanism has been discussed in terms of shell effects associated with occupations of s-orbits. The objective of this work is to reveal mechanisms behind the formation of central depression in nucleonic densities in light and heavy nuclei. We introduce several measures of the internal nucleonic density. Through the statistical analysis, we study the information content of these measures with respect to nuclear matter properties. We apply nuclear density functional theory with Skyrme functionals. Using the statistical tools of linear least square regression, we inspect correlations between various measures of central depression and model parameters, including nuclear matter properties. We study bivariate correlations with selected quantities as well as multiple correlations with groups of parameters. Detailed correlation analysis is carried out for $^{34}$Si for which a bubble structure has been reported recently, $^{48}$Ca, and N=82, 126, and 184 isotonic chains. We show that the central depression in medium-mass nuclei is very sensitive to shell effects, whereas for SH systems it is firmly driven by the electrostatic repulsion. An appreciable semi-bubble structure in proton density is predicted for $^{294}$Og, which is currently the heaviest nucleus known experimentally. Our correlation analysis reveals that the central density indicators in nuclei below $^{208}$Pb carry little information on parameters of nuclear matter; they are predominantly driven by shell structure. On the other hand, in the SH nuclei there exists a clear relationship between the central nucleonic density and symmetry energy.


title: Families of Distributed Memory Parallel Graph Algorithms from Self-Stabilizing Kernels-An SSSP Case Study

abstract: Self-stabilizing algorithms are an important because of their robustness and guaranteed convergence. Starting from any arbitrary state, a self-stabilizing algorithm is guaranteed to converge to a legitimate state.Those algorithms are not directly amenable to solving distributed graph processing problems when performance and scalability are important. In this paper, we show the "Abstract Graph Machine" (AGM) model that can be used to convert self-stabilizing algorithms into forms suitable for distributed graph processing. An AGM is a mathematical model of parallel computation on graphs that adds work dependency and ordering to self-stabilizing algorithms. Using the AGM model we show that some of the existing distributed Single Source Shortest Path (SSSP) algorithms are actually specializations of self-stabilizing SSSP. We extend the AGM model to apply more fine-grained orderings at different spatial levels to derive additional scalable variants of SSSP algorithms, essentially enabling the algorithm to be generated for a specific target architecture. Experimental results show that this approach can generate new algorithmic variants that out-perform standard distributed algorithms for SSSP.


title: Approximate Generalized Matching: $f$-Factors and $f$-Edge Covers

abstract: In this paper we present linear time approximation schemes for several generalized matching problems on nonbipartite graphs. Our results include $O_\epsilon(m)$-time algorithms for $(1-\epsilon)$-maximum weight $f$-factor and $(1+\epsilon)$-approximate minimum weight $f$-edge cover. As a byproduct, we also obtain direct algorithms for the exact cardinality versions of these problems running in $O(m\sqrt{f(V)})$ time. The technical contributions of this work include an efficient method for maintaining {\em relaxed complementary slackness} in generalized matching problems and approximation-preserving reductions between the $f$-factor and $f$-edge cover problems.


title: Disentangling the Circumnuclear Environs of Centaurus A: III. An Inner Molecular Ring, Nuclear Shocks and the CO to warm H2 interface

abstract: We present the distribution and kinematics of the molecular gas in the circumnuclear disk (CND, 400 pc x 200 pc) of Centaurus A with resolutions of ~5 pc (0.3 arcsec) and shed light onto the mechanism feeding the Active Galactic Nucleus (AGN) using CO(3-2), HCO+(4-3), HCN(4-3), and CO(6-5) observations obtained with ALMA. Multiple filaments or streamers of tens to a hundred parsec scale exist within the CND, which form a ring-like structure with an unprojected diameter of 9 x 6 arcsec (162pc x 108pc) and a position angle PA = 155deg. Inside the nuclear ring, there are two leading and straight filamentary structures with lengths of about 30-60pc at PA = 120deg on opposite sides of the AGN, with a rotational symmetry of 180deg and steeper position-velocity diagrams, which are interpreted as nuclear shocks due to non-circular motions. Along the filaments, and unlike other nearby AGNs, several dense molecular clumps present low HCN/HCO+(4-3) ratios (~0.5). The filaments abruptly end in the probed transitions at r = 20pc from the AGN, but previous near-IR H2 (J=1-0) S(1) maps show that they continue in an even ~1000 K), winding up in the form of nuclear spirals, and forming an inner ring structure with another set of symmetric filaments along the N-S direction and within r = 10pc. The molecular gas is governed primarily by non-circular motions, being the successive shock fronts at different scales where loss of angular momentum occurs, a mechanism which may feed efficiently powerful radio galaxies down to parsec scales.


title: RCW 36 in the Vela Molecular Ridge: Evidence for a high-mass star cluster formation triggered by Cloud-Cloud Collision

abstract: A collision between two molecular clouds is one possible candidate for high-mass star formation. The HII region RCW 36, located in the Vela molecular ridge, contains a young star cluster with two O-type stars. We present new CO observations of RCW 36 with NANTEN2, Mopra, and ASTE using $^{12}$CO($J$ = 1-0, 2-1, 3-2) and $^{13}$CO($J$ = 2-1) line emissions. We have discovered two molecular clouds lying at the velocities $V_\mathrm{LSR} \sim$5.5 and 9 km s$^{-1}$. Both clouds are likely to be physically associated with the star cluster, as verified by the good spatial correspondence among the two clouds, infrared filaments, and the star cluster. We also found a high intensity ratio of $\sim$0.6-1.2 for CO $J$ = 3-2 / 1-0 toward both clouds, indicating that the gas temperature has been increased due to heating by the O-type stars. We propose that the O-type stars in RCW 36 were formed by a collision between the two clouds, with a relative velocity separation of 5 km s$^{-1}$. The complementary spatial distributions and the velocity separation of the two clouds are in good agreement with observational signatures expected for O-type star formation triggered by a cloud-cloud collision. We also found a displacement between the complementary spatial distributions of the two clouds, which we estimate to be 0.3 pc assuming the collision angle to be 45$^{\circ}$ relative to the line-of-sight. We estimate the collision timescale to be $\sim$10$^5$ yr. It is probable that the cluster age by Ellerbroek et al. (2013b) is dominated by the low-mass members which were not formed under the triggering by cloud-cloud collision, and that the O-type stars in the center of the cluster are explained by the collisional triggering independently from the low-mass star formation.


title: Dipole: Diagnosis Prediction in Healthcare via Attention-based Bidirectional Recurrent Neural Networks

abstract: Predicting the future health information of patients from the historical Electronic Health Records (EHR) is a core research task in the development of personalized healthcare. Patient EHR data consist of sequences of visits over time, where each visit contains multiple medical codes, including diagnosis, medication, and procedure codes. The most important challenges for this task are to model the temporality and high dimensionality of sequential EHR data and to interpret the prediction results. Existing work solves this problem by employing recurrent neural networks (RNNs) to model EHR data and utilizing simple attention mechanism to interpret the results. However, RNN-based approaches suffer from the problem that the performance of RNNs drops when the length of sequences is large, and the relationships between subsequent visits are ignored by current RNN-based approaches. To address these issues, we propose {\sf Dipole}, an end-to-end, simple and robust model for predicting patients' future health information. Dipole employs bidirectional recurrent neural networks to remember all the information of both the past visits and the future visits, and it introduces three attention mechanisms to measure the relationships of different visits for the prediction. With the attention mechanisms, Dipole can interpret the prediction results effectively. Dipole also allows us to interpret the learned medical code representations which are confirmed positively by medical experts. Experimental results on two real world EHR datasets show that the proposed Dipole can significantly improve the prediction accuracy compared with the state-of-the-art diagnosis prediction approaches and provide clinically meaningful interpretation.


title: An Empirical Study of Mini-Batch Creation Strategies for Neural Machine Translation

abstract: Training of neural machine translation (NMT) models usually uses mini-batches for efficiency purposes. During the mini-batched training process, it is necessary to pad shorter sentences in a mini-batch to be equal in length to the longest sentence therein for efficient computation. Previous work has noted that sorting the corpus based on the sentence length before making mini-batches reduces the amount of padding and increases the processing speed. However, despite the fact that mini-batch creation is an essential step in NMT training, widely used NMT toolkits implement disparate strategies for doing so, which have not been empirically validated or compared. This work investigates mini-batch creation strategies with experiments over two different datasets. Our results suggest that the choice of a mini-batch creation strategy has a large effect on NMT training and some length-based sorting strategies do not always work well compared with simple shuffling.


title: Induced subdivisions and bounded expansion

abstract: We prove that for every graph H and for every integer s, the class of graphs that do not contain K_s, K_{s,s}, or any subdivision of H as an induced subgraph has bounded expansion; this strengthens a result of Kuhn and Osthus. The argument also gives another characterization of graph classes with bounded expansion and of nowhere-dense graph classes.


title: On the arithmetic of graphs

abstract: The Zykov ring of signed finite simple graphs with topological join as addition and compatible multiplication is an integral domain but not a unique factorization domain. We know that because by taking graph complements, it becomes isomorphic to the strong Sabidussi ring with disjoint union as addition. We prove that the Euler characteristic is a ring homomorphism from the strong ring to the integers by demonstrating that the strong ring is homotopic to a Stanley-Reisner Cartesian ring. More generally, the Kuenneth formula holds on the strong ring so that the Poincare polynomial is compatible with the ring structure. The Zykov ring has the clique number as a ring homomorphism. Furthermore, the Cartesian ring has the property that the functor which attaches to a graph the spectrum of its connection Laplacian is multiplicative. The reason is that the connection Laplacians do tensor under multiplication, similarly to what the adjacency matrix does for the weak ring. The strong ring product of two graphs contains both the weak and direct product graphs as subgraphs. The Zykov, Sabidussi or Stanley-Reisner rings are so manifestations of a network arithmetic which has remarkable cohomological properties, dimension and spectral compatibility but where arithmetic questions like the complexity of detecting primes or factoring are not yet studied well. We illustrate the Zykov arithmetic with examples, especially from the subring generated by point graphs which contains spheres, stars or complete bipartite graphs. While things are formulated in the language of graph theory, all constructions generalize to the larger category of finite abstract simplicial complexes.


title: Formation of the young compact cluster GM 24 triggered by a cloud-cloud collision

abstract: High-mass star formation is an important step which controls galactic evolution. GM 24 is a heavily obscured star cluster including a single O9 star with more than $\sim$100 lower mass stars within a 0.3 pc radius toward $(l,b)\sim$ (350.$^{\circ}$5, 0.$^{\circ}$96), close to the Galactic min-starburst NGC 6334. We found two velocity components associated with the cluster by new observations of $^{12}$CO $J=$ 2-1 emission, whereas the cloud was previously considered to be single. We found the distribution of the two components of $5$ km s$^{-1}$ separation shows complementary distribution which fits well with each other, if a relative displacement of 3 pc is applied along the Galactic plane. A position-velocity diagram of the GM 24 cloud is explained by a model based on the numerical simulations of two colliding clouds, where an intermediate velocity component created by collision is taken into account. We estimate the collision time scale to be $\sim$Myr in projection of a relative motion titled to the line of sight by 45 degrees. The results lend further support for cloud-cloud collision as a major mechanism of high-mass star formation in the Carina-Sagittarius Arm.


title: Origin and Structures of Solar Eruptions II: Magnetic Modeling (Invited Review)

abstract: The topology and dynamics of the three-dimensional magnetic field in the solar atmosphere govern various solar eruptive phenomena and activities, such as flares, coronal mass ejections, and filaments/prominences. We have to observe and model the vector magnetic field to understand the structures and physical mechanisms of these solar activities. Vector magnetic fields on the photosphere are routinely observed via the polarized light, and inferred with the inversion of Stokes profiles. To analyze these vector magnetic fields, we need first to remove the 180$^\circ$ ambiguity of the transverse components and correct the projection effect. Then, the vector magnetic field can be served as the boundary conditions for a force-free field modeling after a proper preprocessing. The photospheric velocity field can also be derived from a time sequence of vector magnetic fields. Three-dimensional magnetic field could be derived and studied with theoretical force-free field models, numerical nonlinear force-free field models, magnetohydrostatic models, and magnetohydrodynamic models. Magnetic energy can be computed with three-dimensional magnetic field models or a time series of vector magnetic field. The magnetic topology is analyzed by pinpointing the positions of magnetic null points, bald patches, and quasi-separatrix layers. As a well conserved physical quantity, magnetic helicity can be computed with various methods, such as the finite volume method, discrete flux tube method, and helicity flux integration method. This quantity serves as a promising parameter characterizing the activity level of solar active regions.


title: On S-duality for holographic p-wave superconductors

abstract: We consider the generalization of the S-duality transformation previously investigated in the context of the FQHE and s-wave superconductivity to p-wave superconductivity in 2+1 dimensions in the framework of the AdS/CFT correspondence. The vector Cooper condensate transforms under the S-duality action to the pseudovector condensate at the dual side. The 3+1-dimensional Einstein-Yang-Mills theory, the holographic dual to p-wave superconductivity, is used to investigate the S-duality action via the AdS/CFT correspondence. It is shown that in order to implement the duality transformation, chemical potentials both on the electric and magnetic side of the duality have to be introduced. A relation for the product of the nonabelian conductivities in the dual models is derived. We also conjecture a flavor S-duality transformation in the holographic dual to 3+1-dimensional QCD low-energy QCD with non-abelian flavor gauge groups. The conjectured S-duality interchanges isospin and baryonic chemical potentials.


title: Molecular clouds in the NGC 6334 and NGC 6357 region; Evidence for a 100 pc-scale cloud-cloud collision triggering the Galactic mini-starbursts

abstract: We carried out new CO ($J=$1-0, 2-1 and 3-2) observations with NANTEN2 and ASTE in the region of the twin Galactic mini-starbursts NGC 6334 and NGC 6357. We detected two velocity molecular components of 12 km s$^{-1}$ velocity separation, which is continuous over 3 degrees along the plane. In NGC 6334 the two components show similar two-peaked intensity distributions toward the young HII regions and are linked by a bridge feature. In NGC 6357 we found spatially complementary distribution between the two velocity components as well as a bridge feature in velocity. Based on these results we hypothesize that the two clouds in the two regions collided with each other in the past few Myr and triggered formation of the starbursts over $\sim$ 100 pc. We suggest that the formation of the starbursts happened toward the collisional region of $\sim$ 10-pc extents with initial high molecular column densities. For NGC 6334 we present a scenario which includes spatial variation of the colliding epoch due to non-uniform cloud separation. The scenario possibly explains the apparent age difference among the young O stars in NGC 6334 raging from $10^4$ yrs to $10^6$ yrs; the latest collision happened within $10^5$ yrs toward the youngest stars in NGC 6334 I(N) and I which exhibit molecular outflows without HII regions. For NGC 6357 the O stars were formed a few Myrs ago, and the cloud dispersal by the O stars is significant. We conclude that cloud-cloud collision offers a possible explanation of the min-starburst over a 100-pc scale.


title: Look No Further: Adapting the Localization Sensory Window to the Temporal Characteristics of the Environment

abstract: Many localization algorithms use a spatiotemporal window of sensory information in order to recognize spatial locations, and the length of this window is often a sensitive parameter that must be tuned to the specifics of the application. This letter presents a general method for environment-driven variation of the length of the spatiotemporal window based on searching for the most significant localization hypothesis, to use as much context as is appropriate but not more. We evaluate this approach on benchmark datasets using visual and Wi-Fi sensor modalities and a variety of sensory comparison front-ends under in-order and out-of-order traversals of the environment. Our results show that the system greatly reduces the maximum distance traveled without localization compared to a fixed-length approach while achieving competitive localization accuracy, and our proposed method achieves this performance without deployment-time tuning.


title: Optimal Status Update for Age of Information Minimization with an Energy Harvesting Source

abstract: In this paper, we consider a scenario where an energy harvesting sensor continuously monitors a system and sends time-stamped status updates to a destination. The destination keeps track of the system status through the received updates. We use the metric Age of Information (AoI), the time that has elapsed since the last received update was generated, to measure the "freshness" of the status information available at the destination. We assume energy arrives randomly at the sensor according to a Poisson process, and each status update consumes one unit of energy. Our objective is to design optimal online status update policies to minimize the long-term average AoI, subject to the energy causality constraint at the sensor. We consider three scenarios, i.e., the battery size is infinite, finite, and one unit only, respectively. For the infinite battery scenario, we adopt a best-effort uniform status update policy and show that it minimizes the long-term average AoI. For the finite battery scenario, we adopt an energy-aware adaptive status update policy, and prove that it is asymptotically optimal when the battery size goes to infinity. For the last scenario where the battery size is one, we first show that within a broadly defined class of online policies, the optimal policy should have a renewal structure, i.e., the status update epochs form a renewal process, and the length of each renewal interval depends on the first energy arrival over that interval only. We then focus on a renewal interval, and prove that if the AoI in the system is below a threshold when the first energy arrives, the sensor should store the energy and hold status update until the AoI reaches the threshold, otherwise, it updates the status immediately. We analytically characterize the long-term average AoI under such a threshold-based policy, and explicitly identify the optimal threshold.


title: Testing self-energy embedding theory in combination with GW

abstract: We present a theoretical framework and implementation details for self-energy embedding theory (SEET) with the GW approximation for the treatment of weakly correlated degrees of freedom and configuration interactions solver for handing the strongly correlated degrees. On a series of molecular examples, for which the exact results are known within a given basis, we demonstrate that SEET(CI/GW) is a systematically improvable and well controlled method capable of giving accurate results and well behaved causal self-energies and Green's functions. We compare the theoretical framework of SEET(CI/GW) to that of GW+DMFT and comment on differences between these to approaches that aim to treat both strongly and weakly correlated simultaneously.


title: Enhanced ferromagnetic transition temperature induced by a microscopic structural rearrangement in the diluted magnetic semiconductor Ge$_{1-x}$Mn$_{x}$Te

abstract: The correlation between magnetic properties and microscopic structural aspects in the diluted magnetic semiconductor Ge$_{1-x}$Mn$_{x}$Te is investigated by x-ray diffraction and magnetization as a function of the Mn concentration $x$. The occurrence of high ferromagnetic-transition temperatures in the rhombohedrally distorted phase of slowly-cooled Ge$_{1-x}$Mn$_{x}$Te is shown to be directly correlated with the formation and coexistence of strongly-distorted Mn-poor and weakly-distorted Mn-rich regions. It is demonstrated that the weakly-distorted phase fraction is responsible for the occurrence of high-transition temperatures in Ge$_{1-x}$Mn$_{x}$Te. When the Mn concentration becomes larger, the Mn-rich regions start to switch into the undistorted cubic structure, and the transition temperature is suppressed concurrently. By identifying suitable annealing conditions, we successfully increased the transition temperature to above 200 K for Mn concentrations close to the cubic phase. Structural data indicate that the weakly-distorted phase fraction can be restored at the expense of the cubic regions upon the enhancement of the transition temperature, clearly establishing the direct link between high-transition temperatures and the weakly-distorted Mn-rich phase fraction.


title: Chiral Spin Mode on the Surface of a Topological Insulator

abstract: Using polarization-resolved resonant Raman spectroscopy, we explore collective spin excitations of the chiral surface states in a three dimensional topological insulator, Bi$_2$Se$_3$. We observe a sharp peak at 150 meV in the pseudovector $A_2$ symmetry channel of the Raman spectra. By comparing the data with calculations, we identify this peak as the transverse collective spin mode of surface Dirac fermions. This mode, unlike a Dirac plasmon or a surface plasmon in the charge sector of excitations, is analogous to a spin wave in a partially polarized Fermi liquid, with spin-orbit coupling playing the role of an effective magnetic field.


title: A note on singular points of bundle homomorphisms from a tangent distribution into a vector bundle of the same rank

abstract: We consider bundle homomorphisms between tangent distributions and vector bundles of the same rank. We study the conditions for fundamental singularities when the bundle homomorphism is induced from a Morin map. When the tangent distribution is the contact structure, we characterize singularities of the bundle homomorphism by using the Hamilton vector fields.