title: On the Preliminary Investigation of Selfish Mining Strategy with Multiple Selfish Miners

abstract: Eyal and Sirer's selfish mining strategy has demonstrated that Bitcoin system is not secure even if 50% of total mining power is held by altruistic miners. Since then, researchers have been investigating either to improve the efficiency of selfish mining, or how to defend against it, typically in a single selfish miner setting. Yet there is no research on a selfish mining strategies concurrently used by multiple miners in the system. The effectiveness of such selfish mining strategies and their required mining power under such multiple selfish miners setting remains unknown. In this paper, a preliminary investigation and our findings of selfish mining strategy used by multiple miners are reported. In addition, the conventional model of Bitcoin system is slightly redesigned to tackle its shortcoming: namely, a concurrency of individual mining processes. Although a theoretical analysis of selfish mining strategy under this setting is yet to be established, the current findings based on simulations is promising and of great interest. In particular, our work shows that a lower bound of power threshold required for selfish mining strategy decreases in proportion to a number of selfish miners. Moreover, there exist Nash equilibria where all selfish miners in the system do not change to an honest mining strategy and simultaneously earn their unfair amount of mining reward given that they equally possess sufficiently large mining power. Lastly, our new model yields a power threshold for mounting selfish mining strategy slightly greater than one from the conventional model.


title: Practical Transfer Learning for Bayesian Optimization

abstract: When hyperparameter optimization of a machine learning algorithm is repeated for multiple datasets it is possible to transfer knowledge to an optimization run on a new dataset. We develop a new hyperparameter-free ensemble model for Bayesian optimization that is a generalization of two existing transfer learning extensions to Bayesian optimization and establish a worst-case bound compared to vanilla Bayesian optimization. Using a large collection of hyperparameter optimization benchmark problems, we demonstrate that our contributions substantially reduce optimization time compared to standard Gaussian process-based Bayesian optimization and improve over the current state-of-the-art for transfer hyperparameter optimization.


title: Epitaxial Growth of Single-Orientation High-Quality MoS$_2$ Monolayers

abstract: We present a study on the growth and characterization of high-quality single-layer MoS$_2$ with a single orientation, i.e. without the presence of mirror domains. This single orientation of the MoS$_2$ layer is established by means of x-ray photoelectron diffraction. The high quality is evidenced by combining scanning tunneling microscopy with x-ray photoelectron spectroscopy measurements. Spin- and angle-resolved photoemission experiments performed on the sample revealed complete spin-polarization of the valence band states near the K and -K points of the Brillouin zone. These findings open up the possibility to exploit the spin and valley degrees of freedom for encoding and processing information in devices that are based on epitaxially grown materials.


title: Inequalities for integrals of the modified Struve function of the first kind

abstract: Simple inequalities for some integrals involving the modified Struve function of the first kind $\mathbf{L}_{\nu}(x)$ are established. In most cases, these inequalities have best possible constant. We also deduce a tight double inequality, involving the modified Struve function $\mathbf{L}_{\nu}(x)$, for a generalized hypergeometric function.


title: Fragile aspects of topological transition in lossy and parity-time symmetric quantum walks

abstract: Quantum walks often provide telling insights about the structure of the system on which they are performed. In PT-symmetric and lossy dimer lattices, the topological properties of the band structure manifest themselves in the quantization of the mean displacement of such a walker. We investigate the fragile aspects of a topological transition in these two dimer models. We find that the transition is sensitive to the initial state of the walker on the Bloch sphere, and the resultant mean displacement has a robust topological component and a quasiclassical component. In PT symmetric dimer lattices, we also show that the transition is smeared by nonlinear effects that become important in the PT-symmetry broken region. By carrying out consistency checks via analytical calculations, tight-binding results, and beam-propagation-method simulations, we show that our predictions are easily testable in today's experimental systems.


title: Seeded Ising Model and Statistical Natures of Human Iris Templates

abstract: We propose a variant of Ising model, called the Seeded Ising Model, to model probabilistic nature of human iris templates. This model is an Ising model in which the values at certain lattice points are held fixed throughout Ising model evolution. Using this we show how to reconstruct the full iris template from partial information, and we show that about 1/6 of the given template is needed to recover almost all information content of the original one in the sense that the resulting Hamming distance is well within the range to assert correctly the identity of the subject. This leads us to propose the concept of effective statistical degree of freedom of iris templates and show it is about 1/6 of the total number of bits. In particular, for a template of $2048$ bits, its effective statistical degree of freedom is about $342$ bits, which coincides very well with the degree of freedom computed by the completely different method proposed by Daugman.

categories: stat.AP cs.CV cs.HC physics.data-an q-bio.OT


title: Magnetic oscillations Excited by Concurrent Spin Injection from a Tunneling Current and a Spin Hall Current

abstract: In this paper, a 3-terminal spin-transfer torque nano-oscillator (STNO) is studied using the concurrent spin injection of a spin-polarized tunneling current and a spin Hall current exciting the free layer into dynamic regimes beyond what is achieved by each individual mechanism. The pure spin injection is capable of inducing oscillations in the absence of charge currents effectively reducing the critical tunneling current to zero. This reduction of the critical charge currents can improve the endurance of both STNOs and non-volatile magnetic memories (MRAM) devices. It is shown that the system response can be described in terms of an injected spin current density $J_s$ which results from the contribution of both spin injection mechanisms, with the tunneling current polarization $p$ and the spin Hall angle $\theta$ acting as key parameters determining the efficiency of each injection mechanism. The experimental data exhibits an excellent agreement with this model which can be used to quantitatively predict the critical points ($J_s = -2.26\pm 0.09 \times 10^9 \hbar/e$ A/m$^2$) and the oscillation amplitude as a function of the input currents. In addition, the fitting of the data also allows an independent confirmation of the values estimated for the spin Hall angle and tunneling current polarization as well as the extraction of the damping $\alpha = 0.01$ and non-linear damping $Q = 3.8\pm 0.3$ parameters.


title: Stratifications of affine Deligne-Lusztig varieties

abstract: Affine Deligne-Lusztig varieties are analogues of Deligne-Lusztig varieties in the context of affine flag varieties and affine Grassmannians. They are closely related to moduli spaces of $p$-divisible groups in positive characteristic, and thus to arithmetic properties of Shimura varieties. We compare stratifications of affine Deligne-Lusztig varieties attached to a basic element $b$. In particular, we show that the stratification defined by Chen and Viehmann using the relative position to elements of the group $J_b$, the $\sigma$-centralizer of $b$, coincides with the Bruhat-Tits stratification in all cases of Coxeter type, as defined by X. He and the author.


title: Generative Adversarial Networks using Adaptive Convolution

abstract: Most existing GANs architectures that generate images use transposed convolution or resize-convolution as their upsampling algorithm from lower to higher resolution feature maps in the generator. We argue that this kind of fixed operation is problematic for GANs to model objects that have very different visual appearances. We propose a novel adaptive convolution method that learns the upsampling algorithm based on the local context at each location to address this problem. We modify a baseline GANs architecture by replacing normal convolutions with adaptive convolutions in the generator. Experiments on CIFAR-10 dataset show that our modified models improve the baseline model by a large margin. Furthermore, our models achieve state-of-the-art performance on CIFAR-10 and STL-10 datasets in the unsupervised setting.


title: On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework

abstract: Means to support collaboration for remote industrial facilities such as mining are an important topic, especially in Australia, where major mining sites can be more than a thousand kilometers from population centres. Software-based collaboration and maintenance solutions can help to reduce costs associated with these remote facilities. In this paper, we report on our collaborative engineering project providing a decision support solution tailored for Australian needs. We present two application examples: one related to incident handling in industrial automation, the other one in the area of smart energy systems.


title: Growing low-dimensional supramolecular crystals directly from 3D particles

abstract: We show that one-dimensional (1D) nanostructures and two-dimensional (2D) supramolecular crystals of organic semiconductors can be grown on substrates under ambient conditions directly from three-dimensional (3D) organic crystals. The approach does not require dissolving, melting or evaporating of the source crystals and is based on the Organic Solid-Solid Wetting Deposition (OSWD). We exemplify our approach by the pigment quinacridone (QAC). Scanning Tunnelling Microscopy (STM) investigations show that the structures of the resulting 2D crystals are similar to the chain arrangement of the alpha and beta QAC polymorphs and are independent of the 3D source crystal polymorph (gamma). Furthermore, distinct 1D chains can be produced systematically.


title: Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries

abstract: Deciding the equivalence of SQL queries is a fundamental problem in data management. As prior work has mainly focused on studying the theoretical limitations of the problem, very few implementations for checking such equivalences exist. In this paper, we present a new formalism and implementation for reasoning about the equivalences of SQL queries. Our formalism, U-semiring, extends SQL's semiring semantics with unbounded summation and duplicate elimination. U-semiring is defined using only very few axioms and can thus be easily implemented using proof assistants such as Coq for automated query reasoning. Yet, they are sufficient enough to enable us reason about sophisticated SQL queries that are evaluated over bags and sets, along with various integrity constraints. To evaluate the effectiveness of U-semiring, we have used it to formally verify 39 query rewrite rules from both classical data management research papers and real-world SQL engines, where many of them have never been proven correct before.


title: Dissipation-consistent modelling and classification of extended plasticity formulations

abstract: A unified classification framework for models of extended plasticity is presented. The models include well known micromorphic and strain gradient plasticity formulations. A unified treatment is possible due to the representation of strain gradient plasticity as an Eringen-type micromorphic continua. The classification is based on the form of the energetic and dissipative model structures and exploits the framework of dissipation-consistent modelling to elucidate the flow relation and yield condition. Models are identified as either serial or parallel. This designation is also applicable to familiar models of classical plasticity. Particular attention is paid to the rate-dependent problem arising from the choice of a smooth dissipation potential. The inability to locally determine the region of admissible stresses for the non-smooth (rate-independent) parallel models of plasticity is made clear.


title: Why Is There Something, Rather Than Nothing?

abstract: It seems natural to ask why the universe exists at all. Modern physics suggests that the universe can exist all by itself as a self-contained system, without anything external to create or sustain it. But there might not be an absolute answer to why it exists. I argue that any attempt to account for the existence of something rather than nothing must ultimately bottom out in a set of brute facts; the universe simply is, without ultimate cause or explanation.


title: Feature Based Framework to Detect Diseases, Tumor, and Bleeding in Wireless Capsule Endoscopy

abstract: Studying animal locomotion improves our understanding of motor control and aids in the treatment of motor impairment. Mice are a premier model of human disease and are the model system of choice for much of basic neuroscience. High frame rates (250 Hz) are needed to quantify the kinematics of these running rodents. Manual tracking, especially for multiple markers, becomes time-consuming and impossible. Therefore, an automated method is necessary. We propose a method to track the paws of the animal in the following manner: first, segmenting all the possible paws based on color; second, classifying the segmented objects using a support vector machine (SVM) and neural network (NN); third, classifying the objects using the kinematic features of the running animal, coupled with texture features from earlier frames; and finally, detecting and handling collisions to assure the correctness of labelled paws. The proposed method is validated in sixty 1,000 frame video sequences (4 seconds) captured by four cameras from five mice. The total sensitivity for tracking of the front and hind paw is 99.70% using the SVM classifier and 99.76% using the NN classifier. In addition, we show the feasibility of 3D reconstruction using the four camera system.


title: Cyberhubs: Virtual Research Environments for Astronomy

abstract: Collaborations in astronomy and astrophysics are faced with numerous cyber infrastructure challenges, such as large data sets, the need to combine heterogeneous data sets, and the challenge to effectively collaborate on those large, heterogeneous data sets with significant processing requirements and complex science software tools. The cyberhubs system is an easy-to-deploy package for small to medium-sized collaborations based on the Jupyter and Docker technology, that allows web-browser enabled, remote, interactive analytic access to shared data. It offers an initial step to address these challenges. The features and deployment steps of the system are described, as well as the requirements collection through an account of the different approaches to data structuring, handling and available analytic tools for the NuGrid and PPMstar collaborations. NuGrid is an international collaboration that creates stellar evolution and explosion physics and nucleosynthesis simulation data. The PPMstar collaboration performs large-scale 3D stellar hydrodynamics simulation of interior convection in the late phases of stellar evolution. Examples of science that is presently performed on cyberhubs, in the areas 3D stellar hydrodynamic simulations, stellar evolution and nucleosynthesis and Galactic chemical evolution, are presented.


title: Monodromy and Log Geometry

abstract: A now classical construction due to Kato and Nakayama attaches a topological space (the "Betti realization") to a log scheme over $\mathbf{C}$. We show that in the case of a log smooth degeneration over the standard log disc, this construction allows one to recover the topology of the germ of the family from the log special fiber alone. We go on to give combinatorial formulas for the monodromy and the $d^2$ differentials acting on the nearby cycle complex in terms of the log structures. We also provide variants of these results for the Kummer etale topology. In the case of curves, these data are essentially equivalent to those encoded by the dual graph of a semistable degeneration, including the monodromy pairing and the Picard-Lefschetz formula.


title: The Effect of Alternating Magnetic Field on Acceleration of Charged Particles

abstract: The self-consistent problem of the wave and particle spectrum is formulated and solved for acceleration of particles in a homogeneous magnetic field that varies periodically with time. It follows from the obtained solutions that when account is taken of the synchrotron radiation, the diffusion coefficient Do of ultrarelativistic electrons does not differ from the Fermi value. An expression is obtained for the minimum concentration of the accelerated particles, at which the cyclotron instability ensures the scattering necessary for effective acceleration.


title: Designing scattering-free isotropic index profiles using phase-amplitude equations

abstract: The Helmholtz equation can be written as coupled equations for the amplitude and phase. By considering spatial phase distributions corresponding to reflectionless wave propagation in the plane and solving for the amplitude in terms of this phase, we designed two-dimensional graded-index media which do not scatter light. We give two illustrative examples, the first of which is a periodic grating for which diffraction is completely suppressed at a single frequency at normal incidence to the periodicity. The second example is a medium which behaves as a 'beam shifter' at a single frequency; acting to laterally shift a plane wave, or sufficiently wide beam, without reflection.


title: Weighted Delta-Tracking in Scattering Media

abstract: In this work, we expand the weighted delta-tracking routine to include a treatment for scattering. The weighted delta-tracking routine adds survival biasing to normal delta-tracking, improving problem figure of merit. In the original formulation of this method, only absorption events were considered. We have expanded the method to include scattering and investigated the method's effectiveness with two test cases: a pressurized water reactor pin cell and a fast reactor pin cell. We compare the figure of merit for calculating infinite flux and total cross-section while incrementally changing the amount of weighted delta-tracking used. We find that this new WDT routine has strong potential to improve the efficiency of fast reactor calculations, and may be useful for light water reactor calculations.


title: Semiclassical Self Consistent Treatment of the Emergence of Seeds of Cosmic Structure. The second order construction

abstract: In this work we extend the results of [1] where, Semiclassical Selfconsistent Configurations (SSC) formalism was introduced. The scheme combines quantum field theory on a background space-time, semiclassical treatment of gravitation and spontaneous collapse theories. The approach is applied to the context of early universe cosmology using a formal description of the transition from an initial inflationary stage characterized by a spatially homogeneous and isotropic (H&I) universe, to another where inhomogeneities are present in association with quantum fluctuations of the field driving inflation. In that work two constructions are produced. One of them describes a universe that is completely spatially (H&I), and the other is characterized by a slight excitation of the particular inhomogeneous and anisotropic perturbation. Finally, a characterization of their gluing to each other is provided as representing the transition as a result from a spontaneous collapse of the state of the quantum field, following the hypothesis originally introduced in [2]. Specifically, in [1] this construction is carried out by using cosmological perturbation theory and working up to linear order in the perturbation. However, given the nonlinear nature of gravitation, we should in principle explore the application of the formalism in a nonlinear regime. To this end and as a first step, we study in this work the transition from a spatially (H&I), from a SSC-I to one SSC-II that is not spatially (H&I), working this time up to second order in perturbation theory. We find that the self consistent construction now requires consideration of the so called tensor modes, as well as a nontrivial mixing of modes that made the analysis much more difficult and which could not a priori be warranted to work out in detail. The present work shows that this is indeed the case.


title: Spectrophotometric Redshifts In The Faint Infrared Grism Survey: Finding Overdensities Of Faint Galaxies

abstract: We improve the accuracy of photometric redshifts by including low-resolution spectral data from the G102 grism on the Hubble Space Telescope, which assists in redshift determination by further constraining the shape of the broadband Spectral Energy Disribution (SED) and identifying spectral features. The photometry used in the redshift fits includes near-IR photometry from FIGS+CANDELS, as well as optical data from ground-based surveys and HST ACS, and mid-IR data from Spitzer. We calculated the redshifts through the comparison of measured photometry with template galaxy models, using the EAZY photometric redshift code. For objects with F105W $< 26.5$ AB mag with a redshift range of $0 < z < 6$, we find a typical error of $\Delta z = 0.03 * (1+z)$ for the purely photometric redshifts; with the addition of FIGS spectra, these become $\Delta z = 0.02 * (1+z)$, an improvement of 50\%. Addition of grism data also reduces the outlier rate from 8\% to 7\% across all fields. With the more-accurate spectrophotometric redshifts (SPZs), we searched the FIGS fields for galaxy overdensities. We identified 24 overdensities across the 4 fields. The strongest overdensity, matching a spectroscopically identified cluster at $z=0.85$, has 28 potential member galaxies, of which 8 have previous spectroscopic confirmation, and features a corresponding X-ray signal. Another corresponding to a cluster at $z=1.84$ has 22 members, 18 of which are spectroscopically confirmed. Additionally, we find 4 overdensities that are detected at an equal or higher significance in at least one metric to the two confirmed clusters.


title: A machine learning approach to reconstruction of heart surface potentials from body surface potentials

abstract: Invasive cardiac catheterisation is a common procedure that is carried out before surgical intervention. Yet, invasive cardiac diagnostics are full of risks, especially for young children. Decades of research has been conducted on the so called inverse problem of electrocardiography, which can be used to reconstruct Heart Surface Potentials (HSPs) from Body Surface Potentials (BSPs), for non-invasive diagnostics. State of the art solutions to the inverse problem are unsatisfactory, since the inverse problem is known to be ill-posed. In this paper we propose a novel approach to reconstructing HSPs from BSPs using a Time-Delay Artificial Neural Network (TDANN). We first design the TDANN architecture, and then develop an iterative search space algorithm to find the parameters of the TDANN, which results in the best overall HSP prediction. We use real-world recorded BSPs and HSPs from individuals suffering from serious cardiac conditions to validate our TDANN. The results are encouraging, in that coefficients obtained by correlating the predicted HSP with the recorded patient' HSP approach ideal values.


title: Seismic-Net: A Deep Densely Connected Neural Network to Detect Seismic Events

abstract: One of the risks of large-scale geologic carbon sequestration is the potential migration of fluids out of the storage formations. Accurate and fast detection of this fluids migration is not only important but also challenging, due to the large subsurface uncertainty and complex governing physics. Traditional leakage detection and monitoring techniques rely on geophysical observations including seismic. However, the resulting accuracy of these methods is limited because of indirect information they provide requiring expert interpretation, therefore yielding in-accurate estimates of leakage rates and locations. In this work, we develop a novel machine-learning detection package, named "Seismic-Net", which is based on the deep densely connected neural network. To validate the performance of our proposed leakage detection method, we employ our method to a natural analog site at Chimay\'o, New Mexico. The seismic events in the data sets are generated because of the eruptions of geysers, which is due to the leakage of $\mathrm{CO}_\mathrm{2}$. In particular, we demonstrate the efficacy of our Seismic-Net by formulating our detection problem as an event detection problem with time series data. A fixed-length window is slid throughout the time series data and we build a deep densely connected network to classify each window to determine if a geyser event is included. Through our numerical tests, we show that our model achieves precision/recall as high as 0.889/0.923. Therefore, our Seismic-Net has a great potential for detection of $\mathrm{CO}_\mathrm{2}$ leakage.


title: Full-pulse Tomographic Reconstruction with Deep Neural Networks

abstract: Plasma tomography consists in reconstructing the 2D radiation profile in a poloidal cross-section of a fusion device, based on line-integrated measurements along several lines of sight. The reconstruction process is computationally intensive and, in practice, only a few reconstructions are usually computed per pulse. In this work, we trained a deep neural network based on a large collection of sample tomograms that have been produced at JET over several years. Once trained, the network is able to reproduce those results with high accuracy. More importantly, it can compute all the tomographic reconstructions for a given pulse in just a few seconds. This makes it possible to visualize several phenomena -- such as plasma heating, disruptions and impurity transport -- over the course of a discharge.


title: Topological phase transition measured in a dissipative metamaterial

abstract: We construct a metamaterial from radio-frequency harmonic oscillators, and find two topologically distinct phases resulting from dissipation engineered into the system. These phases are distinguished by a quantized value of bulk energy transport. The impulse response of our circuit is measured and used to reconstruct the band structure and winding number of circuit eigenfunctions around a dark mode. Our results demonstrate that dissipation can lead to topological transport in a much wider class of physical systems than considered before.


title: De Finetti's theorem: rate of convergence in Kolmogorov distance

abstract: This paper provides a quantitative version of de Finetti law of large numbers. Given an infinite sequence $\{X_n\}_{n \geq 1}$ of exchangeable Bernoulli variables, it is well-known that $\frac{1}{n} \sum_{i = 1}^n X_i \stackrel{a.s.}{\longrightarrow} Y$, for a suitable random variable $Y$ taking values in $[0,1]$. Here, we consider the rate of convergence in law of $\frac{1}{n} \sum_{i = 1}^n X_i$ towards $Y$, with respect to the Kolmogorov distance. After showing that any rate of the type of $1/n^{\alpha}$ can be obtained for any $\alpha \in (0,1]$, we find a sufficient condition on the probability distribution of $Y$ for the achievement of the optimal rate of convergence, that is $1/n$. Our main result improve on existing literature: in particular, with respect to \cite{MPS}, we study a stronger metric while, with respect to \cite{Mna}, we weaken the regularity hypothesis on the probability distribution of $Y$.


title: Structure-stiffness relation of live mouse brain tissue determined by depth-controlled indentation mapping

abstract: The mechanical properties of brain tissue play a pivotal role in neurodevelopment and neurological disorders. Yet, at present, there is no consensus on how the different structural parts of the tissue contribute to its stiffness variations. Here, we have gathered depth-controlled indentation viscoelasticity maps of the hippocampus of isolated horizontal live mouse brain sections. Our results confirm the highly viscoelestic nature of the material and clearly show that the mechanical properties correlate with the different morphological layers of the samples investigated. Interestingly, the relative cell nuclei area seems to negatively correlate with the stiffness observed.


title: Approximation Methods for Bilevel Programming

abstract: In this paper, we study a class of bilevel programming problem where the inner objective function is strongly convex. More specifically, under some mile assumptions on the partial derivatives of both inner and outer objective functions, we present an approximation algorithm for solving this class of problem and provide its finite-time convergence analysis under different convexity assumption on the outer objective function. We also present an accelerated variant of this method which improves the rate of convergence under convexity assumption. Furthermore, we generalize our results under stochastic setting where only noisy information of both objective functions is available. To the best of our knowledge, this is the first time that such (stochastic) approximation algorithms with established iteration complexity (sample complexity) are provided for bilevel programming.


title: Automatic differentiation of ODE integration

abstract: We discuss the calculation of the derivatives of ODE systems with the automatic differentiation tool ADiMat. Using the well-known Lotka-Volterra equations and the ode23 ODE solver as examples we show the analytic derivatives and detail how to differentiate a top-level function that calls ode23 somewhere with ADiMat. This involves the manual construction of substitution function to propagate the derivatives in forward and reverse mode. We also show how to use the reverse mode code to evaluate the Hessian in forward-over-reverse mode.


title: Tautological classes and smooth bundles over BSU(2)

abstract: For a Lie group G and a smooth manifold W, we study the difference between smooth actions of G on W and bundles over the classifying space of G with fiber W and structure group Diff(W). In particular, we exhibit smooth manifold bundles over BSU(2) that are not induced by an action. The main tool for reaching this goal is a technical result that gives a constraint for the values of tautological classes pulled back to the cohomology of BSU(2) along a map induced by an action.


title: Dirac neutrino mixings from hidden $\mu-\tau$ symmetry

abstract: We explore masses and mixings for Dirac neutrinos in models where lepton number is conserved, under the guidance of a hidden, but broken, $\mu-\tau$ exchange symmetry, that makes itself evident in the squared hermitian mass matrix. We study the parameter space in the most general theory as allowed by current neutrino oscillation experiment data. By using a general parameterization of the mass matrix which contains only observable parameters we stablish that the amount of breaking of the symmetry is in the range of the atmospheric mass scale, without regard to the neutrino hierarchy, the absolute neutrino mass and the Dirac CP phase. An estimate of the invisible branching ratio for a Higgs boson decaying into Dirac neutrinos, $H\rightarrow\nu\overline{\nu}$ , is given and compared to recent measurements in this context.


title: Atmospheric reconnaissance of the habitable-zone Earth-sized planets orbiting TRAPPIST-1

abstract: Seven temperate Earth-sized exoplanets readily amenable for atmospheric studies transit the nearby ultracool dwarf star TRAPPIST-1 (refs 1,2). Their atmospheric regime is unknown and could range from extended primordial hydrogen-dominated to depleted atmospheres (refs 3-6). Hydrogen in particular is a powerful greenhouse gas that may prevent the habitability of inner planets while enabling the habitability of outer ones (refs 6-8). An atmosphere largely dominated by hydrogen, if cloud-free, should yield prominent spectroscopic signatures in the near-infrared detectable during transits. Observations of the innermost planets have ruled out such signatures (ref 9). However, the outermost planets are more likely to have sustained such a Neptune-like atmosphere (refs 10,11). Here, we report observations for the four planets within or near the system's habitable zone, the circumstellar region where liquid water could exist on a planetary surface (refs 12-14). These planets do not exhibit prominent spectroscopic signatures at near-infrared wavelengths either, which rules out cloud-free hydrogen-dominated atmospheres for TRAPPIST-1 d, e and f, with significance of 8, 6 and 4 sigma, respectively. Such an atmosphere is instead not excluded for planet g. As high-altitude clouds and hazes are not expected in hydrogen-dominated atmospheres around planets with such insolation (refs 15,16), these observations further support their terrestrial and potentially habitable nature.


title: An Imputation-Consistency Algorithm for High-Dimensional Missing Data Problems and Beyond

abstract: Missing data are frequently encountered in high-dimensional problems, but they are usually difficult to deal with using standard algorithms, such as the expectation-maximization (EM) algorithm and its variants. To tackle this difficulty, some problem-specific algorithms have been developed in the literature, but there still lacks a general algorithm. This work is to fill the gap: we propose a general algorithm for high-dimensional missing data problems. The proposed algorithm works by iterating between an imputation step and a consistency step. At the imputation step, the missing data are imputed conditional on the observed data and the current estimate of parameters; and at the consistency step, a consistent estimate is found for the minimizer of a Kullback-Leibler divergence defined on the pseudo-complete data. For high dimensional problems, the consistent estimate can be found under sparsity constraints. The consistency of the averaged estimate for the true parameter can be established under quite general conditions. The proposed algorithm is illustrated using high-dimensional Gaussian graphical models, high-dimensional variable selection, and a random coefficient model.


title: Constraining Type Ia Supernova Progenitor Scenarios with Extremely Late-time Photometry of Supernova SN 2013aa

abstract: We present Hubble Space Telescope observations and photometric measurements of the Type Ia supernova (SN Ia) SN 2013aa 1500 days after explosion. At this epoch, the luminosity is primarily dictated by the amounts of radioactive ${}^{57}\textrm{Co}$ and ${}^{55}\textrm{Fe}$, while at earlier epochs, the luminosity depends on the amount of radioactive ${}^{56}\textrm{Co}$. The ratio of odd-numbered to even-numbered isotopes depends significantly on the density of the progenitor white dwarf during the SN explosion, which, in turn, depends on the details of the progenitor system at the time of ignition. From a comprehensive analysis of the entire light curve of SN 2013aa, we measure a $M({}^{57}\textrm{Co})/M({}^{56}\textrm{Co})$ ratio of $0.02^{+0.01}_{-0.02}$, which indicates a relatively low central density for the progenitor white dwarf at the time of explosion, consistent with double-degenerate progenitor channels. We estimate $M({}^{56}\textrm{Ni}) = 0.732 \pm 0.151\:\mathrm{M_{\odot}}$, and place an upper limit on the abundance of ${}^{55}\textrm{Fe}$. A recent study reported a possible correlation between $M({}^{57}\textrm{Co})/M({}^{56}\textrm{Co})$ and stretch for four SNe Ia. SN 2013aa, however, does not fit this trend, indicating either SN 2013aa is an extreme outlier or the correlation does not hold up with a larger sample. The $M({}^{57}\textrm{Co})/M({}^{56}\textrm{Co})$ measured for the expanded sample of SNe Ia with photometry at extremely late times has a much larger range than that of explosion models, perhaps limiting conclusions about SN Ia progenitors drawn from extremely late-time photometry.


title: Reconfigurable topological phases in next-nearest-neighbor coupled resonator lattices

abstract: We present a reconfigurable topological photonic system consisting of a 2D lattice of coupled ring resonators, with two sublattices of site rings coupled by link rings, which can be accurately described by a tight-binding model. Unlike previous coupled-ring topological models, the design is translationally invariant, similar to the Haldane model, and the nontrivial topology is a result of next-nearest couplings with non-zero staggered phases. The system exhibits a topological phase transition between trivial and spin Chern insulator phases when the sublattices are frequency detuned. Such topological phase transitions can be easily induced by thermal or electro-optic modulators, or nonlinear cross phase modulation. We use this lattice to design reconfigurable topological waveguides, with potential applications in on-chip photon routing and switching.


title: Trajectory-driven Influential Billboard Placement

abstract: In this paper we propose and study the problem of trajectory-driven influential billboard placement: given a set of billboards $U$ (each with a location and a cost), a database of trajectories $\mathcal{T}$ and a budget $L$, find a set of billboards within the budget to influence the largest number of trajectories. One core challenge is to identify and reduce the overlap of the influence from different billboards to the same trajectories, while keeping the budget constraint into consideration. We show that this problem is NP-hard and present an enumeration based algorithm with $(1-1/e)$ approximation ratio. However, the enumeration should be very costly when $|U|$ is large. By exploiting the locality property of billboards' influence, we propose a partition-based framework PartSel. PartSel partitions $U$ into a set of small clusters, computes the locally influential billboards for each cluster, and merges them to generate the global solution. Since the local solutions can be obtained much more efficient than the global one, PartSel should reduce the computation cost greatly; meanwhile it achieves a non-trivial approximation ratio guarantee. Then we propose a LazyProbe method to further prune billboards with low marginal influence, while achieving the same approximation ratio as PartSel. Experiments on real datasets verify the efficiency and effectiveness of our methods.


title: Model Selection Using Cosmic Chronometers with Gaussian Processes

abstract: The use of Gaussian Processes with a measurement of the cosmic expansion rate based solely on the observation of cosmic chronometers provides a completely cosmology-independent reconstruction of the Hubble constant H(z) suitable for testing different models. The corresponding dispersion sigma_H is smaller than ~9% over the entire redshift range (0 < z < 2) of the observations, rivaling many kinds of cosmological measurements available today. We use the reconstructed H(z) function to test six different cosmologies, and show that it favours the R_h=ct universe, which has only one free parameter (i.e., H_0) over other models, including Planck LCDM. The parameters of the standard model may be re-optimized to improve the fits to the reconstructed H(z) function, but the results have smaller p-values than one finds with R_h=ct.


title: Magnetohydrodynamic Turbulence in the Plasmoid-Mediated Regime

abstract: Magnetohydrodynamic turbulence and magnetic reconnection are ubiquitous in astrophysical environments. In most situations, these processes do not occur in isolation, but interact with each other. This renders a comprehensive theory of these processes highly challenging. Here, we propose a theory of magnetohydrodynamic turbulence driven at large scale that self-consistently accounts for the mutual interplay with magnetic reconnection occurring at smaller scales. Magnetic reconnection produces plasmoids that grow from turbulence-generated noise and eventually disrupt the sheet-like structures in which they are born. The disruption of these structures leads to a modification of the turbulent energy cascade, which, in turn, exerts a feedback effect on the plasmoid formation via the turbulence-generated noise. The energy spectrum in this plasmoid-mediated range steepens relative to the standard inertial range and does not follow a simple power law. As a result of the complex interplay between turbulence and reconnection, we also find that the length scale which marks the beginning of the plasmoid-mediated range and the dissipation length scale do not obey true power laws. The transitional magnetic Reynolds number above which the plasmoid formation becomes statistically significant enough to affect the turbulent cascade is fairly modest, implying that plasmoids are expected to modify the turbulent path to dissipation in many astrophysical systems.

categories: physics.plasm-ph astro-ph.HE astro-ph.SR physics.flu-dyn physics.space-ph


title: Synthesis and/or grafting of noble metal nanoparticles by microplasma and by atmospheric plasma torch

abstract: Plasmas at atmospheric pressure are presented as a simple, fast, and versatile tool for the synthesis or/and the grafting of noble metallic NPs (Au, Pt) on substrates. In this study, noble metal NPs are generated either by the reduction of a gold salt in an aqueous medium by microplasma or either by the decomposition of a platinum or gold organometallic in the post-discharge of an atmospheric plasma torch. The latter can also be used for the grafting of NPs from a commercial colloidal solution


title: A computational framework for microstructural modelling of polycrystalline materials with damage and failure

abstract: In the present thesis, a computational framework for the analysis of the deformation and damage phenomena occurring at the micro-scale of polycrystalline materials is presented. Micro-mechanics studies are commonly performed using the Finite Element Method (FEM) for its versatility and robustness. However, finite element formulations usually lead to an extremely high number of degrees of freedom of the considered micro-structures, thus making alternative formulations of great engineering interest. Among the others, the Boundary Element Method (BEM) represents a viable alternative to FEM approaches as it allows to express the problem in terms of boundary values only, thus reducing the total number of degrees of freedom. The computational framework developed in this thesis is based on a non-linear multi-domain BEM approach for generally anisotropic materials and is devoted to the analysis of three-dimensional polycrystalline microstructures. Different theoretical and numerical aspects of the polycrystalline problem using the boundary element method are investigated: first, being the formulation based on a integral representation of the governing equations, a novel and more compact expression of the integration kernels capable of representing the multi-field behaviour of generally anisotropic materials is presented; second, the sources of the high computational cost of polycrystalline analyses are identified and suitably treated by means of different strategies including an ad-hoc grain boundary meshing technique developed to tackle the large statistical variability of polycrystalline micro-morphologies; third, non-linear deformation and failure mechanisms such as inter-granular and trans-granular cracking and generally anisotropic crystal plasticity are studied and the numerical results presented throughout the thesis demonstrate the potential of the developed framework.


title: Single and multiple pin(s)-to-liquid discharges: connecting self-organization patterns and ROS production in liquids for plasma agronomy application

abstract: Pin-to-liquid discharges are investigated for the activation of liquids dedicated to agriculture applications. They are characterized through their electrical and optical properties, with a particular attention paid to their filaments and self-organized patterns occurring at the liquid interface. We show how modulating their interaction with ambient air can promote the production of reactive species in liquids such as H2O2, NO2- and NO3-. The effects of the resulting plasma activated media are reported on lentils seeds.


title: Second order backward SDE with random terminal time

abstract: Backward stochastic differential equations extend the martingale representation theorem to the nonlinear setting. This can be seen as path-dependent counterpart of the extension from the heat equation to fully nonlinear parabolic equations in the Markov setting. This paper extends such a nonlinear representation to the context where the random variable of interest is measurable with respect to the information at a finite stopping time. We provide a complete wellposedness theory which covers the semilinear case (backward SDE), the semilinear case with obstacle (reflected backward SDE), and the fully nonlinear case (second order backward SDE).


title: Dynamic regulation of resource transport induces criticality in interdependent networks of excitable units

abstract: Various functions of a network of excitable units can be enhanced if the network is in the `critical regime', where excitations are, on average, neither damped nor amplified. An important question is how can such networks self-organize to operate in the critical regime. Previously it was shown that regulation via resource transport on a secondary network can robustly maintain the primary network dynamics in a balanced state where activity doesn't grow or decay. Here we show that this inter-network regulation process robustly produces a power-law distribution of activity avalanches, as observed in experiments, over ranges of model parameters spanning orders of magnitude. We also show that the resource transport over the secondary network protects the system against the destabilizing effect of local variations in parameters and heterogeneity in network structure. For homogeneous networks, we derive a reduced 3-dimensional map which reproduces the behavior of the full system.


title: Unitarity and Universality in non relativistic Conformal Field theory

abstract: We relate the notion of unitarity of a $SL(2,\mathbf{R})$ invariant field theory with that of a Schrodinger field theory using the fact that $SL(2,\mathbf{R})$ is a subgroup of Schrodinger group. Exploiting $SL(2,\mathbf{R})$ unitarity, we derive the unitarity bounds and null conditions for a Schr\"odinger field theory (for the neutral as well as the charged sector). In non integer dimensions the theory is shown to be non-unitary. Furthermore, the use of $SL(2,\mathbf{R})$ subgroup opens up the possibility of borrowing results from 1D $SL(2,\mathbf{R})$ invariant field theory to explore Schrodinger field theory, in particular, the sector with zero charge. We explore the consequences of $SL(2,\mathbf{R})$ symmetry e.g. the convergence of operator product expansion in the kinematic limit, where all the operators (neutral and/or charged) are on same temporal slice ($x=constant$), the universal behavior of weighted spectral density function, existence of infinite number of $SL(2,\mathbf{R})$ primaries, the analytic behavior of three point function as a function of spatial separation. We discuss the implication of imposing parity invariance ($\tau\to-\tau$) in addition to Schrodinger invariance and emphasize its difference from time reversal ($\tau \to-\tau$ with charge conjugation).

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


title: Algorithms for the explicit computation of Penrose diagrams

abstract: An algorithm is given for explicitly computing Penrose diagrams for spacetimes of the form $ds^2 = -f(r)\, dt^2 + f(r)^{-1} \, dr^2 + r^2 \, d\Omega^2$. The resulting diagram coordinates are shown to extend the metric continuously and nondegenerately across an arbitrary number of horizons. The method is extended to include piecewise approximations to dynamically evolving spacetimes using a standard hypersurface junction procedure. Examples generated by an implementation of the algorithm are shown for standard and new cases. In the appendix, this algorithm is compared to existing methods.


title: $\mathfrak F$-categories and $\mathfrak F$-functors in Representation Theory II

abstract: This is a partial derivative of \cite{MR94g:17044}. We give a list of examples/problems that some will find amusing.


title: Hierarchical Erasure Correction of Linear Codes

abstract: Linear codes over finite extension fields have widespread applications in theory and practice. In some scenarios, the decoder has a sequential access to the codeword symbols, giving rise to a hierarchical erasure structure. In this paper we develop a mathematical framework for hierarchical erasures over extension fields, provide several bounds and constructions, and discuss potential applications in distributed storage and flash memories. Our results show intimate connection to Universally Decodable Matrices, as well as to Reed-Solomon and Gabidulin codes.


title: Imaging Orbital-selective Quasiparticles in the Hund's Metal State of FeSe

abstract: Strong electronic correlations, emerging from the parent Mott insulator phase, are key to copper-based high temperature superconductivity (HTS). By contrast, the parent phase of iron-based HTS is never a correlated insulator. But this distinction may be deceptive because Fe has five active d-orbitals while Cu has only one. In theory, such orbital multiplicity can generate a Hund's Metal state, in which alignment of the Fe spins suppresses inter-orbital fluctuations producing orbitally selective strong correlations. The spectral weights $Z_m$ of quasiparticles associated with different Fe orbitals m should then be radically different. Here we use quasiparticle scattering interference resolved by orbital content to explore these predictions in FeSe. Signatures of strong, orbitally selective differences of quasiparticle $Z_m$ appear on all detectable bands over a wide energy range. Further, the quasiparticle interference amplitudes reveal that $Z_{xy}<Z_{xz}<<Z_{yz}$, consistent with earlier orbital-selective Cooper pairing studies. Thus, orbital-selective strong correlations dominate the parent state of iron-based HTS in FeSe.


title: Learning interacting particle systems: diffusion parameter estimation for aggregation equations

abstract: In this article, we study the parameter estimation of interacting particle systems subject to the Newtonian aggregation and Brownian diffusion. Specifically, we construct an estimator $\widehat{\nu}$ with partial observed data to approximate the diffusion parameter $\nu$, and the estimation error is achieved. Furthermore, we extend this result to general aggregation equations with a bounded Lipschitz interaction field.


title: Unified Bayesian estimator of EEG reference at infinity: rREST

abstract: The choice of reference for electroencephalogram (EEG) is a long-lasting unsolved issue resulting in inconsistent usages and endless debates. Currently, both average reference (AR) and reference electrode standardization technique (REST) are two primary, irreconcilable contenders. We propose a theoretical framework to resolve this issue by formulating both a) estimation of potentials at infinity, and, b) determination of the reference, as a unified Bayesian linear inverse problem. We find that AR and REST are very particular cases of this unified framework: AR results from biophysically non-informative prior; while REST utilizes the prior of EEG generative model. We develop the regularized versions of AR and REST, named rAR, and rREST, respectively. Both depend on a regularization parameter that is the noise to signal ratio. Traditional and new estimators are evaluated with this framework, by both simulations and analysis of real EEGs. Generated artificial EEGs, show that relative error in estimating the EEG potentials at infinity is lowest for rREST. It also reveals that realistic volume conductor models improve the performances of REST and rREST. For practical applications, it is shown that average lead field gives the results comparable to the individual lead field. Finally, it is shown that the selection of the regularization parameter with Generalized Cross-Validation (GCV) is close to the 'oracle' choice based on the ground truth. When evaluated with the real 89 resting state EEGs, rREST consistently yields the lowest GCV. This study provides a novel perspective on the EEG reference problem by means of a unified inverse solution framework. It may allow additional principled theoretical formulations and numerical evaluation of performance.


title: Pressure dependence of coherence-incoherence crossover behavior in KFe2As2 observed by resistivity and 75As-NMR/NQR

abstract: We present the results of $^{75}$As nuclear magnetic resonance (NMR), nuclear quadrupole resonance (NQR), and resistivity measurements in KFe$_2$As$_2$ under pressure ($p$). The temperature dependence of the NMR shift, nuclear spin-lattice relaxation time ($T_1$) and resistivity show a crossover between a high-temperature incoherent, local-moment behavior and a low-temperature coherent behavior at a crossover temperature ($T^*$). $T^*$ is found to increase monotonically with pressure, consistent with increasing hybridization between localized $3d$ orbital-derived bands with the itinerant electron bands. No anomaly in $T^*$ is seen at the critical pressure $p_{\rm c}=1.8$ GPa where a change of slope of the superconducting (SC) transition temperature $T_{\rm c}(p)$ has been observed. In contrast, $T_{\rm c}(p)$ seems to correlate with antiferromagnetic spin fluctuations in the normal state as measured by the NQR $1/T_1$ data, although such a correlation cannot be seen in the replacement effects of A in the AFe$_2$As$_2$ (A= K, Rb, Cs) family. In the superconducting state, two $T_1$ components are observed at low temperatures, suggesting the existence of two distinct local electronic environments. The temperature dependence of the short $T_{\rm 1s}$ indicates nearly gapless state below $T_{\rm c}$. On the other hand, the temperature dependence of the long component 1/$T_{\rm 1L}$ implies a large reduction in the density of states at the Fermi level due to the SC gap formation. These results suggest a real-space modulation of the local SC gap structure in KFe$_2$As$_2$ under pressure.


title: Error correction in fast matrix multiplication and inverse

abstract: We present new algorithms to detect and correct errors in the product of two matrices, or the inverse of a matrix, over an arbitrary field. Our algorithms do not require any additional information or encoding other than the original inputs and the erroneous output. Their running time is softly linear in the number of nonzero entries in these matrices when the number of errors is sufficiently small, and they also incorporate fast matrix multiplication so that the cost scales well when the number of errors is large. These algorithms build on the recent result of Gasieniec et al (2017) on correcting matrix products, as well as existing work on verification algorithms, sparse low-rank linear algebra, and sparse polynomial interpolation.


title: Universal Deep Neural Network Compression

abstract: In this paper, we investigate lossy compression of deep neural networks (DNNs) by weight quantization and lossless source coding for memory-efficient deployment. Whereas the previous work addressed non-universal scalar quantization and entropy coding of DNN weights, we for the first time introduce universal DNN compression by universal vector quantization and universal source coding. In particular, we examine universal randomized lattice quantization of DNNs, which randomizes DNN weights by uniform random dithering before lattice quantization and can perform near-optimally on any source without relying on knowledge of its probability distribution. Moreover, we present a method of fine-tuning vector quantized DNNs to recover the performance loss after quantization. Our experimental results show that the proposed universal DNN compression scheme compresses the 32-layer ResNet (trained on CIFAR-10) and the AlexNet (trained on ImageNet) with compression ratios of $47.1$ and $42.5$, respectively.


title: Quantum Phase Transitions in Proximitized Josephson Junctions

abstract: We study fermion-parity-changing quantum phase transitions (QPTs) in platform Josephson junctions. These QPTs, associated with zero-energy bound states, are rather widely observed experimentally. They emerge from numerical calculations frequently without detailed microscopic insight. Importantly, they may incorrectly lend support to claims for the observations of Majorana zero modes. In this paper we present a fully consistent solution of the Bogoliubov-de Gennes equations for a multi-component Josephson junction. This provides insights into the origin of the QPTs. It also makes it possible to assess the standard self energy approximations which are widely used to understand proximity coupling in topological systems. The junctions we consider are complex and chosen to mirror experiments. Our full proximity calculations associate the mechanism behind the QPT as deriving from a spatially extended, proximity-induced magnetic "defect". This defect arises because of the insulating region which effects a local reorganization of the bulk magnetization in the proximitized superconductor. Our results suggest more generally that QPTs in Josephson junctions generally do not require the existence of spin-orbit coupling and should not be confused with, nor are they indicators of, Majorana physics.


title: Why is Interstellar Object 1I/2017 U1 (`Oumuamua) Rocky, Tumbling and Very Prolate?

abstract: The recently discovered first interstellar object 1I/2017 U1 (`Oumuamua) has brightness that varies by a factor of 10, a range greater than that of any Solar System asteroid, a spectrum characteristic of Type D asteroids, and no evidence of evaporating volatiles, contrary to expectation for exo-Oort clouds. This object was the first example of the proposed "Jurads", objects depleted in volatiles and ejected from planetary systems during the post-main sequence evolution of their parent star. I suggest that heating by the star's giant stage fluidized a precursor cometary object as volatiles escaped, causing it to assume the Jacobi ellipsoidal shape of a self-gravitating incompressible liquid. The collision that produced the inferred tumbling motion must have occurred thousands of years after the formation of 1I/2017 U1 `Oumuamua. Jacobi ellipsoids have a unique relation among rotation rate, density and axial ratio. The inferred axial ratio $\gtrapprox 5$ implies a lower bound on the density of 1.6 g/cm$^3$, excluding an icy interior unless it is almost entirely frozen CO$_2$. This object is the first Jurad to be discovered and may be related to accreting objects that pollute white dwarf atmospheres and may make Soft Gamma Repeaters.


title: A Critical Investigation of Deep Reinforcement Learning for Navigation

abstract: The navigation problem is classically approached in two steps: an exploration step, where map-information about the environment is gathered; and an exploitation step, where this information is used to navigate efficiently. Deep reinforcement learning (DRL) algorithms, alternatively, approach the problem of navigation in an end-to-end fashion. Inspired by the classical approach, we ask whether DRL algorithms are able to inherently explore, gather and exploit map-information over the course of navigation. We build upon Mirowski et al. [2017] work and introduce a systematic suite of experiments that vary three parameters: the agent's starting location, the agent's target location, and the maze structure. We choose evaluation metrics that explicitly measure the algorithm's ability to gather and exploit map-information. Our experiments show that when trained and tested on the same maps, the algorithm successfully gathers and exploits map-information. However, when trained and tested on different sets of maps, the algorithm fails to transfer the ability to gather and exploit map-information to unseen maps. Furthermore, we find that when the goal location is randomized and the map is kept static, the algorithm is able to gather and exploit map-information but the exploitation is far from optimal. We open-source our experimental suite in the hopes that it serves as a framework for the comparison of future algorithms and leads to the discovery of robust alternatives to classical navigation methods.


title: Orthogonal abelian Cartan subalgebra decomposition of $\mathfrak{sl}_n$ over a finite commutative ring

abstract: Orthogonal decomposition of the special linear Lie algebra over the complex numbers was studied in the early 1980s and attracted further attentions in the past decade due to its application in quantum information theory. In this paper, we study this decomposition problem of the special linear Lie algebra over a finite commutative ring with identity.


title: Twelve Inequivalent Dirac Cones in Two-Dimensional ZrB2

abstract: Theoretical evidence of the existence of 12 inequivalent Dirac cones at the vicinity of the Fermi energy in monolayered ZrB$_2$ is presented. Two-dimensional ZrB$_2$ is a mechanically stable d- and p-orbital compound exhibiting a unique electronic structure with two Dirac cones out of high-symmetry points in the irreducible Brillouin zone with a small electron-pocket compensation. First-principles calculations demonstrate that while one of the cones is insensitive to lattice expansion, the second cone vanishes for small perturbation of the vertical Zr position. Internal symmetry breaking with external physical stimuli, along with the relativistic effect of SOC, is able to remove selectively the Dirac cones. A rational explanation in terms of d- and p-orbital mixing is provided to elucidate the origin of the infrequent amount of Dirac cones in a flat structure. The versatility of transition metal d-orbitals combined with the honeycomb lattice provided by the B atoms yields novel features never observed in a two-dimensional material.


title: From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning

abstract: The main focus of this paper is on enhancement of two types of game-theoretic learning algorithms: log-linear learning and reinforcement learning. The standard analysis of log-linear learning needs a highly structured environment, i.e. strong assumptions about the game from an implementation perspective. In this paper, we introduce a variant of log-linear learning that provides asymptotic guarantees while relaxing the structural assumptions to include synchronous updates and limitations in information available to the players. On the other hand, model-free reinforcement learning is able to perform even under weaker assumptions on players' knowledge about the environment and other players' strategies. We propose a reinforcement algorithm that uses a double-aggregation scheme in order to deepen players' insight about the environment and constant learning step-size which achieves a higher convergence rate. Numerical experiments are conducted to verify each algorithm's robustness and performance.


title: Positivity-Preserving Analysis of Numerical Schemes for Ideal Magnetohydrodynamics

abstract: Numerical schemes provably preserving the positivity of density and pressure are highly desirable for MHD, but the rigorous positivity-preserving (PP) analysis remains challenging. The difficulties mainly arise from the intrinsic complexity of the MHD equations as well as the indeterminate relation between the PP property and the divergence-free condition on magnetic field. We present the first rigorous PP analysis of conservative schemes with Lax-Friedrichs (LF) flux for ideal MHD. The significant innovation is the discovery of theoretical connection between PP property and a discrete divergence-free (DDF) condition. This connection is established through the generalized LF splitting properties, which are alternatives of the usually-expected LF splitting property that does not hold for ideal MHD. The generalized LF splitting properties involve a number of admissible states strongly coupled by DDF condition, making their derivation very difficult. We derive these properties via a novel equivalent form of the admissible state set and an important inequality skillfully constructed by technical estimates. Rigorous PP analysis is presented for finite volume and discontinuous Galerkin schemes with LF flux on uniform Cartesian meshes. In 1D case, PP property is proved for the first-order scheme with proper numerical viscosity, and also for arbitrarily high-order schemes under conditions accessible by a PP limiter. In 2D case, we show that the DDF condition is necessary and crucial for achieving PP property. It is observed that even slightly violating the proposed DDF condition may cause failure to preserve the positivity of pressure. We prove that the 2D LF type scheme with proper numerical viscosity preserves the positivity and DDF condition. Sufficient conditions are derived for 2D PP high-order schemes, and extension to 3D is discussed. Numerical examples confirm the theoretical findings.


title: Towards a Simple, and Yet Accurate, Transistor Equivalent Circuit and Its Application to the Analysis and Design of Discrete and Integrated Electronic Circuits

abstract: Transistors are the cornerstone of modern electronics. Yet, their relatively complex characteristics, allied with often observed great parameter variation, remain a challenge for discrete and integrated electronics. Much of transistor research and applications have relied on transistor models, as well as respective equivalent circuits, to be employed for circuit analysis and simulations. Here, a simple and yet accurate transistor equivalent circuit is derived, based on the Early effect, which involves only the voltage $V_a$ and a companion parameter $s$. Equations are obtained for currents and voltages in a common-emitter circuit, allowing the derivation of respective gain functions. These functions are found to exhibit interesting mathematical structure, with gain values varying almost linearly with the base current, allowing the gains to be well characterized in terms of their average and variation values. These results are applied to deriving a prototypic Early space summarizing the characteristics of transistors, enriched with recently experimentally obtained prototypes of NPN and PNP silicon BJTs and alloy germanium transistors. Though a trade-off between gain and linearity is revealed, a band characterized by small values of $V_a$ stands out when aiming at both high gain and low distortion. The Early equivalent model was used also for studying the stability of circuits under voltage supply oscillations, as well as parallel combinations of transistors. In the former case, it was verified that more traditional approaches assuming constant current gain can yield stability factors that deviate substantially from those derived for the more accurate Early approach. The equivalent circuit obtained for parallel combinations of transistors was shown also to closely follow the Early formulation.


title: Loop currents and anomalous Hall effect from time-reversal symmetry-breaking superconductivity on the honeycomb lattice

abstract: We study a tight-binding model on the honeycomb lattice of chiral $d$-wave superconductivity that breaks time-reversal symmetry. Due to its nontrivial sublattice structure, we show that it is possible to construct a gauge-invariant time-reversal-odd bilinear of the pairing potential. The existence of this bilinear reflects the sublattice polarization of the pairing state. We show that it generates persistent loop current correlations around each lattice site and opens a topological mass gap at the Dirac points, resembling Haldane's model of the anomalous quantum Hall effect. In addition to the usual chiral $d$-wave edge states, there also exist electron-like edge resonances due to the topological mass gap. We show that the presence of loop-current correlations directly leads to a nonzero intrinsic ac Hall conductivity, which produces the polar Kerr effect without an external magnetic field. Similar results also hold for the nearest-neighbor chiral $p$-wave pairing. We briefly discuss the relevance of our results to superconductivity in twisted bilayer graphene.


title: Structure formation in $f(T)$ gravity and a solution for $H_0$ tension

abstract: We investigate the evolution of scalar perturbations in $f(T)$ teleparallel gravity and its effects on the cosmic microwave background (CMB) anisotropy. The $f(T)$ gravity generalizes the teleparallel gravity which is formulated on the Weitzenb\"ock spacetime, characterized by the vanishing curvature tensor (absolute parallelism) and the non-vanishing torsion tensor. For the first time, we derive the observational constraints on the modified teleparallel gravity using the CMB temperature power spectrum from Planck's estimation, in addition to data from baryonic acoustic oscillations (BAO) and local Hubble constant measurements. We find that a small deviation of the $f(T)$ gravity model from the $\Lambda$CDM cosmology is slightly favored. Besides that, the $f(T)$ gravity model does not show tension on the Hubble constant that prevails in the $\Lambda$CDM cosmology. It is clear that $f(T)$ gravity is also consistent with the CMB observations, and undoubtedly it can serve as a viable candidate amongst other modified gravity theories.


title: Four-coloring $P_6$-free graphs. I. Extending an excellent precoloring

abstract: This is the first paper in a series whose goal is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. Combined with previously known results this completes the classification of the complexity of the $4$-coloring problem for graphs with a connected forbidden induced subgraph. In this paper we give a polynomial time algorithm that determines if a special kind of precoloring of a $P_6$-free graph has a precoloring extension, and constructs such an extension if one exists. Combined with the main result of the second paper of the series, this gives a complete solution to the problem.


title: Four-coloring $P_6$-free graphs. II. Finding an excellent precoloring

abstract: This is the second paper in a series of two. The goal of the series is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. Combined with previously known results this completes the classification of the complexity of the $4$-coloring problem for graphs with a connected forbidden induced subgraph. In this paper we give a polynomial time algorithm that starts with a $4$-precoloring of a graph with no induced six-vertex path, and outputs a polynomial-size collection of so-called excellent precolorings. Excellent precolorings are easier to handle than general ones, and, in addition, in order to determine whether the initial precoloring can be extended to the whole graph, it is enough to answer the same question for each of the excellent precolorings in the collection. The first paper in the series deals with excellent precolorings, thus providing a complete solution to the problem.


title: $\infty$-topoi and Natural Phenomena: Generation

abstract: We show that the Segal topos of derived stacks over simplicial commutative $k$-algebras, which can be used to model natural phenomena, has a subobject classifier, something we regard as being a source from which dynamics is generated. This is done by considering the $\infty$-category associated to such a Segal topos, which turns out to be an $\infty$-topos. At this point we have the formalism of Higher topoi at our disposal to deal with Higher Category Theory concepts in a transparent manner.


title: Universal Approach to Quantum Adiabaticity via Ancilla Cavity

abstract: A central challenge in the successful implementation of adiabatic quantum algorithms is to maintain the quantum adiabaticity during the entire evolution. However, the energy gap between the ground and the excited states of interacting many-body systems often decreases quickly with the number of qubits, and the quantum adiabaticity can be severely impaired. Despite numerous previous efforts, a practical method to preserve the quantum adiabaticity has yet to be developed. Here we present a universal approach to enhancing the quantum adiabaticity via cavity or circuit QED. By coupling an adiabatic quantum computer to an ancilla cavity, the coupled system can exhibit a bistable regime with bifurcation points, where the time evolution becomes very slow. Utilizing these generic nonlinear features, we show that the energy gap of the adiabatic quantum computer can be positioned between the bifurcation points, which results in strongly-enhanced quantum adiabaticity. We then apply this method to a quantum two-level system, an Exact Cover problem, and a transverse field Ising model. In contrast to previous works, this approach does not require the spectral knowledge of the quantum system or the construction of unphysical interactions and can be applied to a vast variety of adiabatic quantum processes.


title: An MCMC Algorithm for Estimating the Q-matrix in a Bayesian Framework

abstract: The purpose of this research is to develop an MCMC algorithm for estimating the Q-matrix. Based on the DINA model, the algorithm starts with estimating correlated attributes. Using a saturated model and a binary decimal conversion, the algorithm transforms possible attribute patterns to a Multinomial distribution. Along with the likelihood of an attribute pattern, a Dirichlet distribution, constructed using Gamma distributions, is used as the prior to sample from the posterior. Correlated attributes of examinees are generated using inverse transform sampling. Closed form posteriors for sampling guess and slip parameters are found. A distribution for sampling the Q-matrix is derived. A relabeling algorithm that accounts for potential label switching is presented. A method for simulating data with correlated attributes for the DINA model is offered. Three simulation studies are conducted to evaluate the performance of the algorithm. An empirical study using the ECPE data is performed. The algorithm is implemented using customized R codes.


title: On sums and convex combinations of projectors onto convex sets

abstract: The projector onto the Minkowski sum of closed convex sets is generally not equal to the sum of individual projectors. In this work, we provide a complete answer to the question of characterizing the instances where such an equality holds. Our results unify and extend the case of linear subspaces and Zarantonello's results for projectors onto cones. A detailed analysis in the case of convex combinations is also carried out. We establish the partial sum property for projectors onto convex cones, and we also present various examples as well as a detailed analysis in the univariate case.


title: Spatial Modulation Assisted Multi-Antenna Non-Orthogonal Multiple Access

abstract: Multi-antenna non-orthogonal multiple access (NOMA) is a promising technique to significantly improve the spectral efficiency and support massive access, which has received considerable interests from academic and industry. This article first briefly introduces the basic idea of conventional multi-antenna NOMA technique, and then discusses the key limitations, namely, the high complexity of successive interference cancellation(SIC) and the lack of fairness between the user with a strong channel gain and the user with a weak channel gain. To address these problems, this article proposes a novel spatial modulation (SM) assisted multi-antenna NOMA technique, which avoids the use of SIC and is able to completely cancel intra-cluster interference. Furthermore, simulation results are provided to validate the effectiveness of the proposed novel technique compared to the conventional multi-antenna NOMA. Finally, this article points out the key challenges and sheds light on the future research directions of the SM assisted multi-antenna NOMA technique.


title: Turbulent Cascade Direction and Lagrangian Time-Asymmetry

abstract: We establish Lagrangian formulae for energy conservation anomalies involving the discrepancy between short-time two-particle dispersion forward and backward in time. These results are facilitated by a rigorous version of the Ott-Mann-Gaw\c{e}dzki relation, sometimes described as a "Lagrangian analogue of the 4/5ths law". In particular, we prove that for any space-time $L^3$ weak solution of the Euler equations, the Lagrangian forward/backward dispersion measure matches on to the energy defect in the sense of distributions. For strong limits of $d\geq3$ dimensional Navier-Stokes solutions the defect distribution coincides with the viscous dissipation anomaly. The Lagrangian formula shows that particles released into a $3d$ turbulent flow will initially disperse faster backward-in-time than forward, in agreement with recent theoretical predictions of Jucha et. al (2014). In two dimensions, we consider strong limits of solutions of the forced Euler equations with increasingly high-wavenumber forcing as a model of an ideal inverse cascade regime. We show that the same Lagrangian dispersion measure matches onto the anomalous input from the infinite-frequency force. As forcing typically acts as an energy source, this leads to the prediction that particles in $2d$ typically disperse faster forward in time than backward, which is opposite to what occurs in $3d$. Time-asymmetry of the Lagrangian dispersion is thereby closely tied to the direction of the turbulent cascade, downscale in $d\geq 3$ and upscale in $d=2$. These conclusions lend support to the conjecture of Eyink & Drivas (2015) that a similar connection holds for time-asymmetry of Richardson two-particle dispersion and cascade direction, albeit at longer times.


title: Spectral Image Visualization Using Generative Adversarial Networks

abstract: Spectral images captured by satellites and radio-telescopes are analyzed to obtain information about geological compositions distributions, distant asters as well as undersea terrain. Spectral images usually contain tens to hundreds of continuous narrow spectral bands and are widely used in various fields. But the vast majority of those image signals are beyond the visible range, which calls for special visualization technique. The visualizations of spectral images shall convey as much information as possible from the original signal and facilitate image interpretation. However, most of the existing visualizatio methods display spectral images in false colors, which contradict with human's experience and expectation. In this paper, we present a novel visualization generative adversarial network (GAN) to display spectral images in natural colors. To achieve our goal, we propose a loss function which consists of an adversarial loss and a structure loss. The adversarial loss pushes our solution to the natural image distribution using a discriminator network that is trained to differentiate between false-color images and natural-color images. We also use a cycle loss as the structure constraint to guarantee structure consistency. Experimental results show that our method is able to generate structure-preserved and natural-looking visualizations.


title: Neighborhood Contingency Logic: A New Perspective

abstract: In this paper, we propose a new neighborhood semantics for contingency logic, by introducing a simple property in standard neighborhood models. This simplifies the neighborhood semantics given in (Fan and van Ditmarsch, 2015), but does not change the set of valid formulas. Under this perspective, among various notions of bisimulation and respective Hennessy-Milner Theorems, we show that $c$-bisimulation is equivalent to nbh-$\Delta$-bisimulation in the literature, which guides us to understand the essence of the latter notion. This perspective also provides various frame definability and axiomatization results.


title: Predictions for isobaric collisions at $\sqrt{s_{_{\rm NN}}}$ = 200 GeV from a multiphase transport model

abstract: The isobaric collisions of $^{96}_{44}$Ru + $^{96}_{44}$Ru and $^{96}_{40}$Zr + $^{96}_{40}$Zr have recently been proposed to discern the charge separation signal of the chiral magnetic effect (CME). In this article, we employ the string melting version of a multiphase transport model to predict various charged-particle observables, including $dN/d\eta$, $p_T$ spectra, elliptic flow ($v_2$), and particularly possible CME signals in Ru + Ru and Zr + Zr collisions at $\sqrt{s_{_{\rm NN}}}$ = 200 GeV. Two sets of the nuclear structure parametrization have been explored, and the difference between the two isobaric collisions appears to be small, in terms of $dN/d\eta$, $p_T$ spectra, and $v_2$ for charged particles. We mimic the CME by introducing an initial charge separation that is proportional to the magnetic field produced in the collision, and study how the final-state interactions affect the CME observables. The relative difference in the CME signal between the two isobaric collisions is found to be robust, insensitive to the final-state interactions.


title: Evolution of Magnetic Rayleigh-Taylor Instability into the Outer Solar Corona and Low Inter Planetary Space

abstract: We analyze the observations from Solar TErrestrial RElations Observatory (STEREO)-A\&B/COR-1 of an eruptive prominence in the intermediate corona on 7 June 2011 at 08:45 UT, which consists of magnetic Rayleigh-Taylor (MRT) unstable plasma segments. Its upper northward segment shows spatio-temporal evolution of MRT instability in form of finger structures upto the outer corona and low inter-planetary space. Using method of Dolei et al.(2014), It is estimated that the density in each bright finger is greater than corresponding dark region lying below of it in the surrounding intermediate corona. The instability is evolved due to wave perturbations that are parallel to the magnetic field at the density interface. We conjecture that the prominence plasma is supported by tension component of the magnetic field against gravity. Using linear stability theory, magnetic field is estimated as 21-40 mG to suppress growth of MRT in the observed finger structures. In the southward plasma segment, a horn-like structure is observed at 11:55 UT in the intermediate corona that also indicates MRT instability. Falling blobs are also observed in both the plasma segments. In the outer corona upto 6-13 solar radii, the mushroom-like plasma structures have been identified in the upper northward MRT unstable plasma segment using STEREO-A/COR-2. These structures most likely grew due to the breaking and twisting of fingers at large spatial scales in weaker magnetic fields. In the lower inter-planetary space upto 20 solar radii, these structures are fragmented into various small-scale localized plasma spikes most likely due to turbulent mixing.


title: Nullity of the Levi-form and the associated subvarieties for pseudo-convex CR structures of hypersurface type

abstract: Let $M^{2n+1}$, $n\ge 1$, be a smooth manifold with a pseudo-convex integrable CR structure of hypersurface type. We consider a sequence of CR invariant subsets $ M=\mathcal S_0 \supset \mathcal S_1 \supset \cdots \supset \mathcal S_{n}, $ where $\mathcal S_q$ is the set of points where the Levi-form has nullity $\ge q$. We prove that $\mathcal S_q$'s are locally given as common zero sets of the coefficients $A_j,$ $j=0,1,\ldots, q-1,$ of the characteristic polynomial of the Levi-form. Some sufficient conditions for local existence of complex submanifolds are presented in terms of the coefficients $A_j$.


title: DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing

abstract: While Deep Neural Networks (DNNs) have established the fundamentals of DNN-based autonomous driving systems, they may exhibit erroneous behaviors and cause fatal accidents. To resolve the safety issues of autonomous driving systems, a recent set of testing techniques have been designed to automatically generate test cases, e.g., new input images transformed from the original ones. Unfortunately, many such generated input images often render inferior authenticity, lacking accurate semantic information of the driving scenes and hence compromising the resulting efficacy and reliability. In this paper, we propose DeepRoad, an unsupervised framework to automatically generate large amounts of accurate driving scenes to test the consistency of DNN-based autonomous driving systems across different scenes. In particular, DeepRoad delivers driving scenes with various weather conditions (including those with rather extreme conditions) by applying the Generative Adversarial Networks (GANs) along with the corresponding real-world weather scenes. Moreover, we have implemented DeepRoad to test three well-recognized DNN-based autonomous driving systems. Experimental results demonstrate that DeepRoad can detect thousands of behavioral inconsistencies in these systems.


title: High Pressure and Road to Room Temperature Superconductivity

abstract: High pressure serves as a path finding tool towards novel structures, including those with very high Tc.The superconductivity in sulfur hydrides with record value (203 K) is caused by the phonon mechanism. However, the picture differs from the conventional one in important ways. The phonon spectrum in sulfur hydride is both broad and has a complex structure. High value of Tc is mainly due to strong coupling to the high-frequency optical modes, although the acoustic phonons also make a noticeable contribution. New approach is described;it generalizes the standard treatment of the phonon mechanism and makes it possible to obtain an analytical expression for Tc . It turns out that, unlike in the conventional case, the value of the isotope coefficient varies with the pressure and reflects the impact of the optical modes. The phase diagram, that is the pressure dependence of Tc, is rather peculiar. A crucial feature is that increasing pressure results in a series of structural transitions, including the one, which yields the superconducting phase with the record Tc.In a narrow region near 150GPa the critical temperature rises sharply from 120K to 200K. The sharp structural transition, which produces the high Tc phase, is a first-order phase transition caused by interaction between the order parameter and lattice deformations.Remarkable feature of the electronic spectrum in the high Tc phase is the appearance of small pockets at the Fermi level. Their presence leads to a two-gap spectrum, which can, in principle, be observed, with the future use of tunneling spectroscopy. This feature leads to non-monotonic and strongly asymmetric pressure dependence of Tc. Other hydrides can be expected to display even higher values of Tc, up to room temperature. The fundamental challenge lays in creation a structure capable of displaying high Tc at ambient pressure.


title: 3D Point Cloud Descriptors in Hand-crafted and Deep Learning Age: State-of-the-Art

abstract: The introduction of inexpensive 3D data acquisition devices has promisingly facilitated the wide availability and popularity of 3D point cloud, which attracts more attention to the effective extraction of novel 3D point cloud descriptors for accuracy of the efficiency of 3D computer vision tasks in recent years. However, how to develop discriminative and robust feature descriptors from 3D point cloud remains a challenging task due to their intrinsic characteristics. In this paper, we give a comprehensively insightful investigation of the existing 3D point cloud descriptors. These methods can principally be divided into two categories according to the advancement of descriptors: hand-crafted based and deep learning-based apporaches, which will be further discussed from the perspective of elaborate classification, their advantages, and limitations. Finally, we present the future research direction of the extraction of 3D point cloud descriptors.


title: Surface reconstruction, premelting, and collapse of open-cell nanoporous Cu via thermal annealing

abstract: We systematic investigate the collapse of a set of open-cell nanoporous Cu (np-Cu) with the same porosity and shapes, but different specific surface area, during thermal annealing, via performing large-scale molecular dynamics simulations. Surface premelting is dominated in their collapses, and surface premelting temperatures reduce linearly with the increase of specific surface area. The collapse mechanisms are different for np-Cu with different specific surface area. If the specific surface area less than a critical value ($\sim$ 2.38 nm$^{-1}$), direct surface premelting, giving rise to the transition of ligaments from solid to liquid states, is the cause to facilitate falling-down of np-Cu during thermal annealing. While surface premelting and following recrystallization, accelerating the sloughing of ligaments and annihilation of pores, is the other mechanism, as exceeding the critical specific surface area. The recrystallization occurs at the temperatures below supercooling, where liquid is instable and instantaneous. Thermal-induced surface reconstruction prompts surface premelting via facilitating local "disordering" and "chaotic" at the surface, which are the preferred sites for surface premelting.


title: Random taste heterogeneity in discrete choice models: Flexible nonparametric finite mixture distributions

abstract: This study proposes a mixed logit model with multivariate nonparametric finite mixture distributions. The support of the distribution is specified as a high-dimensional grid over the coefficient space, with equal or unequal intervals between successive points along the same dimension; the location of each point on the grid and the probability mass at that point are model parameters that need to be estimated. The framework does not require the analyst to specify the shape of the distribution prior to model estimation, but can approximate any multivariate probability distribution function to any arbitrary degree of accuracy. The grid with unequal intervals, in particular, offers greater flexibility than existing multivariate nonparametric specifications, while requiring the estimation of a small number of additional parameters. An expectation maximization algorithm is developed for the estimation of these models. Multiple synthetic datasets and a case study on travel mode choice behavior are used to demonstrate the value of the model framework and estimation algorithm. Compared to extant models that incorporate random taste heterogeneity through continuous mixture distributions, the proposed model provides better out-of-sample predictive ability. Findings reveal significant differences in willingness to pay measures between the proposed model and extant specifications. The case study further demonstrates the ability of the proposed model to endogenously recover patterns of attribute non-attendance and choice set formation.


title: Quantum-optimal detection of one-versus-two incoherent optical sources with arbitrary separation

abstract: We analyze the fundamental quantum limit of the resolution of an optical imaging system from the perspective of the detection problem of deciding whether the optical field in the image plane is generated by one incoherent on-axis source with brightness $\epsilon$ or by two $\epsilon/2$-brightness incoherent sources that are symmetrically disposed about the optical axis. Using the exact thermal-state model of the field, we derive the quantum Chernoff bound for the detection problem, which specifies the optimum rate of decay of the error probability with increasing number of collected photons that is allowed by quantum mechanics. We then show that recently proposed linear-optic schemes approach the quantum Chernoff bound---the method of binary spatial-mode demultiplexing (B-SPADE) is quantum-optimal for all values of separation, while a method using image-inversion interferometry (SLIVER) is near-optimal for sub-Rayleigh separations. We then simplify our model using a low-brightness approximation that is very accurate for optical microscopy and astronomy, derive quantum Chernoff bounds conditional on the number of photons detected, and show the optimality of our schemes in this conditional detection paradigm. For comparison, we analytically demonstrate the superior scaling of the Chernoff bound for our schemes with source separation relative to that of spatially-resolved direct imaging. Our schemes have the advantages over the quantum-optimal (Helstrom) measurement in that they do not involve joint measurements over multiple modes, and that they do not require the angular separation for the two-source hypothesis to be given \emph{a priori} and can offer that information as a bonus in the event of a successful detection.


title: Game Data Mining Competition on Churn Prediction and Survival Analysis using Commercial Game Log Data

abstract: Game companies avoid sharing their game data with external researchers. Only a few research groups have been granted limited access to game data so far. The reluctance of these companies to make data publicly available limits the wide use and development of data mining techniques and artificial intelligence research specific to the game industry. In this work, we developed and implemented an international competition on game data mining using commercial game log data from one of the major game companies in South Korea: NCSOFT. Our approach enabled researchers to develop and apply state-of-the-art data mining techniques to game log data by making the data open. For the competition, data were collected from Blade & Soul, an action role-playing game, from NCSOFT. The data comprised approximately 100 GB of game logs from 10,000 players. The main aim of the competition was to predict whether a player would churn and when the player would churn during two periods between which the business model was changed to a free-to-play model from a monthly subscription. The results of the competition revealed that highly ranked competitors used deep learning, tree boosting, and linear regression.


title: An example showing that A-lower semi-continuity is essential for minimax continuity theorems

abstract: Recently Feinberg et al. [arXiv:1609.03990] established results on continuity properties of minimax values and solution sets for a function of two variables depending on a parameter. Such minimax problems appear in games with perfect information, when the second player knows the move of the first one, in turn-based games, and in robust optimization. Some of the results in [arXiv:1609.03990] are proved under the assumption that the multifunction, defining the domains of the second variable, is $A$-lower semi-continuous. The $A$-lower semi-continuity property is stronger than lower semi-continuity, but in several important cases these properties coincide. This note provides an example demonstrating that in general the $A$-lower semi-continuity assumption cannot be relaxed to lower semi-continuity.


title: Optical Photometric Variable Stars towards the Galactic \hii region NGC 2282

abstract: We report here CCD $I$-band time-series photometry of a young (2$-$5 Myr) cluster NGC 2282 to identify and understand the variability of pre-main-sequence (PMS) stars. The $I$-band photometry, down to $\sim$ 20.5 mag, enables us to probe the variability towards the lower mass end ($\sim$ 0.1 M$_\odot$) of the PMS stars. From the light curves of 1627 stars, we identified 62 new photometric variable candidates. Their association with the region was established from H$\alpha$ emission and infrared (IR) excess. Among 62 variables, 30 young variables exhibit H$\alpha$ emission, near-IR (NIR)/mid-IR (MIR) excess or both, and they are candidate members of the cluster. Out of 62 variables, 41 are periodic variables with the rotation rate ranging from 0.2 to 7 days. The period distribution exhibits a median period at $\sim$ 1-day as in many young clusters (e.g., NGC~2264, ONC, etc.), but it follows a uni-modal distribution unlike others having bimodality with the slow rotators peaking at $\sim$ 6$-$8 days. To investigate the rotation-disk and variability-disk connection, we derived NIR excess from $\Delta$(I$-$K) and MIR excess from $Spitzer$ [3.6]$-$[4.5] $\mu$m data. No conclusive evidence of slow rotation with the presence of disks around stars and fast rotation for diskless stars is obtained from our periodic variables. A clear increasing trend of the variability amplitude with the IR excess is found for all variables.


title: The equivariant cohomology ring of a cohomogeneity-one action

abstract: We compute the rational Borel equivariant cohomology ring of a cohomogeneity-one action of a compact Lie group.