title: A neural network trained to predict future video frames mimics critical properties of biological neuronal responses and perception

abstract: While deep neural networks take loose inspiration from neuroscience, it is an open question how seriously to take the analogies between artificial deep networks and biological neuronal systems. Interestingly, recent work has shown that deep convolutional neural networks (CNNs) trained on large-scale image recognition tasks can serve as strikingly good models for predicting the responses of neurons in visual cortex to visual stimuli, suggesting that analogies between artificial and biological neural networks may be more than superficial. However, while CNNs capture key properties of the average responses of cortical neurons, they fail to explain other properties of these neurons. For one, CNNs typically require large quantities of labeled input data for training. Our own brains, in contrast, rarely have access to this kind of supervision, so to the extent that representations are similar between CNNs and brains, this similarity must arise via different training paths. In addition, neurons in visual cortex produce complex time-varying responses even to static inputs, and they dynamically tune themselves to temporal regularities in the visual environment. We argue that these differences are clues to fundamental differences between the computations performed in the brain and in deep networks. To begin to close the gap, here we study the emergent properties of a previously-described recurrent generative network that is trained to predict future video frames in a self-supervised manner. Remarkably, the model is able to capture a wide variety of seemingly disparate phenomena observed in visual cortex, ranging from single unit response dynamics to complex perceptual motion illusions. These results suggest potentially deep connections between recurrent predictive neural network models and the brain, providing new leads that can enrich both fields.


title: Numerical study of the $\mathcal{N}=2$ Landau--Ginzburg model

abstract: It is believed that the two-dimensional massless $\mathcal{N}=2$ Wess--Zumino model becomes the $\mathcal{N}=2$ superconformal field theory (SCFT) in the infrared (IR) limit. We examine this theoretical conjecture of the Landau--Ginzburg (LG) description of the $\mathcal{N}=2$ SCFT by numerical simulations on the basis of a supersymmetric-invariant momentum-cutoff regularization. We study a single supermultiplet with cubic and quartic superpotentials. From two-point correlation functions in the IR region, we measure the scaling dimension and the central charge, which are consistent with the conjectured LG description of the $A_2$ and $A_3$ minimal models, respectively. Our result supports the theoretical conjecture and, at the same time, indicates a possible computational method of correlation functions in the $\mathcal{N}=2$ SCFT from the LG description.


title: De-noising by thresholding operator adapted wavelets

abstract: Donoho and Johnstone proposed a method from reconstructing an unknown smooth function $u$ from noisy data $u+\zeta$ by translating the empirical wavelet coefficients of $u+\zeta$ towards zero. We consider the situation where the prior information on the unknown function $u$ may not be the regularity of $u$ but that of $ \L u$ where $\L$ is a linear operator (such as a PDE or a graph Laplacian). We show that the approximation of $u$ obtained by thresholding the gamblet (operator adapted wavelet) coefficients of $u+\zeta$ is near minimax optimal (up to a multiplicative constant), and with high probability, its energy norm (defined by the operator) is bounded by that of $u$ up to a constant depending on the amplitude of the noise. Since gamblets can be computed in $\mathcal{O}(N \operatorname{polylog} N)$ complexity and are localized both in space and eigenspace, the proposed method is of near-linear complexity and generalizable to non-homogeneous noise.


title: Deep Adversarial Context-Aware Landmark Detection for Ultrasound Imaging

abstract: Real-time localization of prostate gland in trans-rectal ultrasound images is a key technology that is required to automate the ultrasound guided prostate biopsy procedures. In this paper, we propose a new deep learning based approach which is aimed at localizing several prostate landmarks efficiently and robustly. We propose a multitask learning approach primarily to make the overall algorithm more contextually aware. In this approach, we not only consider the explicit learning of landmark locations, but also build-in a mechanism to learn the contour of the prostate. This multitask learning is further coupled with an adversarial arm to promote the generation of feasible structures. We have trained this network using ~4000 labeled trans-rectal ultrasound images and tested on an independent set of images with ground truth landmark locations. We have achieved an overall Dice score of 92.6% for the adversarially trained multitask approach, which is significantly better than the Dice score of 88.3% obtained by only learning of landmark locations. The overall mean distance error using the adversarial multitask approach has also improved by 20% while reducing the standard deviation of the error compared to learning landmark locations only. In terms of computational complexity both approaches can process the images in real-time using standard computer with a standard CUDA enabled GPU.


title: Volterra type operators on weighted Banach spaces of analytic functions

abstract: Smith et al. recently gave the sufficient and necessary conditions for the boundedness of Volterra type operators on Banach spaces of bounded analytic functions when the symbol functions are univalent. In this paper, we give the complete characterizations of the conditions for the boundedness and compactness of Volterra type operators $T_g$ and their companion operators $S_g$ between weighted Banach spaces of analytic functions, which essentially generalize their works.


title: About Some Relatives of the Taxicab Number

abstract: The taxicab number, $1729$, has the following property. If we add its digits we obtain $19$. The number obtained from $19$ by reversing the order of its digits is $91$. If we multiply $19$ by $91$ we obtain again $1729$. In the paper we study various generalizations of this property.


title: Electronic nature of coverage-dependent nanosurface effect by cooperative orbital redistribution

abstract: Nanomaterial surface states can effectively modify or even dominate their physical and chemical properties due to large surface-to-volume ratios. Such surface effects are highly dependent on particle size and ligand coverage, yet the underlying electronic-level mechanism still remains unknown. Using TiO2 nanosheet as a model system, we reveal the electronic nature of coverage-dependent nanosurface effects through varying ligand coverage and probing the modified surface bonding and electronic band structures with near-edge X-ray absorption fine structure. We discover experimentally that surface ligands can competitively polarize the 3d orbitals of surface Ti atoms into chemisorption states, which is cooperative with increased ligand coverages. Such coverage-dependent cooperative orbital redistribution accounts for various nanosurface effects on regulating the electronic structure, surface reactivity, optical property, and chemisorption of nanomaterials.


title: Bounding cohomology on a smooth projective surface

abstract: The following conjecture arose out of discussions between B. Harbourne, J. Ro\'e, C. Cilberto and R. Miranda: for a smooth projective surface $X$ there exists a positive constant $c_X$ such that $h^1(\mathcal O_X(C))\le c_X h^0(\mathcal O_X(C))$ for every prime divisor $C$ on $X$. We show that the conjecture is true for some smooth projective surfaces with Picard number 2.


title: High-dimensional empirical likelihood inference

abstract: High-dimensional statistical inference with general estimating equations are challenging and remain less explored. In this paper, we study two problems in the area: confidence set estimation for multiple components of the model parameters, and model specifications test. For the first one, we propose to construct a new set of estimating equations such that the impact from estimating the high-dimensional nuisance parameters becomes asymptotically negligible. The new construction enables us to estimate a valid confidence region by empirical likelihood ratio. For the second one, we propose a test statistic as the maximum of the marginal empirical likelihood ratios to quantify data evidence against the model specification. Our theory establishes the validity of the proposed empirical likelihood approaches, accommodating over-identification and exponentially growing data dimensionality. The numerical studies demonstrate promising performance and potential practical benefits of the new methods.


title: Equivalence of large-$N$ gauge theories on a group manifold and its coset space

abstract: It was shown in arXiv:0912.1456 that the large-$N$ reduction holds on group manifolds in the sense that a large-$N$ gauge theory on a group manifold is realized by a matrix model which is obtained by dimensionally reducing the original theory to zero dimension. In this note, generalizing the above statement, we show that a large-$N$ gauge theory on a group manifold is equivalent to a theory which is obtained by reducing the original theory to its coset space. This is analogous to the statement of the large-$N$ reduction on flat spaces that large-$N$ gauge theories are independent of the volume.


title: On error estimates for Galerkin finite element methods for the Camassa-Holm equation

abstract: We consider the Camassa-Holm (CH) equation, a nonlinear dispersive wave equation that models one-way propagation of long waves of moderately small amplitude. We discretize in space the periodic initial-value problem for CH (written in its original and in system form), using the standard Galerkin finite element method with smooth splines on a uniform mesh, and prove optimal-order $L^{2}$-error estimates for the semidiscrete approximation. We also consider an initial-boundary-value problem on a finite interval for the system form of CH and analyze the convergence of its standard Galerkin semidiscretization. Using the fourth-order accurate, explicit, "classical" Runge-Kutta scheme for time-stepping, we construct a highly accurate, stable, fully discrete scheme that we employ in numerical experiments to approximate solutions of CH, mainly smooth travelling waves and nonsmooth solitons of the `peakon' type.


title: Multiple-Lithography-Compliant Verification for Standard Cell Library Development Flow

abstract: Starting from 22-nm, a standard cell must be designed to be full lithography-compliant, which includes Design Rule Check, Design-for-Manufacturability and Double-Patterning compliant. It has become a great challenge for physical layout designers to provide a full lithography-compliant standard cell layout that is optimized for area, power, timing, signal integrity, and yield. This challenge is further exacerbated with abutted single- and multiple-height standard cells. At present, different foundries and library vendors have different approaches for full lithography-compliant library preparation and validation. To the best of our knowledge, there is no single tool integrates all types of lithography-compliant check in standard cell libraries validation flow. In this work, we will demonstrate multiple lithography-compliant verification for standard cell library development flow. Validation flow and detailed algorithm implementation will be explained to assist engineers to achieve full lithography-compliant standard cell libraries. An area-efficient standard cell placement methodology will also be discussed to validate the issues arises from standard cell abutment.


title: Puzzles and the Fatou-Shishikura injection for rational Newton maps

abstract: We establish a principle that we call the Fatou-Shishikura injection for Newton maps of polynomials: there is a dynamically natural injection from the set of non-repelling periodic orbits of any Newton map to the set of its critical orbits. This injection obviously implies the classical Fatou-Shishikura inequality, but it is stronger in the sense that every non-repelling periodic orbit has its own critical orbit. Moreover, for every Newton map we associate a forward invariant graph (a puzzle) which provides a dynamically defined partition of the Riemann sphere into closed topological disks (puzzle pieces). This puzzle construction is for rational Newton maps what Yoccoz puzzles are for polynomials: it provides the foundation for all kinds of rigidity results of Newton maps beyond our Fatou-Shishikura injection. Moreover, it gives necessary structure for a classification of the postcritically finite maps in the spirit of Thurston theory.


title: Sparse Grid Discontinuous Galerkin Methods for the Vlasov-Maxwell System

abstract: In this paper, we develop sparse grid discontinuous Galerkin (DG) schemes for the Vlasov-Maxwell (VM) equations. The VM system is a fundamental kinetic model in plasma physics, and its numerical computations are quite demanding, due to its intrinsic high-dimensionality and the need to retain many properties of the physical solutions. To break the curse of dimensionality, we consider the sparse grid DG methods that were recently developed in \cite{guo2016sparse,guo2017adaptive} for transport equations. Such methods are based on multiwavelets on tensorized nested grids and can significantly reduce the numbers of degrees of freedom. We formulate two versions of the schemes: sparse grid DG and adaptive sparse grid DG methods for the VM system. Their key properties and implementation details are discussed. Accuracy and robustness are demonstrated by numerical tests, with emphasis on comparison of the performance of the two methods, as well as with their full grid counterparts.


title: Irreducible Restrictions of Representations of Symmetric Groups in Small Characteristics: Reduction Theorems

abstract: We study irreducible restrictions from modules over symmetric groups to subgroups. We get reduction results which substantially restrict the classes of subgroups and modules for which this is possible. Such results are known when the characteristic of the ground field is greater than $3$, but the small characteristics cases require a substantially more delicate analysis and new ideas. This work fits into the Aschbacher-Scott program on maximal subgroups of finite classical groups.


title: Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs

abstract: Computing reachability probabilities is a fundamental problem in the analysis of probabilistic programs. This paper aims at a comprehensive and comparative account on various martingale-based methods for over- and under-approximating reachability probabilities. Based on the existing works that stretch across different communities (formal verification, control theory, etc.), we offer a unifying account. In particular, we emphasize the role of order-theoretic fixed points---a classic topic in computer science---in the analysis of probabilistic programs. This leads us to two new martingale-based techniques, too. We give rigorous proofs for their soundness and completeness. We also make an experimental comparison using our implementation of template-based synthesis algorithms for those martingales.


title: Entanglement as the symmetric portion of correlated coherence

abstract: We show that the symmetric portion of correlated coherence is always a valid quantifier of entanglement, and that this property is independent of the particular choice of coherence measure. This leads to an infinitely large class of coherence based entanglement monotones, which is always computable for pure states if the coherence measure is also computable. It is already known that every entanglement measure can be constructed as a coherence measure. The results presented here show that the converse is also true. The constructions that are presented can also be extended to also include more general notions of nonclassical correlations, leading to quantifiers that are related to quantum discord.


title: Completing perfect complexes

abstract: This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented modules over a right coherent ring is the completion of the category of perfect complexes. The result extends to non-affine noetherian schemes and gives rise to a direct construction of the singularity category. The parallel theory of completion for abelian categories is compatible with the completion of derived categories. There are three appendices. The first one by Tobias Barthel discusses the completion of perfect complexes for ring spectra. The second one by Tobias Barthel and Henning Krause refines for a separated noetherian scheme the description of the bounded derived category of coherent sheaves as a completion. The final appendix by Bernhard Keller introduces the concept of a morphic enhancement for triangulated categories and provides a proper foundation for completing a triangulated category.


title: Some Remarks on Regularity Criteria of Axially Symmetric Navier-Stokes Equations

abstract: Two main results will be presented in our paper. First, we will prove the regularity of solutions to axially symmetric Navier-Stokes equations under a $log$ supercritical assumption on the horizontally radial component $u^r$ and vertical component $u^z$, accompanied by a $log$ subcritical assumption on the horizontally angular component $u^\theta$ of the velocity. Second, the precise Green function for the operator $-(\Delta-\frac{1}{r^2})$ under the axially symmetric situation, where $r$ is the distance to the symmetric axis, and some weighted $L^p$ estimates of it will be given. This will serve as a tool for the study of axially symmetric Navier-Stokes equations. As an application, we will prove the regularity of solutions to axially symmetric Navier-Stokes equations under a critical (or a subcritical) assumption on the angular component $w^\theta$ of the vorticity.


title: Condition for the emergence of a bulk Fermi arc in disordered Dirac-fermion systems

abstract: We present a renormalization group analysis of the disorder effects on the low-energy behaviors of twodimensional tilted Dirac-fermion systems, in which the fermions have two distinct orbitals unrelated by any symmetry. Four types of disordered potential, two interorbital and two intraorbital, are considered. If there is only one type of interorbital disorder, the fermion-disorder scattering induces logarithmic or power-law corrections to the fermion density of states and specific heat. In contrast, the intraorbital disorder can turn the system into a strongly disordered phase. In this disordered phase, calculations based on self-consistent Born approximation reveal that the Dirac point is destroyed and replaced by a bulk Fermi arc. We also study the interplay of four types of disorder, and find that the Dirac point can either remain intact or give place to a Fermi arc. We obtain the condition for the emergence of a Fermi arc in this case. Our results indicate that disorders can result in rich low-energy properties of tilted Dirac fermions.


title: A note on block-and-bridge preserving maximum common subgraph algorithms for outerplanar graphs

abstract: Schietgat, Ramon and Bruynooghe proposed a polynomial-time algorithm for computing a maximum common subgraph under the block-and-bridge preserving subgraph isomorphism (BBP-MCS) for outerplanar graphs. We show that the article contains the following errors: (i) The running time of the presented approach is claimed to be $\mathcal{O}(n^{2.5})$ for two graphs of order $n$. We show that the algorithm of the authors allows no better bound than $\mathcal{O}(n^4)$ when using state-of-the-art general purpose methods to solve the matching instances arising as subproblems. This is even true for the special case, where both input graphs are trees. (ii) The article suggests that the dissimilarity measure derived from BBP-MCS is a metric. We show that the triangle inequality is not always satisfied and, hence, it is not a metric. Therefore, the dissimilarity measure should not be used in combination with techniques that rely on or exploit the triangle inequality in any way. Where possible, we give hints on techniques that are suitable to improve the algorithm.


title: Dual Policy Iteration

abstract: Recently, a novel class of Approximate Policy Iteration (API) algorithms have demonstrated impressive practical performance (e.g., ExIt from [2], AlphaGo-Zero from [27]). This new family of algorithms maintains, and alternately optimizes, two policies: a fast, reactive policy (e.g., a deep neural network) deployed at test time, and a slow, non-reactive policy (e.g., Tree Search), that can plan multiple steps ahead. The reactive policy is updated under supervision from the non-reactive policy, while the non-reactive policy is improved with guidance from the reactive policy. In this work we study this Dual Policy Iteration (DPI) strategy in an alternating optimization framework and provide a convergence analysis that extends existing API theory. We also develop a special instance of this framework which reduces the update of non-reactive policies to model-based optimal control using learned local models, and provides a theoretically sound way of unifying model-free and model-based RL approaches with unknown dynamics. We demonstrate the efficacy of our approach on various continuous control Markov Decision Processes.


title: The linearized Vlasov and Vlasov-Fokker-Planck equations in a uniform magnetic field

abstract: We study the linearized Vlasov equations and the linearized Vlasov-Fokker-Planck equations in the weakly collisional limit in a uniform magnetic field. In both cases, we consider periodic confinement and Maxwellian (or close to Maxwellian) backgrounds. In the collisionless case, for modes transverse to the magnetic field, we provide a precise decomposition into a countably infinite family of standing waves for each spatial mode. These are known as Bernstein modes in the physics literature, though the decomposition is not an obvious consequence of any existing arguments that we are aware of. We show that other modes undergo Landau damping. In the presence of collisions with collision frequency $\nu \ll 1$, we show that these modes undergo uniform-in-$\nu$ Landau damping and enhanced collisional relaxation at the time-scale $O(\nu^{-1/3})$. The modes transverse to the field are uniformly stable and exponentially thermalize on the time-scale $O(\nu^{-1})$. Most of the results are proved using Laplace transform analysis of the associated Volterra equations, whereas a simple case of Yan Guo's energy method for hypocoercivity of collision operators is applied for stability in the collisional case.

categories: math.AP math-ph math.MP physics.plasm-ph


title: The Nuclear Symmetry Energy at Sub-saturation Densities

abstract: The density dependence of the nuclear symmetry energy governs important aspects of very neutron rich systems such as heavy nuclei and their collisions, neutron stars and their mergers. Many analyses of experimental data have generated constraints on the symmetry energy and its first derivative at saturation density, rho_0 ~ 2.7xE14 g/cm3. We show that each analysis does not accurately constrain the symmetry energy at rho_0, but rather at a lower density, rho_s, that is most sensitively probed by that analysis. Using published constraints on the symmetry energy and its first derivative at rho_0, we constrain the symmetry energy within a density range of 0.25rho_0 to 0.75rho_0 that is relevant to the inner crusts of neutron stars and to the neutrino-sphere of core-collapse supernovae. With appropriate data, the symmetry energy can be similarly constrained over a wider density range.


title: Dynamical Environment in the Vicinity of Asteroids with an Application to 41 Daphne

abstract: We studied the dynamical environment in the vicinity of the primary of the binary asteroid. The gravitational field of the primary is calculated by the polyhedron model with observational data of the irregular shape. The equilibrium points, zero velocity surfaces, as well as Jacobi integral have been investigated. The results show that the deviations of equilibrium points are large from the principal axes of moment of inertia. We take binary asteroid 41 Daphne and S 2008 41 1 for example. The distribution of topological cases of equilibrium points around 41 Daphne is different from other asteroids. The topological cases of the outer equilibrium points E1 E4 are Case 2, Case 5, Case 2, and Case 1. The topological case of the inner equilibrium point E5 is Case 1. Among the four outer equilibrium points E1 E4, E4 is linearly stable and other outer equilibrium points are unstable. Considering the shape variety of the body from Daphne to a sphere, we calculated the zero velocity surfaces and the locations as well as eigenvalues of equilibrium points. It is found that the topological case of the outer equilibrium point E2 change from Case 5 to Case 1, and its stability change from unstable to linearly stable. Using the gravitational force acceleration calculated by the polyhedron model with the irregular shape, we simulated the orbit for the moonlet in the potential of 41 Daphne.


title: Clustering by latent dimensions

abstract: This paper introduces a new clustering technique, called {\em dimensional clustering}, which clusters each data point by its latent {\em pointwise dimension}, which is a measure of the dimensionality of the data set local to that point. Pointwise dimension is invariant under a broad class of transformations. As a result, dimensional clustering can be usefully applied to a wide range of datasets. Concretely, we present a statistical model which estimates the pointwise dimension of a dataset around the points in that dataset using the distance of each point from its $n^{\text{th}}$ nearest neighbor. We demonstrate the applicability of our technique to the analysis of dynamical systems, images, and complex human movements.


title: Universal correlation between electronic factors and solute-defect interactions in bcc refractory metals

abstract: The interactions between solute atoms and crystalline defects such as vacancies, dislocations, and grain boundaries play an essential role in determining physical, chemical and mechanical properties of solid-solution alloys. Here we present a universal correlation between two electronic factors and the solute-defect interaction energies in binary alloys of body-centered-cubic (bcc) refractory metals (such as W and Ta) with transition-metal substitutional solutes. One electronic factor is the bimodality of the d-orbital local density of states for a matrix atom at the substitutional site, and the other is related to the hybridization strength between the valance sp- and d-bands for the same matrix atom. Remarkably, the correlation is independent of the types of defects and the locations of substitutional sites, following a linear relation for a particular pair of solute-matrix elements. Our findings provide a novel and quantitative guidance to engineer the solute-defect interactions in alloys based on electronic structures.


title: Starbug fibre positioning robots: performance and reliability enhancements

abstract: Starbugs are miniature piezoelectric walking robots that can be operated in parallel to position many payloads like optical fibers across a telescopes focal plane. They consist of two concentric piezoelectric ceramic tubes that walk with micron step size. In addition to individual optical fibers, Starbugs have moved a payload of 0.75kg at several millimeters per second. The Australian Astronomical Observatory previously developed prototype devices and tested them in the laboratory. Now we are optimizing the Starbug design for production and deployment in the TAIPAN instrument, which will be capable of configuring 300 optical fibers over a six degree field-of-view on the UK Schmidt Telescope within a few minutes. The TAIPAN instrument will demonstrate the technology and capability for MANIFEST (Many Instrument Fiber-System) proposed for the Giant Magellan Telescope. Design is addressing: connector density and voltage limitations, mechanical reliability and construction repeatability, field plate residues and scratching, metrology stability, and facilitation of improved motion in all aspects of the design for later evaluation. Here we present the new design features of the AAO TAIPAN Starbug.


title: An exploration of thermal counterflow in He II using particle tracking velocimetry

abstract: Visualization of thermal counterflow in He II using PIV (particle image velocimetry) and PTV (particle tracking velocimetry) is difficult because tracer particle motion can be influenced by both the normal fluid and superfluid components of He II as well as the quantized vortex tangle. For instance, an early PTV experiment observed particles moving at the normal fluid velocity $v_n$, while a PIV experiment observed particles moving at $v_n/2$, though the range of heat flux applied in these experiments differed by an order of magnitude. To resolve this apparent discrepancy and explore statistics of particle motion in thermal counterflow, we have applied PTV to a wide range of heat flux at several fluid temperatures. We introduce a scheme for analyzing the velocity of particles presumably moving with the normal fluid separately from those presumably influenced by the vortex tangle. Our results show two distinct peaks in the streamwise particle velocity PDF (probability density function) for lower heat flux, one centered at the normal fluid velocity $v_n$ ("G2") and one near $v_n/2$ ("G1"). For higher heat flux there is a single peak centered near $v_n/2$ ("G3"). Using our separation scheme we show there is no size difference between particles contributing to G1 and G2. We also show that non-classical features of the transverse velocity PDF arise entirely from G1, while the corresponding PDF for G2 exhibits classical Gaussian form. G2 transverse velocity fluctuation, backed up by second sound attenuation in decaying counterflow, suggests large scale turbulence in the normal fluid is absent from the two peak region. We offer a brief discussion of physical mechanisms that may be responsible for our observations, revealing that G1 velocity fluctuations may be linked to fluctuations of vortex line velocity, and suggest numerical simulations that may reveal underlying physics in detail.


title: Multiple Chiral Majorana Fermion Modes and Quantum Transport

abstract: We propose a general recipe for chiral topological superconductor (TSC) in two dimensions with multiple $N$ chiral Majorana fermion modes from a quantied anomalous Hall insulator in proximity to an s-wave superconductor with nontrivial band topology. A concrete example is that a $N=3$ chiral TSC may be realized by coupling a magnetic topological insulator and the ion-based superconductor such as FeTe$_{1-x}$Se$_{x}$ ($x=0.45$). We further propose the electrical and thermal transport experiments to detect the Majorana nature of three chiral edge fermions. A unique signature is that the two-terminal electrical conductance of a quantized anomalous Hall-TSC junction obeys a distribution averaged to $(2/3)e^2/h$, which is due to the random edge mode mixing of chiral Majorana fermions and is distinguished from possible trivial explanations.


title: A Photo-Hadronic Model of the Large Scale Jets of 3C 273 and PKS 1136-135

abstract: X-ray bright knots of kpc-scale jets of several radio loud quasars have been an actively discussed issue. Among various models to explain observations, synchrotron radiation from the electron population different from radio to IR emitting electrons is promising. However, the origin of this electron population has been debated. Recently, we proposed that this electron population is produced by proton-photon collisions (mainly, Bethe-Heitler process), and we applied this model to PKS 0637-752. We found that this model works if the proton power is by an order of magnitude larger than the Eddington power. In this paper we apply this model to the X-ray emission in the knots of 3C 273 and PKS 1136-135. The target photons for electron-positron pair production are supplied by synchrotron radiation at radio-IR by primary electrons and by the active galactic nucleus (AGN) core as well as cosmic microwave background (CMB) radiation. The effects of the AGN photons are included for the first time in the hadronic model. Though the observed X-ray flux is obtained with the contribution of the AGN photons, the required proton power turns out to be highly super-Eddington. However, we find that our model works for a nearly Eddington proton power, if the photon density of the AGN is enhanced. This can occur if the AGN photons are more beamed toward the X-ray knots than toward our line of sight and the AGN photon frequency is shifted by the Doppler effect.


title: Learning Instance-Aware Object Detection Using Determinantal Point Processes

abstract: Recent object detectors find instances while categorizing candidate regions. As each region is evaluated independently, the number of candidate regions from a detector is usually larger than the number of objects. Since the final goal of detection is to assign a single detection to each object, a heuristic algorithm, such as non-maximum suppression (NMS), is used to select a single bounding box for an object. While simple heuristic algorithms are effective for stand-alone objects, they can fail to detect overlapped objects. In this paper, we address this issue by training a network to distinguish different objects using the relationship between candidate boxes. We propose an instance-aware detection network (IDNet), which can learn to extract features from candidate regions and measure their similarities. Based on pairwise similarities and detection qualities, the IDNet selects a subset of candidate bounding boxes using instance-aware determinantal point process inference (IDPP). Extensive experiments demonstrate that the proposed algorithm achieves significant improvements for detecting overlapped objects compared to existing state-of-the-art detection methods on the PASCAL VOC and MS COCO datasets.


title: Improving the Resolution of CNN Feature Maps Efficiently with Multisampling

abstract: We describe a new class of subsampling techniques for CNNs, termed multisampling, that significantly increases the amount of information kept by feature maps through subsampling layers. One version of our method, which we call checkered subsampling, significantly improves the accuracy of state-of-the-art architectures such as DenseNet and ResNet without any additional parameters and, remarkably, improves the accuracy of certain pretrained ImageNet models without any training or fine-tuning. We glean possible insight into the nature of data augmentations and demonstrate experimentally that coarse feature maps are bottlenecking the performance of neural networks in image classification.


title: Understanding Generalization and Optimization Performance of Deep CNNs

abstract: This work aims to provide understandings on the remarkable success of deep convolutional neural networks (CNNs) by theoretically analyzing their generalization performance and establishing optimization guarantees for gradient descent based training algorithms. Specifically, for a CNN model consisting of $l$ convolutional layers and one fully connected layer, we prove that its generalization error is bounded by $\mathcal{O}(\sqrt{\dt\widetilde{\varrho}/n})$ where $\theta$ denotes freedom degree of the network parameters and $\widetilde{\varrho}=\mathcal{O}(\log(\prod_{i=1}^{l}\rwi{i} (\ki{i}-\si{i}+1)/p)+\log(\rf))$ encapsulates architecture parameters including the kernel size $\ki{i}$, stride $\si{i}$, pooling size $p$ and parameter magnitude $\rwi{i}$. To our best knowledge, this is the first generalization bound that only depends on $\mathcal{O}(\log(\prod_{i=1}^{l+1}\rwi{i}))$, tighter than existing ones that all involve an exponential term like $\mathcal{O}(\prod_{i=1}^{l+1}\rwi{i})$. Besides, we prove that for an arbitrary gradient descent algorithm, the computed approximate stationary point by minimizing empirical risk is also an approximate stationary point to the population risk. This well explains why gradient descent training algorithms usually perform sufficiently well in practice. Furthermore, we prove the one-to-one correspondence and convergence guarantees for the non-degenerate stationary points between the empirical and population risks. It implies that the computed local minimum for the empirical risk is also close to a local minimum for the population risk, thus ensuring the good generalization performance of CNNs.


title: Deep Trustworthy Knowledge Tracing

abstract: Knowledge tracing (KT), a key component of an intelligent tutoring system, is a machine learning technique that estimates the mastery level of a student based on his/her past performance. The objective of KT is to predict a student's response to the next question. Compared with traditional KT models, deep learning-based KT (DLKT) models show better predictive performance because of the representation power of deep neural networks. Various methods have been proposed to improve the performance of DLKT, but few studies have been conducted on the reliability of DLKT. In this work, we claim that the existing DLKTs are not reliable in real education environments. To substantiate the claim, we show limitations of DLKT from various perspectives such as knowledge state update failure, catastrophic forgetting, and non-interpretability. We then propose a novel regularization to address these problems. The proposed method allows us to achieve trustworthy DLKT. In addition, the proposed model which is trained on scenarios with forgetting can also be easily extended to scenarios without forgetting.


title: Universality of Deep Convolutional Neural Networks

abstract: Deep learning has been widely applied and brought breakthroughs in speech recognition, computer vision, and many other domains. The involved deep neural network architectures and computational issues have been well studied in machine learning. But there lacks a theoretical foundation for understanding the approximation or generalization ability of deep learning methods generated by the network architectures such as deep convolutional neural networks having convolutional structures. Here we show that a deep convolutional neural network (CNN) is universal, meaning that it can be used to approximate any continuous function to an arbitrary accuracy when the depth of the neural network is large enough. This answers an open question in learning theory. Our quantitative estimate, given tightly in terms of the number of free parameters to be computed, verifies the efficiency of deep CNNs in dealing with large dimensional data. Our study also demonstrates the role of convolutions in deep CNNs.


title: Encodings of Turing machines in Linear Logic

abstract: We give several different encodings of the step function of a Turing machine in intuitionistic linear logic, and calculate the denotations of these encodings in the Sweedler semantics.


title: Jacobi inversion formulae for a curve in Weierstrass normal form

abstract: We consider a pointed curve $(X,P)$ which is given by the Weierstrass normal form, $y^r + A_{1}(x) y^{r-1} + A_{2}(x) y^{r-2} +\cdots + A_{r-1}(x) y + A_{r}(x)$ where $x$ is an affine coordinate on $\mathbb{P}^1$, the point $\infty$ on $X$ is mapped to $x=\infty$, and each $A_j$ is a polynomial in $x$ of degree $\leq js/r$ for a certain coprime positive integers $r$ and $s$ ($r<s$) so that its Weierstrass non-gap sequence at $\infty$ is a numerical semigroup. It is a natural generalization of Weierstrass' equation in the Weierstrass elliptic function theory. We investigate such a curve and show the Jacobi inversion formulae of the strata of its Jacobian using the result of Jorgenson (Israel J. Math (1992) 77 pp 273-284).


title: Experimental emulation of quantum non-Markovian dynamics and coherence protection in the presence of information backflow

abstract: We experimentally emulate, in a controlled fashion, the non-Markovian dynamics of a pure dephasing spin-boson model at zero temperature. Specifically, we use a randomized set of external radio-frequency fields to engineer a desired noise power-spectrum to effectively realize a non-Markovian environment for a single NMR qubit. The information backflow, characteristic to the non-Markovianity, is captured in the nonmonotonicity of the decoherence function and von Neumann entropy of the system. Using such emulated non-Markovian environments, we experimentally study the efficiency of the Carr-Purcell-Meiboom-Gill dynamical decoupling (DD) sequence to inhibit the loss of coherence. Using the filter function formalism, we design optimized DD sequences that maximize coherence protection for non-Markovian environments and study their efficiencies experimentally. Finally, we discuss DD-assisted tuning of the effective non-Markovianity.


title: Strain-controlled high harmonic generation with Dirac fermions in silicene

abstract: Two-dimensional (2D) materials with zero band gap exhibit remarkable electronic properties with wide tunability. High harmonic generation (HHG) in such materials offers unique platforms to develop novel optoelectronic devices at nanoscale, as well as to investigate strong-field and ultrafast nonlinear behaviour of massless Dirac fermions. However, control of HHG by modulating electronic structure of materials remains largerly unexplored to date. Here we report controllable HHG by tuning the electronic structures via mechanical engineering. Using an \textit{ab initio} approach based on time-dependent density-functional theory (TDDFT), we show that the HHG process is sensitive to the modulation of band structures of monolayer silicene while preserving the Dirac cones under biaxial and uniaxial strains, which can lead to significant enhancement of harmonic intensity up to an order of magnitude. With the additional advantage of silicene in compatibility and integration into the current silicon-based electronic industry, this study may open a new avenue to develop efficient solid-state optoelectronic nano-devices, and provide a valuable tool to understand the strong-field and mechanically induced ultrafast nonlinear response of Dirac carriers in 2D materials.


title: Understanding Psycholinguistic Behavior of predominant drunk texters in Social Media

abstract: In the last decade, social media has evolved as one of the leading platform to create, share, or exchange information; it is commonly used as a way for individuals to maintain social connections. In this online digital world, people use to post texts or pictures to express their views socially and create user-user engagement through discussions and conversations. Thus, social media has established itself to bear signals relating to human behavior. One can easily design user characteristic network by scraping through someone's social media profiles. In this paper, we investigate the potential of social media in characterizing and understanding predominant drunk texters from the perspective of their social, psychological and linguistic behavior as evident from the content generated by them. Our research aims to analyze the behavior of drunk texters on social media and to contrast this with non-drunk texters. We use Twitter social media to obtain the set of drunk texters and non-drunk texters and show that we can classify users into these two respective sets using various psycholinguistic features with an overall average accuracy of 96.78% with very high precision and recall. Note that such an automatic classification can have far-reaching impact - (i) on health research related to addiction prevention and control, and (ii) in eliminating abusive and vulgar contents from Twitter, borne by the tweets of drunk texters.


title: Asymmetry-enriched electronic and optical properties of bilayer graphene

abstract: The electronic and optical response of Bernal stacked bilayer graphene with geometry modulation and gate voltage are studied. The broken symmetry in sublattices, one dimensional periodicity perpendicular to the domain wall and out-of-plane axis introduces substantial changes of wavefunctions, such as gapless topological protected states, standing waves with bonding and anti-bonding characteristics, rich structures in density of states and optical spectra. The wavefunctions present well-behaved standing waves in pure system and complicated node structures in geometry-modulated system. The optical absorption spectra show forbidden optical excitation channels, prominent asymmetric absorption peaks, and dramatic variations in absorption structures. These results provide that the geometry-modulated structure with tunable gate voltage could be used for electronic and optical manipulation in future graphene-based devices.


title: Coarse-grained model for spring friction study of micron-scale iron by smoothed particle hydrodynamics

abstract: The paper constructs a coarse-grained model to investigate dry sliding friction of the body-centered-cubic Fe micron-scale system by smoothed particle hydrodynamics simulations and examines influences of the spring force on the characters of friction. The N_atom = 864 \times 10^12 atoms Fe system is coarse-grained into the two different simple-cubic particle systems, one of 432000 and the other of 16000 particles. From the detection of stick-slip motion, friction coefficient, dependence of friction coefficient on isotropy or anisotropy of the spring force and externally applied normal load, we find that the coarse-grained model is a reasonable modeling process for study of friction of the Fe system and the anisotropic behavior presents better friction of the system than the isotropic one.


title: Object-Level Representation Learning for Few-Shot Image Classification

abstract: Few-shot learning that trains image classifiers over few labeled examples per category is a challenging task. In this paper, we propose to exploit an additional big dataset with different categories to improve the accuracy of few-shot learning over our target dataset. Our approach is based on the observation that images can be decomposed into objects, which may appear in images from both the additional dataset and our target dataset. We use the object-level relation learned from the additional dataset to infer the similarity of images in our target dataset with unseen categories. Nearest neighbor search is applied to do image classification, which is a non-parametric model and thus does not need fine-tuning. We evaluate our algorithm on two popular datasets, namely Omniglot and MiniImagenet. We obtain 8.5\% and 2.7\% absolute improvements for 5-way 1-shot and 5-way 5-shot experiments on MiniImagenet, respectively. Source code will be published upon acceptance.


title: Cyclic orbifolds of lattice vertex operator algebras having group like fusions

abstract: Let $L$ be an even (positive definite) lattice and $g\in O(L)$. In this article, we prove that the orbifold vertex operator algebra $V_{L}^{\hat{g}}$ has group-like fusion if and only if $g$ acts trivially on the discriminant group $\mathcal{D}(L)=L^*/L$ (or equivalently $(1-g)L^*<L$). We also determine their fusion rings and the corresponding quadratic space structures when $g$ is fixed point free on $L$. By applying our method to some coinvariant sublattices of the Leech lattice $\Lambda$, we prove a conjecture proposed by G. H\"ohn. In addition, we also discuss a construction of certain holomorphic vertex operator algebras of central charge $24$ using the the orbifold vertex operator algebra $V_{\Lambda_g}^{\hat{g}}$.


title: Dynamics of $L^p$ multipliers on harmonic manifolds

abstract: Let $X$ be a complete, simply connected harmonic manifold with sectional curvatures $K$ satisfying $K \leq -1$. In \cite{biswas6}, a Fourier transform was defined for functions on $X$, and a Fourier inversion formula and Plancherel theorem were proved. We use the Fourier transform to investigate the dynamics on $L^p(X)$ for $p > 2$ of certain bounded linear operators $T : L^p(X) \to L^p(X)$ which we call "$L^p$-multipliers" in accordance with standard terminology. These operators are required to preserve the subspace of $L^p$ radial functions. A notion of convolution with radial functions was defined in \cite{biswas6}, and these operators are also required to be compatible with convolution in the sense that $$ T\phi * \psi = \phi * T\psi $$ for all radial $C^{\infty}_c$-functions $\phi, \psi$. They are also required to be compatible with translation of radial functions. Examples of $L^p$-multipliers are given by the operator of convolution with an $L^1$ radial function, or more generally convolution with a finite radial measure. In particular elements of the heat semigroup $e^{t\Delta}$ act as multipliers. Given $2 < p < \infty$, we show that for any $L^p$-multiplier $T$ which is not a scalar multiple of the identity, there is an open set of values of $\nu \in \mathbb{C}$ for which the operator $\frac{1}{\nu} T$ is chaotic on $L^p(X)$ in the sense of Devaney, i.e. topologically transitive and with periodic points dense. Moreover such operators are topologically mixing. We also show that there is a constant $c_p > 0$ such that for any $c \in \mathbb{C}$ with $\Re c > c_p$, the action of the shifted heat semigroup $e^{ct} e^{t\Delta}$ on $L^p(X)$ is chaotic. These results generalize the corresponding results for rank one symmetric spaces of noncompact type and negatively curved harmonic $NA$ groups (or Damek-Ricci spaces).


title: Software-Defined Multi-Cloud Computing: A Vision, Architectural Elements, and Future Directions

abstract: Cloud computing has been emerged in the last decade to enable utility-based computing resource management without purchasing hardware equipment. Cloud providers run multiple data centers in various locations to manage and provision the Cloud resources to their customers. More recently, the introduction of Software-Defined Networking (SDN) and Network Function Virtualization (NFV) opens more opportunities in Clouds which enables dynamic and autonomic configuration and provisioning of the resources in Cloud data centers. This paper proposes architectural framework and principles for Programmable Network Clouds hosting SDNs and NFVs for geographically distributed Multi-Cloud computing environments. Cost and SLA-aware resource provisioning and scheduling that minimizes the operating cost without violating the negotiated SLAs are investigated and discussed in regards of techniques for autonomic and timely VNF composition, deployment and management across multiple Clouds. We also discuss open challenges and directions for creating auto-scaling solutions for performance optimization of VNFs using analytics and monitoring techniques, algorithms for SDN controller for scalable traffic and deployment management. The simulation platform and the proof-of-concept prototype are presented with initial evaluation results.


title: Friction and friction heat of micronscale iron

abstract: The paper investigates friction and friction heat of the micronscale iron under influences of velocity of the slider and temperature of the substrate by using smoothed particle hydrodynamics simulations. In the velocity range of 10 - 100 m/s, change of friction coefficient via velocity well complies with exponent or hyperbolic tangent form and friction coefficient begins to approach a stable value of 0.3 at around a velocity of 50 m/s after a rapidly increasing situation. Friction coefficient steady maintains over the temperature range of 200 - 400 K at each velocity of 10, 50 or 100 m/s. Friction heat is detailed analyzed via sliding time. Change of temperature of the system via sliding time well complies with sigmoidal functions, an exception of that of the particle layer directly causing friction. The layer causing friction has the highest steady temperature and its temperature rise is the largest one. The temperature rise is found to be dependent on increment of the initial temperatures of the substrate and the slider while the incnt does not efect on configration of the slid time - temperature curve


title: Numerical method for the time-fractional porous medium equation

abstract: This papers deals with a construction and convergence analysis of a finite difference scheme for solving time-fractional porous medium equation. The governing equation exhibits both nonlocal and nonlinear behaviour making the numerical computations challenging. Our strategy is to reduce the problem into a single one-dimensional Volterra integral equation for the self-similar solution and then to apply the discretization. The main difficulty arises due to the non-Lipschitzian behaviour of the equation's nonlinearity. By the analysis of the recurrence relation for the error we are able to prove that there exists a family of finite difference methods that is convergent for a large subset of the parameter space. We illustrate our results with a concrete example of a method based on the midpoint quadrature.


title: ECD: An Edge Content Delivery and Update Framework in Mobile Edge Computing

abstract: This article proposes an edge content delivery framework (ECD) based on mobile edge computing in the era of Internet of Things (IOT), to alleviate the load of the core network and improve the quality of experience (QoE) of mobile users. Considering mobile devices become both the content consumers and providers, and majority of the contents are unnecessary to be uploaded to the cloud datacenter, at the network edge, we deploy a content server to store the raw contents generated from the mobile users, and a cache pool to store the contents that are frequently requested by mobile users in the ECD. The cache pools are ranked and high ranked cache pools will store contents with higher popularity. Furthermore, we propose edge content delivery scheme and edge content update scheme, based on content popularity and cache pool ranking. The content delivery scheme is to efficiently deliver contents to mobile users, while the edge content update scheme is to mitigate the content generated by users to appropriate cache pools based on its request frequently and cache poor ranking. The edge content delivery is completely different from the content delivery network and can further reduce the load on the core network. In addition, because the top ranking cache pools are prioritized for higher priority contents and the cache pools are prioritized for higher priority contents and the cache pools are in proximity to the mobile users, the immediately interactive response between mobile users and cache pools can be achieved. A representative case study of ECD is provided and open research issues are discussed.


title: Keep and Learn: Continual Learning by Constraining the Latent Space for Knowledge Preservation in Neural Networks

abstract: Data is one of the most important factors in machine learning. However, even if we have high-quality data, there is a situation in which access to the data is restricted. For example, access to the medical data from outside is strictly limited due to the privacy issues. In this case, we have to learn a model sequentially only with the data accessible in the corresponding stage. In this work, we propose a new method for preserving learned knowledge by modeling the high-level feature space and the output space to be mutually informative, and constraining feature vectors to lie in the modeled space during training. The proposed method is easy to implement as it can be applied by simply adding a reconstruction loss to an objective function. We evaluate the proposed method on CIFAR-10/100 and a chest X-ray dataset, and show benefits in terms of knowledge preservation compared to previous approaches.


title: Electroexcitation of nucleon resonances in a light-front relativistic quark model

abstract: We report the predictions for the 3q core contributions to the electroexcitation of the resonances Delta(1232)3/2+, N(1440)1/2+, N(1520)3/2-, N(1535)1/2-, and N(1675)5/2- on the proton obtained in the light-front relativistic quark model (LF RQM). For these states, experimental data on the electroexcitation transition amplitudes allow us to make comparison between the experiment and LF RQM predictions in wide range of Q2 and also to quantify the expected meson-baryon contributions as a function of Q2.


title: Phase portrait control for 1D monostable and bistable reaction-diffusion equations

abstract: We consider the problem of controlling parabolic semilinear equations arising in population dynamics, either in finite time or infinite time. These are the monostable and bistable equations on $(0,L)$ for a density of individuals $0 \leq y(t,x) \leq 1$, with Dirichlet controls taking their values in $[0,1]$. We prove that the system can never be steered to extinction (steady state $0$) or invasion (steady state $1$) in finite time, but is asymptotically controllable to $1$ independently of the size $L$, and to $0$ if the length $L$ of the interval domain is less than some threshold value $L^\star$, which can be computed from transcendental integrals. In the bistable case, controlling to the other homogeneous steady state $0 <\theta< 1$ is much more intricate. We rely on a staircase control strategy to prove that $\theta$ can be reached in finite time if and only if $L< L^\star$. The phase plane analysis of those equations is instrumental in the whole process. It allows us to read obstacles to controllability, compute the threshold value for domain size as well as design the path of steady states for the control strategy.


title: An empirical study of public data quality problems in cross project defect prediction

abstract: Background: Two public defect data, including Jureczko and NASA datasets, have been widely used in cross project defect prediction (CPDP). The quality of defect data have been reported as an important factor influencing the defect prediction performance and Shepperd et al. have researched the data quality problems in NASA datasets. However, up to now, there is no research focusing on the quality problems of Jureczko datasets which are most widely used in CPDP. Aims: In this paper, we intend to investigate the problems of identical and inconsistent cases in Jureczko datasets and validate whether removing these problematic cases will make a difference to defect prediction performance in CPDP. Method: The problems of identical and inconsistent cases are reported from two aspects, respectively in each individual dataset and in a pair of datasets from different releases of a software project. Then a cleaned version of Jureczko datasets is provided by removing duplicate and inconsistent cases. Finally three training data selection methods are employed to compare the defect prediction performance of cleaned datasets with that of original datasets. Results: The experimental results in terms of AUC and F-Measure show that most datasets obtain very different defect prediction performance. Conclusions: It is very necessary to study the data quality problems in CPDP and the cleaned Jureczko datasets may provide more reliable defect prediction performance in CPDP.


title: Stable Periodic Orbits for Spacecrafts around Minor Celestial Bodies

abstract: We are interested in stable periodic orbits for spacecrafts in the gravitational field of minor celestial bodies. The stable periodic orbits around minor celestial bodies are useful not only for the mission design of the deep space exploration, but also for studying the long-time stability of small satellites in the large-size-ratio binary asteroids. The irregular shapes and gravitational fields of the minor celestial bodies are modeled by the polyhedral model. Using the topological classifications of periodic orbits and the grid search method, the stable periodic orbits can be calculated and the topological cases can be determined. Furthermore, we find five different types of stable periodic orbits around minor celestial bodies: A) Stable periodic orbits generated from the stable equilibrium points outside the minor celestial body, B) Stable periodic orbits continued from the unstable periodic orbits around the unstable equilibrium points, C) Retrograde and nearly circular periodic orbits with zero-inclination around minor celestial bodies, D) Resonance periodic orbits, E) Near-surface inclined periodic orbits. We take asteroid 243 Ida, 433 Eros, 6489 Golevka, 101955 Bennu, and the comet 1P/Halley for examples.


title: Nucleus of active asteroid 358P/Pan-STARRS (P/2012 T1)

abstract: The dust emission from active asteroids is likely driven by collisions, fast rotation, sublimation of embedded ice, and combinations of these. Characterising these processes leads to a better understanding of their respective influence on the evolution of the asteroid population. We study the role of fast rotation in the active asteroid 358P (P 2012/T1). We obtained two nights of deep imaging of 358P with SOAR/Goodman and VLT/FORS2. We derived the rotational light curve from time-resolved photometry and searched for large fragments and debris > 8 mm in a stacked, ultra-deep image. The nucleus has an absolute magnitude of m_R=19.68, corresponding to a diameter of 530 m for standard assumptions on the albedo and phase function of a C-type asteroid. We do not detect fragments or debris that would require fast rotation to reduce surface gravity to facilitate their escape. The 10-hour light curve does not show an unambiguous periodicity.


title: Deep CT to MR Synthesis using Paired and Unpaired Data

abstract: MR imaging will play a very important role in radiotherapy treatment planning for segmentation of tumor volumes and organs. However, the use of MR-based radiotherapy is limited because of the high cost and the increased use of metal implants such as cardiac pacemakers and artificial joints in aging society. To improve the accuracy of CT-based radiotherapy planning, we propose a synthetic approach that translates a CT image into an MR image using paired and unpaired training data. In contrast to the current synthetic methods for medical images, which depend on sparse pairwise-aligned data or plentiful unpaired data, the proposed approach alleviates the rigid registration challenge of paired training and overcomes the context-misalignment problem of the unpaired training. A generative adversarial network was trained to transform 2D brain CT image slices into 2D brain MR image slices, combining adversarial loss, dual cycle-consistent loss, and voxel-wise loss. The experiments were analyzed using CT and MR images of 202 patients. Qualitative and quantitative comparisons against independent paired training and unpaired training methods demonstrate the superiority of our approach.


title: On estimation of nonsmooth functionals of sparse normal means

abstract: We study the problem of estimation of the value N_gamma(\theta) = sum(i=1)^d |\theta_i|^gamma for 0 < gamma <= 1 based on the observations y_i = \theta_i + \epsilon\xi_i, i = 1,...,d, where \theta = (\theta_1,...,\theta_d) are unknown parameters, \epsilon>0 is known, and \xi_i are i.i.d. standard normal random variables. We prove that the non-asymptotic minimax risk on the class B_0(s) of s-sparse vectors and we propose estimators achieving the minimax rate.


title: A spin dephasing mechanism mediated by the interplay between the spin-orbit coupling and the asymmetrical confining potential in semiconductor quantum dot

abstract: Understanding the spin dephasing mechanism is of fundamental importance in all potential applications of the spin qubit. Here we demonstrate a spin dephasing mechanism in semiconductor quantum dot due to the $1/f$ charge noise. The spin-charge interaction is mediated by the interplay between the spin-orbit coupling and the asymmetrical quantum dot confining potential. The dephasing rate is proportional to both the strength of the spin-orbit coupling and the degree of the asymmetry of the confining potential. For parameters typical of the InSb, InAs, and GaAs quantum dots with a moderate well-height $V_{0}=10$ meV, we find the spin dephasing times are ${\rm T}^{*}_{2}=7$ $\mu$s, $275$ $\mu$s, and $55$ ms, respectively. In particular, the spin dephasing can be enhanced by lowering the well-height. When the well-height is as small as $V_{0}=5$ meV, the spin depahsing times in the InSb, InAs, and GaAs quantum dots are decreased to ${\rm T}^{*}_{2}=0.38$ $\mu$s, $18$ $\mu$s, and $9$ ms, respectively.


title: Tomography by neutrino pair beam

abstract: We consider tomography of the Earth's interior using the neutrino pair beam which has recently been proposed. The beam produces a large amount of neutrino and antineutrino pairs from the circulating partially stripped ions and provides the possibility to measure precisely the energy spectrum of neutrino oscillation probability together with a sufficiently large detector. It is shown that the pair beam gives a better sensitivity to probe the Earth's crust compared with the neutrino sources at present. In addition we present a method to reconstruct a matter density profile by means of the analytic formula of the oscillation probability in which the matter effect is included perturbatively to the second order.


title: Tunable coupling between a superconducting resonator and an artificial atom

abstract: Coherent manipulation of a quantum system is one of the main themes in current physics researches. In this work, we design a circuit QED system with a tunable coupling between an artificial atom and a superconducting resonator while keeping the cavity frequency and the atomic frequency invariant. By controlling the time dependence of the external magnetic flux, we show that it is possible to tune the interaction from the extremely weak coupling regime to the ultrastrong coupling one. Using the quantum perturbation theory, we obtain the coupling strength as a function of the external magnetic flux. In order to show its reliability in the fields of quantum simulation and quantum computing, we study its sensitivity to noises.


title: Deep Discriminative Latent Space for Clustering

abstract: Clustering is one of the most fundamental tasks in data analysis and machine learning. It is central to many data-driven applications that aim to separate the data into groups with similar patterns. Moreover, clustering is a complex procedure that is affected significantly by the choice of the data representation method. Recent research has demonstrated encouraging clustering results by learning effectively these representations. In most of these works a deep auto-encoder is initially pre-trained to minimize a reconstruction loss, and then jointly optimized with clustering centroids in order to improve the clustering objective. Those works focus mainly on the clustering phase of the procedure, while not utilizing the potential benefit out of the initial phase. In this paper we propose to optimize an auto-encoder with respect to a discriminative pairwise loss function during the auto-encoder pre-training phase. We demonstrate the high accuracy obtained by the proposed method as well as its rapid convergence (e.g. reaching above 92% accuracy on MNIST during the pre-training phase, in less than 50 epochs), even with small networks.


title: Convolutional neural network compression for natural language processing

abstract: Convolutional neural networks are modern models that are very efficient in many classification tasks. They were originally created for image processing purposes. Then some trials were performed to use them in different domains like natural language processing. The artificial intelligence systems (like humanoid robots) are very often based on embedded systems with constraints on memory, power consumption etc. Therefore convolutional neural network because of its memory capacity should be reduced to be mapped to given hardware. In this paper, results are presented of compressing the efficient convolutional neural networks for sentiment analysis. The main steps are quantization and pruning processes. The method responsible for mapping compressed network to FPGA and results of this implementation are presented. The described simulations showed that 5-bit width is enough to have no drop in accuracy from floating point version of the network. Additionally, significant memory footprint reduction was achieved (from 85% up to 93%).


title: Uniqueness of the nonlinear Schr\"odinger Equation driven by jump processes

abstract: In a recent paper by the first two named authors, existence of martingale solutions to a stochastic nonlinear Schr\"odinger equation driven by a L\'evy noise was proved. In this paper, we prove pathwise uniqueness, uniqueness in law and existence of strong solutions to this problem using an abstract uniqueness result of Kurtz.


title: Quarkonia production in a Langevin approach

abstract: We aim to describe the process of dissociation and recombination of quarkonia in the quark-gluon plasma. Therefore we developed a model which allows to observe the time evolution of a system with various numbers of charm-anticharm-quark pairs at different temperatures. The motion of the heavy quarks is realized within a Langevin approach. We use a simplified version of a formalism developed by Blaizot et al. in which an Abelian plasma is considered where the heavy quarks interact over a Coulomb like potential. We have demonstrated, that the system reaches the expected thermal distribution in the equilibrium limit.


title: Interactive Text2Pickup Network for Natural Language based Human-Robot Collaboration

abstract: In this paper, we propose the Interactive Text2Pickup (IT2P) network for human-robot collaboration which enables an effective interaction with a human user despite the ambiguity in user's commands. We focus on the task where a robot is expected to pick up an object instructed by a human, and to interact with the human when the given instruction is vague. The proposed network understands the command from the human user and estimates the position of the desired object first. To handle the inherent ambiguity in human language commands, a suitable question which can resolve the ambiguity is generated. The user's answer to the question is combined with the initial command and given back to the network, resulting in more accurate estimation. The experiment results show that given unambiguous commands, the proposed method can estimate the position of the requested object with an accuracy of 98.49% based on our test dataset. Given ambiguous language commands, we show that the accuracy of the pick up task increases by 1.94 times after incorporating the information obtained from the interaction.


title: Classification of Globally Colorized Categories of Partitions

abstract: Set partitions closed under certain operations form a tensor category. They give rise to certain subgroups of the free orthogonal quantum group $O_n^+$, the so called easy quantum groups, introduced by Banica and Speicher in 2009. This correspondence was generalized to two-colored set partitions, which, in addition, assign a black or white color to each point of a set. Globally colorized categories of partitions are those categories that are invariant with respect to arbitrary permutations of colors. This article presents a classification of globally colorized categories. In addition, we show that the corresponding unitary quantum groups can be constructed from the orthogonal ones using tensor complexification.


title: Sequential sampling for optimal weighted least squares approximations in hierarchical spaces

abstract: We consider the problem of approximating an unknown function $u\in L^2(D,\rho)$ from its evaluations at given sampling points $x^1,\dots,x^n\in D$, where $D\subset \mathbb{R}^d$ is a general domain and $\rho$ is a probability measure. The approximation is picked in a linear space $V_m$ where $m=\dim(V_m)$ and computed by a weighted least squares method. Recent results show the advantages of picking the sampling points at random according to a well-chosen probability measure $\mu$ that depends both on $V_m$ and $\rho$. With such a random design, the weighted least squares approximation is proved to be stable with high probability, and having precision comparable to that of the exact $L^2(D,\rho)$-orthonormal projection onto $V_m$, in a near-linear sampling regime $n\sim{m\log m}$. The present paper is motivated by the adaptive approximation context, in which one typically generates a nested sequence of spaces $(V_m)_{m\geq1}$ with increasing dimension. Although the measure $\mu=\mu_m$ changes with $V_m$, it is possible to recycle the previously generated samples by interpreting $\mu_m$ as a mixture between $\mu_{m-1}$ and an update measure $\sigma_m$. Based on this observation, we discuss sequential sampling algorithms that maintain the stability and approximation properties uniformly over all spaces $V_m$. Our main result is that the total number of computed sample at step $m$ remains of the order $m\log{m}$ with high probability. Numerical experiments confirm this analysis.


title: Visual Relationship Detection Based on Guided Proposals and Semantic Knowledge Distillation

abstract: A thorough comprehension of image content demands a complex grasp of the interactions that may occur in the natural world. One of the key issues is to describe the visual relationships between objects. When dealing with real world data, capturing these very diverse interactions is a difficult problem. It can be alleviated by incorporating common sense in a network. For this, we propose a framework that makes use of semantic knowledge and estimates the relevance of object pairs during both training and test phases. Extracted from precomputed models and training annotations, this information is distilled into the neural network dedicated to this task. Using this approach, we observe a significant improvement on all classes of Visual Genome, a challenging visual relationship dataset. A 68.5% relative gain on the recall at 100 is directly related to the relevance estimate and a 32.7% gain to the knowledge distillation.


title: A diffuse interface model for the analysis of propagating bulges in cylindrical balloons

abstract: With the aim to characterize the formation and propagation of bulges in cylindrical rubber balloons, we carry out an expansion of the non-linear axisymmetric membrane model assuming slow axial variations. We obtain a diffuse interface model similar to that introduced by van der Waals in the context of liquid-vapor phase transitions. This provides a quantitative basis to the well-known analogy between propagating bulges and phase transitions. The diffuse interface model is amenable to numerical as well as analytical solutions, including linear and non-linear bifurcation analyses. Comparisons to the original membrane model reveal that the diffuse interface model captures the bulging phenomenon very accurately, even for well-localized phase boundaries.


title: Calibration of AGILE-GRID with on-ground data and Monte Carlo simulations

abstract: AGILE is a mission of the Italian Space Agency (ASI) Scientific Program dedicated to gamma-ray astrophysics, operating in a low Earth orbit since April 23, 2007. It is designed to be a very light and compact instrument, capable of simultaneously detecting and imaging photons in the 18 keV to 60 keV X-ray energy band and in the 30 MeV{50 GeV gamma-ray energy with a good angular resolution (< 1 deg at 1 GeV). The core of the instrument is the Silicon Tracker complemented with a CsI calorimeter and a AntiCoincidence system forming the Gamma Ray Imaging Detector (GRID). Before launch, the GRID needed on-ground calibration with a tagged gamma-ray beam to estimate its performance and validate the Monte Carlo simulation. The GRID was calibrated using a tagged gamma-ray beam with energy up to 500 MeV at the Beam Test Facilities at the INFN Laboratori Nazionali di Frascati. These data are used to validate a GEANT3 based simulation by comparing the data and the Monte Carlo simulation by measuring the angular and energy resolutions. The GRID angular and energy resolutions obtained using the beam agree well with the Monte Carlo simulation. Therefore the simulation can be used to simulate the same performance on-light with high reliability.


title: Clifford index for reduced curves

abstract: We extend the notion of Clifford index to reduced curves with planar singularities by considering rank 1 torsion free sheaves. We investigate the behaviour of the Clifford index with respect to the combinatorial properties of the curve and we show that Green's conjecture holds for certain classes of curves given by the union of two irreducible components.


title: Topological twists of supersymmetric algebras of observables

abstract: We explain how to perform topological twisting of supersymmetric field theories in the language of factorization algebras. Namely, given a supersymmetric factorization algebra with a choice of a topological supercharge we construct an algebra over the operad of little disks. We also explain the role of the twisting homomorphism allowing us to construct an algebra over the operad of framed little disks. Finally, we give a complete classification of topological supercharges and twisting homomorphisms in dimensions $1$ through $10$.


title: Fast Dynamic Routing Based on Weighted Kernel Density Estimation

abstract: Capsules as well as dynamic routing between them are most recently proposed structures for deep neural networks. A capsule groups data into vectors or matrices as poses rather than conventional scalars to represent specific properties of target instance. Besides of pose, a capsule should be attached with a probability (often denoted as activation) for its presence. The dynamic routing helps capsules achieve more generalization capacity with many fewer model parameters. However, the bottleneck that prevents widespread applications of capsule is the expense of computation during routing. To address this problem, we generalize existing routing methods within the framework of weighted kernel density estimation, and propose two fast routing methods with different optimization strategies. Our methods prompt the time efficiency of routing by nearly 40\% with negligible performance degradation. By stacking a hybrid of convolutional layers and capsule layers, we construct a network architecture to handle inputs at a resolution of $64\times{64}$ pixels. The proposed models achieve a parallel performance with other leading methods in multiple benchmarks.


title: Real-valued parametric conditioning of an RNN for interactive sound synthesis

abstract: A Recurrent Neural Network (RNN) for audio synthesis is trained by augmenting the audio input with information about signal characteristics such as pitch, amplitude, and instrument. The result after training is an audio synthesizer that is played like a musical instrument with the desired musical characteristics provided as continuous parametric control. The focus of this paper is on conditioning data-driven synthesis models with real-valued parameters, and in particular, on the ability of the system a) to generalize and b) to be responsive to parameter values and sequences not seen during training.


title: Gravitational spin-orbit coupling in binary systems at the second post-Minkowskian approximation

abstract: We compute the rotations, during a scattering encounter, of the spins of two gravitationally interacting particles at second-order in the gravitational constant (second post-Minkowskian order). Following a strategy introduced in Phys. Rev. D {\bf 96}, 104038 (2017), we transcribe our result into a correspondingly improved knowledge of the spin-orbit sector of the Effective One-Body (EOB) Hamiltonian description of the dynamics of spinning binary systems. We indicate ways of resumming our results for defining improved versions of spinning EOB codes which might help in providing a better analytical description of the dynamics of coalescing spinning binary black holes.


title: De Sitter and Power-law Solutions in Non-local Gauss-Bonnet Gravity

abstract: The cosmological dynamics of a non-locally corrected gravity theory, involving a power of the inverse d'Alembertian, is investigated. Casting the dynamical equations into local form, the fixed points of the models are derived, as well as corresponding de Sitter and power-law solutions. Necessary and sufficient conditions on the model parameters for the existence of de Sitter solutions are obtained. The possible existence of power-law solutions is investigated, and it is proven that models with de Sitter solutions have no power-law solutions. A model is found, which allows to describe the matter-dominated phase of the Universe evolution.


title: Single Degenerate Models for Type Ia Supernovae Progenitor's Evolution and Nucleosythesis Yields

abstract: (${Abridged~version}$) We review how the single degenerate models for Type Ia supernovae (SNe Ia) works. In the binary star system of a white dwarf (WD) and its non-degenerate companion star, the WD accretes either H-rich matter or He and undergoes H and He shell-burning. We summarize how such shell-burning depend on the accretion rate and the WD mass and how the WD blows strong wind. We identify the following evolutionary routes for the accreting WD to trigger a thermonuclear explosion. With a decreasing rate with time, 5 phases are observed: 1. The WD increases its mass by stable H burning and blows a strong wind, which strips a part of the companion star's envelope to control the accretion rate and forms circumstellar matter (CSM). The WD may explode within CSM as an "SN Ia-CSM". 2. The wind stops and an SN Ia is triggered under steady-stable H shell-burning, which is observed as a super-soft X-ray source: "SN Ia-SSXS". 3. H shell-burning becomes unstable and many flashes recur. The WD undergoes recurrent nova (RN) whose mass ejection is smaller than the accreted matter, evolving to an "SN Ia-RN". 4. If the companion is a He star or WD, the accretion of He can trigger He and C double detonations at the sub-Chandrasekhar (sub-Chand) mass or the WD grows to the Chand mass while producing and He-wind: "SN Ia-He CSM". 5. If the accreting WD rotates rapidly, delayed trigger of an SN Ia beyond standard Chand mass can happen. The (super-Chand) WD contracts to become a delayed SN Ia after losing angular momentum. The companion star has become a He WD and CSM has disappeared: "SN Ia-He WD". We update nucleosynthesis yields of the carbon deflagration model W7, delayed detonation model WDD2, and the sub-Chand mass model to constrain the yields (such as Mn) by comparing the observations. We note the important metallicity effects on $^{58}$Ni and $^{55}$Mn.


title: Statistical mechanics guides the motions of cm scale objects

abstract: Calculations and mechanistic explanations for the probabilistic movement of objects at the highly relevant cm length scales has been lacking and overlooked due to the complexity of current techniques. Predicting the final-configuration probability of flipping cars for example remains extremely challenging. In this paper we introduce new statistical methodologies to solve these challenging macroscopic problems. Boltzmann's principles in statistical mechanics have been well recognized for a century for their usefulness in explaining thermodynamic properties of matter in gas, liquid and solid phases. Studied systems usually involve a large number of particles at the atomic scales. However, it is unusual for Boltzmann's principles to be applied to individual objects at centimeter to human-size length scales. We show that the concept of statistical mechanics still holds for describing the probability of a tossed dice landing on a particular face. For regular dice, the one in six probability that the dice land on each face is well known. In the case of orthorhombic dice, this symmetry is broken and hence we need new tools to predict the probability of landing on each face. We propose a new method based on Boltzmann's principles which uses synthetic temperature term. Surprisingly, this approach requires only the dimensions of the thrown object for calculating potential energy as the input, with no other fitting parameters needed. The statistical predictions for landing fit well to experimental data of over fifty-thousand samplings of dice in 23 different dimensions. We believe that the ability to predict, in a simple and tractable manner, the outcomes of macroscopic movement of large scale probabilistic phenomena opens up a new line of approach for explaining many phenomena in the critical centimeter length scale.


title: Universal relations for innermost stable circular orbits around rapidly rotating neutron stars

abstract: We study the innermost stable circular orbit (ISCO) of a test particle around rapidly rotating neutron stars. Based on 12 different nuclear-matter equations of state (EOS), we find numerically two approximately EOS-insensitive universal relations that connect the radius and orbital frequency of the ISCO to the spin frequency $f$ and mass $M$ of rotating neutron stars. The relations are EOS-insensitive to about the 2% level for a large range of $Mf$. We also find that the universal relation for the ISCO radius agrees with the corresponding relation for the Kerr black hole to within 6% up to $Mf=5000 M_\odot {\rm Hz}$. Our relations can be applied to accreting neutron stars in low-mass X-ray binaries. Using the spin frequency $f=414$ Hz and the highest kilohertz quasi-periodic oscillations (kHz QPOs) at 1220 Hz observed in the system 4U 0614+09, we determine the mass of the neutron star to be $2.0 M_\odot$. Our conclusion only makes a minimal assumption that the highest kHz QPO frequency is the ISCO frequency, bypassing the assumption of slow rotation and the uncertainty related to the dimensionless spin parameter, which are commonly required in the literature.


title: A variational method for $\Phi^4_3$

abstract: We introduce an explicit description of the $\Phi^4_3$ measure on a bounded domain. Our starting point is the interpretation of its Laplace transform as the value function of a stochastic optimal control problem along the flow of a scale regularization parameter. Once small scale singularities have been renormalized by the standard counterterms, $\Gamma$-convergence allows to extend the variational characterization to the unregularized model.


title: NETRA: Enhancing IoT Security using NFV-based Edge Traffic Analysis

abstract: This is the era of smart devices or things which are fueling the growth of Internet of Things (IoT). It is impacting every sphere around us, making our life dependent on this technological feat. It is of high concern that these smart things are being targeted by cyber criminals taking advantage of heterogeneity, minuscule security features and vulnerabilities within these devices. Conventional centralized IT security measures have limitations in terms of scalability and cost. Therefore, these smart devices are required to be monitored closer to their location ideally at the edge of IoT networks. In this paper, we explore how some security features can be implemented at the network edge to secure these smart devices. We explain the importance of Network Function Virtualization (NFV) in order to deploy security functions at the network edge. To achieve this goal, we introduce NETRA - a novel lightweight Docker-based architecture for virtualizing network functions to provide IoT security. Also, we highlight the advantages of the proposed architecture over the standardized NFV architecture in terms of storage, memory usage, latency, throughput, load average, scalability and explain why the standardized architecture is not suitable for IoT. We study the performance of proposed NFV based edge analysis for IoT security and show that attacks can be detected with more than 95% accuracy in less than a second.


title: Probing cosmic velocity-density correlations with galaxy luminosity modulations

abstract: We study the possibility of using correlations between spatial modulations in the observed luminosity distribution of galaxies and the underlying density field as a cosmological probe. Considering redshift ranges, where magnification effects due to gravitational lensing may be neglected, we argue that the dipole part of such luminosity-density correlations traces the corresponding velocity-density signal which may thus be measured from a given galaxy redshift catalogue. Assuming an SDSS-like survey with mean density $\overline{n}$ = 0.01 ($h^{-1}$ Mpc)$^{-3}$ and effective volume $V_{\rm eff}$ = 0.2 ($h^{-1}$ Gpc)$^{3}$ at a fiducial redshift z = 0.1, we estimate that the velocity-density correlation function can be constrained with high signal-to-noise ratio $\gtrsim$ 10 on scales 10-100 Mpc. Similar conclusions apply to the monopole which is sensitive to the environmental dependence of galaxy luminosities and relevant to models of galaxy formation.


title: GPGPU Linear Complexity t-SNE Optimization

abstract: The t-distributed Stochastic Neighbor Embedding (tSNE) algorithm has become in recent years one of the most used and insightful techniques for the exploratory data analysis of high-dimensional data. tSNE reveals clusters of high-dimensional data points at different scales while it requires only minimal tuning of its parameters. Despite these advantages, the computational complexity of the algorithm limits its application to relatively small datasets. To address this problem, several evolutions of tSNE have been developed in recent years, mainly focusing on the scalability of the similarity computations between data points. However, these contributions are insufficient to achieve interactive rates when visualizing the evolution of the tSNE embedding for large datasets. In this work, we present a novel approach to the minimization of the tSNE objective function that heavily relies on modern graphics hardware and has linear computational complexity. Our technique does not only beat the state of the art, but can even be executed on the client side in a browser. We propose to approximate the repulsion forces between data points using adaptive-resolution textures that are drawn at every iteration with WebGL. This approximation allows us to reformulate the tSNE minimization problem as a series of tensor operation that are computed with TensorFlow.js, a JavaScript library for scalable tensor computations.


title: On the geometry of twisted prolongations, and dynamical systems

abstract: I give a short review of the theory of twisted symmetries of differential equations, emphasizing geometrical aspects. Some open problems are also mentioned.


title: Technical design and commissioning of the sensor net for fine meshed measuring of magnetic field at KATRIN Spectrometer

abstract: The KArlsruhe TRItium Neutrino experiment (KATRIN) aims to measure the absolute neutrino mass scale with an unprecedented sensitivity of 0.2 eV/c2 (90% C.L.), using beta decay electrons from tritium decay. The kinetic energy of the decay electrons is measured using an electrostatic integrating main spectrometer (MS) with magnetic adiabatic collimation and requires a certain magnetic field profile. For the control of the magnetic field in the MS area two networks of mobile magnetic field sensor units are developed and commissioned. The radial system is operated close to the outer surface of the MS whereas the vertical one is mounted along vertical planes left and right of the MS. The sensor setup can take several thousands magnetic field samples at a fine meshed grid, thus allowing to study the magnetic field inside the MS and the influence of magnetic materials in the vicinity of the main spectrometer.


title: Local Rule-Based Explanations of Black Box Decision Systems

abstract: The recent years have witnessed the rise of accurate but obscure decision systems which hide the logic of their internal decision processes to the users. The lack of explanations for the decisions of black box systems is a key ethical issue, and a limitation to the adoption of machine learning components in socially sensitive and safety-critical contexts. %Therefore, we need explanations that reveals the reasons why a predictor takes a certain decision. In this paper we focus on the problem of black box outcome explanation, i.e., explaining the reasons of the decision taken on a specific instance. We propose LORE, an agnostic method able to provide interpretable and faithful explanations. LORE first leans a local interpretable predictor on a synthetic neighborhood generated by a genetic algorithm. Then it derives from the logic of the local interpretable predictor a meaningful explanation consisting of: a decision rule, which explains the reasons of the decision; and a set of counterfactual rules, suggesting the changes in the instance's features that lead to a different outcome. Wide experiments show that LORE outperforms existing methods and baselines both in the quality of explanations and in the accuracy in mimicking the black box.


title: Utility of geometry in lattice QCD simulations

abstract: We propose a way to improve the resolution of the spatial momentum and the time interval for hadron propagators utilizing the lattice geometry. We demonstrate the validity of the method presenting results for pseudoscalar meson energies with and without finite momenta in a large-scale quenched QCD simulation. The method should be useful especially for master-field simulations.


title: Flexible shrinkage in high-dimensional Bayesian spatial autoregressive models

abstract: This article introduces two absolutely continuous global-local shrinkage priors to enable stochastic variable selection in the context of high-dimensional matrix exponential spatial specifications. Existing approaches as a means to dealing with overparameterization problems in spatial autoregressive specifications typically rely on computationally demanding Bayesian model-averaging techniques. The proposed shrinkage priors can be implemented using Markov chain Monte Carlo methods in a flexible and efficient way. A simulation study is conducted to evaluate the performance of each of the shrinkage priors. Results suggest that they perform particularly well in high-dimensional environments, especially when the number of parameters to estimate exceeds the number of observations. For an empirical illustration we use pan-European regional economic growth data.


title: Many-body quantum Monte Carlo study of 2D materials: cohesion and band gap in single-layer phosphorene

abstract: Quantum Monte Carlo (QMC) is applied to obtain the fundamental (quasiparticle) electronic band gap, $\Delta_f$, of a semiconducting two-dimensional (2D) phosphorene whose optical and electronic properties fill the void between graphene and 2D transition metal dichalcogenides. Similarly to other 2D materials, the electronic structure of phosphorene is strongly influenced by reduced screening, making it challenging to obtain reliable predictions by single-particle density functional methods. Advanced GW techniques, which include many-body effects as perturbative corrections, are hardly consistent with each other, predicting the band gap of phosphorene with a spread of almost 1 eV, from 1.6 to 2.4 eV. Our QMC results, from infinite periodic superlattices as well as from finite clusters, predict $\Delta_f$ to be about 2.4 eV, indicating that available GW results are systematically underestimating the gap. Using the recently uncovered universal scaling between the exciton binding energy and $\Delta_f$, we predict the optical gap of 1.75 eV that can be directly related to measurements even on encapsulated samples due to its robustness against dielectric environment. The QMC gaps are indeed consistent with recent experiments based on optical absorption and photoluminescence excitation spectroscopy. We also predict the cohesion of phosphorene to be only slightly smaller than that of the bulk crystal. Our investigations not only benchmark GW methods and experiments, but also open the field of 2D electronic structure to computationally intensive but highly predictive QMC methods which include many-body effects such as electronic correlations and van der Waals interactions explicitly.


title: UG18 at SemEval-2018 Task 1: Generating Additional Training Data for Predicting Emotion Intensity in Spanish

abstract: The present study describes our submission to SemEval 2018 Task 1: Affect in Tweets. Our Spanish-only approach aimed to demonstrate that it is beneficial to automatically generate additional training data by (i) translating training data from other languages and (ii) applying a semi-supervised learning method. We find strong support for both approaches, with those models outperforming our regular models in all subtasks. However, creating a stepwise ensemble of different models as opposed to simply averaging did not result in an increase in performance. We placed second (EI-Reg), second (EI-Oc), fourth (V-Reg) and fifth (V-Oc) in the four Spanish subtasks we participated in.


title: The WST-decomposition for partial matrices

abstract: A partial matrix over a field $\mathbb{F}$ is a matrix whose entries are either an element of $\mathbb{F}$ or an indeterminate and with each indeterminate only appearing once. A completion is an assignment of values in $\mathbb{F}$ to all indeterminates. Given a partial matrix, through elementary row operations and column permutation it can be decomposed into a block matrix of the form $\left[\begin{smallmatrix}{\bf W} & * & * \\ 0 & {\bf S} & * \\ 0 & 0 & {\bf T} \end{smallmatrix}\right]$ where ${\bf W}$ is wide (has more columns than rows), ${\bf S}$ is square, ${\bf T}$ is tall (has more rows than columns), and these three blocks have at least one completion with full rank. And importantly, each one of the blocks ${\bf W}$, ${\bf S}$ and ${\bf T}$ is unique up to elementary row operations and column permutation whenever ${\bf S}$ is required to be as large as possible. When this is the case $\left[\begin{smallmatrix}{\bf W} & * & * \\ 0 & {\bf S} & * \\ 0 & 0 & {\bf T} \end{smallmatrix}\right]$ will be called a WST-decomposition. With this decomposition it is trivial to compute maximum rank of a completion of the original partial matrix: $\#\mbox{rows}({\bf W})+\#\mbox{rows}({\bf S})+\#\mbox{cols}({\bf T})$. In fact we introduce the WST-decomposition for a broader class of matrices: the ACI-matrices.