title: On permutations of $\{1,\ldots,n\}$ and related topics

abstract: In this paper we study combinatorial aspects of permutations of $\{1,\ldots,n\}$ and related topics. In particular, we prove that there is a unique permutation $\pi$ of $\{1,\ldots,n\}$ such that all the numbers $k+\pi(k)$ ($k=1,\ldots,n$) are powers of two. We also show that $n\mid\text{per}[i^{j-1}]_{1\le i,j\le n}$ for any integer $n>2$. We conjecture that if a group $G$ contains no element of order among $2,\ldots,n+1$ then any $A\subseteq G$ with $|A|=n$ can be written as $\{a_1,\ldots,a_n\}$ with $a_1,a_2^2,\ldots,a_n^n$ pairwise distinct. This conjecture is confirmed when $G$ is a torsion-free abelian group. We also prove that for any finite subset $A$ of a torsion-free abelian group $G$ with $|A|=n>3$, there is a numbering $a_1,\ldots,a_n$ of all the elements of $A$ such that all the $n$ sums $$a_1+a_2+a_3,\ a_2+a_3+a_4,\ \ldots,\ a_{n-2}+a_{n-1}+a_n,\ a_{n-1}+a_n+a_1,\ a_n+a_1+a_2$$ are pairwise distinct.


title: Low regularity solutions for gravity water waves II: The 2D case

abstract: The gravity water waves equations describe the evolution of the surface of an incompressible, irrotational fluid in the presence of gravity. The classical regularity threshold for the well-posedness of this system requires initial velocity field in $H^s$, with $s > \frac{1}{2} + 1$, and can be obtained by proving standard energy estimates. This threshold was improved by additionally proving Strichartz estimates with loss. In this article, we establish the well-posedness result for $s > \frac{1}{2} + 1 - \frac{1}{8}$, corresponding to proving lossless Strichartz estimates. This provides the sharp regularity threshold with respect to the approach of combining Strichartz estimates with energy estimates.


title: Flows of co-closed $G_{2}$-structures

abstract: We survey recent progress in the study of $G_{2}$-structure Laplacian coflows, that is, heat flows of co-closed $G_{2}$-structures. We introduce the properties of the original Laplacian coflow of $G_{2}$-structures as well as the modified coflow, reviewing short-time existence and uniqueness results for the modified coflow and well as recent Shi-type estimates that apply to a more general class of $G_{2}$-structure flows.


title: Two lectures on the center-focus problem for the equation $\frac{dy}{dx} + \sum_{i=1}^n a_i(x) y^i = 0, 0\leq x \leq 1$ where $a_i$ are polynomials

abstract: This is an extended version of two lectures given during the Zagreb Dynamical Systems Workshop, October 22-26, 2018.


title: Evolution of confined quantum scalar fields in curved spacetime. Part I

abstract: We develop a method for computing the Bogoliubov transformation experienced by a confined quantum scalar field in a globally hyperbolic spacetime, due to the changes in the geometry and/or the confining boundaries. The method constructs a basis of modes of the field associated to each Cauchy hypersurface, by means of an eigenvalue problem posed in the hypersurface. The Bogoliubov transformation between bases associated to different times can be computed through a differential equation, which coefficients have simple expressions in terms of the solutions to the eigenvalue problem. This transformation can be interpreted physically when it connects two regions of the spacetime where the metric is static. Conceptually, the method is a generalisation of Parker's early work on cosmological particle creation. It proves especially useful in the regime of small perturbations, where it allows one to easily make quantitative predictions on the amplitude of the resonances of the field, providing an important tool in the growing research area of confined quantum fields in table-top experiments. We give examples within the perturbative regime (gravitational waves) and the non-perturbative regime (cosmological particle creation). This is the first of two articles introducing the method, dedicated to spacetimes without boundaries or which boundaries remain static in some synchronous gauge.


title: Tracing in 2D to Reduce the Annotation Effort for 3D Deep Delineation

abstract: The difficulty of obtaining annotations to build training databases still slows down the adoption of recent deep learning approaches for biomedical image analysis. In this paper, we show that we can train a Deep Net to perform 3D volumetric delineation given only 2D annotations in Maximum Intensity Projections (MIP). As a consequence, we can decrease the amount of time spent annotating by a factor of two while maintaining similar performance. Our approach is inspired by space carving, a classical technique of reconstructing complex 3D shapes from arbitrarily-positioned cameras. We will demonstrate its effectiveness on 3D light microscopy images of neurons and retinal blood vessels and on Magnetic Resonance Angiography (MRA) brain scans.


title: MetAcsl: Specification and Verification of High-Level Properties

abstract: Modular deductive verification is a powerful technique capable to show that each function in a program satisfies its contract. However, function contracts do not provide a global view of which high-level (e.g. security-related properties of a whole software module are actually established, making it very difficult to assess them. To address this issue, this paper proposes a new specification mechanism, called meta-properties. A meta-property can be seen as an enhanced global invariant specified for a set of functions, and capable to express predicates on values of variables, as well as memory related conditions (such as separation) and read or write access constraints. We also propose an automatic transformation technique translating meta-properties into usual contracts and assertions, that can be proved by traditional deductive verification tools. This technique has been implemented as a Frama-C plugin called MetAcsl and successfully applied to specify and prove safety- and security-related meta-properties in two illustrative case studies.


title: Synthesis of Oxidation-Resistant Electrochemical-Active Copper Nanowires Using Phenylenediamine Isomers

abstract: Phenylenediamine (PDA) was chosen as a coordinating, reducing, and capping agent to effectively direct growth and protect against oxidation of Cu nanowires (Cu NWs) in an aqueous solution. PDA was found to reduce Cu (II) to Cu (I) at room temperature, and stabilize the resulting Cu (I) by forming a coordination complex. The presence of a stable Cu (I) complex is the key step in the synthesis of Cu NWs under mild conditions. Different PDA isomers lead to different growth paths of forming Cu NWs. Both pPDA and mPDA-synthesized Cu NWs were covered with a thin layer of polyphenylenediamine and show excellent anti-oxidation properties, even in the presence of water. The usefulness of the present and electrochemical active Cu NWs for a variety of nanotechnology applications is discussed.


title: Sobolev embedding properties on compact matrix quantum groups of Kac type

abstract: We establish sharp Sobolev embedding properties within a broad class of compact matrix quantum groups of Kac type under the polynomial growth or the rapid decay property of their duals. Main examples are duals of polynomially growing discrete quantum groups, duals of free groups and free quantum groups $O_N^+,S_N^+$. In addition, we generalize sharpend Hausdorff-Young inequalities, compute degrees of the rapid decay property for $\widehat{O_N^+},\widehat{S_N^+}$ and prove sharpness of Hardy-Littlewood inequalities on duals of free groups.


title: Bifurcation diagram of one perturbed vortex dynamics problem

abstract: This paper deals with the one perturbed vortex dynamics problem which describes the system of two point vortices in a Bose-Einstein condensate enclosed in a cylindrical trap. This system is a completely integrable Hamiltonian system with two degrees of freedom. Bifurcation diagram of momentum mapping is analytically investigated. To find the bifurcation diagram we use the method of critical subsystems developed by M.P. Kharlamov for the study of the phase topology of integrable problems of rigid body dynamics. As an application, we present an analysis of the stability of critical trajectories (i.e., the nondegenerate singularities of rank 1 of the momentum mapping) by defining a trajectory type (elliptic or hyperbolic) for each curve from the bifurcation set.


title: Second order difference approximation for a class of Riesz space fractional advection-dispersion equations with delay

abstract: In this paper, we propose numerical scheme for the Riesz space fractional advection-dispersion equations with delay (RFADED). Firstly, analytical solution for RFADED in terms of the functions of Mittag-Leffler type is derived. Secondly, the fractional backward differential formulas (FBDF) method and shifted Gr\"{u}nwald method are introduced to the Riesz space fractional derivatives. Next, stability and convergency of these methods have been proved. Thirdly, Crank-Nicolson scheme for solving this problem is proposed. We prove that the scheme is conditionally stable and convergent with the order accuracy of ${\rm O}({\kappa ^2} + {h^2})$. Finally, some numerical results are given to demonstrate that presented method is a computationally efficient and accurate method for solving RFADED.


title: EVM analysis of an Interference Limited SIMO-SC System With Independent and Correlated Channels

abstract: In this paper, we derive the error vector magnitude (EVM) in a selection combining (SC) system experiencing co-channel interference, for arbitrary number of antennas and interferers when all the channels experience Rayleigh fading. We use a novel approach that uses the CCDF of SIR to derive EVM as using the conventional approach to derive EVM for a SC system is difficult. Considering two selection rules based on (a) maximum signal power (b) maximum signal to interference ratio, we observe that EVM is worse when maximum signal power based rule is used. Further, EVM is also derived considering (a) all the channels to be independent and (b) channels to be correlated due to insufficient antenna spacing at receiver. For some special cases, EVM is also derived when the desired channels experience Nakagami-m fading.


title: Deep Network Interpolation for Continuous Imagery Effect Transition

abstract: Deep convolutional neural network has demonstrated its capability of learning a deterministic mapping for the desired imagery effect. However, the large variety of user flavors motivates the possibility of continuous transition among different output effects. Unlike existing methods that require a specific design to achieve one particular transition (e.g., style transfer), we propose a simple yet universal approach to attain a smooth control of diverse imagery effects in many low-level vision tasks, including image restoration, image-to-image translation, and style transfer. Specifically, our method, namely Deep Network Interpolation (DNI), applies linear interpolation in the parameter space of two or more correlated networks. A smooth control of imagery effects can be achieved by tweaking the interpolation coefficients. In addition to DNI and its broad applications, we also investigate the mechanism of network interpolation from the perspective of learned filters.


title: Coherent light propagation through cold atomic clouds beyond the independent scattering approximation

abstract: We calculate the relative permittivity of a cold atomic gas under weak probe illumination, up to second order in the density. Within the framework of a diagrammatic representation method, we identify all the second order diagrams that enter into the description of the relative permittivity for coherent light transmission. These diagrams originate from pairwise position correlation and recurrent scattering. Using coupled dipole equations, we numerically simulate the coherent transmission with scalar and vector waves, and find good agreement with the perturbative calculations. We applied this perturbative expansion approach to a classical gas at rest, but the method is extendable to thermal gas with finite atomic motion and to quantum gases where non-trivial pair correlations can be naturally included.


title: Delocalization and continuous spectrum for ultrametric random operators

abstract: This paper studies the delocalized regime of an ultrametric random operator whose independent entries have variances decaying in a suitable hierarchical metric on $\mathbb{N}$. When the decay-rate of the off-diagonal variances is sufficiently slow, we prove that the spectral measures are uniformly $\theta$-H\"{o}lder continuous for all $\theta \in (0,1)$. In finite volumes, we prove that the corresponding ultrametric random matrices have completely extended eigenfunctions and that the local eigenvalue statistics converge in the Wigner-Dyson-Mehta universality class.

categories: math-ph cond-mat.dis-nn math.MP math.PR math.SP


title: Jordan Plane and Numerical Range of Operators Involving Two Projections

abstract: We use principal angles between two subspaces to define Jordan planes. Jordan planes provide an optimal way to decompose $\mathbb{C}^n$ in relation to given two subspaces. We apply Jordan planes to show that two pairs of of subspaces $(M,N)$ and $(M^{\perp},N^{\perp})$ are unitarily equivalent if $M$ and $N$ are subspaces of $\mathbb{C}^n$ in generic position. We compute numerical ranges of sum and product of two orthogonal projections by using Jordan planes.


title: Unsupervised 3D Shape Learning from Image Collections in the Wild

abstract: We present a method to learn the 3D surface of objects directly from a collection of images. Previous work achieved this capability by exploiting additional manual annotation, such as object pose, 3D surface templates, temporal continuity of videos, manually selected landmarks, and foreground/background masks. In contrast, our method does not make use of any such annotation. Rather, it builds a generative model, a convolutional neural network, which, given a noise vector sample, outputs the 3D surface and texture of an object and a background image. These 3 components combined with an additional random viewpoint vector are then fed to a differential renderer to produce a view of the sampled object and background. Our general principle is that if the output of the renderer, the generated image, is realistic, then its input, the generated 3D and texture, should also be realistic. To achieve realism, the generative model is trained adversarially against a discriminator that tries to distinguish between the output of the renderer and real images from the given data set. Moreover, our generative model can be paired with an encoder and trained as an autoencoder, to automatically extract the 3D shape, texture and pose of the object in an image. Our trained generative model and encoder show promising results both on real and synthetic data, which demonstrate for the first time that fully unsupervised 3D learning from image collections is possible.


title: Predicting Language Recovery after Stroke with Convolutional Networks on Stitched MRI

abstract: One third of stroke survivors have language difficulties. Emerging evidence suggests that their likelihood of recovery depends mainly on the damage to language centers. Thus previous research for predicting language recovery post-stroke has focused on identifying damaged regions of the brain. In this paper, we introduce a novel method where we only make use of stitched 2-dimensional cross-sections of raw MRI scans in a deep convolutional neural network setup to predict language recovery post-stroke. Our results show: a) the proposed model that only uses MRI scans has comparable performance to models that are dependent on lesion specific information; b) the features learned by our model are complementary to the lesion specific information and the combination of both appear to outperform previously reported results in similar settings. We further analyse the CNN model for understanding regions in brain that are responsible for arriving at these predictions using gradient based saliency maps. Our findings are in line with previous lesion studies.


title: Line-driven ablation of circumstellar discs: IV. The role of disc ablation in massive star formation and its contribution to the stellar upper mass limit

abstract: Radiative feedback from luminous, massive stars during their formation is a key process in moderating accretion onto the stellar object. In the prior papers in this series, we showed that one form such feedback takes is UV line-driven disc ablation. Extending on this study, we now constrain the strength of this effect in the parameter range of star and disc properties appropriate to forming massive stars. Simulations show that ablation rate depends strongly on stellar parameters, but that this dependence can be parameterized as a nearly constant, fixed enhancement over the wind mass loss rate, allowing us to predict the rate of disc ablation for massive (proto)stars as a function of stellar mass and metallicity. By comparing this to predicted accretion rates, we conclude that ablation is a strong feedback effect for very massive (proto)stars which should be considered in future studies of massive star formation.


title: Effects of core space and excitation levels on ground-state correlation and photoionization dynamics of Be and Ne

abstract: We explore the effects of correlation on the ground-state energies and on photoionization dynamics in atomic Be and Ne. We apply the time-dependent restricted-active-space self-consistent-field method for several excitation schemes and active orbital spaces with and without a dynamic core to address the effects systematically at different levels of approximation. For the ground-state many-electron wave functions, we compare the correlation energies with entropic measures of entanglement. A larger magnitude of the correlation energy does not always correspond to a larger value of the considered entanglement measures. To evaluate the impact of correlation in a process involving continua, we consider photoionization by attosecond pulses. The photoelecton spectra may be significantly affected by including a dynamical core.


title: Numerical parameter space compression and its application to microtubule dynamic instability

abstract: Physical models of biological systems can become difficult to interpret when they have a large number of parameters. But the models themselves actually depend on (i.e. are sensitive to) only a subset of those parameters. Rigorously identifying this subset of "stiff" parameters has been made possible by the development of parameter space compression (PSC). However, PSC has only been applied to analytically-solvable physical models. We have generalized this powerful method by developing a numerical approach to PSC that can be applied to any computational model. We validated our method against analytically-solvable models of random walk with drift and protein production and degradation. We then applied our method to an active area of biophysics research, namely to a simple computational model of microtubule dynamic instability. Such models have become increasingly complex, perhaps unnecessarily. By adding two new parameters that account for prominent structural features of microtubules, we identify one that can be "compressed away" (the "seam" in the microtubule) and another that is essential to model performance (the "tapering" of microtubule ends). Furthermore, we show that the microtubule model has an underlying, low-dimensional structure that explains the vast majority of our experimental data. We argue that numerical PSC can identify the low-dimensional structure of any computational model in biophysics. The low-dimensional structure of a model is easier to interpret and identifies the mechanisms and experiments that best characterize the system.


title: Scene Categorization from Contours: Medial Axis Based Salience Measures

abstract: The computer vision community has witnessed recent advances in scene categorization from images, with the state-of-the art systems now achieving impressive recognition rates on challenging benchmarks such as the Places365 dataset. Such systems have been trained on photographs which include color, texture and shading cues. The geometry of shapes and surfaces, as conveyed by scene contours, is not explicitly considered for this task. Remarkably, humans can accurately recognize natural scenes from line drawings, which consist solely of contour-based shape cues. Here we report the first computer vision study on scene categorization of line drawings derived from popular databases including an artist scene database, MIT67, and Places365. Specifically, we use off-the-shelf pre-trained CNNs to perform scene classification given only contour information as input and find performance levels well above chance. We also show that medial-axis based contour salience methods can be used to select more informative subsets of contour pixels and that the variation in CNN classification performance on various choices for these subsets is qualitatively similar to that observed in human performance. Moreover, when the salience measures are used to weight the contours, as opposed to pruning them, we find that these weights boost our CNN performance above that for unweighted contour input. That is, the medial axis based salience weights appear to add useful information that is not available when CNNs are trained to use contours alone.


title: Quantum Log-Approximate-Rank Conjecture is also False

abstract: In a recent breakthrough result, Chattopadhyay, Mande and Sherif [ECCC TR18-17] showed an exponential separation between the log approximate rank and randomized communication complexity of a total function $f$, hence refuting the log approximate rank conjecture of Lee and Shraibman [2009]. We provide an alternate proof of their randomized communication complexity lower bound using the information complexity approach. Using the intuition developed there, we derive a polynomially-related quantum communication complexity lower bound using the quantum information complexity approach, thus providing an exponential separation between the log approximate rank and quantum communication complexity of $f$. Previously, the best known separation between these two measures was (almost) quadratic, due to Anshu, Ben-David, Garg, Jain, Kothari and Lee [CCC, 2017]. This settles one of the main question left open by Chattopadhyay, Mande and Sherif, and refutes the quantum log approximate rank conjecture of Lee and Shraibman [2009]. Along the way, we develop a Shearer-type protocol embedding for product input distributions that might be of independent interest.


title: Charge separation: From the topology of molecular electronic transitions to the dye/semiconductor interfacial energetics and kinetics

abstract: Charge separation properties, that is the ability of a chromophore, or a chromophore/semiconductor interface, to separate charges upon light absorption, are crucial characteristics for an efficient photovoltaic device. Starting from this concept, we devote the first part of this book chapter to the topological analysis of molecular electronic transitions induced by photon capture. Such analysis can be either qualitative or quantitative, and is presented here in the framework of the reduced density matrix theory applied to single-reference, multiconfigurational excited states. The qualitative strategies are separated into density-based and wave function-based approaches, while the quantitative methods reported here for analysing the photoinduced charge transfer nature are either fragment-based, global or statistical. In the second part of this chapter we extend the analysis to dye-sensitized metal oxide surface models, discussing interfacial charge separation, energetics and electron injection kinetics from the dye excited state to the semiconductor conduction band states.


title: Resummation for rapidity distributions in top-quark pair production

abstract: We extend our framework for the simultaneous resummation of soft and small-mass logarithms to rapidity distributions in top quark pair production. We give numerical results for the rapidity distribution of the top quark or the anti-top quark, as well as the rapidity distribution of the $t\bar{t}$ pair, finding that resummation effects stabilize the dependence of the differential cross sections on the choice of factorization scale. We compare our results with recent measurements at the Large Hadron Collider and find good agreement. Our results may be useful in the extraction of the gluon parton distribution function from $t\bar{t}$ production.


title: Hopf algebra actions in tensor categories

abstract: We prove that commutative algebras in braided tensor categories do not admit faithful Hopf algebra actions unless they come from group actions. We also show that a group action allows us to see the algebra as the regular algebra in the representation category of the acting group.


title: Controllability of the Jaynes-Cummings-Hubbard model

abstract: In quantum control theory, the fundamental issue of controllability covers the questions whether and under which conditions a system can be steered from one pure state into another by suitably tuned time evolution operators. Even though Lie theoretic methods to analyze these aspects are well-established for finite dimensional systems, they fail to apply to those with an infinite number of levels. The Jaynes-Cummings-Hubbard model - describing two-level systems in coupled cavities - is such an infinite dimensional system. In this contribution we study its controllability. In the two cavity case we exploit symmetry arguments; we show that one part of the control Hamiltonians can be studied in terms of infinite dimensional block diagonal Lie algebras while the other part breaks this symmetry to achieve controllability. An induction on the number of cavities extends this result to the general case. Individual control of the qubit and collective control of the hopping between cavities is sufficient for both pure state and strong operator controllability. We additionally establish new criteria for the controllability of infinite dimensional quantum systems admitting symmetries.


title: The mean-field quantum Heisenberg ferromagnet via representation theory

abstract: We use representation theory to write a formula for the magnetisation of the quantum Heisenberg ferromagnet. The core new result is a spectral decomposition of the function $\alpha_k 2^{\alpha_1+\dotsb+\alpha_n}$ where $\alpha_k$ is the number of cycles of length k of a permutation. In the mean-field case, we simplify the formula further, arriving at a closed-form expression for the magnetisation, which allows to analyse the phase transition.


title: From Random Times to Fractional Kinetics

abstract: In this paper we study the effect of the subordination by a general random time-change to the solution of a model on spatial ecology in terms of its evolution density. In particular on traveling waves for a non-local spatial logistic equation. We study the Cesaro limit of the subordinated dynamics in a number of particular cases related to the considered fractional derivative making use of the Karamata-Tauberian theorem.


title: Random Attractors for Stochastic Navier-Stokes equation on a 2D rotating sphere with stable L\'evy noise

abstract: In this paper we prove that the stochastic Navier-Stokes equations with stable L\'evy noise generates a random dynamical systems. Then we prove the existence of random attractor for the Navier-Stokes equations on 2D spheres under stable L\'evy noise (finite dimensional). We also deduce the existence of Feller Markov invariant measure.


title: An Isoperimetric Result on High-Dimensional Spheres

abstract: We consider an extremal problem for subsets of high-dimensional spheres that can be thought of as an extension of the classical isoperimetric problem on the sphere. Let $A$ be a subset of the $(m-1)$-dimensional sphere $\mathbb{S}^{m-1}$, and let $\mathbf{y}\in \mathbb{S}^{m-1}$ be a randomly chosen point on the sphere. What is the measure of the intersection of the $t$-neighborhood of the point $\mathbf{y}$ with the subset $A$? We show that with high probability this intersection is approximately as large as the intersection that would occur with high probability if $A$ were a spherical cap of the same measure.


title: Transition from weak to strong turbulence in magnetized plasmas

abstract: The scaling of turbulent heat flux with respect to electrostatic potential is examined in the framework of a reduced ($4$D) kinetic system describing electrostatic turbulence in magnetized plasmas excited by the ion temperature gradient instability. Numerical simulations were instigated by, and tested the predictions of generic renormalized turbulence models like the $2$D fluid model for electrostatic turbulence [Y.~Z.~Zhang and S.~M.~Mahajan, Phys.~Fluids B 5 (7), pp.~2000 (1993)]. A fundamental, perhaps, universal result of this theory-simulation combination is the demonstration that there exist two distinct asymptotic states (that can be classified as Weak turbulence (WT) and Strong turbulence (ST) states) where the turbulent diffusivity $Q$ scales quite differently with the strength of turbulence measured by the electrostatic energy $\|\phi\|^2$. In the case of WT $Q \propto \|\phi\|^2$, while in ST $Q$ has a weaker dependence on the electrostatic energy and scales as $\|\phi\|$.


title: Enhanced spin coherence of rubidium atoms in solid parahydrogen

abstract: We measure the transverse relaxation of the spin state of an ensemble of ground-state rubidium atoms trapped in solid parahydrogen at cryogenic temperatures. We find the spin dephasing time of the ensemble (T$_2^*$) is limited by inhomogeneous broadening. We determine that this broadening is dominated by electrostatic interactions with the host matrix, and can be reduced by preparing nonclassical spin superposition states. Driving these superposition states gives significantly narrower electron paramagnetic resonance lines and the longest reported electron spin $T_2^*$ in any solid-phase system other than solid helium.


title: Theoretical insights into the topology of molecular excitons from single-reference excited states calculation methods

abstract: This chapter gives an introduction to qualitative and quantitative topological analyses of molecular electronic transitions. Among the possibilities for qualitatively describing how the electronic structure of a molecule is reorganized upon light-absorption, we chose to detail two of them, namely the detachment/attachment density matrix analysis and the natural transition orbitals strategy. While these tools are often introduced separately, we decided to formally detail the connection existing between the two paradigms in the case of excited states calculation methods expressing any excited state as a linear combination of singly excited Slater determinants, written based on a single-reference ground state wave function. In this context, we show how the molecular exciton wave function plays a central role in the topological analysis of the electronic transition process.


title: Comparing with octopi

abstract: Operator inequalities with a geometric flavour have been successful in studying mixing of random walks and quantum mechanics. We suggest a new way to extract such inequalities using the octopus inequality of Caputo, Liggett and Richthammer.


title: Analysis of topological derivative as a tool for qualitative identification

abstract: The concept of topological derivative has proved effective as a qualitative inversion tool for a wave-based identification of finite-sized objects. Although for the most part, this approach remains based on a heuristic interpretation of the topological derivative, a first attempt toward its mathematical justification was done in Bellis et al. (Inverse Problems 29:075012, 2013) for the case of isotropic media with far field data and inhomogeneous refraction index. Our paper extends the analysis there to the case of anisotropic scatterers and background with near field data. Topological derivative-based imaging functional is analyzed using a suitable factorization of the near fields, which became achievable thanks to a new volume integral formulation recently obtained in Bonnet (J. Integral Equ. Appl. 29:271-295, 2017). Our results include justification of sign heuristics for the topological derivative in the isotropic case with jump in the main operator and for some cases of anisotropic media, as well as verifying its decaying property in the isotropic case with near field spherical measurements configuration situated far enough from the probing region.


title: 2-Selmer groups of even hyperelliptic curves over function fields

abstract: In this paper, we are going to compute the average size of 2-Selmer groups of families of even hyperelliptic curves over function fields. The result will be obtained by a geometric method which is based on a Vinberg representation of the group $G=\text{PSO}(2n+2)$ and a Hitchin fibration. Consistent with the result over Q of Arul Shankar and Xiaoheng Wang [Rational points on hyperelliptic curves having a marked non-Weierstrass point, in Compos. Math., 154(1):188-222, 2018], we provide an upper bound and a lower bound of the average. However, if we restrict to the family of transversal hyperelliptic curves, we obtain precisely number 6.


title: The role of slip transfer at grain boundaries in the propagation of microstructurally short fatigue cracks in Ni-based superalloys

abstract: Crack initiation and propagation under high-cycle fatigue conditions have been investigated for a polycrystalline Ni-based superalloy by in-situ synchrotron assisted diffraction and phase contrast tomography. The cracks nucleated along the longest coherent twin boundaries pre-existing on the specimen surface, that were well oriented for slip and that presented a large elastic incompatibility across them. Moreover, the propagation of microstructurally short cracks was found to be determined by the easy slip transfer paths across the pre-existing grain boundaries. This information can only be obtained by characterization techniques like the ones presented here that provide the full set of 3D microstructural information.


title: Higher-order Projected Power Iterations for Scalable Multi-Matching

abstract: The matching of multiple objects (e.g. shapes or images) is a fundamental problem in vision and graphics. In order to robustly handle ambiguities, noise and repetitive patterns in challenging real-world settings, it is essential to take geometric consistency between points into account. Computationally, the multi-matching problem is difficult. It can be phrased as simultaneously solving multiple (NP-hard) quadratic assignment problems (QAPs) that are coupled via cycle-consistency constraints. The main limitations of existing multi-matching methods are that they either ignore geometric consistency and thus have limited robustness, or they are restricted to small-scale problems due to their (relatively) high computational cost. We address these shortcomings by introducing a Higher-order Projected Power Iteration method, which is (i) efficient and scales to tens of thousands of points, (ii) straightforward to implement, (iii) able to incorporate geometric consistency, (iv) guarantees cycle-consistent multi-matchings, and (iv) comes with theoretical convergence guarantees. Experimentally we show that our approach is superior to existing methods.


title: Geometric Ergodicity of Affine Processes on Cones

abstract: For affine processes on finite-dimensional cones, we give criteria for geometric ergodicity - that is exponentially fast convergence to a unique stationary distribution. Ergodic results include both the existence of exponential moments of the limiting distribution, where we exploit the crucial affine property, and finite moments, where we invoke the polynomial property of affine semigroups. Furthermore, we elaborate sufficient conditions for aperiodicity and irreducibility. Our results are applicable to Wishart processes with jumps on the positive semidefinite matrices, continuous-time branching processes with immigration in high dimensions, and classical term-structure models for credit and interest rate risk.


title: Classes of topological qubits from low-dimensional quantum spin systems

abstract: Topological phases of matter is a natural place for encoding robust qubits for quantum computation. In this work we extend the newly introduced class of qubits based on valence-bond solid models with SPT (symmetry-protected topological) order to more general cases. Furthermore, we define and compare various classes of topological qubits encoded in the bulk ground states of topological systems, including SSB (spontaneous symmetry-breaking), TOP (topological), SET (symmetry-enriched topological), SPT, and subsystem SPT classes. We focus on several features for qubits to be robust, including error sets, logical support, code distance and shape of logical gates. In particular, when a global U(1) symmetry is present and preserved, we find a twist operator that extracts the SPT order plays the role of a topological logical operator, which is suitable for global implementation.


title: Greenberger-Horne-Zeilinger state generation with linear optical elements

abstract: We propose a scheme to probabilistically generate Greenberger-Horne-Zeilinger (GHZ) states encoded on the path degree of freedom of three photons. These photons are totally independent from each other, having no direct interaction during the whole evolution of the protocol, which remarkably requires only linear optical devices to work, and two extra ancillary photons to mediate the correlation. The efficacy of the method, which has potential application in distribited quantum computation and multiparty quantum communication, is analyzed in comparison with similar proposals reported in the recent literature. We also discuss the main error sources that limit the efficiency of the protocol in a real experiment and some interesting aspects about the mediator photons in connection with the concept of spatial nonlocality.


title: CEPC Conceptual Design Report: Volume 2 - Physics & Detector

abstract: The Circular Electron Positron Collider (CEPC) is a large international scientific facility proposed by the Chinese particle physics community to explore the Higgs boson and provide critical tests of the underlying fundamental physics principles of the Standard Model that might reveal new physics. The CEPC, to be hosted in China in a circular underground tunnel of approximately 100 km in circumference, is designed to operate as a Higgs factory producing electron-positron collisions with a center-of-mass energy of 240 GeV. The collider will also operate at around 91.2 GeV, as a Z factory, and at the WW production threshold (around 160 GeV). The CEPC will produce close to one trillion Z bosons, 100 million W bosons and over one million Higgs bosons. The vast amount of bottom quarks, charm quarks and tau-leptons produced in the decays of the Z bosons also makes the CEPC an effective B-factory and tau-charm factory. The CEPC will have two interaction points where two large detectors will be located. This document is the second volume of the CEPC Conceptual Design Report (CDR). It presents the physics case for the CEPC, describes conceptual designs of possible detectors and their technological options, highlights the expected detector and physics performance, and discusses future plans for detector R&D and physics investigations. The final CEPC detectors will be proposed and built by international collaborations but they are likely to be composed of the detector technologies included in the conceptual designs described in this document. A separate volume, Volume I, recently released, describes the design of the CEPC accelerator complex, its associated civil engineering, and strategic alternative scenarios.


title: Pattern Universes

abstract: In this essay we explore analogies between macroscopic patterns, which result from a sequence of phase transitions/instabilities starting from a homogeneous state, and similar phenomena in cosmology, where a sequence of phase transitions in the early universe is believed to have separated the fundamental forces from each other, and also shaped the structure and distribution of matter in the universe. We discuss three distinct aspects of this analogy: (i) Defects and topological charges in macroscopic patterns are analogous to spins and charges of quarks and leptons; (ii) Generic (3+1) stripe patterns carry an (energy) density that accounts for phenomena that are currently attributed to dark matter; (iii) Space-time patterns of interacting nonlinear waves display behaviors reminiscent of quantum phenomena including inflation, entanglement and dark energy.


title: Scalable graph-based individual named entity identification

abstract: Named entity discovery (NED) is an important information retrieval problem that can be decomposed into two sub-problems. The first sub-problem, named entity recognition (NER), aims to tag pre-defined sets of words in a vocabulary (called "named entities": names, places, locations, ...) when they appear in natural language. The second subproblem, named entity linking/identification (NEL), considers these entity mentions as queries to be identified in a pre-existing database. In this paper, we consider the NEL problem, and assume a set of queries (or mentions) that have to be identified within a knowledge base. This knowledge base is represented by a text database paired with a semantic graph. We present state-of-the-art methods in NEL, and propose a 2-step method for individual identification of named entities. Our approach is well-motivated by the limitations brought by recent deep learning approaches that lack interpratability, and require lots of parameter tuning along with large volume of annotated data. First of all, we propose a filtering algorithm designed with information retrieval and text mining techniques, aiming to maximize precision at K (typically for 5 <= K <=20). Then, we introduce two graph-based methods for named entity identification to maximize precision at 1 by re-ranking the remaining top entity candidates. The first identification method is using parametrized graph mining, and the second similarity with graph kernels. Our approach capitalizes on a fine-grained classification of entities from annotated web data. We present our algorithms in details, and show experimentally on standard datasets (NIST TAC-KBP, CONLL/AIDA) their performance in terms of precision are better than any graph-based method reported, and competitive with state-of-the-art systems. Finally, we conclude on the advantages of our graph-based approach compared to recent deep learning methods.


title: A Survey of Collection Methods and Cross-Data Set Comparison of Android Unlock Patterns

abstract: Android's graphical password unlock remains one of the most widely used schemes for phone unlock authentication, and it is has been studied extensively in the last decade since its launch. We have learned that users' choice of patterns mimics the poor password choices in other systems, such as PIN or text-based passwords. A wide variety of analysis and data collections methods was used to reach these conclusions, but what is missing from the literature is a systemized comparison of the related work in this space that compares both the methodology and the results. In this paper, we take a detailed accounting of the different methods applied to data collection and analysis for Android unlock patterns. We do so in two dimensions. First we systemize prior work into a detailed taxonomy of collection methods, and in the second dimension, we perform a detailed analysis of 9 different data sets collected using different methods. While this study focuses singularly on the collection methods and comparisons of the Android pattern unlock scheme, we believe that many of the findings generalize to other graphical password schemes, unlock authentication technology, and other knowledge-based authentication schemes.


title: Digging for Dark Matter: Spectral Analysis and Discovery Potential of Paleo-Detectors

abstract: Paleo-detectors are a recently proposed method for the direct detection of Dark Matter (DM). In such detectors, one would search for the persistent damage features left by DM--nucleus interactions in ancient minerals. Initial sensitivity projections have shown that paleo-detectors could probe much of the remaining Weakly Interacting Massive Particle (WIMP) parameter space. In this paper, we improve upon the cut-and-count approach previously used to estimate the sensitivity by performing a full spectral analysis of the background- and DM-induced signal spectra. We consider two scenarios for the systematic errors on the background spectra: i) systematic errors on the normalization only, and ii) systematic errors on the shape of the backgrounds. We find that the projected sensitivity is rather robust to imperfect knowledge of the backgrounds. Finally, we study how well the parameters of the true WIMP model could be reconstructed in the hypothetical case of a WIMP discovery.


title: Challenges in the Automatic Analysis of Students' Diagnostic Reasoning

abstract: Diagnostic reasoning is a key component of many professions. To improve students' diagnostic reasoning skills, educational psychologists analyse and give feedback on epistemic activities used by these students while diagnosing, in particular, hypothesis generation, evidence generation, evidence evaluation, and drawing conclusions. However, this manual analysis is highly time-consuming. We aim to enable the large-scale adoption of diagnostic reasoning analysis and feedback by automating the epistemic activity identification. We create the first corpus for this task, comprising diagnostic reasoning self-explanations of students from two domains annotated with epistemic activities. Based on insights from the corpus creation and the task's characteristics, we discuss three challenges for the automatic identification of epistemic activities using AI methods: the correct identification of epistemic activity spans, the reliable distinction of similar epistemic activities, and the detection of overlapping epistemic activities. We propose a separate performance metric for each challenge and thus provide an evaluation framework for future research. Indeed, our evaluation of various state-of-the-art recurrent neural network architectures reveals that current techniques fail to address some of these challenges.


title: Similarity-preserving Image-image Domain Adaptation for Person Re-identification

abstract: This article studies the domain adaptation problem in person re-identification (re-ID) under a "learning via translation" framework, consisting of two components, 1) translating the labeled images from the source to the target domain in an unsupervised manner, 2) learning a re-ID model using the translated images. The objective is to preserve the underlying human identity information after image translation, so that translated images with labels are effective for feature learning on the target domain. To this end, we propose a similarity preserving generative adversarial network (SPGAN) and its end-to-end trainable version, eSPGAN. Both aiming at similarity preserving, SPGAN enforces this property by heuristic constraints, while eSPGAN does so by optimally facilitating the re-ID model learning. More specifically, SPGAN separately undertakes the two components in the "learning via translation" framework. It first preserves two types of unsupervised similarity, namely, self-similarity of an image before and after translation, and domain-dissimilarity of a translated source image and a target image. It then learns a re-ID model using existing networks. In comparison, eSPGAN seamlessly integrates image translation and re-ID model learning. During the end-to-end training of eSPGAN, re-ID learning guides image translation to preserve the underlying identity information of an image. Meanwhile, image translation improves re-ID learning by providing identity-preserving training samples of the target domain style. In the experiment, we show that identities of the fake images generated by SPGAN and eSPGAN are well preserved. Based on this, we report the new state-of-the-art domain adaptation results on two large-scale person re-ID datasets.


title: Semi-Device Independent Quantum Money

abstract: The seminal idea of quantum money not forgeable due to laws of Quantum Mechanics proposed by Stephen Wiesner, has laid foundations for the Quantum Information Theory in early '70s. Recently, several other schemes for quantum currencies have been proposed, all however relying on the assumption that the mint does not cooperate with the counterfeiter. Drawing inspirations from the semi-device independent quantum key distribution protocol, we introduce the first scheme of quantum money with this assumption partially relaxed, along with the proof of its unforgeability. Significance of this protocol is supported by an impossibility result, which we prove, stating that there is no both fully device independent and secure money scheme. Finally, we formulate a quantum analogue of the Oresme-Copernicus-Gresham's law of economy.


title: A deep neural network to enhance prediction of 1-year mortality using echocardiographic videos of the heart

abstract: Predicting future clinical events helps physicians guide appropriate intervention. Machine learning has tremendous promise to assist physicians with predictions based on the discovery of complex patterns from historical data, such as large, longitudinal electronic health records (EHR). This study is a first attempt to demonstrate such capabilities using raw echocardiographic videos of the heart. We show that a large dataset of 723,754 clinically-acquired echocardiographic videos (~45 million images) linked to longitudinal follow-up data in 27,028 patients can be used to train a deep neural network to predict 1-year mortality with good accuracy (area under the curve (AUC) in an independent test set = 0.839). Prediction accuracy was further improved by adding EHR data (AUC = 0.858). Finally, we demonstrate that the trained neural network was more accurate in mortality prediction than two expert cardiologists. These results highlight the potential of neural networks to add new power to clinical predictions.


title: Ancilla-assisted schemes are beneficial for Gaussian state phase estimation

abstract: We study interferometry with Gaussian states and show that an ancilla-assisted scheme outperforms coherent state interferometry for all levels of loss. We also compare the ancilla-assisted scheme to other interferometric schemes involving squeezing, and show that it is the most advantage in the high-loss, high photon-number regime. In fact, in the presence of high loss, it out-performs many other strategies proposed to date. We find the optimal measurement observable for each scheme discussed. We also find that with the appropriate measurement, the achievable precision of the proposal by Caves [Phys. Rev. D 23, 1693 (1981)] can be improved upon, and is less vulnerable to losses than previously thought.


title: Intra-Night Optical monitoring of three {\gamma}-ray detected Narrow-line Seyfert 1 galaxies

abstract: For 3 radio-loud $\gamma$-ray detected Narrow-Line Seyfert 1 ($\gamma$-ray NLSy1) galaxies, we report optical variability on intra-night and/or week-like time scales, based on five $\geq$ 3 hours long monitoring sessions for each galaxy. The radio-loudness factors (R$_{1.4 GHz}$) for these galaxies, namely 1H 0323$+$342 (z = 0.0629), PKS J1222$+$0413 (z = 0.966) and PKS J1505$+$0326 (z = 0.408) are $\sim$318, $\sim$1534 and $\sim$3364 at 1.4 GHz, respectively. For the most distant $\gamma$-ray NLSy1, PKS J1222$+$0413, Intra-Night Optical Variability (INOV) characterisation is presented for the first time. The blazar-like behaviour of the nearest $\gamma$-ray NLSy1 1H 0323$+$342, which showed strong INOV on 4 of the 5 nights, was unexpected in view of its recent reclassification as `radio intermediate' (R$_{5 GHz}$ $\lesssim$ 25). Its particularly violent INOV is manifested by two optical outbursts lasting $\sim$ 1 hour, whose rapid brightening phase is shown to imply a doubling time of $\sim$ 1 hour for the optical synchrotron flux, after (conservatively) deducting the thermal optical emission contributed by the host galaxy and the Seyfert nucleus. A more realistic `decontamination' could well reduce substantially the flux doubling time, bringing it still closer in rapidity to the ultra-fast VHE ($>$ 100 GeV) flares reported for the blazars PKS 1222$+$216 and PKS 2155$-$304. A large contamination by thermal optical emission may, in fact, be common for NLSy1s as they are high Eddington rate accretors. The present study further suggests that superluminal motion in the radio jet could be a robust diagnostic of INOV.


title: A citation history of measurements of Newtons constant of Gravity

abstract: We created and analyzed a citation history of papers covering measurements of Newtons constant of gravity from 1686 to 2016. Interest concerning the true value of the gravitational constant was most intense in the late 90s to early 2000s and is gaining traction again in the present. Another network consisting of the same papers was created using citations from databases to display the prominence of papers on Newtons constant in the wider scientific community. In general, papers that were important in one network remained important in the other while papers that had little importance in one network remained unimportant in the other. The US contributes the most to literature on the topic both in where journals were published and where the work was done; however, many other countries, such as China, Russia, France, Germany, Switzerland, and the UK also provide many papers on Newtons G. Work done within certain countries tends to be considered more important and cited more often within that country. Recent efforts promoting international collaboration may have an impact on this trend.


title: Generalized binomial state: Nonclassical features observed through various witnesses and a measure of nonclassicality

abstract: Experimental realization of various quantum states of interest has become possible in the recent past due to the rapid developments in the field of quantum state engineering. Nonclassical properties of such states have led to various exciting applications, specifically in the area of quantum information processing. The present article aims to study lower- and higher-order nonclassical features of such an engineered quantum state (a generalized binomial state based on Abel's formula). Present study has revealed that the state studied here is highly nonclassical. Specifically, higher-order nonclassical properties of this state are reported using a set of witnesses, like higher-order antibunching, higher-order sub-Poissonian photon statistics, higher-order squeezing (both Hong Mandel type and Hillery type). A set of other witnesses for lower- and higher-order nonclassicality (e.g., Vogel's criterion and Agarwal's A parameter) have also been explored. Further, an analytic expression for the Wigner function of the generalized binomial state is reported and the same is used to witness nonclassicality and to quantify the amount of nonclassicality present in the system by computing the nonclassical volume (volume of the negative part of the Wigner function). Optical tomogram of the generalized binomial state is also computed for various conditions as Wigner function cannot be measured directly in an experiment in general, but the same can be obtained from the optical tomogram with the help of Radon transform.


title: Minimum reversion in multivariate time series

abstract: We propose a new multivariate time series model in which we assume that each component has a tendency to revert to the minimum of all components. Such a specification is useful to describe phenomena where each member in a population which is subjected to random noise mimics the behaviour of the best performing member. We show that the proposed dynamics generate co-integrated processes.We characterize the model's asymptotic properties for the case of two populations and show a stabilizing effect on long term dynamics in simulation studies. An empirical study involving human survival data in different countries provides an example which confirms the occurrence of the phenomenon of reversion to the minimum in real data.


title: Leveraging Filter Correlations for Deep Model Compression

abstract: We present a filter correlation based model compression approach for deep convolutional neural networks. Our approach iteratively identifies pairs of filters with the largest pairwise correlations and drops one of the filters from each such pair. However, instead of discarding one of the filters from each such pair na\"{i}vely, the model is re-optimized to make the filters in these pairs maximally correlated, so that discarding one of the filters from the pair results in minimal information loss. Moreover, after discarding the filters in each round, we further finetune the model to recover from the potential small loss incurred by the compression. We evaluate our proposed approach using a comprehensive set of experiments and ablation studies. Our compression method yields state-of-the-art FLOPs compression rates on various benchmarks, such as LeNet-5, VGG-16, and ResNet-50,56, while still achieving excellent predictive performance for tasks such as object detection on benchmark datasets.


title: A Polynomial Sieve and Sums of Deligne Type

abstract: Let $f\in\mathbb{Z}[T]$ be any polynomial of degree $d>1$ and $F\in\mathbb{Z}[X_{0},...,X_{n}]$ an irreducible homogeneous polynomial of degree $e>1$ such that the projective hypersurface $V(F)$ is smooth. In this paper we give a bound for \[ N(f,F,B):=|\{\textbf{x}\in\mathbb{Z}^{n+1}:\max_{0\leq i\leq n}|x_{i}|\leq B,\exists t\in\mathbb{Z}\text{ such that }f(t)=F(\textbf{x})\}|, \] To do this, we introduce a generalization of the Heath-Brown and Munshi's power sieve and we extend two results by Deligne and Katz on estimates for additive and multiplicative characters in many variables.


title: CLEAR: A Dataset for Compositional Language and Elementary Acoustic Reasoning

abstract: We introduce the task of acoustic question answering (AQA) in the area of acoustic reasoning. In this task an agent learns to answer questions on the basis of acoustic context. In order to promote research in this area, we propose a data generation paradigm adapted from CLEVR (Johnson et al. 2017). We generate acoustic scenes by leveraging a bank elementary sounds. We also provide a number of functional programs that can be used to compose questions and answers that exploit the relationships between the attributes of the elementary sounds in each scene. We provide AQA datasets of various sizes as well as the data generation code. As a preliminary experiment to validate our data, we report the accuracy of current state of the art visual question answering models when they are applied to the AQA task without modifications. Although there is a plethora of question answering tasks based on text, image or video data, to our knowledge, we are the first to propose answering questions directly on audio streams. We hope this contribution will facilitate the development of research in the area.


title: Phase Distribution Control of a Population of Oscillators

abstract: The collective behavior of biological oscillators has been recognized as an important problem for several decades, but its control has come into limelight only recently. Much of the focus for control has been on desynchronization of an oscillator population, motivated by the pathological neural synchrony present in essential and parkinsonian tremor. Other applications, such as the beating of the heart and insulin secretion, require synchronization, and recently there has been interest in forming clusters within an oscillator population as well. In this article, we use a formulation that allows us to devise control frameworks to achieve all of these distinct collective behaviors observed in biological oscillators. This is based on the Fourier decomposition of the partial differential equation governing the evolution of the phase distribution of a population of identical, uncoupled oscillators. Our first two control algorithms are Lyapunov-based, which work by decreasing a positive definite Lyapunov function towards zero. Our third control is an optimal control algorithm, which minimizes the control energy consumption while achieving the desired collective behavior of an oscillator population. Motivated by pathological neural synchrony, we apply our control to desynchronize an initially synchronized neural population. Given the proposed importance of enhancing spike time dependent plasticity to stabilize neural clusters and counteract pathological neural synchronization, we formulate the phase difference distribution in terms of the phase distribution, and prove some of its fundamental properties, and in turn apply our control to transform the neural phase distribution to form clusters. Finally, motivated by eliminating cardiac alternans, we apply our control to phase shift a synchronous cardiac pacemaker cell population.

categories: nlin.AO math.AP math.DS math.OC q-bio.PE


title: On the size of the maximum of incomplete Kloosterman sums

abstract: Let $t:\mathbb{F}_{p}\rightarrow\mathbb{C}$ be a complex valued function on $\mathbb{F}_{p}$. A classical problem in analytic number theory is to bound the maximum of the absolute value of the incomplete sum \[ M(t):=\max_{0\leq H<p}\Big|\frac{1}{\sqrt{p}}\sum_{0\leq n < H}t(n)\Big|. \] In this very general context one of the most important results is the P\'olya-Vinogradov bound \[ M(t)\leq \left\|K\right\|_{\infty}\log 3p. \] where $K:\mathbb{F}_{p}\rightarrow\mathbb{C}$ is the normalized Fourier transform of $t$. In this paper we provide a lower bound for incomplete Kloosterman sum, namely we prove that for any $\varepsilon >0$ there exists some $a\in\mathbb{F}_{p}^{\times}$ such that \[ M(e(\tfrac{ax+\overline{x}}{p}))\geq \Big(\frac{1-\varepsilon}{\sqrt{2}\pi}+o(1)\Big)\log\log p. \] Moreover we also provide some result on the growth of the moments of $\{M(e(\tfrac{ax+\overline{x}}{p}))\}_{a\in\mathbb{F}_{p}^{\times}}$.


title: Low-Dose CT via Deep CNN with Skip Connection and Network in Network

abstract: A major challenge in computed tomography (CT) is how to minimize patient radiation exposure without compromising image quality and diagnostic performance. The use of deep convolutional (Conv) neural networks for noise reduction in Low-Dose CT (LDCT) images has recently shown a great potential in this important application. In this paper, we present a highly efficient and effective neural network model for LDCT image noise reduction. Specifically, to capture local anatomical features we integrate Deep Convolutional Neural Networks (CNNs) and Skip connection layers for feature extraction. Also, we introduce parallelized $1\times 1$ CNN, called Network in Network, to lower the dimensionality of the output from the previous layer, achieving faster computational speed at less feature loss. To optimize the performance of the network, we adopt a Wasserstein generative adversarial network (WGAN) framework. Quantitative and qualitative comparisons demonstrate that our proposed network model can produce images with lower noise and more structural details than state-of-the-art noise-reduction methods.


title: Convolutional Neural Networks Deceived by Visual Illusions

abstract: Visual illusions teach us that what we see is not always what it is represented in the physical world. Its special nature make them a fascinating tool to test and validate any new vision model proposed. In general, current vision models are based on the concatenation of linear convolutions and non-linear operations. In this paper we get inspiration from the similarity of this structure with the operations present in Convolutional Neural Networks (CNNs). This motivated us to study if CNNs trained for low-level visual tasks are deceived by visual illusions. In particular, we show that CNNs trained for image denoising, image deblurring, and computational color constancy are able to replicate the human response to visual illusions, and that the extent of this replication varies with respect to variation in architecture and spatial pattern size. We believe that this CNNs behaviour appears as a by-product of the training for the low level vision tasks of denoising, color constancy or deblurring. Our work opens a new bridge between human perception and CNNs: in order to obtain CNNs that better replicate human behaviour, we may need to start aiming for them to better replicate visual illusions.


title: A nonlinear interpolatory reconstruction operator on non uniform grids

abstract: This paper is devoted to introduce the non linear reconstruction operator PPH on non uniform grids. We define this operator and we study its main properties such as reproduction of polynomials of second degree, approximation order and conditions for convexity preservation.


title: Chromatic numbers of Kneser-type graphs

abstract: Let $G(n, r, s)$ be a graph whose vertices are all $r$-element subsets of an $n$-element set, in which two vertices are adjacent if they intersect in exactly $s$ elements. In this paper we study chromatic numbers of $G(n, r, s)$ with $r, s$ being fixed constants and $n$ tending to infinity. Using a recent result of Keevash on existence of designs we deduce an inequality $\chi(G(n, r, s)) \le (1+o(1))n^{r-s} \frac{(r-s-1)!}{(2r-2s-1)!}$ for $r > s$ with $r, s$ fixed constants. This inequality gives sharp upper bounds for $r \le 2s+1$. Also we develop an elementary approach to this problem and prove that $\chi(G(n, 4, 2)) \sim \frac{n^2}{6}$ without use of Keevash's results. Some bounds on the list chromatic number of $G(n, r, s)$ are also obtained.


title: On intermediate extensions of generic extensions by a random real

abstract: The paper is the second of our series of notes aimed to bring back in circulation some bright ideas of early modern set theory, mainly due to Harrington and Sami, which have never been adequately presented in set theoretic publications. We prove that if a real $a$ is random over a model $M$ and $x\in M[a]$ is another real then either (1) $x\in M$, or (2) $M[x]=M[a]$, or (3) $M[x]$ is a random extension of $M$ and $M[a]$ is a random extension of $M[x]$. This is a less-known result of old set theoretic folklore, and, as far as we know, has never been published. As a corollary, we prove that $\Sigma^1_n$-Reduction holds for all $n\ge3$, in a model extending the constructible universe $L$ by $\aleph_1$-many random reals.


title: Destabilization of the EW vacuum in non-minimally coupled inflation

abstract: Current cosmological data favour inflationary models non-minimally coupled to gravity. In this work we study the implications of the metastability of the electroweak vacuum in this framework. We consider an inflaton field with a non-minimal coupling to Ricci curvature and a portal coupling between the Higgs field and the inflaton and find that the ratio of the two couplings is severely constrained from stability during inflation and reheating dynamics, with constraints becoming more severe for weaker non-minimal coupling as during inflation Higgs fluctuations are amplified by inflationary expansion and after inflation by parametric resonance due to an oscillating inflaton background.


title: The Multi-Regge Limit of the Eight-Particle Amplitude Beyond Leading Logarithmic Accuracy

abstract: We present the computation of the eight-particle three-loop amplitude beyond leading logarithmic accuracy in the multi-Regge limit of planar N=4 Super Yang-Mills theory. Starting from the all-loop dispersion integral form of the amplitude, we consider the eight-particle case and by analyzing said dispersion integral we associate it to a well-defined Fourier-Mellin transform. By using the properties of the Fourier-Mellin representation and its convolution product structure, we compute the three-loop eight-particle MHV amplitude at next-to-leading logarithmic accuracy. From this MHV result, we obtain the three-loop eight particle amplitude in multi-Regge kinematics for all helicity configurations, including next-to-next-to-MHV. Finally, we find that the result is described by combinations of single-valued multiple polylogarithms of uniform weight, the leading singularity structure of which corresponds to the classification shown at leading logarithmic accuracy.


title: Extended polarized semiclassical model for quantum-dot cavity QED and its application to single-photon sources

abstract: We present a simple extension of the semi-classical model for a two-level system in a cavity, in order to incorporate multiple polarized transitions, such as those appearing in neutral and charged quantum dots (QDs), and two nondegenerate linearly polarized cavity modes. We verify the model by exact quantum master equation calculations, and experimentally using a neutral QD in a polarization non-degenerate micro-cavity, in both cases we observe excellent agreement. Finally, the usefulness of this approach is demonstrated by optimizing a single-photon source based on polarization postselection, where we find an increase in the brightness for optimal polarization conditions as predicted by the model.


title: Demonstration of multi-cavity optoelectronic oscillators based on multicore fibers

abstract: We report the first experimental demonstration of multi-cavity optoelectronic oscillators where the different cavities are hosted in a single multicore fiber. Different configurations are implemented on the same 20-m 7-core fiber link, exploiting both unbalanced dual-cavity operation (loop lengths are a multiple of a reference value) and multi-cavity Vernier operation (loop lengths are slightly different).


title: Accelerating Alternating Least Squares for Tensor Decomposition by Pairwise Perturbation

abstract: The alternating least squares algorithm for CP and Tucker decomposition is dominated in cost by the tensor contractions necessary to set up the quadratic optimization subproblems. We introduce a novel family of algorithms that uses perturbative corrections to the subproblems rather than recomputing the tensor contractions. This approximation is accurate when the factor matrices are changing little across iterations, which occurs when alternating least squares approaches convergence. We provide a theoretical analysis to bound the approximation error. Our numerical experiments demonstrate that the proposed pairwise perturbation algorithms are easy to control and converge to minima that are as good as alternating least squares. The experimental results show improvements of up to 3.1X with respect to state-of-the-art alternating least squares approaches for various model tensor problems and real datasets.


title: Using stigmergy to incorporate the time into artificial neural networks

abstract: A current research trend in neurocomputing involves the design of novel artificial neural networks incorporating the concept of time into their operating model. In this paper, a novel architecture that employs stigmergy is proposed. Computational stigmergy is used to dynamically increase (or decrease) the strength of a connection, or the activation level, of an artificial neuron when stimulated (or released). This study lays down a basic framework for the derivation of a stigmergic NN with a related training algorithm. To show its potential, some pilot experiments have been reported. The XOR problem is solved by using only one single stigmergic neuron with one input and one output. A static NN, a stigmergic NN, a recurrent NN and a long short-term memory NN have been trained to solve the MNIST digits recognition benchmark.


title: Stacked Spatio-Temporal Graph Convolutional Networks for Action Segmentation

abstract: We propose novel Stacked Spatio-Temporal Graph Convolutional Networks (Stacked-STGCN) for action segmentation, i.e., predicting and localizing a sequence of actions over long videos. We extend the Spatio-Temporal Graph Convolutional Network (STGCN) originally proposed for skeleton-based action recognition to enable nodes with different characteristics (e.g., scene, actor, object, action, etc.), feature descriptors with varied lengths, and arbitrary temporal edge connections to account for large graph deformation commonly associated with complex activities. We further introduce the stacked hourglass architecture to STGCN to leverage the advantages of an encoder-decoder design for improved generalization performance and localization accuracy. We explore various descriptors such as frame-level VGG, segment-level I3D, RCNN-based object, etc. as node descriptors to enable action segmentation based on joint inference over comprehensive contextual information. We show results on CAD120 (which provides pre-computed node features and edge weights for fair performance comparison across algorithms) as well as a more complex real-world activity dataset, Charades. Our Stacked-STGCN in general achieves 4.0% performance improvement over the best reported results in F1 score on CAD120 and 1.3% in mAP on Charades using VGG features.


title: Grammar-based Representation and Identification of Dynamical Systems

abstract: In this paper we propose a novel approach to identify dynamical systems. The method estimates the model structure and the parameters of the model simultaneously, automating the critical decisions involved in identification such as model structure and complexity selection. In order to solve the combined model structure and model parameter estimation problem, a new representation of dynamical systems is proposed. The proposed representation is based on Tree Adjoining Grammar, a formalism that was developed from linguistic considerations. Using the proposed representation, the identification problem can be interpreted as a multi-objective optimization problem and we propose a Evolutionary Algorithm-based approach to solve the problem. A benchmark example is used to demonstrate the proposed approach. The results were found to be comparable to that obtained by state-of-the-art non-linear system identification methods, without making use of knowledge of the system description.


title: SNOW Revisited: Understanding When Ideal READ Transactions Are Possible

abstract: READ transactions that read data distributed across servers dominate the workloads of real-world distributed storage systems. The SNOW Theorem stated that ideal READ transactions that have optimal latency and the strongest guarantees, i.e. "SNOW" READ transactions, are impossible in one specific setting that requires three or more clients: at least two readers and one writer. However, it left many open questions. We close all of these open questions with new impossibility results and new algorithms. First, we prove rigorously the result from the The SNOW Theorem paper saying that it is impossible to have a READ transactions system that satisfies SNOW properties with three or more clients. The insight we gained from this proof led to teasing out the implicit assumptions that are required to state the results and also, resolving the open question regarding the possibility of SNOW with two clients. We show that it is possible to design an algorithm, where SNOW is possible in a multi-writer, single-reader (MWSR) setting when a client can send messages to other clients; on the other hand, we prove it is impossible to implement SNOW in a multi-writer, single-reader (MWSR) setting, which is more general than the two-client setting, when client-to-client communication is disallowed. We also correct the previous claim in The SNOW Theorem paper that incorrectly identified one existing system, Eiger, as supporting the strongest guarantees (SW) and whose read-only transactions had bounded latency. Thus, there were no previous algorithms that provided the strongest guarantees and had bounded latency. Finally, we introduce the first two algorithms to provide the strongest guarantees with bounded latency.


title: Existence, Uniqueness and Regularity of the Projection onto Differentiable Manifolds

abstract: We investigate the maximal open domain $\mathscr{E}(M)$ on which the orthogonal projection map $p$ onto a subset $M\subseteq \mathbb{R}^d$ can be defined and study essential properties of $p$. We prove that if $M$ is a $C^1$ submanifold of $\mathbb{R}^d$ satisfying a Lipschitz condition on the tangent spaces, then $\mathscr{E}(M)$ can be described by a lower semi-continuous frontier function. We show that this frontier function is continuous if $M$ is $C^2$ or if the topological skeleton of $M^c$ is closed and we provide an example showing that the frontier function need not be continuous in general. We demonstrate that, for a $C^k$-submanifold $M$ with $k\ge 2$, the projection map is $C^{k-1}$ on $\mathscr{E}(M)$, and we obtain a differentiation formula for the projection map which is used to discuss boundedness of its higher order derivatives on tubular neighborhoods. A sufficient condition for the inclusion $M\subseteq\mathscr{E}(M)$ is that $M$ is a $C^1$ submanifold whose tangent spaces satisfy a local Lipschitz condition. We prove in a new way that this condition is also necessary. More precisely, if $M$ is a topological submanifold with $M\subseteq\mathscr{E}(M)$, then $M$ must be $C^1$ and its tangent spaces satisfy the same local Lipschitz condition. A final section is devoted to highlighting some relations between $\mathscr{E}(M)$ and the topological skeleton of $M^c$.


title: The Mass-to-light Ratios and the Star Formation Histories of Disk Galaxies

abstract: We combine new data from the main sequence (M_* versus SFR) of star-forming galaxies and galaxy colors (from GALEX to Spitzer) with a flexible stellar population scheme to deduce the mass-to-light ratio (\Upsilon_*) of star-forming galaxies from the SPARC and S^4G samples. We find that the main sequence for galaxies, particular the low-mass end, combined with the locus of galaxy colors, constrains the possible star formation histories of disk and dwarf galaxies to a similar shape found by Speagle et al. (2014). Combining the deduced star formation history with stellar population models in the literature produces reliable \Upsilon_* values as a function of galaxy color with an uncertainty of only 0.05 dex. We provide prescriptions to deduce \Upsilon_* for optical and near-IR bandpasses, with near-IR bandpasses having the least uncertainty (\Upsilon_* from 0.40 to 0.55). We also provide the community with a webtool, with flexible stellar population parameters, to generate their own \Upsilon_* values over the wavelength range for most galaxy surveys.


title: Maintaining Perfect Matchings at Low Cost

abstract: The min-cost matching problem suffers from being very sensitive to small changes of the input. Even in a simple setting, e.g., when the costs come from the metric on the line, adding two nodes to the input might change the optimal solution completely. On the other hand, one expects that small changes in the input should incur only small changes on the constructed solutions, measured as the number of modified edges. We introduce a two-stage model where we study the trade-off between quality and robustness of solutions. In the first stage we are given a set of nodes in a metric space and we must compute a perfect matching. In the second stage $2k$ new nodes appear and we must adapt the solution to a perfect matching for the new instance. We say that an algorithm is $(\alpha,\beta)$-robust if the solutions constructed in both stages are $\alpha$-approximate with respect to min-cost perfect matchings, and if the number of edges deleted from the first stage matching is at most $\beta k$. Hence, $\alpha$ measures the quality of the algorithm and $\beta$ its robustness. In this setting we aim to balance both measures by deriving algorithms for constant $\alpha$ and $\beta$. We show that there exists an algorithm that is $(3,1)$-robust for any metric if one knows the number $2k$ of arriving nodes in advance. For the case that $k$ is unknown the situation is significantly more involved. We study this setting under the metric on the line and devise a $(10,2)$-robust algorithm that constructs a solution with a recursive structure that carefully balances cost and redundancy.


title: HOGWILD!-Gibbs can be PanAccurate

abstract: Asynchronous Gibbs sampling has been recently shown to be fast-mixing and an accurate method for estimating probabilities of events on a small number of variables of a graphical model satisfying Dobrushin's condition~\cite{DeSaOR16}. We investigate whether it can be used to accurately estimate expectations of functions of {\em all the variables} of the model. Under the same condition, we show that the synchronous (sequential) and asynchronous Gibbs samplers can be coupled so that the expected Hamming distance between their (multivariate) samples remains bounded by $O(\tau \log n),$ where $n$ is the number of variables in the graphical model, and $\tau$ is a measure of the asynchronicity. A similar bound holds for any constant power of the Hamming distance. Hence, the expectation of any function that is Lipschitz with respect to a power of the Hamming distance, can be estimated with a bias that grows logarithmically in $n$. Going beyond Lipschitz functions, we consider the bias arising from asynchronicity in estimating the expectation of polynomial functions of all variables in the model. Using recent concentration of measure results, we show that the bias introduced by the asynchronicity is of smaller order than the standard deviation of the function value already present in the true model. We perform experiments on a multi-processor machine to empirically illustrate our theoretical findings.


title: Visual Entailment Task for Visually-Grounded Language Learning

abstract: We introduce a new inference task - Visual Entailment (VE) - which differs from traditional Textual Entailment (TE) tasks whereby a premise is defined by an image, rather than a natural language sentence as in TE tasks. A novel dataset SNLI-VE (publicly available at https://github.com/necla-ml/SNLI-VE) is proposed for VE tasks based on the Stanford Natural Language Inference corpus and Flickr30k. We introduce a differentiable architecture called the Explainable Visual Entailment model (EVE) to tackle the VE problem. EVE and several other state-of-the-art visual question answering (VQA) based models are evaluated on the SNLI-VE dataset, facilitating grounded language understanding and providing insights on how modern VQA based models perform.


title: Nonlinear Quantum Behavior of Ultrashort-Pulse Optical Parametric Oscillators

abstract: The quantum features of ultrashort-pulse optical parametric oscillators (OPOs) are investigated theoretically in the nonlinear regime near and above threshold. Viewing the pulsed OPO as a multimode open quantum system, we rigorously derive a general input-output model that features nonlinear coupling among many cavity (i.e., system) signal modes and a broadband single-pass (i.e., reservoir) pump field. Under appropriate assumptions, our model produces a Lindblad master equation with multimode nonlinear Lindblad operators describing two-photon dissipation and a multimode four-wave-mixing Hamiltonian describing a broadband, dispersive optical cascade, which we show is required to preserve causality. To simplify the multimode complexity of the model, we employ a supermode decomposition to perform numerical simulations in the regime where the pulsed supermodes experience strong single-photon nonlinearity. We find that the quantum nonlinear dynamics induces pump depletion as well as corrections to the below-threshold squeezing spectrum predicted by linearized models. We also observe the formation of non-Gaussian states with Wigner-function negativity and show that the multimode interactions with the pump, both dissipative and dispersive, can act as effective decoherence channels. Finally, we briefly discuss some experimental considerations for potentially observing such quantum nonlinear phenomena with ultrashort-pulse OPOs on nonlinear nanophotonic platforms.


title: Dimension theory in iterated local skew power series rings

abstract: By analysing the structure of the associated graded ring with respect to certain filtrations, we deduce a number of good properties of iterated local skew power series rings over appropriate base rings. In particular, we calculate the Krull dimension, prime length and global dimension in well-behaved cases, obtaining lower bounds to complement the upper bounds obtained by Venjakob and Wang.


title: Base-Stations Up in the Air: Multi-UAV Trajectory Control for Min-Rate Maximization in Uplink C-RAN

abstract: In this paper we study the impact of unmanned aerial vehicles (UAVs) trajectories on terrestrial users' spectral efficiency (SE). Assuming a strong line of sight path to the users, the distance from all users to all UAVs influence the outcome of an online trajectory optimization. The trajectory should be designed in a way that the fairness rate is maximized over time. That means, the UAVs travel in the directions that maximize the minimum of the users' SE. From the free-space path-loss channel model, a data-rate gradient is calculated and used to direct the UAVs in a long-term perspective towards the local optimal solution on the two-dimensional spatial grid. Therefore, a control system implementation is designed. Thereby, the UAVs follow the data-rate gradient direction while having a more smooth trajectory compared with a gradient method. The system can react to changes of the user locations online; this system design captures the interaction between multiple UAV trajectories by joint processing at the central unit, e.g., a ground base station. Because of the wide spread of user locations, the UAVs end up in optimal locations widely apart from each other. Besides, the SE expectancy is enhancing continuously while moving along this trajectory.


title: Electroweak phase transition in the scotogenic model

abstract: In this work we study the behavior of the effective scalar potential at zero and finite temperature of the scotogenic model. In particular, we analyze the impact of the Yukawa couplings associated to the right--handed neutrinos on the electroweak phase transition.


title: Linearized Fields for Causal Variational Principles: Existence Theory and Causal Structure

abstract: The existence theory for solutions of the linearized field equations for causal variational principles is developed. We begin by studying the Cauchy problem locally in lens-shaped regions, defined as subsets of space-time which admit foliations by surface layers satisfying hyperbolicity conditions. We prove existence of weak solutions and show uniqueness up to vectors in the orthogonal complement of the jets used for testing. The connection between weak and strong solutions is analyzed. Global solutions are constructed by exhausting space-time by lens-shaped regions. We construct advanced and retarded Green's operators and study their properties.


title: Amplitudes in the Multi-Regge Limit of N=4 SYM

abstract: A novel way of computing high-order amplitudes in the multi-Regge limit of planar maximally supersymmetric Yang-Mills theory is presented. In this framework, we are able to obtain high-loop and high-leg results by an easy operation on known amplitudes with fewer loops and lower multiplicity. This mechanism will be reviewed, along with an ensuing factorisation which allows us to determine leading logarithmic MHV results for any number of legs at a fixed loop order.


title: Single spin asymmetry in forward $pA$ collisions: Phenomenology at RHIC

abstract: We confront the theoretical result of single spin asymmetry (SSA) $A_N$ in forward $pA$ collisions $p^\uparrow A \to hX$ including the gluon saturation effect with the recent preliminary experimental data from the PHENIX and STAR collaborations at RHIC. While we find overall reasonable agreement with the STAR data, our results indicate that the strong nuclear suppression of the asymmetry $A_N\sim A^{-1/3}$ observed by the PHENIX collaboration cannot be explained within the present understanding of this problem.


title: Response on the "Extended Comment on the Article "Consistent Development of a Beam-To-Beam Contact Algorithm via the Curve to Solid Beam Contact - Analysis for the Non-Frictional Case"

abstract: Summarizing our discussions, in the Extended Comment on the Article, that we received, we again did not find any general solution of CPP including any method of solution of inequalities either. This is rather a confirmation of the specific nature of the contact criterion and the corresponding solution plus algorithmic scheme. Surprisingly, the authors started to criticize our alternative Curve-To-Solid Beam formulation, which is based on the CPP for surfaces and not based neither on CPP for PTC, nor on CPP for CTC as a closer look should have revealed. While doing so, the aforementioned authors are apparently not fully following the logic in our paper. Thus, as an example, while criticizing our parallel curves, they claim in several places that it is not possible to construct any parallel curves with an arbitrary angle between tangent lines. However, one can easily wind a wire on a cylinder at any desired angle -- in this case the distance between the axis of a cylinder and the mid-curve of a wire will be constant -- solution is, of course, multiple excluding application of CTC algorithm. We are emphasizing in detail again the fact, that a very general criterion for the existence and uniqueness of the CPP procedure for Curve-To-Curve algorithm by no means can be derived by performing ad-hoc and not consistent mathematical operations.


title: Rigorously solvable model for the electrical conductivity of dispersions of hard-core-penetrable-shell particles and its applications

abstract: We generalize the compact group approach to conducting systems to give a self-consistent analytical solution to the problem of the effective quasistatic electrical conductivity of macroscopically homogeneous and isotropic dispersions of hard-core--penetrable-shell particles. The shells are in general inhomogeneous and characterized by a radially-symmetrical, piecewise-continuous conductivity profile. The local value of the conductivity is determined by the shortest distance from the point of interest to the nearest particle. The effective conductivity is expressed in terms of the constituents' conductivities and volume concentrations; the latter account for the statistical microstructure of the system. The theory effectively incorporates many-particle effects and is expected to be rigorous in the static limit. Using the well-tested statistical physics results for the shell volume concentration, this conclusion is backed up by mapping the theory on available 3D random resistor network simulations for hard spheres coated with fully penetrable concentric shells. Finally, the theory is shown to fit experimental data for real composite solid electrolytes. The fitting results indicate that the effect of enhanced electrical conduction is generally contributed to by several mechanisms. These are effectively taken into account through the shell conductivity profile.


title: Relative stability conditions on Fukaya categories of surfaces

abstract: It is shown that there is a useful notion of a relative Bridgeland stability condition on the partially wrapped Fukaya category of a marked surface, relative to some part of the surface's boundary. This construction has nice functorial properties, obeying cutting and gluing relations. This reduces the calculation of stability conditions on the Fukaya category of any fully stopped surface into three types of base cases. Calculations of these cases shows that every Bridgeland stability condition on such categories can be described by flat surfaces. In other words, the map constructed by Haiden-Katzarkov-Kontsevich from the moduli of flat surfaces to the stability space of the Fukaya category is a global homeomorphism when the surface is fully stopped.


title: Four Vignettes on Apparent Size

abstract: Problems in optimization and geometric probability are discussed, all connected with angles subtended at an observer's eye by an object at a distance. Several of these remain unsolved.


title: Antichiral and nematicity-wave superconductivity

abstract: Larkin-Ovchinnikov superconducting state has spontaneous modulation of Cooper pair density, while Fulde-Ferrell state has a spontaneous modulation in the phase of the order parameter. We report that a quasi-two-dimensional Dirac metal, under certain conditions has principally different inhomogeneous superconducting states that by contrast have spontaneous modulation in a submanifold of a multiple-symmetries-breaking order parameter. The first state we find can be viewed as a nematic superconductor where the nematicity vector spontaneously breaks rotational and translational symmetries due to spatial modulation. The other demonstrated state is a chiral superconductor with spontaneously broken time-reversal and translational symmetries. It is characterized by an order parameter, which forms a lattice pattern of alternating chiralities.


title: Discovery of a transient ultraluminous X-ray source in the elliptical galaxy M86

abstract: We report the discovery of the transient ultraluminous X-ray source (ULX) CXOU J122602.3+125951 (hereafter M86 tULX-1), located 3'52" (19 kpc) northwest of the centre of the giant elliptical galaxy M86 (NGC 4406) in the Virgo Cluster. The spectrum of M86 tULX-1 can be fit by a power-law plus multicolour-disc model with a 1.0 [+0.8 -2.6] index and an 0.66 [+0.17 -0.11] keV inner-disc temperature, or by a power law with a 1.86 +/- 0.10 index. For an isotropically emitting source at the distance of M86, the luminosity based on the superposition of spectral models is (5 +/- 1) x 10^39 erg/s. Its relatively hard spectrum places M86 tULX-1 in a hitherto unpopulated region in the luminosity-disc temperature diagram, between other ULXs and the (sub-Eddington) black-hole X-ray binaries. We discovered M86 tULX-1 in an archival 148-ks 2013 July Chandra observation, and it was not detected in a 20-ks 2016 May Chandra observation, meaning it faded by a factor of at least 30 in three years. Based on our analysis of deep optical imaging of M86, it is probably not located in a globular cluster. It is the brightest ULX found in an old field environment unaffected by recent galaxy interaction. We conclude that M86 tULX-1 may be a stellar-mass black hole of ~30 - 100 M_Sun with a low-mass giant companion, or a transitional object in a state between the normal stellar-mass black holes and the ultraluminous state.


title: Dark Energy Survey Year 1: An independent E/B-mode cosmic shear analysis

abstract: We present an independent cosmic shear analysis of the non-cosmological B-mode distortions within the public first year data from the Dark Energy Survey (DES). We find no significant detection of B-modes in a full tomographic analysis of the primary METACALIBRATION shear catalogue. This is in contrast to the secondary IM3SHAPE shear catalogue, where we detect B- modes at a significance of $\sim 3\sigma$ with a pattern that is consistent with the B-mode signature of a repeating additive shear bias across the survey. We use the COSEBIs statistic to cleanly separate the B-modes from the gravitational lensing signal (E-modes). We find good agreement between the measured E-modes and their theoretical expectation given the DES cosmological parameter constraints.


title: GAN Dissection: Visualizing and Understanding Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) have recently achieved impressive results for many real-world applications, and many GAN variants have emerged with improvements in sample quality and training stability. However, they have not been well visualized or understood. How does a GAN represent our visual world internally? What causes the artifacts in GAN results? How do architectural choices affect GAN learning? Answering such questions could enable us to develop new insights and better models. In this work, we present an analytic framework to visualize and understand GANs at the unit-, object-, and scene-level. We first identify a group of interpretable units that are closely related to object concepts using a segmentation-based network dissection method. Then, we quantify the causal effect of interpretable units by measuring the ability of interventions to control objects in the output. We examine the contextual relationship between these units and their surroundings by inserting the discovered object concepts into new images. We show several practical applications enabled by our framework, from comparing internal representations across different layers, models, and datasets, to improving GANs by locating and removing artifact-causing units, to interactively manipulating objects in a scene. We provide open source interpretation tools to help researchers and practitioners better understand their GAN models.


title: Regularization issues for a cold and dense quark matter model in $\beta-$equilibrium

abstract: A regularization scheme that explicitly separates vacuum contributions from medium effects is applied to a Nambu--Jona-Lasinio model with diquark interactions and in $\beta-$equilibrium. We perform a comparison of this proposed scheme with the more traditional one, where no separation of vacuum and medium effects is done. Our results point to both qualitative and quantitative important differences between these two methods, in special regarding the phase structure of the model in the cold and dense nuclear matter case.