title: JVLA Observations of IC342: Probing Star Formation in the Nucleus

abstract: IC342 is a nearby, late-type spiral galaxy with a young nuclear star cluster surrounded by several giant molecular clouds. The IC342 nuclear region is similar to the Milky Way and therefore provides an interesting comparison. We explore star formation in the nucleus using radio recombination line (RRL) and continuum emission at 5, 6.7, 33, and 35 GHz with the JVLA. These radio tracers are largely unaffected by dust and therefore sensitive to all of the thermal emission from the ionized gas produced by early-type stars. We resolve two components in the RRL and continuum emission within the nuclear region that lie east and west of the central star cluster. These components are associated both spatially and kinematically with two giant molecular clouds. We model these regions in two ways: a simple model consisting of uniform gas radiating in spontaneous emission, or as a collection of many compact HII regions in non-LTE. The multiple HII region model provides a better fit to the data and predicts many dense (ne ~ 10^4-10^5 cm-3), compact (< 0.1 pc) HII regions. For the whole nuclear region as defined by RRL emission, we estimate a hydrogen ionizing rate of NL ~ 2 x 10^{52} s^{-1}, corresponding to equivalent ~ 2000 O6 stars and a star formation rate of ~ 0.15 Msun/year. We detect radio continuum emission west of the southern molecular mini spiral arm, consistent with trailing spiral arms.


title: Cycle index sum for non-k-equal configurations

abstract: We compute the cycle index sum of the symmetric group action on the homology of the configuration spaces of points in a Euclidean space with the condition that no $k$ of them are equal.


title: A fundamental theorem for submanifolds in semi-Riemannian warped products

abstract: In this paper we find necessary and sufficient conditions for a nondegenerate arbitrary signature manifold $M^n$ to be realized as a submanifold in the large class of warped product manifolds $\varepsilon I\times_a\mathbb{M}^{N}_{\lambda}(c)$, where $\varepsilon=\pm 1,\ a:I\subset\mathbb{R}\to\mathbb{R}^+$ is the scale factor and $\mathbb{M}^{N}_{\lambda}(c)$ is the $N$-dimensional semi-Riemannian space form of index $\lambda$ and constant curvature $c\in\{-1,1\}.$ We prove that if $M^n$ satisfies Gauss, Codazzi and Ricci equations for a submanifold in $\varepsilon I\times_a\mathbb{M}^{N}_{\lambda}(c)$, along with some additional conditions, then $M^n$ can be isometrically immersed into $\varepsilon I\times_a\mathbb{M}^{N}_{\lambda}(c)$. This comprises the case of hypersurfaces immersed in semi-Riemannian warped products proved by M.A. Lawn and M. Ortega (see [6]), which is an extension of the isometric immersion result obtained by J. Roth in the Lorentzian products $\mathbb{S}^n\times\mathbb{R}_1$ and $\mathbb{H}^n\times\mathbb{R}_1$ (see [12]), where $\mathbb{S}^n$ and $\mathbb{H}^n$ stand for the sphere and hyperbolic space of dimension $n$, respectively. This last result, in turn, is an expansion to pseudo-Riemannian manifolds of the isometric immersion result proved by B. Daniel in $\mathbb{S}^n\times\mathbb{R}$ and $\mathbb{H}^n\times\mathbb{R}$ (see [2]), one of the first generalizations of the classical theorem for submanifolds in space forms (see [13]). Although additional conditions to Gauss, Codazzi and Ricci equations are not necessary in the classical theorem for submanifolds in space forms, they appear in all other cases cited above.


title: A note on entanglement edge modes in Chern Simons theory

abstract: We elaborate on the extended Hilbert space factorization of Chern Simons theory and show how this arises naturally from a proper regularization of the entangling surface in the Euclidean path integral. The regularization amounts to stretching the entangling surface into a co-dimension one surface which hosts edge modes of the Chern Simons theory when quantized on a spatial subregion. The factorized state is a regularized Ishibashi state and reproduces the well known topological entanglement entropies. We illustrate how the same factorization arises from the glueing of two spatial subregions via the entangling product defined by Donnelly and Freidel.

categories: hep-th cond-mat.str-el math-ph math.MP quant-ph


title: Isospin breaking from diquark clustering

abstract: Although SU(2) isospin symmetry is generally assumed in the basic theory of the strong interaction, a number of significant violations have been observed in scattering and bound states of nucleons. Many of these violations can be attributed to the electromagnetic interaction but the question of how much of the violation is due to it remains open. A schematic model based on clustering of quarks in the interior of the confinement region of the two-nucleon system is introduced and evaluated. In this model the Coulomb interaction is the source of all isospin breaking. It draws on a picture of the quark density based on the diquark-quark model of hadron structure which has been investigated by a number of groups. The model produces three isospin breaking potentials connecting This illustrative model suggests that the breaking seen in the low-energy NN interaction may be understood in terms of the Coulomb force between members of diquark clusters. It allows the prediction of the charge symmetry breaking interaction and the $nn$ scattering length from the well measured $np$ singlet scattering length. Values of the $nn$ scattering length around $-18$ fm are favored. Since the model is based on the quark picture, it can be easily extended, in the SU(3) limit, to calculate isospin breaking in the strange sector in the corresponding channels. A natural consequence of isospin breaking from diquark clustering is that the breaking in the strange sector, as measured by the separation energy difference between $_{\Lambda}^4$H and $_{\Lambda}^4$He, is several times larger than that seen in the comparison of three-nucleon mirror nuclei as observed experimentally.


title: Weak convergence of quantile and expectile processes under general assumptions

abstract: We show weak convergence of quantile and expectile processes to Gaussian limit processes in the space of bounded functions endowed with an appropriate semimetric which is based on the concepts of epi- and hypo convergence as introduced in \citet{buecher2014}. We impose assumptions for which it is known that weak convergence with respect to the supremum norm or the Skorodhod metric generally fails to hold. For expectiles, we only require a distribution with finite second moment but no further smoothness properties of distribution function, for quantiles, the distribution is assumed to be absolutely continuous with a version of its Lebesgue density which is strictly positive and has left- and right-sided limits. We also show consistency of the bootstrap for this mode of convergence.


title: Electrokinetic Control of Viscous Fingering

abstract: We present a theory of the interfacial stability of two immiscible electrolytes under the coupled action of pressure gradients and electric fields in a Hele-Shaw cell or porous medium. Mathematically, our theory describes a phenomenon of "Vector Laplacian Growth", in which the interface moves in response to the gradient of a vector-valued potential function through a generalized mobility tensor. Physically, we extend classical Saffman-Taylor problem to electrolytes by incorporating electrokinetic phenomena. A surprising prediction is that viscous fingering can be controlled by varying the injection ratio of electric current to flow rate. Beyond a critical injection ratio, stability depends only upon the relative direction of flow and current, regardless of the viscosity ratio. Possible applications include porous materials processing, electrically enhanced oil recovery, and electrokinetic remediation of contaminated soils.


title: Temperature-dependent Gilbert damping of Co2FeAl thin films with different degree of atomic order

abstract: Half-metallicity and low magnetic damping are perpetually sought for in spintronics materials and full Heusler alloys in this respect provide outstanding properties. However, it is challenging to obtain the well-ordered half-metallic phase in as-deposited full Heusler alloys thin films and theory has struggled to establish a fundamentals understanding of the temperature dependent Gilbert damping in these systems. Here we present a study of the temperature dependent Gilbert damping of differently ordered as-deposited Co2FeAl full Heusler alloy thin films. The sum of inter- and intraband electron scattering in conjunction with the finite electron lifetime in Bloch states govern the Gilbert damping for the well-ordered phase in contrast to the damping of partially-ordered and disordered phases which is governed by interband electronic scattering alone. These results, especially the ultralow room temperature intrinsic damping observed for the well-ordered phase provide new fundamental insights to the physical origin of the Gilbert damping in full Heusler alloy thin films.


title: Feature Enhancement in Visually Impaired Images

abstract: One of the major open problems in computer vision is detection of features in visually impaired images. In this paper, we describe a potential solution using Phase Stretch Transform, a new computational approach for image analysis, edge detection and resolution enhancement that is inspired by the physics of the photonic time stretch technique. We mathematically derive the intrinsic nonlinear transfer function and demonstrate how it leads to (1) superior performance at low contrast levels and (2) a reconfigurable operator for hyper-dimensional classification. We prove that the Phase Stretch Transform equalizes the input image brightness across the range of intensities resulting in a high dynamic range in visually impaired images. We also show further improvement in the dynamic range by combining our method with the conventional techniques. Finally, our results show a method for computation of mathematical derivatives via group delay dispersion operations.


title: Topology of Black Hole Binary-Single Interactions

abstract: We present a study on how the outcomes of co-planar binary-single black hole (BH) interactions distribute as a function of the orbital initial conditions. We refer to this distribution as the topology. Using an $N$-body code that includes BH finite sizes and gravitational wave (GW) emission in the equation-of-motion (EOM), we perform more than a million three-body scatterings to explore the topology of both the classical and the relativistic limit. We further describe how the inclusion of GW emission in the EOM naturally leads to scenarios where the binary-single system undergoes two successive GW mergers. The time span from the first to the second GW merger is shortest in co-planar interactions, and are for some configurations even short enough for LIGO to observe both events. We note that co-planar interactions could be frequent in environments such as active galactic nuclei discs.


title: Dust emission at 8-mic and 24-mic as Diagnostics of HII Region Radiative Transfer

abstract: We use the Spitzer SAGE survey of the Magellanic Clouds to evaluate the relationship between the 8-mic PAH emission, 24-mic hot dust emission, and HII region radiative transfer. We confirm that in the higher-metallicity Large Magellanic Cloud, PAH destruction is sensitive to optically thin conditions in the nebular Lyman continuum: objects identified as optically thin candidates based on nebular ionization structure show 6 times lower median 8-mic surface brightness (0.18 mJy arcsec^-2) than their optically thick counterparts (1.2 mJy arcsec^-2). The 24-mic surface brightness also shows a factor of 3 offset between the two classes of objects (0.13 vs 0.44 mJy arcsec^-2, respectively), which is driven by the association between the very small dust grains and higher density gas found at higher nebular optical depths. In contrast, PAH and dust formation in the low-metallicity Small Magellanic Cloud is strongly inhibited such that we find no variation in either 8-mic or 24-mic emission between our optically thick and thin samples. This is attributable to extremely low PAH and dust production together with high, corrosive UV photon fluxes in this low-metallicity environment. The dust mass surface densities and gas-to-dust ratios determined from dust maps using Herschel HERITAGE survey data support this interpretation.


title: Remarks on NIP in a model

abstract: We define the notion $\phi(x,y)$ has $NIP$ in $A$, where $A$ is a subset of a model, and give some equivalences by translating results from [1]. Using additional material from [11] we discuss the number of coheirs when $A$ is not necessarily countable. We also revisit the notion "$\phi(x,y)$ has $NOP$ in a model $M$" from [8].


title: Very Deep Inside the SN 1987A Core Ejecta: Molecular Structures Seen in 3D

abstract: Most massive stars end their lives in core-collapse supernova explosions and enrich the interstellar medium with explosively nucleosynthesized elements. Following core collapse, the explosion is subject to instabilities as the shock propagates outwards through the progenitor star. Observations of the composition and structure of the innermost regions of a core-collapse supernova provide a direct probe of the instabilities and nucleosynthetic products. SN 1987A in the Large Magellanic Cloud (LMC) is one of very few supernovae for which the inner ejecta can be spatially resolved but are not yet strongly affected by interaction with the surroundings. Our observations of SN 1987A with the Atacama Large Millimeter/submillimeter Array (ALMA) are of the highest resolution to date and reveal the detailed morphology of cold molecular gas in the innermost regions of the remnant. The 3D distributions of carbon and silicon monoxide (CO and SiO) emission differ, but both have a central deficit, or torus-like distribution, possibly a result of radioactive heating during the first weeks ("nickel heating"). The size scales of the clumpy distribution are compared quantitatively to models, demonstrating how progenitor and explosion physics can be constrained.


title: Continuity of the Green function in meromorphic families of polynomials

abstract: We prove that along any marked point the Green function of a meromorphic family of polynomials parameterized by the punctured unit disk explodes exponentially fast near the origin with a continuous error term.


title: Gene Hunting with Knockoffs for Hidden Markov Models

abstract: Modern scientific studies often require the identification of a subset of relevant explanatory variables, in the attempt to understand an interesting phenomenon. Several statistical methods have been developed to automate this task, but only recently has the framework of model-free knockoffs proposed a general solution that can perform variable selection under rigorous type-I error control, without relying on strong modeling assumptions. In this paper, we extend the methodology of model-free knockoffs to a rich family of problems where the distribution of the covariates can be described by a hidden Markov model (HMM). We develop an exact and efficient algorithm to sample knockoff copies of an HMM. We then argue that combined with the knockoffs selective framework, they provide a natural and powerful tool for performing principled inference in genome-wide association studies with guaranteed FDR control. Finally, we apply our methodology to several datasets aimed at studying the Crohn's disease and several continuous phenotypes, e.g. levels of cholesterol.


title: Flare activity and photospheric analysis of Proxima Centauri

abstract: We present the analysis of emission lines in high-resolution optical spectra of the planet-host star Proxima Centauri (Proxima) classified as a M5.5V\@. We carry out the detailed analysis of observed spectra to get a better understanding of the physical conditions of the atmosphere of this star. We identify the emission lines in a serie series of 147 high-resolution optical spectra of the star at different levels of activity and compare them with the synthetic spectra computed over a wide spectral range. Our synthetic spectra computed with the PHOENIX 2900/5.0/0.0 model atmosphere fits pretty well the observed optical-to-near-infrared spectral energy distribution. However, modelling strong atomic lines in the blue spectrum (3900--4200\AA{}) requires implementing additional opacity. We show that high temperature layers in Proxima Centauri consist in at least three emitting parts: a) a stellar chromosphere where numerous emission lines form. We suggest that some emission cores of strong absorption lines of metals form there; b) flare regions above the chromosphere, where hydrogen Balmer lines up to high transition levels (10--2) form; c) a stellar wind component with V${r}$\,=\,$-$30 \kmps{} seen in some Balmer lines as blue shifted emission lines. We believe that the observed He line at 4026\AA{} in emission can be formed in that very hot region. We show, that real structure of the atmosphere of Proxima is rather complicated. The photosphere of the star is best fit by a normal M5 dwarf spectrum. On the other hand emission lines form in the chromosphere, flare regions and extended hot envelope.


title: Auroral Radio Emission from Ultracool Dwarfs: a Jovian Model

abstract: A number of fast-rotating ultra cool dwarfs (UCDs) emit pulsed coherent radiation, attributed to the electron cyclotron maser instability, a phenomenon that occurs in the solar system at planets with strong auroral emission. In this paper we examine magnetosphere-ionosphere coupling currents in UCDs, adopting processes used in models of Jovian emission. We consider the angular velocity gradient arising from a steady outward flux of angular momentum from an internal plasma source, as analogous to the jovian main oval current system, as well as the interaction of a rotating magnetosphere with the external medium. Both of these mechanisms are seen in the solar system to be responsible for the production of radio emission. We present the results of an investigation over a range of relevant plasma and magnetosphere-ionosphere coupling parameters to determine regimes consistent with observed UCD radio luminosities. Both processes are able to explain observed UCD luminosities with ionospheric Pedersen conductances of ~1-2 mho, either for a closed magnetosphere with a plasma mass outflow rate of ~10$^5$ kg/s, i.e. a factor of ~100 larger than that observed at Jupiter's moon Io, or for a dwarf with an open magnetosphere moving through the interstellar medium at ~50 km/s and a plasma mass outflow rate of ~1000 kg/s. The radio luminosity resulting from these mechanisms have opposing dependencies on the magnetic field strength, a point which may be used to discriminate between the two models as more data become available.


title: Accelerated Extra-Gradient Descent: A Novel Accelerated First-Order Method

abstract: We provide a novel accelerated first-order method that achieves the asymptotically optimal convergence rate for smooth functions in the first-order oracle model. To this day, Nesterov's Accelerated Gradient Descent (AGD) and variations thereof were the only methods achieving acceleration in this standard blackbox model. In contrast, our algorithm is significantly different from AGD, as it relies on a predictor-corrector approach similar to that used by Mirror-Prox [Nemirovski, 2004] and Extra-Gradient Descent [Korpelevich, 1977] in the solution of convex-concave saddle point problems. For this reason, we dub our algorithm Accelerated Extra-Gradient Descent (AXGD). Its construction is motivated by the discretization of an accelerated continuous-time dynamics [Krichene et al., 2015] using the classical method of implicit Euler discretization. Our analysis explicitly shows the effects of discretization through a conceptually novel primal-dual viewpoint. Moreover, we show that the method is quite general: it attains optimal convergence rates for other classes of objectives (e.g., those with generalized smoothness properties or that are non-smooth and Lipschitz-continuous) using the appropriate choices of step lengths. Finally, we present experiments showing that our algorithm matches the performance of Nesterov's method, while appearing more robust to noise in some cases.


title: Locating the Gribov horizon

abstract: We explore whether a tree-level expression for the gluon two-point function, supposed to express effects of an horizon term introduced to eliminate the Gribov ambiguity, is consistent with the propagator obtained in simulations of lattice-regularised quantum chromodynamics (QCD). In doing so, we insist that the gluon two-point function obey constraints that ensure a minimal level of consistency with parton-like behaviour at ultraviolet momenta. In consequence, we are led to a position which supports a conjecture that the gluon mass and horizon scale are equivalent emergent mass-scales, each with a value of roughly $0.5\,$GeV; and wherefrom it appears plausible that the dynamical generation of a running gluon mass may alone be sufficient to remove the Gribov ambiguity.


title: Relevance of Tidal Heating on Large TNOs

abstract: We examine the relevance of tidal heating for large Trans-Neptunian Objects, with a focus on its potential to melt and maintain layers of subsurface liquid water. Depending on their past orbital evolution, tidal heating may be an important part of the heat budget for a number of discovered and hypothetical TNO systems and may enable formation of, and increased access to, subsurface liquid water. Tidal heating induced by the process of despinning is found to be particularly able to compete with heating due to radionuclide decay in a number of different scenarios. In cases where radiogenic heating alone may establish subsurface conditions for liquid water, we focus on the extent by which tidal activity lifts the depth of such conditions closer to the surface. While it is common for strong tidal heating and long lived tides to be mutually exclusive, we find this is not always the case, and highlight when these two traits occur together.


title: Charged Boundary States in the Schwinger Model

abstract: QED in 1+1 dimensions possesses two rare and interesting properties - It is both exactly solvable and confining. The combination of these two properties makes it the perfect candidate for a toy model for QCD. We study this model on an interval, where new features of the theory are revealed. We show that on an interval, the model admits charged states, which is unexpected for a confining theory. We show that the charged states are boundary states, and calculate their mass. This result could lead one to expect a similar result in QCD, where single quarks could be isolated near a boundary.


title: Bi-Orthogonal Approach to Non-Hermitian Hamiltonians with the Oscillator Spectrum: Generalized Coherent States for Nonlinear Algebras

abstract: A set of Hamiltonians that are not self-adjoint but have the spectrum of the harmonic oscillator is studied. The eigenvectors of these operators and those of their Hermitian conjugates form a bi-orthogonal system that provides a mathematical procedure to satisfy the superposition principle. In this form the non-Hermitian oscillators can be studied in much the same way as in the Hermitian approaches. Two different nonlinear algebras generated by properly constructed ladder operators are found and the corresponding generalized coherent states are obtained. The non-Hermitian oscillators can be steered to the conventional one by the appropriate selection of parameters. In such limit, the generators of the nonlinear algebras converge to generalized ladder operators that would represent either intensity-dependent interactions or multi-photon processes if the oscillator is associated with single mode photon fields in nonlinear media.


title: A Modularized Efficient Framework for Non-Markov Time Series Estimation

abstract: We present a compartmentalized approach to finding the maximum a-posteriori (MAP) estimate of a latent time series that obeys a dynamic stochastic model and is observed through noisy measurements. We specifically consider modern signal processing problems with non-Markov signal dynamics (e.g. group sparsity) and/or non-Gaussian measurement models (e.g. point process observation models used in neuroscience). Through the use of auxiliary variables in the MAP estimation problem, we show that a consensus formulation of the alternating direction method of multipliers (ADMM) enables iteratively computing separate estimates based on the likelihood and prior and subsequently "averaging" them in an appropriate sense using a Kalman smoother. As such, this can be applied to a broad class of problem settings and only requires modular adjustments when interchanging various aspects of the statistical model. Under broad log-concavity assumptions, we show that the separate estimation problems are convex optimization problems and that the iterative algorithm converges to the MAP estimate. As such, this framework can capture non-Markov latent time series models and non-Gaussian measurement models. We provide example applications involving (i) group-sparsity priors, within the context of electrophysiologic specrotemporal estimation, and (ii) non-Gaussian measurement models, within the context of dynamic analyses of learning with neural spiking and behavioral observations.


title: Dust Ablation on the Giant Planets: Consequences for Stratospheric Photochemistry

abstract: Ablation of interplanetary dust supplies oxygen to the upper atmospheres of Jupiter, Saturn, Uranus, and Neptune. Using recent dynamical model predictions for the dust influx rates to the giant planets (Poppe, A.R.~et al.~[2016], Icarus 264, 369), we calculate the ablation profiles and investigate the subsequent coupled oxygen-hydrocarbon neutral photochemistry in the stratospheres of these planets. We find that dust grains from the Edgeworth-Kuiper Belt, Jupiter-family comets, and Oort-cloud comets supply an effective oxygen influx rate of 1.0$^{+2.2}_{-0.7} \, \times \, 10^7$ O atoms cm$^{-2}$ s$^{-1}$ to Jupiter, 7.4$^{+16}_{-5.1} \, \times 10^4$ cm$^{-2}$ s$^{-1}$ to Saturn, 8.9$^{+19}_{-6.1} \, \times \, 10^4$ cm$^{-2}$ s$^{-1}$ to Uranus, and 7.5$^{+16}_{-5.1} \, \times \, 10^5$ cm$^{-2}$ s$^{-1}$ to Neptune. The fate of the ablated oxygen depends in part on the molecular/atomic form of the initially delivered products, and on the altitude at which it was deposited. The dominant stratospheric products are CO, H$_2$O, and CO$_2$, which are relatively stable photochemically. Model-data comparisons suggest that interplanetary dust grains deliver an important component of the external oxygen to Jupiter and Uranus but fall far short of the amount needed to explain the CO abundance currently seen in the middle stratospheres of Saturn and Neptune. Our results are consistent with the theory that all of the giant planets have experienced large cometary impacts within the last few hundred years. Our results also suggest that the low background H$_2$O abundance in Jupiter's stratosphere is indicative of effective conversion of meteoric oxygen to CO during or immediately after the ablation process -- photochemistry alone cannot efficiently convert the H$_2$O into CO on the giant planets.


title: A Practical Method for Solving Contextual Bandit Problems Using Decision Trees

abstract: Many efficient algorithms with strong theoretical guarantees have been proposed for the contextual multi-armed bandit problem. However, applying these algorithms in practice can be difficult because they require domain expertise to build appropriate features and to tune their parameters. We propose a new method for the contextual bandit problem that is simple, practical, and can be applied with little or no domain expertise. Our algorithm relies on decision trees to model the context-reward relationship. Decision trees are non-parametric, interpretable, and work well without hand-crafted features. To guide the exploration-exploitation trade-off, we use a bootstrapping approach which abstracts Thompson sampling to non-Bayesian settings. We also discuss several computational heuristics and demonstrate the performance of our method on several datasets.


title: Diffusion quantum Monte Carlo study of excitonic complexes in two-dimensional transition-metal dichalcogenides

abstract: Excitonic effects play a particularly important role in the optoelectronic behavior of two-dimensional semiconductors. To facilitate the interpretation of experimental photoabsorption and photoluminescence spectra we provide (i) statistically exact diffusion quantum Monte Carlo binding-energy data for a Mott-Wannier model of (donor/acceptor-bound) excitons, trions, and biexcitons in two-dimensional semiconductors in which charges interact via the Keldysh potential, (ii) contact pair-distribution functions to allow a perturbative description of contact interactions between charge carriers, and (iii) an analysis and classification of the different types of bright trion and biexciton that can be seen in single-layer molybdenum and tungsten dichalcogenides. We investigate the stability of biexcitons in which two charge carriers are indistinguishable, finding that they are only bound when the indistinguishable particles are several times heavier than the distinguishable ones. Donor/acceptor-bound biexcitons have similar binding energies to the experimentally measured biexciton binding energies. We predict the relative positions of all stable free and bound excitonic complexes of distinguishable charge carriers in the photoluminescence spectra of WSe$_2$ and MoSe$_2$.


title: Direct measurements of DOCO isomers in the kinetics of OD+CO

abstract: Quantitative and mechanistically-detailed kinetics of the reaction of hydroxyl radical (OH) with carbon monoxide (CO) have been a longstanding goal of contemporary chemical kinetics. This fundamental prototype reaction plays an important role in atmospheric and combustion chemistry, motivating studies for accurate determination of the reaction rate coefficient and its pressure and temperature dependence at thermal reaction conditions. This intricate dependence can be traced directly to details of the underlying dynamics (formation, isomerization, and dissociation) involving the reactive intermediates cis- and trans-HOCO, which can only be observed transiently. Using time-resolved frequency comb spectroscopy, comprehensive mechanistic elucidation of the kinetics of the isotopic analogue deuteroxyl radical (OD) with CO has been realized. By monitoring the concentrations of reactants, intermediates, and products in real-time, the branching and isomerization kinetics and absolute yields of all species in the OD+CO reaction are quantified as a function of pressure and collision partner.


title: Adaptive Feature Selection: Computationally Efficient Online Sparse Linear Regression under RIP

abstract: Online sparse linear regression is an online problem where an algorithm repeatedly chooses a subset of coordinates to observe in an adversarially chosen feature vector, makes a real-valued prediction, receives the true label, and incurs the squared loss. The goal is to design an online learning algorithm with sublinear regret to the best sparse linear predictor in hindsight. Without any assumptions, this problem is known to be computationally intractable. In this paper, we make the assumption that data matrix satisfies restricted isometry property, and show that this assumption leads to computationally efficient algorithms with sublinear regret for two variants of the problem. In the first variant, the true label is generated according to a sparse linear model with additive Gaussian noise. In the second, the true label is chosen adversarially.


title: The algebraic and topological K-theory of the Hilbert Modular Group

abstract: In this paper we provide descriptions of the Whitehead groups with coefficients in a ring of the Hilbert modular group and its reduced version, as well as for the topological K-theory of $C^*$-algebras, after tensoring with $\mathbb{Q}$, by computing the source of the assembly maps in the Farrell-Jones and the Baum-Connes conjecture respectively. We also construct a model for the classifying space of the Hilbert modular group for the family of virtually cyclic subgroups.


title: Bias and high-dimensional adjustment in observational studies of peer effects

abstract: Peer effects, in which the behavior of an individual is affected by the behavior of their peers, are posited by multiple theories in the social sciences. Other processes can also produce behaviors that are correlated in networks and groups, thereby generating debate about the credibility of observational (i.e. nonexperimental) studies of peer effects. Randomized field experiments that identify peer effects, however, are often expensive or infeasible. Thus, many studies of peer effects use observational data, and prior evaluations of causal inference methods for adjusting observational data to estimate peer effects have lacked an experimental "gold standard" for comparison. Here we show, in the context of information and media diffusion on Facebook, that high-dimensional adjustment of a nonexperimental control group (677 million observations) using propensity score models produces estimates of peer effects statistically indistinguishable from those from using a large randomized experiment (220 million observations). Naive observational estimators overstate peer effects by 320% and commonly used variables (e.g., demographics) offer little bias reduction, but adjusting for a measure of prior behaviors closely related to the focal behavior reduces bias by 91%. High-dimensional models adjusting for over 3,700 past behaviors provide additional bias reduction, such that the full model reduces bias by over 97%. This experimental evaluation demonstrates that detailed records of individuals' past behavior can improve studies of social influence, information diffusion, and imitation; these results are encouraging for the credibility of some studies but also cautionary for studies of rare or new behaviors. More generally, these results show how large, high-dimensional data sets and statistical learning techniques can be used to improve causal inference in the behavioral sciences.


title: Commutativity in double interchange semigroups

abstract: We extend the work of Kock (2007) and Bremner & Madariaga (2016) on commutativity in double interchange semigroups (DIS) to relations with 10 arguments. Our methods involve the free symmetric operad generated by two binary operations with no symmetry, its quotient by the two associative laws, its quotient by the interchange law, and its quotient by all three laws. We also consider the geometric realization of free double interchange magmas by rectangular partitions of the unit square $I^2$. We define morphisms between these operads which allow us to represent elements of free DIS both algebraically as tree monomials and geometrically as rectangular partitions. With these morphisms we reason diagrammatically about free DIS and prove our new commutativity relations.


title: Planning with Verbal Communication for Human-Robot Collaboration

abstract: Human collaborators coordinate effectively their actions through both verbal and non-verbal communication. We believe that the the same should hold for human-robot teams. We propose a formalism that enables a robot to decide optimally between doing a task and issuing an utterance. We focus on two types of utterances: verbal commands, where the robot expresses how it wants its human teammate to behave, and state-conveying actions, where the robot explains why it is behaving this way. Human subject experiments show that enabling the robot to issue verbal commands is the most effective form of communicating objectives, while retaining user trust in the robot. Communicating why information should be done judiciously, since many participants questioned the truthfulness of the robot statements.


title: A New Adaptive Video Super-Resolution Algorithm With Improved Robustness to Innovations

abstract: In this paper, a new video super-resolution reconstruction (SRR) method with improved robustness to outliers is proposed. Although the R-LMS is one of the SRR algorithms with the best reconstruction quality for its computational cost, and is naturally robust to registration inaccuracies, its performance is known to degrade severely in the presence of innovation outliers. By studying the proximal point cost function representation of the R-LMS iterative equation, a better understanding of its performance under different situations is attained. Using statistical properties of typical innovation outliers, a new cost function is then proposed and two new algorithms are derived, which present improved robustness to outliers while maintaining computational costs comparable to that of R-LMS. Monte Carlo simulation results illustrate that the proposed method outperforms the traditional and regularized versions of LMS, and is competitive with state-of-the-art SRR methods at a much smaller computational cost.


title: Rotation symmetry breaking in La2-xSrxCuO4 revealed by ARPES

abstract: Using angle-resolved photoemission spectroscopy it is revealed that in the vicinity of optimal doping the electronic structure of La2-xSrxCuO4 cuprate undergoes an electronic reconstruction associated with a wave vector q_a=(pi, 0). The reconstructed Fermi surface and folded band are distinct to the shadow bands observed in BSCCO cuprates and in underdoped La2-xSrxCuO4 with x <= 0.12, which shift the primary band along the zone diagonal direction. Furthermore the folded bands appear only with q_a=(pi, 0) vector, but not with q_b= (0, pi). We demonstrate that the absence of q_b reconstruction is not due to the matrix-element effects in the photoemission process, which indicates the four-fold symmetry is broken in the system.


title: Exactly Solvable Time-Dependent Oscillator-Like Potentials Generated by Darboux Transformations

abstract: The stationary Schroedinger equation of the harmonic oscillator is deformed by a Darboux transformation to construct time-dependent potentials with the oscillator profile. The Darboux (supersymmetric or factorization) method is usually developed in the spatial variables of the Schroedinger equation. Here we follow a variation introduced by Bagrov, Samsonov and Shekoyan to include the time-variable as a parameter of the transformation.


title: Gradient Descent for Spiking Neural Networks

abstract: Much of studies on neural computation are based on network models of static neurons that produce analog output, despite the fact that information processing in the brain is predominantly carried out by dynamic neurons that produce discrete pulses called spikes. Research in spike-based computation has been impeded by the lack of efficient supervised learning algorithm for spiking networks. Here, we present a gradient descent method for optimizing spiking network models by introducing a differentiable formulation of spiking networks and deriving the exact gradient calculation. For demonstration, we trained recurrent spiking networks on two dynamic tasks: one that requires optimizing fast (~millisecond) spike-based interactions for efficient encoding of information, and a delayed memory XOR task over extended duration (~second). The results show that our method indeed optimizes the spiking network dynamics on the time scale of individual spikes as well as behavioral time scales. In conclusion, our result offers a general purpose supervised learning algorithm for spiking neural networks, thus advancing further investigations on spike-based computation.


title: Mitigating Direct Detection Bounds in Non-minimal Higgs Portal Scalar Dark Matter Models

abstract: Minimal scalar Higgs portal dark matter model is increasingly in tension with recent results form direct detection experiments like LUX and XENON. In this paper we make a systematic study of minimal extension of the $ \mathbb{Z}_2$ stabilised singlet scalar Higgs portal scenario in terms of their prospects at direct detection experiments. We consider both enlarging the stabilising symmetry to $\mathbb{Z}_3$ and incorporating multipartite features in the dark sector. We demonstrate that in these non-minimal models the interplay of annihilation, co-annihilation and semi-annihilation processes considerably relax constraints from present and proposed direct detection experiments while simultaneously saturating observed dark matter relic density. We explore in particular the resonant semi-annihilation channel within the multipartite $\mathbb{Z}_3$ framework which results in new unexplored regions of parameter space that would be difficult to constrain by direct detection experiments in the near future. The role of dark matter exchange processes within multi-component $\mathbb{Z}_3 \times \mathbb{Z}_3'$ framework is illustrated. We make quantitative estimates to elucidate the role of the various annihilation processes in the different allowed regions of parameter space of these models.


title: Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors

abstract: It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of $\lambda$-terms that this operation commutes with normalization: the expansion of a $\lambda$-term is always normalizable and its normal form is the expansion of the B\"ohm tree of the term. We generalize this result to the non-uniform setting of the algebraic $\lambda$-calculus, i.e. $\lambda$-calculus extended with linear combinations of terms. This requires us to tackle two difficulties: foremost is the fact that Ehrhard and Regnier's techniques rely heavily on the uniform, deterministic nature of the ordinary $\lambda$-calculus, and thus cannot be adapted; second is the absence of any satisfactory generic extension of the notion of B\"ohm tree in presence of quantitative non-determinism, which is reflected by the fact that the Taylor expansion of an algebraic $\lambda$-term is not always normalizable. Our solution is to provide a fine grained study of the dynamics of $\beta$-reduction under Taylor expansion, by introducing a notion of reduction on resource vectors, i.e. infinite linear combinations of resource $\lambda$-terms. The latter form the multilinear fragment of the differential $\lambda$-calculus, and resource vectors are the target of the Taylor expansion of $\lambda$-terms. We show the reduction of resource vectors contains the image of any $\beta$-reduction step, from which we deduce that Taylor expansion and normalization commute on the nose. We moreover identify a class of algebraic $\lambda$-terms, encompassing both normalizable algebraic $\lambda$-terms and arbitrary ordinary $\lambda$-terms: the expansion of these is always normalizable, which guides the definition of a generalization of B\"ohm trees to this setting.


title: Adversarial Example Defenses: Ensembles of Weak Defenses are not Strong

abstract: Ongoing research has proposed several methods to defend neural networks against adversarial examples, many of which researchers have shown to be ineffective. We ask whether a strong defense can be created by combining multiple (possibly weak) defenses. To answer this question, we study three defenses that follow this approach. Two of these are recently proposed defenses that intentionally combine components designed to work well together. A third defense combines three independent defenses. For all the components of these defenses and the combined defenses themselves, we show that an adaptive adversary can create adversarial examples successfully with low distortion. Thus, our work implies that ensemble of weak defenses is not sufficient to provide strong defense against adversarial examples.


title: Deep learning-based numerical methods for high-dimensional parabolic partial differential equations and backward stochastic differential equations

abstract: We propose a new algorithm for solving parabolic partial differential equations (PDEs) and backward stochastic differential equations (BSDEs) in high dimension, by making an analogy between the BSDE and reinforcement learning with the gradient of the solution playing the role of the policy function, and the loss function given by the error between the prescribed terminal condition and the solution of the BSDE. The policy function is then approximated by a neural network, as is done in deep reinforcement learning. Numerical results using TensorFlow illustrate the efficiency and accuracy of the proposed algorithms for several 100-dimensional nonlinear PDEs from physics and finance such as the Allen-Cahn equation, the Hamilton-Jacobi-Bellman equation, and a nonlinear pricing model for financial derivatives.


title: Multilinear mappings versus homogeneous polynomials and a multipolynomial polarization formula

abstract: We show that (k,m)-linear mappings, introduced by I. Chernega and A. Zagorodnyuk in [3], are particular cases of polynomials. As corollaries, we expose some apparently overlooked properties in the literature. For instance, every multilinear mapping is a homogeneous polynomial. Contributions to the polarization formula are also provided.


title: Super Quantum Mechanics in the Integral Form Formalism

abstract: We reformulate Super Quantum Mechanics in the context of integral forms. This framework allows to interpolate between different actions for the same theory, connected by different choices of Picture Changing Operators (PCO). In this way we retrieve component and superspace actions, and prove their equivalence. The PCO are closed integral forms, and can be interpreted as super Poincar\'e duals of bosonic submanifolds embedded into a supermanifold.. We use them to construct Lagrangians that are top integral forms, and therefore can be integrated on the whole supermanifold. The $D=1, ~N=1$ and the $D=1,~ N=2$ cases are studied, in a flat and in a curved supermanifold. In this formalism we also consider coupling with gauge fields, Hilbert space of quantum states and observables.


title: Necessary and sufficient product criteria for quantum states via the rank of realignment matrix of density matrix

abstract: We present a necessary and sufficient product criterion for bipartite quantum states based on the rank of realignment matrix of density matrix. Then, this approach is generalized to multipartite systems. We first introduce the concept of semiproduct in a similar manner to the semiseparable and prove that semiproduct is equivalent to fully product. Therefore, a quantum state is bipartite product with respect to all possible partitions implies fully product which is different from the case of separability. For pure states, it can easily be seen that several necessary and sufficient separability criteria for multipartite systems are derived as a special case of our results. Several specific examples illustrate that our criteria are convenient and operational.


title: Thermal rectification and negative differential thermal conductance in harmonic chains with nonlinear system-bath coupling

abstract: Thermal rectification and negative differential thermal conductance were realized in harmonic chains in this work. We used the generalized Caldeira-Leggett model to study the heat flow. In contrast to the most previous studies considering only the linear system-bath coupling, we considered the nonlinear system-bath coupling based on recent experiment [A. Eichler \emph{et al.}, Nat. Nanotech. \textbf{6}, 339 (2011)]. When the linear coupling constant is weak, the multiphonon processes induced by the nonlinear coupling allow more phonons transport across the system-bath interface and hence the heat current is enhanced. Consequently, thermal rectification and negative differential thermal conductance are achieved when the nonlinear couplings are asymmetric. However, when the linear coupling constant is strong, the umklapp processes dominate the multiphonon processes. Nonlinear coupling suppresses the heat current. Thermal rectification is also achieved. But the direction of rectification is reversed comparing to the results of weak linear coupling constant.


title: Strangeon Stars

abstract: Stable micro-nucleus is 2-flavored (u and d), whereas stable macro-nucleus could be 3-flavored (u, d and s) if the light flavor symmetry restores there. Nucleons are the constituent of a nucleus, while strangeons are named as the constituent of 3-flavored baryonic matter. Gravity-compressed baryonic object created after core-collapse supernova could be strangeon star if the energy scale (~0.5 GeV) cannot be high enough for quark deconfinement and if there occurs 3-flavor symmetry restoration. Strangeon stars are explained here, including their formation and manifestation/identification. Much work, coupled with effective {micro-model} of strangeon matter, is needed to take advantage of the unique opportunities advanced facilities will provide.


title: Experimental Study of Compressed Stack Algorithms in Limited Memory Environments

abstract: The {\em compressed stack} is a data structure designed by Barba {\em et al.} (Algorithmica 2015) that allows to reduce the amount of memory needed by an algorithm (at the cost of increasing its runtime). In this paper we introduce the first implementation of this data structure and make its source code publicly available. Together with the implementation we analyze the performance of the compressed stack. In our synthetic experiments, considering different test scenarios and using data sizes ranging up to $2^{30}$ elements, we compare it with the classic (uncompressed) stack, both in terms of runtime and memory used. Our experiments show that the compressed stack needs significantly less memory than the usual stack (this difference is significant for inputs containing $2000$ or more elements). Overall, with a proper choice of parameters, we can save a significant amount of space (from two to four orders of magnitude) with a small increase in the runtime ($2.32$ times slower on average than the classic stack). These results holds even in test scenarios specifically designed to be challenging for the compressed stack.


title: On the Maximum Size of Block Codes Subject to a Distance Criterion

abstract: We establish a general formula for the maximum size of finite length block codes with minimum pairwise distance no less than $d$. The achievability argument involves an iterative construction of a set of radius-$d$ balls, each centered at a codeword. We demonstrate that the number of such balls that cover the entire code alphabet cannot exceed this maximum size. Our approach can be applied to codes $i)$ with elements over arbitrary code alphabets, and $ii)$ under a broad class of distance measures, thereby ensuring the generality of our formula. Our formula indicates that the maximum code size can be fully characterized by the cumulative distribution function of the distance measure evaluated at two independent and identically distributed random codewords. When the two random codewords assume a uniform distribution over the entire code alphabet, our formula recovers and obtains a natural generalization of the Gilbert-Varshamov (GV) lower bound. We also establish a general formula for the zero-error capacity of any sequence of channels. Finally, we extend our study to the asymptotic setting, where we establish first- and second-order bounds on the asymptotic code rate subject to a normalized minimum distance constraint.


title: Comments On "Self-Gravitating Spherically Symmetric Solutions in Scalar-Torsion Theories"

abstract: We find a crucial miscalculation in [arXiv:1501.00365 [gr-qc]] which leads to the wrong master equation. This follows that there is no wormhole-like solution for hyperbolic scalar potential and the solution at large distances differs from that of [arXiv:1501.00365 [gr-qc]].


title: Reinforcement Learning under Model Mismatch

abstract: We study reinforcement learning under model misspecification, where we do not have access to the true environment but only to a reasonably close approximation to it. We address this problem by extending the framework of robust MDPs to the model-free Reinforcement Learning setting, where we do not have access to the model parameters, but can only sample states from it. We define robust versions of Q-learning, SARSA, and TD-learning and prove convergence to an approximately optimal robust policy and approximate value function respectively. We scale up the robust algorithms to large MDPs via function approximation and prove convergence under two different settings. We prove convergence of robust approximate policy iteration and robust approximate value iteration for linear architectures (under mild assumptions). We also define a robust loss function, the mean squared robust projected Bellman error and give stochastic gradient descent algorithms that are guaranteed to converge to a local minimum.


title: High-resolution spectroscopy of extremely metal-poor stars from SDSS/SEGUE. III. Unevolved Stars with $[\mathrm{Fe/H}]\lesssim -3.5$

abstract: We present elemental abundances for eight unevolved extremely metal-poor stars with $T_{\rm eff}>5500\,\mathrm{K}$, among which seven have $[\mathrm{Fe/H}]<-3.5$. The sample is selected from the Sloan Digital Sky Survey / Sloan Extension for Galactic Understanding and Exploration (SDSS/SEGUE), and our previous high-resolution spectroscopic follow-up with the Subaru Telescope (Aoki et al.). Several methods to derive stellar parameters are compared, and no significant offset in the derived parameters is found in most cases. From an abundance analysis relative to the standard extremely metal-poor star G 64-12, an average Li abundance for stars with $[\mathrm{Fe/H}]<-3.5$ is $A(\mathrm{Li}) =1.90$, with a standard deviation of $\sigma =0.10$ dex. This result confirms that lower Li abundances are found at lower metallicity, as suggested by previous studies, and demonstrates that the star-to-star scatter is small. The small observed scatter could be a strong constraint on Li-depletion mechanisms proposed for explaining the low Li abundance at lower metallicity. Our analysis for other elements obtained the following results: i) A statistically significant scatter in $[\mathrm{X/Fe}]$ for Na, Mg, Cr, Ti, Sr, and Ba, and an apparent bimodality in $[\mathrm{Na/Fe}]$ with a separation of $\sim 0.8\, \mathrm{dex}$, ii) an absence of a sharp drop in the metallicity distribution, and iii) the existence of a CEMP-$s$ star at $[\mathrm{Fe/H}]\simeq -3.6$ and possibly at $[\mathrm{Fe/H}]\simeq-4.0$, which may provide a constraint on the mixing efficiency of unevolved stars during their main-sequence phase.


title: Magnetohydrodynamic Models of Molecular Tornadoes

abstract: Recent observations near the Galactic Centre have found several molecular filaments displaying striking helically-wound morphology, which are collectively known as "molecular tornadoes." We investigate the equilibrium structure of these molecular tornadoes by formulating a magnetohydrodynamic model of a rotating, helically magnetized filament. A special analytical solution is derived where centrifugal forces balance exactly with toroidal magnetic stress. From the physics of torsional Alfv\'{e}n waves, we derive a constraint that links the toroidal flux-to-mass ratio and the pitch angle of the helical field to the rotation laws, which we find to be an important component in describing molecular tornado structure. The models are compared to the Ostriker solution for isothermal, non-magnetic, non-rotating filaments. We find that neither the analytic model nor the Alfv\'{e}n wave model suffer from unphysical density inversions noted by other authors. A Monte Carlo exploration of our parameter space is constrained by observational measurements of the Pigtail Molecular Cloud (Pigtail), Double Helix Nebula (DHN), and Galactic Centre molecular Tornado (GCT). Observable properties such as the velocity dispersion, filament radius, linear mass, and surface pressure can be used to derive three dimensionless constraints for our dimensionless models of these three objects. A virial analysis of these constrained models is studied for these three molecular tornadoes. We find that self-gravity is relatively unimportant, whereas magnetic fields, and external pressure play a dominant role in the confinement and equilibrium radial structure of these objects.


title: Optimal performance of heterogeneous networks bases on the bit rate

abstract: Networks Lte(4G) and Wi-Fi complementarity establishes a heterogeneous system of wireless and mobile networks. We study and analyze the optimal performances of this heterogeneous system based on the bit rate, the blocking probability and user connection loss. Random Waypoint (RWP) is the user mobility model. Users provided mobile terminal equipped with multiple accesses interfaces. We developed a Markov chain to estimate the performances obtained from the heterogeneous networks system, which allowed us to propose an average bit rate value in a sub-zone of this system then the average blocking probability user connection in this zone. We also proposed a sensitivity factor of maximal decrease of these selection network parameters. This factor informs about the heterogeneous networks congestion and dis-congestion system.


title: Nonlinear Wave Chaos: Statistics of Second Harmonic Fields

abstract: Concepts from the field of wave chaos have been shown to successfully predict the statistical properties of linear electromagnetic fields in electrically large enclosures. The Random Coupling Model (RCM) describes these properties by incorporating both universal features described by Random Matrix Theory and the system-specific features of particular system realizations. In an effort to extend this approach to the nonlinear domain, we add an active nonlinear frequency-doubling circuit to an otherwise linear wave chaotic system, and we measure the statistical properties of the resulting second harmonic fields. We develop an RCM-based model of this system as two linear chaotic cavities coupled by means of a nonlinear transfer function. The harmonic field strengths are predicted to be the product of two statistical quantities and the nonlinearity characteristics. Statistical results from measurement-based calculation, RCM-based simulation, and direct experimental measurements are compared and show good agreement over many decades of power.


title: Towards a better understanding of the evolution of Wolf-Rayet stars and Type Ib/Ic supernova progenitors

abstract: Hydrogen-deficient Wolf-Rayet (WR) stars are potential candidates of Type Ib/Ic supernova (SN Ib/Ic) progenitors and their evolution is governed by mass loss. Stellar evolution models with the most popular prescription for WR mass-loss rates given by Nugis & Lamers have difficulties in explaining the luminosity distribution of WR stars of WC and WO types and the SN Ic progenitor properties. Here we suggest some improvements in the WR mass-loss rate prescription and discuss its implications for the evolution of WR stars and SN Ib/Ic progenitors. Recent studies on Galactic WR stars clearly indicate that the mass-loss rates of WC stars are systematically higher than those of WNE stars for a given luminosity. The luminosity and initial metallicity dependencies of WNE mass-loss rates are also significantly different from those of WC stars. These factors have not been adequately considered together in previous stellar evolution models. We also find that an overall increase of WR mass loss rates by about 60 per cent compared to the empirical values obtained with a clumping factor of 10 is needed to explain the most faint WC/WO stars. This moderate increase with our new WR mas-loss rate prescription results in SN Ib/Ic progenitor models more consistent with observations than those given by the Nugis & Lamers prescription. In particular, our new models predict that the properties of SN Ib and SN Ic progenitors are distinctively different, rather than they form a continuous sequence.


title: Recent Progress of Face Image Synthesis

abstract: Face synthesis has been a fascinating yet challenging problem in computer vision and machine learning. Its main research effort is to design algorithms to generate photo-realistic face images via given semantic domain. It has been a crucial prepossessing step of main-stream face recognition approaches and an excellent test of AI ability to use complicated probability distributions. In this paper, we provide a comprehensive review of typical face synthesis works that involve traditional methods as well as advanced deep learning approaches. Particularly, Generative Adversarial Net (GAN) is highlighted to generate photo-realistic and identity preserving results. Furthermore, the public available databases and evaluation metrics are introduced in details. We end the review with discussing unsolved difficulties and promising directions for future research.


title: Gamma-ray, Particle and Exotic Physics at TeV energies with the MAGIC telescopes

abstract: MAGIC is an instrument composed of a pair of telescopes for gamma- ray and cosmic-ray astrophysics in the TeV range. It is operating for more than a decade now, and is one of the current best performing instruments in this field, specifically at low energies, where it achieves the largest sensitivity. MAGIC pursues a strong program in galactic and extragalactic gamma-ray science. Its catalog of blazars, radiogalaxies and galaxy clusters observations as well as supernovae, novae, pulsar wind nebulae, pulsars and binary systems has now increased to several tens of detected targets. In addition, MAGIC is suited for cosmic ray searches, being sensitive to the signatures of earth-skimming tau-neutrinos, cosmic antiprotons, and others. Furthermore, MAGIC has a strong fundamental physics program, with searches for particle dark matter, Lorentz Invariance violations, axion-like particles and primordial black hole evaporation, providing important recent constraints in some relevant cases. Finally, MAGIC has a follow-up program of Gravitational Waves events. Few highlights topics will be discussed in this contribution.


title: Effective Sequential Classifier Training for SVM-based Multitemporal Remote Sensing Image Classification

abstract: The explosive availability of remote sensing images has challenged supervised classification algorithms such as Support Vector Machines (SVM), as training samples tend to be highly limited due to the expensive and laborious task of ground truthing. The temporal correlation and spectral similarity between multitemporal images have opened up an opportunity to alleviate this problem. In this study, a SVM-based Sequential Classifier Training (SCT-SVM) approach is proposed for multitemporal remote sensing image classification. The approach leverages the classifiers of previous images to reduce the required number of training samples for the classifier training of an incoming image. For each incoming image, a rough classifier is firstly predicted based on the temporal trend of a set of previous classifiers. The predicted classifier is then fine-tuned into a more accurate position with current training samples. This approach can be applied progressively to sequential image data, with only a small number of training samples being required from each image. Experiments were conducted with Sentinel-2A multitemporal data over an agricultural area in Australia. Results showed that the proposed SCT-SVM achieved better classification accuracies compared with two state-of-the-art model transfer algorithms. When training data are insufficient, the overall classification accuracy of the incoming image was improved from 76.18% to 94.02% with the proposed SCT-SVM, compared with those obtained without the assistance from previous images. These results demonstrate that the leverage of a priori information from previous images can provide advantageous assistance for later images in multitemporal image classification.


title: New equation of states for postmerger supramassive quark stars

abstract: Binary neutron star (NS) mergers with their subsequent fast-rotating supramassive magnetars are one attractive interpretation for at least some short gamma-ray bursts (SGRBs), based on the internal plateau commonly observed in the early X-ray afterglow. The rapid decay phase in this scenario signifies the epoch when the star collapses to a black hole after it spins down, and could effectively shed light on the underlying unclear equation of state (EoS) of dense matter. In the present work, we confront the protomagnetar masses of the internal plateau sample from representative EoS models, with the one independently from the observed galactic NS-NS binary, aiming to contribute new compact star EoSs from SGRB observations. For this purpose, we employ various EoSs covering a wide range of maximum mass for both NSs and quark stars (QSs), and in the same time satisfying the recent observational constraints of the two massive pulsars whose masses are precisely measured (around $2 M_{\odot}$). We first illustrate that how well the underlying EoS would reconcile with the current posterior mass distribution, is largely determined by the static maximum mass of that EoS. We then construct 3 new postmerger QS EoSs (PMQS1, PMQS2, PMQS3), respecting fully the observed distribution. We also provide easy-to-use parameterizations for both the EoSs and the corresponding maximum gravitational masses of rotating stars. In addition, we calculate the fractions of postmerger products for each EoS, and discuss potential consequences for the magnetar-powered kilonova model.


title: Target Curricula via Selection of Minimum Feature Sets: a Case Study in Boolean Networks

abstract: We consider the effect of introducing a curriculum of targets when training Boolean models on supervised Multi Label Classification (MLC) problems. In particular, we consider how to order targets in the absence of prior knowledge, and how such a curriculum may be enforced when using meta-heuristics to train discrete non-linear models. We show that hierarchical dependencies between targets can be exploited by enforcing an appropriate curriculum using hierarchical loss functions. On several multi output circuit-inference problems with known target difficulties, Feedforward Boolean Networks (FBNs) trained with such a loss function achieve significantly lower out-of-sample error, up to $10\%$ in some cases. This improvement increases as the loss places more emphasis on target order and is strongly correlated with an easy-to-hard curricula. We also demonstrate the same improvements on three real-world models and two Gene Regulatory Network (GRN) inference problems. We posit a simple a-priori method for identifying an appropriate target order and estimating the strength of target relationships in Boolean MLCs. These methods use intrinsic dimension as a proxy for target difficulty, which is estimated using optimal solutions to a combinatorial optimisation problem known as the Minimum-Feature-Set (minFS) problem. We also demonstrate that the same generalisation gains can be achieved without providing any knowledge of target difficulty.


title: The design of a streaming analytical workflow for processing massive transit feeds

abstract: Retrieving and analyzing transit feeds relies on working with analytical workflows that can handle the massive volume of data streams that are relevant to understand the dynamics of transit networks which are entirely deterministic in the geographical space in which they takes place. In this paper, we consider the fundamental issues in developing a streaming analytical workflow for analyzing the continuous arrival of multiple, unbounded transit data feeds for automatically processing and enriching them with additional information containing higher level concepts accordingly to a particular mobility context. This workflow consists of three tasks: (1) stream data retrieval for creating time windows; (2) data cleaning for handling missing data, overlap data or redundant data; and (3) data contextualization for computing actual arrival and departure times as well as the stops and moves during a bus trip, and also performing mobility context computation. The workflow was implemented in a Hadoop cloud ecosystem using data streams from the CODIAC Transit System of the city of Moncton, NB. The Map() function of MapReduce is used to retrieve and bundle data streams into numerous clusters which are subsequently handled in a parallel manner by the Reduce() function in order to execute the data contextualization step. The results validate the need for cloud computing for achieving high performance and scalability, however, due to the delay in computing and networking, it is clear that data cleaning tasks should not only be deployed using a cloud environment, paving the way to combine it with fog computing in the near future.


title: Verifiable sufficient conditions for the error bound property of second-order cone complementarity problems

abstract: The error bound property for a solution set defined by a set-valued mapping refers to an inequality that bounds the distance between vectors closed to a solution of the given set by a residual function. The error bound property is a Lipschitz-like/calmness property of the perturbed solution mapping, or equivalently the metric subregularity of the underlining set-valued mapping. It has been proved to be extremely useful in analyzing the convergence of many algorithms for solving optimization problems, as well as serving as a constraint qualification for optimality conditions. In this paper, we study the error bound property for the solution set of a very general second-order cone complementarity problem (SOCCP). We derive some sufficient conditions for error bounds for SOCCP which is verifiable based on the initial problem data.


title: Stability of non-constant equilibrium solutions for two-fluid non-isentropic Euler-Maxwell systems arising in plasmas

abstract: We consider the periodic problem for two-fluid non-isentropic Euler-Maxwell systems in plasmas. By means of suitable choices of symmetrizers and an induction argument on the order of the time-space derivatives of solutions in energy estimates, the global smooth solution with small amplitude is established near a non-constant equilibrium solution with asymptotic stability properties. This improves the results obtained in \cite{LWF16a} for models with temperature diffusion terms by using the pressure functions $p^\nu$ in place of the unknown variables densities $n^\nu$.


title: Critical percolation clusters in seven dimensions and on a complete graph

abstract: We study critical bond percolation on a seven-dimensional (7D) hypercubic lattice with periodic boundary conditions and on the complete graph (CG) of finite volume $V$. We numerically confirm that for both cases, the critical number density $n(s,V)$ of clusters of size $s$ obeys a scaling form $n(s,V) \sim s^{-\tau} \tilde{n} (s/V^{d^*_{\rm f}})$ with identical volume fractal dimension $d^*_{\rm f}=2/3$ and exponent $\tau = 1+1/d^*_{\rm f}=5/2$. We then classify occupied bonds into {\em bridge} bonds, which includes {\em branch} and {\em junction} bonds, and {\em non-bridge} bonds; a bridge bond is a branch bond if and only if its deletion produces at least one tree. Deleting branch bonds from percolation configurations produces {\em leaf-free} configurations, whereas, deleting all bridge bonds leads to {\em bridge-free} configurations. It is shown that the fraction of non-bridge (bi-connected) bonds vanishes $\rho_{\rm n, CG}$$\rightarrow$0 for large CGs, but converges to a finite value $ \rho_{\rm n, 7D} =0.006 \, 193 \, 1(7)$ for the 7D hypercube. Further, we observe that while the bridge-free dimension $d^*_{\rm bf}=1/3$ holds for both the CG and 7D cases, the volume fractal dimensions of the leaf-free clusters are different: $d^*_{\rm \ell f, 7D} = 0.669 (9) \approx 2/3$ and $d^*_{\rm \ell f, CG} = 0. 333 7 (17) \approx 1/3$. We also study the behavior of the number and the size distribution of leaf-free and bridge-free clusters. For the number of clusters, we numerically find the number of leaf-free and bridge-free clusters on the CG scale as $\sim \ln V$, while for 7D they scale as $\sim V$. Our work demonstrates that the geometric structure of high-dimensional percolation clusters cannot be fully accounted for by their complete-graph counterparts.


title: Quantum Criticality in Resonant Andreev Conduction

abstract: Motivated by recent experiments with proximitized nanowires, we study a mesoscopic s-wave superconductor connected via point contacts to normal-state leads. We demonstrate that at energies below the charging energy the system is described by the two-channel Kondo model, which can be brought to the quantum critical regime by varying the gate potential and conductances of the contacts.


title: Probing the superconducting gap structure of (Li$_{1-x}$Fe$_x$)OHFeSe

abstract: We report measurements of the London penetration depth [$\Delta\lambda(T)$] of the recently discovered iron-based superconductor (Li$_{1-x}$Fe$_x$)OHFeSe, in order to characterize the nature of the superconducting gap structure. At low temperatures, $\Delta\lambda(T)$ displays nearly temperature independent behavior, indicating a fully open superconducting gap. We also analyze the superfluid density $\rho_s(T)$ which cannot be well accounted for by a single-gap isotropic $s$-wave model but are consistent with either two-gaps, a model for the orbital selective $s\times\tau_3$ state or anisotropic $s$-wave superconductivity.


title: Effective quantum state reconstruction using compressive sensing in NMR quantum computing

abstract: The number of measurements required to reconstruct the states of quantum systems increases exponentially with the quantum system dimensions, which makes the state reconstruction of high-qubit quantum systems have a great challenge in physical quantum computing experiments. Compressive sensing (CS) has been verified as a effective technique in the reconstruction of quantum state, however, it is still unknown that if CS can reconstruct quantum states given the less data measured by nuclear magnetic resonance (NMR). In this paper, we propose an effective NMR quantum state reconstruction method based on CS. Different from the conventional CS-based quantum state reconstruction, our method uses the actual observation data from NMR experiments rather than the data measured by the Pauli operators. We implement measurements on quantum states in practical NMR computing experiments and reconstruct states of 2,3,4 qubits using fewer number of measurements, respectively. The proposed method is easy to implement and performs more efficiently with the increase of the system dimension size. The performance reveals both efficiency and accuracy, which provides an alternative for the quantum state reconstruction in practical NMR.


title: Sequential detection of low-rank changes using extreme eigenvalues

abstract: We study the problem of detecting an abrupt change to the signal covariance matrix. In particular, the covariance changes from a "white" identity matrix to an unknown spiked or low-rank matrix. Two sequential change-point detection procedures are presented, based on the largest and the smallest eigenvalues of the sample covariance matrix. To control false-alarm-rate, we present an accurate theoretical approximation to the average-run-length (ARL) and expected detection delay (EDD) of the detection, leveraging the extreme eigenvalue distributions from random matrix theory and by capturing a non-negligible temporal correlation in the sequence of scan statistics due to the sliding window approach. Real data examples demonstrate the good performance of our method for detecting behavior change of a swarm.


title: Individual position diversity in dependence socioeconomic networks increases economic output

abstract: The availability of big data recorded from massively multiplayer online role-playing games (MMORPGs) allows us to gain a deeper understanding of the potential connection between individuals' network positions and their economic outputs. We use a statistical filtering method to construct dependence networks from weighted friendship networks of individuals. We investigate the 30 distinct motif positions in the 13 directed triadic motifs which represent microscopic dependences among individuals. Based on the structural similarity of motif positions, we further classify individuals into different groups. The node position diversity of individuals is found to be positively correlated with their economic outputs. We also find that the economic outputs of leaf nodes are significantly lower than that of the other nodes in the same motif. Our findings shed light on understanding the influence of network structure on economic activities and outputs in socioeconomic system.


title: Topologically-protected refraction of robust kink states in valley photonic crystals

abstract: Recently discovered valley photonic crystals (VPCs) mimic many of the unusual properties of two-dimensional gapped valleytronic materials such as bilayer graphene or MoS2. Of the utmost interest to optical communications is their ability to support topologically protected chiral edge (kink) states at the internal domain wall between two VPCs with spectrally overlapping bandgap zones and opposite half-integer valley-Chern indices. We experimentally demonstrate the robustness of the kink states in VPCs that support degenerate transverse-electric-like (TE) and transverse-magnetic-like (TM) topological phases, thus enabling polarization multiplexing in a single topological waveguide. The propagation direction of the kink states is locked to the valleys of the reverse Brave lattice and, therefore, cannot be reversed in the absence of inter-valley scattering. At the intersection between the internal domain wall and the external edge separating the VPCs from free space, the kink states are shown to exhibit >97% out-coupling efficiency into directional free-space beams. This constitutes the first experimental demonstration of meron-like valley-projected topological phases with half-integer valley-Chern indices.


title: Revenue Optimization with Approximate Bid Predictions

abstract: In the context of advertising auctions, finding good reserve prices is a notoriously challenging learning problem. This is due to the heterogeneity of ad opportunity types and the non-convexity of the objective function. In this work, we show how to reduce reserve price optimization to the standard setting of prediction under squared loss, a well understood problem in the learning community. We further bound the gap between the expected bid and revenue in terms of the average loss of the predictor. This is the first result that formally relates the revenue gained to the quality of a standard machine learned model.


title: Application of sodium-ion-based solid electrolyte in electrostatic tuning of carrier density in graphene

abstract: Using a solid electrolyte to tune the carrier density in thin-film materials is an emerging technique that has potential applications in both basic and applied research. Until now, only materials containing small ions, such as protons and lithium ions, have been used to demonstrate the gating effect. Here, we report the study of a lab-synthesised sodium-ion-based solid electrolyte, which shows a much stronger capability to tune the carrier density in graphene than previously reported lithium-ion-based solid electrolyte. Our findings may stimulate the search for solid electrolytes better suited for gating applications, taking benefit of many existing materials developed for battery research.


title: On Functional Graphs of Quadratic Polynomials

abstract: We study functional graphs generated by quadratic polynomials over prime fields. We introduce efficient algorithms for methodical computations and provide the values of various direct and cumulative statistical parameters of interest. These include: the number of connected functional graphs, the number of graphs having a maximal cycle, the number of cycles of fixed size, the number of components of fixed size, as well as the shape of trees extracted from functional graphs. We particularly focus on connected functional graphs, that is, the graphs which contain only one component (and thus only one cycle). Based on the results of our computations, we formulate several conjectures highlighting the similarities and differences between these functional graphs and random mappings.


title: The low-temperature highly correlated quantum phase in the charge-density-wave 1T-TaS_2 compound

abstract: A prototypical quasi-2D metallic compound, 1T-TaS_2 has been extensively studied due to an intricate interplay between a Mott-insulating ground state and a charge density-wave (CDW) order. In the low-temperature phase, 12 out of 13 Ta_{4+} 5\textit{d}-electrons form molecular orbitals in hexagonal star-of-David patterns, leaving one 5\textit{d}-electron with \textit{S} = 1/2 spin free. This orphan quantum spin with a large spin-orbit interaction is expected to form a highly correlated phase of its own. And it is most likely that they will form some kind of a short-range order out of a strongly spin-orbit coupled Hilbert space. In order to investigate the low-temperature magnetic properties, we performed a series of measurements including neutron scattering and muon experiments. The obtained data clearly indicate the presence of the short-ranged phase and put the upper bound on ~ 0.4 \textit{\mu}_B for the size of the magnetic moment, consistent with the orphan-spin scenario.


title: Probing crustal structures from neutron star compactness

abstract: With various sets of the parameters that characterize the equation of state (EOS) of nuclear matter, we systematically examine the thickness of a neutron star crust and of the pasta phases contained therein. Then, with respect to the thickness of the phase of spherical nuclei, the thickness of the cylindrical phase, and the crust thickness, we successfully derive fitting formulas that express the ratio of each thickness to the star's radius as a function of the star's compactness, the incompressibility of symmetric nuclear matter, and the density dependence of the symmetry energy. In particular, we find that the thickness of the phase of spherical nuclei has such a strong dependence on the stellar compactness as the crust thickness, but both of them show a much weaker dependence on the EOS parameters. Thus, via determination of the compactness, the thickness of the phase of spherical nuclei as well as the crust thickness can be constrained reasonably, even if the EOS parameters remain to be well-determined.


title: Suggestive Annotation: A Deep Active Learning Framework for Biomedical Image Segmentation

abstract: Image segmentation is a fundamental problem in biomedical image analysis. Recent advances in deep learning have achieved promising results on many biomedical image segmentation benchmarks. However, due to large variations in biomedical images (different modalities, image settings, objects, noise, etc), to utilize deep learning on a new application, it usually needs a new set of training data. This can incur a great deal of annotation effort and cost, because only biomedical experts can annotate effectively, and often there are too many instances in images (e.g., cells) to annotate. In this paper, we aim to address the following question: With limited effort (e.g., time) for annotation, what instances should be annotated in order to attain the best performance? We present a deep active learning framework that combines fully convolutional network (FCN) and active learning to significantly reduce annotation effort by making judicious suggestions on the most effective annotation areas. We utilize uncertainty and similarity information provided by FCN and formulate a generalized version of the maximum set cover problem to determine the most representative and uncertain areas for annotation. Extensive experiments using the 2015 MICCAI Gland Challenge dataset and a lymph node ultrasound image segmentation dataset show that, using annotation suggestions by our method, state-of-the-art segmentation performance can be achieved by using only 50% of training data.


title: On the effective potential of Duru-Kleinert path integrals

abstract: We propose a new method to evaluate the effective potential in the path integral for the fixed-energy amplitude as well as for the pseudotime evolution kernel in the formalism by Duru and Kleinert. Restriction to the postpoint or the prepoint prescriptions in formulating time sliced path integrals is avoided by leaving off the use of expectation values for correction terms. This enables us to consider an arbitrary ordering prescription and to examine the ordering dependence of the effective potential. To investigate parameter dependences, we introduce the ordering parameter $\alpha$ in addition to the splitting parameter $\lambda$ in the formulation of the time sliced path integral. The resulting path integrals are found to be independent of the ordering parameter although the explicit dependence, given by a contribution proportional to $(1-2\lambda)^{2}$, on the splitting parameter remains. As an application, we check the relationship between path integrals for the radial oscillator and the radial Coulomb system in arbitrary dimensions.


title: Measurement of infrared optical constants with visible photons

abstract: We demonstrate a new scheme of infrared spectroscopy with visible light sources and detectors. The technique relies on the nonlinear interference of correlated photons, produced via spontaneous parametric down conversion in a nonlinear crystal. Visible and infrared photons are split into two paths and the infrared photons interact with the sample under study. The photons are reflected back to the crystal, resembling a conventional Michelson interferometer. Interference of the visible photons is observed and it is dependent on the phases of all three interacting photons: pump, visible and infrared. The transmission coefficient and the refractive index of the sample in the infrared range can be inferred from the interference pattern of visible photons. The method does not require the use of potentially expensive and inefficient infrared detectors and sources, it can be applied to a broad variety of samples, and it does not require a priori knowledge of sample properties in the visible range.


title: First order magneto-structural transition and magnetocaloric effect in MnNiGe$_{0.9}$Ga$_{0.1}$

abstract: The first order magneto-structural transition ($T_t\simeq95$ K) and magnetocaloric effect in MnNiGe$_{0.9}$Ga$_{0.1}$ are studied via powder x-ray diffraction and magnetization measurements. Temperature dependent x-ray diffraction measurements reveal that the magneto-structural transition remains incomplete down to 23 K, resulting in a coexistence of antiferromagnetic and ferromagnetic phases at low temperatures. The fraction of the high temperature Ni$_2$In-type hexagonal ferromagnetic and low temperature TiNiSi-type orthorhombic antiferromagnetic phases is estimated to be $\sim 40\%$ and $\sim 60\%$, respectively at 23 K. The ferromagnetic phase fraction increases with increasing field which is found to be in non-equilibrium state and gives rise to a weak re-entrant transition while warming under field-cooled condition. It shows a large inverse magnetocaloric effect across the magneto-structural transition and a conventional magnetocaloric effect across the second order paramagnetic to ferromagnetic transition. The relative cooling power which characterizes the performance of a magnetic refrigerant material is found to be reasonably high compared to the other reported magnetocaloric alloys.


title: Software Model Checking: A Promising Approach to Verify Mobile App Security

abstract: In this position paper we advocate software model checking as a technique suitable for security analysis of mobile apps. Our recommendation is based on promising results that we achieved on analysing app collusion in the context of the Android operating system. Broadly speaking, app collusion appears when, in performing a threat, several apps are working together, i.e., they exchange information which they could not obtain on their own. In this context, we developed the Kandroid tool, which provides an encoding of the Android/Smali code semantics within the K framework. Kandroid allows for software model checking of Android APK files. Though our experience so far is limited to collusion, we believe the approach to be applicable to further security properties as well as other mobile operating systems.


title: On the spanning connectivity of tournaments

abstract: Let $D$ be a digraph. A $k$-container of $D$ between $u$ and $v$, $C(u,v)$, is a set of $k$ internally disjoint paths between $u$ and $v$. A $k$-container $C(u,v)$ of $D$ is a strong (resp. weak) $k^{*}$-container if there is a set of $k$ internally disjoint paths with the same direction (resp. with different directions allowed) between $u$ and $v$ and it contains all vertices of $D$. A digraph $D$ is $k^{*}$-strongly (resp. $k^{*}$-weakly) connected if there exists a strong (resp. weak) $k^{*}$-container between any two distinct vertices. We define the strong (resp. weak) spanning connectivity of a digraph $D$, $\kappa_{s}^{*}(D)$ (resp. $\kappa_{w}^{*}(D)$ ), to be the largest integer $k$ such that $D$ is $\omega^{*}$-strongly (resp. $\omega^{*}$-weakly) connected for all $1\leq \omega\leq k$ if $D$ is a $1^{*}$-strongly (resp. $1^{*}$-weakly) connected. In this paper, we show that a tournament with $n$ vertices and irregularity $i(T)\leq k$, if $n\geq6t+5k$ $(t\geq2)$, then $\kappa_{s}^{*}(T)\geq t$ and $\kappa_{w}^{*}(T)\geq t+1$ if $n\geq6t+5k-3$ $(t\geq2)$.


title: Alvis-Curtis Duality for Finite General Linear Groups and a Generalized Mullineux Involution

abstract: We study the effect of Alvis-Curtis duality on the unipotent representations of $\mathrm{GL}_n(q)$ in non-defining characteristic $\ell$. We show that the permutation induced on the simple modules can be expressed in terms of a generalization of the Mullineux involution on the set of all partitions, which involves both $\ell$ and the order of $q$ modulo $\ell$.


title: First-Principles Lattice Dynamics Method for Strongly Anharmonic Crystals

abstract: We review our recent development of a first-principles lattice dynamics method that can treat anharmonic effects nonperturbatively. The method is based on the self-consistent phonon theory and temperature-dependent phonon frequencies can be calculated efficiently by incorporating recent numerical techniques to estimate anharmonic force constants. The validity of our approach is demonstrated through applications to cubic strontium titanate, where overall good agreements with experimental data are obtained for phonon frequencies and lattice thermal conductivity. We also show the feasibility of highly accurate calculations based on a hybrid exchange-correlation functional within the present framework. Our method provides a new way for studying lattice dynamics in severely anharmonic materials where the standard harmonic approximation and the perturbative approach break down.


title: Solvability of interior transmission problem for the diffusion equation by constructing its Green function

abstract: Consider the interior transmission problem arising in inverse boundary value problems for the diffusion equation with discontinuous diffusion coefficients. We prove the unique solvability of the interior transmission problem by constructing its Green function. First, we construct a local parametrix for the interior transmission problem near the boundary in the Laplace domain, by using the theory of pseudo-differential operators with a large parameter. Second, by carefully analyzing the analyticity of the local parametrix in the Laplace domain and estimating it there, a local parametrix for the original parabolic interior transmission problem is obtained via the inverse Laplace transform. Finally, using a partition of unity, we patch all the local parametrices and the fundamental solution of the diffusion equation to generate a global parametrix for the parabolic interior transmission problem, and then compensate it to get the Green function by the Levi method. The uniqueness of the Green function is justified by using the duality argument, and then the unique solvability of the interior transmission problem is concluded. We would like to emphasize that the Green function for the parabolic interior transmission problem is constructed for the first time in this paper. It can be applied for active thermography and diffuse optical tomography modeled by diffusion equations to identify an unknown inclusion and its physical property.


title: Improved Distributed Degree Splitting and Edge Coloring

abstract: The degree splitting problem requires coloring the edges of a graph red or blue such that each node has almost the same number of edges in each color, up to a small additive discrepancy. The directed variant of the problem requires orienting the edges such that each node has almost the same number of incoming and outgoing edges, again up to a small additive discrepancy. We present deterministic distributed algorithms for both variants, which improve on their counterparts presented by Ghaffari and Su [SODA'17]: our algorithms are significantly simpler and faster, and have a much smaller discrepancy. This also leads to a faster and simpler deterministic algorithm for $(2+o(1))\Delta$-edge-coloring, improving on that of Ghaffari and Su.


title: Elliptic Curves with Large Intersection of Projective Torsion Points

abstract: We construct pairs of elliptic curves over number fields with large intersection of projective torsion points.


title: Measurement of the Differential and Total Cross Sections of the ${\gamma}d \to K^0 {\Lambda} (p)$ Reaction within the Resonance Region

abstract: We report the first measurement of differential and total cross sections for the ${\gamma}d \to K^0{\Lambda}(p)$ reaction, using data from the CLAS detector at the Thomas Jefferson National Accelerator Facility. Data collected during two separate experimental runs were studied with photon-energy coverage 0.8 - 3.6 GeV and 0.5 - 2.6 GeV, respectively. The two measurements are consistent giving confidence in the method and determination of systematic uncertainties. The cross sections are compared with predictions from the KAON-MAID theoretical model (without kaon exchange), which deviate from the data at higher W and at forward kaon angles. These data, along with previously published cross sections for $K^+ {\Lambda}$ photoproduction, provide essential constraints on the nucleon resonance spectrum. A first partial wave analysis has been performed that describes the data without the introduction of new resonances.


title: The edge delamination of monolayer transition metal dichalcogenides

abstract: Delamination of thin films from the supportive substrates is critical issues in thin film industry and technology. The emergent two-dimensional materials, atomic layered materials, such as transition metal dichalcogenides are highly flexible thus the buckles and wrinkles can be easily generated and play vital effects on the physical properties. Here we introduce one kind of patterned buckling behavior caused by the delamination from substrate initiated at the edges of the chemical vapor deposition synthesized monolayer transition metal dichalcogenides, mainly due to the thermal expansion mismatch. The atomic force microscopy and optical characterizations clearly showed the puckered structures associated with strains, whereas the transmission electron microscopy revealed the special sawtooth shaped edge structures which break the geometrical symmetry of the buckling behavior of hexagonal samples. The condition of this edge delamination is in accordance with the fracture theory. This edge delamination process and buckling upon synthesis is universal for most of the ultrathin two dimensional materials, and it is definitely noteworthy in their future applications.


title: Crossover from ballistic to normal heat transport in the $\phi^{4}$ lattice: If nonconservation of momentum is the reason, what is the mechanism?

abstract: Anomalous (non-Fourier's) heat transport is no longer just a theoretical issue since it has been observed experimentally in a number of low-dimensional nanomaterials, such as SiGe nanowires, carbon nanotubes, and others. To understand these anomalous behaviors, exploring the microscopic origin of normal (Fourier's) heat transport is a fascinating theoretical topic. However, this issue has not yet been fully understood even for one-dimensional (1D) model chains, in spite of a great amount of thorough studies done to date. From those studies it has been widely accepted that the conservation of momentum is a key ingredient to induce anomalous heat transport, while momentum-nonconserving systems usually support normal heat transport where Fourier's law is valid. But if the nonconservation of momentum is the reason, what is the underlying microscopic mechanism for the observed normal heat transport? Here we carefully revisit a typical 1D momentum-nonconserving $\phi^{4}$ model and present evidence that the mobile discrete breathers or, in other words, the moving intrinsic localized modes with frequency components above the linear phonon band can be responsible for that.


title: Quantifying Stability of Quantum Statistical Ensembles

abstract: We investigate different measures of stability of quantum statistical ensembles with respect to local measurements. We call a quantum statistical ensemble "stable" if a small number of local measurements cannot significantly modify the total-energy distribution representing the ensemble. First, we numerically calculate the evolution of the stability measure introduced in our previous work [Phys. Rev. E 94, 062106 (2016)] for an ensemble representing a mixture of two canonical ensembles with very different temperatures in a periodic chain of interacting spins-1/2. Second, we propose other possible stability measures and discuss their advantages and disadvantages. We also show that, for small system sizes available to numerical simulations of local measurements, finite-size effects are rather pronounced.