title: A Layered Architecture for Erasure-Coded Consistent Distributed Storage

abstract: Motivated by emerging applications to the edge computing paradigm, we introduce a two-layer erasure-coded fault-tolerant distributed storage system offering atomic access for read and write operations. In edge computing, clients interact with an edge-layer of servers that is geographically near; the edge-layer in turn interacts with a back-end layer of servers. The edge-layer provides low latency access and temporary storage for client operations, and uses the back-end layer for persistent storage. Our algorithm, termed Layered Data Storage (LDS) algorithm, offers several features suitable for edge-computing systems, works under asynchronous message-passing environments, supports multiple readers and writers, and can tolerate $f_1 < n_1/2$ and $f_2 < n_2/3$ crash failures in the two layers having $n_1$ and $n_2$ servers, respectively. We use a class of erasure codes known as regenerating codes for storage of data in the back-end layer. The choice of regenerating codes, instead of popular choices like Reed-Solomon codes, not only optimizes the cost of back-end storage, but also helps in optimizing communication cost of read operations, when the value needs to be recreated all the way from the back-end. The two-layer architecture permits a modular implementation of atomicity and erasure-code protocols; the implementation of erasure-codes is mostly limited to interaction between the two layers. We prove liveness and atomicity of LDS, and also compute performance costs associated with read and write operations. Further, in a multi-object system running $N$ independent instances of LDS, where only a small fraction of the objects undergo concurrent accesses at any point during the execution, the overall storage cost is dominated by that of persistent storage in the back-end layer, and is given by $\Theta(N)$.


title: On the MISO Channel with Feedback: Can Infinitely Massive Antennas Achieve Infinite Capacity?

abstract: We consider communication over a multiple-input single-output (MISO) block fading channel in the presence of an independent noiseless feedback link. We assume that the transmitter and receiver have no prior knowledge of the channel state realizations, but the transmitter and receiver can acquire the channel state information (CSIT/CSIR) via downlink training and feedback. For this channel, we show that increasing the number of transmit antennas to infinity will not achieve an infinite capacity, for a finite channel coherence length and a finite input constraint on the second or fourth moment. This insight follows from our new capacity bounds that hold for any linear and nonlinear coding strategies, and any channel training schemes. In addition to the channel capacity bounds, we also provide a characterization on the beamforming gain that is also known as array gain or power gain, at the regime with a large number of antennas.


title: Intensionality, Intensional Recursion, and the G\"odel-L\"ob axiom

abstract: The use of a necessity modality in a typed $\lambda$-calculus can be used to separate it into two regions. These can be thought of as intensional vs. extensional data: data in the first region, the modal one, are available as code, and their description can be examined. In contrast, data in the second region are only available as values up to ordinary equality. This allows us to add non-functional operations at modal types whilst maintaining consistency. In this setting, the G\"odel-L\"ob axiom acquires a novel constructive reading: it affords the programmer the possibility of a very strong kind of recursion which enables them to write programs that have access to their own code. This is a type of computational reflection that is strongly reminiscent of Kleene's Second Recursion Theorem.


title: Instance Flow Based Online Multiple Object Tracking

abstract: We present a method to perform online Multiple Object Tracking (MOT) of known object categories in monocular video data. Current Tracking-by-Detection MOT approaches build on top of 2D bounding box detections. In contrast, we exploit state-of-the-art instance aware semantic segmentation techniques to compute 2D shape representations of target objects in each frame. We predict position and shape of segmented instances in subsequent frames by exploiting optical flow cues. We define an affinity matrix between instances of subsequent frames which reflects locality and visual similarity. The instance association is solved by applying the Hungarian method. We evaluate different configurations of our algorithm using the MOT 2D 2015 train dataset. The evaluation shows that our tracking approach is able to track objects with high relative motions. In addition, we provide results of our approach on the MOT 2D 2015 test set for comparison with previous works. We achieve a MOTA score of 32.1.


title: Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-paced Curriculum Learning

abstract: Weakly-supervised object detection (WOD) is a challenging problems in computer vision. The key problem is to simultaneously infer the exact object locations in the training images and train the object detectors, given only the training images with weak image-level labels. Intuitively, by simulating the selective attention mechanism of human visual system, saliency detection technique can select attractive objects in scenes and thus is a potential way to provide useful priors for WOD. However, the way to adopt saliency detection in WOD is not trivial since the detected saliency region might be possibly highly ambiguous in complex cases. To this end, this paper first comprehensively analyzes the challenges in applying saliency detection to WOD. Then, we make one of the earliest efforts to bridge saliency detection to WOD via the self-paced curriculum learning, which can guide the learning procedure to gradually achieve faithful knowledge of multi-class objects from easy to hard. The experimental results demonstrate that the proposed approach can successfully bridge saliency detection and WOD tasks and achieve the state-of-the-art object detection results under the weak supervision.


title: Swarm behavior of traders with different subjective predictions in the Market

abstract: A combination of a priority queueing model and mean field theory shows the emergence of traders' swarm behavior, even when each has a subjective prediction of the market driven by a limit order book. Using a nonlinear Markov model, we analyze the dynamics of traders who select a favorable order price taking into account the waiting cost incurred by others. We find swarm behavior emerges because of the delay in trader reactions to the market, and the direction of the swarm is decided by the current market position and the intensity of zero-intelligent random behavior, rather than subjective trader predictions.


title: Quantifying China's Regional Economic Complexity

abstract: China has experienced an outstanding economic expansion during the past decades, however, literature on non-monetary metrics that reveal the status of China's regional economic development are still lacking. In this paper, we fill this gap by quantifying the economic complexity of China's provinces through analyzing 25 years' firm data. First, we estimate the regional economic complexity index (ECI), and show that the overall time evolution of provinces' ECI is relatively stable and slow. Then, after linking ECI to the economic development and the income inequality, we find that the explanatory power of ECI is positive for the former but negative for the latter. Next, we compare different measures of economic diversity and explore their relationships with monetary macroeconomic indicators. Results show that the ECI index and the non-linear iteration based Fitness index are comparative, and they both have stronger explanatory power than other benchmark measures. Further multivariate regressions suggest the robustness of our results after controlling other socioeconomic factors. Our work moves forward a step towards better understanding China's regional economic development and non-monetary macroeconomic indicators.


title: Exceptional Points in a Non-Hermitian Topological Pump

abstract: We investigate the effects of non-Hermiticity on topological pumping, and uncover a connection between a topological edge invariant based on topological pumping and the winding numbers of exceptional points. In Hermitian lattices, it is known that the topologically nontrivial regime of the topological pump only arises in the infinite-system limit. In finite non-Hermitian lattices, however, topologically nontrivial behavior can also appear. We show that this can be understood in terms of the effects of encircling a pair of exceptional points during a pumping cycle. This phenomenon is observed experimentally, in a non-Hermitian microwave network containing variable gain amplifiers.


title: Guided Waves on Scalar and Tensorial Reactance Surfaces Modulated by Periodic Functions. A Circuital Approach

abstract: A technique to derive the propagation characteristics and field distributions of waves guided by scalar and tensorial reactance surfaces modulated by periodic or discrete Fourier spectrum functions in the propagation direction is presented. The method, based on an equivalent lumped circuits approach, can be seen as a generalization of the Oliner method for the TM propagation on scalar sinusoidally modulated reactance surfaces. Numerical results are obtained for both surface wave and leaky wave solutions. The relevance of these studies to modulated metasurface antennas is discussed.


title: Spin tune mapping as a novel tool to probe the spin dynamics in storage rings

abstract: Precision experiments, such as the search for electric dipole moments of charged particles using storage rings, demand for an understanding of the spin dynamics with unprecedented accuracy. The ultimate aim is to measure the electric dipole moments with a sensitivity up to 15 orders in magnitude better than the magnetic dipole moment of the stored particles. This formidable task requires an understanding of the background to the signal of the electric dipole from rotations of the spins in the spurious magnetic fields of a storage ring. One of the observables, especially sensitive to the imperfection magnetic fields in the ring is the angular orientation of stable spin axis. Up to now, the stable spin axis has never been determined experimentally, and in addition, the JEDI collaboration for the first time succeeded to quantify the background signals that stem from false rotations of the magnetic dipole moments in the horizontal and longitudinal imperfection magnetic fields of the storage ring. To this end, we developed a new method based on the spin tune response of a machine to artificially applied longitudinal magnetic fields. This novel technique, called \textit{spin tune mapping}, emerges as a very powerful tool to probe the spin dynamics in storage rings. The technique was experimentally tested in 2014 at the cooler synchrotron COSY, and for the first time, the angular orientation of the stable spin axis at two different locations in the ring has been determined to an unprecedented accuracy of better than $2.8\mu$rad.


title: An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space

abstract: Parity games play an important role in model checking and synthesis. In their paper, Calude et al. have shown that these games can be solved in quasi-polynomial time. We show that their algorithm can be implemented efficiently: we use their data structure as a progress measure, allowing for a backward implementation instead of a complete unravelling of the game. To achieve this, a number of changes have to be made to their techniques, where the main one is to add power to the antagonistic player that allows for determining her rational move without changing the outcome of the game. We provide a first implementation for a quasi-polynomial algorithm, test it on small examples, and provide a number of side results, including minor algorithmic improvements, a quasi bi-linear complexity in the number of states and edges for a fixed number of colours, and matching lower bounds for the algorithm of Calude et al.


title: Phase separation and folding in swelled nematoelastic films

abstract: We explore reshaping of nematoelastic films upon imbibing an isotropic solvent under conditions when isotropic and nematic phases coexist. The structure of the interphase boundary is computed taken into account the optimal nematic orientation governed by interaction of gradients of the nematic order parameter and solvent concentration. This structure determines the effective line tension of the boundary. We further compute equilibrium shapes of deformed thin sheets and cylindrical and spherical shells with the rectilinear or circular shape of the boundary between nematic and isotropic domains. A differential expansion or contraction near this boundary generates a folding pattern spreading out into the bulk of both phases. The hierarchical ordering of this pattern is most pronounced on a cylindrical shell.


title: Defining Domain-Independent Discovery Informatics

abstract: This paper presents a personal account of the early legacy of discovery informatics, especially surrounding the first published definition of domain-independent DI. The state of DI is traced across various reference sources and the literature on the fourth paradigm of the scientific method. Observations are offered on DI, concluding that it will retain its appeal as a highly apt descriptor for research and practice activities that are inherent in our human nature.


title: Revisiting optical tidal disruption events with iPTF16axa

abstract: We report the discovery by the intermediate Palomar Transient Factory (iPTF) of a candidate tidal disruption event (TDE) iPTF16axa at $z=0.108$, and present its broadband photometric and spectroscopic evolution from 3 months of follow-up observations with ground-based telescopes and Swift. The light curve is well fitted with a $t^{-5/3}$ decay, and we constrain the rise-time to peak to be $<$49 rest-frame days after disruption, which is roughly consistent with the fallback timescale expected for the $\sim 5\times$10$^{6}$ $M_\odot$ black hole inferred from the stellar velocity dispersion of the host galaxy. The UV and optical spectral energy distribution (SED) is well described by a constant blackbody temperature of T$\sim$ 3$\times$10$^4$ K over the monitoring period, with an observed peak luminosity of 1.1$\times$10$^{44}$ erg s$^{-1}$. The optical spectra are characterized by a strong blue continuum and broad HeII and H$\alpha$ lines characteristic of TDEs. We compare the photometric and spectroscopic signatures of iPTF16axa with 11 TDE candidates in the literature with well-sampled optical light curves. Based on a single-temperature fit to the optical and near-UV photometry, most of these TDE candidates have peak luminosities confined between log(L [erg s$^{-1}$]) = 43.4-44.4, with constant temperatures of a few $\times 10^{4}$ K during their power-law declines, implying blackbody radii on the order of ten times the tidal disruption radius, that decrease monotonically with time. For TDE candidates with hydrogen and helium emission, the high helium-to-hydrogen ratios suggest that the emission arises from high-density gas, where nebular arguments break down. We find no correlation between the peak luminosity and the black hole mass, contrary to the expectations for TDEs to have $\dot{M} \propto M_{\rm BH}^{-1/2}$.


title: Stellar binary black holes in the LISA band: a new class of standard sirens

abstract: The recent Advanced LIGO detections of coalescing black hole binaries (BHBs) imply a large population of such systems emitting at milli-Hz frequencies, accessible to the Laser Interferometer Space Antenna (LISA). We show that these systems provide a new class of cosmological standard sirens. Direct LISA luminosity distance -$D_l$- measurements, combined with the inhomogeneous redshift -$z$- distribution of possible host galaxies provide an effective way to populate the $D_l-z$ diagram at $z<0.1$, thus allowing a precise local measurement of the Hubble expansion rate. To be effective, the method requires a sufficiently precise LISA distance determination and sky localization of a sizeable number of BHBs, which is best achieved for a 6-link detector configuration. We find that, for a BHB population consistent with current fiducial LIGO rates, the Hubble constant $H_0$ can be determined at the $\sim$5% and $\sim$2% level (68% confidence) assuming two and five million Km arm-length respectively.


title: A Physical Model-based Correction for Charge Traps in the Hubble Space Telescope's Wide Field Camera 3 Near-IR Detector and Applications to Transiting Exoplanets and Brown Dwarfs

abstract: The Hubble Space Telescope (HST) Wide Field Camera 3 (WFC3) near-IR channel is extensively used in time-resolved observations, especially for transiting exoplanet spectroscopy and brown dwarf and directly imaged exoplanet rotational phase mapping. The ramp effect is the dominant source of systematics in the WFC3 for time-resolved observations, which limits its photometric precision. Current mitigation strategies are based on empirical fits and require additional orbits "to help the telescope reach a thermal equilibrium". We show that the ramp effect profiles can be explained and corrected with high fidelity using charge trapping theories. We also present a model for this process that can be used to predict and to correct charge trap systematics. Our model is based on a very small number of parameters that are intrinsic to the detector. We find that these parameters are very stable between the different datasets, and we provide best-fit values. Our model is tested with more than 120 orbits ($\sim40$ visits) of WFC3 observations and is proved to be able to provide near photon noise limited corrections for observations made with both staring and scanning modes of transiting exoplanets as well as for starting-mode observations of brown dwarfs. After our model correction, the light curve of the first orbit in each visit has the same photometric precision as subsequent orbits, so data from the first orbit need no longer be discarded. Near IR arrays with the same physical characteristics (e.g., JWST/NIRCam) may also benefit from the extension of this model, if similar systematic profiles are observed.


title: Charged String Tensor Networks

abstract: Tensor network methods provide an intuitive graphical language to describe quantum states, channels, open quantum systems and a class of numerical approximation methods that efficiently simulate certain many-body states in one spatial dimension. There are two fundamental types of tensor networks in wide use today. The most common is similar to quantum circuits. The second is the braided class of tensor networks, used in topological quantum computing. Recently a third class of tensor networks was discovered by Jaffe, Liu and Wozniakowski---the JLW-model---notably, the wires carry charge excitations. The rules in which network components can be moved, merged and manipulated in a graphical form of reasoning take an elegant form. For instance the relative charge locations on wires carries precise meaning and changing the ordering modifies a connected network specifically by a complex number. The type of isotopy discovered in the topological JLW-model provides an alternative means to reason about quantum information, computation and protocols. Here we recall the tensor-network building blocks used in a controlled-NOT gate. Some open problems related to the JLW-model are given.

categories: quant-ph cond-mat.dis-nn cond-mat.str-el gr-qc hep-th


title: Improved Point Source Detection in Crowded Fields using Probabilistic Cataloging

abstract: Cataloging is challenging in crowded fields because sources are extremely covariant with their neighbors and blending makes even the number of sources ambiguous. We present the first optical probabilistic catalog, cataloging a crowded (~0.1 sources per pixel brighter than 22nd magnitude in F606W) Sloan Digital Sky Survey r band image from M2. Probabilistic cataloging returns an ensemble of catalogs inferred from the image and thus can capture source-source covariance and deblending ambiguities. By comparing to a traditional catalog of the same image and a Hubble Space Telescope catalog of the same region, we show that our catalog ensemble better recovers sources from the image. It goes more than a magnitude deeper than the traditional catalog while having a lower false discovery rate brighter than 20th magnitude. We also present an algorithm for reducing this catalog ensemble to a condensed catalog that is similar to a traditional catalog, except it explicitly marginalizes over source-source covariances and nuisance parameters. We show that this condensed catalog has a similar completeness and false discovery rate to the catalog ensemble. Future telescopes will be more sensitive, and thus more of their images will be crowded. Probabilistic cataloging performs better than existing software in crowded fields and so should be considered when creating photometric pipelines in the Large Synoptic Space Telescope era.


title: Investigating anisotropic quantum Hall states with bi-metric geometry

abstract: We construct a low energy effective theory of anisotropic fractional quantum Hall (FQH) states. We develop a formalism similar to that used in the bi-metric approach to massive gravity, and apply it to describe abelian anisotropic FQH states in the presence of external electromagnetic and geometric backgrounds. We derive a relationship between the shift, the Hall viscosity, and a new quantized coupling to anisotropy, which we term "anisospin". We verify this relationship by numerically computing the Hall viscosity for a variety of anisotropic quantum Hall states using the density matrix renormalization group (DMRG). Finally, we apply these techniques to the problem of nematic order and clarify certain disagreements that exist in the literature about the meaning of the coefficient of the Berry phase term in the nematic effective action.


title: Beyond E11

abstract: We study the non-linear realisation of E11 originally proposed by West with particular emphasis on the issue of linearised gauge invariance. Our analysis shows even at low levels that the conjectured equations can only be invariant under local gauge transformations if a certain section condition that has appeared in a different context in the E11 literature is satisfied. This section condition also generalises the one known from exceptional field theory. Even with the section condition, the E11 duality equation for gravity is known to miss the trace component of the spin connection. We propose an extended scheme based on an infinite-dimensional Lie superalgebra, called the tensor hierarchy algebra, that incorporates the section condition and resolves the above issue. The tensor hierarchy algebra defines a generalised differential complex, which provides a systematic description of gauge invariance and Bianchi identities. It furthermore provides an E11 representation for the field strengths, for which we define a twisted first order self-duality equation underlying the dynamics.


title: Top-Down Holographic $G$-Structure Glueball Spectroscopy at (N)LO in $N$ and Finite Gauge Coupling

abstract: The top-down type IIB holographic dual of large-$N$ thermal QCD as constructed in arXiv:0902.1540 involving a fluxed resolved warped deformed conifold, its delocalized type IIA SYZ mirror as well as its M-theory uplift constructed in arXiv:1306.4339 - both in the finite gauge coupling ($g_s\stackrel{<}{\sim}1$)/`MQGP' limit of arXiv:1306.4339 - were shown explicitly to possess a local $SU(3)/G_2$-structure in arXiv:1507.02692 Glueball spectroscopy at finite gauge coupling has thus far been missing in the literature. In this paper, we fill this gap by calculating the masses of the $0^{++}, 0^{-+},0^{--}, 1^{++}, 2^{++}$ (`glueball') states (which correspond to fluctuations in the dilaton or complexified two-forms or appropriate metric components) in the aforementioned backgrounds of $G$-structure in the `MQGP' limit of arXiv:1306.4339, using WKB quantization conditions on one hand and imposing Neumann/Dirichlet boundary conditions at an IR cut-off/horizon radius $r_h$ on the solutions to the equations of motion on the other. We also discuss $r_h=0$-limits of all calculations; in this context we also calculate the $0^{++}, 0^{--},1^{++}, 2^{++}$ glueball masses up to NLO in $N$ and find a $\frac{g_sM^2}{N}(g_sN_f)$-suppression similar to and further validating a similar semi-universality of NLO corrections to transport coefficients, observed in arXiv:1606.04949.


title: Gamma-ray Observations Under Bright Moonlight with VERITAS

abstract: Imaging atmospheric Cherenkov telescopes (IACTs) are equipped with sensitive photomultiplier tube (PMT) cameras. Exposure to high levels of background illumination degrades the efficiency of and potentially destroys these photo-detectors over time, so IACTs cannot be operated in the same configuration in the presence of bright moonlight as under dark skies. Since September 2012, observations have been carried out with the VERITAS IACTs under bright moonlight (defined as about three times the night-sky-background (NSB) of a dark extragalactic field, typically occurring when Moon illumination > 35%) in two observing modes, firstly by reducing the voltage applied to the PMTs and, secondly, with the addition of ultra-violet (UV) bandpass filters to the cameras. This has allowed observations at up to about 30 times previous NSB levels (around 80% Moon illumination), resulting in 30% more observing time between the two modes over the course of a year. These additional observations have already allowed for the detection of a flare from the 1ES 1727+502 and for an observing program targeting a measurement of the cosmic-ray positron fraction. We provide details of these new observing modes and their performance relative to the standard VERITAS observations.


title: Deconfined quantum criticality in SU(3) antiferromagnets on the triangular lattice

abstract: We propose field theories for a deconfined quantum critical point in $SU(3)$ antiferromagnets on the triangular lattice. In particular we consider the continuous transition between a magnetic, three- sublattice color-ordered phase and a trimerized $SU(3)$ singlet phase. Starting from the magnetically ordered state we derive a critical theory in terms of fractional bosonic degrees of freedom, in close analogy to the well-developed description of the $SU(2)$ Neel - valence bond solid (VBS) transition on the square lattice. Our critical theory consists of three coupled $CP^2$ models and we study its fixed point structure using a functional renormalization group approach in a suitable large $N$ limit. We find a stable critical fixed point and estimate its critical exponents, thereby providing an example of deconfined criticality beyond the universality class of the $CP^N$ model. In addition we present a complementary route towards the critical field theory by studying topological defects of the trimerized $SU(3)$ singlet phase.


title: SCYNet: Testing supersymmetric models at the LHC with neural networks

abstract: SCYNet (SUSY Calculating Yield Net) is a tool for testing supersymmetric models against LHC data. It uses neural network regression for a fast evaluation of the profile likelihood ratio. Two neural network approaches have been developed: one network has been trained using the parameters of the 11-dimensional phenomenological Minimal Supersymmetric Standard Model (pMSSM-11) as an input and evaluates the corresponding profile likelihood ratio within milliseconds. It can thus be used in global pMSSM-11 fits without time penalty. In the second approach, the neural network has been trained using model-independent signature-related objects, such as energies and particle multiplicities, which were estimated from the parameters of a given new physics model. While the calculation of the energies and particle multiplicities takes up computation time, the corresponding neural network is more general and can be used to predict the LHC profile likelihood ratio for a wider class of new physics models.


title: Count-Based Exploration with Neural Density Models

abstract: Bellemare et al. (2016) introduced the notion of a pseudo-count, derived from a density model, to generalize count-based exploration to non-tabular reinforcement learning. This pseudo-count was used to generate an exploration bonus for a DQN agent and combined with a mixed Monte Carlo update was sufficient to achieve state of the art on the Atari 2600 game Montezuma's Revenge. We consider two questions left open by their work: First, how important is the quality of the density model for exploration? Second, what role does the Monte Carlo update play in exploration? We answer the first question by demonstrating the use of PixelCNN, an advanced neural density model for images, to supply a pseudo-count. In particular, we examine the intrinsic difficulties in adapting Bellemare et al.'s approach when assumptions about the model are violated. The result is a more practical and general algorithm requiring no special apparatus. We combine PixelCNN pseudo-counts with different agent architectures to dramatically improve the state of the art on several hard Atari games. One surprising finding is that the mixed Monte Carlo update is a powerful facilitator of exploration in the sparsest of settings, including Montezuma's Revenge.


title: Efficient Second Order Unconditionally Stable Schemes for a Phase-field Moving Contact Line Model Using Invariant Energy Quadratization Approach

abstract: We consider the numerical approximations for a phase field model consisting of incompressible Navier--Stokes equations with a generalized Navier boundary condition, and the Cahn-Hilliard equation with a dynamic moving contact line boundary condition. A crucial and challenging issue for solving this model numerically is the time marching problem, due to the high order, nonlinear, and coupled properties of the system. We solve this issue by developing two linear, second order accurate, and energy stable schemes based on the projection method for the Navier--Stokes equations, the invariant energy quadratization for the nonlinear gradient terms in the bulk and boundary, and a subtle implicit-explicit treatment for the stress and convective terms. The well-posedness of the semidiscretized system and the unconditional energy stabilities are proved. Various numerical results based on a spectral-Galerkin spatial discretization are presented to verify the accuracy and efficiency of the proposed schemes.


title: $0$-$\pi$ transitions in a Josephson junction of irradiated Weyl semimetal

abstract: We propose a setup for the experimental realization of unexpected and anisotropic $0$-$\pi$ transitions of the Josephson current, in a junction whose link is made of irradiated Weyl semi-metal (WSM), due to the presence of chiral nodes. We show using a Green's function technique that the Josephson current through a time-reversal symmetric WSM has anisotropic periodic oscillations as a function of $k_0L$, where $k_0$ is the (relevant) separation of the chiral nodes and $L$ is the length of the sample. This is unexpected, for time-reversal symmetric systems, although it has been shown earlier for time-reversal symmetry breaking WSMs. We then show that the effective value of $k_0$ can be tuned with precision by irradiating the sample with photons resulting in $0$-$\pi$ transitions of the critical current. Finally, we discuss the robustness of our setup.


title: Secure Multi-Cloud Virtual Network Embedding

abstract: Modern network virtualization platforms enable users to specify custom topologies and arbitrary addressing schemes for their virtual networks. These platforms have, however, been targeting the data center of a single provider, which is insufficient to support (critical) applications that need to be deployed across multiple trust domains, while enforcing diverse security requirements. This paper addresses this limitation by presenting a novel solution for the central resource allocation problem of network virtualization -- the virtual network embedding, which aims to find efficient mappings of virtual network requests onto the substrate network. We improve over the state-of-the-art by considering security as a first-class citizen of virtual networks, while enhancing the substrate infrastructure with resources from multiple cloud providers. Our solution enables the definition of flexible policies in three core elements: on the virtual links, where alternative security compromises can be explored (e.g., encryption); on the virtual switches, supporting various degrees of protection and redundancy if necessary; and on the substrate infrastructure, extending it across multiple clouds, including public and private facilities, with their inherently diverse trust levels associated. We propose an optimal solution to this problem formulated as a Mixed Integer Linear Program (MILP). The results of our evaluation give insight into the trade-offs associated with the inclusion of security demands into network virtualization. In particular, they provide evidence that enhancing the user's virtual networks with security does not preclude high acceptance rates and an efficient use of resources, and allows providers to increase their revenues.


title: New types of two component NLS-type equations

abstract: We study MNLS related to the D.III-type symmetric spaces. Applying to them Mikhailov reduction groups of the type $\mathbb{Z}_r\times \mathbb{Z}_2$ we derive new types of 2-component NLS equations. These are {\bf not} counterexamples to the Zakharov-Schulman theorem because the corresponding interaction Hamiltonians depend not only on $|q_k|^2$, but also on $q_1q_2^* +q_1^* q_2$.


title: Healing of Defects in Random Antiferromagnetic Spin Chains

abstract: We study the effects of a weakened link in random antiferromagnetic spin chains. We show that healing occurs, and that homogeneity is restored at low energy, in a way that is qualitatively similar to the fate of impurities in clean ferromagnetic spin chains, or in Luttinger liquids with attractive interactions. Healing in the random case occurs even without interactions, and is characteristic of the random singlet phase. Using real space renormalization group and exact diagonalization methods, we characterize this universal healing crossover by studying the entanglement across the weak link. We identify a crossover healing length $L^*$ that separates a regime where the system is cut in half by the weak link from a fixed point where the spin chain is healed. Our results open the way to the study of impurity physics in disordered spin chains.


title: Nanoscale Magnetic Compasses

abstract: We have synthesized nanoscale magnetic compasses with high yield. These ferromagnetic iron carbide nano-particles, which are encapsulated in a pair of parallel carbon needles, change their direction in response to an external magnetic field. Electron holography reveals magnetic fields confined to the vicinity of the bicone-shaped particles, which are composed of few ferromagnetic domains. Aligned magnetically and encapsulated in an acrylate polymer matrix, these nanocompasses exhibit anisotropic bulk magnetic permeability with an easy axis normal to the needle direction, that can be understood as a result of the anisotropic demagnetizing field of a nonspherical single-domain particle. This novel material with orthogonal magnetic and structural axes could be highly useful as magnetic components in electromagnetic wave absorbent materials and magnetorheological fluids.


title: Complete metric approximation property for $q$-Araki-Woods algebras

abstract: By adapting an ultraproduct technique of Junge and Zeng, we prove that radial completely bounded multipliers on $q$-Gaussian algebras transfer to $q$-Araki-Woods algebras. As a consequence, we establish the $w^{\ast}$-complete metric approximation property for all $q$-Araki-Woods algebras. We apply the latter result to show that the canonical ultraweakly dense C$^\ast$-subalgebras of $q$-Araki-Woods algebras are always QWEP.


title: On the vDVZ discontinuity in massive conformal gravity

abstract: By taking the massless limit of linearized massive conformal gravity coupled to a source, we show that the theory is free from the vDVZ discontinuity. This result is confirmed when we take the massless limit of the gravitational potential of the theory, which is shown to be finite at the origin.


title: Coverage of Author Identifiers in Web of Science and Scopus

abstract: As digital collections of scientific literature are widespread and used frequently in knowledge-intense working environments, it has become a challenge to identify author names correctly. The treatment of homonyms is crucial for the reliable resolution of author names. Apart from varying handling of first, middle and last names, vendors as well as the digital library community created tools to address the problem of author name disambiguation. This technical report focuses on two widespread collections of scientific literature, Web of Science (WoS) and Scopus, and the coverage with author identification information such as Researcher ID, ORCID and Scopus Author Identifier in the period 1996 - 2014. The goal of this study is to describe the significant differences of the two collections with respect to overall distribution of author identifiers and its use across different subject domains. We found that the STM disciplines show the best coverage of author identifiers in our dataset of 6,032,000 publications which are both covered by WoS and Scopus. In our dataset we found 184,823 distinct ResearcherIDs and 70,043 distinct ORCIDs. In the appendix of this report we list a complete overview of all WoS subject areas and the amount of author identifiers in these subject areas.


title: Near-field thermal radiative transfer between two coated spheres

abstract: In this work, we present an expression for the near-field thermal radiative transfer between two spheres with an arbitrary numbers of coatings. We numerically demonstrate that the spectrum of heat transfer between layered spheres exhibits novel features due to the newly introduced interfaces between coatings and cores. These features include broad super-Planckian peaks at non-resonant frequencies and near-field selective emission between metallic spheres with polar material coatings. Spheres with cores and coatings of two different polar materials are also shown to exceed the total conductance of homogeneous spheres in some cases.


title: Nearly perturbative lattice-motivated QCD coupling with zero IR limit

abstract: The product of the gluon dressing function and the square of the ghost dressing function in the Landau gauge can be regarded to represent, apart from the inverse power corrections 1/Q^{2n}, a nonperturbative generalization A(Q^2) of the perturbative QCD running coupling a(Q^2)=alpha_s(Q^2)/pi. Recent large volume lattice calculations for these dressing functions indicate that the coupling defined in such a way goes to zero as A(Q^2)~Q^2 when the squared momenta Q^2 go to zero (Q^2<<1 GeV^2). In this work we construct such a QCD coupling A(Q^2) which fulfills also various other physically motivated conditions. At high momenta it becomes the underlying perturbative coupling a(Q^2) to a very high precision. And at intermediate low squared momenta Q^2~1 GeV^2 it gives results consistent with the data of the semihadronic tau lepton decays as measured by OPAL and ALEPH. The coupling is constructed in a dispersive way, resulting as a byproduct in the holomorphic behavior of A(Q^2) in the complex Q^2-plane which reflects the holomorphic behavior of the spacelike QCD observables. Application of the Borel sum rules to tau-decay V+A spectral functions allows us to obtain values for the gluon (dimension-4) condensate and the dimension-6 condensate, which reproduce the measured OPAL and ALEPH data to a significantly better precision than the perturbative MSbar coupling approach.


title: Disorder enabled band structure engineering of a topological insulator surface

abstract: Three dimensional topological insulators are bulk insulators with $\mathbf{Z}_2$ topological electronic order that gives rise to conducting light-like surface states. These surface electrons are exceptionally resistant to localization by non-magnetic disorder, and have been adopted as the basis for a wide range of proposals to achieve new quasiparticle species and device functionality. Recent studies have yielded a surprise by showing that in spite of resisting localization, topological insulator surface electrons can be reshaped by defects into distinctive resonance states. Here we use numerical simulations and scanning tunneling microscopy data to show that these resonance states have significance well beyond the localized regime usually associated with impurity bands. At native densities in the model Bi$_2$X$_3$ (X=Bi, Te) compounds, defect resonance states are predicted to generate a new quantum basis for an emergent electron gas that supports diffusive electrical transport.


title: Integrability theorems and conformally constant Chern scalar curvature metrics in almost Hermitian geometry

abstract: The various scalar curvatures on an almost Hermitian manifold are studied, in particular with respect to conformal variations. We show several integrability theorems, which state that two of these can only agree in the K\"ahler case. Our main question is the existence of almost K\"ahler metrics with conformally constant Chern scalar curvature. This problem is completely solved for ruled manifolds and in a complementary case where methods from the Chern-Yamabe problem are adapted to the non-integrable case. Also a moment map interpretation of the problem is given, leading to a Futaki invariant and the usual picture from geometric invariant theory.


title: Waist size for cusps in hyperbolic 3-manifolds II

abstract: The waist size of a cusp in an orientable hyperbolic 3-manifold is the length of the shortest nontrivial curve generated by a parabolic isometry in the maximal cusp boundary. Previously, it was shown that the smallest possible waist size, which is 1, is realized only by the cusp in the figure-eight knot complement. In this paper, it is proved that the next two smallest waist sizes are realized uniquely for the cusps in the $5_2$ knot complement and the manifold obtained by (2,1)-surgery on the Whitehead link. One application is an improvement on the universal upper bound for the length of an unknotting tunnel in a 2-cusped hyperbolic 3-manifold.


title: Decoupled Block-Wise ILU(k) Preconditioner on GPU

abstract: This research investigates the implementation mechanism of block-wise ILU(k) preconditioner on GPU. The block-wise ILU(k) algorithm requires both the level k and the block size to be designed as variables. A decoupled ILU(k) algorithm consists of a symbolic phase and a factorization phase. In the symbolic phase, a ILU(k) nonzero pattern is established from the point-wise structure extracted from a block-wise matrix. In the factorization phase, the block-wise matrix with a variable block size is factorized into a block lower triangular matrix and a block upper triangular matrix. And a further diagonal factorization is required to perform on the block upper triangular matrix for adapting a parallel triangular solver on GPU.We also present the numerical experiments to study the preconditioner actions on different k levels and block sizes.


title: Prediction based on the Kennedy-O'Hagan calibration model: asymptotic consistency and other properties

abstract: Kennedy and O'Hagan (2001) propose a model for calibrating some unknown parameters in a computer model and estimating the discrepancy between the computer output and physical response. This model is known to have certain identifiability issues. Tuo and Wu (2016) show that there are examples for which the Kennedy-O'Hagan method renders unreasonable results in calibration. In spite of its unstable performance in calibration, the Kennedy-O'Hagan approach has a more robust behavior in predicting the physical response. In this work, we present some theoretical analysis to show the consistency of predictor based on their calibration model in the context of radial basis functions.


title: Multi-step Reinforcement Learning: A Unifying Algorithm

abstract: Unifying seemingly disparate algorithmic ideas to produce better performing algorithms has been a longstanding goal in reinforcement learning. As a primary example, TD($\lambda$) elegantly unifies one-step TD prediction with Monte Carlo methods through the use of eligibility traces and the trace-decay parameter $\lambda$. Currently, there are a multitude of algorithms that can be used to perform TD control, including Sarsa, $Q$-learning, and Expected Sarsa. These methods are often studied in the one-step case, but they can be extended across multiple time steps to achieve better performance. Each of these algorithms is seemingly distinct, and no one dominates the others for all problems. In this paper, we study a new multi-step action-value algorithm called $Q(\sigma)$ which unifies and generalizes these existing algorithms, while subsuming them as special cases. A new parameter, $\sigma$, is introduced to allow the degree of sampling performed by the algorithm at each step during its backup to be continuously varied, with Sarsa existing at one extreme (full sampling), and Expected Sarsa existing at the other (pure expectation). $Q(\sigma)$ is generally applicable to both on- and off-policy learning, but in this work we focus on experiments in the on-policy case. Our results show that an intermediate value of $\sigma$, which results in a mixture of the existing algorithms, performs better than either extreme. The mixture can also be varied dynamically which can result in even greater performance.


title: On the symplectic integration of the Klein Gordon lattice model

abstract: We investigate the performance of various methods of symplectic integration, which are based on two part splitting of the integration operator, for the numerical integration of multidimensional Hamiltonian systems. We implement these schemes to study the behavior of the one-dimensional quartic Klein Gordon disordered lattice with many degrees of freedom (of the order of a few hundreds) and compare their efficiency for the weak chaos regime of the system's dynamics. For this reason we perform extensive simulations for each considered integration scheme. In the process, the second moment and the participation number of the propagating wave packets, along with the system's relative energy error and the required CPU time are registered and compared.


title: Disentangling Price, Risk and Model Risk: V&R measures

abstract: We propose a method to assess the intrinsic risk carried by a financial position $X$ when the agent faces uncertainty about the pricing rule assigning its present value. Our approach is inspired by a new interpretation of the quasiconvex duality in a Knightian setting, where a family of probability measures replaces the single reference probability and is then applied to value financial positions. Diametrically, our construction of Value\&Risk measures is based on the selection of a basket of claims to test the reliability of models. We compare a random payoff $X$ with a given class of derivatives written on $X$ , and use these derivatives to \textquotedblleft test\textquotedblright\ the pricing measures. We further introduce and study a general class of Value\&Risk measures $% R(p,X,\mathbb{P})$ that describes the additional capital that is required to make $X$ acceptable under a probability $\mathbb{P}$ and given the initial price $p$ paid to acquire $X$.


title: Sampling and Frequency Warping

abstract: Optimal sampling of non band-limited functions is an issue of great importance that has attracted considerable attention. We propose to tackle this problem through the use of a frequency warping: First, by a nonlinear shrinking of frequencies, the function is transformed into a band-limited one. One may then perform a decomposition in Fourier series. This process gives rise to new orthonormal bases of the Sobolev spaces H^alpha. When alpha is an integer, these orthonormal bases can be expressed in terms of Laguerre functions. We study the reconstruction and speed of convergence properties of the warping-based sampling. Besides theoretical considerations, numerical experiments are performed.


title: On The Automated Planning And Design Of SMATV Systems

abstract: The paper presents some theoretical and practical considerations regarding the TV information distribution in local (small and medium) networks, using different technologies and architectures. The SMATV concept is chosen to be presented extensively. The most important design formulae are presented with a software package supporting the network planner to design and optimize the network. A case study is realized, using standard components in SMATV, for a 5 floor building. The study proved that it is possible to design and optimize the entire network, without realizing first a costly experimental setup. It is also possible to run different architectures, optimizing also the costs of the final solution of network.


title: Optimistic lower bounds for convex regularized least-squares

abstract: Minimax lower bounds are pessimistic in nature: for any given estimator, minimax lower bounds yield the existence of a worst-case target vector $\beta^*_{worst}$ for which the prediction error of the given estimator is bounded from below. However, minimax lower bounds shed no light on the prediction error of the given estimator for target vectors different than $\beta^*_{worst}$. A characterization of the prediction error of any convex regularized least-squares is given. This characterization provide both a lower bound and an upper bound on the prediction error. This produces lower bounds that are applicable for any target vector and not only for a single, worst-case $\beta^*_{worst}$. Finally, these lower and upper bounds on the prediction error are applied to the Lasso is sparse linear regression. We obtain a lower bound involving the compatibility constant for any tuning parameter, matching upper and lower bounds for the universal choice of the tuning parameter, and a lower bound for the Lasso with small tuning parameter.


title: Towards Monetary Incentives in Social Q&A Services

abstract: Community-based question answering (CQA) services are facing key challenges to motivate domain experts to provide timely answers. Recently, CQA services are exploring new incentive models to engage experts and celebrities by allowing them to set a price on their answers. In this paper, we perform a data-driven analysis on two emerging payment-based CQA systems: Fenda (China) and Whale (US). By analyzing a large dataset of 220K questions (worth 1 million USD collectively), we examine how monetary incentives affect different players in the system. We find that, while monetary incentive enables quick answers from experts, it also drives certain users to aggressively game the system for profits. In addition, in this supplier-driven marketplace, users need to proactively adjust their price to make profits. Famous people are unwilling to lower their price, which in turn hurts their income and engagement over time. Finally, we discuss the key implications to future CQA design.


title: Quantum walks induced by Dirichlet random walks on infinite trees

abstract: We consider the Grover walk on infinite trees from the view point of spectral analysis. From the previous works, infinite regular trees provide localization. In this paper, we give the complete characterization of the eigenspace of this Grover walk, which involves localization of its behavior and recovers the previous works. Our result suggests that the Grover walk on infinite trees may be regarded as a limit of the quantum walk induced by the isotropic random walk with the Dirichlet boundary condition at the $n$-th depth rather than one with the Neumann boundary condition.


title: Emergence of correlated proton tunneling in water ice

abstract: Several experimental and theoretical studies report instances of concerted or correlated multiple proton tunneling in solid phases of water. Here, we construct a pseudo-spin model for the quantum motion of protons in a hexameric H$_2$O ring and extend it to open system dynamics that takes environmental effects into account in the form of O$-$H stretch vibrations. We approach the problem of correlations in tunneling using quantum information theory in a departure from previous studies. Our formalism enables us to quantify the coherent proton mobility around the hexagonal ring by one of the principal measures of coherence, the $l_1$ norm of coherence. The nature of the pairwise pseudo-spin correlations underlying the overall mobility is further investigated within this formalism. We show that the classical correlations of the individual quantum tunneling events in long-time limit is sufficient to capture the behaviour of coherent proton mobility observed in low-temperature experiments. We conclude that long-range intra-ring interactions do not appear to be a necessary condition for correlated proton tunneling in water ice.


title: Ab initio relaxation times and time-dependent Hamiltonians within the steepest-entropy-ascent quantum thermodynamic framework

abstract: Quantum systems driven by time-dependent Hamiltonians are considered here within the framework of steepest-entropy-ascent quantum thermodynamics (SEAQT) and used to study the thermodynamic characteristics of such systems. In doing so, a generalization of the SEAQT framework valid for all such systems is provided, leading to the development of an ab initio physically relevant expression for the intra-relaxation time, an important element of this framework and one that had as of yet not been uniquely determined as an integral part of the theory. The resulting expression for the relaxation time is valid as well for time-independent Hamiltonians as a special case and makes the description provided by the SEAQT framework more robust at the fundamental level. In addition, the SEAQT framework is used to help resolve a fundamental issue of thermodynamics in the quantum domain, namely, that concerning the unique definition of process-dependent work and heat functions. The developments presented lead to the conclusion that this framework is not just an alternative approach to thermodynamics in the quantum domain but instead one that uniquely sheds new light on various fundamental but as of yet not completely resolved questions of thermodynamics.


title: Holographic Cavalieri Principle as a Universal relation between Holographic Complexity and Holographic Entanglement Entropy

abstract: In this paper, we will propose a universal relation between the holographic complexity (dual to a volume in AdS) and the holographic entanglement entropy (dual to an area in AdS). We will explicitly demonstrate that our conjuncture hold for all a metric asymptotic to AdS$_3$, and then argue that such a relation should hold in general due to the AdS version of the Cavalieri principle. We will demonstrate that it holds for Janus solution, which have been recently been obtained in type IIB string theory. We will also show that this conjecture holds for a circular disk. This conjecture will be used to show that the proposal that the complexity equals action, and the proposal that the complexity equal volume can represent the same physics. Thus, using this conjecture, we will show that the black holes are fastest computers, using the proposal that complexity equals volume.


title: How Rotation Affects Masses and Ages of Classical Cepheids

abstract: Classical Cepheid variable stars are both sensitive astrophysical laboratories and accurate cosmic distance tracers. We have recently investigated how the evolutionary effects of rotation impact the properties of these important stars and here provide an accessible overview of some key elements as well as two important consequences. Firstly, rotation resolves the long-standing Cepheid mass discrepancy problem. Second, rotation increases main sequence lifetimes, i.e, Cepheids are approximately twice as old as previously thought. Finally, we highlight the importance of the short-period ends of Cepheid period distributions as indicators for model adequacy.


title: Newton-like dynamics associated to nonconvex optimization problems

abstract: We consider the dynamical system \begin{equation*}\left\{ \begin{array}{ll} v(t)\in\partial\phi(x(t))\\ \lambda\dot x(t) + \dot v(t) + v(t) + \nabla \psi(x(t))=0, \end{array}\right.\end{equation*} where $\phi:\R^n\to\R\cup\{+\infty\}$ is a proper, convex and lower semicontinuous function, $\psi:\R^n\to\R$ is a (possibly nonconvex) smooth function and $\lambda>0$ is a parameter which controls the velocity. We show that the set of limit points of the trajectory $x$ is contained in the set of critical points of the objective function $\phi+\psi$, which is here seen as the set of the zeros of its limiting subdifferential. If the objective function satisfies the Kurdyka-\L{}ojasiewicz property, then we can prove convergence of the whole trajectory $x$ to a critical point. Furthermore, convergence rates for the orbits are obtained in terms of the \L{}ojasiewicz exponent of the objective function, provided the latter satisfies the \L{}ojasiewicz property.


title: Generative Poisoning Attack Method Against Neural Networks

abstract: Poisoning attack is identified as a severe security threat to machine learning algorithms. In many applications, for example, deep neural network (DNN) models collect public data as the inputs to perform re-training, where the input data can be poisoned. Although poisoning attack against support vector machines (SVM) has been extensively studied before, there is still very limited knowledge about how such attack can be implemented on neural networks (NN), especially DNNs. In this work, we first examine the possibility of applying traditional gradient-based method (named as the direct gradient method) to generate poisoned data against NNs by leveraging the gradient of the target model w.r.t. the normal data. We then propose a generative method to accelerate the generation rate of the poisoned data: an auto-encoder (generator) used to generate poisoned data is updated by a reward function of the loss, and the target NN model (discriminator) receives the poisoned data to calculate the loss w.r.t. the normal data. Our experiment results show that the generative method can speed up the poisoned data generation rate by up to 239.38x compared with the direct gradient method, with slightly lower model accuracy degradation. A countermeasure is also designed to detect such poisoning attack methods by checking the loss of the target model.


title: Magneto-transport properties of the "hydrogen atom" nodal-line semimetal candidates CaTX (T=Ag, Cd, X=As, Ge)

abstract: Topological semimetals are characterized by protected crossings between conduction and valence bands. These materials have recently attracted significant interest because of the deep connections to high-energy physics, the novel topological surface states, and the unusual transport phenomena. While Dirac and Weyl semimetals have been extensively studied, the nodal-line semimetal remains largely unexplored due to the lack of an ideal material platform. In this paper, we report the magneto-transport properties of two nodal-line semimetal candidates CaAgAs and CaCdGe. First, our single crystalline CaAgAs supports the first "hydrogen atom" nodal-line semimetal, where only the topological nodal-line is present at the Fermi level. Second, our CaCdGe sample provides an ideal platform to perform comparative studies because it features the same topological nodal line but has a more complicated Fermiology with irrelevant Fermi pockets. As a result, the magnetoresistance of our CaCdGe sample is more than 100 times larger than that of CaAgAs. Through our systematic magneto-transport and first-principles band structure calculations, we show that our CaTX compounds can be used to study, isolate, and control the novel topological nodal-line physics in real materials.


title: Pulsar Timing at the Deep Space Network

abstract: The 70-m DSN's Deep Space Station antenna 14 (DSS-14) at Goldstone has recently been outfitted with instrumentation to enable pulsar searching and timing operation. Systems capable of similar operations are undergoing installation at DSS-63, and are planned for DSS-43. The Goldstone system is the first of these to become operational, with a 640 MHz bandwidth stretching from 1325-1965 MHz. Initial results from the pulsar timing pipeline show short-term residuals of < 100 ns for pulsar B1937+21. Commissioning obsefvations at DSS-14 to obtain a baseline set of TOA measurements on several millisecond pulsars are currently underway.


title: A variant of a theorem by Ailon-Rudnick for elliptic curves

abstract: Given a smooth projective curve C defined over a number field and given two elliptic surfaces E_1/C and E_2/C along with sections P_i and Q_i of E_i (for i = 1,2), we prove that if there exist infinitely many algebraic points t on C such that for some integers m_{1,t} and m_{2,t}, we have that [m_{i,t}](P_i)_t = (Q_i)_t on E_i (for i = 1,2), then at least one of the following conclusions must hold: either (i) there exists an isogeny f between E_1 and E_2 and also there exists a nontrivial endomorphism g of E_2 such that f(P_1) = g(P_2); or (ii) Q_i is a multiple of P_i for some i = 1,2. A special case of our result answers a conjecture made by Silverman.


title: Search for Very High Energy Gamma Rays from the Northern $\textit{Fermi}$ Bubble Region with HAWC

abstract: We present a search of very high energy gamma-ray emission from the Northern $\textit{Fermi}$ Bubble region using data collected with the High Altitude Water Cherenkov (HAWC) gamma-ray observatory. The size of the data set is 290 days. No significant excess is observed in the Northern $\textit{Fermi}$ Bubble region, hence upper limits above $1\,\text{TeV}$ are calculated. The upper limits are between $3\times 10^{-7}\,\text{GeV}\, \text{cm}^{-2}\, \text{s}^{-1}\,\text{sr}^{-1}$ and $4\times 10^{-8}\,\text{GeV}\,\text{cm}^{-2}\,\text{s}^{-1}\,\text{sr}^{-1}$. The upper limits disfavor a proton injection spectrum that extends beyond $100\,\text{TeV}$ without being suppressed. They also disfavor a hadronic injection spectrum derived from neutrino measurements.


title: A measure of intelligence of an approximation of a real number in a given model

abstract: In this paper, we present a way to measure the intelligence (or the interest) of an approximation of a given real number in a given model of approximation. Basing on the idea of the complexity of a number, defined as the number of its digits, we introduce a function noted $\mu$ (called a measure of intelligence) associating to any approximation $\mathbf{app}$ of a given real number in a given model a positive number $\mu(\mathbf{app})$, which characterises the intelligence of that approximation. Precisely, the approximation $\mathbf{app}$ is intelligent if and only if $\mu(\mathbf{app}) \geq 1$. We illustrate our theory by several numerical examples and also by applying it to the rational model. In such case, we show that it is coherent with the classical rational diophantine approximation. We end the paper by proposing an open problem which asks if any real number can be intelligently approximated in a given model for which it is a limit point.


title: The buckling instability of aggregating red blood cells

abstract: Plasma proteins such as fibrinogen induce the aggregation of red blood cells (RBC) into rouleaux, which are responsible for the pronounced shear thinning behavior of blood, control the erythro- cyte sedimentation rate (ESR) a common hematological test and are involved in many situations of physiological relevance such as structuration of blood in the microcirculation or clot formation in pathological situations. Confocal microscopy is used to characterize the shape of RBCs within rouleaux at equilibrium as a function of macromolecular concentration, revealing the diversity of contact zone morphology. Three different configurations that have only been partly predicted before are identified, namely parachute, male-female and sigmoid shapes, and quantitatively recovered by numerical simulations. A detailed experimental and theoretical analysis of clusters of two cells shows that the deformation increases nonlinearly with the interaction energy. Models indicate a forward bifurcation in which the contacting membrane undergoes a buckling instability from a flat to a de- formed contact zone at a critical value of the interaction energy. These results are not only relevant for the understanding of the morphology and stability of RBC aggregates, but also for a whole class of interacting soft deformable objects such as vesicles, capsules or cells in tissues.


title: Contextual Linear Bandits under Noisy Features: Towards Bayesian Oracles

abstract: We study contextual linear bandit problems under feature uncertainty; they are noisy with missing entries. To address the challenges of the noise, we analyze Bayesian oracles given observed noisy features. Our Bayesian analysis finds that the optimal hypothesis can be far from the underlying realizability function, depending on the noise characteristics, which are highly non-intuitive and do not occur for classical noiseless setups. This implies that classical approaches cannot guarantee a non-trivial regret bound. Therefore, we propose an algorithm that aims at the Bayesian oracle from observed information under this model, achieving $\tilde{O}(d\sqrt{T})$ regret bound when there is a large number of arms. We demonstrate the proposed algorithm using synthetic and real-world datasets.


title: Collusion-resistant and privacy-preserving P2P multimedia distribution based on recombined fingerprinting

abstract: Recombined fingerprints have been suggested as a convenient approach to improve the efficiency of anonymous fingerprinting for the legal distribution of copyrighted multimedia contents in P2P systems. The recombination idea is inspired by the principles of mating, recombination and heredity of the DNA sequences of living beings, but applied to binary sequences, like in genetic algorithms. However, the existing recombination-based fingerprinting systems do not provide a convenient solution for collusion resistance, since they require double-layer fingerprinting codes, making the practical implementation of such systems a challenging task. In fact, collusion resistance is regarded as the most relevant requirement of a fingerprinting scheme, and the lack of any acceptable solution to this problem would possibly deter content merchants from deploying any practical implementation of the recombination approach. In this paper, this drawback is overcome by introducing two non-trivial improvements, paving the way for a future real-life application of recombination-based systems. First, Nuida et al.'s collusion-resistant codes are used in segment-wise fashion for the first time. Second, a novel version of the traitor-tracing algorithm is proposed in the encrypted domain, also for the first time, making it possible to provide the buyers with security against framing. In addition, the proposed method avoids the use of public-key cryptography for the multimedia content and expensive cryptographic protocols, leading to excellent performance in terms of both computational and communication burdens. The paper also analyzes the security and privacy properties of the proposed system both formally and informally, whereas the collusion resistance and the performance of the method are shown by means of experiments and simulations.


title: A theoretical study of the g-factor of the 6s6p 3P0 state of mercury

abstract: We calculate the g-factor of the 6s6p 3P0 state of 199 and 201 mercury isotopes using a relativistic high-precision all-order method that combines the configuration interaction and the coupled-cluster approaches. Our values $g(199Hg) = -0.9485(49)*10^{-3}$ and $g(201Hg) = -0.3504(18)*10^{-3}$ are in agreement with the experimental measurements within the 0.5% theoretical uncertainty. We also calculate the hyperfine quenching rate of the 6s6p 3P0 state in 199Hg and 201Hg and determine its lifetime to be 1.3 and 1.9 s, respectively.


title: Approximate Convex Hulls: sketching the convex hull using curvature

abstract: Convex hulls are fundamental objects in computational geometry. In moderate dimensions or for large numbers of vertices, computing the convex hull can be impractical due to the computational complexity of convex hull algorithms. In this article we approximate the convex hull in using a scalable algorithm which finds high curvature vertices with high probability. The algorithm is particularly effective for approximating convex hulls which have a relatively small number of extreme points.


title: On higher-spin supertranslations and superrotations

abstract: We study the large gauge transformations of massless higher-spin fields in four-dimensional Minkowski space. Upon imposing suitable fall-off conditions, providing higher-spin counterparts of the Bondi gauge, we observe the existence of an infinite-dimensional asymptotic symmetry algebra. The corresponding Ward identities can be held responsible for Weinberg's factorization theorem for amplitudes involving soft particles of spin greater than two.


title: The Reinhardt Conjecture as an Optimal Control Problem

abstract: In 1934, Reinhardt conjectured that the shape of the centrally symmetric convex body in the plane whose densest lattice packing has the smallest density is a smoothed octagon. This conjecture is still open. We formulate the Reinhardt Conjecture as a problem in optimal control theory. The smoothed octagon is a Pontryagin extremal trajectory with bang-bang control. More generally, the smoothed regular $6k+2$-gon is a Pontryagin extremal with bang-bang control. The smoothed octagon is a strict (micro) local minimum to the optimal control problem. The optimal solution to the Reinhardt problem is a trajectory without singular arcs. The extremal trajectories that do not meet the singular locus have bang-bang controls with finitely many switching times. Finally, we reduce the Reinhardt problem to an optimization problem on a five-dimensional manifold. (Each point on the manifold is an initial condition for a potential Pontryagin extremal lifted trajectory.) We suggest that the Reinhardt conjecture might eventually be fully resolved through optimal control theory. Some proofs are computer-assisted using a computer algebra system.


title: Mapping quorum sensing onto neural networks to understand collective decision making in heterogeneous microbial communities

abstract: Microbial communities frequently communicate via quorum sensing (QS), where cells produce, secrete, and respond to a threshold level of an autoinducer (AI) molecule, thereby modulating gene expression. However, the biology of QS remains incompletely understood in heterogeneous communities, where variant bacterial strains possess distinct QS systems that produce chemically unique AIs. AI molecules bind to 'cognate' receptors, but also to 'non-cognate' receptors found in other strains, resulting in inter-strain crosstalk. Understanding these interactions is a prerequisite for deciphering the consequences of crosstalk in real ecosystems, where multiple AIs are regularly present in the same environment. As a step towards this goal, we map crosstalk in a heterogeneous community of variant QS strains onto an artificial neural network model. This formulation allows us to systematically analyze how crosstalk regulates the community's capacity for flexible decision making, as quantified by the Boltzmann entropy of all QS gene expression states of the system. In a mean-field limit of complete cross-inhibition between variant strains, the model is exactly solvable, allowing for an analytical formula for the number of variants that maximize capacity as a function of signal kinetics and activation parameters. An analysis of previous experimental results on the Staphylococcus aureus two-component Agr system indicates that the observed combination of variant numbers, gene expression rates and threshold concentrations lies near this critical regime of parameter space where capacity peaks. The results are suggestive of a potential evolutionary driving force for diversification in certain QS systems.


title: The stability of unity beta equilibria in tokamaks

abstract: The plasma beta, ratio of kinetic to magnetic pressure, inside a tokamak should stay below the Troyon limit to avoid major plasma instabilities. However, this paper argues that Troyon limit occurs only when current profiles cannot sustain high beta equilibria. This paper shows that plasmas with peak beta on the order of unity are stable to ideal MHD modes. While the theoretical (ideal-MHD) stability of unity beta equilibrium has been resolved, the experimental existence of high beta equilibria in tokamaks remains an unsolved problem of plasma physics.


title: Towards unified spinor fields: confinement of gravitons on a dS background

abstract: We propose an unified theory for spinor fields on extended Weyl manifolds taking into account self-interactions to obtain the Relativistic dynamics on a general curved Riemannian background as continuation of the Relativistic Quantum Geometry program, recently introduced. We focuss our attention separately on both, massless and matter fields. We study an example of confined gravitons on a de Sitter (dS) background at Planckian scales.


title: Inducing syntactic cut-elimination for indexed nested sequents

abstract: The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such calculi for the many logics of interest. The nested sequent formalism was recently generalised to indexed nested sequents in order to yield proof calculi with the subformula property for extensions of the modal logic K by (Lemmon-Scott) Geach axioms. The proofs of completeness and cut-elimination therein were semantic and intricate. Here we show that derivations in the labelled sequent formalism whose sequents are `almost treelike' correspond exactly to indexed nested sequents. This correspondence is exploited to induce syntactic proofs for indexed nested sequent calculi making use of the elegant proofs that exist for the labelled sequent calculi. A larger goal of this work is to demonstrate how specialising existing proof-theoretic transformations alleviate the need for independent proofs in each formalism. Such coercion can also be used to induce new cutfree calculi. We employ this to present the first indexed nested sequent calculi for intermediate logics.


title: A Computational Model of Systems Memory Consolidation and Reconsolidation

abstract: In the mammalian brain, newly acquired memories depend on the hippocampus for maintenance and recall, but over time the neocortex takes over these functions, rendering memories hippocampus-independent. The process responsible for this transformation is called systems memory consolidation. However, reactivation of a well-consolidated memory can trigger a temporary return to a hippocampus-dependent state, a phenomenon known as systems memory reconsolidation. The neural mechanisms underlying systems memory consolidation and reconsolidation are not well understood. Here, we propose a neural model based on well-documented mechanisms of synaptic plasticity and stability and describe a computational implementation that demonstrates the model's ability to account for a range of findings from the systems consolidation and reconsolidation literature. We derive several predictions from the computational model and suggest experiments that may test its validity.


title: Generalised Discount Functions applied to a Monte-Carlo AImu Implementation

abstract: In recent years, work has been done to develop the theory of General Reinforcement Learning (GRL). However, there are few examples demonstrating these results in a concrete way. In particular, there are no examples demonstrating the known results regarding gener- alised discounting. We have added to the GRL simulation platform AIXIjs the functionality to assign an agent arbitrary discount functions, and an environment which can be used to determine the effect of discounting on an agent's policy. Using this, we investigate how geometric, hyperbolic and power discounting affect an informed agent in a simple MDP. We experimentally reproduce a number of theoretical results, and discuss some related subtleties. It was found that the agent's behaviour followed what is expected theoretically, assuming appropriate parameters were chosen for the Monte-Carlo Tree Search (MCTS) planning algorithm.


title: Pressure induced change in the electronic state of Ta$_4$Pd$_3$Te$_{16}$

abstract: We present measurements of superconducting transition temperature, resistivity, magnetoresistivity and temperature dependence of the upper critical field of Ta$_4$Pd$_3$Te$_{16}$ under pressures up to 16.4 kbar. All measured properties have an anomaly at $\sim 2 - 4$ kbar pressure range, in particular there is a maximum in $T_c$ and upper critical field, $H_{c2}(0)$, and minimum in low temperature, normal state resistivity. Qualitatively, the data can be explained considering the density of state at the Fermi level as a dominant parameter.


title: A note on pointwise convergence for the Schr\"odinger equation

abstract: We consider Carleson's problem regarding pointwise convergence for the Schr\"odinger equation. Bourgain recently proved that there is initial data, in $H^s(\mathbb{R}^n)$ with $s<\frac{n}{2(n+1)}$, for which the solution diverges on a set of nonzero Lebesgue measure. We provide a different example enabling the generalisation to fractional Hausdorff measure.


title: Search for Lorentz and CPT violation using sidereal time dependence of neutrino flavor transitions over a short baseline

abstract: A class of extensions of the Standard Model allows Lorentz and CPT violations, which can be identified by the observation of sidereal modulations in the neutrino interaction rate. A search for such modulations was performed using the T2K on-axis near detector. Two complementary methods were used in this study, both of which resulted in no evidence of a signal. Limits on associated Lorentz and CPT violating terms from the Standard Model Extension have been derived taking into account their correlations in this model for the first time. These results imply such symmetry violations are suppressed by a factor of more than $10^{20}$ at the GeV scale.


title: First and Second Order Asymptotics in Covert Communication

abstract: We study the first- and second-order asymptotics of covert communication over binary-input DMC for three different covertness metrics and under maximum probability of error constraint. When covertness is measured in terms of the relative entropy between the channel output distributions induced with and without communication, we characterize the exact first- and second-order asymptotics of the number of bits that can be reliably transmitted with a maximum probability of error less than $\epsilon$ and a relative entropy less than $\delta$. When covertness is measured in terms of the variational distance between the channel output distributions or in terms of the probability of missed detection for fixed probability of false alarm, we establish the exact first-order asymptotics and bound the second-order asymptotics. PPM achieves the optimal first-order asymptotics for all three metrics, as well as the optimal second-order asymptotics for relative entropy. The main conceptual contribution of this paper is to clarify how the choice of a covertness metric impacts the information-theoretic limits of covert communications. The main technical contribution underlying our results is a detailed expurgation argument to show the existence of a code satisfying the reliability and covertness criteria.


title: Convex Geometry of the Generalized Matrix-Fractional Function

abstract: Generalized matrix-fractional (GMF) functions are a class of matrix support functions introduced by Burke and Hoheisel as a tool for unifying a range of seemingly divergent matrix optimization problems associated with inverse problems, regularization and learning. In this paper we dramatically simplify the support function representation for GMF functions as well as the representation of their subdifferentials. These new representations allow the ready computation of a range of important related geometric objects whose formulations were previously unavailable.


title: A Matrix Variate Skew-t Distribution

abstract: Although there is ample work in the literature dealing with skewness in the multivariate setting, there is a relative paucity of work in the matrix variate paradigm. Such work is, for example, useful for modelling three-way data. A matrix variate skew-t distribution is derived based on a mean-variance matrix normal mixture. An expectation-conditional maximization algorithm is developed for parameter estimation. Simulated data are used for illustration.


title: Axiomatic Attribution for Deep Networks

abstract: We study the problem of attributing the prediction of a deep network to its input features, a problem previously studied by several other works. We identify two fundamental axioms---Sensitivity and Implementation Invariance that attribution methods ought to satisfy. We show that they are not satisfied by most known attribution methods, which we consider to be a fundamental weakness of those methods. We use the axioms to guide the design of a new attribution method called Integrated Gradients. Our method requires no modification to the original network and is extremely simple to implement; it just needs a few calls to the standard gradient operator. We apply this method to a couple of image models, a couple of text models and a chemistry model, demonstrating its ability to debug networks, to extract rules from a network, and to enable users to engage with models better.


title: Structure of 10N in 9C+p resonance scattering

abstract: The structure of exotic nucleus 10N was studied using 9C+p resonance scattering. Two L=0 resonances were found to be the lowest states in 10N. The ground state of 10N is unbound with respect to proton decay by 2.2(2) or 1.9(2) MeV depending on the 2- or 1- spin-parity assignment, and the first excited state is unbound by 2.8(2) MeV.


title: Yet another family of diagonal metrics for de Sitter and anti-de Sitter spacetimes

abstract: In this work we present and analyze a new class of coordinate representations of de Sitter and anti-de Sitter spacetimes for which the metrics are diagonal and (typically) static and axially symmetric. Contrary to the well-known forms of these fundamental geometries, that usually correspond to a 1+3 foliation with the 3-space of a constant spatial curvature, the new metrics are adapted to a 2+2 foliation, and are warped products of two 2-spaces of constant curvature. This new class of (anti-)de Sitter metrics depends on the value of cosmological constant Lambda and two discrete parameters +1,0,-1 related to the curvature of the 2-spaces. The class admits 3 distinct subcases for Lambda>0 and 8 subcases for Lambda<0. We systematically study all these possibilities. In particular, we explicitly present the corresponding parametrizations of the (anti-)de Sitter hyperboloid, visualize the coordinate lines and surfaces within the global conformal cylinder, investigate their mutual relations, present some closely related forms of the metrics, and give transformations to standard de Sitter and anti-de Sitter metrics. Using these results, we also provide a physical interpretation of B-metrics as exact gravitational fields of a tachyon.


title: Ebola Model and Optimal Control with Vaccination Constraints

abstract: The Ebola virus disease is a severe viral haemorrhagic fever syndrome caused by Ebola virus. This disease is transmitted by direct contact with the body fluids of an infected person and objects contaminated with virus or infected animals, with a death rate close to 90% in humans. Recently, some mathematical models have been presented to analyse the spread of the 2014 Ebola outbreak in West Africa. In this paper, we introduce vaccination of the susceptible population with the aim of controlling the spread of the disease and analyse two optimal control problems related with the transmission of Ebola disease with vaccination. Firstly, we consider the case where the total number of available vaccines in a fixed period of time is limited. Secondly, we analyse the situation where there is a limited supply of vaccines at each instant of time for a fixed interval of time. The optimal control problems have been solved analytically. Finally, we have performed a number of numerical simulations in order to compare the models with vaccination and the model without vaccination, which has recently been shown to fit the real data. Three vaccination scenarios have been considered for our numerical simulations, namely: unlimited supply of vaccines; limited total number of vaccines; and limited supply of vaccines at each instant of time.


title: Collective Learning in China's Regional Economic Development

abstract: Industrial development is the process by which economies learn how to produce new products and services. But how do economies learn? And who do they learn from? The literature on economic geography and economic development has emphasized two learning channels: inter-industry learning, which involves learning from related industries; and inter-regional learning, which involves learning from neighboring regions. Here we use 25 years of data describing the evolution of China's economy between 1990 and 2015--a period when China multiplied its GDP per capita by a factor of ten--to explore how Chinese provinces diversified their economies. First, we show that the probability that a province will develop a new industry increases with the number of related industries that are already present in that province, a fact that is suggestive of inter-industry learning. Also, we show that the probability that a province will develop an industry increases with the number of neighboring provinces that are developed in that industry, a fact suggestive of inter-regional learning. Moreover, we find that the combination of these two channels exhibit diminishing returns, meaning that the contribution of either of these learning channels is redundant when the other one is present. Finally, we address endogeneity concerns by using the introduction of high-speed rail as an instrument to isolate the effects of inter-regional learning. Our differences-in-differences (DID) analysis reveals that the introduction of high speed-rail increased the industrial similarity of pairs of provinces connected by high-speed rail. Also, industries in provinces that were connected by rail increased their productivity when they were connected by rail to other provinces where that industry was already present. These findings suggest that inter-regional and inter-industry learning played a role in China's great economic expansion.


title: Finding Likely Errors with Bayesian Specifications

abstract: We present a Bayesian framework for learning probabilistic specifications from large, unstructured code corpora, and a method to use this framework to statically detect anomalous, hence likely buggy, program behavior. The distinctive insight here is to build a statistical model that correlates all specifications hidden inside a corpus with the syntax and observed behavior of programs that implement these specifications. During the analysis of a particular program, this model is conditioned into a posterior distribution that prioritizes specifications that are relevant to this program. This allows accurate program analysis even if the corpus is highly heterogeneous. The problem of finding anomalies is now framed quantitatively, as a problem of computing a distance between a "reference distribution" over program behaviors that our model expects from the program, and the distribution over behaviors that the program actually produces. We present a concrete embodiment of our framework that combines a topic model and a neural network model to learn specifications, and queries the learned models to compute anomaly scores. We evaluate this implementation on the task of detecting anomalous usage of Android APIs. Our encouraging experimental results show that the method can automatically discover subtle errors in Android applications in the wild, and has high precision and recall compared to competing probabilistic approaches.


title: Moufang Theorem for a variety of local non-Moufang loops

abstract: An open problem in theory of loops is to find the variety of non- Moufang loops satisfying the Moufang Theorem. In this note, we present a variety of local smooth diassociative loops with such property.


title: Effective kinetic description of the expanding overoccupied Glasma

abstract: We report on a numerical study of the Boltzmann equation including $2\leftrightarrow 2$ scatterings of gluons and quarks in an overoccupied Glasma undergoing longitudinal expansion. We find that when a cascade of gluon number to the infrared occurs, corresponding to an infrared enhancement analogous to a transient Bose-Einstein condensate, gluon distributions qualitatively reproduce the results of classical-statistical simulations for the expanding Glasma. These include key features of the distributions that are not anticipated in the "bottom-up" thermalization scenario. We also find that quark distributions, like those of gluons, satisfy self-similar scaling distributions in the overoccupied Glasma. We discuss the implications of these results for a deeper understanding of the self-similarity and universality of parton distributions in the Glasma.


title: Specific Cation Diffusion across the (La,Sr)MnO3 (Ce,Gd)O2 interface in SOFCs

abstract: Oxide interfaces play very important roles for the physical and chemical properties of nanostructured materials, such as an ionic conductivity, superconductivity, and magnetism. Gadolinia-doped Ceria (GDC) is commonly selected as the interlayer between (La,Sr)MnO3 and Y2O3-stabilized ZrO2 in fuel cells. The chemical expansions across the oxide interlayer were carefully examined at the atomic resolution in order to understand the cation diffusion and existence of oxygen deficiency at the interfaces.


title: A Synthetic Statistical MIMO PLC Channel Model Applied to an In-Home Scenario

abstract: This paper proposes a synthetic statistical top-down MIMO power line communications channel model based on a pure phenomenological approach. The basic idea consists of directly synthesizing the experimental channel statistical properties to obtain an extremely compact model that requires a small set of parameters. The model is derived from the analysis of the in-home 2 $\times$ 3 MIMO PLC channel data set obtained by the ETSI Specialist Task Force 410 measurement campaign in the band 1.8-100 MHz. The challenge of modeling the channel statistical correlation, exhibited among the frequencies and between the MIMO modes, in compact form is tackled and it is shown that a small set of parameters can be used to reconstruct such a correlation behavior. The model is validated and compared to the measured channels, showing a good agreement in terms of average channel gain, root-mean-square delay spread, coherence bandwidth, and channel capacity distribution.


title: Solvability of the inverse scattering problem for the selfadjoint matrix Schrodinger operator on the half line

abstract: In this work we study the inverse scattering problem for the selfadjoint matrix Schrodinger operator on the half line. We provide the necessary and sufficient conditions for the solvability of the inverse scattering problem.


title: Model theoretic dynamics in Galois fashion

abstract: We investigate existentially closed models (of a quite arbitrary theory) equipped which an action of a fixed group G. We embed these structures in a monster model D of some well-rounded theory and describe them as PAC substructures of D. Assuming that the class of these existentially closed models is elementary, we show that, under the assumption of having bounded models, its theory is simple and eliminates quantifiers up to some existential formulas - similar to ACFA. Moreover, it codes finite sets and allows a geometric elimination of imaginaries, but not always a weak elimination of imaginaries.


title: Learning styles: Literature versus machine learning

abstract: Every teacher understands that different students benefit from different activities. Recent advances in data processing allow us to detect and use behavioral variability for adapting to a student. This approach allows us to optimize learning process but does not focus on understanding it. Conversely, classical findings in educational sciences allow us to understand the learner but are hard to embed in a large scale adaptive system. In this study we design and build a framework to investigate when the two approaches coincide.


title: Photon-gated spin transistor

abstract: Spin-polarized field-effect transistor (spin-FET), where a dielectric layer is generally employed for the electrical gating as the traditional FET, stands out as a seminal spintronic device under the miniaturization trend of electronics. It would be fundamentally transformative if optical gating was used for spin-FET. We report a new type of spin-polarized field-effect transistor (spin-FET) with optical gating, which is fabricated by partial exposure of the (La,Sr)MnO3 channel to light-emitting diode (LED) light. The manipulation of the channel conductivity is ascribed to the enhanced scattering of the spin-polarized current by photon-excited antiparallel aligned spins. And the photon-gated spin-FET shows strong light power dependence and reproducible enhancement of resistance under light illumination, indicting well-defined conductivity cycling features. Our finding would enrich the concept of spin-FET and promote the use of optical means in spintronics for low power consumption and ultrafast data processing.


title: Four-Dimensional Painlev\'e-Type Equations Associated with Ramified Linear Equations III: Garnier Systems and Fuji-Suzuki Systems

abstract: This is the last part of a series of three papers entitled "Four-dimensional Painlev\'e-type equations associated with ramified linear equations". In this series of papers we aim to construct the complete degeneration scheme of four-dimensional Painlev\'e-type equations. In the present paper, we consider the degeneration of the Garnier system in two variables and the Fuji-Suzuki system.


title: Internalization of Externalities in Interdependent Security: Large Network Cases

abstract: With increasing connectivity among comprising agents or (sub-)systems in large, complex systems, there is a growing interest in understanding interdependent security and dealing with inefficiency in security investments. Making use of a population game model and the well-known Chung-Lu random graph model, we study how one could encourage selfish agents to invest more in security by internalizing the externalities produced by their security investments. To this end, we first establish an interesting relation between the local minimizers of social cost and the Nash equilibria of a population game with slightly altered costs. Secondly, under a mild technical assumption, we demonstrate that there exists a unique minimizer of social cost and it coincides with the unique Nash equilibrium of the population game. This finding tells us how to modify the private cost functions of selfish agents in order to enhance the overall security and reduce social cost. In addition, it reveals how the sensitivity of overall security to security investments of agents influences their externalities and, consequently, penalties or taxes that should be imposed for internalization of externalities. Finally, we illustrate how the degree distribution of agents influences their security investments and overall security at both the NEs of population games and social optima.


title: CHROTRAN: A mathematical and computational model for in situ heavy metal remediation in heterogeneous aquifers

abstract: Groundwater contamination by heavy metals is a critical environmental problem for which in situ remediation is frequently the only viable treatment option. For such interventions, a three-dimensional reactive transport model of relevant biogeochemical processes is invaluable. To this end, we developed a model, CHROTRAN, for in situ treatment, which includes full dynamics for five species: a heavy metal to be remediated, an electron donor, biomass, a nontoxic conservative bio-inhibitor, and a biocide. Direct abiotic reduction by donor-metal interaction as well as donor-driven biomass growth and bio-reduction are modeled, along with crucial processes such as donor sorption, bio-fouling and biomass death. Our software implementation handles heterogeneous flow fields, arbitrarily many chemical species and amendment injection points, and features full coupling between flow and reactive transport. We describe installation and usage and present two example simulations demonstrating its unique capabilities. One simulation suggests an unorthodox approach to remediation of Cr(VI) contamination.


title: Multi-Scale Wavelet Domain Residual Learning for Limited-Angle CT Reconstruction

abstract: Limited-angle computed tomography (CT) is often used in clinical applications such as C-arm CT for interventional imaging. However, CT images from limited angles suffers from heavy artifacts due to incomplete projection data. Existing iterative methods require extensive calculations but can not deliver satisfactory results. Based on the observation that the artifacts from limited angles have some directional property and are globally distributed, we propose a novel multi-scale wavelet domain residual learning architecture, which compensates for the artifacts. Experiments have shown that the proposed method effectively eliminates artifacts, thereby preserving edge and global structures of the image.