title: A block-random algorithm for learning on distributed, heterogeneous data

abstract: Most deep learning models are based on deep neural networks with multiple layers between input and output. The parameters defining these layers are initialized using random values and are "learned" from data, typically using stochastic gradient descent based algorithms. These algorithms rely on data being randomly shuffled before optimization. The randomization of the data prior to processing in batches that is formally required for stochastic gradient descent algorithm to effectively derive a useful deep learning model is expected to be prohibitively expensive for in situ model training because of the resulting data communications across the processor nodes. We show that the stochastic gradient descent (SGD) algorithm can still make useful progress if the batches are defined on a per-processor basis and processed in random order even though (i) the batches are constructed from data samples from a single class or specific flow region, and (ii) the overall data samples are heterogeneous. We present block-random gradient descent, a new algorithm that works on distributed, heterogeneous data without having to pre-shuffle. This algorithm enables in situ learning for exascale simulations. The performance of this algorithm is demonstrated on a set of benchmark classification models and the construction of a subgrid scale large eddy simulations (LES) model for turbulent channel flow using a data model similar to that which will be encountered in exascale simulation.


title: Optimal Algorithms for Ski Rental with Soft Machine-Learned Predictions

abstract: We consider a variant of the classic Ski Rental online algorithm with applications to machine learning. In our variant, we allow the skier access to a black-box machine-learning algorithm that provides an estimate of the probability that there will be at most a threshold number of ski-days. We derive a class of optimal randomized algorithms to determine the strategy that minimizes the worst-case expected competitive ratio for the skier given a prediction from the machine learning algorithm,and analyze the performance and robustness of these algorithms.


title: A robust approach for principal component analyisis

abstract: In this paper we analyze different ways of performing principal component analysis throughout three different approaches: robust covariance and correlation matrix estimation, projection pursuit approach and non-parametric maximum entropy algorithm. The objective of these approaches is the correction of the well known sensitivity to outliers of the classical method for principal component analysis. Due to their robustness, they perform very well in contaminated data, while the classical approach fails to preserve the characteristics of the core information.


title: On Cucker-Smale dynamical systems with degenerate communication

abstract: This note introduces a new method for establishing alignment in systems of collective behavior with degenerate communication protocol. The communication protocol consists of a kernel defining interaction between pairs of agents. Degeneracy presumes that the kernel vanishes in a region, which creates a zone of indifference. A motivating example is the case of a local kernel. Lapses in communication create a lack of coercivity in the energy estimates. Our approach is the construction of a corrector functional that compensates for this lack of coercivity. We obtain a series of new results: unconditional alignment for systems on $\mathbb{R}^d$ with degeneracy at close range and fat tail in the long range, and for systems on the circle with purely local kernels. The results are proved in the context of both the agent based model and its hydrodynamic counterpart (Euler alignment model). The method covers bounded and singular communication kernels.


title: Deep Learning How to Fit an Intravoxel Incoherent Motion Model to Diffusion-Weighted MRI

abstract: Purpose: This prospective clinical study assesses the feasibility of training a deep neural network (DNN) for intravoxel incoherent motion (IVIM) model fitting to diffusion-weighted magnetic resonance imaging (DW-MRI) data and evaluates its performance. Methods: In May 2011, ten male volunteers (age range: 29 to 53 years, mean: 37 years) underwent DW-MRI of the upper abdomen on 1.5T and 3.0T magnetic resonance scanners. Regions of interest in the left and right liver lobe, pancreas, spleen, renal cortex, and renal medulla were delineated independently by two readers. DNNs were trained for IVIM model fitting using these data; results were compared to least-squares and Bayesian approaches to IVIM fitting. Intraclass Correlation Coefficients (ICC) were used to assess consistency of measurements between readers. Intersubject variability was evaluated using Coefficients of Variation (CV). The fitting error was calculated based on simulated data and the average fitting time of each method was recorded. Results: DNNs were trained successfully for IVIM parameter estimation. This approach was associated with high consistency between the two readers (ICCs between 50 and 97%), low intersubject variability of estimated parameter values (CVs between 9.2 and 28.4), and the lowest error when compared with least-squares and Bayesian approaches. Fitting by DNNs was several orders of magnitude quicker than the other methods but the networks may need to be re-trained for different acquisition protocols or imaged anatomical regions. Conclusion: DNNs are recommended for accurate and robust IVIM model fitting to DW-MRI data. Suitable software is available at (1).


title: Detection of Rotational Acceleration of Bennu using HST Lightcurve Observations

abstract: We observed the near-Earth asteroid (101955) Bennu from the ground in 1999 and 2005, and with the Hubble Space Telescope in 2012, to constrain its rotation rate. The data reveal an acceleration of $2.64 \pm 1.05 \times 10^{-6} \mathrm{deg\ day}^{-2}$, which could be due to a change in the moment of inertia of Bennu or to spin up from the YORP effect or other source of angular momentum. The best solution is within 1 sigma of the period determined by Nolan et al. (2013). The OSIRIS-REx mission will determine the rotation state independently in 2019. Those measurements should show whether the change in rotation rate is a steady increase (due, for example, to the YORP effect) or some other phenomenon. The precise shape and surface properties measured by the OSIRIS-REx science team will allow for a better understanding of variations in rotation rate of small asteroids.


title: Stokes waves with constant vorticity: II. folds, gaps and fluid bubbles

abstract: The Stokes wave problem in a constant vorticity flow is formulated, by virtue of conformal mapping techniques, as a nonlinear pseudodifferential equation, involving the periodic Hilbert transform, which becomes the Babenko equation in the irrotational flow setting. The associated linearized operator is self-adjoint, whereby the modified Babenko equation is efficiently solved by means of the Newton-Conjugate Gradient method. For strong positive vorticity, a `fold' appears in the wave speed versus amplitude plane, and a `gap' as the vorticity strength increases, bounded by two touching waves, whose profile contacts with itself at the trough line, enclosing a bubble of air. More folds and gaps follow for stronger vorticity. Touching waves at the beginnings of the lowest gaps tend to the limiting Crapper wave as the vorticity strength increases indefinitely, while the profile encloses a circular bubble of fluid in rigid body rotation at the ends of the gaps. Touching waves at the beginnings of the second gaps tend to the circular vortex wave on top of the limiting Crapper wave in the infinite vorticity limit, and the circular vortex wave on top of itself at the ends of the gaps. Touching waves for higher gaps accommodate more circular bubbles of fluid.


title: Doping-type-dependent pairing symmetry in predicted Ni-based high-$T_c$ superconductor La$_2$Ni$_2$Se$_2$O$_3$

abstract: We study the electronic instabilities of newly predicted Ni-based high-$T_c$ superconducting material La$_2$Ni$_2$Se$_2$O$_3$ based on the random phase approximation. Our calculations on the susceptibility indicate that the collinear antiferromagnetic state in the parental compound is induced by the perfect Fermi surface nesting. Our further calculations reveal that the ground states of the doped compound are the $s_{\pm}$- and $d_{xy}$-wave superconducting states driven by the antiferromagnetic spin fluctuations enhanced by the quasi-nestings. Interestingly, the $s$- and $d$-wave pairings occur in the hole and electron doping cases, respectively. This doping-type dependence of the pairing symmetry can be understood from the doping dependence of the nested Fermi pockets.


title: Ranking in Genealogy: Search Results Fusion at Ancestry

abstract: Genealogy research is the study of family history using available resources such as historical records. Ancestry provides its customers with one of the world's largest online genealogical index with billions of records from a wide range of sources, including vital records such as birth and death certificates, census records, court and probate records among many others. Search at Ancestry aims to return relevant records from various record types, allowing our subscribers to build their family trees, research their family history, and make meaningful discoveries about their ancestors from diverse perspectives. In a modern search engine designed for genealogical study, the appropriate ranking of search results to provide highly relevant information represents a daunting challenge. In particular, the disparity in historical records makes it inherently difficult to score records in an equitable fashion. Herein, we provide an overview of our solutions to overcome such record disparity problems in the Ancestry search engine. Specifically, we introduce customized coordinate ascent (customized CA) to speed up ranking within a specific record type. We then propose stochastic search (SS) that linearly combines ranked results federated across contents from various record types. Furthermore, we propose a novel information retrieval metric, normalized cumulative entropy (NCE), to measure the diversity of results. We demonstrate the effectiveness of these two algorithms in terms of relevance (by NDCG) and diversity (by NCE) if applicable in the offline experiments using real customer data at Ancestry.


title: Appearance-based Gesture recognition in the compressed domain

abstract: We propose a novel appearance-based gesture recognition algorithm using compressed domain signal processing techniques. Gesture features are extracted directly from the compressed measurements, which are the block averages and the coded linear combinations of the image sensor's pixel values. We also improve both the computational efficiency and the memory requirement of the previous DTW-based K-NN gesture classifiers. Both simulation testing and hardware implementation strongly support the proposed algorithm.


title: Receiver Operating Characteristics for a Prototype Quantum Two-Mode Squeezing Radar

abstract: We have built and evaluated a prototype quantum radar, which we call a quantum two-mode squeezing radar (QTMS radar), in the laboratory. It operates solely at microwave frequencies; there is no downconversion from optical frequencies. Because the signal generation process relies on quantum mechanical principles, the system is considered to contain a quantum-enhanced radar transmitter. This transmitter generates a pair of entangled microwave signals and transmits one of them through free space, where the signal is measured using a simple and rudimentary receiver. At the heart of the transmitter is a device called a Josephson parametric amplifier (JPA), which generates a pair of entangled signals called two-mode squeezed vacuum (TMSV) at 6.1445 GHz and 7.5376 GHz. These are then sent through a chain of amplifiers. The 7.5376 GHz beam passes through 0.5 m of free space; the 6.1445 GHz signal is measured directly after amplification. The two measurement results are correlated in order to distinguish signal from noise. We compare our QTMS radar to a classical radar setup using conventional components, which we call a two-mode noise radar (TMN radar), and find that there is a significant gain when both systems broadcast signals at -82 dBm. This is shown via a comparison of receiver operator characteristic (ROC) curves. In particular, we find that the quantum radar requires 8 times fewer integrated samples compared to its classical counterpart to achieve the same performance.


title: A detailed comparative study of open source deep learning frameworks

abstract: Deep Learning (DL) is one of the hottest trends in machine learning as DL approaches produced results superior to the state-of-the-art in problematic areas such as image processing and natural language processing (NLP). To foster the growth of DL, several open source frameworks appeared providing implementations of the most common DL algorithms. These frameworks vary in the algorithms they support and in the quality of their implementations. The purpose of this work is to provide a qualitative and quantitative comparison among three of the most popular and most comprehensive DL frameworks (namely Google's TensorFlow, University of Montreal's Theano and Microsoft's CNTK). The ultimate goal of this work is to help end users make an informed decision about the best DL framework that suits their needs and resources. To ensure that our study is as comprehensive as possible, we conduct several experiments using multiple benchmark datasets from different fields (image processing, NLP, etc.) and measure the performance of the frameworks' implementations of different DL algorithms. For most of our experiments, we find out that CNTK's implementations are superior to the other ones under consideration.


title: Saec: Similarity-Aware Embedding Compression in Recommendation Systems

abstract: Production recommendation systems rely on embedding methods to represent various features. An impeding challenge in practice is that the large embedding matrix incurs substantial memory footprint in serving as the number of features grows over time. We propose a similarity-aware embedding matrix compression method called Saec to address this challenge. Saec clusters similar features within a field to reduce the embedding matrix size. Saec also adopts a fast clustering optimization based on feature frequency to drastically improve clustering time. We implement and evaluate Saec on Numerous, the production distributed machine learning system in Tencent, with 10-day worth of feature data from QQ mobile browser. Testbed experiments show that Saec reduces the number of embedding vectors by two orders of magnitude, compresses the embedding size by ~27x, and delivers the same AUC and log loss performance.


title: A composite neural network that learns from multi-fidelity data: Application to function approximation and inverse PDE problems

abstract: We propose a new composite neural network (NN) that can be trained based on multi-fidelity data. It is comprised of three NNs, with the first NN trained using the low-fidelity data and coupled to two high-fidelity NNs, one with activation functions and another one without, in order to discover and exploit nonlinear and linear correlations, respectively, between the low-fidelity and the high-fidelity data. We first demonstrate the accuracy of the new multi-fidelity NN for approximating some standard benchmark functions but also a 20-dimensional function. Subsequently, we extend the recently developed physics-informed neural networks (PINNs) to be trained with multi-fidelity data sets (MPINNs). MPINNs contain four fully-connected neural networks, where the first one approximates the low-fidelity data, while the second and third construct the correlation between the low- and high-fidelity data and produce the multi-fidelity approximation, which is then used in the last NN that encodes the partial differential equations (PDEs). Specifically, in the two high-fidelity NNs a relaxation parameter is introduced, which can be optimized to combine the linear and nonlinear sub-networks. By optimizing this parameter, the present model is capable of learning both the linear and complex nonlinear correlations between the low- and high-fidelity data adaptively. By training the MPINNs, we can:(1) obtain the correlation between the low- and high-fidelity data, (2) infer the quantities of interest based on a few scattered data, and (3) identify the unknown parameters in the PDEs. In particular, we employ the MPINNs to learn the hydraulic conductivity field for unsaturated flows as well as the reactive models for reactive transport. The results demonstrate that MPINNs can achieve relatively high accuracy based on a very small set of high-fidelity data.


title: Effect of atomic ordering on the magnetic anisotropy of single crystal Ni80Fe20

abstract: We investigate the effect of atomic ordering on the magnetic anisotropy of Ni80Fe20 at.% (Py). To this end, Py films were grown epitaxially on MgO (001) using dc magnetron sputtering (dcMS) and high power impulse magnetron sputtering (HiPIMS). Aside from twin boundaries observed in the latter case, both methods present high quality single crystals with cube-on-cube epitaxial relationship as verified by the polar mapping of important crystal planes. However, X-ray diffraction results indicate higher order for the dcMS deposited film towards L12 Ni3Fe superlattice. This difference can be understood by the very high deposition rate of HiPIMS during each pulse which suppresses adatom mobility and ordering. We show that the dcMS deposited film presents biaxial anisotropy while HiPIMS deposition gives well defined uniaxial anisotropy. Thus, higher order achieved in the dcMS deposition behaves as predicted by magnetocrystalline anisotropy i.e. easy axis along the [111] direction that forced in the plane along the [110] direction due to shape anisotropy. The uniaxial behaviour in HiPIMS deposited film then can be explained by pair ordering or more recent localized composition non-uniformity theories. Further, we studied magnetoresistance of the films along the [100] directions using an extended van der Pauw method. We find that the electrical resistivities of the dcMS deposited film are lower than in their HiPIMS counterparts verifying the higher order in the dcMS case.


title: An efficient numerical model for liquid water uptake in porous material and its parameter estimation

abstract: The goal of this study is to propose an efficient numerical model for the predictions of capillary adsorption phenomena in a porous material. The Scharfetter-Gummel numerical scheme is proposed to solve an advection-diffusion equation with gravity flux. Its advantages such as accuracy, relaxed stability condition, and reduced computational cost are discussed along with the study of linear and nonlinear cases. The reliability of the numerical model is evaluated by comparing the numerical predictions with experimental observations of liquid uptake in bricks. A parameter estimation problem is solved to adjust the uncertain coefficients of moisture diffusivity and hydraulic conductivity.


title: GAN Based Image Deblurring Using Dark Channel Prior

abstract: A conditional general adversarial network (GAN) is proposed for image deblurring problem. It is tailored for image deblurring instead of just applying GAN on the deblurring problem. Motivated by that, dark channel prior is carefully picked to be incorporated into the loss function for network training. To make it more compatible with neuron networks, its original indifferentiable form is discarded and L2 norm is adopted instead. On both synthetic datasets and noisy natural images, the proposed network shows improved deblurring performance and robustness to image noise qualitatively and quantitatively. Additionally, compared to the existing end-to-end deblurring networks, our network structure is light-weight, which ensures less training and testing time.


title: Gaplessness is not generic for translation-invariant spin chains

abstract: The existence of a spectral gap above the ground state has far-reaching consequences for the low-energy physics of a quantum many-body system. A recent work of Movassagh [R. Movassagh, PRL 119 (2017), 220504] shows that a spatially random local quantum Hamiltonian is generically gapless. Here we observe that a gap is more common for translation-invariant quantum spin chains, more specifically, that these are gapped with a positive probability if the interaction is of small rank. This is in line with a previous analysis of the spin-$1/2$ case by Bravyi and Gosset. The Hamiltonians are constructed by selecting a single projection of sufficiently small rank at random, and then translating it across the entire chain. By the rank assumption, the resulting Hamiltonians are automatically frustration-free and this fact plays a key role in our analysis.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Relative entropy for coherent states from Araki formula

abstract: We make a rigorous computation of the relative entropy between the vacuum state and a coherent state for a free scalar in the framework of AQFT. We study the case of the Rindler Wedge. Previous calculations including path integral methods and computations from the lattice, give a result for such relative entropy which involves integrals of expectation values of the energy-momentum stress tensor along the considered region. However, the stress tensor is in general non unique. That means that if we start with some stress tensor, then we can "improve" it adding a conserved term without modifying the Poincar\'e charges. On the other hand, the presence of such improving term affects the naive expectation for the relative entropy by a non vanishing boundary contribution along the entangling surface. In other words, this means that there is an ambiguity in the usual formula for the relative entropy coming from the non uniqueness of the stress tensor. The main motivation of this work is to solve this puzzle. We first show that all choices of stress tensor except the canonical one are not allowed by positivity and monotonicity of the relative entropy. Then we fully compute the relative entropy between the vacuum and a coherent state in the framework of AQFT using the Araki formula and the techniques of Modular theory. After all, both results coincides and give the usual expression for the relative entropy calculated with the canonical stress tensor.


title: Video Summarization via Actionness Ranking

abstract: To automatically produce a brief yet expressive summary of a long video, an automatic algorithm should start by resembling the human process of summary generation. Prior work proposed supervised and unsupervised algorithms to train models for learning the underlying behavior of humans by increasing modeling complexity or craft-designing better heuristics to simulate human summary generation process. In this work, we take a different approach by analyzing a major cue that humans exploit for the summary generation; the nature and intensity of actions. We empirically observed that a frame is more likely to be included in human-generated summaries if it contains a substantial amount of deliberate motion performed by an agent, which is referred to as actionness. Therefore, we hypothesize that learning to automatically generate summaries involves an implicit knowledge of actionness estimation and ranking. We validate our hypothesis by running a user study that explores the correlation between human-generated summaries and actionness ranks. We also run a consensus and behavioral analysis between human subjects to ensure reliable and consistent results. The analysis exhibits a considerable degree of agreement among subjects within obtained data and verifying our initial hypothesis. Based on the study findings, we develop a method to incorporate actionness data to explicitly regulate a learning algorithm that is trained for summary generation. We assess the performance of our approach to four summarization benchmark datasets and demonstrate an evident advantage compared to state-of-the-art summarization methods.


title: Inference of Human's Observation Strategy for Monitoring Robot's Behavior based on a Game-Theoretic Model of Trust

abstract: We consider scenarios where a worker robot, who may be unaware of the human's exact expectations, may have the incentive to deviate from a preferred plan (e.g. safe but costly) when a human supervisor is not monitoring it. On the other hand, continuous monitoring of the robot's behavior is often difficult for humans because it costs them valuable resources (e.g., time, cognitive overload, etc.). Thus, to optimize the cost of monitoring while ensuring the robots follow the {\em safe} behavior and to assist the human to deal with the possible unsafe robots, we model this problem in a game-theoretic framework of trust. In settings where the human does not initially trust the robot, pure-strategy Nash Equilibrium provides a useful policy for the human. Unfortunately, we show the formulated game often lacks a pure strategy Nash equilibrium. Thus, we define the concept of a trust boundary over the mixed strategy space of the human and show that it helps to discover optimal monitoring strategies. We conduct humans subject studies that demonstrate (1) the need for coming up with optimal monitoring strategies, and (2) the benefits of using strategies suggested by our approach.


title: Self-supervised Learning for Single View Depth and Surface Normal Estimation

abstract: In this work we present a self-supervised learning framework to simultaneously train two Convolutional Neural Networks (CNNs) to predict depth and surface normals from a single image. In contrast to most existing frameworks which represent outdoor scenes as fronto-parallel planes at piece-wise smooth depth, we propose to predict depth with surface orientation while assuming that natural scenes have piece-wise smooth normals. We show that a simple depth-normal consistency as a soft-constraint on the predictions is sufficient and effective for training both these networks simultaneously. The trained normal network provides state-of-the-art predictions while the depth network, relying on much realistic smooth normal assumption, outperforms the traditional self-supervised depth prediction network by a large margin on the KITTI benchmark. Demo video: https://youtu.be/ZD-ZRsw7hdM


title: Direct Dispersive Monitoring of Charge Parity in Offset-Charge-Sensitive Transmons

abstract: A striking characteristic of superconducting circuits is that their eigenspectra and intermode coupling strengths are well predicted by simple Hamiltonians representing combinations of quantum circuit elements. Of particular interest is the Cooper-pair-box Hamiltonian used to describe the eigenspectra of transmon qubits, which can depend strongly on the offset-charge difference across the Josephson element. Notably, this offset-charge dependence can also be observed in the dispersive coupling between an ancillary readout mode and a transmon fabricated in the offset-charge-sensitive (OCS) regime. We utilize this effect to achieve direct, high-fidelity dispersive readout of the joint plasmon and charge-parity state of an OCS transmon, which enables efficient detection of charge fluctuations and nonequilibrium-quasiparticle dynamics. Specifically, we show that additional high-frequency filtering can extend the charge-parity lifetime of our device by two orders of magnitude, resulting in a significantly improved energy relaxation time $T_1\sim200~\mu\mathrm{s}$.


title: A Review of Stochastic Block Models and Extensions for Graph Clustering

abstract: There have been rapid developments in model-based clustering of graphs, also known as block modelling, over the last ten years or so. We review different approaches and extensions proposed for different aspects in this area, such as the type of the graph, the clustering approach, the inference approach, and whether the number of groups is selected or estimated. We also review models that combine block modelling with topic modelling and/or longitudinal modelling, regarding how these models deal with multiple types of data. How different approaches cope with various issues will be summarised and compared, to facilitate the demand of practitioners for a concise overview of the current status of these areas of literature.


title: A Search for Red Giant Solar-like Oscillations in All Kepler Data

abstract: The recently published Kepler mission Data Release 25 (DR25) reported on ~197,000 targets observed during the mission. Despite this, no wide search for red giants showing solar-like oscillations have been made across all stars observed in Kepler's long-cadence mode. In this work, we perform this task using custom apertures on the Kepler pixel files and detect oscillations in 21,914 stars, representing the largest sample of solar-like oscillating stars to date. We measure their frequency at maximum power, $\nu_{\mathrm{max}}$, down to $\nu_{\mathrm{max}}\simeq4\mu$Hz and obtain $\log(g)$ estimates with a typical uncertainty below 0.05 dex, which is superior to typical measurements from spectroscopy. Additionally, the $\nu_{\mathrm{max}}$ distribution of our detections show good agreement with results from a simulated model of the Milky Way, with a ratio of observed to predicted stars of 0.992 for stars with 10$\mu$Hz $ <\nu_{\mathrm{max}}<270\mu$Hz. Among our red giant detections, we find 909 to be dwarf/subgiant stars whose flux signal is polluted by a neighbouring giant as a result of using larger photometric apertures than those used by the NASA Kepler Science Processing Pipeline. We further find that only 293 of the polluting giants are known Kepler targets. The remainder comprises over 600 newly identified oscillating red giants, with many expected to belong to the galactic halo, serendipitously falling within the Kepler pixel files of targeted stars.


title: Hausdorff moment sequences induced by rational functions

abstract: We study the Hausdorff moment problem for a class of sequences, namely $(r(n))_{n\in\mathbb Z_+},$ where $r$ is a rational function in the complex plane. We obtain a necessary condition for such sequence to be a Hausdorff moment sequence. We found an interesting connection between Hausdorff moment problem for this class of sequences with finite divided differences and convolution of complex exponential functions. We provide a sufficient condition on the zeros and poles of a rational function $r$ so that $(r(n))_{n\in\mathbb Z_+}$ is a Hausdorff moment sequence. G. Misra asked whether the module tensor product of a subnormal module with the Hardy module over the polynomial ring is again a subnormal module or not. Using our necessary condition we answer the question of G. Misra in negative. Finally, we obtain a characterization of all real polynomials $p$ of degree up to $4$ and a certain class of real polynomials of degree $5$ for which the sequence $(1/p(n))_{n\in\mathbb Z_+}$ is a Hausdorff moment sequence.


title: A Sketch Based 3D Shape Retrieval Approach Based on Efficient Deep Point-to-Subspace Metric Learning

abstract: A sketch based 3D shape retrieval


title: On the Existence of Perfect Splitter Sets

abstract: Given integers $k_1, k_2$ with $0\le k_1<k_2$, the determinations of all positive integers $q$ for which there exists a perfect Splitter $B[-k_1, k_2](q)$ set is a wide open question in general. In this paper, we obtain new necessary and sufficient conditions for an odd prime $p$ such that there exists a nonsingular perfect $B[-1,3](p)$ set. We also give some necessary conditions for the existence of purely singular perfect splitter sets. In particular, we determine all perfect $B[-k_1, k_2](2^n)$ sets for any positive integers $k_1,k_2$ with $k_1+k_2\ge4$. We also prove that there are infinitely many prime $p$ such that there exists a perfect $B[-1,3](p)$ set.


title: Local Geometric Indexing of High Resolution Data for Facial Reconstruction from Sparse Markers

abstract: When considering sparse motion capture marker data, one typically struggles to balance its overfitting via a high dimensional blendshape system versus underfitting caused by smoothness constraints. With the current trend towards using more and more data, our aim is not to fit the motion capture markers with a parameterized (blendshape) model or to smoothly interpolate a surface through the marker positions, but rather to find an instance in the high resolution dataset that contains local geometry to fit each marker. Just as is true for typical machine learning applications, this approach benefits from a plethora of data, and thus we also consider augmenting the dataset via specially designed physical simulations that target the high resolution dataset such that the simulation output lies on the same so-called manifold as the data targeted.


title: An Optimal Coordination Framework for Connected and Automated Vehicles in two Interconnected Intersections

abstract: In this paper, we provide a decentralized optimal control framework for coordinating connected and automated vehicles (CAVs) in two interconnected intersections. We formulate a control problem and provide a solution that can be implemented in real time. The solution yields the optimal acceleration/deceleration of each CAV under the safety constraint at "conflict zones," where there is a chance of potential collision. Our objective is to minimize travel time for each CAV. If no such solution exists, then each CAV solves an energy-optimal control problem. We evaluate the effectiveness of the efficiency of the proposed framework through simulation.


title: An elementary proof of a result Ma and Chen

abstract: In 1956, Je$\acute{s}$manowicz conjectured that, for positive integers $m$ and $n$ with $m>n, \, \gcd(m,\, n)=1$ and $m\not\equiv n\pmod{2}$, the exponential Diophantine equation $(m^2-n^2)^x+(2mn)^y=(m^2+n^2)^z$ has only the positive integer solution $(x,\,y,\, z)=(2,\,2,\,2)$. Recently, Ma and Chen \cite{MC17} proved the conjecture if $4\not|mn$ and $y\ge2$. In this paper, we present an elementary proof of the result of Ma and Chen \cite{MC17}.


title: Improving Grounded Natural Language Understanding through Human-Robot Dialog

abstract: Natural language understanding for robotics can require substantial domain- and platform-specific engineering. For example, for mobile robots to pick-and-place objects in an environment to satisfy human commands, we can specify the language humans use to issue such commands, and connect concept words like red can to physical object properties. One way to alleviate this engineering for a new domain is to enable robots in human environments to adapt dynamically---continually learning new language constructions and perceptual concepts. In this work, we present an end-to-end pipeline for translating natural language commands to discrete robot actions, and use clarification dialogs to jointly improve language parsing and concept grounding. We train and evaluate this agent in a virtual setting on Amazon Mechanical Turk, and we transfer the learned agent to a physical robot platform to demonstrate it in the real world.


title: Dependence of atomic parity-violation effects on neutron skins and new physics

abstract: We estimate the relative contribution of nuclear structure and new physics couplings to the parity non-conserving spin-independent effects in atomic systems, for both single isotopes and isotopic ratios. General expressions are presented to assess the sensitivity of isotopic ratios to neutron skins and to couplings beyond standard model at tree level. The specific coefficients for these contributions are calculated assuming Fermi distribution for proton and neutron nuclear densities for isotopes of Cs, Ba, Sm, Dy, Yb, Pb, Fr, and Ra. The present work aims to provide a guide to the choice of the best isotopes and pairs of isotopes for conducting atomic PNC measurements.


title: Extensibility criterion ruling out gradient blow-up in a quasilinear degenerate chemotaxis system with flux limitation

abstract: This paper deals with the quasilinear degenerate chemotaxis system with flux limitation \begin{equation*} \begin{cases} u_t = \nabla\cdot\left(\dfrac{u^p \nabla u}{\sqrt{u^2 + |\nabla u|^2}} \right) -\chi \nabla\cdot\left(\dfrac{u^q\nabla v}{\sqrt{1 + |\nabla v|^2}}\right), \\[1mm] 0 = \Delta v - \mu + u \end{cases}\end{equation*} under no-flux boundary conditions in balls $\Omega\subset\mathbb{R}^n$, and the initial condition $u|_{t=0}=u_0$ for a radially symmetric and positive initial data $u_0\in C^3(\overline{\Omega})$, where $\chi>0$ and $\mu:=\frac{1}{|\Omega|}\int_{\Omega}u_0$. Bellomo--Winkler (Comm.\ Partial Differential Equations;2017;42;436--473) proved local existence of unique classical solutions and extensibility criterion ruling out gradient blow-up as well as global existence and boundedness of solutions when $p=q=1$ under some conditions for $\chi$ and $\int_\Omega u_0$. This paper derives local existence and extensibility criterion ruling out gradient blow-up when $p,q\geq 1$, and moreover shows global existence and boundedness of solutions when $p>q+1-\frac{1}{n}$.


title: Finite-time blow-up in a quasilinear degenerate chemotaxis system with flux limitation

abstract: This paper deals with the quasilinear degenerate chemotaxis system with flux limitation \begin{align*} \begin{cases} u_t = \nabla\cdot\left(\dfrac{u^p \nabla u}{\sqrt{u^2 + |\nabla u|^2}} \right) -\chi \nabla\cdot\left( \dfrac{u^q\nabla v}{\sqrt{1 + |\nabla v|^2}}\right), &x\in \Omega,\ t>0, \\[1mm] 0 = \Delta v - \mu + u, &x\in \Omega,\ t>0, \end{cases} \end{align*} where $\Omega := B_R(0) \subset \mathbb{R}^n$ ($n \in \mathbb{N}$) is a ball with some $R>0$, and $\chi >0$, $p,q\geq1$, $\mu := \frac 1{|\Omega|} \int_\Omega u_0$ and $u_0$ is an initial data of an unknown function $u$. Bellomo--Winkler (Trans.\ Amer.\ Math.\ Soc.\ Ser.\ B;2017;4;31--67) established existence of an initial data such that the corresponding solution blows up in finite time when $p=q=1$. This paper gives existence of blow-up solutions under some condition for $\chi$ and $u_0$ when $1\leq p\leq q$.


title: Single photon emission in $WSe_2$ up 160 K by quantum yield control

abstract: Two dimensional semiconductors hosting strain-induced quantum emitters offer unique abilities to achieve scalable architectures for deterministic coupling to nanocavities and waveguides that are required to enable chip-based quantum information processing technologies. A severe drawback remains that exciton emission from quantum emitters in $WSe_2$ quenches beyond 30 K, which requires cryogenic cooling. Here we demonstrate an approach to increase the temperature survival of exciton quantum emitters in $WSe_2$ that is based on maximizing the emitter quantum yield. Utilizing optimized material growth that leads to reduced density of nonradiative defects as well as coupling of the exciton emission to plasmonic nanocavities modes, we achieve average quantum yields up to 44%, thermal activation energies up to 92 meV, and single photon emission signatures up to temperatures of 160 K. At these values non-cryogenic cooling with thermo-electric chips becomes already feasible, while quantitative analysis shows that room temperature operation is within reach through active strain engineering.


title: On the existence of full dimensional KAM torus for nonlinear Schr\"odinger equation

abstract: In this paper, we study the following nonlinear Schr\"odinger equation \begin{eqnarray}\label{maineq0} \textbf{i}u_{t}-u_{xx}+V*u+\epsilon f(x)|u|^4u=0,\ x\in\mathbb{T}=\mathbb{R}/2\pi\mathbb{Z}, \end{eqnarray} where $V*$ is the Fourier multiplier defined by $\widehat{(V* u})_n=V_{n}\widehat{u}_n, V_n\in[-1,1]$ and $f(x)$ is Gevrey smooth. It is shown that for $0\leq|\epsilon|\ll1$, there is some $(V_n)_{n\in\mathbb{Z}}$ such that, the equation admits a time almost periodic solution (i.e., full dimensional KAM torus) in the Gevrey space. This extends results of Bourgain \cite{BJFA2005} and Cong-Liu-Shi-Yuan \cite{CLSY} to the case that the nonlinear perturbation depends explicitly on the space variable $x$. The main difficulty here is the absence of zero momentum of the equation.


abstract: We provide a short and self-contained argument for the existence of Cartan-Iwahori-Matsumoto decompositions for reductive groups.


title: Persuading part of an audience

abstract: I propose a cheap-talk model in which the sender can use private messages and only cares about persuading a subset of her audience. For example, a candidate only needs to persuade a majority of the electorate in order to win an election. I find that senders can gain credibility by speaking truthfully to some receivers while lying to others. In general settings, the model admits information transmission in equilibrium for some prior beliefs. The sender can approximate her preferred outcome when the fraction of the audience she needs to persuade is sufficiently small. I characterize the sender-optimal equilibrium and the benefit of not having to persuade your whole audience in separable environments. I also analyze different applications and verify that the results are robust to some perturbations of the model, including non-transparent motives as in Crawford and Sobel (1982), and full commitment as in Kamenica and Gentzkow (2011).


title: Uncloneable Quantum Encryption via Oracles

abstract: Quantum information is well-known to achieve cryptographic feats that are unattainable using classical information alone. Here, we add to this repertoire by introducing a new cryptographic functionality called uncloneable encryption. This functionality allows the encryption of a classical message such that two collaborating but isolated adversaries are prevented from simultaneously recovering the message, even when the encryption key is revealed. Clearly, such functionality is unattainable using classical information alone. We formally define uncloneable encryption, and show how to achieve it using Wiesner's conjugate coding, combined with a quantum-secure pseudorandom function (qPRF). Modelling the qPRF as a quantum random oracle, we show security by adapting techniques from the quantum one-way-to-hiding lemma, as well as using bounds from quantum monogamy-of-entanglement games.


title: OpenRoACH: A Durable Open-Source Hexapedal Platform with Onboard Robot Operating System (ROS)

abstract: OpenRoACH is a 15-cm 200-gram self-contained hexapedal robot with an onboard single-board computer. To our knowledge, it is the smallest legged robot with the capability of running the Robot Operating System (ROS) onboard. The robot is fully open sourced, uses accessible materials and off-the-shelf electronic components, can be fabricated with benchtop fast-prototyping machines such as a laser cutter and a 3D printer, and can be assembled by one person within two hours. Its sensory capacity has been tested with gyroscopes, accelerometers, Beacon sensors, color vision sensors, linescan sensors and cameras. It is low-cost within \$150 including structure materials, motors, electronics, and a battery. The capabilities of OpenRoACH are demonstrated with multi-surface walking and running, 24-hour continuous walking burn-ins, carrying 200-gram dynamic payloads and 800-gram static payloads, and ROS control of steering based on camera feedback. Information and files related to mechanical design, fabrication, assembly, electronics, and control algorithms are all publicly available on https://wiki.eecs.berkeley.edu/biomimetics/Main/OpenRoACH.


title: Numerical Stability of Detonations in White Dwarf Simulations

abstract: Some simulations of Type Ia supernovae feature self-consistent thermonuclear detonations. However, these detonations are not meaningful if the simulations are not resolved, so it is important to establish the requirements for achieving a numerically converged detonation. In this study we examine a test detonation problem inspired by collisions of white dwarfs. This test problem demonstrates that achieving a converged thermonuclear ignition requires spatial resolution much finer than 1 km in the burning region. Current computational resource constraints place this stringent resolution requirement out of reach for multi-dimensional supernova simulations. Consequently, contemporary simulations that self-consistently demonstrate detonations are possibly not converged and should be treated with caution.


title: Video Extrapolation with an Invertible Linear Embedding

abstract: We predict future video frames from complex dynamic scenes, using an invertible neural network as the encoder of a nonlinear dynamic system with latent linear state evolution. Our invertible linear embedding (ILE) demonstrates successful learning, prediction and latent state inference. In contrast to other approaches, ILE does not use any explicit reconstruction loss or simplistic pixel-space assumptions. Instead, it leverages invertibility to optimize the likelihood of image sequences exactly, albeit indirectly. Comparison with a state-of-the-art method demonstrates the viability of our approach.


title: Detecting Supermassive Black Hole-Induced Binary Eccentricity Oscillations with LISA

abstract: Stellar-mass black hole binaries (BHBs) near supermassive black holes (SMBH) in galactic nuclei undergo eccentricity oscillations due to gravitational perturbations from the SMBH. Previous works have shown that this channel can contribute to the overall BHB merger rate detected by the Laser Interferometer Gravitational-Wave Observatory (LIGO) and Virgo Interferometer. Significantly, the SMBH gravitational perturbations on the binary's orbit may produce eccentric BHBs which are expected to be visible using the upcoming Laser Interferometer Space Antenna (LISA) for a large fraction of their lifetime before they merge in the LIGO/Virgo band. For a proof-of-concept, we show that the eccentricity oscillations of these binaries can be detected with LISA for BHBs in the local universe up to a few Mpcs, with observation periods shorter than the mission lifetime, thereby disentangling this merger channel from others. The approach presented here is straightforward to apply to a wide variety of compact object binaries with a tertiary companion.


title: Stabilizing a Queue Subject to Action-Dependent Server Performance

abstract: We consider a discrete-time system comprising a first-come-first-served queue, a non-preemptive server, and a scheduler that governs the assignment of tasks in the queue to the server. The server has an availability state that indicates, at each instant, whether the server is busy working on a task or is available. In the latter case, if the queue is nonempty, then a task-assignment control policy implemented by the scheduler either assigns a new task to the server or allows it to rest. The server also has an integer-valued activity state that is non-increasing during rest periods, and is non-decreasing otherwise. An instantaneous service rate function ascribes to each possible value of the activity state a probability that the server can complete a task in one time step. For a typical instantaneous service rate function, the completion probability decreases (server performance worsens) as the activity state increases. The scheduler policy has access to the queue size and the entire state of the server. In this article, we study the problem of designing scheduler policies that stabilize the queue. We show that stability, whenever viable, can be achieved by a simple policy that bases its decisions on the availability state, a threshold applied to the activity state, and a flag that indicates when the queue is empty. The supremum of the service rates achievable by stabilizing policies can be determined by a finite search. Our results remain valid even when the instantaneous service rate function is not monotonic.


title: A Method Beyond Channel Capacity in the Low SNR Regime: Theoretical Proof and Numerical Confirmation

abstract: A method is proposed, referred to as the cocktail BPSK, to use two independent BPSK streams layered in a parallel transmission through the additive white Gaussian channel. The critical point of the method is to translate the interference between the two layered symbols into a problem of one symbol with two possible amplitudes, whereby we find that the achievable data rate (ADR) of the first layer equals to the channel capacity at zero signal-to-noise-ratio limit. By adding the contribution of the second layer, we find that the total ADR of the two layers can be larger than the channel capacity. The theoretical proof is done based on the mutual information and the numerical results are added for the confirmation.


title: Well-posedness and scattering of inhomogeneous cubic-quintic NLS

abstract: In this paper we consider inhomogeneous cubic-quintic NLS in space dimension $d = 3$: $$ iu_t = -\Delta u + K_1(x)|u|^2u + K_2(x)|u|^4u. $$ We study local well-posedness, finite time blowup, and small data scattering and non-scattering for the ICQNLS when $K_1, K_2 \in C^4(\mathbb R^3 \setminus \{0\})$ satisfy growth condition $|\partial^j K_i(x)| \lesssim |x|^{b_i-j}\, (j = 0, 1, 2, 3, 4)$ for some $b_i \ge 0$ and for $x \neq 0$. To this end we use the Sobolev inequality for the functions $f \in H^n \,(n = 1, 2)$ such that $\||\mathbf L|^\ell f\|_{H^n} < \infty \,(\ell = 1, 2)$, where $\mathbf L$ is the angular momentum operator defined by $\mathbf L = x \times (-i\nabla)$.


title: Improving Grammatical Error Correction via Pre-Training a Copy-Augmented Architecture with Unlabeled Data

abstract: Neural machine translation systems have become state-of-the-art approaches for Grammatical Error Correction (GEC) task. In this paper, we propose a copy-augmented architecture for the GEC task by copying the unchanged words from the source sentence to the target sentence. Since the GEC suffers from not having enough labeled training data to achieve high accuracy. We pre-train the copy-augmented architecture with a denoising auto-encoder using the unlabeled One Billion Benchmark and make comparisons between the fully pre-trained model and a partially pre-trained model. It is the first time copying words from the source context and fully pre-training a sequence to sequence model are experimented on the GEC task. Moreover, We add token-level and sentence-level multi-task learning for the GEC task. The evaluation results on the CoNLL-2014 test set show that our approach outperforms all recently published state-of-the-art results by a large margin. The code and pre-trained models are released at https://github.com/zhawe01/fairseq-gec.


title: Skip-free Markov chains

abstract: The aim of this paper is to develop a general theory for the class of skip-free Markov chains on denumerable state space. This encompasses their potential theory via an explicit characterization of their potential kernel expressed in terms of family of fundamental excessive functions, which are defined by means of the theory of Martin boundary. We also describe their fluctuation theory generalizing the celebrated fluctuations identities that were obtained by using the Wiener-Hopf factorization for the specific skip-free random walks. We proceed by resorting to the concept of similarity to identify the class of skip-free Markov chains whose transition operator has only real and simple eigenvalues. We manage to find a set of sufficient and easy-to-check conditions on the one-step transition probability for a Markov chain to belong to this class. We also study several properties of this class including their spectral expansions given in terms of Riesz basis, derive a necessary and sufficient condition for this class to exhibit a separation cutoff, and give a tighter bound on its convergence rate to stationarity than existing results.


title: Linear Degeneracy of the First-Order Generalized-Harmonic Einstein System

abstract: The purpose of this note is to clarify the conditions under which the first-order generalize-harmonic representation of the vacuum Einstein evolution system is linearly degenerate.


title: Square wave oscillation of soliton in double-well potential trapped BEC

abstract: We numerically investigate the soliton tunnelling process in double-well potential trapped Bose-Einstein condensate. Comparing with the usual low energy few particle tunnelling process, we find that the soliton tunnelling leads to massive particle transport between two wells. The {population imbalance} between two wells is not evolving sinusoidally with the time as the Josephson plasma oscillation, but shows a higher density contrast square-wave pattern due to the reflections at the trapping potential boundaries. Such unusual behavior clearly demonstrates the topologically stable, localized nature of solitons that propagate in a nonlinear medium without spreading. The square-wave oscillation of soliton also provides measurable dynamics to define a qubit in cold altom system.


title: A Unified Neural Architecture for Instrumental Audio Tasks

abstract: Within Music Information Retrieval (MIR), prominent tasks -- including pitch-tracking, source-separation, super-resolution, and synthesis -- typically call for specialised methods, despite their similarities. Conditional Generative Adversarial Networks (cGANs) have been shown to be highly versatile in learning general image-to-image translations, but have not yet been adapted across MIR. In this work, we present an end-to-end supervisable architecture to perform all aforementioned audio tasks, consisting of a WaveNet synthesiser conditioned on the output of a jointly-trained cGAN spectrogram translator. In doing so, we demonstrate the potential of such flexible techniques to unify MIR tasks, promote efficient transfer learning, and converge research to the improvement of powerful, general methods. Finally, to the best of our knowledge, we present the first application of GANs to guided instrument synthesis.


title: Dynamic Channel: A Planning Framework for Crowd Navigation

abstract: Real-time navigation in dense human environments is a challenging problem in robotics. Most existing path planners fail to account for the dynamics of pedestrians because introducing time as an additional dimension in search space is computationally prohibitive. Alternatively, most local motion planners only address imminent collision avoidance and fail to offer long-term optimality. In this work, we present an approach, called Dynamic Channels, to solve this global to local quandary. Our method combines the high-level topological path planning with low-level motion planning into a complete pipeline. By formulating the path planning problem as graph searching in the triangulation space, our planner is able to explicitly reason about the obstacle dynamics and capture the environmental change efficiently. We evaluate efficiency and performance of our approach on public pedestrian datasets and compare it to a state-of-the-art planning algorithm for dynamic obstacle avoidance.


title: Signal processing, orthogonal polynomials, and Heun equations

abstract: A survey of recents advances in the theory of Heun operators is offered. Some of the topics covered include: quadratic algebras and orthogonal polynomials, differential and difference Heun operators associated to Jacobi and Hahn polynomials, connections with time and band limiting problems in signal processing.


title: Spin Chains, Graphs and State Revival

abstract: Connections between the 1-excitation dynamics of spin lattices and quantum walks on graphs will be surveyed. Attention will be paid to perfect state transfer (PST) and fractional revival (FR) as well as to the role played by orthogonal polynomials in the study of these phenomena. Included is a discussion of the ordered Hamming scheme, its relation to multivariate Krawtchouk polynomials of the Tratnik type, the exploration of quantum walks on graphs of this association scheme and their projection to spin lattices with PST and FR.


title: The black hole X-ray transient Swift J1357.2-0933 as seen with Swift and NuSTAR during its 2017 outburst

abstract: We report on observations of black hole Swift J1357.2-0933, a member of the modest population of very faint X-ray transients. This source has previously shown intense dips in the optical lightcurve, a phenomena that has been linked to the existence of a "unique toroidal structure" in the inner region of the disc, seen at a high inclination. Our observations, carried out by the Neil Gehrels Swift and NuSTAR X-ray observatories, do not show the presence of intense dips in the optical light curves. We find that the X-ray light curves do not show any features that would straightforwardly support an edge-on configuration or high inclination configuration of the orbit. This is similar to what was seen in the X-ray observations of the source during its 2011 outburst. Moreover, the broadband spectra were well described with an absorbed power-law model without any signatures of the cut-off at energies above 10 keV, or any reflection from the disc or the putative torus. Thus, the X-ray data do not support the unique obscuring torus scenario proposed for J1357. We also performed a multi-wavelength study using the data of X-ray telescope and Ultraviolet/Optical Telescope aboard Swift, taken during the 4.5 months duration of the 2017 outburst. This is consistent with what was previously inferred for this source. We found a correlation between the simultaneous X-ray and ultraviolet/optical data and our study suggests that most of the reprocessed flux must be coming out in the ultraviolet.


title: Approximation by finite mixtures of continuous density functions that vanish at infinity

abstract: Given sufficiently many components, it is often cited that finite mixture models can approximate any other probability density function (pdf) to an arbitrary degree of accuracy. Unfortunately, the nature of this approximation result is often left unclear. We prove that finite mixture models constructed from pdfs in $\mathcal{C}_{0}$ can be used to conduct approximation of various classes of approximands in a number of different modes. That is, we prove approximands in $\mathcal{C}_{0}$ can be uniformly approximated, approximands in $\mathcal{C}_{b}$ can be uniformly approximated on compact sets, and approximands in $\mathcal{L}_{p}$ can be approximated with respect to the $\mathcal{L}_{p}$, for $p\in\left[1,\infty\right)$. Furthermore, we also prove that measurable functions can be approximated, almost everywhere.


title: Comment on Daya Bay's definition and use of Delta m^2_ee

abstract: We comment on Daya Bay's latest definition of the effective Delta m^2 for short baseline reactor electron antineutrino disappearance experiments used in arXiv:1809.02261 (Phys. Rev. Lett. 121, no. 24, 241805 (2018))


title: Chinese-Japanese Unsupervised Neural Machine Translation Using Sub-character Level Information

abstract: Unsupervised neural machine translation (UNMT) requires only monolingual data of similar language pairs during training and can produce bi-directional translation models with relatively good performance on alphabetic languages (Lample et al., 2018). However, no research has been done to logographic language pairs. This study focuses on Chinese-Japanese UNMT trained by data containing sub-character (ideograph or stroke) level information which is decomposed from character level data. BLEU scores of both character and sub-character level systems were compared against each other and the results showed that despite the effectiveness of UNMT on character level data, sub-character level data could further enhance the performance, in which the stroke level system outperformed the ideograph level system.


title: Singularity, Sasaki-Einstein manifold, Log del Pezzo surface and $\mathcal{N}=1$ AdS/CFT correspondence: Part I

abstract: A five dimensional Sasaki-Einstein (SE) manifold provides a AdS/CFT pair for four dimensional $\mathcal{N}=1$ SCFT, and those pairs are very useful in studying field theory and AdS/CFT correspondence. The space of known SE manifolds is increased significantly in the last decade, and we initiated the study of various field theory properties through the geometric property of these new SE manifolds. There is an associated three dimensional log-terminal singularity $X$ for each SE manifold $L_X$, and for quasi-regular case, there is an associated two dimensional log Del Pezzo surface $(S,\Delta)$. The algebraic geometrical methods are quite useful in extracting interesting physical properties from singularity and log Del Pezzo surface. The necessary and sufficient condition for the existence of SE metric on $L_X$ is related to K stability of $X$. Motivated by dual field theory, we propose a conjecture on how to reduce the check of K stability to possibly finite cases, which hopefully would give us a guideline to find a much larger space of SE metrics.


title: Electronic structure of the quadrupolar ordered heavy-fermion compound YbRu2Ge2 measured by angle-resolved photoemission

abstract: We studied the electronic structure of the heavy fermion compound Yb(Ru$_{1-x}$Rh$_{x}$)$_2$Ge$_2$ with $x=0$ and nominally $x=0.125$ using ARPES and LDA calculations. We find a valence band structure of Yb corresponding to a non-integer valence close to $3+$. The three observed crystal electric field levels with a splitting of 32 and 75 meV confirm the suggested configuration with a quasi-quartet ground state. The experimentally determined band structure of the conduction electrons with predominantly Ru $4d$ character is well reproduced by our calculations. YbRu$_2$Ge$_2$ undergoes a non-magnetic phase transition into a ferroquadrupolar ordered state below 10.2\,K and then to an antiferromagnetically ordered state below 6.5\,K. A small hole Fermi surface shows nesting features in our calculated band structure and its size determined by ARPES is close to the magnetic ordering wave vector found in neutron scattering. The transitions are suppressed when YbRu$_2$Ge$_2$ is doped with 12.5% Rh. The electron doping leads to a shift of the band structure and successive Lifshitz transitions.


title: The $S_{E1}$ factor of radiative $\alpha$ capture on $^{12}$C in effective field theory

abstract: The $S_{E1}$ factor of radiative $\alpha$ capture on $^{12}$C is studied in effective field theory. We briefly discuss the strategy for the calculation of the reaction and report a first result of $S_{E1}$ at the Gamow-peak energy, $E_G=0.3$~MeV.


title: Relational Differential Dynamic Logic

abstract: In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely recognized as a deductive verification method with solid mathematical foundations and sophisticated tool support. Motivated by benchmarks provided by our industry partner, we study a relational extension of dL, aiming to formally prove statements such as "an earlier deployment of the emergency brake decreases the collision speed." A main technical challenge here is to relate two states of two dynamics at different time points. Our main contribution is a theory of suitable simulations (a relational extension of differential invariants that are central proof methods in dL), and a derived technique of time stretching. The latter features particularly high applicability, since the user does not have to synthesize a simulation out of the air. We derive new inference rules for dL from these notions, and demonstrate their use over a couple of automotive case studies.


title: Clustering and redshift-space distortions in modified gravity models with massive neutrinos

abstract: Modified gravity and massive neutrino cosmologies are two of the most interesting scenarios that have been recently explored to account for possible observational deviations from the concordance $\Lambda$-cold dark matter ($\Lambda$CDM) model. In this context, we investigated the large-scale structure of the Universe by exploiting the \dustp simulations that implement, simultaneously, the effects of $f(R)$ gravity and massive neutrinos. To study the possibility of breaking the degeneracy between these two effects, we analysed the redshift-space distortions in the clustering of dark matter haloes at different redshifts. Specifically, we focused on the monopole and quadrupole of the two-point correlation function, both in real and redshift space. The deviations with respect to $\Lambda$CDM model have been quantified in terms of the linear growth rate parameter. We found that redshift-space distortions provide a powerful probe to discriminate between $\Lambda$CDM and modified gravity models, especially at high redshifts ($z \gtrsim 1$), even in the presence of massive neutrinos.


title: GuSTO: Guaranteed Sequential Trajectory Optimization via Sequential Convex Programming

abstract: Sequential Convex Programming (SCP) has recently seen a surge of interest as a tool for trajectory optimization. However, most available methods lack rigorous performance guarantees and they are often tailored to specific optimal control setups. In this paper, we present GuSTO (Guaranteed Sequential Trajectory Optimization), an algorithmic framework to solve trajectory optimization problems for control-affine systems with drift. GuSTO generalizes earlier SCP-based methods for trajectory optimization (by addressing, for example, goal-set constraints and problems with either fixed or free final time) and enjoys theoretical convergence guarantees in terms of convergence to, at least, a stationary point. The theoretical analysis is further leveraged to devise an accelerated implementation of GuSTO, which originally infuses ideas from indirect optimal control into an SCP context. Numerical experiments on a variety of trajectory optimization setups show that GuSTO generally outperforms current state-of-the-art approaches in terms of success rates, solution quality, and computation times.


title: Characterizing Activity on the Deep and Dark Web

abstract: The deep and darkweb (d2web) refers to limited access web sites that require registration, authentication, or more complex encryption protocols to access them. These web sites serve as hubs for a variety of illicit activities: to trade drugs, stolen user credentials, hacking tools, and to coordinate attacks and manipulation campaigns. Despite its importance to cyber crime, the d2web has not been systematically investigated. In this paper, we study a large corpus of messages posted to 80 d2web forums over a period of more than a year. We identify topics of discussion using LDA and use a non-parametric HMM to model the evolution of topics across forums. Then, we examine the dynamic patterns of discussion and identify forums with similar patterns. We show that our approach surfaces hidden similarities across different forums and can help identify anomalous events in this rich, heterogeneous data.


title: Asymptotic behavior for a modified Maki-Thompson model with directed inter-group interactions

abstract: In this work we propose a new extension for the Maki-Thompson rumor model which incorporates inter-group directed contacts. The model is defined on an homogeneously mixing population where the existence of two differentiated groups of individuals is assumed. While individuals of one group have an active role in the spreading process, individuals of the other group only contribute in stifling the rumor provided they would contacted. For this model we measure the impact of dissemination by studying the remaining proportion of ignorants of both groups at the end of the process. In addition we discuss some examples and possible applications.


title: The Construction of Two Kinds of Bijections in Simple Random Walk Paths

abstract: It is known that for the 2n-step symmetric simple random walk on Z, two events have the same probability if and only if their sets of paths have the same cardinality. In this article, we construct two kinds of bijections between sets of paths with the same cardinality. The construction is natural and simple. It can be easily realized through programming. More importantly, this construction opens a door to prove that two events in the 2n-step symmetric simple random walk on Z have the same probability and some further related results.


title: Image-Based Geo-Localization Using Satellite Imagery

abstract: The problem of localization on a geo-referenced satellite map given a query ground view image is useful yet remains challenging due to the drastic change in viewpoint. To this end, in this paper we work on the extension of our earlier work on the Cross-View Matching Network (CVM-Net) for the ground-to-aerial image matching task since the traditional image descriptors fail due to the drastic viewpoint change. In particular, we show more extensive experimental results and analyses of the network architecture on our CVM-Net. Furthermore, we propose a Markov localization framework that enforces the temporal consistency between image frames to enhance the geo-localization results in the case where a video stream of ground view images is available. Experimental results show that our proposed Markov localization framework can continuously localize the vehicle within a small error on our Singapore dataset.


title: Masses of ground-state mesons and baryons, including those with heavy quarks

abstract: Using a confining, symmetry-preserving regularisation of a vector$\times$vector contact interaction, we compute the spectra of ground-state pseudoscalar and vector $(f\bar g)$ mesons, scalar and axial-vector $(fg)$ diquarks, and $J^P=1/2^+, 3/2^+$ $(fgh)$ baryons, where $f,g,h \in \{u,d,s,c,b\}$. The diquark correlations are essentially dynamical and play a key role in formulating and solving the three-valence-quark baryon problems. The baryon spectrum obtained from this largely-algebraic approach reproduces the 22 known experimental masses with an accuracy of $2.9(2.4)$%. It also possesses the richness of states typical of constituent-quark models, predicting many heavy-quark baryons not yet observed. This study indicates that diquark correlations are an important component of all baryons; and owing to the dynamical character of the diquarks, it is typically the lightest allowed diquark correlation which defines the most important component of a baryon's Faddeev amplitude.


title: DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over Paragraphs

abstract: Reading comprehension has recently seen rapid progress, with systems matching humans on the most popular datasets for the task. However, a large body of work has highlighted the brittleness of these systems, showing that there is much work left to be done. We introduce a new English reading comprehension benchmark, DROP, which requires Discrete Reasoning Over the content of Paragraphs. In this crowdsourced, adversarially-created, 96k-question benchmark, a system must resolve references in a question, perhaps to multiple input positions, and perform discrete operations over them (such as addition, counting, or sorting). These operations require a much more comprehensive understanding of the content of paragraphs than what was necessary for prior datasets. We apply state-of-the-art methods from both the reading comprehension and semantic parsing literature on this dataset and show that the best systems only achieve 32.7% F1 on our generalized accuracy metric, while expert human performance is 96.0%. We additionally present a new model that combines reading comprehension methods with simple numerical reasoning to achieve 47.0% F1.


title: Are profile likelihoods likelihoods? No, but sometimes they can be

abstract: We offer our two cents to the ongoing discussion on whether profile likelihoods are "true" likelihood functions, by showing that the profile likelihood function can in fact be identical to a marginal likelihood in the special case of normal models. Thus, profile likelihoods can be "true" likelihoods insofar as marginal likelihoods are "true" likelihoods. The prior distribution that achieves this equivalence turns out to be the Jeffreys prior. We suspect, however, that normal models are the only class of models for which such an equivalence between maximization and marginalization is exact.


title: Atom-in-jellium equations of state in the high energy density regime

abstract: Recent path-integral Monte Carlo and quantum molecular dynamics simulations have shown that computationally efficient average-atom models can predict thermodynamic states in warm dense matter to within a few percent. One such atom-in-jellium model has typically been used to predict the electron-thermal behavior only, although it was previously developed to predict the entire equation of state (EOS). We report completely atom-in-jellium EOS calculations for Be, Al, Si, Fe, and Mo, as elements representative of a range of atomic number and low-pressure electronic structure. Comparing the more recent method of pseudo-atom molecular dynamics, atom-in-jellium results were similar: sometimes less accurate, sometimes more. All these techniques exhibited pronounced effects of electronic shell structure in the shock Hugoniot which are not captured by Thomas-Fermi based EOS. These results demonstrate the value of a hierarchical approach to EOS construction, using average-atom techniques with shell structure to populate a wide-range EOS surface efficiently, complemented by more rigorous 3D multi-atom calculations to validate and adjust the EOS.


title: Controlled generation of array beams of higher order orbital angular momentum and study of their frequency doubling characteristics

abstract: We report on a simple and compact experimental scheme to generate high power, ultrafast, higher order vortex array beams. Simply by using a dielectric microlens array (MLA) and a plano-convex lens we have generated array beams carrying the spatial property of the input beam. Considering the MLA as a 2D sinusoidal phase grating, we have numerically calculated the intensity pattern of the array beams in close agreement with the experimental results. Using Gaussian embedded vortex beams of order as high as l= 6, we have generated vortex array beams with individual vortices of order as high as l= 6. We have also theoretically derived the parameters controlling the intensity pattern, size and the pitch of the array and verified experimentally. The single-pass frequency-doubling of the vortex array at 1064 nm in a 1.2 mm long BiBO crystal produced green vortex array of order, l_sh= 12, twice the order of the pump beam. Using lenses of different focal lengths, we have observed the vortex array of all orders to follow the focusing dependent conversion similar to the Gaussian beam. The maximum power of the green vortex array is measured to be 138 mW at a single-pass efficiency as high as ~3.65%. This generic experimental scheme can be used to generate array beams of desired spatial intensity profile across wide wavelength range by simply changing the spatial profile of the input beam.


title: Energy-Efficient Subchannel and Power Allocation for HetNets Based on Convolutional Neural Network

abstract: Heterogeneous network (HetNet) has been proposed as a promising solution for handling the wireless traffic explosion in future fifth-generation (5G) system. In this paper, a joint subchannel and power allocation problem is formulated for HetNets to maximize the energy efficiency (EE). By decomposing the original problem into a classification subproblem and a regression subproblem, a convolutional neural network (CNN) based approach is developed to obtain the decisions on subchannel and power allocation with a much lower complexity than conventional iterative methods. Numerical results further demonstrate that the proposed CNN can achieve similar performance as the Exhaustive method, while needs only 6.76% of its CPU runtime.


title: General Spin Analysis from Angular Correlations in Two-Body Decays

abstract: Determining the spin of any new particle and measuring its couplings to other particles and/or itself are crucial in reconstructing the structure of any quantum field theory containing the particle. A general helicity formalism is employed to describe the polarization of the particle $Y$ in a two-body decay $X_2\to Y X_1$ with polarized $X_2$ for the purpose of diagnosing the dynamical properties of three involved particles and for determining their spins altogether. We perform a general and comprehensive analytic analysis with our special focus on grasping fully how to connect the decay helicity amplitudes and decay distributions in the $X_2$ rest frame and those in a laboratory frame with $X_2$ moving with a non-zero velocity through Wick helicity rotation on helicity states and amplitudes. This theoretical framework is demonstrated in a detailed illustrative manner with the Standard Model (SM) processes, the sequential process $e^-e^+\to Z\to \tau^-\tau^+$ followed by $\tau^-\to \rho^-\nu_\tau\to (\pi^-\pi^0)\nu_\tau$ and the sequential process $e^-e^+\to t\bar{t}$ followed by $t\to W^+ b \to (\ell^+\nu_\ell)b$, and one non-standard decay process of a new vectorlike heavy top quark, $T\to Z t$, followed by $Z\to \ell^-\ell^+$. All the useful formulas directly applicable to any combinations of spins and any types of couplings in the two-body decay $X_2\to Y X_1$ followed by suitable $Y$ two-body decays processes are collected and described in detail.


title: Transient Dynamics of Epidemic Spreading and Its Mitigation on Large Networks

abstract: In this paper, we aim to understand the transient dynamics of a susceptible-infected (SI) epidemic spreading process on a large network. The SI model has been largely overlooked in the literature, while it is naturally a better fit for modeling the malware propagation in early times when patches/vaccines are not available, or over a wider range of timescales when massive patching is practically infeasible. Nonetheless, its analysis is simply non-trivial, as its important dynamics are all transient and the usual stability/steady-state analysis no longer applies. To this end, we develop a theoretical framework that allows us to obtain an accurate closed-form approximate solution to the original SI dynamics on any arbitrary network, which captures the temporal dynamics over all time and is tighter than the existing approximation, and also to provide a new interpretation via reliability theory. As its applications, we further develop vaccination policies with or without knowledge of already-infected nodes, to mitigate the future epidemic spreading to the extent possible, and demonstrate their effectiveness through numerical simulations.


title: Quantum Seiberg-Witten curve and Universality in Argyres-Douglas theories

abstract: We study the quantum Seiberg-Witten (SW) curves for $(A_1, G)$-type Argyres-Douglas (AD) theory by taking the scaling limit of the quantum SW curve of $N=2$ gauge theory with gauge group $G$. For $G=A_r$, the quantum SW curve of the AD theory is consistent with the scaling limit of the curve of the gauge theory. For $G=D_r$, we need the quantum correction to the SW curve of the AD theory, which depends on the quantization condition of the original SW curve. We also study the universality of the quantum SW curves for $(A_1, A_3)$ and $(A_1, D_4)$-type AD theories.


title: On a problem of Perron

abstract: It is shown that a partition $\mathfrak A\cup \mathfrak B$ of the set $\mathbb F_{p^m}^*=\mathbb F_{p^m}-\{0 \}$, with $|\mathfrak A|=|\mathfrak B|$, is the separation into squares and non squares, if and only if the elements of $\mathfrak A$ and $\mathfrak B$ satisfy certain additive properties, thus providing a purely additive characterization of the set of squares in $\mathbb F_{p^m}$.


title: Quasiparticle Properties under Interactions in Weyl and Nodal Line Semimetals

abstract: The quasiparticle spectra of interacting Weyl and nodal-line semimetals on a cubic lattice are studied using the cluster perturbation theory. By tracking the spectral functions under interaction, we find that the Weyl points will move to and meet at a specific point in one Weyl semimetal model, while in the other Weyl semimetal model they are immobile. In the nodal-line semimetals, we find that the nodal line shrinks to a point and then disappears under interaction in one-nodal-line system. When we add another nodal line to this system, we find that the two nodal lines both shrink to specific points, but the disappearing processes of the two nodal lines are not synchronized. We argue that the nontrivial evolution of Weyl points and nodal lines under interaction is due to the presence of symmetry breaking order, e.g., a ferromagnetic moment, in the framework of mean field theory, whereas the stability of Weyl points under interaction is protected by symmetry. Among all these models, the spectral gap is finally opened when the interaction is strong enough.


title: NLO QCD corrections to exclusive electroproduction of quarkonium

abstract: The process of exclusive electroproduction of vector quarkonium (EEQ), $e p\to epV$, is per se an interesting topic in studies of quarkonium production mechanism, QCD description of diffractive interaction and nucleon structure. We investigate this process in the framework of nonrelativistic QCD and QCD collinear factorization at the next-to-leading order QCD accuracy. The perturbative convergence behavior is discussed in a large range of photon virtuality $Q^2$. The $J/\psi$ large-$Q^2$ electroproduction data at HERA can be well explained, and the $\Upsilon$ differential production rate is predicted. The uncertainties in theoretical predictions with radiative corrections are greatly reduced. Notice the EEQ process is extremely sensitive to the gluon distribution in nucleon, the generalized parton distribution, our results will constraint the gluon density with high precision while confronting to the future experimental data. For the sake of comparing convenience, the analytic expressions are provided.


title: Open Information Extraction from Question-Answer Pairs

abstract: Open Information Extraction (OpenIE) extracts meaningful structured tuples from free-form text. Most previous work on OpenIE considers extracting data from one sentence at a time. We describe NeurON, a system for extracting tuples from question-answer pairs. Since real questions and answers often contain precisely the information that users care about, such information is particularly desirable to extend a knowledge base with. NeurON addresses several challenges. First, an answer text is often hard to understand without knowing the question, and second, relevant information can span multiple sentences. To address these, NeurON formulates extraction as a multi-source sequence-to-sequence learning task, wherein it combines distributed representations of a question and an answer to generate knowledge facts. We describe experiments on two real-world datasets that demonstrate that NeurON can find a significant number of new and interesting facts to extend a knowledge base compared to state-of-the-art OpenIE methods.


title: The distance, supernova rate and supernova progenitors of NGC 6946

abstract: The distance to the fireworks galaxy NGC 6946 is highly uncertain. Recent distance estimates using the tip of the red giant branch of 7.7 to 7.8 Mpc are larger than the distance commonly assumed for studying supernovae in this galaxy of 5.9 Mpc. Here we use the high supernova rate of the galaxy to derive the star-formation rate and predict the galaxy's FUV flux. We also account for dust extinction by different methods to derive a distance of 7.9+/-4.0 Mpc for NGC 6946. We then use the new distance to re-evaluate the understanding of the supernova progenitors 2002hh, 2004et, 2017eaw, the possible electron capture event 2008S and the possible black-hole forming event N6946-BH1. For the latter two exotic events the new distance improves the consistency between the observed progenitors and the stellar models that give rise to these events. From our findings we strongly recommend that all future studies of NGC~6946 must use the greater distance to the galaxy of 7.72+/-0.32 Mpc of Anand et al. (2018).


title: A Spectroscopic Analysis of the California-Kepler Survey Sample: I. Stellar Parameters, Planetary Radii and a Slope in the Radius Gap

abstract: We present results from a quantitative spectroscopic analysis conducted on archival Keck/HIRES high-resolution spectra from the California-$Kepler$ Survey (CKS) sample of transiting planetary host stars identified from the $Kepler$ mission. The spectroscopic analysis was based on a carefully selected set of Fe I and Fe II lines, resulting in precise values for the stellar parameters of effective temperature (T$_{\rm eff}$) and surface gravity (log $g$). Combining the stellar parameters with $Gaia$ DR2 parallaxes and precise distances, we derived both stellar and planetary radii for our sample, with a median internal uncertainty of 2.8$\%$ in the stellar radii and 3.7$\%$ in the planetary radii. An investigation into the distribution of planetary radii confirmed the bimodal nature of this distribution for the small radius planets found in previous studies, with peaks at: $\sim$1.47 $\pm$ 0.05 R$_{\oplus}$ and $\sim$2.72 $\pm$ 0.10 R$_{\oplus}$, with a gap at $\sim$ 1.9R$_{\oplus}$. Previous studies that modeled planetary formation that is dominated by photo-evaporation predicted this bimodal radii distribution and the presence of a radius gap, or photo-evaporation valley. Our results are in overall agreement with these models. The high internal precision achieved here in the derived planetary radii clearly reveal the presence of a slope in the photo-evaporation valley for the CKS sample, indicating that the position of the radius gap decreases with orbital period; this decrease was fit by a power law of the form R$_{pl}$ $\propto$ P$^{-0.11}$, which is consistent with photo-evaporation and Earth-like core composition models of planet formation.


title: Electronic structures of air-exposed few-layer black phosphorus by optical spectroscopy

abstract: The electronic structure of few-layer(FL) black phosphorus(BP) sensitively depends on the sample thickness, strain and doping. In this paper, we show that it is also vulnerable to air-exposure. The oxidation of BP caused by air-exposure gives several optical signatures, including the broadening of resonance peaks and increased Stokes shift between infrared (IR) absorption and photoluminescence (PL) peaks. More importantly, air exposure causes blue shifts of all resonance peaks in IR absorption and PL spectra, with more prominent effects for thinner samples and higher order subband transitions. Our study alludes a convenient and exotic way for band-structure engineering of FL-BP through controllable air-exposure or defect creation.


title: The Laguerre Unitary Process

abstract: We define a new matrix-valued stochastic process with independent stationary increments from the Laguerre Unitary Ensemble, which in a certain sense may be considered a matrix generalisation of the gamma process. We show that eigenvalues of this matrix-valued process forms a spatiotemporal determinantal point process and give an explicit expression for the correlation kernel in terms of Laguerre polynomials. Furthermore, we show that in an appropriate long time scaling limit, this correlation kernel becomes identical to that of Dyson Brownian Motion.


title: The wrapped xgamma distribution for modeling circular data appearing in geological context

abstract: The technique of wrapping of a univariate probability distribution is very effective in getting a circular form of the underlying density. In this article, we introduce the circular (wrapped) version of xgamma distribution and study its different distributional properties. To estimate the unknown parameter, maximum likelihood method is proposed. A Monte-Carlo simulation study is performed to understand the behaviour of the estimates for varying sample size. To illustrate the application of the proposed distribution, a real data set on the long axis orientation of feldspar laths in basalt rock is analyzed and compared with other circular distributions.


title: Symbolic powers of certain cover ideals of graphs

abstract: In this paper, we compute the regularity and Hilbert series of symbolic powers of the cover ideal of a graph $G$ when $G$ is either a crown graph or a complete multipartite graph. We also compute the multiplicity of symbolic powers of cover ideals in terms of the number of edges.


title: Pyramid Feature Attention Network for Saliency detection

abstract: Saliency detection is one of the basic challenges in computer vision. How to extract effective features is a critical point for saliency detection. Recent methods mainly adopt integrating multi-scale convolutional features indiscriminately. However, not all features are useful for saliency detection and some even cause interferences. To solve this problem, we propose Pyramid Feature Attention network to focus on effective high-level context features and low-level spatial structural features. First, we design Context-aware Pyramid Feature Extraction (CPFE) module for multi-scale high-level feature maps to capture rich context features. Second, we adopt channel-wise attention (CA) after CPFE feature maps and spatial attention (SA) after low-level feature maps, then fuse outputs of CA & SA together. Finally, we propose an edge preservation loss to guide network to learn more detailed information in boundary localization. Extensive evaluations on five benchmark datasets demonstrate that the proposed method outperforms the state-of-the-art approaches under different evaluation metrics.


title: Linear-response-based DFT+U method for exploring half-metallic Co-based full Heusler alloys

abstract: The density functional theory (DFT)+U method based on the linear response (LR) theory was applied to investigate the electronic structures of Co-based ternary full Heusler alloy Co$_2Y$Si for exploring half-metallic (HM) ferromagnets with a wide HM gap. The LR-based DFT+U calculations tend to obtain a reasonable correlation parameter for $Y$ site, while the correlation of Co site misleads to the unphysical ground state due to the overestimated parameter value that arises from the delocalized electronic structure of Co. Furthermore, we found that the HM gap of Co$_2$MnSi originates from Co $e_u$ orbital in the conduction state and Co-Mn hybridizing $t_{2g}$ orbital in the valence state around the Fermi energy. This means that the HM gap is a tunable property by selecting the $Y$ element and/or mixing several elements into the $Y$ site through $t_{2g}$ atomic-orbital coupling. Our LR-based DFT+U method was extended to other ternary Co$_2Y$Si and quaternary Co$_2$($Y$,Mn)Si. We found that Co$_2$(Ti$_{0.25}$,Mn$_{0.75}$)Si and Co$_2$(Fe$_{0.25}$,Mn$_{0.75}$)Si show HM nature, with the Fermi energy being at almost the center of the minority band gap, which leads to high thermal stability.


title: Growth of a tree with allocations rules: Part 1 Kinematics

abstract: A non-local model describing the growth of a tree-like transportation network with given allocation rules is proposed. In this model we focus on tree like networks, and the network transports the very resource it needs to build itself. Some general results are given on the viability tree-like networks that produce an amount of resource based on its amount of leaves while having a maintenance cost for each node. Some analytical studies and numerical surveys of the model in "simple" situations are made. The different outcomes are discussed and possible extensions of the model are then discussed.


title: Distributed Variational Bayesian Algorithms for Extended Object Tracking

abstract: This paper is concerned with the problem of distributed extended object tracking, which aims to collaboratively estimate the state and extension of an object by a network of nodes. In traditional tracking applications, most approaches consider an object as a point source of measurements due to limited sensor resolution capabilities. Recently, some studies consider the extended objects, which are spatially structured, i.e., multiple resolution cells are occupied by an object. In this setting, multiple measurements are generated by each object per time step. In this paper, we present a Bayesian model for extended object tracking problem in a sensor network. In this model, the object extension is represented by a symmetric positive definite random matrix, and we assume that the measurement noise exists but is unknown. Using this Bayesian model, we first propose a novel centralized algorithm for extended object tracking based on variational Bayesian methods. Then, we extend it to the distributed scenario based on the alternating direction method of multipliers (ADMM) technique. The proposed algorithms can simultaneously estimate the extended object state (the kinematic state and extension) and the measurement noise covariance. Simulations on both extended object tracking and group target tracking are given to verify the effectiveness of the proposed model and algorithms.


title: Lung CT Imaging Sign Classification through Deep Learning on Small Data

abstract: The annotated medical images are usually expensive to be collected. This paper proposes a deep learning method on small data to classify Common Imaging Signs of Lung diseases (CISL) in computed tomography (CT) images. We explore both the real data and the data generated by Generative Adversarial Network (GAN) to improve the reliability and the generalization of learning. First, we use GAN to generate a large number of CISLs from small annotated data, which are difficult to be distinguished from real counterparts. These generated samples are used to pre-train a Convolutional Neural Network (CNN) for classifying CISLs. Second, we fine-tune the CNN classification model with real data. Experiments were conducted on the LISS database of CISLs. We successfully convinced radiologists that our generated CISLs samples were real for 56.7% of our experiments. The pre-trained CNN model achieves 88.4% of mean accuracy of binary classification, and after fine-tuning, the mean accuracy is significantly increased to 95.0%. For multi-classification of all types of CISLs and normal tissues, through the two stages of training, the mean accuracy, sensitivity and specificity are up to about 91.83%, 92.73% and 99.0%, respectively. To our knowledge, this is the best result achieved on the LISS database, which demonstrates that the proposed method is effective and promising for fulfilling deep learning on small data.


title: Proximal algorithms for constrained composite optimization, with applications to solving low-rank SDPs

abstract: We study a family of (potentially non-convex) constrained optimization problems with convex composite structure. Through a novel analysis of non-smooth geometry, we show that proximal-type algorithms applied to exact penalty formulations of such problems exhibit local linear convergence under a quadratic growth condition, which the compositional structure we consider ensures. The main application of our results is to low-rank semidefinite optimization with Burer-Monteiro factorizations. We precisely identify the conditions for quadratic growth in the factorized problem via structures in the semidefinite problem, which could be of independent interest for understanding matrix factorization.


title: MVC-3D: Adaptive Design Pattern for Virtual and Augmented Reality Systems

abstract: In this paper, we present MVC-3D design pattern to develop virtual and augmented (or mixed) reality interfaces that use new types of sensors, modalities and implement specific algorithms and simulation models. The proposed pattern represents the extension of classic MVC pattern by enriching the View component (interactive View) and adding a specific component (Library). The results obtained on the development of augmented reality interfaces showed that the complexity of M, iV and C components is reduced. The complexity increases only on the Library component (L). This helps the programmers to well structure their models even if the interface complexity increases. The proposed design pattern is also used in a design process called MVC-3D in the loop that enables a seamless evolution from initial prototype to the final system.


title: Discrete gradients for computational Bayesian inference

abstract: In this paper, we exploit the gradient flow structure of continuous-time formulations of Bayesian inference in terms of their numerical time-stepping. We focus on two particular examples, namely, the continuous-time ensemble Kalman-Bucy filter and a particle discretisation of the Fokker-Planck equation associated to Brownian dynamics. Both formulations can lead to stiff differential equations which require special numerical methods for their efficient numerical implementation. We compare discrete gradient methods to alternative semi-implicit and other iterative implementations of the underlying Bayesian inference problems.


title: Superconducting Quantum Annealing Architecture with LC Resonators

abstract: We propose a novel architecture for superconducting circuits to improve the efficiency of a quantum annealing system. To increase the capability of a circuit, it is desirable for a qubit to be coupled not only with adjacent qubits but also with other qubits located far away. We introduce a circuit that uses a lumped element resonator coupled each with one qubit. The resonator-qubit pairs are coupled by rf-superconducting quantum interference device (SQUID) based couplers. These pairs make a large quantum system for quantum annealer. This system could prepare the problem Hamiltonian and tune the parameters for quantum annealing procedure.


title: On the number of autotopies of an $n$-ary qusigroup of order $4$

abstract: An algebraic system from a finite set $\Sigma$ of cardinality $k$ and an $n$-ary operation $f$ invertible in each argument is called an $n$-ary quasigroup of order $k$. An autotopy of an $n$-ary quasigroup $(\Sigma,f)$ is a collection $(\theta_0,\theta_1,...,\theta_n)$ of $n+1$ permutations of $\Sigma$ such that $f(\theta_1(x_1),...,\theta_n(x_n))\equiv \theta_0(f(x_1,\ldots,x_n))$. We show that every $n$-ary quasigroup of order $4$ has at least $2^{[n/2]+2}$ and not more than $6\cdot 4^n$ autotopies. We characterize the $n$-ary quasigroups of order $4$ with $2^{(n+3)/2}$, $2\cdot 4^n$, and $6\cdot 4^n$ autotopies.