title: Matricial Closure

abstract: In this paper we build, for any natural $n$, a closure operator relative to the $n-$matrix endofunctor over the category of rings with $1$. We analyze which properties are invariant under this operator. This operator tends to be decisive, in the sense that the operator preserves the property or loses the property for all rings.


title: Highly Scalable Image Reconstruction using Deep Neural Networks with Bandpass Filtering

abstract: To increase the flexibility and scalability of deep neural networks for image reconstruction, a framework is proposed based on bandpass filtering. For many applications, sensing measurements are performed indirectly. For example, in magnetic resonance imaging, data are sampled in the frequency domain. The introduction of bandpass filtering enables leveraging known imaging physics while ensuring that the final reconstruction is consistent with actual measurements to maintain reconstruction accuracy. We demonstrate this flexible architecture for reconstructing subsampled datasets of MRI scans. The resulting high subsampling rates increase the speed of MRI acquisitions and enable the visualization rapid hemodynamics.


title: Binarity and Accretion in AGB Stars: HST/STIS Observations of UV Flickering in Y Gem

abstract: Binarity is believed to dramatically affect the history and geometry of mass loss in AGB and post-AGB stars, but observational evidence of binarity is sorely lacking. As part of a project to search for hot binary companions to cool AGB stars using the GALEX archive, we discovered a late-M star, Y Gem, to be a source of strong and variable UV and X-ray emission. Here we report UV spectroscopic observations of Y Gem obtained with the Hubble Space Telescope that show strong flickering in the UV continuum on time-scales of <~20 s, characteristic of an active accretion disk. Several UV lines with P-Cygni-type profiles from species such as Si IV and C IV are also observed, with emission and absorption features that are red- and blue- shifted by velocities of ~500 km/s from the systemic velocity. Our model for these (and previous) observations is that material from the primary star is gravitationally captured by a companion, producing a hot accretion disk. The latter powers a fast outflow that produces blue-shifted features due to absorption of UV continuum emitted by the disk, whereas the red-shifted emission features arise in heated infalling material from the primary. The outflow velocities support a previous inference by Sahai et al. (2015) that Y Gem's companion is a low-mass main-sequence star. Blackbody fitting of the UV continuum implies an accretion luminosity of about 13 Lsun and thus a mass-accretion rate >5e-7 Msun/yr; we infer that Roche lobe overflow is the most likely binary accretion mode for Y Gem.


title: Derived $\mathcal{O}_k$-adic geometry and derived Raynaud localization theorem

abstract: The goal of the present text is to state and prove a generalization of Raynaud localization theorem in the setting of derived geometry. More explicitly, we show that the $\infty$-category of quasi-paracompact and quasi-separated derived $k$-analytic spaces can be realized as a localization of the $\infty$-category of admissible derived formal schemes. We construct a derived rigidification functor generalizing Raynaud rigidification functor. In order to construct the latter we will need to formalize derived formal $\mathcal{O}_k$-adic formal geometry via a structured spaces approach. We prove that $\mathcal{O}_k$-adic Postnikov towers of derived $\mathcal{O}_k$-adic Deligne-Mumford stacks decompose and we relate these to Postnikov towers of derived $k$-analytic spaces. This is possible by a precise comparison between the $\mathcal{O}_k$-adic cotangent complex and the $k$-analytic cotangent complex.


title: Energy, linear momentum, and angular momentum exchange between an electromagnetic wave-packet and a small particle

abstract: Invoking Maxwell's classical electrodynamics in conjunction with expressions for the electromagnetic (EM) energy, momentum, force, and torque, we use a few simple examples to demonstrate the nature of linear and angular momentum exchange between a wave-packet and a small spherical particle. The linear and angular momenta of the EM field, when absorbed by the particle, will be seen to elicit different responses from the particle.


title: Bayesian parameter identification in Cahn-Hilliard models for biological growth

abstract: We consider the inverse problem of parameter estimation in a diffuse interface model for tumour growth. The model consists of a fourth-order Cahn-Hilliard system and contains three phenomenological parameters: the tumour proliferation rate, the nutrient consumption rate, and the chemotactic sensitivity. We study the inverse problem within the Bayesian framework and construct the likelihood and noise for two typical observation settings. One setting involves an infinite-dimensional data space where we observe the full tumour. In the second setting we observe only the tumour volume, hence the data space is finite-dimensional. We show the well-posedness of the posterior measure for both settings, building upon and improving the analytical results in [C. Kahle and K.F. Lam, Appl. Math. Optim. (2018)]. A numerical example involving synthetic data is presented in which the posterior measure is numerically approximated by the sequential Monte Carlo approach with tempering.


title: The Effectiveness of Instance Normalization: a Strong Baseline for Single Image Dehazing

abstract: We propose a novel deep neural network architecture for the challenging problem of single image dehazing, which aims to recover the clear image from a degraded hazy image. Instead of relying on hand-crafted image priors or explicitly estimating the components of the widely used atmospheric scattering model, our end-to-end system directly generates the clear image from an input hazy image. The proposed network has an encoder-decoder architecture with skip connections and instance normalization. We adopt the convolutional layers of the pre-trained VGG network as encoder to exploit the representation power of deep features, and demonstrate the effectiveness of instance normalization for image dehazing. Our simple yet effective network outperforms the state-of-the-art methods by a large margin on the benchmark datasets.


title: Quassical Computing

abstract: We present a class of hybrid classical systems using quantum co-processors and point out that unlike purely quantum computers, such hybrids can be both universal and Turing complete; we introduce such quantum-classical hybrids as "quassical." We discuss the benefits of quassical architectures from a theoretical point of view: for some classes of problems they achieve computational supremacy. From a practical point of view, quassical architectures can also reduce the overhead burden imposed by most error correction schemes and minimize the challenges of interconnecting qubits in a usefully large connection graph. All quantum computing systems are cyber-physical machines and thus quassical to at least a trivial degree but only the more profoundly quassical hybrids can exhibit an optimum problem-solving capability for the amount of quantum resources deployed. Most significantly, quassical architectures advance our thinking past that of seeing quantum machines as simply quantum embodiments of classical ones and can enliven whole new fields of analytical thinking that takes us beyond quantum information science per se into a deeper understanding of the duality between quantum information and fundamental thermodynamics, possibly suggesting unexpectedly useful new technologies.


title: Rota-type operators on null-filiform associative algebras

abstract: We give the description of homogeneous Rota-Baxter operators, Reynolds operators, Nijenhuis operators, Average operators and differential operator of weight 1 of null-filiform associative algebras of arbitrary dimension.


title: Investor Reaction to Financial Disclosures Across Topics: An Application of Latent Dirichlet Allocation

abstract: This paper provides a holistic study of how stock prices vary in their response to financial disclosures across different topics. Thereby, we specifically shed light into the extensive amount of filings for which no a priori categorization of their content exists. For this purpose, we utilize an approach from data mining - namely, latent Dirichlet allocation - as a means of topic modeling. This technique facilitates our task of automatically categorizing, ex ante, the content of more than 70,000 regulatory 8-K filings from U.S. companies. We then evaluate the subsequent stock market reaction. Our empirical evidence suggests a considerable discrepancy among various types of news stories in terms of their relevance and impact on financial markets. For instance, we find a statistically significant abnormal return in response to earnings results and credit rating, but also for disclosures regarding business strategy, the health sector, as well as mergers and acquisitions. Our results yield findings that benefit managers, investors and policy-makers by indicating how regulatory filings should be structured and the topics most likely to precede changes in stock valuations.


title: Vecchia approximations of Gaussian-process predictions

abstract: Gaussian processes (GPs) are highly flexible function estimators used for geospatial analysis, nonparametric regression, and machine learning, but they are computationally infeasible for large datasets. Vecchia approximations of GPs have been used to enable fast evaluation of the likelihood for parameter inference. Here, we study Vecchia approximations of spatial predictions at observed and unobserved locations, including obtaining joint predictive distributions at large sets of locations. We consider a general Vecchia framework for GP predictions, which contains some novel and some existing special cases. We study the accuracy and computational properties of these approaches theoretically and numerically, proving that our new methods exhibit linear computational complexity in the total number of spatial locations. We show that certain choices within the framework can have a strong effect on uncertainty quantification and computational cost, which leads to specific recommendations on which methods are most suitable for various settings. We also apply our methods to a satellite dataset of chlorophyll fluorescence, showing that the new methods are faster or more accurate than existing methods, and reduce unrealistic artifacts in prediction maps.


title: Inverse point source location with the Helmholtz equation on a bounded domain

abstract: The problem of recovering acoustic sources, more specifically monopoles, from point-wise measurements of the corresponding acoustic pressure at a limited number of frequencies is addressed. To this purpose, a family of sparse optimization problems in measure space in combination with the Helmholtz equation on a bounded domain is considered. A weighted norm with unbounded weight near the observation points is incorporated into the formulation. Optimality conditions and conditions for recovery in the small noise case are discussed, which motivates concrete choices of the weight. The numerical realization is based on an accelerated conditional gradient method in measure space and a finite element discretization.


title: Shadow of a black hole at cosmological distance

abstract: Cosmic expansion is expected to influence on the size of black hole shadow observed by comoving observer. Except the simplest case of Schwarzschild black hole in de Sitter universe, analytical approach for calculation of shadow size in expanding universe is still not developed. In this paper we present approximate method based on using angular size redshift relation. This approach is appropriate for general case of any multicomponent universe (with matter, radiation and dark energy). In particular, we have shown that supermassive black holes at large cosmological distances in the universe with matter may give a shadow size approaching to the shadow size of the black hole in the center of our galaxy, and present sensitivity limits.


title: Spherical conic metrics and realizability of branched covers

abstract: Branched covers between Riemann surfaces are associated with certain combinatorial data, and Hurwitz existence problem asks whether given data satisfying those combinatorial constraints can be realized by some branched cover. We connect recent development in spherical conic metrics to this old problem, and give a new method of finding exceptional (unrealizable) branching data. As an application, we find new infinite sets of exceptional branched cover data on the Riemann sphere.


title: Computational tools for solving a marginal problem with applications in Bell non-locality and causal modeling

abstract: Marginal problems naturally arise in a variety of different fields: basically, the question is whether some marginal/partial information is compatible with a joint probability distribution. To this aim, the characterization of marginal sets via quantifier elimination and polyhedral projection algorithms is of primal importance. In this work, before considering specific problems, we review polyhedral projection algorithms with focus on applications in information theory, and, alongside known algorithms, we also present a newly developed geometric algorithm which walks along the face lattice of the polyhedron in the projection space. One important application of this is in the field of quantum non-locality, where marginal problems arise in the computation of Bell inequalities. We apply the discussed algorithms to discover many tight entropic Bell inequalities of the tripartite Bell scenario as well as more complex networks arising in the field of causal inference. Finally, we analyze the usefulness of these inequalities as nonlocality witnesses by searching for violating quantum states.


title: A semicoherent glitch-robust continuous gravitational wave search

abstract: Continuous gravitational-wave signals from isolated non-axisymmetric rotating neutron stars may undergo episodic spin-up events known as glitches. If unmodelled by a search, these can result in missed or misidentified detections. We outline a semicoherent glitch-robust search method that allows identification of glitching signal candidates and inference about the model parameters.


title: Basalt or not? Near-infrared spectra, surface mineralogical estimates, and meteorite analogs for 33 Vp-type asteroids

abstract: Investigations of the main asteroid belt and efforts to constrain that population's physical characteristics involve the daunting task of studying hundreds of thousands of small bodies. Taxonomic systems are routinely employed to study the large scale nature of the asteroid belt because they utilize common observational parameters, but asteroid taxonomies only define broadly observable properties and are not compositionally diagnostic (Tholen, 1984; Carvano et al., 2010, Hasselmann et al., 2012). This work builds upon the results of Hardersen et al. (2014, 2015), which has the goal of constraining the abundance and distribution of basaltic asteroids throughout the main asteroid belt. We report on the near infrared (NIR: 0.7 to 2.5 microns) reflectance spectra, surface mineralogical characterizations, spectral band parameter analysis, and meteorite analogs for 33 Vp asteroids. NIR reflectance spectroscopy is an effective remote sensing technique to detect most pyroxene group minerals, which are spectrally distinct with two very broad spectral absorptions at 0.9 and 1.9 microns (Cloutis et al., 1986; Gaffey et al., 2002; Burbine et al., 2009). Combined with the results from Hardersen et al. (2014, 2015), we identify basaltic asteroids for 95 percent (39 of 41) of our inner-belt Vp sample, but only 25 percent (2 of 8) of the outer-belt Vp sample. Inner belt basaltic asteroids are most likely associated with 4 Vesta and represent impact fragments ejected from previous collisions. Outer belt Vp asteroids exhibit disparate spectral, mineralogic, and meteorite analog characteristics and likely originate from diverse parent bodies. The discovery of two additional likely basaltic asteroids provides additional evidence for an outer-belt basaltic asteroid population.


title: Extremal properties of the univariate extended skew-normal distribution

abstract: We consider the extremal properties of the highly flexible univariate extended skew-normal distribution. We derive the well-known Mills' inequalities and Mills' ratio for the extended skew-normal distribution and establish the asymptotic extreme-value distribution for the maximum of samples drawn from this distribution.


title: Subsampling Sequential Monte Carlo for Static Bayesian Models

abstract: We show how to speed up Sequential Monte Carlo (SMC) for Bayesian inference in large data problems by data subsampling. SMC sequentially updates a cloud of particles through a sequence of distributions, beginning with a distribution that is easy to sample from such as the prior and ending with the posterior distribution. Each update of the particle cloud consists of three steps: reweighting, resampling, and moving. In the move step, each particle is moved using a Markov kernel; this is typically the most computationally expensive part, particularly when the dataset is large. It is crucial to have an efficient move step to ensure particle diversity. Our article makes two important contributions. First, in order to speed up the SMC computation, we use an approximately unbiased and efficient annealed likelihood estimator based on data subsampling. The subsampling approach is more memory efficient than the corresponding full data SMC, which is an advantage for parallel computation. Second, we use a Metropolis within Gibbs kernel with two conditional updates. A Hamiltonian Monte Carlo update makes distant moves for the model parameters, and a block pseudo-marginal proposal is used for the particles corresponding to the auxiliary variables for the data subsampling. We demonstrate both the usefulness and limitations of the methodology for estimating four generalized linear models and a generalized additive model with large datasets.


title: Multivariate Spatial-Temporal Variable Selection with Applications to Seasonal Tropical Cyclone Modeling

abstract: Tropical cyclone and sea surface temperature data have been used in several studies to forecast the total number of hurricanes in the Atlantic Basin. Sea surface temperature (SST) and latent heat flux (LHF) are correlated with tropical cyclone occurrences, but this correlation is known to vary with location and strength of the storm. The objective of this article is to identify features of SST and LHF that can explain the spatial-temporal variation of tropical cyclone counts, categorized by their strength. We develop a variable selection procedure for multivariate spatial-temporally varying coefficients, under a Poisson hurdle model (PHM) framework, which takes into account the zero-inflated nature of the counts. The method differs from current spatial-temporal variable selection techniques by offering a dynamic variable selection procedure, that shares information between responses, locations, time and levels in the PHM context. The model is used to study the association between SST and LHF and the number of tropical cyclones of different strengths in 400 locations in the Atlantic Basin over the period of 1950-2013. Results show that it is possible to estimate the number of tropical storms by season and region. Furthermore, the model delimits areas with a significant correlation between SST and LHF features and the occurrence and strength of TCs in the North Atlantic Basin.


title: Quadratically Constrained Channels with Causal Adversaries

abstract: We consider the problem of communication over a channel with a causal jamming adversary subject to quadratic constraints. A sender Alice wishes to communicate a message to a receiver Bob by transmitting a real-valued length-$n$ codeword $\mathbf{x}=x_1,...,x_n$ through a communication channel. Alice and Bob do not share common randomness. Knowing Alice's encoding strategy, an adversarial jammer James chooses a real-valued length-n noise sequence $\mathbf{s}=s_1,..,s_n$ in a causal manner, i.e., each $s_t (1<=t<=n)$ can only depend on $x_1,...,x_t$. Bob receives $\mathbf{y}$, the sum of Alice's transmission $\mathbf{x}$ and James' jamming vector $\mathbf{s}$, and is required to reliably estimate Alice's message from this sum. In addition, Alice and James's transmission powers are restricted by quadratic constraints $P>0$ and $N>0$. In this work, we characterize the channel capacity for such a channel as the limit superior of the optimal values of a series of optimizations. Upper and lower bounds on the optimal values are provided both analytically and numerically. Interestingly, unlike many communication problems, in this causal setting Alice's optimal codebook may not have a uniform power allocation - for certain SNR, a codebook with a two-level uniform power allocation results in a strictly higher rate than a codebook with a uniform power allocation would.


title: Mining Top-k Sequential Patterns in Database Graphs:A New Challenging Problem and a Sampling-based Approach

abstract: In many real world networks, a vertex is usually associated with a transaction database that comprehensively describes the behaviour of the vertex. A typical example is the social network, where the behaviour of every user is depicted by a transaction database that stores his daily posted contents. A transaction database is a set of transactions, where a transaction is a set of items. Every path of the network is a sequence of vertices that induces multiple sequences of transactions. The sequences of transactions induced by all of the paths in the network forms an extremely large sequence database. Finding frequent sequential patterns from such sequence database discovers interesting subsequences that frequently appear in many paths of the network. However, it is a challenging task, since the sequence database induced by a database graph is too large to be explicitly induced and stored. In this paper, we propose the novel notion of database graph, which naturally models a wide spectrum of real world networks by associating each vertex with a transaction database. Our goal is to find the top-k frequent sequential patterns in the sequence database induced from a database graph. We prove that this problem is #P-hard. To tackle this problem, we propose an efficient two-step sampling algorithm that approximates the top-k frequent sequential patterns with provable quality guarantee. Extensive experimental results on synthetic and real-world data sets demonstrate the effectiveness and efficiency of our method.


title: Are slot and sub-wavelength grating waveguides better than strip waveguides for sensing?

abstract: The unique ability of slot and sub-wavelength grating (SWG) waveguides to confine light outside of the waveguide core material has attracted significant interest in their application to chemical and biological sensing. However, high sensitivity to sidewall roughness induced scattering loss in these structures compared to strip waveguides casts doubt on their efficacy. In this article, we seek to settle the controversy by quantitatively comparing the sensing performance of various waveguide geometries through figures of merit that we derive for each mode of sensing. These methods take into account both modal confinement and roughness scattering loss, the latter of which is computed using a volume-current (Green's-function) method with a first Born approximation. For devices based on the standard 220 nm silicon-on-insulator (SOI) platform whose propagation loss is predominantly limited by random line-edge sidewall roughness scattering, our model predicts that properly engineered TM-polarized strip waveguides claim the best performance for refractometry and absorption spectroscopy, while optimized slot waveguides demonstrate >5x performance enhancement over the other waveguide geometries for waveguide-enhanced Raman spectroscopy.


title: Transfer Learning from Adult to Children for Speech Recognition: Evaluation, Analysis and Recommendations

abstract: Children speech recognition is challenging mainly due to the inherent high variability in children's physical and articulatory characteristics and expressions. This variability manifests in both acoustic constructs and linguistic usage due to the rapidly changing developmental stage in children's life. Part of the challenge is due to the lack of large amounts of available children speech data for efficient modeling. This work attempts to address the key challenges using transfer learning from adult's models to children's models in a Deep Neural Network (DNN) framework for children's Automatic Speech Recognition (ASR) task evaluating on multiple children's speech corpora with a large vocabulary. The paper presents a systematic and an extensive analysis of the proposed transfer learning technique considering the key factors affecting children's speech recognition from prior literature. Evaluations are presented on (i) comparisons of earlier GMM-HMM and the newer DNN Models, (ii) effectiveness of standard adaptation techniques versus transfer learning, (iii) various adaptation configurations in tackling the variabilities present in children speech, in terms of (a) acoustic spectral variability, and (b) pronunciation variability and linguistic constraints. Our Analysis spans over (i) number of DNN model parameters (for adaptation), (ii) amount of adaptation data, (iii) ages of children, (iv) age dependent-independent adaptation. Finally, we provide Recommendations on (i) the favorable strategies over various aforementioned - analyzed parameters, and (ii) potential future research directions and relevant challenges/problems persisting in DNN based ASR for children's speech.


title: Remarks on certain two-component systems with peakon solutions

abstract: We consider a Lax pair found by Xia, Qiao and Zhou for a family of two-component analogues of the Camassa-Holm equation, including an arbitrary function $H$, and show that this apparent freedom can be removed via a combination of a reciprocal transformation and a gauge transformation, which reduces the system to triangular form. The resulting triangular system may or may not be integrable, depending on the choice of $H$. In addition, we apply the formal series approach of Dubrovin and Zhang to show that scalar equations of Camassa-Holm type with homogeneous nonlinear terms of degree greater than three are not integrable.


title: Mining and Forecasting Career Trajectories of Music Artists

abstract: Many musicians, from up-and-comers to established artists, rely heavily on performing live to promote and disseminate their music. To advertise live shows, artists often use concert discovery platforms that make it easier for their fans to track tour dates. In this paper, we ask whether digital traces of live performances generated on those platforms can be used to understand career trajectories of artists. First, we present a new dataset we constructed by cross-referencing data from such platforms. We then demonstrate how this dataset can be used to mine and predict important career milestones for the musicians, such as signing by a major music label, or performing at a certain venue. Finally, we perform a temporal analysis of the bipartite artist-venue graph, and demonstrate that high centrality on this graph is correlated with success.


title: Nuclear surface diffuseness revealed in nucleon-nucleus diffraction

abstract: Nuclear surface provides useful information on nuclear radius, nuclear structure as well as properties of nuclear matter. We discuss the relationship between the nuclear surface diffuseness and elastic scattering differential cross section at the first diffraction peak of high-energy nucleon-nucleus scattering as an efficient tool in order to extract the nuclear surface information from limited experimental data involving short-lived unstable nuclei. The high-energy reaction is described by a reliable microscopic reaction theory, the Glauber model. Extending the idea of the black sphere model, we find one-to-one correspondence between the nuclear bulk structure information and proton elastic scattering diffraction peak. This implies that we can extract both the nuclear radius and diffuseness simultaneously, using the position of the first diffraction peak and its magnitude of the elastic scattering differential cross section. We confirm the reliability of this approach by using realistic density distributions obtained by a mean-field model.


title: Reliability Estimation for Networks with Minimal Flow Demand and Random Link Capacities

abstract: We consider a network whose links have random capacities and in which a certain target amount of flow must be carried from some source nodes to some destination nodes. Each destination node has a fixed demand that must be satisfied and each source node has a given supply. We want to estimate the unreliability of the network, defined as the probability that the network cannot carry the required amount of flow to meet the demand at all destination nodes. When this unreliability is very small, which is our main interest in this paper, standard Monte Carlo estimators become useless because failure to meet the demand is a rare event. We propose and compare two different methods to handle this situation, one based on a conditional Monte Carlo approach and the other based on generalized splitting. We find that the first is more effective when the network is highly reliable and not too large, whereas for a larger network and/or moderate reliability, the second is more effective.


title: Network Enhancement: a general method to denoise weighted biological networks

abstract: Networks are ubiquitous in biology where they encode connectivity patterns at all scales of organization, from molecular to the biome. However, biological networks are noisy due to the limitations of measurement technology and inherent natural variation, which can hamper discovery of network patterns and dynamics. We propose Network Enhancement (NE), a method for improving the signal-to-noise ratio of undirected, weighted networks. NE uses a doubly stochastic matrix operator that induces sparsity and provides a closed-form solution that increases spectral eigengap of the input network. As a result, NE removes weak edges, enhances real connections, and leads to better downstream performance. Experiments show that NE improves gene function prediction by denoising tissue-specific interaction networks, alleviates interpretation of noisy Hi-C contact maps from the human genome, and boosts fine-grained identification accuracy of species. Our results indicate that NE is widely applicable for denoising biological networks.


title: Modeling Supervisor Safe Sets for Improving Collaboration in Human-Robot Teams

abstract: When a human supervisor collaborates with a team of robots, their attention is divided and cognitive resources are at a premium. We aim to optimize the distribution of these resources and the flow of attention. To this end, we propose the model of an idealized supervisor to describe human behavior. Such a supervisor employs a potentially inaccurate internal model of the the robots' dynamics to judge safety. We represent these safety judgements by constructing a safe set from this internal model using reachability theory. When a robot leaves this safe set, the idealized supervisor will intervene to assist, regardless of whether or not the robot remains objectively safe. False positives, where a human supervisor incorrectly judges a robot to be in danger, needlessly consume supervisor attention. In this work, we propose a method that decreases false positives by learning the supervisor's safe set and using that information to govern robot behavior. We prove that robots behaving according to our approach will reduce the occurrence of false positives for our idealized supervisor model. Furthermore, we empirically validate our approach with a user study that demonstrates a significant ($p = 0.0328$) reduction in false positives for our method compared to a baseline safety controller.


title: LogIn: Unlock Journaling System for Personal Informatics

abstract: In situ self-report is widely used in human-computer interaction, ubiquitous computing, and for assessment and intervention in health and wellness. Unfortunately, it remains limited by high burdens. We examine unlock journaling as an alternative. Specifically, we build upon recent work to introduce single slide unlock journaling gestures appropriate for health and wellness measures. We then present the first field study comparing unlock journaling with traditional diaries and notification based reminders in self report of health and wellness measures. We find unlock journaling is less intrusive than reminders, dramatically improves frequency of journaling, and can provide equal or better timeliness. Where appropriate to broader design needs, unlock journaling is thus an overall promising method for in situ self report.


title: Character-level Chinese-English Translation through ASCII Encoding

abstract: Character-level Neural Machine Translation (NMT) models have recently achieved impressive results on many language pairs. They mainly do well for Indo-European language pairs, where the languages share the same writing system. However, for translating between Chinese and English, the gap between the two different writing systems poses a major challenge because of a lack of systematic correspondence between the individual linguistic units. In this paper, we enable character-level NMT for Chinese, by breaking down Chinese characters into linguistic units similar to that of Indo-European languages. We use the Wubi encoding scheme, which preserves the original shape and semantic information of the characters, while also being reversible. We show promising results from training Wubi-based models on the character- and subword-level with recurrent as well as convolutional models.


title: On the local density formula and the Gross-Keating invariant with an Appendix `The local density of a binary quadratic form' by T. Ikeda and H. Katsurada

abstract: T. Ikeda and H. Katsurada have developed the theory of the Gross-Keating invariant of a quadratic form in their recent papers [IK1] and [IK2]. In particular, they prove that the local factor of the Fourier coefficients of the Siegel-Eisenstein series is completely determined by the Gross-Keating invariant with extra datum, called the extended GK datum, in [IK2]. On the other hand, such local factor is a special case of the local densities for a pair of two quadratic forms. Thus we propose a general question if the local density can be determined by certain series of the Gross-Keating invariants and the extended GK datums. In this paper, we prove that the answer to this question is affirmative, for the local density of a single quadratic form defined over an unramified finite extension of $\mathbb{Z}_2$. In the appendix, T. Ikeda and H. Katsurada compute the local density formula of a single binary quadratic form defined over any finite extension of $\mathbb{Z}_2$.


title: Finite domain effects in steady-state solutions of Poisson-Nernst-Planck equations

abstract: Steady-state solutions of the Poisson-Nernst-Planck model are studied in the asymptotic limit of large, but finite domains. By using asymptotic matching for integrals, we derive an approximate solution for the steady-state equation with exponentially small error with respect to the domain size. The approximation is used to quantify the extent of finite domain effects over the full parameter space. Surprisingly, already for small applied voltages (several thermal voltages), we found that finite domain effects are significant even for large domains (on the scale of hundreds of Debye lengths). Namely, the solution near the boundary, i.e., the boundary layer (electric double layer) structure, is sensitive to the domain size even when the domain size is many times larger than the characteristic width of the boundary layer. We focus on this intermediate regime between confined domains and `essentially infinite' domains, and study how the domain size effects the solution properties. We conclude by providing an outlook to higher dimensions with applications to ion channels and porous electrodes.


title: A Sample Path Measure of Causal Influence

abstract: We present a sample path dependent measure of causal influence between two time series. The proposed measure is a random variable whose expected sum is the directed information. A realization of the proposed measure may be used to identify the specific patterns in the data that yield a greater flow of information from one process to another, even in stationary processes. We demonstrate how sequential prediction theory may be leveraged to obtain accurate estimates of the causal measure at each point in time and introduce a notion of regret for assessing the performance of estimators of the measure. We prove a finite sample bound on this regret that is determined by the regret of the sequential predictors used in obtaining the estimate. We estimate the causal measure for a simulated collection of binary Markov processes using a Bayesian updating approach. Finally, given that the measure is a function of time, we demonstrate how estimators of the causal measure may be extended to effectively capture causality in time-varying scenarios.


title: $P$-Matchings in Graphs: A Brief Survey with Some Open Problems

abstract: For a graph $G=(V,E),$ a matching $M$ is a set of independent edges. The topic of matchings is well studied in graph theory. In this paper many varieties of matchings are discussed.


title: Perfect Domination in Knights Graphs

abstract: For a graph $G = (V,E),$ a subset $S$ of $V$ is a perfect dominating set of $G$ if every vertex not in $S$ is adjacent to exactly one vertex in $S.$ The perfect domination number, $\gamma_p(G),$ is the minimum cardinality of a perfect dominating set of $G.$ The perfect domination number is found for knights graphs on square, rectangular, and infinite chessboards. Indeed, exact values or bounds are given for all chessboards except those with 3 rows and number of columns congruent to 1, 2, or 3 modulo 8.


title: Modeling Multivariate Time Series with Copula-linked Univariate D-vines

abstract: This paper proposes a novel multivariate time series model named Copula-linked univariate D-vines (CuDvine), which enables the simultaneous copula-based modeling of both temporal and cross-sectional dependence for multivariate time series. To construct CuDvine, we first build a semiparametric univariate D-vine time series model (uDvine) based on a D-vine. The uDvine generalizes the existing first-order copula-based Markov chain models to Markov chains of an arbitrary-order. Building upon uDvine, we construct CuDvine by linking multiple uDvines via a parametric copula. As a simple and tractable model, CuDvine provides flexible models for marginal behavior and temporal dependence of time series, and can also incorporate sophisticated cross-sectional dependence such as time-varying and spatio-temporal dependence for high-dimensional applications. Robust and computationally efficient procedures, including a sequential model selection method and a two-stage MLE, are proposed for model estimation and inference, and their statistical properties are investigated. Numerical experiments are conducted to demonstrate the flexibility of CuDvine, and to examine the performance of the sequential model selection procedure and the two-stage MLE. Real data applications on the Australian electricity price data demonstrate the superior performance of CuDvine to traditional multivariate time series models.


title: Multi-scale metrics and self-organizing maps: a computational approach to the structure of sensory maps

abstract: This paper introduces the concept of a bi-scale metric for use in the cooperative phase of the self-organizing map (SOM) algorithm. Use of a bi-scale metric allows segmentation of the map into a number of regions, corresponding to anticipated cluster structure in the data. Such a situation occurs, for example, in the somatotopic maps which inspired the SOM algo- rithm, where clusters of data may correspond to body surface regions whose general structure is known. When a bi-scale metric is appropriately applied, issues with map neurons that are not activated by any point in the training data are reduced or eliminated. The paper also presents results of simulation studies on the plasticity of bi-scale metric maps when they are retrained af- ter loss of groups of map neurons or after changes in training data (such as would occur in a somatotopic map when a body surface region like a finger is lost/removed). The paper further considers situations where tri-scale met- rics may be useful, and an alternative approach suggested by neurobiology, where some map regions adapt more slowly to stimuli because they have a lower learning rate parameter.


title: On the Optimal Achievable Rates for Linear Computation With Random Homologous Codes

abstract: The problem of computing a linear combination of sources over a multiple access channel is studied. Inner and outer bounds on the optimal tradeoff between the communication rates are established when encoding is restricted to random ensembles of homologous codes, namely, structured nested coset codes from the same generator matrix and individual shaping functions, but when decoding is optimized with respect to the realization of the encoders. For the special case in which the desired linear combination is "matched" to the structure of the multiple access channel in a natural sense, these inner and outer bounds coincide. This result indicates that most, if not all, coding schemes for computation in the literature that rely on random construction of nested coset codes cannot be improved by using more powerful decoders, such as the maximum likelihood decoder. The proof techniques are adapted to characterize the rate region for broadcast channels achieved by Marton's (random) coding scheme under maximum likelihood decoding.


title: Internal Oscillations of a Dark-Bright Soliton in a Harmonic Potential

abstract: We investigate the dynamics of a dark-bright soliton in a harmonic potential using a mean-field approach via coupled nonlinear Schr\"odinger equations appropriate to multicomponent Bose-Einstein condensates. We use a modified perturbed dynamical variational Lagrangian approximation, where the perturbation is due to the trap, taken as a Thomas-Fermi profile. The wavefunction ansatz is taken as the correct hyperbolic tangent and secant solutions in the scalar case for the dark and bright components of the soliton, respectively. We also solve the problem numerically with psuedo-spectral Runge-Kutta methods. We find, analytically and numerically, for weak trapping the internal modes are nearly independent of center of mass motion of the dark-bright soliton. In contrast, in tighter traps the internal modes couple strongly to the center of mass motion, showing that for dark-bright solitons in a harmonic potential the center of mass and relative degrees of freedom are not independent. This result is robust against noise in the initial condition and should, therefore, be experimentally observable.


title: Scattering of solitons in binary Bose-Einstein condensates with spin-orbit and Rabi couplings

abstract: In this paper we study the scattering of solitons in a binary Bose-Einstein Condensate (BEC) including SO- and Rabi-couplings. To this end, we derive a reduced ODE model in view to provide a variational description of the collisional dynamics. Also, we assume negative intra- and inter-component interaction strengths, such that one obtains localized solutions even in absence of external potentials. By performing extensive numerical simulations of this model we observe that, for specific conditions, the final propagation velocity of the scattered solitons could be highly sensitive to small changes in the initial conditions, being a possible signature of chaos. Additionally, there are infinitely many intervals of regularity emerging from the obtained chaotic-like regions and forming a fractal-like structure of reflection/transmission windows. Finally, we investigate how the value of the spin-orbit coupling strength changes the critical velocities, which are minimum/maximum values for the occurrence of solitons bound-states, as well as the fractal-like structure.


title: First-principles study on the electronic and optical properties of inorganic perovskite Rb1-xCsxPbI3 for solar cell applications

abstract: Recently, replacing or mixing organic molecules in the hybrid halide perovskites with the inorganic Cs or Rb cations has been reported to increase the material stability with the comparable solar cell performance. In this work, we systematically investigate the electronic and optical properties of all-inorganic alkali iodide perovskites Rb1-xCsxPbI3 using the first-principles virtual crystal approximation calculations. Our calculations show that as increasing the Cs content x, lattice constants, band gaps, exciton binding energies, and effective masses of charge carriers decrease following the quadratic (linear for effective masses) functions, while static dielectric constants increase following the quadratic function, indicating an enhancement of solar cell performance upon the Rb addition to CsPbI3. When including the many-body interaction within the GW approximation and incorporating the spin-orbit coupling (SOC), we obtain more reliable band gap compared with experiment for CsPbI3, highlighting the importance of using GW+SOC approach for the all-inorganic as well as organic-inorganic hybrid halide perovskite materials.


title: Kinetic freeze-out properties from transverse momentum spectra of pions in high energy proton-proton collisions

abstract: Transverse momentum spectra of negative and positive pions produced at mid-(pseudo)rapidity in inelastic or non-single-diffractive proton-proton collisions over a center-of-mass energy, $\sqrt{s}$, range from a few GeV to above 10 TeV are analyzed by the blast-wave fit with Boltzmann (Tsallis) distribution. The blast-wave fit results are well fitting to the experimental data measured by several collaborations. In a particular superposition with Hagedorn function, both the excitation functions of kinetic freeze-out temperature ($T_0$) of emission source and transverse flow velocity ($\beta_T$) of produced particles obtained from a given selection in the blast-wave fit with Boltzmann distribution have a hill at $\sqrt{s}\approx10$ GeV, a drop at dozens of GeV, and then an increase from dozens of GeV to above 10 TeV. However, both the excitation functions of $T_0$ and $\beta_T$ obtained in the blast-wave fit with Tsallis distribution do not show such a complex structure, but a very low hill. In another selection for the parameters or in the superposition with the usual step function, $T_0$ and $\beta_T$ increase generally quickly from a few GeV to about 10 GeV and then slightly at above 10 GeV, there is no such the complex structure, when also studying nucleus-nucleus collisions.


title: Shattered Time: Can a Dissipative Time Crystal Survive Many-Body Correlations?

abstract: We investigate the emergence of a time crystal in a driven-dissipative many-body spin array. In this system the interplay between incoherent spin pumping and collective emission stabilizes a synchronized non-equilibrium steady state which in the thermodynamic limit features a self-generated time-periodic pattern imposed by collective elastic interactions. In contrast to prior realizations where the time symmetry is already broken by an external drive, here it is only spontaneously broken by the elastic exchange interactions and manifest in the two-time correlation spectrum. Employing a combination of exact numerical calculations and a second-order cumulant expansion, we investigate the impact of many-body correlations on the time crystal formation and establish a connection between the regime where it is stable and a slow growth rate of the mutual information, signalling that the time crystal studied here is an emergent semi-classical out-of-equilibrium state of matter. We also confirm the rigidity of the time crystal to single-particle dephasing. Finally, we discuss an experimental implementation using long-lived dipoles in an optical cavity.


title: Attention-Aware Compositional Network for Person Re-identification

abstract: Person re-identification (ReID) is to identify pedestrians observed from different camera views based on visual appearance. It is a challenging task due to large pose variations, complex background clutters and severe occlusions. Recently, human pose estimation by predicting joint locations was largely improved in accuracy. It is reasonable to use pose estimation results for handling pose variations and background clutters, and such attempts have obtained great improvement in ReID performance. However, we argue that the pose information was not well utilized and hasn't yet been fully exploited for person ReID. In this work, we introduce a novel framework called Attention-Aware Compositional Network (AACN) for person ReID. AACN consists of two main components: Pose-guided Part Attention (PPA) and Attention-aware Feature Composition (AFC). PPA is learned and applied to mask out undesirable background features in pedestrian feature maps. Furthermore, pose-guided visibility scores are estimated for body parts to deal with part occlusion in the proposed AFC module. Extensive experiments with ablation analysis show the effectiveness of our method, and state-of-the-art results are achieved on several public datasets, including Market-1501, CUHK03, CUHK01, SenseReID, CUHK03-NP and DukeMTMC-reID.


title: Einstein-Gauss-Bonnet Black Rings at Large $D$

abstract: We study the black ring solution in the Einstein-Gauss-Bonnet (EGB) theory at large $D$. By using the $1/D$ expansion in the near horizon region we derive the effective equations for the slowly rotating black holes in the EGB theory. The effective equations describe the non-linear dynamics of various stationary solutions, including the EGB black ring, the slowly rotating EGB black hole and the slowly boosted EGB black string. By different embeddings we construct these stationary solutions explicitly. By performing the perturbation analysis of the effective equations, we obtain the quasinormal modes of the EGB black ring. We find that thin EGB black ring becomes unstable against non-axisymmetric perturbation.Furthermore, we numerically evolve the effective equations in a particular case to study the final state of the instability, and find that the thin black ring becomes the stable non-uniformblack ring at late time, which gives a relative strong evidence to support the conjecture given in [arXiv:1510.02200].


title: Rubber Relationalism: Smallest Graph-Theoretically Nontrivial Leibniz Spaces

abstract: Kendall's Similarity Shape Theory for constellations of N points in the carrier space $\mathbb{R}^d$ as quotiented by the similarity group was developed for use in Probability and Statistics. It was subsequently shown to reside within Mechanics' Shape-and-Scale Theory, in which points are interpreted as particles, carrier space plays the role of absolute space, and the Euclidean group is quotiented out. Let us jointly refer to Shape(-and-Scale) Theory as Relational Theory, and to its reduced configuration spaces as relational spaces. We now consider a less structured version: the Topological Relational Theory of `rubber configurations'. This already encodes some features of the much more diverse Geometrical Relational Theories. In contrast with the latter's (stratified) manifold relational spaces, the former's are graphs: much simpler to treat; their edges encode topological adjacency. We concentrate on Leibniz spaces, corresponding to indistinguishable points and mirror-image identification. These are moreover the building blocks of the distinguishable and (where possible) mirror-image distinct cases' relational spaces. For connected manifold without boundary carrier spaces, there are just 3 'rubber relationalisms: $\mathbb{R}$, $\mathbb{S}^1$, and a joint one for all carrier spaces with $d \geq 2$. For $d \geq 2$, rubber configurations are in 1:1 correspondence with partitions, with $\mathbb{S}^1$ and $\mathbb{R}$ giving successive refinements. We find that generic and maximal configurations are universally present as cone points, as are binaries in the first 2 cases. Deconing leaves us with residue graphs containing the N-specific information. We provide graph-theoretical nontriviality criteria for which N = 6, 6 and 5 are minimal across these models, and stronger such for which N = 8, 8 and 6 are minimal, and outline GR topology-change analogue-model and N-body problem applications.


title: Future exchange rates and Siegel's paradox

abstract: Siegel's paradox is a fundamental question in international finance about exchange rates for futures contracts and has puzzled many scholars for over forty years. The unorthodox approach presented in this article leads to an arbitrage-free solution which is invariant under currency re-denominations and is symmetric, as explained. We will also give a complete classification of all such aggregators in the general case. The formula obtained in this setting therefore describes all the negotiated no-arbitrage forward exchange rates in terms of a reciprocity function. Keywords: Siegel's paradox, forward exchange rates, discount bias.


title: Wisdom in Sum of Parts: Multi-Platform Activity Prediction in Social Collaborative Sites

abstract: In this paper, we proposed a novel framework which uses user interests inferred from activities (a.k.a., activity interests) in multiple social collaborative platforms to predict users' platform activities. Included in the framework are two prediction approaches: (i) direct platform activity prediction, which predicts a user's activities in a platform using his or her activity interests from the same platform (e.g., predict if a user answers a given Stack Overflow question using the user's interests inferred from his or her prior answer and favorite activities in Stack Overflow), and (ii) cross-platform activity prediction, which predicts a user's activities in a platform using his or her activity interests from another platform (e.g., predict if a user answers a given Stack Overflow question using the user's interests inferred from his or her fork and watch activities in GitHub). To evaluate our proposed method, we conduct prediction experiments on two widely used social collaborative platforms in the software development community: GitHub and Stack Overflow. Our experiments show that combining both direct and cross-platform activity prediction approaches yield the best accuracies for predicting user activities in GitHub (AUC=0.75) and Stack Overflow (AUC=0.89).


title: Rigidity properties of holomorphic Legendrian singularities

abstract: We study the singularities of Legendrian subvarieties of contact manifolds in the complex-analytic category and prove two rigidity results. The first one is that Legendrian singularities with reduced tangent cones are contactomorphically biholomorphic to their tangent cones. This result is partly motivated by a problem on Fano contact manifolds. The second result is the deformation-rigidity of normal Legendrian singularities, meaning that any holomorphic family of normal Legendrian singularities is trivial, up to contactomorphic biholomorphisms of germs. Both results are proved by exploiting the relation between infinitesimal contactomorphisms and holomorphic sections of the natural line bundle on the contact manifold.


title: Optimally Sorting Evolving Data

abstract: We give optimal sorting algorithms in the evolving data framework, where an algorithm's input data is changing while the algorithm is executing. In this framework, instead of producing a final output, an algorithm attempts to maintain an output close to the correct output for the current state of the data, repeatedly updating its best estimate of a correct output over time. We show that a simple repeated insertion-sort algorithm can maintain an O(n) Kendall tau distance, with high probability, between a maintained list and an underlying total order of n items in an evolving data model where each comparison is followed by a swap between a random consecutive pair of items in the underlying total order. This result is asymptotically optpimal, since there is an Omega(n) lower bound for Kendall tau distance for this problem. Our result closes the gap between this lower bound and the previous best algorithm for this problem, which maintains a Kendall tau distance of O(n log log n) with high probability. It also confirms previous experimental results that suggested that insertion sort tends to perform better than quicksort in practice.


title: Symmetric Rendezvous With Advice: How to Rendezvous in a Disk

abstract: In the classic Symmetric Rendezvous problem on a Line (SRL), two robots at known distance 2 but unknown direction execute the same randomized algorithm trying to minimize the expected rendezvous time. A long standing conjecture is that the best possible rendezvous time is 4.25 with known upper and lower bounds being very close to that value. We introduce and study a geometric variation of SRL that we call Symmetric Rendezvous in a Disk (SRD) where two robots at distance 2 have a common reference point at distance $\rho$. We show that even when $\rho$ is not too small, the two robots can meet in expected time that is less than $4.25$. Part of our contribution is that we demonstrate how to adjust known, even simple and provably non-optimal, algorithms for SRL, effectively improving their performance in the presence of a reference point. Special to our algorithms for SRD is that, unlike in SRL, for every fixed $\rho$ the worst case distance traveled, i.e. energy that is used, in our algorithms is finite. In particular, we show that the energy of our algorithms is $O\left(\rho^2\right)$, while we also explore time-energy tradeoffs, concluding that one may be efficient both with respect to time and energy, with only a minor compromise on the optimal termination time.


title: Learning Heterogeneous Knowledge Base Embeddings for Explainable Recommendation

abstract: Providing model-generated explanations in recommender systems is important to user experience. State-of-the-art recommendation algorithms - especially collaborative filtering (CF)-based approaches with shallow or deep models - usually work with various unstructured information sources for recommendation, such as textual reviews, visual images, and various implicit or explicit feedbacks. Though structured knowledge bases were considered in content-based approaches, they have been largely ignored recently due to the research focus on CF approaches. However, structured knowledge exhibit unique advantages in personalized recommendation systems. When the explicit knowledge about users and items is considered for recommendation, the system could provide highly customized recommendations based on users' historical behaviors and the knowledge is helpful for providing informed explanations regarding the recommended items. A great challenge for using knowledge bases for recommendation is how to integrate large-scale structured data, while taking advantage of collaborative filtering for highly accurate performance. Recent achievements in knowledge-base embedding (KBE) sheds light on this problem, which makes it possible to learn user and item representations while preserving the structure of their relationship with external knowledge for explanation. In this work, we propose to explain knowledge-base embeddings for explainable recommendation. Specifically, we propose a knowledge-base representation learning framework to embed heterogeneous entities for recommendation, and based on the embedded knowledge base, a soft matching algorithm is proposed to generate personalized explanations for the recommended items. Experimental results on real-world e-commerce datasets verified the superior recommendation performance and the explainability power of our approach compared with state-of-the-art baselines.


title: Nonparametric Estimation of Conditional Expectation with Auxiliary Information and Dimension Reduction

abstract: Nonparametric estimation of the conditional expectation $E(Y | U)$ of an outcome $Y$ given a covariate vector $U$ is of primary importance in many statistical applications such as prediction and personalized medicine. In some problems, there is an additional auxiliary variable $Z$ in the training dataset used to construct estimators, but $Z$ is not available for future prediction or selecting patient treatment in personalized medicine. For example, in the training dataset longitudinal outcomes are observed, but only the last outcome $Y$ is concerned in the future prediction or analysis. The longitudinal outcomes other than the last point is then the variable $Z$ that is observed and related with both $Y$ and $U$. Previous work on how to make use of $Z$ in the estimation of $E(Y|U)$ mainly focused on using $Z$ in the construction of a linear function of $U$ to reduce covariate dimension for better estimation. Using $E(Y|U) = E\{E(Y|U, Z)| U\}$, we propose a two-step estimation of inner and outer expectations, respectively, with sufficient dimension reduction for kernel estimation in both steps. The information from $Z$ is utilized not only in dimension reduction, but also directly in the estimation. Because of the existence of different ways for dimension reduction, we construct two estimators that may improve the estimator without using $Z$. The improvements are shown in the convergence rate of estimators as the sample size increases to infinity as well as in the finite sample simulation performance. A real data analysis about the selection of mammography intervention is presented for illustration.


title: Immersive Virtual Reality Experiences for All-Sky Data

abstract: Spherical coordinate systems, which are ubiquitous in astronomy, cannot be shown without distortion on flat, two-dimensional surfaces. This poses challenges for the two complementary phases of visual exploration -- making discoveries in data by looking for relationships, patterns or anomalies -- and publication -- where the results of an exploration are made available for scientific scrutiny or communication. This is a long-standing problem, and many practical solutions have been developed. Our allskyVR approach provides a workflow for experimentation with commodity virtual reality head-mounted displays. Using the free, open source S2PLOT programming library, and the A-Frame WebVR browser-based framework, we provide a straightforward way to visualise all-sky catalogues on a user-centred, virtual celestial sphere. The allskyVR distribution contains both a quickstart option, complete with a gaze-based menu system, and a fully customisable mode for those who need more control of the immersive experience. The software is available for download from: https://github.com/cfluke/allskyVR


title: Exponential Stability Estimate of Symplectic Integrators for Integrable Hamiltonian Systems

abstract: We prove a Nekhoroshev-type theorem for nearly integrable symplectic map. As an application of the theorem, we obtain the exponential stability symplectic algorithms. Meanwhile, we can get the bounds for the perturbation, the variation of the action variables, and the exponential time respectively. These results provide a new insight into the nonlinear stability analysis of symplectic algorithms. Combined with our previous results on the numerical KAM theorem for symplectic algorithms (2018), we give a more complete characterization on the complex nonlinear dynamical behavior of symplectic algorithms.


title: SPG-Net: Segmentation Prediction and Guidance Network for Image Inpainting

abstract: In this paper, we focus on image inpainting task, aiming at recovering the missing area of an incomplete image given the context information. Recent development in deep generative models enables an efficient end-to-end framework for image synthesis and inpainting tasks, but existing methods based on generative models don't exploit the segmentation information to constrain the object shapes, which usually lead to blurry results on the boundary. To tackle this problem, we propose to introduce the semantic segmentation information, which disentangles the inter-class difference and intra-class variation for image inpainting. This leads to much clearer recovered boundary between semantically different regions and better texture within semantically consistent segments. Our model factorizes the image inpainting process into segmentation prediction (SP-Net) and segmentation guidance (SG-Net) as two steps, which predict the segmentation labels in the missing area first, and then generate segmentation guided inpainting results. Experiments on multiple public datasets show that our approach outperforms existing methods in optimizing the image inpainting quality, and the interactive segmentation guidance provides possibilities for multi-modal predictions of image inpainting.


title: Efficient Distributed Computation of MIS and Generalized MIS in Linear Hypergraphs

abstract: Given a graph, a maximal independent set (MIS) is a maximal subset of pairwise non-adjacent vertices. Finding an MIS is a fundamental problem in distributed computing. Although the problem is extensively studied and well understood in simple graphs, our knowledge is still quite limited when solving it in hypergraphs, especially in the distributed CONGEST model. In this paper, we focus on linear hypergraphs---a class of hypergraphs in which any two hyperedges overlap on at most one node. We first present a randomized algorithm for computing an MIS in linear hypergraphs. It has poly-logarithmic runtime and it works in the CONGEST model. The algorithm uses a network decomposition to achieve fast parallel processing. Within each cluster of the decomposition, we run a distributed variant of a parallel hypergraph MIS algorithm by Luczak and Szymanska. We then propose the concept of a generalized maximal independent set (GMIS) as an extension to the classical MIS in hypergraphs. More specifically, in a GMIS, for each hyperedge $e$ in a hypergraph $\mathcal{H}$, we associate an integer threshold $t_e$ in the range $[1, |e|-1]$, and the goal is to find a maximal subset $\mathcal{I}$ of vertices that do not violate any threshold constraints: $\forall e \in E(\mathcal{H}), |e \cap \mathcal{I}| \leq t_e$. We hope that GMIS might capture a broader class of real-world problems than MIS; we also believe that GMIS is an interesting and challenging symmetry breaking problem on its own. Our second upper bound result is a distributed algorithm for computing a GMIS in linear hypergraphs, subject to the constraint that the maximum hyperedge size is bounded by some constant. Again, the algorithm has poly-logarithmic runtime and it works in the CONGEST model. It is obtained by generalizing our previous (linear) hypergraph MIS algorithm.


title: A Collision-Free Path Planning Algorithm for Unmanned Aerial Vehicle Delivery

abstract: Path planning is important for the autonomy of Unmanned Aerial Vehicle (UAV), especially for scheduling UAV delivery. However, the operating environment of UAVs is usually uncertain and dynamic. Without proper planning, collisions may happen where multiple UAVs are congested. Besides, there may also be temporary no-fly zone setup by authorities that makes airspace unusable. Thus, proper pre-departure planning that avoids such places is needed. In this paper, we formulate this problem into a Constraint Satisfaction Problem to find a collision-free shortest path on a dynamic graph. We propose a collision-free path planning algorithm that is based on A* algorithm. The main novelty is that we invent a heuristic function that also considers waiting time. We later show that, with added waiting penalty, the proposed algorithm is optimal because the heuristic is admissible. Implementation of this algorithm simulates UAV delivery using Singapore's airspace structure. Our simulation exhibits desirable runtime performance. Using the proposed algorithm, the percentage of collision-free routes decreases as number of requests per unit area increases, and this percentage drops significantly at boundary value. Our empirical analysis could aid the decision-making of no-fly zone policy and infrastructure of UAV delivery.


title: Reward Estimation for Variance Reduction in Deep Reinforcement Learning

abstract: Reinforcement Learning (RL) agents require the specification of a reward signal for learning behaviours. However, introduction of corrupt or stochastic rewards can yield high variance in learning. Such corruption may be a direct result of goal misspecification, randomness in the reward signal, or correlation of the reward with external factors that are not known to the agent. Corruption or stochasticity of the reward signal can be especially problematic in robotics, where goal specification can be particularly difficult for complex tasks. While many variance reduction techniques have been studied to improve the robustness of the RL process, handling such stochastic or corrupted reward structures remains difficult. As an alternative for handling this scenario in model-free RL methods, we suggest using an estimator for both rewards and value functions. We demonstrate that this improves performance under corrupted stochastic rewards in both the tabular and non-linear function approximation settings for a variety of noise types and environments. The use of reward estimation is a robust and easy-to-implement improvement for handling corrupted reward signals in model-free RL.


title: Crossover of skyrmion and helical modulations in noncentrosymmetric ferromagnets

abstract: The coupling between angular (twisting) and longitudinal modulations arising near the ordering temperature of noncentrosymmetric ferromagnets strongly influences the structure of skyrmion states and their evolution in an applied magnetic field. In the precursor states of cubic helimagnets, a continuous transformation of skyrmion lattices into the saturated state is replaced by the first-order processes accompanied by the formation of multidomain states. Recently the effects imposed by dominant longitudinal modulations have been reported in bulk MnSi and FeGe. Similar phenomena can be observed in the precursor regions of cubic helimagnet epilayers and in easy-plane chiral ferromagnets (e.g. in the hexagonal helimagnet CrNb3S6).


title: Chabauty-Coleman experiments for genus 3 hyperelliptic curves

abstract: We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to compute the zero locus of two Coleman integrals and analyze the finite set of points cut out by the vanishing of these integrals. We run the algorithm on approximately 17,000 curves from a forthcoming database of genus 3 hyperelliptic curves and discuss some interesting examples where the zero set includes global points not found in $C(\mathbb{Q})$.


title: Attractor Reconstruction by Machine Learning

abstract: A machine-learning approach called "reservoir computing" has been used successfully for short-term prediction and attractor reconstruction of chaotic dynamical systems from time series data. We present a theoretical framework that describes conditions under which reservoir computing can create an empirical model capable of skillful short-term forecasts and accurate long-term ergodic behavior. We illustrate this theory through numerical experiments. We also argue that the theory applies to certain other machine learning methods for time series prediction.


title: Anchor Cascade for Efficient Face Detection

abstract: Face detection is essential to facial analysis tasks such as facial reenactment and face recognition. Both cascade face detectors and anchor-based face detectors have translated shining demos into practice and received intensive attention from the community. However, cascade face detectors often suffer from a low detection accuracy, while anchor-based face detectors rely heavily on very large networks pre-trained on large scale image classification datasets such as ImageNet [1], which is not computationally efficient for both training and deployment. In this paper, we devise an efficient anchor-based cascade framework called anchor cascade. To improve the detection accuracy by exploring contextual information, we further propose a context pyramid maxout mechanism for anchor cascade. As a result, anchor cascade can train very efficient face detection models with a high detection accuracy. Specifically, comparing with a popular CNN-based cascade face detector MTCNN [2], our anchor cascade face detector greatly improves the detection accuracy, e.g., from 0.9435 to 0.9704 at 1k false positives on FDDB, while it still runs in comparable speed. Experimental results on two widely used face detection benchmarks, FDDB and WIDER FACE, demonstrate the effectiveness of the proposed framework.


title: A Symbolic Approach to Explaining Bayesian Network Classifiers

abstract: We propose an approach for explaining Bayesian network classifiers, which is based on compiling such classifiers into decision functions that have a tractable and symbolic form. We introduce two types of explanations for why a classifier may have classified an instance positively or negatively and suggest algorithms for computing these explanations. The first type of explanation identifies a minimal set of the currently active features that is responsible for the current classification, while the second type of explanation identifies a minimal set of features whose current state (active or not) is sufficient for the classification. We consider in particular the compilation of Naive and Latent-Tree Bayesian network classifiers into Ordered Decision Diagrams (ODDs), providing a context for evaluating our proposal using case studies and experiments based on classifiers from the literature.


title: Combinatorics of certain abelian Lie group arrangements and chromatic quasi-polynomials

abstract: The purpose of this paper is twofold. Firstly, we generalize the notion of characteristic polynomials of hyperplane and toric arrangements to those of certain abelian Lie group arrangements. Secondly, we give two interpretations for the chromatic quasi-polynomials and their constituents through subspace and toric viewpoints.


title: LearningWord Embeddings for Low-resource Languages by PU Learning

abstract: Word embedding is a key component in many downstream applications in processing natural languages. Existing approaches often assume the existence of a large collection of text for learning effective word embedding. However, such a corpus may not be available for some low-resource languages. In this paper, we study how to effectively learn a word embedding model on a corpus with only a few million tokens. In such a situation, the co-occurrence matrix is sparse as the co-occurrences of many word pairs are unobserved. In contrast to existing approaches often only sample a few unobserved word pairs as negative samples, we argue that the zero entries in the co-occurrence matrix also provide valuable information. We then design a Positive-Unlabeled Learning (PU-Learning) approach to factorize the co-occurrence matrix and validate the proposed approaches in four different languages.


title: Dispersion Bound for the Wyner-Ahlswede-K\"orner Network via Reverse Hypercontractivity on Types

abstract: This paper introduces a new converse machinery for a challenging class of distributed source-type problems (e.g.\ distributed source coding, common randomness generation, or hypothesis testing with communication constraints), through the example of the Wyner-Ahlswede-K\"orner network. Using the functional-entropic duality and the reverse hypercontractivity of the transposition semigroup, we lower bound the error probability for each joint type. Then by averaging the error probability over types, we lower bound the $c$-dispersion (which characterizes the second-order behavior of the weighted sum of the rates of the two compressors when a nonvanishing error probability is small) as the variance of the gradient of $\inf_{P_{U|X}}\{cH(Y|U)+I(U;X)\}$ with respect to $Q_{XY}$, the per-letter side information and source distribution. In comparison, using standard achievability arguments based on the method of types, we upper-bound the $c$-dispersion as the variance of $c\imath_{Y|U}(Y|U)+\imath_{U;X}(U;X)$, which improves the existing upper bounds but has a gap to the aforementioned lower bound.


title: DeepWalking: Enabling Smartphone-based Walking Speed Estimation Using Deep Learning

abstract: Walking speed estimation is an essential component of mobile apps in various fields such as fitness, transportation, navigation, and health-care. Most existing solutions are focused on specialized medical applications that utilize body-worn motion sensors. These approaches do not serve effectively the general use case of numerous apps where the user holding a smartphone tries to find his or her walking speed solely based on smartphone sensors. However, existing smartphone-based approaches fail to provide acceptable precision for walking speed estimation. This leads to a question: is it possible to achieve comparable speed estimation accuracy using a smartphone over wearable sensor based obtrusive solutions? We find the answer from advanced neural networks. In this paper, we present DeepWalking, the first deep learning-based walking speed estimation scheme for smartphone. A deep convolutional neural network (DCNN) is applied to automatically identify and extract the most effective features from the accelerometer and gyroscope data of smartphone and to train the network model for accurate speed estimation. Experiments are performed with 10 participants using a treadmill. The average root-mean-squared-error (RMSE) of estimated walking speed is 0.16m/s which is comparable to the results obtained by state-of-the-art approaches based on a number of body-worn sensors (i.e., RMSE of 0.11m/s). The results indicate that a smartphone can be a strong tool for walking speed estimation if the sensor data are effectively calibrated and supported by advanced deep learning techniques.


title: Understanding the HMI pseudocontinuum in white-light solar flares

abstract: We analyse observations of the X9.3 solar flare (SOL2017-09-06T11:53) observed by SDO/HMI and Hinode/SOT. Our aim is to learn about the nature of the HMI pseudocontinuum Ic used as a proxy for the white-light continuum. From model atmospheres retrieved by an inversion code applied to the Stokes profiles observed by the Hinode satellite we synthesise profiles of the FeI 617.3 nm line and compare them to HMI observations. Based on a pixel-by-pixel comparison we show that the value of Ic represents the continuum level well in quiet-Sun regions only. In magnetised regions it suffers from a simplistic algorithm that is applied to a complex line shape. During this flare both instruments also registered emission profiles in the flare ribbons. Such emission profiles are poorly represented by the six spectral points of HMI, the used algorithm does not account for emission profiles in general, and thus the derived pseudocontinuum intensity does not approximate the continuum value properly.


title: Exploring Kepler Giant Planets in the Habitable Zone

abstract: The Kepler mission found hundreds of planet candidates within the habitable zones (HZ) of their host star, including over 70 candidates with radii larger than 3 Earth radii ($R_\oplus$) within the optimistic habitable zone (OHZ) (Kane et al. 2016). These giant planets are potential hosts to large terrestrial satellites (or exomoons) which would also exist in the HZ. We calculate the occurrence rates of giant planets ($R_p =$~3.0--25~$R_\oplus$) in the OHZ and find a frequency of $(6.5 \pm 1.9)\%$ for G stars, $(11.5 \pm 3.1)\%$ for K stars, and $(6 \pm 6)\%$ for M stars. We compare this with previously estimated occurrence rates of terrestrial planets in the HZ of G, K and M stars and find that if each giant planet has one large terrestrial moon then these moons are less likely to exist in the HZ than terrestrial planets. However, if each giant planet holds more than one moon, then the occurrence rates of moons in the HZ would be comparable to that of terrestrial planets, and could potentially exceed them. We estimate the mass of each planet candidate using the mass-radius relationship developed by Chen & Kipping (2016). We calculate the Hill radius of each planet to determine the area of influence of the planet in which any attached moon may reside, then calculate the estimated angular separation of the moon and planet for future imaging missions. Finally, we estimate the radial velocity semi-amplitudes of each planet for use in follow up observations.


title: PSGAN: A Generative Adversarial Network for Remote Sensing Image Pan-Sharpening

abstract: This paper addresses the problem of remote sensing image pan-sharpening from the perspective of generative adversarial learning. We propose a novel deep neural network based method named PSGAN. To the best of our knowledge, this is one of the first attempts at producing high-quality pan-sharpened images with GANs. The PSGAN consists of two components: a generative network (i.e., generator) and a discriminative network (i.e., discriminator). The generator is designed to accept panchromatic (PAN) and multispectral (MS) images as inputs and maps them to the desired high-resolution (HR) MS images and the discriminator implements the adversarial training strategy for generating higher fidelity pan-sharpened images. In this paper, we evaluate several architectures and designs, namely two-stream input, stacking input, batch normalization layer, and attention mechanism to find the optimal solution for pan-sharpening. Extensive experiments on QuickBird, GaoFen-2, and WorldView-2 satellite images demonstrate that the proposed PSGANs not only are effective in generating high-quality HR MS images and superior to state-of-the-art methods and also generalize well to full-scale images.


title: Leaked GeV CRs from a broken shell: Explaining 9 years Fermi-LAT data of SNR W28

abstract: Supernova remnant (SNR)\,W28 is well known for its classic hadronic scenario, in which the TeV cosmic rays (CRs) released at the early stage of this mid-aged SNR are illuminating nearby molecular clouds (MCs). Overwhelming evidences have shown that the northeast of the SNR (W28-North) has already encountered with the MC clumps. Through this broken shell -- W28-North, we believe the CRs with energy down to $<$1\,GeV to be able to be injected into nearby MCs. To further testify this hadronic scenario, we first analyse the 9 years Fermi-LAT data in/around W28 with energy down to 0.3\,GeV. Our Fermi-LAT analysis display a 10-200 GeV skymap which spatially matches well with the known TeV sources -- HESS\,J1801-233 (W28-North), HESS\,J1800-240\,A,\,B\,\&\,C (240\,A\,B\,\&\,C). At low energy band, we has discovered a 0.5-1\,GeV blob located to the south of 240\,B\,\&\,C, and a low flux of 0.3-1\,GeV at 240\,A. A hadronic model is build to explain our analysis results and previous multi-wavelength observations of W28. Our model consists of three CR sources: The run-away CRs escaped from a strong shock; The leaked GeV CRs from the broken shell -- W28-North; And the local CR sea. Through modelling the SNR evolution, CR acceleration\,\&\,releasing, we have explained the GeV-TeV emission in/around SNR\,W28 (except for 240\,A) in one model. Both the damping of the magnetic waves by the neutrals and the decreased acceleration efficiency are taken into account in our model due to the mid-age of SNR W28.


title: Interpretable Sparse Proximate Factors for Large Dimensions

abstract: This paper proposes sparse and easy-to-interpret proximate factors to approximate statistical latent factors. Latent factors in a large-dimensional factor model can be estimated by principal component analysis (PCA), but are usually hard to interpret. We obtain proximate factors that are easier to interpret by shrinking the PCA factor weights and setting them to zero except for the largest absolute ones. We show that proximate factors constructed with only 5-10% of the data are usually sufficient to almost perfectly replicate the population and PCA factors without actually assuming a sparse structure in the weights or loadings. Using extreme value theory we explain why sparse proximate factors can be substitutes for non-sparse PCA factors. We derive analytical asymptotic bounds for the correlation of appropriately rotated proximate factors with the population factors. These bounds provide guidance on how to construct the proximate factors. In simulations and empirical analyses of financial portfolio and macroeconomic data we illustrate that sparse proximate factors are close substitutes for PCA factors with average correlations of around 97.5% while being interpretable.


title: A Proposal for Loop-Transformation Pragmas

abstract: Pragmas for loop transformations, such as unrolling, are implemented in most mainstream compilers. They are used by application programmers because of their ease of use compared to directly modifying the source code of the relevant loops. We propose additional pragmas for common loop transformations that go far beyond the transformations today's compilers provide and should make most source rewriting for the sake of loop optimization unnecessary. To encourage compilers to implement these pragmas, and to avoid a diversity of incompatible syntaxes, we would like to spark a discussion about an inclusion to the OpenMP standard.


title: Complexity of Proper Suffix-Convex Regular Languages

abstract: A language L is suffix-convex if for any words u, v,w, whenever w and uvw are in L, vw is in L as well. Suffix-convex languages include left ideals, suffix-closed languages, and suffix-free languages, which were studied previously. In this paper, we concentrate on suffix-convex languages that do not belong to any one of these classes; we call such languages proper. In order to study this language class, we define a structure called a suffix-convex triple system that characterizes the automata recognizing suffix-convex languages. We find tight upper bounds for reversal, star, product, and boolean operations of proper suffix-convex languages, and we conjecture on the size of the largest syntactic semigroup. We also prove that three witness streams are required to meet all these bounds.


title: The root of a comet tail - Rosetta ion observations at comet 67P/Churyumov--Gerasimenko

abstract: The first 1000 km of the ion tail of comet 67P/Churyumov-Gerasimenko were explored by the European Rosetta spacecraft, 2.7 au away from the Sun. We characterised the dynamics of both the solar wind and the cometary ions on the night-side of the comet's atmosphere. We analysed in situ ion and magnetic field measurements and compared the data to a semi-analytical model. The cometary ions are observed flowing close to radially away from the nucleus during the entire excursion. The solar wind is deflected by its interaction with the new-born cometary ions. Two concentric regions appear, an inner region dominated by the expanding cometary ions and an outer region dominated by the solar wind particles. The single night-side excursion operated by Rosetta revealed that the near radial flow of the cometary ions can be explained by the combined action of three different electric field components, resulting from the ion motion, the electron pressure gradients, and the magnetic field draping. The observed solar wind deflection is governed mostly by the motional electric field.


title: Single photons from a gain medium below threshold

abstract: The emission from a nonlinear photonic mode coupled weakly to a gain medium operating below threshold is predicted to exhibit antibunching. In the steady state regime, analytical solutions for the relevant observable quantities are found in accurate agreement with exact numerical results. Under pulsed excitation, the unequal time second order correlation function demonstrates the triggered probabilistic generation of single photons well separated in time.


title: The Effects of Magnetic Field Strength on Properties of Wind Generated from Hot Accretion Flow

abstract: Observations indicate that wind can be generated in hot accretion flow. By performing numerical simulations, Yuan et al. studied the detailed properties of wind generated from weakly magnetized accretion flow. However, properties of wind generated from strongly magnetized hot accretion flow have not been studied. In this paper, we study the properties of wind generated from both weakly and strongly magnetized accretion flow. We focus on how the magnetic field strength affects the wind properties. We solve time-steady two-dimensional magnetohydrodynamic (MHD) equations of black hole accretion in the presence of large-scale magnetic field. We assume self-similarity in radial direction. The magnetic field is assumed to be evenly symmetric with the equatorial plane. We find that wind exists in both weakly and strongly magnetized accretion flow. When magnetic field is weak (magnetic pressure is more than 2 orders of magnitude smaller than gas pressure), wind is driven by gas pressure gradient and centrifugal forces. When magnetic field is strong (magnetic pressure is slightly smaller than gas pressure), wind is driven by gas pressure gradient and magnetic pressure gradient forces. The power of wind in strongly magnetized case is just slightly larger than that in weakly magnetized case. The power of wind lies in a range $ P_W \sim 10^{-4}-10^{-3} \dot M_{\rm in} c^2 $, with $ \dot M_{\rm in} $ and $ c $ being mass inflow rate and speed of light, respectively. The possible role of wind in active galactic nuclei feedback is briefly discussed.


title: Opinion Fraud Detection via Neural Autoencoder Decision Forest

abstract: Online reviews play an important role in influencing buyers' daily purchase decisions. However, fake and meaningless reviews, which cannot reflect users' genuine purchase experience and opinions, widely exist on the Web and pose great challenges for users to make right choices. Therefore,it is desirable to build a fair model that evaluates the quality of products by distinguishing spamming reviews. We present an end-to-end trainable unified model to leverage the appealing properties from Autoencoder and random forest. A stochastic decision tree model is implemented to guide the global parameter learning process. Extensive experiments were conducted on a large Amazon review dataset. The proposed model consistently outperforms a series of compared methods.


title: A User-Friendly Hybrid Sparse Matrix Class in C++

abstract: When implementing functionality which requires sparse matrices, there are numerous storage formats to choose from, each with advantages and disadvantages. To achieve good performance, several formats may need to be used in one program, requiring explicit selection and conversion between the formats. This can be both tedious and error-prone, especially for non-expert users. Motivated by this issue, we present a user-friendly sparse matrix class for the C++ language, with a high-level application programming interface deliberately similar to the widely used MATLAB language. The class internally uses two main approaches to achieve efficient execution: (i) a hybrid storage framework, which automatically and seamlessly switches between three underlying storage formats (compressed sparse column, coordinate list, Red-Black tree) depending on which format is best suited for specific operations, and (ii) template-based meta-programming to automatically detect and optimise execution of common expression patterns. To facilitate relatively quick conversion of research code into production environments, the class and its associated functions provide a suite of essential sparse linear algebra functionality (eg., arithmetic operations, submatrix manipulation) as well as high-level functions for sparse eigendecompositions and linear equation solvers. The latter are achieved by providing easy-to-use abstractions of the low-level ARPACK and SuperLU libraries. The source code is open and provided under the permissive Apache 2.0 license, allowing unencumbered use in commercial products.


title: Study of fast neutron detector for COSINE-100 experiment

abstract: A monitoring system for fast neutrons is planned in the COSINE experiment, a dark matter experiment with NaI crystals. We pursued several R&D approaches for a neutron detector using a liquid scintillator (LS). A pulse shape discrimination (PSD) technique is used for the identification of neutron events and the PSD properties of two different LS were compared. A good separation power between neutrons and $\gamma$ has been achieved for energies between 200 keVee to 1500 keVee. The combination of alumina adsorption, filtration, and water extraction is effective in purifying the LS, which leads to a reduction in the $\alpha$ contamination by $^{210}$Po of more than a factor of two. The measured activities of the internal $\alpha$ are 0.36$\pm$0.04~mBq/kg and 0.21$\pm$0.03~mBq/kg before and after purification, respectively.


title: Automated Mechanism Design via Neural Networks

abstract: Using AI approaches to automatically design mechanisms has been a central research mission at the interface of AI and economics [Conitzer and Sandholm, 2002]. Previous approaches that attempt to design revenue optimal auctions for the multi-dimensional settings fall short in at least one of the three aspects: 1) representation -- search in a space that probably does not even contain the optimal mechanism; 2) exactness -- finding a mechanism that is either not truthful or far from optimal; 3) domain dependence -- need a different design for different environment settings. To resolve the three difficulties, in this paper, we put forward -- MenuNet -- a unified neural network based framework that automatically learns to design revenue optimal mechanisms. Our framework consists of a mechanism network that takes an input distribution for training and outputs a mechanism, as well as a buyer network that takes a mechanism as input and output an action. Such a separation in design mitigates the difficulty to impose incentive compatibility constraints on the mechanism, by making it a rational choice of the buyer. As a result, our framework easily overcomes the previously mentioned difficulty in incorporating IC constraints and always returns exactly incentive compatible mechanisms. We then apply our framework to a number of multi-item revenue optimal design settings, for a few of which the theoretically optimal mechanisms are unknown. We then go on to theoretically prove that the mechanisms found by our framework are indeed optimal. To the best of our knowledge, we are the first to apply neural networks to discover optimal auction mechanisms with provable optimality.


title: New Techniques for Preserving Global Structure and Denoising with Low Information Loss in Single-Image Super-Resolution

abstract: This work identifies and addresses two important technical challenges in single-image super-resolution: (1) how to upsample an image without magnifying noise and (2) how to preserve large scale structure when upsampling. We summarize the techniques we developed for our second place entry in Track 1 (Bicubic Downsampling), seventh place entry in Track 2 (Realistic Adverse Conditions), and seventh place entry in Track 3 (Realistic difficult) in the 2018 NTIRE Super-Resolution Challenge. Furthermore, we present new neural network architectures that specifically address the two challenges listed above: denoising and preservation of large-scale structure.


title: Edit Probability for Scene Text Recognition

abstract: We consider the scene text recognition problem under the attention-based encoder-decoder framework, which is the state of the art. The existing methods usually employ a frame-wise maximal likelihood loss to optimize the models. When we train the model, the misalignment between the ground truth strings and the attention's output sequences of probability distribution, which is caused by missing or superfluous characters, will confuse and mislead the training process, and consequently make the training costly and degrade the recognition accuracy. To handle this problem, we propose a novel method called edit probability (EP) for scene text recognition. EP tries to effectively estimate the probability of generating a string from the output sequence of probability distribution conditioned on the input image, while considering the possible occurrences of missing/superfluous characters. The advantage lies in that the training process can focus on the missing, superfluous and unrecognized characters, and thus the impact of the misalignment problem can be alleviated or even overcome. We conduct extensive experiments on standard benchmarks, including the IIIT-5K, Street View Text and ICDAR datasets. Experimental results show that the EP can substantially boost scene text recognition performance.


title: Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups

abstract: In this paper we consider what can be computed by a user interacting with a potentially malicious server, when the server performs polynomial-time quantum computation but the user can only perform polynomial-time classical (i.e., non-quantum) computation. Understanding the computational power of this model, which corresponds to polynomial-time quantum computation that can be efficiently verified classically, is a well-known open problem in quantum computing. Our result shows that computing the order of a solvable group, which is one of the most general problems for which quantum computing exhibits an exponential speed-up with respect to classical computing, can be realized in this model.