title: Self-Destructing Dark Matter

abstract: We present Self-Destructing Dark Matter (SDDM), a new class of dark matter models which are detectable in large neutrino detectors. In this class of models, a component of dark matter can transition from a long-lived state to a short-lived one by scattering off of a nucleus or an electron in the Earth. The short-lived state then decays to Standard Model particles, generating a dark matter signal with a visible energy of order the dark matter mass rather than just its recoil. This leads to striking signals in large detectors with high energy thresholds. We present a few examples of models which exhibit self destruction, all inspired by bound state dynamics in the Standard Model. The models under consideration exhibit a rich phenomenology, possibly featuring events with one, two, or even three lepton pairs, each with a fixed invariant mass and a fixed energy, as well as non-trivial directional distributions. This motivates dedicated searches for dark matter in large underground detectors such as Super-K, Borexino, SNO+, and DUNE.


title: Experimental Machine Learning of Quantum States

abstract: Quantum information technologies provide promising applications in communication and computation, while machine learning has become a powerful technique for extracting meaningful structures in 'big data'. A crossover between quantum information and machine learning represents a new interdisciplinary area stimulating progresses in both fields. Traditionally, a quantum state is characterized by quantum state tomography, which is a resource-consuming process when scaled up. Here we experimentally demonstrate a machine-learning approach to construct a quantum-state classifier for identifying the separability of quantum states. We show that it is possible to experimentally train an artificial neural network to efficiently learn and classify quantum states, without the need of obtaining the full information of the states. We also show how adding a hidden layer of neurons to the neural network can significantly boost the performance of the state classifier. These results shed new light on how classification of quantum states can be achieved with limited resources, and represent a step towards machine-learning-based applications in quantum information processing.


title: Constraints on the Spin Evolution of Young Planetary-Mass Companions

abstract: Surveys of young star-forming regions have discovered a growing population of planetary-mass (<13 M_Jup) companions around young stars. There is an ongoing debate as to whether these companions formed like planets (that is, from the circumstellar disk), or if they represent the low-mass tail of the star formation process. In this study we utilize high-resolution spectroscopy to measure rotation rates of three young (2-300 Myr) planetary-mass companions and combine these measurements with published rotation rates for two additional companions to provide a look at the spin distribution of these objects. We compare this distribution to complementary rotation rate measurements for six brown dwarfs with masses <20 M_Jup, and show that these distributions are indistinguishable. This suggests that either that these two populations formed via the same mechanism, or that processes regulating rotation rates are independent of formation mechanism. We find that rotation rates for both populations are well below their break-up velocities and do not evolve significantly during the first few hundred million years after the end of accretion. This suggests that rotation rates are set during late stages of accretion, possibly by interactions with a circumplanetary disk. This result has important implications for our understanding of the processes regulating the angular momentum evolution of young planetary-mass objects, and of the physics of gas accretion and disk coupling in the planetary-mass regime.


title: Chimera States in Continuous Media: Existence and Distinctness

abstract: The defining property of chimera states is the coexistence of coherent and incoherent domains in systems that are structurally and spatially homogeneous. The recent realization that such states might be common in oscillator networks raises the question of whether an analogous phenomenon can occur in continuous media. Here, we show that chimera states can exist in continuous systems even when the coupling is strictly local, as in many fluid and pattern forming media. Using the complex Ginzburg-Landau equation as a model system, we characterize chimera states consisting of a coherent domain of a frozen spiral structure and an incoherent domain of amplitude turbulence. We show that in this case, in contrast with discrete network systems, fluctuations in the local coupling field play a crucial role in limiting the coherent regions. We suggest these findings shed light on new possible forms of coexisting order and disorder in fluid systems.


title: Extremely rapid x-ray flares of tev blazars in the rxte era

abstract: Rapid flares from blazars in very high energy (VHE) $\gamma$-rays challenge the common understanding of jets of active galactic nuclei (AGNs). The same population of ultra-relativistic electrons is often thought to be responsible for both X-ray and VHE emission. We thus systematically searched for X-ray flares at sub-hour timescales of TeV blazars in the entire Rossi X-ray Timing Explorer archival database. We found rapid flares from PKS 2005-489 and S5 0716+714, and a candidate rapid flare from 1ES 1101-232. In particular, the characteristic rise timescale of PKS 2005-489 is less than half a minute, which, to our knowledge, is the shortest among known AGN flares at any wavelengths. The timescales of these rapid flares indicate that the size of the central supermassive black hole is not a hard lower limit on the physical size of the emission region of the flare. PKS 2005-489 shows possible hard lags in its flare, which could be attributed to particle acceleration (injection), its flaring component has the hardest spectrum when it first appears. For all flares, the flaring components show similar hard spectra with $\Gamma=1.7-1.9$, and we estimate the magnetic field strength $B\sim$ 0.1--1.0 G by assuming synchrotron cooling. These flares could be caused by inhomogeneity of the jets. Models that can only produce rapid $\gamma$-ray flares but little synchrotron activity are less favorable.


title: PorePy: An Open-Source Simulation Tool for Flow and Transport in Deformable Fractured Rocks

abstract: Fractures are ubiquitous in the subsurface and strongly affect flow and deformation. The physical shape of the fractures, they are long and thin objects, puts strong limitations on how the effect of this dynamics can be incorporated into standard reservoir simulation tools. This paper reports the development of an open-source software framework, termed PorePy, which is aimed at simulation of flow and transport in three-dimensional fractured reservoirs, as well as deformation of the reservoir due to shearing along fracture and fault planes. Starting from a description of fractures as polygons embedded in a 3D domain, PorePy provides semi-automatic gridding to construct a discrete-fracture-matrix model, which forms the basis for subsequent simulations. PorePy allows for flow and transport in all lower-dimensional objects, including planes (2D) representing fractures, and lines (1D) and points (0D), representing fracture intersections. Interaction between processes in neighboring domains of different dimension is implemented as a sequence of couplings of objects one dimension apart. This readily allows for handling of complex fracture geometries compared to capabilities of existing software. In addition to flow and transport, PorePy provides models for rock mechanics, poro-elasticity and coupling with fracture deformation models. The software is fully open, and can serve as a framework for transparency and reproducibility of simulations. We describe the design principles of PorePy from a user perspective, with focus on possibilities within gridding, covered physical processes and available discretizations. The power of the framework is illustrated with two sets of simulations; involving respectively coupled flow and transport in a fractured porous medium, and low-pressure stimulation of a geothermal reservoir.


title: Modern Python at the Large Synoptic Survey Telescope

abstract: The LSST software systems make extensive use of Python, with almost all of it initially being developed solely in Python 2. Since LSST will be commissioned when Python 2 is end-of-lifed it is critical that we have all our code support Python 3 before commissioning begins. Over the past year we have made significant progress in migrating the bulk of the code from the Data Management system onto Python 3. This paper presents our migration methodology, and the current status of the port, with our eventual aim to be running completely on Python 3 by early 2018. We also discuss recent modernizations to our Python codebase.


title: Functional brain networks reveal the existence of cognitive reserve and the interplay between network topology and dynamics

abstract: We investigated how the organization of functional brain networks was related to cognitive reserve (CR) during a memory task in healthy aging. We obtained the magnetoencephalographic functional networks of 20 elders with a high or low CR level to analyse the differences at network features. We reported a negative correlation between synchronization of the whole network and CR, and observed differences both at the node and at the network level in: the average shortest path and the network outreach. Individuals with high CR required functional networks with lower links to successfully carry out the memory task. These results may indicate that those individuals with low CR level exhibited a dual pattern of compensation and network impairment, since their functioning was more energetically costly to perform the task as the high CR group. Additionally, we evaluated how the dynamical properties of the different brain regions were correlated to the network parameters obtaining that entropy was positively correlated with the strength and clustering coefficient, while complexity behaved conversely. Consequently, highly connected nodes of the functional networks showed a more stochastic and less complex signal. We consider that network approach may be a relevant tool to better understand brain functioning in aging.


title: Retirement Wealth under Fixed Limits: The Optimal Strategy for Exponential Utility

abstract: For an exponential utility maximizing investment strategy in a Black-Scholes Setting, fixed upper and lower constraints are introduced on the terminal wealth. This is equivalent to combining the optimal strategy with options. The resulting distribution is investigated in terms of change of quantiles. The theory is illustrated with quantitative examples, including an assessment of the effects of restricting the strategy to positive investments.


title: 4d N=2 SCFT and singularity theory Part III: Rigid singularity

abstract: We classify three fold isolated quotient Gorenstein singularity $C^3/G$. These singularities are rigid, i.e. there is no non-trivial deformation, and we conjecture that they define 4d $\mathcal{N}=2$ SCFTs which do not have a Coulomb branch.


title: Subject Selection on a Riemannian Manifold for Unsupervised Cross-subject Seizure Detection

abstract: Inter-subject variability between individuals poses a challenge in inter-subject brain signal analysis problems. A new algorithm for subject-selection based on clustering covariance matrices on a Riemannian manifold is proposed. After unsupervised selection of the subsets of relevant subjects, data in a cluster is mapped to a tangent space at the mean point of covariance matrices in that cluster and an SVM classifier on labeled data from relevant subjects is trained. Experiment on an EEG seizure database shows that the proposed method increases the accuracy over state-of-the-art from 86.83% to 89.84% and specificity from 87.38% to 89.64% while reducing the false positive rate/hour from 0.8/hour to 0.77/hour.


title: The influence of magnetic field on the CNM mass fraction and its alignment with density structures

abstract: To contribute to the understanding of the magnetic field's influence on the segregation of CNM in the solar neighbourhood we analyse MHD simulations which include the main physical characteristics of the local neutral atomic ISM. The simulations have a continuous solenoidal Fourier forcing in a periodic box of 100 pc per side and an initial uniform magnetic field ($\vec{B_0}$) with intensities ranging between $\sim 0.4$ $\mu$G and $\sim 8$ $\mu$G. Our main results are: i) the CNM mass fraction diminishes with the increase in magnetic field intensity. ii) There is a preferred alignment between CNM structures and $\vec{B}$ in all our $B_0$ range but the preference weakens as $B_{0}$ increases. It is worth noticing that this preference is also present in two-dimensional projections making an extreme angle ($0$ or $\pi / 2$) with respect to $\vec{B_0}$ and it is only lost for the strongest magnetic field when the angle of projection is perpendicular to $\vec{B_0}$. iii) The aforementioned results are prevalent despite the inclusion of self-gravity in our continuously forced simulations with a mean density similar to the average value of the solar neighbourhood. iv) Given a fixed $B_0$ and slightly higher mean densities, up to double, the effects of self-gravity are still not qualitatively significant.


title: Long-range overcharging and long-range charge reversal in model colloidal dispersions

abstract: Most theoretical and simulation studies on charged particles suspensions are at infinite dilution conditions. Hence these studies have been focused on the electrolyte structure around an isolated central particle (or elctrode), where phenomena as charge reversal, charge inversion and overcharging have been shown to be relevant. However, experimental studiesat finite volume fraction exhibit interesting phenomenology which imply very long-range correlations. Inthis paper we apply an integral equation theory to a simple model for a charged macroions suspension, at finite volume fraction, and find two new effects of long-range overcharging and long-range charge reversal. These new effects are different from the classical overcharging and charge reversal in that they occur at finite macroion's volume fraction, far away from the central macroion, are much more intense, and increase, not decrease, as a function of the distance to the central particle, which is indicative of correlations at large separations. We find our results to be qualitative consistent with existing experimental results, and Monte Carlo simulations.


title: Graph Signal Processing: Overview, Challenges and Applications

abstract: Research in Graph Signal Processing (GSP) aims to develop tools for processing data defined on irregular graph domains. In this paper we first provide an overview of core ideas in GSP and their connection to conventional digital signal processing. We then summarize recent developments in developing basic GSP tools, including methods for sampling, filtering or graph learning. Next, we review progress in several application areas using GSP, including processing and analysis of sensor network data, biological data, and applications to image processing and machine learning. We finish by providing a brief historical perspective to highlight how concepts recently developed in GSP build on top of prior research in other areas.


title: Finitely Generated Groups Are Universal

abstract: Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal. This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope of being universal. We show that finitely generated groups are as universal as possible, given that they are finitely generated: for every finitely generated structure, there is a finitely generated group which has the same computability-theoretic properties. The same is not true for finitely generated fields. We apply the results of this investigation to quasi Scott sentences.


title: Notes on bounded induction for the compositional truth predicate

abstract: We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with $\Delta_0$-induction scheme for the truth predicate and the full arithmetical induction scheme is not conservative over Peano Arithmetic. In addition, we show that a slightly modified theory of truth actually proves the global reflection principle over the base theory.


title: Models of Weak Theories of Truth

abstract: In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let $\mathfrak{Th}$ denote the class of models of PA which admit an expansion to a model of theory Th. We show (combining some well known results and original ideas) that $$\mathfrak{PA}\supset \mathfrak{TB}\supset \mathfrak{RS}\supset \mathfrak{UTB}\supseteq\mathfrak{CT^-},$$ where $\mathfrak{PA}$ denotes simply the class of all models of PA and $\mathfrak{RS}$ denotes the class of recursively saturated models of PA. Our main original result is that every model of PA which admits an expansion to a model of CT${}^-$, admits also an expanion to a model of UTB. Moreover, as a corollary to one of the results we conclude that UTB is not relatively interpretable in TB, thus answering the question of Fujimoto.


title: Models of Positive Truth

abstract: This paper is a follow-up to "Models of PT${}^-$ with internal induction for total formulae." We give a strenghtening of the main result on the semantical non-conservativity of the theory of PT${}^-$ with internal induction for total formulae (PT${}^- +$ INT(tot)). We show that if to PT${}^-$ the axiom of internal induction for all arithmetical formulae is added (PT${}^-$), then this theory is semantically stronger than PT${}^- +$ INT(tot). In particular the latter is not relatively truth definable (in the sense of Fujimoto) in the former. Last but not least we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in "The expressive power of truth."


title: Inter-theory Relations in Quantum Gravity: Correspondence, Reduction, and Emergence

abstract: Relationships between current theories, and relationships between current theories and the sought theory of quantum gravity (QG), play an essential role in motivating the need for QG, aiding the search for QG, and defining what would count as QG. Correspondence is the broad class of inter-theory relationships intended to demonstrate the necessary compatibility of two theories whose domains of validity overlap, in the overlap regions. The variety of roles that correspondence plays in the search for QG are illustrated, using examples from specific QG approaches. Reduction is argued to be a special case of correspondence, and to form part of the definition of QG. Finally, the appropriate account of emergence in the context of QG is presented, and compared to conceptions of emergence in the broader philosophy literature. It is argued that, while emergence is likely to hold between QG and general relativity, emergence is not part of the definition of QG, and nor can it serve usefully in the development and justification of the new theory.


title: On chromospheric heating during flux emergence in the solar atmosphere

abstract: Context. The radiative losses in the solar chromosphere vary from 4~kW~m$^{-2}$ in the quiet Sun, to 20~kW~m$^{-2}$ in active regions. The mechanisms that transport non-thermal energy to and deposit it in the chromosphere are still not understood. Aims. We aim to investigate the atmospheric structure and heating of the solar chromosphere in an emerging flux region. Methods. We use observations taken with the CHROMIS and CRISP instruments on the Swedish 1-m Solar Telescope in the Ca II K, Ca II 854.2 nm, H$\alpha$, and Fe I 630.1 nm and 630.2 nm lines. We analyse the various line profiles and in addition perform multi-line, multi-species, non-Local Thermodynamic Equilibrium (non-LTE) inversions to estimate the spatial and temporal variation of the chromospheric structure. Results. We investigate which spectral features of Ca II K contribute to the frequency-integrated Ca II K brightness, which we use as a tracer of chromospheric radiative losses. The majority of the radiative losses are not associated with localized high-Ca II K-brightness events, but instead with a more gentle, spatially extended, and persistent heating. The frequency-integrated Ca II K brightness correlates strongly with the total linear polarization in the Ca II 854.2 nm line, while the Ca II K profile shapes indicate that the bulk of the radiative losses occur in the lower chromosphere. Non-LTE inversions indicate a transition from heating concentrated around photospheric magnetic elements below $\log{\tau_{500}} =-3$ to a more space-filling and time-persistent heating above $\log{\tau_{500}} =-4$. The inferred gas temperature at $\log{\tau_{500}} =-3.8$ correlates strongly with the total linear polarization in the Ca II 854.2 nm line, suggesting that that the heating rate correlates with the strength of the horizontal magnetic field in the low chromosphere.


title: Nonlinear Feynman-Kac formulae for SPDEs with space-time noise

abstract: We study a class of backward doubly stochastic differential equations (BDSDEs) involving martingales with spatial parameters, and show that they provide probabilistic interpretations (Feynman-Kac formulae) for certain semilinear stochastic partial differential equations (SPDEs) with space-time noise. As an application of the Feynman-Kac formulae, random periodic solutions and stationary solutions to certain SPDEs are obtained.


title: Modeling the origin of urban output scaling laws

abstract: Urban outputs often scale superlinearly with city population. A difficulty in understanding the mechanism of this phenomenon is that different outputs differ considerably in their scaling behaviors. Here, we formulate a physics-based model for the origin of superlinear scaling in urban outputs by treating human interaction as a random process. Our model suggests that the increased likelihood of finding required collaborations in a larger population can explain this superlinear scaling, which our model predicts to be non-power-law. Moreover, the extent of superlinearity should be greater for activities that require more collaborators. We test this model using a novel dataset for seven crime types and find strong support.


title: From real materials to model Hamiltonians with density matrix downfolding

abstract: Due to advances in computer hardware and new algorithms, it is now possible to perform highly accurate many-body simulations of realistic materials with all their intrinsic complications. The success of these simulations leaves us with a conundrum: how do we extract useful physical models and insight from these simulations? In this article, we present a formal theory of downfolding--extracting an effective Hamiltonian from first-principles calculations. The theory maps the downfolding problem into fitting information derived from wave functions sampled from a low-energy subspace of the full Hilbert space. Since this fitting process most commonly uses reduced density matrices, we term it density matrix downfolding (DMD).


title: Large separated sets of unit vectors in Banach spaces of continuous functions

abstract: The paper concerns the problem whether a nonseparable $\C(K)$ space must contain a set of unit vectors whose cardinality equals to the density of $\C(K)$ such that the distances between every two distinct vectors are always greater than one. We prove that this is the case if the density is at most continuum and we prove that for several classes of $\C(K)$ spaces (of arbitrary density) it is even possible to find such a set which is $2$-equilateral; that is, the distance between every two distinct vectors is exactly 2.


title: Image to Image Translation for Domain Adaptation

abstract: We propose a general framework for unsupervised domain adaptation, which allows deep neural networks trained on a source domain to be tested on a different target domain without requiring any training annotations in the target domain. This is achieved by adding extra networks and losses that help regularize the features extracted by the backbone encoder network. To this end we propose the novel use of the recently proposed unpaired image-toimage translation framework to constrain the features extracted by the encoder network. Specifically, we require that the features extracted are able to reconstruct the images in both domains. In addition we require that the distribution of features extracted from images in the two domains are indistinguishable. Many recent works can be seen as specific cases of our general framework. We apply our method for domain adaptation between MNIST, USPS, and SVHN datasets, and Amazon, Webcam and DSLR Office datasets in classification tasks, and also between GTA5 and Cityscapes datasets for a segmentation task. We demonstrate state of the art performance on each of these datasets.


title: Determination of the strong coupling constant from inclusive jet cross section data from multiple experiments

abstract: Inclusive jet cross section measurements from the ATLAS, CDF, CMS, D0, H1, STAR, and ZEUS experiments are explored for determinations of the strong coupling constant $\alpha_{\text{s}}(M_{\text{Z}})$. Various jet cross section data sets are reviewed, their consistency is examined, and the benefit of their simultaneous inclusion in the $\alpha_{\text{s}}(M_{\text{Z}})$ determination is demonstrated. Different methods for the statistical analysis of these data are compared and one method is proposed for a coherent treatment of all data sets. While the presented studies are based on next-to-leading order in perturbative quantum chromodynamics (pQCD), they lay the groundwork for determinations of $\alpha_{\text{s}}(M_{\text{Z}})$ at next-to-next-to-leading order.


title: Intelligent EHRs: Predicting Procedure Codes From Diagnosis Codes

abstract: In order to submit a claim to insurance companies, a doctor needs to code a patient encounter with both the diagnosis (ICDs) and procedures performed (CPTs) in an Electronic Health Record (EHR). Identifying and applying relevant procedures code is a cumbersome and time-consuming task as a doctor has to choose from around 13,000 procedure codes with no predefined one-to-one mapping. In this paper, we propose a state-of-the-art deep learning method for automatic and intelligent coding of procedures (CPTs) from the diagnosis codes (ICDs) entered by the doctor. Precisely, we cast the learning problem as a multi-label classification problem and use distributed representation to learn the input mapping of high-dimensional sparse ICDs codes. Our final model trained on 2.3 million claims is able to outperform existing rule-based probabilistic and association-rule mining based methods and has a recall of 90@3.


title: Estimation of the Sensitive Volume for Gravitational-wave Source Populations Using Weighted Monte Carlo Integration

abstract: The population analysis and estimation of merger rates of compact binaries is one of the important topics in gravitational wave (GW) astronomy. The primary ingredient in these analyses is the population-averaged sensitive volume. Typically, sensitive volume, of a given search to a given simulated source population, is estimated by drawing signals from the population model and adding them to the detector data as injections. Subsequently injections, which are simulated gravitational waveforms, are searched for by the search pipelines and their signal-to-noise ratio (SNR) is determined. Sensitive volume is estimated, by using Monte-Carlo (MC) integration, from the total number of injections added to the data, the number of injections that cross a chosen threshold on SNR and the astrophysical volume in which the injections are placed. So far, only fixed population models have been used in the estimation of the merger rates. However, as the scope of population analysis broaden in terms of the methodologies and source properties considered, due to an increase in the number of observed GW signals, the procedure will need to be repeated multiple times at a large computational cost. In this letter we address the problem by performing a weighted MC integration. We show how a single set of generic injections can be weighted to estimate the sensitive volume for multiple population models; thereby greatly reducing the computational cost. The weights in this MC integral are the ratios of the output probabilities, determined by the population model and standard cosmology, and the injection probability, determined by the distribution function of the generic injections. Unlike analytical/semi-analytical methods, which usually estimate sensitive volume using single detector sensitivity, the method is accurate within statistical errors, comes at no added cost and requires minimal computational resources.


title: MICROSCOPE mission: first constraints on the violation of the weak equivalence principle by a light scalar dilaton

abstract: The existence of a light or massive scalar field with a coupling to matter weaker than gravitational strength is a possible source of violation of the weak equivalence principle. We use the first results on the E\"otv\"os parameter by the MICROSCOPE experiment to set new constraints on such scalar fields. For a massive scalar field of mass smaller than $10^{-12}$ eV (i.e. range larger than a few $10^5$ m) we improve existing constraints by one order of magnitude to $|\alpha|<10^{-11}$ if the scalar field couples to the baryon number and to $|\alpha|<10^{-12}$ if the scalar field couples to the difference between the baryon and the lepton numbers. We also consider a model describing the coupling of a generic dilaton to the standard matter fields with five parameters, for a light field: we find that for masses smaller than $10^{-12}$eV, the constraints on the dilaton coupling parameters are improved by one order of magnitude compared to previous equivalence principle tests.


title: A Pliable Lasso

abstract: We propose a generalization of the lasso that allows the model coefficients to vary as a function of a general set of modifying variables. These modifiers might be variables such as gender, age or time. The paradigm is quite general, with each lasso coefficient modified by a sparse linear function of the modifying variables $Z$. The model is estimated in a hierarchical fashion to control the degrees of freedom and avoid overfitting. The modifying variables may be observed, observed only in the training set, or unobserved overall. There are connections of our proposal to varying coefficient models and high-dimensional interaction models. We present a computationally efficient algorithm for its optimization, with exact screening rules to facilitate application to large numbers of predictors. The method is illustrated on a number of different simulated and real examples.


title: Numerical approximation to Benjamin type equations. Generation and stability of solitary waves

abstract: This paper is concerned with the study, by computational means, of the generation and stability of solitary-wave solutions of generalized versions of the Benjamin equation. The numerical generation of the solitary-wave profiles is accurately performed with a modified Petviashvili method which includes extrapolation to accelerate the convergence. In order to study the dynamics of the solitary waves the equations are discretized in space with a Fourier pseudospectral collocation method and a fourth-order, diagonally implicit Runge-Kutta method of composition type as time-stepping integrator. The stability of the waves is numerically studied by performing experiments with small and large perturbations of the solitary pulses as well as interactions of solitary waves.


title: Contamination source inference in water distribution networks

abstract: We study the inference of the origin and the pattern of contamination in water distribution networks. We assume a simplified model for the dyanmics of the contamination spread inside a water distribution network, and assume that at some random location a sensor detects the presence of contaminants. We transform the source location problem into an optimization problem by considering discrete times and a binary contaminated/not contaminated state for the nodes of the network. The resulting problem is solved by Mixed Integer Linear Programming. We test our results on random networks as well as in the Modena city network.


title: The magnitude of the minimal displacement vector for compositions and convex combinations of firmly nonexpansive mappings

abstract: Maximally monotone operators and firmly nonexpansive mappings play key roles in modern optimization and nonlinear analysis. Five years ago, it was shown that if finitely many firmly nonexpansive operators are all asymptotically regular (i.e., the have or "almost have" fixed points), then the same is true for compositions and convex combinations. In this paper, we derive bounds on the magnitude of the minimal displacement vectors of compositions and of convex combinations in terms of the displacement vectors of the underlying operators. Our results completely generalize earlier works. Moreover, we present various examples illustrating that our bounds are sharp.


title: The formation of polymer-dopant aggregates as a possible origin of limited doping efficiency at high dopant concentration

abstract: The polymer (PBDTTT-c) p-doped with the molecular dopant (Mo(tfd-COCF3)3) exhibits a decline in transport properties at high doping concentrations, which limits the performance attainable through organic semiconductor doping. Scanning Electron Microscopy is used to correlate the evolution of hole conductivity and hopping transport activation energy with the formation of aggregates in the layer. Transmission Electron Microscopy with energy-dispersive X-ray analysis along with liquid-state Nuclear Magnetic Resonance experiments are carried out to determine the composition of the aggregates. This study offers an explanation to the limited efficiency of doping at high dopant concentrations and reinforces the need to increase doping efficiency in order to be able to reduce the dopant concentration and not negatively affect conductivity.


title: Visual Features for Context-Aware Speech Recognition

abstract: Automatic transcriptions of consumer-generated multi-media content such as "Youtube" videos still exhibit high word error rates. Such data typically occupies a very broad domain, has been recorded in challenging conditions, with cheap hardware and a focus on the visual modality, and may have been post-processed or edited. In this paper, we extend our earlier work on adapting the acoustic model of a DNN-based speech recognition system to an RNN language model and show how both can be adapted to the objects and scenes that can be automatically detected in the video. We are working on a corpus of "how-to" videos from the web, and the idea is that an object that can be seen ("car"), or a scene that is being detected ("kitchen") can be used to condition both models on the "context" of the recording, thereby reducing perplexity and improving transcription. We achieve good improvements in both cases and compare and analyze the respective reductions in word error rate. We expect that our results can be used for any type of speech processing in which "context" information is available, for example in robotics, man-machine interaction, or when indexing large audio-visual archives, and should ultimately help to bring together the "video-to-text" and "speech-to-text" communities.


title: Charge Transport in Organic Molecular Semiconductors from First Principles: The Band-Like Hole Mobility in Naphthalene Crystal

abstract: Predicting charge transport in organic molecular crystals is notoriously challenging. Carrier mobility calculations in organic semiconductors are dominated by quantum chemistry methods based on charge hopping, which are laborious and only moderately accurate. We compute from first principles the electron-phonon scattering and the phonon-limited hole mobility of naphthalene crystal in the framework of ab initio band theory. Our calculations combine GW electronic bandstructures, ab initio electron-phonon scattering, and the Boltzmann transport equation. The calculated hole mobility is in very good agreement with experiment between 100$-$300 K, and we can predict its temperature dependence with high accuracy. We show that scattering between inter-molecular phonons and holes regulates the mobility, though intra-molecular phonons possess the strongest coupling with holes. We revisit the common belief that only rigid molecular motions affect carrier dynamics in organic molecular crystals. Our work provides a quantitative and rigorous framework to compute charge transport in organic crystals, and is a first step toward reconciling band theory and carrier hopping computational methods.


title: P-doped organic semiconductor: potential replacement for PEDOT:PSS in organic photodetectors

abstract: In this work we present an alternative to the use of PEDOT:PSS as hole transport and electron blocking layer in organic photodetectors processed by solution. As PEDOT:PSS is known to be sensitive to humidity, oxygen and UV, removing this layer is essential for lifetime improvements. As a first step to achieving this goal, we need to find an alternative layer that fulfills the same role in order to obtain a working diode with similar or better performance. As a replacement, a layer of Poly((4,8-bis-(2-ethylhexyloxy)-benzo(1,2-b:4,5-b)dithiophene)-2,6-diyl-alt-(4-(2-ethylhexanoyl)-thieno(3,4-b]thiophene-)-2-6-diyl)) (PBDTTT-c) p-doped with the dopant tris-(1-(trifluoroethanoyl)-2-(trifluoromethyl)ethane-1,2-dithiolene) (Mo(tfd-COCF3)3) is used. This p-doped layer effectively lowers the hole injection barrier, and the low electron affinity of the polymer prevents the injection of electrons in the active layer. We show similar device performance under light and the improvements of detection performance with the doped layer in comparison with PEDOT:PSS, leading to a detectivity of 1.9x1E13 cm(Hz)1/2(W)-1, competitive with silicon diodes used in imaging applications. Moreover, contrary to PEDOT:PSS, no localization of the p-doped layer is needed, leading to a diode active area defined by the patterned electrodes.


title: On "A Homogeneous Interior-Point Algorithm for Non-Symmetric Convex Conic Optimization"

abstract: In a recent paper, Skajaa and Ye proposed a homogeneous primal-dual interior-point method for non-symmetric conic optimization. The authors showed that their algorithm converges to $\varepsilon$-accuracy in $O(\sqrt{\nu}\log \varepsilon^{-1})$ iterations, where $\nu$ is the complexity parameter associated with a barrier function for the primal cone, and thus achieves the best-known iteration complexity for this class of problems. However, an earlier result from the literature was used incorrectly in the proofs of two intermediate lemmas in that paper. In this note, we propose new proofs of these results, allowing the same complexity bound to be established.


title: A Ginzburg-Landau type problem for highly anisotropic nematic liquid crystals

abstract: We carry out an asymptotic analysis of a thin nematic liquid crystal in which one elastic constant dominates over the others, namely \begin{align} \label{energyab} \inf E_\varepsilon(u)\quad\mbox{where}\quad E_\varepsilon(u) := \frac{1}{2}\int_\Omega \left\{\varepsilon\,|\nabla u|^2 + \frac{1}{\varepsilon} \,(|u|^2 - 1)^2 + L \,(\mathrm{div}\,u)^2\right\} \,dx. \end{align} Here $u: \Omega \to \mathbb R^2$ is a vector field, $0 < \varepsilon \ll 1 $ is a small parameter, and $L > 0$ is a fixed constant, independent of $\varepsilon$. We derive the $\Gamma$-limit $E_0$, which is a sum of a bulk term penalizing divergence and an Aviles-Giga type wall energy involving the cube of the jump in the tangential component of the $\mathbb{S}^1$-valued order parameter. We then derive criticality conditions for $E_0$ and analyze minimization of $E_0$ both rigorously and numerically for various domains $\Omega$ and a variety of Dirichlet boundary conditions.


title: Experimental studies of 7-cell dual axis asymmetric cavity for energy recovery linac

abstract: High average current, transportable energy recovery linacs (ERLs) can be very attractive tools for a number of applications including next generation high-luminosity, compact light sources. Conventional ERLs are based on an electron beam circulating through the same set of rf cavity cells. This leads to an accumulation of high-order modes inside the cavity cells, resulting in the development of a beam breakup (BBU) instability, unless the beam current is kept below the BBU start current. This limits the maximum current which can be transported through the ERL and hence the intensity of the photon beam generated. It has recently been proposed that splitting the accelerating and decelerating stages, tuning them separately and coupling them via a resonance coupler can increase the BBU start current. The paper presents the first experimental rf studies of a dual axis 7-cell asymmetric cavity and confirms the properties predicted by the theoretical model. The field structures of the symmetric and asymmetric modes are measured and good agreement with the numerical predictions is demonstrated. The operating mode field flatness was also measured and discussed. A novel approach based on the coupled mode (Fano-like) model has been developed for the description of the cavity Eigenmode spectrum and good agreement between analytical theory, numerical predictions and experimental data is shown. Numerical and experimental results observed are analyzed, discussed and a good agreement between theory and experiment is demonstrated.


title: The diachromatic number of digraphs

abstract: We consider the extension to directed graphs of the concept of achromatic number in terms of acyclic vertex colorings. The achromatic number have been intensely studied since it was introduced by Harary, Hedetniemi and Prins in 1967. The dichromatic number is a generalization of the chromatic number for digraphs defined by Neumann-Lara in 1982. A coloring of a digraph is an acyclic coloring if each subdigraph induced by each chromatic class is acyclic, and a coloring is complete if for any pair of chromatic classes $x,y$, there is an arc from $x$ to $y$ and an arc from $y$ to $x$. The dichromatic and diachromatic numbers are, respectively, the smallest and the largest number of colors in a complete acyclic coloring. We give some general results for the diachromatic number and study it for tournaments. We also show that the interpolation property for complete acyclic colorings does hold and establish Nordhaus-Gaddum relations.


title: Hierarchically cocompact classifying spaces for mapping class groups of surfaces

abstract: We define the notion of a hierarchically cocompact classifying space for a family of subgroups of a group. Our main application is to show that the mapping class group $\mbox{Mod}(S)$ of any connected oriented compact surface $S$, possibly with punctures and boundary components and with negative Euler characteristic has a hierarchically cocompact model for the family of virtually cyclic subgroups of dimension at most $\mbox{vcd} \mbox{Mod}(S)+1$. When the surface is closed, we prove that this bound is optimal. In particular, this answers a question of L\"{u}ck for mapping class groups of surfaces.


title: Propagating Uncertainty in Multi-Stage Bayesian Convolutional Neural Networks with Application to Pulmonary Nodule Detection

abstract: Motivated by the problem of computer-aided detection (CAD) of pulmonary nodules, we introduce methods to propagate and fuse uncertainty information in a multi-stage Bayesian convolutional neural network (CNN) architecture. The question we seek to answer is "can we take advantage of the model uncertainty provided by one deep learning model to improve the performance of the subsequent deep learning models and ultimately of the overall performance in a multi-stage Bayesian deep learning architecture?". Our experiments show that propagating uncertainty through the pipeline enables us to improve the overall performance in terms of both final prediction accuracy and model confidence.


title: Optimization of Imperative Programs in a Relational Database

abstract: For decades, RDBMSs have supported declarative SQL as well as imperative functions and procedures as ways for users to express data processing tasks. While the evaluation of declarative SQL has received a lot of attention resulting in highly sophisticated techniques, the evaluation of imperative programs has remained naive and highly inefficient. Imperative programs offer several benefits over SQL and hence are often preferred and widely used. But unfortunately, their abysmal performance discourages, and even prohibits their use in many situations. We address this important problem that has hitherto received little attention. We present Froid, an extensible framework for optimizing imperative programs in relational databases. Froid's novel approach automatically transforms entire User Defined Functions (UDFs) into relational algebraic expressions, and embeds them into the calling SQL query. This form is now amenable to cost-based optimization and results in efficient, set-oriented, parallel plans as opposed to inefficient, iterative, serial execution of UDFs. Froid's approach additionally brings the benefits of many compiler optimizations to UDFs with no additional implementation effort. We describe the design of Froid and present our experimental evaluation that demonstrates performance improvements of up to multiple orders of magnitude on real workloads.


title: Prediction-Constrained Topic Models for Antidepressant Recommendation

abstract: Supervisory signals can help topic models discover low-dimensional data representations that are more interpretable for clinical tasks. We propose a framework for training supervised latent Dirichlet allocation that balances two goals: faithful generative explanations of high-dimensional data and accurate prediction of associated class labels. Existing approaches fail to balance these goals by not properly handling a fundamental asymmetry: the intended task is always predicting labels from data, not data from labels. Our new prediction-constrained objective trains models that predict labels from heldout data well while also producing good generative likelihoods and interpretable topic-word parameters. In a case study on predicting depression medications from electronic health records, we demonstrate improved recommendations compared to previous supervised topic models and high- dimensional logistic regression from words alone.


title: $A$-Hypergeometric Modules and Gauss--Manin Systems

abstract: Let $A$ be a $d$ by $n$ integer matrix. Gel'fand et al. proved that most $A$-hypergeometric systems have an interpretation as a Fourier--Laplace transform of a direct image. The set of parameters for which this happens was later identified by Schulze and Walther as the set of not strongly resonant parameters of $A$. A similar statement relating $A$-hypergeometric systems to exceptional direct images was proved by Reichelt. In this article, we consider a hybrid approach involving neighborhoods $U$ of the torus of $A$ and consider compositions of direct and exceptional direct images. Our main results characterize for which parameters the associated $A$-hypergeometric system is the inverse Fourier-Laplace transform of such a "mixed Gauss-Manin" system. In order to describe which $U$ work for such a parameter, we introduce the notions of fiber support and cofiber support of a D-module. If the semigroup ring of $A$ is normal, we show that every $A$-hypergeometric system is "mixed Gauss--Manin". We also give an explicit description of the neighborhoods $U$ which work for each parameter in terms of primitive integral support functions.


title: Cryogenic System for the Cryomodule Test Stand at Fermilab

abstract: This paper describes the cryogenic system for the Cryomodule Test Stand (CMTS) at the new Cryomodule Test Facility (CMTF) located at Fermilab. CMTS is designed for production testing of the 1.3 GHz and 3.9 GHz cryomodules to be used in the Linac Coherent Light Source II (LCLSII), which is an upgrade to an existing accelerator at Stanford Linear Accelerator Laboratory (SLAC). This paper will focus on the cryogenic system that extends from the helium refrigeration plant to the CMTS cave. Topics covered will include component design, installation and commissioning progress, and operational plans. The paper will conclude with a description of the heat load measurement plan.


title: Analysing correlated noise on the surface code using adaptive decoding algorithms

abstract: Laboratory hardware is rapidly progressing towards a state where quantum error-correcting codes can be realised. As such, we must learn how to deal with the complex nature of the noise that may occur in real physical systems. Single qubit Pauli errors are commonly used to study the behaviour of error-correcting codes, but in general we might expect the environment to introduce correlated errors to a system. Given some knowledge of structures that errors commonly take, it may be possible to adapt the error-correction procedure to compensate for this noise, but performing full state tomography on a physical system to analyse this structure quickly becomes impossible as the size increases beyond a few qubits. Here we develop and test new methods to analyse blue a particular class of spatially correlated errors by making use of parametrised families of decoding algorithms. We demonstrate our method numerically using a diffusive noise model. We show that information can be learnt about the parameters of the noise model, and additionally that the logical error rates can be improved. We conclude by discussing how our method could be utilised in a practical setting blue and propose extensions of our work to study more general error models.


title: Toda maps, cocycles, and canonical systems

abstract: I present a discussion of the hierarchy of Toda flows that gives center stage to the associated cocycles and the maps they induce on the $m$ functions. In the second part, these ideas are then applied to canonical systems; an important feature of this discussion will be my proposal that the role of the shift on Jacobi matrices should now be taken over by the more general class of twisted shifts.


title: A Neural Stochastic Volatility Model

abstract: In this paper, we show that the recent integration of statistical models with deep recurrent neural networks provides a new way of formulating volatility (the degree of variation of time series) models that have been widely used in time series analysis and prediction in finance. The model comprises a pair of complementary stochastic recurrent neural networks: the generative network models the joint distribution of the stochastic volatility process; the inference network approximates the conditional distribution of the latent variables given the observables. Our focus here is on the formulation of temporal dynamics of volatility over time under a stochastic recurrent neural network framework. Experiments on real-world stock price datasets demonstrate that the proposed model generates a better volatility estimation and prediction that outperforms mainstream methods, e.g., deterministic models such as GARCH and its variants, and stochastic models namely the MCMC-based model \emph{stochvol} as well as the Gaussian process volatility model \emph{GPVol}, on average negative log-likelihood.


title: On monodromy representation of period integrals associated to an algebraic curve with bi-degree (2,2)

abstract: We study a problem related to Kontsevich's homological mirror symmetry conjecture for the case of a generic curve $\cal Y$ with bi-degree (2,2) in a product of projective lines ${\Bbb P}^{1} \times {\Bbb P}^{1}$. We calculate two differenent monodromy representations of period integrals for the affine variety ${\cal X}^{(2,2)}$ obtained by the dual polyhedron mirror variety construction from $\cal Y$. The first method that gives a full representation of the fundamental group of the complement to singular loci relies on the generalised Picard-Lefschetz theorem. The second method uses the analytic continuation of the Mellin-Barnes integrals that gives us a proper subgroup of the monodromy group. It turns out both representations admit a Hermitian quadratic invariant form that is given by a Gram matrix of a split generator of the derived category of coherent sheaves on on $\cal Y$ with respect to the Euler form.


title: Nonclassical photon pairs from warm atomic vapor using a single driving laser

abstract: Generation of nonclassical light is an essential tool for quantum optics research and applications in quantum information technology. We present realization of the source of nonclassically correlated photon pairs based on the process of spontaneous four-wave-mixing in warm atomic vapor. Atoms are excited only by a single laser beam in retro-reflected configuration and narrowband frequency filtering is employed for selection of correlated photon pairs. Nonclassicality of generated light fields is proved by analysis of their statistical properties. Measured parameters of the presented source promise further applicability for efficient interaction with atomic ensembles.


title: Detection and Characterization of Illegal Marketing and Promotion of Prescription Drugs on Twitter

abstract: Illicit online pharmacies allow the purchase of prescription drugs online without a prescription. Such pharmacies leverage social media platforms such as Twit- ter as a promotion and marketing tool with the intent of reaching out to a larger, potentially younger demographics of the population. Given the serious negative health effects that arise from abusing such drugs, it is important to identify the relevant content on social media and exterminate their presence as quickly as pos- sible. In response, we collected all the tweets that contained the names of certain preselected controlled substances over a period of 5 months. We found that an unsupervised topic modeling based methodology is able to identify tweets that promote and market controlled substances with high precision. We also study the meta-data characteristics of such tweets and the users who post them and find that they have several distinguishing characteristics that sets them apart. We were able to train supervised methods and achieve high performance in detecting such content and the users who post them.


title: Normal basises of algebras and Exponential Diophantine equations in rings of positive characteristic

abstract: In this paper we discourse basises of representable algebras. This question lead to arithmetic problems. We prove algorithmical solvability of exponential-Diophantine equations in rings represented by matrices over fields of positive characteristic. Consider the system of exponential-Diophantine equations $$ \sum\limits_{i=1}^s P_{ij}(n_1,\dots,n_t) b_{ij0} a_{ij1}^{n_1} b_{ij1} \dots a_{ijt}^{n_t}b_{ijt}=0 $$ where $b_{ijk},a_{ijk}$ are constants from matrix ring of characteristic $p$, $n_i$ are indeterminates. For any solution $(n_1,\dots,n_t)$ of the system we construct a word (over an alphabet containing $p^t$ symbols) ${\overline \alpha_0},\dots,{\overline \alpha_q}$ where ${\overline \alpha_i}$ is a $t$-tuple $\langle n_1^{(i)},\dots,n_t^{(i)}\rangle$, $n^{(i)}$ is the $i$-th digit in the $p$-adic representation of $n$. The main result of this paper is as follows: the set of words corresponding in this sense to solutions of a system of exponential-Diophantine equations is a regular language (i.e. recognizable by a finite automaton). There exists an effective algorithm which calculates this language. This algorithm is constructed in the paper.


title: Radiation damage and thermal shock response of carbon-fiber-reinforced materials to intense high-energy proton beams

abstract: A comprehensive study on the effects of energetic protons on carbon-fiber composites and compounds under consideration for use as low-Z pion production targets in future high-power accelerators and low-impedance collimating elements for intercepting TeV-level protons at the Large Hadron Collider has been undertaken addressing two key areas, namely, thermal shock absorption and resistance to irradiation damage.


title: Statistical Design of Chaotic Waveforms with Enhanced Targeting Capabilities

abstract: We develop a statistical theory of waveform shaping of incident waves that aim to efficiently deliver energy at weakly lossy targets which are embedded inside chaotic enclosures. Our approach utilizes the universal features of chaotic scattering -- thus minimizing the use of information related to the exact characteristics of the chaotic enclosure. The proposed theory applies equally well to systems with and without time-reversal symmetry.

categories: cond-mat.dis-nn cond-mat.mes-hall nlin.CD physics.optics


title: Observational signatures from horizonless black shells imitating rotating black holes

abstract: In arXiv:1705.10172 it was proposed that string theory replaces Schwarzschild black holes with horizonless thin shells with an AdS interior. In this paper we extend the analysis to slowly rotating black holes, solving the Israel-Lanczos-Sen junction conditions for a rotating shell composed of stringy matter to determine the metric. Outside of the shell we find a vacuum solution that differs from Kerr with a 32% larger quadrupole moment. We discuss the observational consequences and explore the possibility to distinguish between a black shell and a black hole. Promising methods include imaging of the black hole at the center of the Milky Way using the Event Horizon Telescope, precision measurements of stars in close orbits around the central black hole, and future observations of colliding super massive black holes using the space based gravitational wave observatory LISA.


title: Learning Neural Markers of Schizophrenia Disorder Using Recurrent Neural Networks

abstract: Smart systems that can accurately diagnose patients with mental disorders and identify effective treatments based on brain functional imaging data are of great applicability and are gaining much attention. Most previous machine learning studies use hand-designed features, such as functional connectivity, which does not maintain the potential useful information in the spatial relationship between brain regions and the temporal profile of the signal in each region. Here we propose a new method based on recurrent-convolutional neural networks to automatically learn useful representations from segments of 4-D fMRI recordings. Our goal is to exploit both spatial and temporal information in the functional MRI movie (at the whole-brain voxel level) for identifying patients with schizophrenia.


title: An Optimal Algorithm for Changing from Latitudinal to Longitudinal Formation of Autonomous Aircraft Squadrons

abstract: This work presents an algorithm for changing from latitudinal to longitudinal formation of autonomous aircraft squadrons. The maneuvers are defined dynamically by using a predefined set of 3D basic maneuvers. This formation changing is necessary when the squadron has to perform tasks which demand both formations, such as lift off, georeferencing, obstacle avoidance and landing. Simulations show that the formation changing is made without collision. The time complexity analysis of the transformation algorithm reveals that its efficiency is optimal, and the proof of correction ensures its longitudinal formation features.


title: Strong late-time circumstellar interaction in the peculiar supernova iPTF14hls

abstract: We present a moderate-resolution spectrum of the peculiar Type II supernova iPTF14hls taken on day 1153 after discovery. This spectrum reveals the clear signature of shock interaction with dense circumstellar material (CSM). We suggest that this CSM interaction may be an important clue for understanding the extremely unusual photometric and spectroscopic evolution seen over the first 600 days of iPTF14hls. The late-time spectrum shows a double-peaked intermediate-width H-alpha line indicative of expansion speeds around 1000 km/s, with the double-peaked shape hinting at a disc-like geometry in the CSM. If the CSM was highly asymmetric, perhaps in a disc or torus that was ejected from the star 3-6 years prior to explosion, then the CSM interaction could have been overrun and hidden below the SN ejecta photosphere from a wide range of viewing angles. In that case, CSM interaction luminosity would have been thermalized well below the photosphere, possibly sustaining the high luminosity without exhibiting the traditional observational signatures of strong CSM interaction (narrow H-alpha emission and X-rays). Variations in density structure of the CSM could account for the multiple rebrightenings of the lightcurve. We propose that enveloped CSM interaction as seen in some recent SNe, rather than an entirely new explosion mechanism, may be adequate to explain the peculiar evolution of iPTF14hls.


title: Mobility gap and quantum transport in functionalized graphene bilayer

abstract: In a Bernal graphene bilayer, carbon atoms belong to two inequivalent sublattices A and B, with atoms that are coupled to the other layer by $p_\sigma$ bonds belonging to sublattice A and the other atoms belonging to sublattice B. We analyze the density of states and the conductivity of Bernal graphene bilayers when atoms of sublattice A or B only are randomly functionalized. We find that for a selective functionalization on sublattice B only, a mobility gap of the order of 0.5 eV is formed close to the Dirac energy at concentration of adatoms c > 0.01. In addition, at some other energies conductivity presents anomalous behaviors. We show that these properties are related to the bipartite structure of the graphene layer.


title: Multi-Content GAN for Few-Shot Font Style Transfer

abstract: In this work, we focus on the challenge of taking partial observations of highly-stylized text and generalizing the observations to generate unobserved glyphs in the ornamented typeface. To generate a set of multi-content images following a consistent style from very few examples, we propose an end-to-end stacked conditional GAN model considering content along channels and style along network layers. Our proposed network transfers the style of given glyphs to the contents of unseen ones, capturing highly stylized fonts found in the real-world such as those on movie posters or infographics. We seek to transfer both the typographic stylization (ex. serifs and ears) as well as the textual stylization (ex. color gradients and effects.) We base our experiments on our collected data set including 10,000 fonts with different styles and demonstrate effective generalization from a very small number of observed glyphs.


title: Laser-plasma interaction in magnetized environment

abstract: Propagation and scattering of lasers present new phenomena and applications when the plasma medium becomes strongly magnetized. With mega-Gauss magnetic fields, scattering of optical lasers already becomes manifestly anisotropic. Special angles exist where coherent laser scattering is either enhanced or suppressed, as we demonstrate using a cold-fluid model. Consequently, by aiming laser beams at special angles, one may be able to optimize laser-plasma coupling in magnetized implosion experiments. In addition, magnetized scattering can be exploited to improve the performance of plasma-based laser pulse amplifiers. Using the magnetic field as an extra control variable, it is possible to produce optical pulses of higher intensity, as well as compress UV and soft x-ray pulses beyond the reach of other methods. In even stronger giga-Gauss magnetic fields, laser-plasma interactions begin to enter the relativistic-quantum regime. Using quantum electrodynamics, we compute modified wave dispersion relation, which enables correct interpretation of Faraday rotation measurements of strong magnetic fields.


title: Structural details of Al/Al2O3 junctions and their role in formation of electron tunnel barriers

abstract: We present a computational study of the adhesive and structural properties of the Al/Al2O3 interfaces as building blocks of the Metal-Insulator-Metal (MIM) tunnel devices, where electron transport is accomplished via tunnelling mechanism through the sandwiched insulating barrier. The main goal of this paper is to understand, on the atomic scale, the role of the geometrical details in the formation of the tunnel barrier profiles. To provide reliable results, we carefully assess the accuracy of the traditional methods used to examine Al/Al2O3 interfaces. These are the most widely employed exchange-correlation functionals, LDA, PBE and PW91, the Universal Binding Energy Relation (UBER) for predicting equilibrium interfacial distances and adhesion energies, and the ideal work of separation as a measure of junction stability. Finally, we perform a detailed analysis of the atomic and interplanar relaxations in each junction. Our results imply that the structural irregularities on the surface of the Al film have a significant contribution to lowering the tunnel barrier height, while interplanar relaxations in the Al film, away from the immediate interface do not have a notable impact on the tunnelling properties. On the other hand, up to 5-7 layers of Al2O3 may be involved in shaping the tunnel barriers. Interplanar relaxations of these layers depend on the geometry of the interface and may result in the net contraction by 13% relative to the corresponding thickness in the bulk oxide. This is a significant amount as the tunnelling probability depends exponentially on the barrier width.


title: An Elementary Analysis of the Probability That a Binomial Random Variable Exceeds Its Expectation

abstract: We give an elementary proof of the fact that a binomial random variable $X$ with parameters $n$ and $0.29/n \le p < 1$ with probability at least $1/4$ strictly exceeds its expectation. We also show that for $1/n \le p < 1 - 1/n$, $X$ exceeds its expectation by more than one with probability at least $0.0370$. Both probabilities approach $1/2$ when $np$ and $n(1-p)$ tend to infinity.


title: Bayesian Semi-nonnegative Tri-matrix Factorization to Identify Pathways Associated with Cancer Types

abstract: Identifying altered pathways that are associated with specific cancer types can potentially bring a significant impact on cancer patient treatment. Accurate identification of such key altered pathways information can be used to develop novel therapeutic agents as well as to understand the molecular mechanisms of various types of cancers better. Tri-matrix factorization is an efficient tool to learn associations between two different entities (e.g., cancer types and pathways in our case) from data. To successfully apply tri-matrix factorization methods to biomedical problems, biological prior knowledge such as pathway databases or protein-protein interaction (PPI) networks, should be taken into account in the factorization model. However, it is not straightforward in the Bayesian setting even though Bayesian methods are more appealing than point estimate methods, such as a maximum likelihood or a maximum posterior method, in the sense that they calculate distributions over variables and are robust against overfitting. We propose a Bayesian (semi-)nonnegative matrix factorization model for human cancer genomic data, where the biological prior knowledge represented by a pathway database and a PPI network is taken into account in the factorization model through a finite dependent Beta-Bernoulli prior. We tested our method on The Cancer Genome Atlas (TCGA) dataset and found that the pathways identified by our method can be used as a prognostic biomarkers for patient subgroup identification.


title: A topological model for cellular motivic spectra

abstract: For any motivic $\mathbb{E}_\infty$-ring spectrum $A$ we construct an equivalence $\rho$ between the $\infty$-category of cellular motivic $A$-module spectra and modules over an $\mathbb{E}_1$-algebra $\Theta$ in $\mathbb{Z} $-graded spectra, under which the motivic grading corresponds to the $\mathbb{Z}$-grading. If the base is the complex numbers or if $A$ admits an $\mathbb{E}_\infty$-orientation, we refine the $\mathbb{E}_1$-algebra $\Theta$ to an $\mathbb{E}_\infty$-algebra and $\rho$ to a symmetric monoidal equivalence. To capture the symmetric monoidal structure in the general situation, we lift $\rho$ to a symmetric monoidal equivalence to modules over an $\mathbb{E}_\infty$-algebra in $\mathcal{J} $-graded spectra that invert morphisms of $\mathcal{J}$, where $\mathcal{J}$ is the diagram category of Sagave-Schlichtkrull, a model for Quillen's localization of the groupoid of finite sets and bijections.


title: State Estimation For An Agonistic-Antagonistic Muscle System

abstract: Research on assistive technology, rehabilitation, and prosthesis requires the understanding of human machine interaction, in which human muscular properties play a pivotal role. This paper studies a nonlinear agonistic-antagonistic muscle system based on the Hill muscle model. To investigate the characteristics of the muscle model, the problem of estimating the state variables and activation signals of the dual muscle system is considered. In this work, parameter uncertainty and unknown inputs are taken into account for the estimation problem. Three observers are presented: a high gain observer, a sliding mode observer, and an adaptive sliding mode observer. Theoretical analysis shows the convergence of the three observers. To facilitate numerical simulations, a backstepping controller is employed to drive the muscle system to track a desired trajectory. Numerical simulations reveal that the three observers are comparable and provide reliable estimates in noise free and noisy cases. The proposed schemes may serve as frameworks for estimation of complex multi-muscle systems, which could lead to intelligent exercise machines for adaptive training and rehabilitation, and adaptive prosthetics and exoskeletons.


title: Towards understanding feedback from supermassive black holes using convolutional neural networks

abstract: Supermassive black holes at centers of clusters of galaxies strongly interact with their host environment via AGN feedback. Key tracers of such activity are X-ray cavities -- regions of lower X-ray brightness within the cluster. We present an automatic method for detecting, and characterizing X-ray cavities in noisy, low-resolution X-ray images. We simulate clusters of galaxies, insert cavities into them, and produce realistic low-quality images comparable to observations at high redshifts. We then train a custom-built convolutional neural network to generate pixel-wise analysis of presence of cavities in a cluster. A ResNet architecture is then used to decode radii of cavities from the pixel-wise predictions. We surpass the accuracy, stability, and speed of current visual inspection based methods on simulated data.


title: Multiple Stopping Time POMDPs: Structural Results & Application in Interactive Advertising in Social Media

abstract: This paper considers a multiple stopping time problem for a Markov chain observed in noise, where a decision maker chooses at most L stopping times to maximize a cumulative objective. We formulate the problem as a Partially Observed Markov Decision Process (POMDP) and derive structural results for the optimal multiple stopping policy. The main results are as follows: i) The optimal multiple stopping policy is shown to be characterized by threshold curves in the unit simplex of Bayesian Posteriors. ii) The stopping setsl (defined by the threshold curves) are shown to exhibit a nested structure. iii) The optimal cumulative reward is shown to be monotone with respect to the copositive ordering of the transition matrix. iv) A stochastic gradient algorithm is provided for estimating linear threshold policies by exploiting the structural results. These linear threshold policies approximate the threshold curves, and share the monotone structure of the optimal multiple stopping policy. As an illustrative example, we apply the multiple stopping framework to interactively schedule advertisements in live online social media. It is shown that advertisement scheduling using multiple stopping performs significantly better than currently used methods.


title: Tool steel ion beam assisted nitrocarburization

abstract: The nitrocarburization of the AISI-H13 tool steel by ion beam assisted deposition is reported. In this technique, a carbon film is continuously deposited over the sample by the ion beam sputtering of a carbon target while a second ion source is used to bombard the sample with low energy nitrogen ions. The results show that the presence of carbon has an important impact on the crystalline and microstructural properties of the material without modification of the case depth.


title: Quasisymmetrically co-Hopfian Sierpi\'nski Spaces and Menger Curve

abstract: A metric space $X$ is quasisymmetrically co-Hopfian if every quasisymmetric embedding of $X$ into itself is onto. We construct the first examples of metric spaces homeomorphic to the universal Menger curve and higher dimensional Sierpi\'nski spaces, which are quasisymmetrically co-Hopfian. We also show that the collection of quasisymmetric equivalence classes of spaces homeomorphic to the Menger curve is uncountable. These results answer a problem and generalize results of Merenkov from \cite{Mer:coHopf}.


title: Adaptive Sampled Softmax with Kernel Based Sampling

abstract: Softmax is the most commonly used output function for multiclass problems and is widely used in areas such as vision, natural language processing, and recommendation. A softmax model has linear costs in the number of classes which makes it too expensive for many real-world problems. A common approach to speed up training involves sampling only some of the classes at each training step. It is known that this method is biased and that the bias increases the more the sampling distribution deviates from the output distribution. Nevertheless, almost any recent work uses simple sampling distributions that require a large sample size to mitigate the bias. In this work, we propose a new class of kernel based sampling methods and develop an efficient sampling algorithm. Kernel based sampling adapts to the model as it is trained, thus resulting in low bias. Kernel based sampling can be easily applied to many models because it relies only on the model's last hidden layer. We empirically study the trade-off of bias, sampling distribution and sample size and show that kernel based sampling results in low bias with few samples.


title: A Theoretical Study of Process Dependence for Standard Two-Process Serial Models and Standard Two-Process Parallel Models

abstract: In this article we differentiate and characterize the standard two-process serial models and the standard two process parallel models by investigating the behavior of (conditional) distributions of the total completion times and survivals of intercompletion times without assuming any particular forms for the distributions of processing times. We address our argument through mathematical proofs and computational methods. It is found that for the standard two-process serial models, positive dependence between the total completion times does not hold if no specific distributional forms are imposed to the processing times. By contrast, for the standard two-process parallel models the total completion times are independent. According to different nature of process dependence, one can distinguish a standard two process serial model from a standard two-process parallel model. We also find that in standard two-process parallel models the monotonicity of survival function of the intercompletion time of stage 2 conditional on the completion of stage 1 depends on the monotonicity of the hazard function of processing time. We also find that the survival of intercompletion time(s) from stage 1 to stage 2 is increasing when the ratio of hazard function meets certain criterion. Then the empirical finding that the intercompletion time is grown with the growth of the number of recalled words can be accounted by standard parallel models. We also find that if the cumulative hazard function is concave or linear, the survival from stage 1 to stage 2 is increasing.


title: Graded super duality for general linear Lie superalgebras

abstract: We provide a new proof of the super duality equivalence between infinite-rank parabolic BGG categories of general linear Lie (super) algebras conjectured by Cheng and Wang and first proved by Cheng and Lam. We do this by establishing a new uniqueness theorem for tensor product categorifications motivated by work of Brundan, Losev, and Webster. Moreover we show that these BGG categories have Koszul graded lifts and super duality can be lifted to a graded equivalence.


title: Note on improvement precision of recursive function simulation in floating point standard

abstract: An improvement on precision of recursive function simulation in IEEE floating point standard is presented. It is shown that the average of rounding towards negative infinite and rounding towards positive infinite yields a better result than the usual standard rounding to the nearest in the simulation of recursive functions. In general, the method improves one digit of precision and it has also been useful to avoid divergence from a correct stationary regime in the logistic map. Numerical studies are presented to illustrate the method.


title: Effective Footstep Planning Using Homotopy-Class Guidance

abstract: Planning the motion for humanoid robots is a computationally-complex task due to the high dimensionality of the system. Thus, a common approach is to first plan in the low-dimensional space induced by the robot's feet---a task referred to as footstep planning. This low-dimensional plan is then used to guide the full motion of the robot. One approach that has proven successful in footstep planning is using search-based planners such as A* and its many variants. To do so, these search-based planners have to be endowed with effective heuristics to efficiently guide them through the search space. However, designing effective heuristics is a time-consuming task that requires the user to have good domain knowledge. Thus, our goal is to be able to effectively plan the footstep motions taken by a humanoid robot while obviating the burden on the user to carefully design local-minima free heuristics. To this end, we propose to use user-defined homotopy classes in the workspace that are intuitive to define. These homotopy classes are used to automatically generate heuristic functions that efficiently guide the footstep planner. Additionally, we present an extension to homotopy classes such that they are applicable to complex multi-level environments. We compare our approach for footstep planning with a standard approach that uses a heuristic common to footstep planning. In simple scenarios, the performance of both algorithms is comparable. However, in more complex scenarios our approach allows for a speedup in planning of several orders of magnitude when compared to the standard approach.


title: Native point defects of semiconducting layered Bi2O2Se

abstract: Bi2O2Se is an emerging semiconducting, air-stable layered material (Nat. Nanotechnol. 2017, 12, 530; Nano Lett. 2017, 17, 3021), potentially exceeding MoS2 and phosphorene in electron mobility and rivalling typical Van der Waals stacked layered materials in the next-generation high-speed and low-power electronics. Holding the promise of functional versatility, it is arousing rapidly growing interest from various disciplines, including optoelectronics, thermoelectronics and piezoelectronics. In this work, we comprehensively study the electrical properties of the native point defects in Bi2O2Se, as an essential step toward understanding the fundamentals of this material. The defect landscapes dependent on both Fermi energy and the chemical potentials of atomic constituents are investigated. Along with the bulk defect analysis, a complementary inspection of the surface properties, within the simple context of charge neutrality level model, elucidates the observed n-type characteristics of Bi2O2Se based FETs. This work provides important guide to engineer the defects of Bi2O2Se for desired properties, which is key to the successful application of this emerging layered material.


title: A reduced micromorphic model for multiscale materials and its applications in wave propagation

abstract: In this study, a reduced micromorphic model for multiscale materials is developed. In the context of this model, multiscale materials are modeled with deformable microstructures. The deformation energy is formed depending on microstrain and macroscopic strain residual fields. The constitutive equations according to the reduced micromorphic model only depend on eight material coefficients for linear elastic materials. These material coefficients are related to the material micro/macro-stifnesses and the material microstructural features. The wave dispersions in multiscale materials are then derived according to the reduced micromorphic model. It is revealed that this model can reflect nine dispersion curves (three acoustic modes and six optics) for a two-scale material. To demonstrate the effectiveness of the proposed model, the wave propagation characteristics, the band structure, and the absolute bandgap features of phononic materials are investigated. It is demonstrated that the reduced micromorphic model can effectively reflect the increase in the bandgap width with the increase in the filling factor in a composite phononic material with square lattices.


title: Characterizations of John spaces

abstract: The main purpose of this paper is to study the characterizations of John spaces. We obtain five equivalence characteristics for length John spaces. As an application, we establish a dimension-free quasisymmetric invariance of length John spaces.This result is new also in the case of the Euclidean space.


title: Survival-Supervised Topic Modeling with Anchor Words: Characterizing Pancreatitis Outcomes

abstract: We introduce a new approach for topic modeling that is supervised by survival analysis. Specifically, we build on recent work on unsupervised topic modeling with so-called anchor words by providing supervision through an elastic-net regularized Cox proportional hazards model. In short, an anchor word being present in a document provides strong indication that the document is partially about a specific topic. For example, by seeing "gallstones" in a document, we are fairly certain that the document is partially about medicine. Our proposed method alternates between learning a topic model and learning a survival model to find a local minimum of a block convex optimization problem. We apply our proposed approach to predicting how long patients with pancreatitis admitted to an intensive care unit (ICU) will stay in the ICU. Our approach is as accurate as the best of a variety of baselines while being more interpretable than any of the baselines.


title: Worst-Case Load Shedding in Electric Power Networks

abstract: We consider the worst-case load-shedding problem in electric power networks where a number of transmission lines are to be taken out of service. The objective is to identify a pre-specified number of line outage that leads to the maximum interruption of power generation and load at the transmission level, subject to the AC power flow model, the load and generation capacity of the buses, and the phase angle limit across the transmission lines. For this nonlinear model with binary constraints, we show that all decision variables are separable except for the nonlinear power flow equations. We develop an iterative decomposition algorithm, which converts the worst-case load shedding problem into a sequence of small subproblems. We show that the subproblems are either convex problems that can be solved efficiently or nonconvex problems that have closed-form solutions. Consequently, our approach is scalable for large networks. Furthermore, we prove global convergence of our algorithm to a critical point and the objective value is guaranteed to decrease throughout the iterations. Numerical experiments with IEEE test cases demonstrate the effectiveness of the developed approach.


title: Ultra-Reliable and Low-Latency Communications for Connected Vehicles: Challenges and Solutions

abstract: With the rapid development of communications and computing, the concept of connected vehicles emerges to improve driving safety, traffic efficiency and infotainment experience. Due to the limited capabilities of sensors and information processing on a single vehicle, vehicular networks (VNETs) play a vital role for the realization of connected vehicles. To achieve the closer cooperation on the road, ultra-reliable and low-latency communications (URLLCs) become the indispensable components of future VNETs. However, traditional wireless networks are designed with the objective of maximizing spectral and energy efficiency regardless of adequate consideration of URLLCs. To this end, this article investigates the challenges and solutions of conceiving URLLC VNETs dedicated for connected vehicles. Specifically, the underlying application scenarios are first presented with various vehicular communication patterns. Then, the URLLC requirements and potential challenges are discussed for VNETs. We also discuss the solutions to establish URLLC VNETs from the aspects of physical and media access control layers, including the optimization frameworks for latency and reliability, as well as the case studies of employing such frameworks. Finally, several open research directions are pointed out.


title: $\mathfrak A$-principal Hopf hypersurfaces in complex quadrics

abstract: A real hypersurface in the complex quadric $Q^m=SO_{m+2}/SO_mSO_2$ is said to be $\mathfrak A$-principal if its unit normal vector field is singular of type $\mathfrak A$-principal everywhere. In this paper, we show that a $\mathfrak A$-principal Hopf hypersurface in $Q^m$, $m\geq3$ is an open part of a tube around a totally geodesic $Q^{m+1}$ in $Q^m$. We also show that such real hypersurfaces are the only contact real hypersurfaces in $Q^m$. %, this answers affirmatively a question posted by Berndt (cf. \cite{berndt1})}. The classification for pseudo-Einstein real hypersurfaces in $Q^m$, $m\geq3$, is also obtained.


title: Observation of an Optical Spring With a Beamsplitter

abstract: We present the experimental observation of an optical spring without the use of an optical cavity. The optical spring is produced by interference at a beamsplitter and, in principle, does not have the damping force associated with optical springs created in detuned cavities. The experiment consists of a Michelson-Sagnac interferometer (with no recycling cavities) with a partially reflective GaAs microresonator as the beamsplitter that produces the optical spring. Our experimental measurements at input powers of up to 360 mW show the shift of the optical spring frequency as a function of power and are in excellent agreement with theoretical predictions. In addition, we show that the optical spring is able to keep the interferometer stable and locked without the use of external feedback.


title: Millimeter-Wave Interference Avoidance via Building-Aware Associations

abstract: Signal occlusion by building blockages is a double-edged sword for the performance of millimeter-wave (mmW) communication networks. Buildings may dominantly attenuate the useful signals, especially when mmW base stations (BSs) are sparsely deployed compared to the building density. In the opposite BS deployment, buildings can block the undesired interference. To enjoy only the benefit, we propose a building-aware association scheme that adjusts the directional BS association bias of the user equipments (UEs), based on a given building density and the concentration of UE locations around the buildings. The association of each BS can thereby be biased: (i) toward the UEs located against buildings for avoiding interference to other UEs; or (ii) toward the UEs providing their maximum reference signal received powers (RSRPs). The proposed association scheme is optimized to maximize the downlink average data rate derived by stochastic geometry. Its effectiveness is validated by simulation using real building statistics.


title: Central limit theorem for the variable bandwidth kernel density estimators

abstract: In this paper we study the ideal variable bandwidth kernel density estimator introduced by McKay (1993) and Jones, McKay and Hu (1994) and the plug-in practical version of the variable bandwidth kernel estimator with two sequences of bandwidths as in Gin\'e and Sang (2013). Based on the bias and variance analysis of the ideal and true variable bandwidth kernel density estimators, we study the central limit theorems for each of them.


title: Splenomegaly Segmentation using Global Convolutional Kernels and Conditional Generative Adversarial Networks

abstract: Spleen volume estimation using automated image segmentation technique may be used to detect splenomegaly (abnormally enlarged spleen) on Magnetic Resonance Imaging (MRI) scans. In recent years, Deep Convolutional Neural Networks (DCNN) segmentation methods have demonstrated advantages for abdominal organ segmentation. However, variations in both size and shape of the spleen on MRI images may result in large false positive and false negative labeling when deploying DCNN based methods. In this paper, we propose the Splenomegaly Segmentation Network (SSNet) to address spatial variations when segmenting extraordinarily large spleens. SSNet was designed based on the framework of image-to-image conditional generative adversarial networks (cGAN). Specifically, the Global Convolutional Network (GCN) was used as the generator to reduce false negatives, while the Markovian discriminator (PatchGAN) was used to alleviate false positives. A cohort of clinically acquired 3D MRI scans (both T1 weighted and T2 weighted) from patients with splenomegaly were used to train and test the networks. The experimental results demonstrated that a mean Dice coefficient of 0.9260 and a median Dice coefficient of 0.9262 using SSNet on independently tested MRI volumes of patients with splenomegaly.


title: Improved Stability of Whole Brain Surface Parcellation with Multi-Atlas Segmentation

abstract: Whole brain segmentation and cortical surface parcellation are essential in understanding the anatomical-functional relationships of the brain. Multi-atlas segmentation has been regarded as one of the leading segmentation methods for the whole brain segmentation. In our recent work, the multi-atlas technique has been adapted to surface reconstruction using a method called Multi-atlas CRUISE (MaCRUISE). The MaCRUISE method not only performed consistent volume-surface analyses but also showed advantages on robustness compared with the FreeSurfer method. However, a detailed surface parcellation was not provided by MaCRUISE, which hindered the region of interest (ROI) based analyses on surfaces. Herein, the MaCRUISE surface parcellation (MaCRUISEsp) method is proposed to perform the surface parcellation upon the inner, central and outer surfaces that are reconstructed from MaCRUISE. MaCRUISEsp parcellates inner, central and outer surfaces with 98 cortical labels respectively using a volume segmentation based surface parcellation (VSBSP), following a topological correction step. To validate the performance of MaCRUISEsp, 21 scan-rescan magnetic resonance imaging (MRI) T1 volume pairs from the Kirby21 dataset were used to perform a reproducibility analyses. MaCRUISEsp achieved 0.948 on median Dice Similarity Coefficient (DSC) for central surfaces. Meanwhile, FreeSurfer achieved 0.905 DSC for inner surfaces and 0.881 DSC for outer surfaces, while the proposed method achieved 0.929 DSC for inner surfaces and 0.835 DSC for outer surfaces. Qualitatively, the results are encouraging, but are not directly comparable as the two approaches use different definitions of cortical labels.


title: Conducting Highly Principled Data Science: A Statistician's Job and Joy

abstract: Highly Principled Data Science insists on methodologies that are: (1) scientifically justified, (2) statistically principled, and (3) computationally efficient. An astrostatistics collaboration, together with some reminiscences, illustrates the increased roles statisticians can and should play to ensure this trio, and to advance the science of data along the way.


title: On thermal molecular potential among micromolecules in charged AdS black holes

abstract: Considering the unexpected similarity between the thermodynamic features of charged AdS black holes and that of the van der Waals fluid system, we calculate the number densities of black hole micromolecules and derive the thermodynamic scalar curvature for the small and large black holes on the co-existence curve based on the so-called Ruppeiner thermodynamic geometry. We reveal that the microscopic feature of the small black hole perfectly matches that of the ideal anyon gas, and that the microscopic feature of the large black hole matches that of the ideal Bose gas. More importantly, we investigate the issue of molecular potential among micromolecules of charged AdS black holes, and point out explicitly that the well-known experiential Lennard-Jones potential is a feasible candidate to describe interactions among black hole micromolecules completely from a thermodynamic point of view. The behavior of the interaction force induced by the Lennard-Jones potential coincides with that of the thermodynamic scalar curvature. Both the Lennard-Jones potential and the thermodynamic scalar curvature offer a clear and reliable picture of microscopic structures for the small and large black holes on the co-existence curve for charged AdS black holes.


title: Calibrating a Stochastic Agent Based Model Using Quantile-based Emulation

abstract: In a number of cases, the Quantile Gaussian Process (QGP) has proven effective in emulating stochastic, univariate computer model output (Plumlee and Tuo, 2014). In this paper, we develop an approach that uses this emulation approach within a Bayesian model calibration framework to calibrate an agent-based model of an epidemic. In addition, this approach is extended to handle the multivariate nature of the model output, which gives a time series of the count of infected individuals. The basic modeling approach is adapted from Higdon et al. (2008), using a basis representation to capture the multivariate model output. The approach is motivated with an example taken from the 2015 Ebola Challenge workshop which simulated an ebola epidemic to evaluate methodology.


title: Explainable AI: Beware of Inmates Running the Asylum Or: How I Learnt to Stop Worrying and Love the Social and Behavioural Sciences

abstract: In his seminal book `The Inmates are Running the Asylum: Why High-Tech Products Drive Us Crazy And How To Restore The Sanity' [2004, Sams Indianapolis, IN, USA], Alan Cooper argues that a major reason why software is often poorly designed (from a user perspective) is that programmers are in charge of design decisions, rather than interaction designers. As a result, programmers design software for themselves, rather than for their target audience, a phenomenon he refers to as the `inmates running the asylum'. This paper argues that explainable AI risks a similar fate. While the re-emergence of explainable AI is positive, this paper argues most of us as AI researchers are building explanatory agents for ourselves, rather than for the intended users. But explainable AI is more likely to succeed if researchers and practitioners understand, adopt, implement, and improve models from the vast and valuable bodies of research in philosophy, psychology, and cognitive science, and if evaluation of these models is focused more on people than on technology. From a light scan of literature, we demonstrate that there is considerable scope to infuse more results from the social and behavioural sciences into explainable AI, and present some key results from these fields that are relevant to explainable AI.


title: Holographic Lattices and Numerical Techniques

abstract: In these notes we discuss various methods relevant to the numerical construction of stationary black hole solutions in General Relativity with negative cosmological constant. We focus on solutions which explicitly break translational invariance along the boundary directions. Within the framework of the gauge/gravity duality, these can be interpreted as lattices. They have finite conductivity and thus help us move one step forward towards more realistic scenarios in holography.


title: A Two-Stage Allocation Scheme for Delay-Sensitive Services in Dense Vehicular Networks

abstract: Driven by the rapid development of wireless communication system, more and more vehicular services can be efficiently supported via vehicle-to-everything (V2X) communications. In order to allocate radio resource with the reasonable implementation complexity in dense urban intersection, a two-stage allocation algorithm is proposed in this paper, whose main objective is to minimize delay and ensure reliability. In particular, as for the first stage, the allocation policy is based on traffic density information (TDI), which is different from utilizing channel state information (CSI) and queue state information (QSI) in the second stage. Moreover, in order to reflect the influence of TDI on delay, a macroscopic vehicular mobility model is employed in this paper. Simulation results show that the proposed algorithm can acquire an asymptotically optimal performance with the acceptable complexity.