title: Threshold-based Obfuscated Keys with Quantifiable Security against Invasive Readout

abstract: Advances in reverse engineering make it challenging to deploy any on-chip information in a way that is hidden from a determined attacker. A variety of techniques have been proposed for design obfuscation including look-alike cells in which functionality is determined by hard to observe mechanisms including dummy vias or transistor threshold voltages. Threshold-based obfuscation is especially promising because threshold voltages cannot be observed optically and require more sophisticated measurements by the attacker. In this work, we demonstrate the effectiveness of a methodology that applies threshold-defined behavior to memory cells, in combination with error correcting codes to achieve a high degree of protection against invasive reverse engineering. The combination of error correction and small threshold manipulations is significant because it makes the attacker's job harder without compromising the reliability of the obfuscated key. We present analysis to quantify key reliability of our approach, and its resistance to reverse engineering attacks that seek to extract the key through imperfect measurement of transistor threshold voltages. The security analysis and cost metrics we provide allow designers to make a quantifiable tradeoff between cost and security. We find that the combination of small threshold offsets and stronger error correcting codes are advantageous when security is the primary objective.


title: What Sets the Radial Locations of Warm Debris Disks?

abstract: The architectures of debris disks encode the history of planet formation in these systems. Studies of debris disks via their spectral energy distributions (SEDs) have found infrared excesses arising from cold dust, warm dust, or a combination of the two. The cold outer belts of many systems have been imaged, facilitating their study in great detail. Far less is known about the warm components, including the origin of the dust. The regularity of the disk temperatures indicates an underlying structure that may be linked to the water snow line. If the dust is generated from collisions in an exo-asteroid belt, the dust will likely trace the location of the water snow line in the primordial protoplanetary disk where planetesimal growth was enhanced. If instead the warm dust arises from the inward transport from a reservoir of icy material farther out in the system, the dust location is expected to be set by the current snow line. We analyze the SEDs of a large sample of debris disks with warm components. We find that warm components in single-component systems (those without detectable cold components) follow the primordial snow line rather than the current snow line, so they likely arise from exo-asteroid belts. While the locations of many warm components in two-component systems are also consistent with the primordial snow line, there is more diversity among these systems, suggesting additional effects play a role.


title: Determination of the $^{36}$Mg($n,\gamma$)$^{37}$Mg reaction rate from Coulomb dissociation of $^{37}$Mg

abstract: We use the Coulomb dissociation (CD) method to calculate the rate of the $^{36}$Mg(${n,\gamma}$)$^{37}$Mg radiative capture reaction. The CD cross sections of the $^{37}$Mg nucleus on a $^{208}$Pb target at the beam energy of 244 MeV/nucleon, for which new experimental data have recently become available, were calculated within the framework of a finite range distorted wave Born approximation theory that is extended to include the projectile deformation effects. Invoking the principle of detailed balance, these cross sections are used to determine the excitation function and subsequently the rate of the $^{36}$Mg($n,\gamma$)$^{37}$Mg reaction. We compare these rates to those of the $^{36}$Mg($\alpha,n$)$^{39}$Si reaction calculated within a Hauser-Feshbach model. We find that for $T_9$ as large as up to 1.0 (in units of 10$^9$ K) the $^{36}$Mg($n,\gamma$)$^{37}$Mg reaction is much faster than the $^{36}$Mg($\alpha,n$)$^{39}$Si one. The inclusion of the effects of $^{37}$Mg projectile deformation in the breakup calculations, enhances the ($n,\gamma$) reaction rate even further. Therefore, it is highly unlikely that the $(n,\gamma)$ $\beta$-decay $r$-process flow will be broken at the $^{36}$Mg isotope by the $\alpha$-process.


title: D-brane Disformal Coupling and Thermal Dark Matter

abstract: Conformal and Disformal couplings between a scalar field and matter occur naturally in general scalar-tensor theories. In D-brane models of cosmology and particle physics, these couplings originate from the D-brane action describing the dynamics of its transverse (the scalar) and longitudinal (matter) fluctuations, which are thus coupled. During the post-inflationary regime and before the onset of big-bang nucleosynthesis (BBN), these couplings can modify the expansion rate felt by matter, changing the predictions for the thermal relic abundance of dark matter particles and thus the annihilation rate required to satisfy the dark matter content today. We study the D-brane-like conformal and disformal couplings effect on the expansion rate of the universe prior to BBN and its impact on the dark matter relic abundance and annihilation rate. For a purely disformal coupling, the expansion rate is always enhanced with respect to the standard one. This gives rise to larger cross-sections when compared to the standard thermal prediction for a range of dark matter masses, which will be probed by future experiments. In a D-brane-like scenario, the scale at which the expansion rate enhancement occurs depends on the string coupling and the string scale.


title: Lossless Image and Intra-frame Compression with Integer-to-Integer DST

abstract: Video coding standards are primarily designed for efficient lossy compression, but it is also desirable to support efficient lossless compression within video coding standards using small modifications to the lossy coding architecture. A simple approach is to skip transform and quantization, and simply entropy code the prediction residual. However, this approach is inefficient at compression. A more efficient and popular approach is to skip transform and quantization but also process the residual block with DPCM, along the horizontal or vertical direction, prior to entropy coding. This paper explores an alternative approach based on processing the residual block with integer-to-integer (i2i) transforms. I2i transforms can map integer pixels to integer transform coefficients without increasing the dynamic range and can be used for lossless compression. We focus on lossless intra coding and develop novel i2i approximations of the odd type-3 DST (ODST-3). Experimental results with the HEVC reference software show that the developed i2i approximations of the ODST-3 improve lossless intra-frame compression efficiency with respect to HEVC version 2, which uses the popular DPCM method, by an average 2.7% without a significant effect on computational complexity.


title: Zero-Range Effective Field Theory for Resonant Wino Dark Matter II. Coulomb Resummation

abstract: Near a critical value of the wino mass where there is a zero-energy S-wave resonance at the neutral-wino-pair threshold, low-energy winos can be described by a zero-range effective field theory (ZREFT) in which the winos interact nonperturbatively through a contact interaction and charged winos also have electromagnetic interactions. At energies near the wino-pair thresholds, the Coulomb interaction from photon exchange between charged winos must also be treated nonperturbatively. The parameters of ZREFT can be determined by matching wino-wino scattering amplitudes calculated by solving the Schr\"odinger equation for winos interacting through a potential due to the exchange of electroweak gauge bosons. With Coulomb resummation, ZREFT at leading order gives a good description of the low-energy two-body observables for winos.


title: Shock Regularization with Smoothness-Increasing Accuracy-Conserving Dirac-Delta Polynomial Kernels

abstract: A smoothness-increasing accuracy conserving filtering approach to the regularization of discontinuities is presented for single domain spectral collocation approximations of hyperbolic conservation laws. The filter is based on convolution of a polynomial kernel that approximates a delta-sequence. The kernel combines a $k^{th}$ order smoothness with an arbitrary number of ${m}$ zero moments. The zero moments ensure a $m^{th}$ order accurate approximation of the delta-sequence to the delta function. Through exact quadrature the projection error of the polynomial kernel on the spectral basis is ensured to be less than the moment error. A number of test cases on the advection equation, Burger's equation and Euler equations in 1D and 2D shown that the filter regularizes discontinuities while preserving high-order resolution


title: Evaluation Measures for Relevance and Credibility in Ranked Lists

abstract: Recent discussions on alternative facts, fake news, and post truth politics have motivated research on creating technologies that allow people not only to access information, but also to assess the credibility of the information presented to them by information retrieval systems. Whereas technology is in place for filtering information according to relevance and/or credibility, no single measure currently exists for evaluating the accuracy or precision (and more generally effectiveness) of both the relevance and the credibility of retrieved results. One obvious way of doing so is to measure relevance and credibility effectiveness separately, and then consolidate the two measures into one. There at least two problems with such an approach: (I) it is not certain that the same criteria are applied to the evaluation of both relevance and credibility (and applying different criteria introduces bias to the evaluation); (II) many more and richer measures exist for assessing relevance effectiveness than for assessing credibility effectiveness (hence risking further bias). Motivated by the above, we present two novel types of evaluation measures that are designed to measure the effectiveness of both relevance and credibility in ranked lists of retrieval results. Experimental evaluation on a small human-annotated dataset (that we make freely available to the research community) shows that our measures are expressive and intuitive in their interpretation.


title: Theoretical interpretation of Warburg's impedance in electrolytic cells

abstract: We discuss the origin of Warburg's impedance in electrolytic cells containing only one group of positive and one group of negative ions. Our analysis is based on the Poisson-Nernst-Planck model, where the generation-recombination phenomenon is neglected. We show that to observe Warburg's like impedance the diffusion coefficient of the positive ions has to differen from that of the negative one, and furthermore that the electrodes have to be not blocking. We assume that the non-blocking properties of the electrodes can be described by means of an Ohmic model, where the charge exchange between the cell and the external circuit is described by means of an electrode conductivity. For simplicity we consider a symmetric cell. However, our analysis can be easily generalized to more complicated situations, where the cell is not symmetric and the charge exchange is described by Chang-Jaffe model, or by a linearized version of Butler-Volmer equation. Our analysis allows to justify the expression for Warburg's impedance proposed previously by several groups, based on wrong assumptions.


title: Hybrid Photonic-Plasmonic Non-blocking Broadband 5x5 Router for Optical Networks

abstract: Photonic data routing in optical networks overcomes the limitations of electronic routers with respect to data rate, latency, and energy consumption while suffering from dynamic power consumption, non-simultaneous usage of multiple wavelength channels, and large footprints. Here we show the first hybrid photonic-plasmonic, non-blocking, broadband 5x5 router. The compact footprint (<250 {\mu}m2) enables high operation speed (480 GHz) requiring only 82 fJ/bit (1.9 dB) of averaged energy consumption (routing loss). The router supports multi-wavelength up to 206 nm in the telecom band. Having a data-capacity of >70 Tbps, thus demonstrating key features required by future high data-throughput optical networks.


title: What is the next innovation after the internet of things?

abstract: The world had witnessed several generations of the Internet. Starting with the Fixed Internet, then the Mobile Internet, scientists now focus on many types of research related to the "Thing" Internet (or Internet of Things). The question is "what is the next Internet generation after the Thing Internet?" This paper envisions about the Tactile Internet which could be the next Internet generation in the near future. The paper will introduce what is the tactile internet, why it could be the next future Internet, as well as the impact and its application in the future society. Furthermore, some challenges and the requirements are presented to guide further research in this near future field.


title: Solutions of the buoyancy-drag equation with a time-dependent acceleration

abstract: We perform the analytic study of the the buoyancy-drag equation with a time-dependent acceleration $\gamma(t)$ by two methods. We first determine its equivalence class under the point transformations of Roger Liouville, and thus for some values of $\gamma(t)$ define a time-dependent Hamiltonian from which the buoyancy-drag equation can be derived. We then determine the Lie point symmetries of the buoyancy-drag equation, which only exist for values of $\gamma(t)$ including the previous ones, plus additional classes of accelerations for which the equation is reducible to an Abel equation. This allows us to exhibit two r\'egimes for the asymptotic (large time $t$) solution of the buoyancy-drag equation. %\textbf{ It is shown that they describe a mixing zone driven by the Rayleigh--Taylor instability and the Richtmyer--Meshkov instability, respectively.


title: Berry-Esseen estimates for regenerative processes under weak moment assumptions

abstract: We prove Berry-Esseen type rates of convergence for central limit theorems (CLTs) of regenerative processes which generalize previous results of Bolthausen under weaker moment assumptions. We then show how this general result can be applied to obtain rates of convergence for (1) CLTs for additive functionals of positive recurrent Markov chains under certain conditions on the strong mixing coefficients, and (2) annealed CLTs for certain ballistic random walks in random environments.


title: Wave function correlations and the AC conductivity of disordered wires beyond the Mott-Berezinskii law

abstract: In one-dimensional disordered wires electronic states are localized at any energy. Correlations of the states at close positive energies and the AC conductivity $\sigma(\omega)$ in the limit of small frequency are described by the Mott-Berezinskii theory. We revisit the instanton approach to the statistics of wave functions and AC transport valid in the tails of the spectrum (large negative energies). Applying our recent results on functional determinants, we calculate exactly the integral over gaussian fluctuations around the exact two-instanton saddle point. We derive correlators of wave functions at different energies beyond the leading order in the energy difference. This allows us to calculate corrections to the Mott-Berezinskii law (the leading small frequency asymptotic behavior of $\sigma(\omega)$) which approximate the exact result in a broad range of $\omega$. We compare our results with the ones obtained for positive energies.


title: Newton-Type Methods for Non-Convex Optimization Under Inexact Hessian Information

abstract: We consider variants of trust-region and cubic regularization methods for non-convex optimization, in which the Hessian matrix is approximated. Under mild conditions on the inexact Hessian, and using approximate solution of the corresponding sub-problems, we provide iteration complexity to achieve $ \epsilon $-approximate second-order optimality which have shown to be tight. Our Hessian approximation conditions constitute a major relaxation over the existing ones in the literature. Consequently, we are able to show that such mild conditions allow for the construction of the approximate Hessian through various random sampling methods. In this light, we consider the canonical problem of finite-sum minimization, provide appropriate uniform and non-uniform sub-sampling strategies to construct such Hessian approximations, and obtain optimal iteration complexity for the corresponding sub-sampled trust-region and cubic regularization methods.


title: Observability inequalities on measurable sets for the Stokes system and applications

abstract: In this paper, we establish spectral inequalities on measurable sets of positive Lebesgue measure for the Stokes operator, as well as an observability inequalities on space-time measurable sets of positive measure for non-stationary Stokes system. Furthermore, we provide their applications in the theory of shape optimization and time optimal control problems.


title: Formation of freely floating sub-stellar objects via close encounters

abstract: We numerically studied close encounters between a young stellar system hosting a massive, gravitationally fragmenting disk and an intruder diskless star with the purpose to determine the evolution of fragments that have formed in the disk prior to the encounter. Numerical hydrodynamics simulations in the non-inertial frame of reference of the host star were employed to simulate the prograde and retrograde co-planar encounters. The initial configuration of the target system (star plus disk) was obtained via a separate numerical simulation featuring the gravitational collapse of a solar-mass pre-stellar core. We found that close encounters can lead to the ejection of fragments that have formed in the disk of the target prior to collision. In particular, prograde encounters are more efficient in ejecting the fragments than the retrograde encounters. The masses of ejected fragments are in the brown-dwarf mass regime. They also carry away an appreciable amount of gas in their gravitational radius of influence, implying that these objects may possess extended disks or envelopes, as also suggested by Thies et al. (2015). Close encounters can also lead to the ejection of entire spiral arms, followed by fragmentation and formation of freely-floating objects straddling the planetary mass limit. However, numerical simulations with a higher resolution are needed to confirm this finding.


title: The Casimir effect for pistons with transmittal boundary conditions

abstract: This work focuses on the analysis of the Casimir effect for pistons subject to transmittal boundary conditions. In particular we consider, as piston configuration, a direct product manifold of the type $I\times N$ where $I$ is a closed interval of the real line and $N$ is a smooth compact Riemannian manifold. By utilizing the spectral zeta function regularization technique, we compute the Casimir energy of the system and the Casimir force acting on the piston. Explicit results for the force are provided when the manifold $N$ is a $d$-dimensional ball.


title: On the existence of limit cycles and invariant surfaces of sewing piecewise linear differential systems on $\mathbb{R}^3$

abstract: We consider a class of discontinuous piecewise linear differential systems in $\mathbb{R}^3$ with two pieces separated by a plane. In this class we show that there exist differential systems having: a unique limit cycle, a unique one-parameter family of periodic orbits, scrolls, invariant cylinders foliated by orbits which can be periodic or no.


title: Origins of the Ambient Solar Wind: Implications for Space Weather

abstract: The Sun's outer atmosphere is heated to temperatures of millions of degrees, and solar plasma flows out into interplanetary space at supersonic speeds. This paper reviews our current understanding of these interrelated problems: coronal heating and the acceleration of the ambient solar wind. We also discuss where the community stands in its ability to forecast how variations in the solar wind (i.e., fast and slow wind streams) impact the Earth. Although the last few decades have seen significant progress in observations and modeling, we still do not have a complete understanding of the relevant physical processes, nor do we have a quantitatively precise census of which coronal structures contribute to specific types of solar wind. Fast streams are known to be connected to the central regions of large coronal holes. Slow streams, however, appear to come from a wide range of sources, including streamers, pseudostreamers, coronal loops, active regions, and coronal hole boundaries. Complicating our understanding even more is the fact that processes such as turbulence, stream-stream interactions, and Coulomb collisions can make it difficult to unambiguously map a parcel measured at 1 AU back down to its coronal source. We also review recent progress -- in theoretical modeling, observational data analysis, and forecasting techniques that sit at the interface between data and theory -- that gives us hope that the above problems are indeed solvable.


title: Differential Dynamic Microscopy microrheology of soft materials: a tracking-free determination of the frequency-dependent loss and storage moduli

abstract: Particle tracking microrheology (PT-$\mu$r) exploits the thermal motion of embedded particles to probe the local mechanical properties of soft materials. Despite its appealing conceptual simplicity, PT-$\mu$r requires calibration procedures and operating assumptions that constitute a practical barrier to a wider adoption. Here we demonstrate Differential Dynamic Microscopy microrheology (DDM-$\mu$r), a tracking-free approach based on the multi-scale, temporal correlation study of the image intensity fluctuations that are observed in microscopy experiments as a consequence of the motion of the tracers. We show that the mechanical moduli of an arbitrary sample are determined correctly in a wide frequency range, provided that the standard DDM analysis is reinforced with a novel, iterative, self-consistent procedure that fully exploits the multi-scale information made available by DDM. Our approach to DDM-$\mu$r does not require any prior calibration, is in agreement with both traditional rheology and Diffusing Wave Spectroscopy microrheology, and works in conditions where PT-$\mu$r fails, providing thus an operationally simple, calibration-free probe of soft materials.


title: Mean Field Game Theory for Agents with Individual-State Partial Observations

abstract: Subject to reasonable conditions, in large population stochastic dynamics games, where the agents are coupled by the system's mean field (i.e. the state distribution of the generic agent) through their nonlinear dynamics and their nonlinear cost functions, it can be shown that a best response control action for each agent exists which (i) depends only upon the individual agent's state observations and the mean field, and (ii) achieves a $\epsilon$-Nash equilibrium for the system. In this work we formulate a class of problems where each agent has only partial observations on its individual state. We employ nonlinear filtering theory and the Separation Principle in order to analyze the game in the asymptotically infinite population limit. The main result is that the $\epsilon$-Nash equilibrium property holds where the best response control action of each agent depends upon the conditional density of its own state generated by a nonlinear filter, together with the system's mean field. Finally, comparing this MFG problem with state estimation to that found in the literature with a major agent whose partially observed state process is independent of the control action of any individual agent, it is seen that, in contrast, the partially observed state process of any agent in this work depends upon that agent's control action.


title: Brownian bricklayer: a random space-filling curve

abstract: Let $(B(t),\,t\ge0)$ denote the standard, one-dimensional Wiener process and $(\ell(y,t);\, y\in\mathbb{R},\, t\ge0)$ its local time at level $y$ up to time $t$. Then $\big( (B(t),\, \ell(B(t),t)),\; t\ge0 \big)$ is a random path that fills the upper half-plane, covering one unit of area per unit time.


title: Ridge Production in High-Multiplicity Hadronic Ultra-Peripheral Proton-Proton Collisions

abstract: An unexpected result at the RHIC and the LHC is the observation that high-multiplicity hadronic events in heavy-ion and proton-proton collisions are distributed as two "ridges", approximately flat in rapidity and opposite in azimuthal angle. We propose that the origin of these events is due to the inelastic collisions of aligned gluonic flux tubes that underly the color confinement of the quarks in each proton. We predict that high-multiplicity hadronic ridges will also be produced in the high energy photon-photon collisions accessible at the LHC in ultra-peripheral proton-proton collisions or at a high energy electron-positron collider. We also note the orientation of the flux tubes between the quark and antiquark of each high energy photon will be correlated with the plane of the scattered proton or lepton. Thus hadron production and ridge formation can be controlled in a novel way at the LHC by observing the azimuthal correlations of the scattering planes of the ultra-peripheral protons with the orientation of the produced ridges. Photon-photon collisions can thus illuminate the fundamental physics underlying the ridge effect and the physics of color confinement in QCD.


title: Understanding Modern Intrusion Detection Systems: A Survey

abstract: Intrusion detection systems (IDS) help detect unauthorized activities or intrusions that may compromise the confidentiality, integrity or availability of a resource. This paper presents a general overview of IDSs, the way they are classified, and the different algorithms used to detect anomalous activities. It attempts to compare the various methods of intrusion techniques. It also describes the various approaches and the importance of IDSs in information security.


title: A Proof of Atanassov's Conjecture and Other Generalizations of Sperner's Lemma

abstract: A simple proof of Atanassov's Conjecture is presented. Atanassov's Conjecture is a generalization of Sperner's Lemma, a lemma which has been used to prove Brouwer's Fixed Point Theorem, among other fixed point theorems. The proof of Atanassov's Conjecture is based on the Brouwer Degree of maps and is extremely elementary. It is much simpler than the original proofs given for the conjecture and provides some insight into the nature of the conjecture. Furthermore, a generalization of the conjecture is presented and finally a new theorem, similar to the original Sperner Lemma, is proved.


title: Real representations of finite symplectic groups over fields of characteristic two

abstract: We prove that when $q$ is a power of $2$, every complex irreducible representation of $\mathrm{Sp}(2n, \mathbb{F}_q)$ may be defined over the real numbers, that is, all Frobenius-Schur indicators are 1. We also obtain a generating function for the sum of the degrees of the unipotent characters of $\mathrm{Sp}(2n, \mathbb{F}_q)$, or of $\mathrm{SO}(2n+1, \mathbb{F}_q)$, for any prime power $q$.


title: The distribution of shortest path lengths in a class of node duplication network models

abstract: We present analytical results for the distribution of shortest path lengths (DSPL) in a network growth model which evolves by node duplication (ND). The model captures essential properties of the structure and growth dynamics of social networks, acquaintance networks and scientific citation networks, where duplication mechanisms play a major role. Starting from an initial seed network, at each time step a random node, referred to as a mother node, is selected for duplication. Its daughter node is added to the network, forming a link to the mother node, and with probability $p$ to each one of its neighbors. The degree distribution of the resulting network turns out to follow a power-law distribution, thus the ND network is a scale-free network. To calculate the DSPL we derive a master equation for the time evolution of the probability $P_t(L=\ell)$, $\ell=1,2,\dots$, where $L$ is the distance between a pair of nodes and $t$ is the time. Finding an exact analytical solution of the master equation, we obtain a closed form expression for $P_t(L=\ell)$. The mean distance, $\langle L \rangle_t$, and the diameter, $\Delta_t$, are found to scale like $\ln t$, namely the ND network is a small world network. The variance of the DSPL is also found to scale like $\ln t$. Interestingly, the mean distance and the diameter exhibit properties of a small world network, rather than the ultrasmall world network behavior observed in other scale-free networks, in which $\langle L \rangle_t \sim \ln \ln t$.


title: Massively-Parallel Feature Selection for Big Data

abstract: We present the Parallel, Forward-Backward with Pruning (PFBP) algorithm for feature selection (FS) in Big Data settings (high dimensionality and/or sample size). To tackle the challenges of Big Data FS PFBP partitions the data matrix both in terms of rows (samples, training examples) as well as columns (features). By employing the concepts of $p$-values of conditional independence tests and meta-analysis techniques PFBP manages to rely only on computations local to a partition while minimizing communication costs. Then, it employs powerful and safe (asymptotically sound) heuristics to make early, approximate decisions, such as Early Dropping of features from consideration in subsequent iterations, Early Stopping of consideration of features within the same iteration, or Early Return of the winner in each iteration. PFBP provides asymptotic guarantees of optimality for data distributions faithfully representable by a causal network (Bayesian network or maximal ancestral graph). Our empirical analysis confirms a super-linear speedup of the algorithm with increasing sample size, linear scalability with respect to the number of features and processing cores, while dominating other competitive algorithms in its class.


title: Limited Visibility Cops and Robbers

abstract: We consider a variation of the Cops and Robber game where the cops can only see the robber when the distance between them is at most a fixed parameter $\ell$. We consider the basic consequences of this definition for some simple graph families, and show that this model is not monotonic, unlike common models where the robber is invisible. We see that cops' strategy consists of a phase in which they need to "see" the robber (move within distance $\ell$ of the robber), followed by a phase in which they capture the robber. In some graphs the first phase is the most resource intensive phase (in terms of number of cops needed), while in other graphs, it is the second phase. Finally, we characterize those trees for which $k$ cops are sufficient to guarantee capture of the robber for all $\ell \ge 1$.


title: Bootstrapping the Out-of-sample Predictions for Efficient and Accurate Cross-Validation

abstract: Cross-Validation (CV), and out-of-sample performance-estimation protocols in general, are often employed both for (a) selecting the optimal combination of algorithms and values of hyper-parameters (called a configuration) for producing the final predictive model, and (b) estimating the predictive performance of the final model. However, the cross-validated performance of the best configuration is optimistically biased. We present an efficient bootstrap method that corrects for the bias, called Bootstrap Bias Corrected CV (BBC-CV). BBC-CV's main idea is to bootstrap the whole process of selecting the best-performing configuration on the out-of-sample predictions of each configuration, without additional training of models. In comparison to the alternatives, namely the nested cross-validation and a method by Tibshirani and Tibshirani, BBC-CV is computationally more efficient, has smaller variance and bias, and is applicable to any metric of performance (accuracy, AUC, concordance index, mean squared error). Subsequently, we employ again the idea of bootstrapping the out-of-sample predictions to speed up the CV process. Specifically, using a bootstrap-based hypothesis test we stop training of models on new folds of statistically-significantly inferior configurations. We name the method Bootstrap Corrected with Early Dropping CV (BCED-CV) that is both efficient and provides accurate performance estimates.


title: X-ray Emission from SN 2012ca: A Type Ia-CSM Supernova Explosion in a Dense Surrounding Medium

abstract: X-ray emission is one of the signposts of circumstellar interaction in supernovae (SNe), but until now, it has been observed only in core-collapse SNe. The level of thermal X-ray emission is a direct measure of the density of the circumstellar medium (CSM), and the absence of X-ray emission from Type Ia SNe has been interpreted as a sign of a very low density CSM. In this paper, we report late-time (500--800 days after discovery) X-ray detections of SN 2012ca in {\it Chandra} data. The presence of hydrogen in the initial spectrum led to a classification of Type Ia-CSM, ostensibly making it the first SN~Ia detected with X-rays. Our analysis of the X-ray data favors an asymmetric medium, with a high-density component which supplies the X-ray emission. The data suggest a number density $> 10^8$ cm$^{-3}$ in the higher-density medium, which is consistent with the large observed Balmer decrement if it arises from collisional excitation. This is high compared to most core-collapse SNe, but it may be consistent with densities suggested for some Type IIn or superluminous SNe. If SN 2012ca is a thermonuclear SN, the large CSM density could imply clumps in the wind, or a dense torus or disk, consistent with the single-degenerate channel. A remote possibility for a core-degenerate channel involves a white dwarf merging with the degenerate core of an asymptotic giant branch star shortly before the explosion, leading to a common envelope around the SN.


title: Evolution of the filamentary 3-Kelvin phase in Pb-Ru-Sr2RuO4 Josephson junctions

abstract: The evolution of the filamentary 3-Kelvin (3K) superconducting phase at the interface between Sr2RuO4 and Ru-metal inclusions is discussed for Pb-Ru-Sr2RuO4 contacts. Using the Ginzburg-Landau model, the influence of proximity-induced superconductivity in Ru on the topology of the 3K phase is analyzed. Because the s-wave order parameter in Ru favors a 3K state of trivial topology, the onset temperature of the phase with a non-trivial topology, which is compatible with the bulk phase of Sr2RuO4, is essentially reduced to the bulk transition temperature. Because the topology of the superconducting state in Sr2RuO4 is crucial for the Josephson effect through Pb-Ru-Sr2RuO4 contacts, this model qualitatively reproduces the experimental observation of the anomalous temperature dependence on the critical current.


title: Orbital Physics

abstract: A tutorial introduction into the principles of Orbital Physics in strongly correlated transition metal oxides.


title: A family of cyclic quartic fields with explicit fundamental units

abstract: We construct a family of quartic polynomials with cyclic Galois group and show that the roots of the polynomials are fundamental units or generate a subgroup of index 5.


title: Symmetry adapted ro-vibrational basis functions for variational nuclear motion calculations: TROVE approach

abstract: We present a general, numerically motivated approach to the construction of symmetry adapted basis functions for solving ro-vibrational Schr\"{o}dinger equations. The approach is based on the property of the Hamiltonian operator to commute with the complete set of symmetry operators and hence to reflect the symmetry of the system. The symmetry adapted ro-vibrational basis set is constructed numerically by solving a set of reduced vibrational eigenvalue problems. In order to assign the irreducible representations associated with these eigenfunctions, their symmetry properties are probed on a grid of molecular geometries with the corresponding symmetry operations. The transformation matrices are re-constructed by solving over-determined systems of linear equations related to the transformation properties of the corresponding wavefunctions on the grid. Our method is implemented in the variational approach TROVE and has been successfully applied to a number of problems covering the most important molecular symmetry groups. Several examples are used to illustrate the procedure, which can be easily applied to different types of coordinates, basis sets, and molecular systems.


title: Characterizing Hydration Properties Based on the Orientational Structure of Interfacial Water Molecules

abstract: In this manuscript, we present a general computational method for characterizing the molecular structure of liquid water interfaces as sampled from atomistic simulations. With this method, the interfacial structure is quantified based on the statistical analysis of the orientational configurations of interfacial water molecules. The method can be applied to generate position dependent maps of the hydration properties of heterogeneous surfaces. We present an application to the characterization of surface hydrophobicity, which we use to analyze simulations of a hydrated protein. We demonstrate that this approach is capable of revealing microscopic details of the collective dynamics of a protein hydration shell.


title: Characterizing stationary 1+1 dimensional lattice polymer models

abstract: Motivated by the study of directed polymer models with random weights on the square integer lattice, we define an integrability property shared by the log-gamma, strict-weak, beta, and inverse-beta models. This integrability property encapsulates a preservation in distribution of ratios of partition functions which in turn implies the so called Burke property. We show that under some regularity assumptions, up to trivial modifications, there exist no other models possessing this property.


title: Self-Organization in Traffic Lights: Evolution of Signal Control with Advances in Sensors and Communications

abstract: Traffic signals are ubiquitous devices that first appeared in 1868. Recent advances in information and communications technology (ICT) have led to unprecedented improvements in such areas as mobile handheld devices (i.e., smartphones), the electric power industry (i.e., smart grids), transportation infrastructure, and vehicle area networks. Given the trend towards interconnectivity, it is only a matter of time before vehicles communicate with one another and with infrastructure. In fact, several pilots of such vehicle-to-vehicle and vehicle-to-infrastructure (e.g. traffic lights and parking spaces) communication systems are already operational. This survey of autonomous and self-organized traffic signaling control has been undertaken with these potential developments in mind. Our research results indicate that, while many sophisticated techniques have attempted to improve the scheduling of traffic signal control, either real-time sensing of traffic patterns or a priori knowledge of traffic flow is required to optimize traffic. Once this is achieved, communication between traffic signals will serve to vastly improve overall traffic efficiency.


title: The Norma spiral arm: large-scale pitch angle

abstract: In the inner Galaxy, we statistically find the mean pitch angle of the recently mapped Norma arm in two galactic quadrants (observed tangentially at galactic longitudes near l=328 degrees and near l=20 degrees), using the twin-tangent method, and obtain -13.7 +/-1.4 degrees. We compared with other measurements in the literature. Also, using the latest published data on pitch angle and the latest published data on the radial starting point of the four arms (RGal = 2.2 kpc) in each galactic quadrant, a revised velocity plot of the Norma spiral arm is made, along with other spiral arms in the Milky Way, in each Galactic quadrant.


title: Decentralized Computation of Effective Resistances and Acceleration of Consensus Algorithms

abstract: The effective resistance between a pair of nodes in a weighted undirected graph is defined as the potential difference induced between them when a unit current is injected at the first node and extracted at the second node, treating edge weights as the conductance values of edges. The effective resistance is a key quantity of interest in many applications and fields including solving linear systems, Markov Chains and continuous-time averaging networks. We develop an efficient linearly convergent distributed algorithm for computing effective resistances and demonstrate its performance through numerical studies. We also apply our algorithm to the consensus problem where the aim is to compute the average of node values in a distributed manner. We show that the distributed algorithm we developed for effective resistances can be used to accelerate the convergence of the classical consensus iterations considerably by a factor depending on the network structure.


title: The Einstein-Vlasov system in spherical symmetry II: spherical perturbations of static solutions

abstract: We reduce the equations governing the spherically symmetric perturbations of static spherically symmetric solutions of the Einstein-Vlasov system (with either massive or massless particles) to a single stratified wave equation $-\psi_{,tt}=H\psi$, with $H$ containing second derivatives in radius, and integrals over energy and angular momentum. We identify an inner product with respect to which $H$ is symmetric, and use the Ritz method to approximate the lowest eigenvalues of $H$ numerically. For two representative background solutions with massless particles we find a single unstable mode with a growth rate consistent with the universal one found by Akbarian and Choptuik in nonlinear numerical time evolutions.


title: Topology, geometry and quantum interference in condensed matter physics

abstract: The methods of quantum field theory are widely used in condensed matter physics. In particular, the concept of an effective action was proven useful when studying low temperature and long distance behavior of condensed matter systems. Often the degrees of freedom which appear due to spontaneous symmetry breaking or an emergent gauge symmetry, have non-trivial topology. In those cases, the terms in the effective action describing low energy degrees of freedom can be metric independent (topological). We consider a few examples of topological terms of different types and discuss some of their consequences. We will also discuss the origin of these terms and calculate effective actions for several fermionic models. In this approach, topological terms appear as phases of fermionic determinants and represent quantum anomalies of fermionic models. In addition to the wide use of topological terms in high energy physics, they appeared to be useful in studies of charge and spin density waves, Quantum Hall Effect, spin chains, frustrated magnets, topological insulators and superconductors, and some models of high-temperature superconductivity.


title: Applications of Trajectory Data from the Perspective of a Road Transportation Agency: Literature Review and Maryland Case Study

abstract: Transportation agencies have an opportunity to leverage increasingly-available trajectory datasets to improve their analyses and decision-making processes. However, this data is typically purchased from vendors, which means agencies must understand its potential benefits beforehand in order to properly assess its value relative to the cost of acquisition. While the literature concerned with trajectory data is rich, it is naturally fragmented and focused on technical contributions in niche areas, which makes it difficult for government agencies to assess its value across different transportation domains. To overcome this issue, the current paper explores trajectory data from the perspective of a road transportation agency interested in acquiring trajectories to enhance its analyses. The paper provides a literature review illustrating applications of trajectory data in six areas of road transportation systems analysis: demand estimation, modeling human behavior, designing public transit, traffic performance measurement and prediction, environment and safety. In addition, it visually explores 20 million GPS traces in Maryland, illustrating existing and suggesting new applications of trajectory data.


title: Axionic black branes in the k-essence sector of the Horndeski model

abstract: We construct new black brane solutions in the context of Horndeski gravity, in particular in its K-essence sector. These models are supported by axion scalar fields that depend only on the horizon coordinates. The dynamics of these fields is determined by a K-essence term that includes the standard kinetic term $X$ and a correction of the form $X^{k}$. We find both neutral and charged exact and analytic solutions in $D$-dimensions, which are asymptotically anti de Sitter. Then, we describe in detail the thermodynamical properties of the four-dimensional solutions and we compute the dual holographic DC conductivity.


title: The boundedness of multilinear Calder\'on-Zygmund operators on weighted and variable Hardy spaces

abstract: We establish the boundedness of the multilinear Calder\'on-Zygmund operators from a product of weighted Hardy spaces into a weighted Hardy or Lebesgue space. Our results generalize to the weighted setting results obtained by Grafakos and Kalton (Collect. Math. 2001) and recent work by the third author, Grafakos, Nakamura, and Sawano. As part of our proof we provide a finite atomic decomposition theorem for weighted Hardy spaces, which is interesting in its own right. As a consequence of our weighted results, we prove the corresponding estimates on variable Hardy spaces. Our main tool is a multilinear extrapolation theorem that generalizes a result of the first author and Naibo (Differential Integral Equations 2016).


title: A Bayesian Mixture Model for Clustering on the Stiefel Manifold

abstract: Analysis of a Bayesian mixture model for the Matrix Langevin distribution on the Stiefel manifold is presented. The model exploits a particular parametrization of the Matrix Langevin distribution, various aspects of which are elaborated on. A general, and novel, family of conjugate priors, and an efficient Markov chain Monte Carlo (MCMC) sampling scheme for the corresponding posteriors is then developed for the mixture model. Theoretical properties of the prior and posterior distributions, including posterior consistency, are explored in detail. Extensive simulation experiments are presented to validate the efficacy of the framework. Real-world examples, including a large scale neuroimaging dataset, are analyzed to demonstrate the computational tractability of the approach.


title: Experimental Realization of a Minimal Microscopic Heat Engine

abstract: Microscopic heat engines are microscale systems that convert energy flows between heat reservoirs into work or systematic motion. We have experimentally realized a minimal microscopic heat engine. It consists of a colloidal Brownian particle optically trapped in an elliptical potential well and simultaneously coupled to two heat baths at different temperatures acting along perpendicular directions. For a generic arrangement of the principal directions of the baths and the potential, the symmetry of the system is broken, such that the heat flow drives a systematic gyrating motion of the particle around the potential minimum. Using the experimentally measured trajectories, we quantify the gyrating motion of the particle, the resulting torque that it exerts on the potential, and the associated heat flow between the heat baths. We find excellent agreement between the experimental results and the theoretical predictions.


title: Quasi-Topological Ricci Polynomial Gravities

abstract: Quasi-topological terms in gravity can be viewed as those that give no contribution to the equations of motion for a special subclass of metric ans\"atze. They therefore play no r\^ole in constructing these solutions, but can affect the general perturbations. We consider Einstein gravity extended with Ricci tensor polynomial invariants, which admits Einstein metrics with appropriate effective cosmological constants as its vacuum solutions. We construct three types of quasi-topological gravities. The first type is for the most general static metrics with spherical, toroidal or hyperbolic isometries. The second type is for the special static metrics where $g_{tt} g_{rr}$ is constant. The third type is the linearized quasi-topological gravities on the Einstein metrics. We construct and classify results that are either dependent on or independent of dimensions, up to the tenth order. We then consider a subset of these three types and obtain Lovelock-like quasi-topological gravities, that are independent of the dimensions. The linearized gravities on Einstein metrics on all dimensions are simply Einstein and hence ghost free. The theories become quasi-topological on static metrics in one specific dimension, but non-trivial in others. We also focus on the quasi-topological Ricci cubic invariant in four dimensions as a specific example to study its effect on holography, including shear viscosity, thermoelectric DC conductivities and butterfly velocity. In particular, we find that the holographic diffusivity bounds can be violated by the quasi-topological terms, which can induce an extra massive mode that yields a butterfly velocity unbound above.


title: 3D Morphable Models as Spatial Transformer Networks

abstract: In this paper, we show how a 3D Morphable Model (i.e. a statistical model of the 3D shape of a class of objects such as faces) can be used to spatially transform input data as a module (a 3DMM-STN) within a convolutional neural network. This is an extension of the original spatial transformer network in that we are able to interpret and normalise 3D pose changes and self-occlusions. The trained localisation part of the network is independently useful since it learns to fit a 3D morphable model to a single image. We show that the localiser can be trained using only simple geometric loss functions on a relatively small dataset yet is able to perform robust normalisation on highly uncontrolled images including occlusion, self-occlusion and large pose changes.


title: Possible many-body localization in a long-lived finite-temperature ultracold quasi-neutral molecular plasma

abstract: We argue that the quenched ultracold plasma presents an experimental platform for studying quantum many-body physics of disordered systems in the long-time and finite energy-density limits. We consider an experiment that quenches a plasma of nitric oxide to an ultracold system of Rydberg molecules, ions and electrons that exhibits a long-lived state of arrested relaxation. The qualitative features of this state fail to conform with classical models. Here, we develop a microscopic quantum description for the arrested phase based on an effective many-body spin Hamiltonian that includes both dipole-dipole and van der Waals interactions. This effective model appears to offer a way to envision the essential quantum disordered non-equilibrium physics of this system.

categories: physics.plasm-ph cond-mat.dis-nn cond-mat.mes-hall cond-mat.quant-gas physics.atom-ph


title: A survey of hyperbolic knot theory

abstract: We survey some tools and techniques for determining geometric properties of a link complement from a link diagram. In particular, we survey the tools used to estimate geometric invariants in terms of basic diagrammatic link invariants. We focus on determining when a link is hyperbolic, estimating its volume, and bounding its cusp shape and cusp area. We give sample applications and state some open questions and conjectures.


title: Linear Strain Tensors on Hyperbolic Surfaces and Asymptotic Theories for Thin Shells

abstract: We perform a detailed analysis of the solvability of linear strain equations on hyperbolic surfaces. We prove that if the surface is a smooth noncharacteristic region, any first order infinitesimal isometry can be matched to an infinitesimal isometry of an arbitrarily high order. The implications of this result for the elasticity of thin hyperbolic shells are discussed.


title: Rigidity phenomenons for an infinite dimension diffusion operator and cases of near equality in the Bakry--Ledoux isoperimetric comparison Theorem

abstract: We study rigidity phenomenons for infinite dimension diffusion operators of positive curvature using semigroup interpolations. In particular, for such diffusions, an analogous statement of Obata's theorem is established. Moreover, the same rigidity holds for the Bakry--Ledoux isoperimetric comparison Theorem - a result due to Franck Morgan. Recently, Mossel and Neeman have exploited the semigroup proof of Bakry and Ledoux to derive dimension free bounds for the Gaussian isoperimetry. We extend theirs arguments to obtain in particular new quantitative bounds on the spherical isoperimetric inequality in large dimension.


title: Enhancement of the Triple Alpha Rate in a Hot Dense Medium

abstract: In a sufficiently hot and dense astrophysical environment the rate of the triple-alpha (3alpha) reaction can increase greatly over the value appropriate for helium burning stars owing to hadronically induced de-excitation of the Hoyle state. In this paper we use a statistical model to evaluate the enhancement as a function of temperature and density. For a density of $10^6 gm cm^{-3}$ enhancements can exceed a factor of one-hundred. In high temperature/density situations, the enhanced 3alpha rate is a better estimate of this rate and should be used in these circumstances. We then examine the effect of these enhancements on production of $^{12}$C in the neutrino wind following a supernova explosion and in an x-ray burster.


title: The semi-infinite intersection cohomology sheaf-II: the Ran space version

abstract: This paper is a sequel to [Ga1]. We study the semi-infinite category on the Ran version of the affine Grassmannian, and study a particular object in it that we call the semi-infinite intersection cohomology sheaf. Unlike the situation of [Ga1], this version of the semi-infinite intersection IC sheaf is defined as the middle of extension of the constant (more precisely, dualizing) sheaf on the basic stratum, in a certain t-structure. We give several explicit description and characterizations of our semi-infinite intersection IC sheaf: we describe its !- and *- stalks; we present it explicitly as a colimit; we relate it to the IC sheaf of Drinfeld's relative compactification; we describe it via the Drinfeld-Plucker formalism.


title: What Do the Hitomi Observations Tell Us About the Turbulent Velocities in the Perseus Cluster? Probing the Velocity Field with Mock Observations

abstract: Hitomi made the first direct measurements of galaxy cluster gas motions in the Perseus cluster, which implied that its core is fairly "quiescent", with velocities less than $\sim$200 km s$^{-1}$, despite the presence of an active galactic nucleus and sloshing cold fronts. Building on previous work, we use synthetic Hitomi/SXS observations of the hot plasma of a simulated cluster with sloshing gas motions and varying viscosity to analyze its velocity structure in a similar fashion. We find that sloshing motions can produce line shifts and widths similar to those measured by Hitomi. We find these measurements are unaffected by the value of the gas viscosity, since its effects are only manifested clearly on angular scales smaller than the SXS $\sim$1' PSF. The PSF biases the line shift of regions near the core as much as $\sim 40-50$ km s$^{-1}$, so it is crucial to model this effect carefully. We also infer that if sloshing motions dominate the observed velocity gradient, Perseus must be observed from a line of sight which is somewhat inclined from the plane of these motions, but one that still allows the spiral pattern to be visible. Finally, we find that assuming isotropy of motions can underestimate the total velocity and kinetic energy of the core in our simulation by as much as $\sim$60%. However, the total kinetic energy in our simulated cluster core is still less than 10% of the thermal energy in the core, in agreement with the Hitomi observations.


title: Role of local response in manipulating the elastic properties of disordered solids by bond removal

abstract: We explore the range over which the elasticity of disordered spring networks can be manipulated by the removal of selected bonds. By taking into account the local response of a bond, we demonstrate that the effectiveness of pruning can be improved so that auxetic (i.e., negative Poisson's ratio) materials can be designed without the formation of cracks even while maintaining the global isotropy of the network. The bulk, $B$, and shear, $G$, moduli scale with the number of bonds removed and we estimate the exponents characterizing these power laws. We also find that there are spatial correlation lengths in the change of $B$ and $G$ upon removing different bonds that diverge as the network approaches the isostatic limit where the excess coordination number $\Delta Z\rightarrow0$.


title: XMM-Newton X-ray and HST weak gravitational lensing study of the extremely X-ray luminous galaxy cluster ClJ120958.9+495352 ($z=0.902$)

abstract: Observations of relaxed, massive and distant clusters can provide important tests of standard cosmological models e.g. using the gas mass fraction. We study the very luminous, high redshift ($z=0.902$) galaxy cluster ClJ120958.9+495352 using XMM-Newton data and measure the temperature profile and cooling time to investigate the dynamical status with respect to the presence of a cool core as well as global cluster properties. We use HST weak lensing data to estimate its total mass and determine the gas mass fraction. We perform a spectral analysis using an XMM-Newton observation of 15ks cleaned exposure time. As the treatment of the background is crucial, we use two different approaches to account for the background emission to verify our results. We account for point-spread-function effects and deproject our results to estimate the gas mass fraction of the cluster. We measure weak lensing galaxy shapes from mosaic HST imaging and select background galaxies photometrically in combination with imaging data from the William Herschel Telescope. The X-ray luminosity of ClJ120958.9+495352 in the 0.1-2.4keV band estimated from our XMM-Newton data is $L_X = (13.4_{-1.0}^{+1.2})\times10^{44}$erg/s and thus it is one of the most X-ray luminous clusters known at similarly high redshift. We find clear indications for the presence of a cool core from the temperature profile and the central cooling time, which is very rare at such high redshifts. Based on the weak lensing analysis we estimate a cluster mass of $M_\mathrm{500}/10^{14}M_\odot=4.4^{+2.2}_{-2.0}(\mathrm{stat.})\pm0.6(\mathrm{sys.})$ and a gas mass fraction of $f_\mathrm{gas,2500} = 0.11_{-0.03}^{+0.06}$ in good agreement with previous findings for high redshift and local clusters.


title: The growth rates of automaton groups generated by reset automata

abstract: We give sufficient conditions for when groups generated by automata in a class $\mathcal{C}$ of transducers, which contains the class of reset automata transducers, have infinite order. As a consequence we also demonstrate that if a group generated by an automata in $\mathcal{C}$ is infinite, then it contains a free semigroup of rank at least 2. This gives a new proof, in the context of groups generated by automaton in $\mathcal{C}$, of a result of Chou showing that finitely generated elementary amenable groups either have polynomial growth or contain a free semigroup of rank at least 2.


title: Totally odd depth-graded multiple zeta values and period polynomials

abstract: Inspired by a paper of Tasaka, we study the relations between totally odd, motivic depth-graded multiple zeta values. Our main objective is to determine the rank of the matrix $C_{N,r}$ defined by Brown. We will give new proofs for (conjecturally optimal) upper bounds on the rank of $C_{N,3}$ and $C_{N,4}$, which were first obtained by Tasaka. Finally, we present a recursive approach to the general problem, which reduces evaluating the rank of $C_{N,r}$ to an isomorphism conjecture.


title: Geometric mean of probability measures and geodesics of Fisher information metric

abstract: The space of all probability measures having positive density function on a connected compact smooth manifold $M$, denoted by $\mathcal{P}(M)$, carries the Fisher information metric $G$. We define the geometric mean of probability measures by the aid of which we investigate information geometry of $\mathcal{P}(M)$, equipped with $G$. We show that a geodesic segment joining arbitrary probability measures $\mu_1$ and $\mu_2$ is expressed by using the normalized geometric mean of its endpoints. As an application, we show that any two points of $\mathcal{P}(M)$ can be joined by a unique geodesic. Moreover, we prove that the function $\ell$ defined by $\ell(\mu_1, \mu_2):=2\arccos\int_M \sqrt{p_1\,p_2}\,d\lambda$, $\mu_i=p_i\,\lambda$, $i=1,2$ gives the Riemannian distance function on $\mathcal{P}(M)$. It is shown that geodesics are all minimal.


title: Quantum Dot in Interacting Environments

abstract: A quantum impurity attached to an interacting quantum wire gives rise to an array of of new phenomena. Using Bethe Ansatz we solve exactly models describing two geometries of a quantum dot coupled to an interacting quantum wire: a quantum dot that is (i) side-coupled and (ii) embedded in a Luttinger liquid. We find the eigenstates and determine the spectrum through the Bethe Ansatz equations. Using this we derive exact expressions for the ground state dot occupation. The thermodynamics are then studied using the thermodynamics Bethe Ansatz equations. It is shown that at low energies the dot becomes fully hybridized and acts as a backscattering impurity or tunnel junction depending on the geometry and furthermore that the two geometries are related by changing the sign of the interactions. Although remaining strongly coupled for all values of the interaction in the wire, there exists competition between the tunneling and backscattering leading to a suppression or enhancement of the dot occupation depending on the sign of the bulk interactions.


title: The duration of load effect in lumber as stochastic degradation

abstract: This paper proposes a gamma process for modelling the damage that accumulates over time in the lumber used in structural engineering applications when stress is applied. The model separates the stochastic processes representing features internal to the piece of lumber on the one hand, from those representing external forces due to applied dead and live loads. The model applies those external forces through a time-varying population level function designed for time-varying loads. The application of this type of model, which is standard in reliability analysis, is novel in this context, which has been dominated by accumulated damage models (ADMs) over more than half a century. The proposed model is compared with one of the traditional ADMs. Our statistical results based on a Bayesian analysis of experimental data highlight the limitations of using accelerated testing data to assess long-term reliability, as seen in the wide posterior intervals. This suggests the need for more comprehensive testing in future applications, or to encode appropriate expert knowledge in the priors used for Bayesian analysis.


title: Geometric Dependence of Strong Field Enhanced Ionization in D$_{2}$O

abstract: We have studied strong-field enhanced dissociative ionization of D$_{2}$O in 40 fs, 800 nm laser pulses with focused intensities of $< 1 - 3 \times 10^{15}W/cm^2$ by resolving the charged fragment momenta with respect to the laser polarization. We observe dication dissociation into OD$^{+}$/D$^{+}$ dominates when the polarization is out of the plane of the molecule, whereas trication dissociation into O$^{+}$/D$^{+}$/D$^{+}$ is strongly dominant when the polarization is aligned along the D-D axis. Dication dissociation into O/D$^{+}$/D$^{+}$, and O$^{+}$/D$_2$$^{+}$ is not seen, nor is there any significant fragmentation into multiple ions when the laser is polarized along the C$_{2v}$ symmetry axis of the molecule. Even below the saturation intensity for OD$^{+}$/D$^{+}$, the O$^{+}$/D$^{+}$/D$^{+}$ channel has higher yield. By analyzing how the laser field is oriented within the molecular frame for both channels, we show that enhanced ionization is driving the triply charged three body breakup, but is not active for the doubly charged two body breakup. We conclude that laser-induced distortion of the molecular potential suppresses multiple ionization along the C$_{2v}$ axis, but enhances ionization along the D-D direction.


title: Compact, Singular G2-Holonomy Manifolds and M/Heterotic/F-Theory Duality

abstract: We study the duality between M-theory on compact holonomy G2-manifolds and the heterotic string on Calabi-Yau three-folds. The duality is studied for K3-fibered G2-manifolds, called twisted connected sums, which lend themselves to an application of fiber-wise M-theory/Heterotic Duality. For a large class of such G2-manifolds we are able to identify the dual heterotic as well as F-theory realizations. First we establish this chain of dualities for smooth G2-manifolds. This has a natural generalization to situations with non-abelian gauge groups, which correspond to singular G2-manifolds, where each of the K3-fibers degenerates. We argue for their existence through the chain of dualities, supported by non-trivial checks of the spectra. The corresponding 4d gauge groups can be both Higgsable and non-Higgsable, and we provide several explicit examples of the general construction.


title: Astrochemistry: From primordial gas to present-day clouds

abstract: Astrochemistry plays a central role during the process of star formation, both in the primordial regime as well as in the present-day Universe. We revisit here the chemistry in both regimes, focusing first on the chemistry under close to primordial conditions, as observed in the so-called Caffau star SDSS J102915+172927, and subsequently discuss deuteration processes in present-day star-forming cores. In models of the high-redshift Universe, the chemistry is particularly relevant to determine the cooling, while it also serves as an important diagnostic in the case of present-day star formation.


title: A characterization of Linearizable instances of the Quadratic Traveling Salesman Problem

abstract: We consider the linearization problem associated with the quadratic traveling salesman problem (QTSP). Necessary and sufficient conditions are given for a cost matrix $Q$ of QTSP to be linearizable. It is shown that these conditions can be verified in $O(n^5)$ time. Some simpler sufficient conditions for linearization are also given along with related open problems.


title: Object-Based Audio Rendering

abstract: Apparatus and methods are disclosed for performing object-based audio rendering on a plurality of audio objects which define a sound scene, each audio object comprising at least one audio signal and associated metadata. The apparatus comprises: a plurality of renderers each capable of rendering one or more of the audio objects to output rendered audio data; and object adapting means for adapting one or more of the plurality of audio objects for a current reproduction scenario, the object adapting means being configured to send the adapted one or more audio objects to one or more of the plurality of renderers.


title: Role of small-norm components in extended random-phase approximation

abstract: The role of the small-norm amplitudes in extended RPA theories such as the particle-particle and hole-hole components of one-body amplitudes and the two-body amplitudes other than two particle - two holes components are investigated for the one-dimensional Hubbard model using an extended RPA derived from the time-dependent density-matrix theory. It is found that these amplitudes cannot be neglected in strongly interacting regions where the effects of ground-state correlations are significant.


title: Automatic transversality in contact homology II: filtrations and computations

abstract: This paper is the sequel to the previous paper [Ne15], which showed that sufficient regularity exists to define cylindrical contact homology in dimension three for nondegenerate dynamically separated contact forms, a subclass of dynamically convex contact forms. The Reeb orbits of these so-called dynamically separated contact forms satisfy a uniform growth condition on their Conley-Zehnder indices with respect to a free homotopy class; see Definition 1.7. {Given a contact form which is dynamically separated up to large action, we demonstrate a filtration by action on the chain complex and show how to obtain the desired cylindrical contact homology by taking direct limits.} We give a direct proof of invariance of cylindrical contact homology within the class of dynamically separated contact forms, {and elucidate the independence of the filtered cylindrical contact homology with respect to the choice of the dynamically separated contact form and almost complex structure.} We also show that these regularity results are compatible with geometric methods of computing cylindrical contact homology of prequantization bundles, proving a conjecture of Eliashberg [El07] in dimension three.


title: Regularized Dual Averaging Image Reconstruction for Full-Wave Ultrasound Computed Tomography

abstract: Ultrasound computed tomography (USCT) holds great promise for breast cancer screening. Waveform inversion-based image reconstruction methods account for higher order diffraction effects and can produce high-resolution USCT images, but are computationally demanding. Recently, a source encoding technique was combined with stochastic gradient descent to greatly reduce image reconstruction times. However, this method bundles the stochastic data fidelity term with the deterministic regularization term. This limitation can be overcome by replacing stochastic gradient descent (SGD) with a structured optimization method, such as the regularized dual averaging (RDA) method, that exploits knowledge of the composition of the cost function. In this work, the dual averaging method is combined with source encoding techniques to improve the effectiveness of regularization while maintaining the reduced reconstruction times afforded by source encoding. It is demonstrated that each iteration can be decomposed into a gradient descent step based on the data fidelity term and a proximal update step corresponding to the regularization term. Furthermore, the regularization term is never explicitly differentiated, allowing non-smooth regularization penalties to be naturally incorporated. The wave equation is solved by use of a time-domain method. The effectiveness of this approach is demonstrated through computer-simulation and experimental studies. The results suggest that the dual averaging method can produce images with less noise and comparable resolution to those obtained by use of stochastic gradient descent.


title: Transforming Coroutining Logic Programs into Equivalent CHR Programs

abstract: We extend a technique called Compiling Control. The technique transforms coroutining logic programs into logic programs that, when executed under the standard left-to-right selection rule (and not using any delay features) have the same computational behavior as the coroutining program. In recent work, we revised Compiling Control and reformulated it as an instance of Abstract Conjunctive Partial Deduction. This work was mostly focused on the program analysis performed in Compiling Control. In the current paper, we focus on the synthesis of the transformed program. Instead of synthesizing a new logic program, we synthesize a CHR(Prolog) program which mimics the coroutining program. The synthesis to CHR yields programs containing only simplification rules, which are particularly amenable to certain static analysis techniques. The programs are also more concise and readable and can be ported to CHR implementations embedded in other languages than Prolog.


title: Generating Loop Invariants for Program Verification by Transformation

abstract: Loop invariants play a central role in the verification of imperative programs. However, finding these invariants is often a difficult and time-consuming task for the programmer. We have previously shown how program transformation can be used to facilitate the verification of functional programs, but the verification of imperative programs is more challenging due to the need to discover these loop invariants. In this paper, we describe a technique for automatically discovering loop invariants. Our approach is similar to the induction-iteration method, but avoids the potentially exponential blow-up in clauses that can result when using this and other methods. Our approach makes use of the distil- lation program transformation algorithm to transform clauses into a simplified form that facilitates the identification of similarities and differences between them and thus help discover invariants. We prove that our technique terminates, and demonstrate its successful application to example programs that have proven to be problematic using other approaches. We also characterise the situations where our technique fails to find an invariant, and show how this can be ameliorated to a certain extent.


title: Towards Evaluating Size Reduction Techniques for Software Model Checking

abstract: Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to a formal model and attempting to prove certain properties of the model (e.g. that no erroneous state can occur during execution). Unfortunately, transformations from source code to a formal model often yield large and complex models, making the verification process inefficient and costly. In order to reduce the size of the resulting model, optimization transformations can be used. Such optimizations include common algorithms known from compiler design and different program slicing techniques. Our paper describes a framework for transforming C programs to a formal model, enhanced by various optimizations for size reduction. We evaluate and compare several optimization algorithms regarding their effect on the size of the model and the efficiency of the verification. Results show that different optimizations are more suitable for certain models, justifying the need for a framework that includes several algorithms.


title: Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study

abstract: Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever increasing as only formal verification can provide true confidence in applying tool-automated refactoring to industrial-scale code. By using our strategic rewriting based refactoring specification language, we present the decomposition of a complex transformation into smaller steps that can be expressed as instances of refactoring schemes, then we demonstrate the semi-automatic formal verification of the components based on a theoretical understanding of the semantics of the programming language. The extensible and verifiable refactoring definitions can be executed in our interpreter built on top of a static analyser framework.


title: From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation

abstract: Frama-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic analyses of C programs. Most plugins do not support concurrency. We have proposed Conc2Seq, a Frama-C plugin based on program transformation, capable to leverage the existing huge code base of plugins and to handle concurrent C programs. In this paper we formalize and sketch the proof of correctness of the program transformation principle behind Conc2Seq, and present an effort towards the full mechanization of both the formalization and proofs with the proof assistant Coq.


title: Proportionate gradient updates with PercentDelta

abstract: Deep Neural Networks are generally trained using iterative gradient updates. Magnitudes of gradients are affected by many factors, including choice of activation functions and initialization. More importantly, gradient magnitudes can greatly differ across layers, with some layers receiving much smaller gradients than others. causing some layers to train slower than others and therefore slowing down the overall convergence. We analytically explain this disproportionality. Then we propose to explicitly train all layers at the same speed, by scaling the gradient w.r.t. every trainable tensor to be proportional to its current value. In particular, at every batch, we want to update all trainable tensors, such that the relative change of the L1-norm of the tensors is the same, across all layers of the network, throughout training time. Experiments on MNIST show that our method appropriately scales gradients, such that the relative change in trainable tensors is approximately equal across layers. In addition, measuring the test accuracy with training time, shows that our method trains faster than other methods, giving higher test accuracy given same budget of training steps.


title: A Story of Parametric Trace Slicing, Garbage and Static Analysis

abstract: This paper presents a proposal (story) of how statically detecting unreachable objects (in Java) could be used to improve a particular runtime verification approach (for Java), namely parametric trace slicing. Monitoring algorithms for parametric trace slicing depend on garbage collection to (i) cleanup data-structures storing monitored objects, ensuring they do not become unmanageably large, and (ii) anticipate the violation of (non-safety) properties that cannot be satisfied as a monitored object can no longer appear later in the trace. The proposal is that both usages can be improved by making the unreachability of monitored objects explicit in the parametric property and statically introducing additional instrumentation points generating related events. The ideas presented in this paper are still exploratory and the intention is to integrate the described techniques into the MarQ monitoring tool for quantified event automata.


title: A Survey of Runtime Monitoring Instrumentation Techniques

abstract: Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system satisfies or violates a correctness specification. Compilation techniques employed in Runtime Monitoring tools allow monitors to be automatically derived from high-level correctness specifications (aka. properties). This allows the same property to be converted into different types of monitors, which may apply different instrumentation techniques for checking whether the property was satisfied or not. In this paper we compare and contrast the various types of monitoring methodologies found in the current literature, and classify them into a spectrum of monitoring instrumentation techniques, ranging from completely asynchronous monitoring on the one end and completely synchronous monitoring on the other.


title: Control-Flow Residual Analysis for Symbolic Automata

abstract: Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code instrumented. To address this issue, various approaches have been proposed in the literature to use static analysis in order to reduce monitoring overhead. In this paper we generalise existing work which uses control-flow static analysis to optimise properties specified as automata, and prove how similar analysis can be applied to more expressive symbolic automata - enabling reduction of monitoring instrumentation in the system, and also monitoring logic. We also present empirical evidence of the effectiveness of this approach through an analysis of the effect of monitoring overheads in a financial transaction system.


title: Exploring the Link Between Test Suite Quality and Automatic Specification Inference

abstract: While no one doubts the importance of correct and complete specifications, many industrial systems still do not have formal specifications written out -- and even when they do, it is hard to check their correctness and completeness. This work explores the possibility of using an invariant extraction tool such as Daikon to automatically infer specifications from available test suites with the idea of aiding software engineers to improve the specifications by having another version to compare to. Given that our initial experiments did not produce satisfactory results, in this paper we explore which test suite attributes influence the quality of the inferred specification. Following further study, we found that instruction, branch and method coverage are correlated to high recall values, reaching up to 97.93%.


title: Fragmented Monitoring

abstract: Field data is an invaluable source of information for testers and developers because it witnesses how software systems operate in real environments, capturing scenarios and configurations relevant to end-users. Unfortunately, collecting traces might be resource-consuming and can significantly affect the user experience, for instance causing annoying slowdowns. Existing monitoring techniques can control the overhead introduced in the applications by reducing the amount of collected data, for instance by collecting each event only with a given probability. However, collecting fewer events limits the amount of information extracted from the field and may fail in providing a comprehensive picture of the behavior of a program. In this paper we present fragmented monitoring, a monitoring technique that addresses the issue of collecting information from the field without annoying users. The key idea of fragmented monitoring is to reduce the overhead by recording partial traces (fragments) instead of full traces, while annotating the beginning and the end of each fragment with state information. These annotations are exploited offline to derive traces that might be likely observed in the field and that could not be collected directly due to the overhead that would be introduced in a program.


title: Reliability and Fault-Tolerance by Choreographic Design

abstract: Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed software based on (micro-)services where different services are developed independently by disparate teams exacerbate the problem. In fact, services are meant to be composed together and run in open context where unpredictable behaviours can emerge. This makes it necessary to adopt suitable strategies for monitoring the execution and incorporate recovery and adaptation mechanisms so to make distributed programs more flexible and robust. The typical approach that is currently adopted is to embed such mechanisms in the program logic, which makes it hard to extract, compare and debug. We propose an approach that employs formal abstractions for specifying failure recovery and adaptation strategies. Although implementation agnostic, these abstractions would be amenable to algorithmic synthesis of code, monitoring and tests. We consider message-passing programs (a la Erlang, Go, or MPI) that are gaining momentum both in academia and industry. Our research agenda consists of (1) the definition of formal behavioural models encompassing failures, (2) the specification of the relevant properties of adaptation and recovery strategy, (3) the automatic generation of monitoring, recovery, and adaptation logic in target languages of interest.


title: FRB 121102 Burst Pairs

abstract: The repeating FRB 121102 emitted a pair of discrete bursts separated by 37 ms and another pair, 131 days later, separated by 34 ms, during observations that detected FRB at a mean rate of $2 \times 10^{-4}$/s. Here I assume that these events are separate bursts rather than multiple peaks from longer single bursts and consider their implications. They then are inconsistent with Poissonian statistics. The measured intervals constrain any possible periodic modulation underlying the highly episodic emission. If more such short intervals are measured a period may be determined or periodicity may be excluded. Sources of narrow wandering beams predict pairs (or higher multiples) of bursts closely spaced in time compared to the mean event rate.


title: A Hybrid Gyrokinetic Ion and Isothermal Electron Fluid Code for Astrophysical Plasma

abstract: This paper describes a new code for simulating astrophysical plasmas that solves a hybrid model composed of gyrokinetic ions (GKI) and an isothermal electron fluid (ITEF) [A. Schekochihin et al., Astrophys. J. Suppl. \textbf{182}, 310 (2009)]. This model captures ion kinetic effects that are important near the ion gyro-radius scale while electron kinetic effects are ordered out by an electron-ion mass ratio expansion. The code is developed by incorporating the ITEF approximation into {\tt AstroGK}, an Eulerian $\delta f$ gyrokinetics code specialized to a slab geometry [R. Numata et al., J. Compute. Pays. \textbf{229}, 9347 (2010)]. The new code treats the linear terms in the ITEF equations implicitly while the nonlinear terms are treated explicitly. We show linear and nonlinear benchmark tests to prove the validity and applicability of the simulation code. Since the fast electron timescale is eliminated by the mass ratio expansion, the Courant--Friedrichs--Lewy condition is much less restrictive than in full gyrokinetic codes; the present hybrid code runs $\sim 2\sqrt{m_\mathrm{i}/m_\mathrm{e}} \sim 100$ times faster than {\tt AstroGK}\ with a single ion species and kinetic electrons where $m_\mathrm{i}/m_\mathrm{e}$ is the ion-electron mass ratio. The improvement of the computational time makes it feasible to execute ion scale gyrokinetic simulations with a high velocity space resolution and to run multiple simulations to determine the dependence of turbulent dynamics on parameters such as electron--ion temperature ratio and plasma beta.


title: Prism tableaux for alternating sign matrix varieties

abstract: A prism tableau is a set of reverse semistandard tableaux, each positioned within an ambient grid. Prism tableaux were introduced to provide a formula for the Schubert polynomials of A. Lascoux and M.P. Sch\"utzenberger. This formula directly generalizes the well known expression for Schur polynomials as a sum over semistandard tableaux. Alternating sign matrix varieties generalize the matrix Schubert varieties of W. Fulton. We use prism tableaux to give a formula for the multidegree of an alternating sign matrix variety.


title: The Kinematics of Quasar Broad Emission Line Regions Using a Disk-wind Model

abstract: The structure and kinematics of the broad line region (BLR) in quasars are still not well established. One popular BLR model is the disk-wind model that offers a geometric unification of a quasar based on the angle of viewing. We construct a simple kinematical disk-wind model with a narrow outflowing wind angle. The model is combined with radiative transfer in the Sobolev, or high velocity, limit. We examine how angle of viewing affects the observed characteristics of the emission line, especially the line widths and velocity offsets. The line profiles exhibit distinct properties depending on the orientation, wind opening angle, and region of the wind where the emission arises. At low inclination angle (close to face-on), we find the shape of the emission line is asymmetric with narrow width and significantly blueshifted. As the inclination angle increases (close to edge-on), the line profile becomes more symmetric, broader, and less blueshifted. Additionally, lines that arise close to the base of the disk wind, near the accretion disk, tend to be broad and symmetric. The relative increase in blueshift of the emission line with increasing wind vertical distance is larger for polar winds compared with equatorial winds. By considering the optical thickness of the wind, single-peaked line profiles are recovered for the intermediate and equatorial outflowing wind. The model is able to reproduce a faster response in either the red and blue sides of the line profile found in reverberation mapping studies. A quicker response in the red side is achieved in the model with a polar wind and intermediate wind opening angle at low viewing angle. The blue side response is faster for an equatorial wind seen at high inclination.


title: Inaudible Voice Commands

abstract: Voice assistants like Siri enable us to control IoT devices conveniently with voice commands, however, they also provide new attack opportunities for adversaries. Previous papers attack voice assistants with obfuscated voice commands by leveraging the gap between speech recognition system and human voice perception. The limitation is that these obfuscated commands are audible and thus conspicuous to device owners. In this paper, we propose a novel mechanism to directly attack the microphone used for sensing voice data with inaudible voice commands. We show that the adversary can exploit the microphone's non-linearity and play well-designed inaudible ultrasounds to cause the microphone to record normal voice commands, and thus control the victim device inconspicuously. We demonstrate via end-to-end real-world experiments that our inaudible voice commands can attack an Android phone and an Amazon Echo device with high success rates at a range of 2-3 meters.


title: Finding Streams in Knowledge Graphs to Support Fact Checking

abstract: The volume and velocity of information that gets generated online limits current journalistic practices to fact-check claims at the same rate. Computational approaches for fact checking may be the key to help mitigate the risks of massive misinformation spread. Such approaches can be designed to not only be scalable and effective at assessing veracity of dubious claims, but also to boost a human fact checker's productivity by surfacing relevant facts and patterns to aid their analysis. To this end, we present a novel, unsupervised network-flow based approach to determine the truthfulness of a statement of fact expressed in the form of a (subject, predicate, object) triple. We view a knowledge graph of background information about real-world entities as a flow network, and knowledge as a fluid, abstract commodity. We show that computational fact checking of such a triple then amounts to finding a "knowledge stream" that emanates from the subject node and flows toward the object node through paths connecting them. Evaluation on a range of real-world and hand-crafted datasets of facts related to entertainment, business, sports, geography and more reveals that this network-flow model can be very effective in discerning true statements from false ones, outperforming existing algorithms on many test cases. Moreover, the model is expressive in its ability to automatically discover several useful path patterns and surface relevant facts that may help a human fact checker corroborate or refute a claim.


title: Origin of Negative Longitudinal Piezoelectric Effect

abstract: Piezoelectrics with negative longitudinal piezoelectric coefficients will contract in the direction of an applied electric field. Such piezoelectrics are thought to be rare but there is no fundamental physics preventing the realization of negative longitudinal piezoelectric effect in a single-phase material. Using first-principles calculations, we demonstrate that several hexagonal $ABC$ ferroelectrics possess significant negative longitudinal piezoelectric effect. The data mining of a first-principles-based database of piezoelectrics reveals that this effect is a general phenomenon. The origin of this unusual piezoelectric response relies on the strong ionic bonds associated with small effective charges and rigid potential energy surfaces. Moreover, ferroelectrics with negative longitudinal piezoelectric coefficients show anomalous pressure-enhanced ferroelectricity. Our results offer design principles to aid the search of new piezoelectrics for novel electromechanical device applications.


title: NNVLP: A Neural Network-Based Vietnamese Language Processing Toolkit

abstract: This paper demonstrates neural network-based toolkit namely NNVLP for essential Vietnamese language processing tasks including part-of-speech (POS) tagging, chunking, named entity recognition (NER). Our toolkit is a combination of bidirectional Long Short-Term Memory (Bi-LSTM), Convolutional Neural Network (CNN), Conditional Random Field (CRF), using pre-trained word embeddings as input, which achieves state-of-the-art results on these three tasks. We provide both API and web demo for this toolkit.


title: GALILEO: A Generalized Low-Entropy Mixture Model

abstract: We present a new method of generating mixture models for data with categorical attributes. The keys to this approach are an entropy-based density metric in categorical space and annealing of high-entropy/low-density components from an initial state with many components. Pruning of low-density components using the entropy-based density allows GALILEO to consistently find high-quality clusters and the same optimal number of clusters. GALILEO has shown promising results on a range of test datasets commonly used for categorical clustering benchmarks. We demonstrate that the scaling of GALILEO is linear in the number of records in the dataset, making this method suitable for very large categorical datasets.


title: Delocalizing Entanglement of Anisotropic Black Branes

abstract: We study the mutual information between pairs of regions on the two asymptotic boundaries of maximally-extended anisotropic black-brane solutions. This quantity characterizes the local pattern of entanglement of thermofield double states which are dual to these geometries. We analyse the disruption of the mutual information in anisotropic shock wave geometries and show that the entanglement velocity plays an important role in this phenomenon. Besides that we compute several chaos-related properties of this system, like the entanglement velocity, the butterfly velocity and the scrambling time. We find that the butterfly velocity and the entanglement velocity violate the upper bounds proposed in 1311.1200 and 1612.00082, but remain bounded by their corresponding values in the infrared effective theory.


title: On the Compressive Power of Deep Rectifier Networks for High Resolution Representation of Class Boundaries

abstract: This paper provides a theoretical justification of the superior classification performance of deep rectifier networks over shallow rectifier networks from the geometrical perspective of piecewise linear (PWL) classifier boundaries. We show that, for a given threshold on the approximation error, the required number of boundary facets to approximate a general smooth boundary grows exponentially with the dimension of the data, and thus the number of boundary facets, referred to as boundary resolution, of a PWL classifier is an important quality measure that can be used to estimate a lower bound on the classification errors. However, learning naively an exponentially large number of boundary facets requires the determination of an exponentially large number of parameters and also requires an exponentially large number of training patterns. To overcome this issue of "curse of dimensionality", compressive representations of high resolution classifier boundaries are required. To show the superior compressive power of deep rectifier networks over shallow rectifier networks, we prove that the maximum boundary resolution of a single hidden layer rectifier network classifier grows exponentially with the number of units when this number is smaller than the dimension of the patterns. When the number of units is larger than the dimension of the patterns, the growth rate is reduced to a polynomial order. Consequently, the capacity of generating a high resolution boundary will increase if the same large number of units are arranged in multiple layers instead of a single hidden layer. Taking high dimensional spherical boundaries as examples, we show how deep rectifier networks can utilize geometric symmetries to approximate a boundary with the same accuracy but with a significantly fewer number of parameters than single hidden layer nets.


title: Intercalation and desorption of oxygen between graphene and Ru(0001) studied with helium ion scattering

abstract: Graphene is a fascinating 2D material that is being widely investigated for use in electronic devices due to its unique electronic and materials properties. Also, because of its high thermal stability and inertness, it is considered a promising candidate for use as a protection layer for metal substrates. Here, graphene films grown on Ru(0001) are held at 600 K while reacted with oxygen (O$_2$) and then investigated with helium low energy ion scattering (LEIS). LEIS spectra collected at different scattering angles confirm that oxygen does not adsorb to graphene, but instead intercalates between the graphene and the substrate. The intercalated O$_2$ desorbs when the sample is annealed to 800 K. It is shown that this is a much lower temperature than is needed to remove chemisorbed atomic oxygen from Ru, thus inferring that the intercalated oxygen is molecular. During the desorption process, some of the graphene is etched away via a chemical reaction with the oxygen, with the proportion desorbing as O$_2$ or reacting to etch the graphene being dependent on the amount of intercalated O$_2$.