title: Superpotentials and Geometric Invariants of Parallel/Complete Coincident/Part Coincident D-brane System on Compact Calabi-Yau Manifold

abstract: For D-brane system with three D-branes on compact Calabi-Yau threefolds, the dual F-theory fourfolds for parallel/complete coincident/part coincident D-brane system is constructed by the type II/F-theory duality. Complete coincident means that the three D-branes coincide and part coincident represents the coincident of two of the three D branes. The low energy effective superpotentials are calculated by mirror symmetry, GKZ-system method and the type II/F-theory duality on the B-model side, respectively. Using the mirror symmetry, A-model superpotentials and the Ooguri-Vafa invariants are obtained from the B-model side. These results indicate that the superpotential contributed by one of three parallel D-branes is identical with the D-brane system with only one D-brane, which is a signal of decoupling of the parallel topological D-branes. However, the superpotential and Oogrui-Vafa invariants are different among parallel, complete coincident and part coincident D-brane system, which show the evidence of the phase transition due to the enhanced gauge symmetry in the low energy theories and the geometrical singularity.


title: QLMC-HD: Quasi Large Margin Classifier based on Hyperdisk

abstract: In the area of data classification, the different classifiers have been developed by their own strengths and weaknesses. Among these classifiers, we propose a method that is based on the maximum margin between two classes. One of the main challenges in this area is dealt with noisy data. In this paper, our aim is to optimize the method of large margin classifiers based on hyperdisk (LMC-HD) and combine it into a quasisupport vector data description (QSVDD) method. In the proposed method, the bounding hypersphere is calculated based on the QSVDD method. So our convex class model is more robust compared with the support vector machine (SVM) and less tight than LMC-HD. Large margin classifiers aim to maximize the margin and minimizing the risk. Since our proposed method ignores the effect of outliers and noises, so this method has the widest margin compared with other large margin classifiers. In the end, we compare our proposed method with other popular large margin classifiers by the experiments on a set of standard data which indicates our results are more efficient than the others


title: A New Linear Time Correctness Condition for Multiplicative Linear Logic

abstract: In this paper, we give a new linear time correctness condition for proof nets of Multiplicative Linear Logic without units. Our approach is based on a rewriting system over trees. We have only three rewrite rules. Compared with previous linear time correctness conditions, our system is surprisingly simple and intuitively appealing.


title: Optimal Clustering with Missing Values

abstract: Missing values frequently arise in modern biomedical studies due to various reasons, including missing tests or complex profiling technologies for different omics measurements. Missing values can complicate the application of clustering algorithms, whose goals are to group points based on some similarity criterion. A common practice for dealing with missing values in the context of clustering is to first impute the missing values, and then apply the clustering algorithm on the completed data. We consider missing values in the context of optimal clustering, which finds an optimal clustering operator with reference to an underlying random labeled point process (RLPP). We show how the missing-value problem fits neatly into the overall framework of optimal clustering by incorporating the missing value mechanism into the random labeled point process and then marginalizing out the missing-value process. In particular, we demonstrate the proposed framework for the Gaussian model with arbitrary covariance structures. Comprehensive experimental studies on both synthetic and real-world RNA-seq data show the superior performance of the proposed optimal clustering with missing values when compared to various clustering approaches. Optimal clustering with missing values obviates the need for imputation-based pre-processing of the data, while at the same time possessing smaller clustering errors.


title: Stochastic Bregman Parallel Direction Method of Multipliers for Distributed Optimization

abstract: Bregman parallel direction method of multipliers (BPDMM) efficiently solves distributed optimization over a network, which arises in a wide spectrum of collaborative multi-agent learning applications. In this paper, we generalize BPDMM to stochastic BPDMM, where each iteration only solves local optimization on a randomly selected subset of nodes rather than all the nodes in the network. Such generalization reduce the need for computational resources and allows applications to larger scale networks. We establish both the global convergence and the \(O(1/T)\) iteration complexity of stochastic BPDMM. We demonstrate our results via numerical examples.


title: Optimal and Fast Real-time Resources Slicing with Deep Dueling Neural Networks

abstract: Effective network slicing requires an infrastructure/network provider to deal with the uncertain demand and real-time dynamics of network resource requests. Another challenge is the combinatorial optimization of numerous resources, e.g., radio, computing, and storage. This article develops an optimal and fast real-time resource slicing framework that maximizes the long-term return of the network provider while taking into account the uncertainty of resource demand from tenants. Specifically, we first propose a novel system model which enables the network provider to effectively slice various types of resources to different classes of users under separate virtual slices. We then capture the real-time arrival of slice requests by a semi-Markov decision process. To obtain the optimal resource allocation policy under the dynamics of slicing requests, e.g., uncertain service time and resource demands, a Q-learning algorithm is often adopted in the literature. However, such an algorithm is notorious for its slow convergence, especially for problems with large state/action spaces. This makes Q-learning practically inapplicable to our case in which multiple resources are simultaneously optimized. To tackle it, we propose a novel network slicing approach with an advanced deep learning architecture, called deep dueling that attains the optimal average reward much faster than the conventional Q-learning algorithm. This property is especially desirable to cope with real-time resource requests and the dynamic demands of users. Extensive simulations show that the proposed framework yields up to 40% higher long-term average return while being few thousand times faster, compared with state of the art network slicing approaches.


title: Polyglot Contextual Representations Improve Crosslingual Transfer

abstract: We introduce Rosita, a method to produce multilingual contextual word representations by training a single language model on text from multiple languages. Our method combines the advantages of contextual word representations with those of multilingual representation learning. We produce language models from dissimilar language pairs (English/Arabic and English/Chinese) and use them in dependency parsing, semantic role labeling, and named entity recognition, with comparisons to monolingual and non-contextual variants. Our results provide further evidence for the benefits of polyglot learning, in which representations are shared across multiple languages.


title: GAN-based Projector for Faster Recovery with Convergence Guarantees in Linear Inverse Problems

abstract: A Generative Adversarial Network (GAN) with generator $G$ trained to model the prior of images has been shown to perform better than sparsity-based regularizers in ill-posed inverse problems. Here, we propose a new method of deploying a GAN-based prior to solve linear inverse problems using projected gradient descent (PGD). Our method learns a network-based projector for use in the PGD algorithm, eliminating expensive computation of the Jacobian of $G$. Experiments show that our approach provides a speed-up of $60\text{-}80\times$ over earlier GAN-based recovery methods along with better accuracy. Our main theoretical result is that if the measurement matrix is moderately conditioned on the manifold range($G$) and the projector is $\delta$-approximate, then the algorithm is guaranteed to reach $O(\delta)$ reconstruction error in $O(log(1/\delta))$ steps in the low noise regime. Additionally, we propose a fast method to design such measurement matrices for a given $G$. Extensive experiments demonstrate the efficacy of this method by requiring $5\text{-}10\times$ fewer measurements than random Gaussian measurement matrices for comparable recovery performance. Because the learning of the GAN and projector is decoupled from the measurement operator, our GAN-based projector and recovery algorithm are applicable without retraining to all linear inverse problems, as confirmed by experiments on compressed sensing, super-resolution, and inpainting.


title: Algorithms and software for projections onto intersections of convex and non-convex sets with applications to inverse problems

abstract: We propose algorithms and software for computing projections onto the intersection of multiple convex and non-convex constraint sets. The software package, called SetIntersectionProjection, is intended for the regularization of inverse problems in physical parameter estimation and image processing. The primary design criterion is working with multiple sets, which allows us to solve inverse problems with multiple pieces of prior knowledge. Our algorithms outperform the well known Dykstra's algorithm when individual sets are not easy to project onto because we exploit similarities between constraint sets. Other design choices that make the software fast and practical to use, include recently developed automatic selection methods for auxiliary algorithm parameters, fine and coarse grained parallelism, and a multilevel acceleration scheme. We provide implementation details and examples that show how the software can be used to regularize inverse problems. Results show that we benefit from working with all available prior information and are not limited to one or two regularizers because of algorithmic, computational, or hyper-parameter selection issues.


title: Learning to Sample Hard Instances for Graph Algorithms

abstract: Hard instances, which require a long time for a specific algorithm to solve, help (1) analyze the algorithm for accelerating it and (2) build a good benchmark for evaluating the performance of algorithms. There exist several efforts for automatic generation of hard instances. For example, evolutionary algorithms have been utilized to generate hard instances. However, they generate only finite number of hard instances. The merit of such methods is limited because it is difficult to extract meaningful patterns from small number of instances. We seek for a probabilistic generator of hard instances. Once the generative distribution of hard instances is obtained, we can sample a variety of hard instances to build a benchmark, and we can extract meaningful patterns of hard instances from sampled instances. The existing methods for modeling the hard instance distribution rely on parameters or rules that are found by domain experts; however, they are specific to the problem. Hence, it is challenging to model the distribution for general cases. In this paper, we focus on graph problems. We propose HiSampler, the hard instance sampler, to model the hard instance distribution of graph algorithms. HiSampler makes it possible to obtain the distribution of hard instances without hand-engineered features. To the best of our knowledge, this is the first method to learn the distribution of hard instances using machine learning. Through experiments, we demonstrate that our proposed method can generate instances that are a few to several orders of magnitude harder than the random-based approach in many settings. In particular, our method outperforms rule-based algorithms in the 3-coloring problem.


title: Learning Implicitly Recurrent CNNs Through Parameter Sharing

abstract: We introduce a parameter sharing scheme, in which different layers of a convolutional neural network (CNN) are defined by a learned linear combination of parameter tensors from a global bank of templates. Restricting the number of templates yields a flexible hybridization of traditional CNNs and recurrent networks. Compared to traditional CNNs, we demonstrate substantial parameter savings on standard image classification tasks, while maintaining accuracy. Our simple parameter sharing scheme, though defined via soft weights, in practice often yields trained networks with near strict recurrent structure; with negligible side effects, they convert into networks with actual loops. Training these networks thus implicitly involves discovery of suitable recurrent architectures. Though considering only the design aspect of recurrent links, our trained networks achieve accuracy competitive with those built using state-of-the-art neural architecture search (NAS) procedures. Our hybridization of recurrent and convolutional networks may also represent a beneficial architectural bias. Specifically, on synthetic tasks which are algorithmic in nature, our hybrid networks both train faster and extrapolate better to test examples outside the span of the training set.


title: A Unifying Framework for Spectrum-Preserving Graph Sparsification and Coarsening

abstract: How might one "reduce" a graph? That is, generate a smaller graph that preserves the global structure at the expense of discarding local details? There has been extensive work on both graph sparsification (removing edges) and graph coarsening (merging nodes, often by edge contraction); however, these operations are currently treated separately. Interestingly, for a planar graph, edge deletion corresponds to edge contraction in its planar dual (and more generally, for a graphical matroid and its dual). Moreover, with respect to the dynamics induced by the graph Laplacian (e.g., diffusion), deletion and contraction are physical manifestations of two reciprocal limits: edge weights of $0$ and $\infty$, respectively. In this work, we provide a unifying framework that captures both of these operations, allowing one to simultaneously sparsify and coarsen a graph while preserving its large-scale structure. The limit of infinite edge weight is rarely considered, as many classical notions of graph similarity diverge. However, its algebraic, geometric, and physical interpretations are reflected in the Laplacian pseudoinverse $\mathbf{\mathit{L}}^{\dagger}$, which remains finite in this limit. Motivated by this insight, we provide a probabilistic algorithm that reduces graphs while preserving $\mathbf{\mathit{L}}^{\dagger}$, using an unbiased procedure that minimizes its variance. We compare our algorithm with several existing sparsification and coarsening algorithms using real-world datasets, and demonstrate that it more accurately preserves the large-scale structure.


title: A Source-Oriented Approach to Coal Power Plant Emissions Health Effects

abstract: There is increasing focus on whether air pollution originating from different sources has different health implications. In particular, recent evidence suggests that fine particulate matter (PM2.5) with chemical tracers suggesting coal combustion origins is especially harmful. Augmenting this knowledge with estimates from causal inference methods to identify the health impacts of PM2.5 derived from specific point sources of coal combustion would be an important step towards informing specific, targeted interventions. We investigated the effect of high-exposure to coal combustion emissions from 783 coal-fired power generating units on ischemic heart disease (IHD) hospitalizations in over 19 million Medicare beneficiaries residing at 21,351 ZIP codes in the eastern United States. We used InMAP, a newly-developed, reduced-complexity air quality model to classify each ZIP code as either a high-exposed or control location. Our health outcomes analysis uses a causal inference method - propensity score matching - to adjust for potential confounders of the relationship between exposure and IHD. We fit separate Poisson regression models to the matched data in each geographic region to estimate the incidence rate ratio for IHD comparing high-exposed to control locations. High exposure to coal power plant emissions and IHD were positively associated in the Northeast (IRR = 1.08, 95% CI = 1.06, 1.09) and the Southeast (IRR = 1.06, 95% CI = 1.04, 1.08). No significant association was found in the Industrial Midwest (IRR = 1.02, 95% CI = 1.00, 1.04), likely the result of small exposure contrasts between high-exposed and control ZIP codes in that region. This study provides targeted evidence of the association between emissions from specific coal power plants and IHD hospitalizations among Medicare beneficiaries.


title: A new class of nonreciprocal spin waves on the edges of 2D antiferromagnetic honeycomb nanoribbons

abstract: Antiferromagnetic two-dimensional (2D) materials are currently under intensive theoretical and experimental investigations in view of their potential applications in antiferromagnet-based magnonic and spintronic devices. Recent experimental studies revealed the importance of magnetic anisotropy and Dzyaloshinskii-Moriya interactions (DMI) on the ordered ground state and the magnetic excitations in these materials. Here we present a robust classical field theory approach to analyze the effect of magnetic anisotropy and Dzyaloshinskii-Moriya interactions (DMI) on the edge and bulk spin waves in 2D antiferromagnetic nanoribbons. We predict the existence of a new class of nonreciprocal edge spin waves characterized by opposite polarizations in opposite directions. These novel edge spin waves are induced by the DMI and are fundamentally different from conventional nonreciprocal spin waves for which the polarization is independent of the propagation direction. Aside this breakthrough in the field of antiferromagnetic spin waves, the study further analysis the effect of the edges structure on the magnetic excitations. In particular, we show that anisotropic bearded edges nanoribbons act as magnetic topological insulators with exceptionally interesting potentials for applications in magnonics.


title: Beyond the Self: Using Grounded Affordances to Interpret and Describe Others' Actions

abstract: We propose a developmental approach that allows a robot to interpret and describe the actions of human agents by reusing previous experience. The robot first learns the association between words and object affordances by manipulating the objects in its environment. It then uses this information to learn a mapping between its own actions and those performed by a human in a shared environment. It finally fuses the information from these two models to interpret and describe human actions in light of its own experience. In our experiments, we show that the model can be used flexibly to do inference on different aspects of the scene. We can predict the effects of an action on the basis of object properties. We can revise the belief that a certain action occurred, given the observed effects of the human action. In an early action recognition fashion, we can anticipate the effects when the action has only been partially observed. By estimating the probability of words given the evidence and feeding them into a pre-defined grammar, we can generate relevant descriptions of the scene. We believe that this is a step towards providing robots with the fundamental skills to engage in social collaboration with humans.


title: Community-based 3-SAT Formulas with a Predefined Solution

abstract: It is crucial to generate crafted SAT formulas with predefined solutions for the testing and development of SAT solvers since many SAT formulas from real-world applications have solutions. Although some generating algorithms have been proposed to generate SAT formulas with predefined solutions, community structures of SAT formulas are not considered. We propose a 3-SAT formula generating algorithm that not only guarantees the existence of a predefined solution, but also simultaneously considers community structures and clause distributions. The proposed 3-SAT formula generating algorithm controls the quality of community structures through controlling (1) the number of clauses whose variables have a common community, which we call intra-community clauses, and (2) the number of variables that only belong to one community, which we call intra-community variables. To study the combined effect of community structures and clause distributions on the hardness of SAT formulas, we measure solving runtimes of two solvers, gluHack (a leading CDCL solver) and CPSparrow (a leading SLS solver), on the generated SAT formulas under different groups of parameter settings. Through extensive experiments, we obtain some noteworthy observations on the SAT formulas generated by the proposed algorithm: (1) The community structure has little or no effects on the hardness of SAT formulas with regard to CPSparrow but a strong effect with regard to gluHack. (2) Only when the proportion of true literals in a SAT formula in terms of the predefined solution is 0.5, SAT formulas are hard-to-solve with regard to gluHack; when this proportion is below 0.5, SAT formulas are hard-to-solve with regard to CPSparrow. (3) When the ratio of the number of clauses to that of variables is around 4.25, the SAT formulas are hard-to-solve with regard to both gluHack and CPSparrow.


title: MFQE 2.0: A New Approach for Multi-frame Quality Enhancement on Compressed Video

abstract: The past few years have witnessed great success in applying deep learning to enhance the quality of compressed image/video. The existing approaches mainly focus on enhancing the quality of a single frame, not considering the similarity between consecutive frames. Since heavy fluctuation exists across compressed video frames as investigated in this paper, frame similarity can be utilized for quality enhancement of low-quality frames given their neighboring high-quality frames. This task is Multi-Frame Quality Enhancement (MFQE). Accordingly, this paper proposes an MFQE approach for compressed video, as the first attempt in this direction. In our approach, we firstly develop a Bidirectional Long Short-Term Memory (BiLSTM) based detector to locate Peak Quality Frames (PQFs) in compressed video. Then, a novel Multi-Frame Convolutional Neural Network (MF-CNN) is designed to enhance the quality of compressed video, in which the non-PQF and its nearest two PQFs are the input. In MF-CNN, motion between the non-PQF and PQFs is compensated by a motion compensation subnet. Subsequently, a quality enhancement subnet fuses the non-PQF and compensated PQFs, and then reduces the compression artifacts of the non-PQF. Also, PQF quality is enhanced in the same way. Finally, experiments validate the effectiveness and generalization ability of our MFQE approach in advancing the state-of-the-art quality enhancement of compressed video. The code is available at https://github.com/RyanXingQL/MFQEv2.0.git.


title: Oriented Three-Dimensional Magnetic Biskyrmion in MnNiGa Bulk Crystals

abstract: A biskyrmion consists of two bound, topologically stable skyrmion spin textures. These coffee-bean-shaped objects have been observed in real-space in thin plates using Lorentz transmission electron microscopy (LTEM). From LTEM imaging alone, it is not clear whether biskyrmions are surface-confined objects, or, analogously to skyrmions in non-centrosymmetric helimagnets, three-dimensional tube-like structures in bulk sample. Here, we investigate the biskyrmion form factor in single- and polycrystalline MnNiGa samples using small angle neutron scattering (SANS). We find that biskyrmions are not long-range ordered, not even in single-crystals. Surprisingly all of the disordered biskyrmions have their in-plane symmetry axis aligned along certain directions, governed by the magnetocrystalline anisotropy. This anisotropic nature of biskyrmions may be further exploited to encode information.


title: Towards Higher Spectral Efficiency: Spatial Path Index Modulation Improves Millimeter-Wave Hybrid Beamforming

abstract: The combination of millimeter wave (mmWave) multiple-input multiple-output (MIMO) systems and index modulation (IM) technique has recently constituted a novel form of mmWave hybrid beamforming. Lots of studies have been conducted to show that such system has the potential to outperform conventional mmWave-MIMOs with respect to spectral efficiency (SE). Most of the current works only focused on designing hybrid beamforming structures to empirically achieve higher SE performance. However, a fundamental question that whether IM technique can truly improve the SE of current mmWave hybrid beamforming is still left unanswered. Against such background, in this work we firstly extend the IM-assisted mmWave system to a more generalized version, i.e. a spatial path index modulation aided mmWave (SPIM-mmWave) system, which subsumes both IM-assisted and conventional mmWave-MIMO systems as its special cases. Based on the framework of SPIM-mmWave, a fundamental study is conducted towards a theoretic condition under which SPIM-mmWave guarantees to outperform conventional mmWave-MIMO schemes. It is demonstrated that, under a specific channel condition and noise level (which will be explicitly given by our work), SPIM-mmWave guarantees to outperform conventional mmWave-MIMO systems.


title: TOI-150: A transiting hot Jupiter in the TESS southern CVZ

abstract: We report the detection of a hot Jupiter ($M_{p}=1.75_{-0.17}^{+0.14}\ M_{J}$, $R_{p}=1.38\pm0.04\ R_{J}$) orbiting a middle-aged star ($\log g=4.152^{+0.030}_{-0.043}$) in the Transiting Exoplanet Survey Satellite (TESS) southern continuous viewing zone ($\beta=-79.59^{\circ}$). We confirm the planetary nature of the candidate TOI-150.01 using radial velocity observations from the APOGEE-2 South spectrograph and the Carnegie Planet Finder Spectrograph, ground-based photometric observations from the robotic Three-hundred MilliMeter Telescope at Las Campanas Observatory, and Gaia distance estimates. Large-scale spectroscopic surveys, such as APOGEE/APOGEE-2, now have sufficient radial velocity precision to directly confirm the signature of giant exoplanets, making such data sets valuable tools in the TESS era. Continual monitoring of TOI-150 by TESS can reveal additional planets and subsequent observations can provide insights into planetary system architectures involving a hot Jupiter around a star about halfway through its main-sequence life.


title: Detecting Data Errors with Statistical Constraints

abstract: A powerful approach to detecting erroneous data is to check which potentially dirty data records are incompatible with a user's domain knowledge. Previous approaches allow the user to specify domain knowledge in the form of logical constraints (e.g., functional dependency and denial constraints). We extend the constraint-based approach by introducing a novel class of statistical constraints (SCs). An SC treats each column as a random variable, and enforces an independence or dependence relationship between two (or a few) random variables. Statistical constraints are expressive, allowing the user to specify a wide range of domain knowledge, beyond traditional integrity constraints. Furthermore, they work harmoniously with downstream statistical modeling. We develop CODED, an SC-Oriented Data Error Detection system that supports three key tasks: (1) Checking whether an SC is violated or not on a given dataset, (2) Identify the top-k records that contribute the most to the violation of an SC, and (3) Checking whether a set of input SCs have conflicts or not. We present effective solutions for each task. Experiments on synthetic and real-world data illustrate how SCs apply to error detection, and provide evidence that CODED performs better than state-of-the-art approaches.


title: Sarnak's Conjecture for nilsequences on arbitrary number fields and applications

abstract: We formulate the generalized Sarnak's M\"obius disjointness conjecture for an arbitrary number field $K$, and prove a quantitative disjointness result between polynomial nilsequences $(\Phi(g(n)\Gamma))_{n\in\mathbb{Z}^{D}}$ and aperiodic multiplicative functions on $\mathcal{O}_{K}$, the ring of integers of $K$. Here $D=[K\colon\mathbb{Q}]$, $X=G/\Gamma$ is a nilmanifold, $g\colon\mathbb{Z}^{D}\to G$ is a polynomial sequence, and $\Phi\colon X\to \mathbb{C}$ is a Lipschitz function. The proof uses tools from multi-dimensional higher order Fourier analysis, multi-linear analysis, orbit properties on nilmanifold, and an orthogonality criterion of K\'atai in $\mathcal{O}_{K}$. We also use variations of this result to derive applications in number theory and combinatorics: (1) we prove a structure theorem for multiplicative functions on $K$, saying that every bounded multiplicative function can be decomposed into the sum of an almost periodic function (the structural part) and a function with small Gowers uniformity norm of any degree (the uniform part); (2) we give a necessary and sufficient condition for the Gowers norms of a bounded multiplicative function in $\mathcal{O}_{K}$ to be zero; (3) we provide partition regularity results over $K$ for a large class of homogeneous equations in three variables. For example, for $a,b\in\mathbb{Z}\backslash\{0\}$, we show that for every partition of $\mathcal{O}_{K}$ into finitely many cells, where $K=\mathbb{Q}(\sqrt{a},\sqrt{b},\sqrt{a+b})$, there exist distinct and non-zero $x,y$ belonging to the same cell and $z\in\mathcal{O}_{K}$ such that $ax^{2}+by^{2}=z^{2}$.


title: Interpretable Structure-aware Document Encoders with Hierarchical Attention

abstract: We propose a method to create document representations that reflect their internal structure. We modify Tree-LSTMs to hierarchically merge basic elements such as words and sentences into blocks of increasing complexity. Our Structure Tree-LSTM implements a hierarchical attention mechanism over individual components and combinations thereof. We thus emphasize the usefulness of Tree-LSTMs for texts larger than a sentence. We show that structure-aware encoders can be used to improve the performance of document classification. We demonstrate that our method is resilient to changes to the basic building blocks, as it performs well with both sentence and word embeddings. The Structure Tree-LSTM outperforms all the baselines on two datasets by leveraging structural clues. We show our model's interpretability by visualizing how our model distributes attention inside a document. On a third dataset from the medical domain, our model achieves competitive performance with the state of the art. This result shows the Structure Tree-LSTM can leverage dependency relations other than text structure, such as a set of reports on the same patient.


title: NAC: Automating Access Control via Named Data

abstract: In this paper we present the design of Name-based Access Control (NAC) scheme, which supports data confidentiality and access control in Named Data Networking (NDN) architecture by encrypting content at the time of production, and by automating the distribution of encryption and decryption keys. NAC achieves the above design goals by leveraging specially crafted NDN naming conventions to define and enforce access control policies, and to automate the cryptographic key management. The paper also explains how NDN's hierarchically structured namespace allows NAC to support fine-grained access control policies, and how NDN's Interest-Data exchange can help NAC to function in case of intermittent connectivity. Moreover, we show that NAC design can be further extended to support Attribute-based Encryption (ABE), which supports access control with additional levels of flexibility and scalability.


title: Strong magnon-photon coupling in ferromagnet-superconducting resonator thin-film devices

abstract: We demonstrate strong magnon-photon coupling of a thin-film permalloy device fabricated on a coplanar superconducting resonator. A coupling strength of 0.152 GHz and a cooperativity of 68 are found for a 30-nm-thick permalloy stripe. The coupling strength is tunable by rotating the biasing magnetic field or changing the volume of permalloy. We also observe an enhancement of magnon-photon coupling in the nonlinear regime of the superconducting resonator, which is mediated by the nucleation of dynamic flux vortices. Our results demonstrate a critical step towards future integrated hybrid systems for quantum magnonics and on-chip coherent information transfer.


title: Raman sideband cooling of $^{25}$Mg$^+$ -$^{27}$Al$^+$ ions pair and observation of quantum logic spectra

abstract: We perform quantum logic spectroscopy (QLS) on $^{27}$Al$^+$ ion $^1$S$_0$ - $^3$P$_1$ transition, which is an important step toward the QLS based $^{27}$Al$^+$ ion optical clock. As a precondition of QLS, both the stretch (STR) mode and the common (COM) mode of the $^{27}$Al$^+$ and $^{25}$Mg$^+$ ions pair are cooled to the vibrational ground state by Raman sideband cooling. The mean phonon number is measured to be 0.10(1) for the STR mode and 0.01(1) for the COM mode, respectively. The heating rate is evaluated to be 13(3) phonons/s for the STR mode and 5.5(1) phonons/s for the COM mode.


title: Geometric automorphism groups of symplectic 4-manifolds

abstract: Let $M$ be a closed, oriented, smooth $4-$manifold with intersection form $\Gamma$, $A(\Gamma)$ the automorphism group of $\Gamma$ and $D(M)$ the subgroup induced by orientation-preserving diffeomorphisms of $M$. In this note we study the question when $D(M)$ is of infinite index in $A(\Gamma)$ for a symplectic 4-manifold.


title: Landscape of IoT Patterns

abstract: Patterns are encapsulations of problems and solutions under specific contexts. As the industry is realizing many successes (and failures) in IoT systems development and operations, many IoT patterns have been published such as IoT design patterns and IoT architecture patterns. Because these patterns are not well classified, their adoption does not live up to their potential. To understand the reasons, this paper analyzes an extensive set of published IoT architecture and design patterns according to several dimensions and outlines directions for improvements in publishing and adopting IoT patterns.


title: Kepler-411: a four-planet system with an active host star

abstract: We present a detailed characterization of the Kepler-411 system (KOI 1781). This system was previously known to host two transiting planets: one with a period of 3 days ($R=2.4R_\oplus$; Kepler-411b) and one with a period of 7.8 days ($R=4.4R_\oplus$; Kepler-411c), as well as a transiting planetary candidate with a 58-day period ($R=3.3R_\oplus$; KOI 1781.03) from Kepler photometry. Here, we combine Kepler photometry data and new transit timing variation (TTV) measurements from all the Kepler quarters with previous adaptive-optics imaging results, and dynamical simulations, in order to constrain the properties of the Kepler-411 system. From our analysis, we obtain masses of 25.6$\pm$2.6$M_\oplus$ for Kepler-411b and 26.4$\pm$5.9 $M_\oplus$ for Kepler-411c, and we confirm the planetary nature of KOI 1781.03 with a mass of 15.2$\pm$5.1$M_\oplus$, hence the name Kepler-411d. Furthermore, by assuming near-coplanarity of the system (mutual inclination below $30^\circ$), we discover a nontransiting planet, Kepler-411e, with a mass of 10.8$\pm$1.1$M_\oplus$ on a 31.5-day orbit, which has a strong dynamical interaction with Kepler-411d. With densities of $1.71\pm0.39$~g\,cm$^{-3}$ and $2.32\pm0.83$~g\,cm$^{-3}$, both Kepler-411c and Kepler-411d belong to the group of planets with a massive core and a significant fraction of volatiles. Although Kepler-411b has a sub-Neptune size, it belongs to the group of rocky planets.


title: Learning a Deep ConvNet for Multi-label Classification with Partial Labels

abstract: Deep ConvNets have shown great performance for single-label image classification (e.g. ImageNet), but it is necessary to move beyond the single-label classification task because pictures of everyday life are inherently multi-label. Multi-label classification is a more difficult task than single-label classification because both the input images and output label spaces are more complex. Furthermore, collecting clean multi-label annotations is more difficult to scale-up than single-label annotations. To reduce the annotation cost, we propose to train a model with partial labels i.e. only some labels are known per image. We first empirically compare different labeling strategies to show the potential for using partial labels on multi-label datasets. Then to learn with partial labels, we introduce a new classification loss that exploits the proportion of known labels per example. Our approach allows the use of the same training settings as when learning with all the annotations. We further explore several curriculum learning based strategies to predict missing labels. Experiments are performed on three large-scale multi-label datasets: MS COCO, NUS-WIDE and Open Images.


title: Coulomb drag of excitons in Bose-Fermi mixtures

abstract: We develop a microscopic theory of the Coulomb drag effect in a hybrid system consisting of spatially separated two-dimensional quantum gases of degenerate electrons and dipolar excitons. We consider both the normal-phase and condensate regimes of the exciton subsystem and investigate the cross-mobility of the system being the kinetic coefficient, which couples the static electric field applied to the electron layer with the particle density current (flux) in the exciton subsystem. We study the temperature dependence of the cross-mobility and its dependence on the interlayer separation. We show that exciton-exciton interaction plays a dramatic role. If the exciton gas is in the normal phase, then the screening of interlayer interaction by the exciton subsystem results in an exponential damping of the cross-mobility with the decrease of temperature, while at low temperatures, the interactions result in a robust bosonic transport due to the emergence of the Bogoliubov quasiparticles.


title: Topological Bayesian Optimization with Persistence Diagrams

abstract: Finding an optimal parameter of a black-box function is important for searching stable material structures and finding optimal neural network structures, and Bayesian optimization algorithms are widely used for the purpose. However, most of existing Bayesian optimization algorithms can only handle vector data and cannot handle complex structured data. In this paper, we propose the topological Bayesian optimization, which can efficiently find an optimal solution from structured data using \emph{topological information}. More specifically, in order to apply Bayesian optimization to structured data, we extract useful topological information from a structure and measure the proper similarity between structures. To this end, we utilize persistent homology, which is a topological data analysis method that was recently applied in machine learning. Moreover, we propose the Bayesian optimization algorithm that can handle multiple types of topological information by using a linear combination of kernels for persistence diagrams. Through experiments, we show that topological information extracted by persistent homology contributes to a more efficient search for optimal structures compared to the random search baseline and the graph Bayesian optimization algorithm.


title: Syntactic Recurrent Neural Network for Authorship Attribution

abstract: Writing style is a combination of consistent decisions at different levels of language production including lexical, syntactic, and structural associated to a specific author (or author groups). While lexical-based models have been widely explored in style-based text classification, relying on content makes the model less scalable when dealing with heterogeneous data comprised of various topics. On the other hand, syntactic models which are content-independent, are more robust against topic variance. In this paper, we introduce a syntactic recurrent neural network to encode the syntactic patterns of a document in a hierarchical structure. The model first learns the syntactic representation of sentences from the sequence of part-of-speech tags. For this purpose, we exploit both convolutional filters and long short-term memories to investigate the short-term and long-term dependencies of part-of-speech tags in the sentences. Subsequently, the syntactic representations of sentences are aggregated into document representation using recurrent neural networks. Our experimental results on PAN 2012 dataset for authorship attribution task shows that syntactic recurrent neural network outperforms the lexical model with the identical architecture by approximately 14% in terms of accuracy.


title: Automated Model Selection with Bayesian Quadrature

abstract: We present a novel technique for tailoring Bayesian quadrature (BQ) to model selection. The state-of-the-art for comparing the evidence of multiple models relies on Monte Carlo methods, which converge slowly and are unreliable for computationally expensive models. Previous research has shown that BQ offers sample efficiency superior to Monte Carlo in computing the evidence of an individual model. However, applying BQ directly to model comparison may waste computation producing an overly-accurate estimate for the evidence of a clearly poor model. We propose an automated and efficient algorithm for computing the most-relevant quantity for model selection: the posterior probability of a model. Our technique maximizes the mutual information between this quantity and observations of the models' likelihoods, yielding efficient acquisition of samples across disparate model spaces when likelihood observations are limited. Our method produces more-accurate model posterior estimates using fewer model likelihood evaluations than standard Bayesian quadrature and Monte Carlo estimators, as we demonstrate on synthetic and real-world examples.


title: Conservative Agency via Attainable Utility Preservation

abstract: Reward functions are easy to misspecify; although designers can make corrections after observing mistakes, an agent pursuing a misspecified reward function can irreversibly change the state of its environment. If that change precludes optimization of the correctly specified reward function, then correction is futile. For example, a robotic factory assistant could break expensive equipment due to a reward misspecification; even if the designers immediately correct the reward function, the damage is done. To mitigate this risk, we introduce an approach that balances optimization of the primary reward function with preservation of the ability to optimize auxiliary reward functions. Surprisingly, even when the auxiliary reward functions are randomly generated and therefore uninformative about the correctly specified reward function, this approach induces conservative, effective behavior.


title: Band-to-Band Tunneling based Ultra-Energy Efficient Silicon Neuron

abstract: The human brain comprises about a hundred billion neurons connected through quadrillion synapses. Spiking Neural Networks (SNNs) take inspiration from the brain to model complex cognitive and learning tasks. Neuromorphic engineering implements SNNs in hardware, aspiring to mimic the brain at scale (i.e., 100 billion neurons) with biological area and energy efficiency. The design of ultra-energy efficient and compact neurons is essential for the large-scale implementation of SNNs in hardware. In this work, we have experimentally demonstrated a Partially Depleted (PD) Silicon-On-Insulator (SOI) MOSFET based Leaky-Integrate & Fire (LIF) neuron where energy-and area-efficiency is enabled by two elements of design - first tunneling based operation and second compact sub-threshold SOI control circuit design. Band-to-Band Tunneling (BTBT) induced hole storage in the body is used for the "Integrate" function of the neuron. A compact control circuit "Fires" a spike when the body potential exceeds the firing threshold. The neuron then "Resets" by removing the stored holes from the body contact of the device. Additionally, the control circuit provides "Leakiness" in the neuron which is an essential property of biological neurons. The proposed neuron provides 10x higher area efficiency compared to CMOS design with equivalent energy/spike. Alternatively, it has 10^4x higher energy efficiency at area-equivalent neuron technologies. Biologically comparable energy- and area-efficiency along with CMOS compatibility make the proposed device attractive for large-scale hardware implementation of SNNs.


title: Harmonic Unpaired Image-to-image Translation

abstract: The recent direction of unpaired image-to-image translation is on one hand very exciting as it alleviates the big burden in obtaining label-intensive pixel-to-pixel supervision, but it is on the other hand not fully satisfactory due to the presence of artifacts and degenerated transformations. In this paper, we take a manifold view of the problem by introducing a smoothness term over the sample graph to attain harmonic functions to enforce consistent mappings during the translation. We develop HarmonicGAN to learn bi-directional translations between the source and the target domains. With the help of similarity-consistency, the inherent self-consistency property of samples can be maintained. Distance metrics defined on two types of features including histogram and CNN are exploited. Under an identical problem setting as CycleGAN, without additional manual inputs and only at a small training-time cost, HarmonicGAN demonstrates a significant qualitative and quantitative improvement over the state of the art, as well as improved interpretability. We show experimental results in a number of applications including medical imaging, object transfiguration, and semantic labeling. We outperform the competing methods in all tasks, and for a medical imaging task in particular our method turns CycleGAN from a failure to a success, halving the mean-squared error, and generating images that radiologists prefer over competing methods in 95% of cases.


title: On deformations of classical mechanics due to Planck-scale physics

abstract: Several quantum gravity and string theory thought experiments indicate that the Heisenberg uncertainty relations get modified at the Planck scale so that a minimal length do arises. This modification may imply a modification of the canonical commutation relations and hence quantum mechanics at the Planck scale. The corresponding modification of classical mechanics is usually considered by replacing modified quantum commutators by Poisson brackets suitably modified in such a way that they retain their main properties (antisymmetry, linearity, Leibniz rule and Jacobi identity). We indicate that there exists an alternative interesting possibility. Koopman-Von Neumann's Hilbert space formulation of classical mechanics allows, as Sudarshan remarked, to consider the classical mechanics as a hidden variable quantum system. Then the Planck scale modification of this quantum system naturally induces the corresponding modification of dynamics in the classical substrate. Interestingly, it seems this induced modification in fact destroys the classicality: classical position and momentum operators cease to be commuting and hidden variables do appear in their evolution equations.


title: Ahead of Time Mutation Based Fault Localisation using Statistical Inference

abstract: Mutation analysis can effectively capture the dependency between source code and test results. This has been exploited by Mutation Based Fault Localisation (MBFL) techniques. However, MBFL techniques suffer from the need to expend the high cost of mutation analysis after the observation of failures, which may present a challenge for its practical adoption. We introduce SIMFL (Statistical Inference for Mutation-based Fault Localisation), an MBFL technique that allows users to perform the mutation analysis in advance before a failure is observed, allowing the amortisation of the analysis cost. SIMFL uses mutants as artificial faults and aims to learn the failure patterns among test cases against different locations of mutations. Once a failure is observed, SIMFL requires either almost no or very small additional cost for analysis, depending on the used inference model. An empirical evaluation using Defects4J shows that SIMFL can successfully localise up to 113 out of 203 studied faults (55%) at the top, and 159 (78%) faults within the top five, significantly outperforming existing MBFL techniques while using the results of mutation analysis that has been undertaken before the test failure. The amortised cost of mutation analysis can be further reduced by mutation sampling: SIMFL retains 80% of its localisation accuracy at the top rank when using only 10% of generated mutants, compared to results obtained without sampling.


title: Charge correlations using balance functions of identified particles in Pb-Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV with ALICE

abstract: By studying the balance functions of several hadronic species, one can gain insight into the chem-ical evolution of the Quark \textendash Gluon Plasma and radial flow. In a picture of early hadronisation,pairs of particles and anti-particles (created at the same space \textendash time point) are separated furtherin rapidity due to the higher initial temperature and diffusive interactions with other particles.Therefore delayed hadronisation will lead to strong correlations in rapidity in the final state. In this work, balance functions for identified charged-pion pairs measured by the ALICE detector atthe Large Hadron Collider (LHC) in Pb \textendash Pb collisions at \sqrt{s_{NN}} = 2.76 TeV are presented. These balance functions are presented in relative rapidity (\Delta y) and relative azimuthal angle (\Delta \varphi). It isobserved that the charged-pion balance function widths in \Delta y and \Delta \varphi get narrower in central Pb \textendash Pb collisions compared to peripheral collisions. The findings in this analysis are consistent withthe effects of delayed hadronisation and radial flow.


title: Reconfigurable Photonic Circuit for Controlled Power Delivery to Laser-Driven Accelerators on a Chip

abstract: Dielectric laser acceleration (DLA) represents a promising approach to building miniature particle accelerators on a chip. However, similar to conventional RF accelerators, an automatic and reconfigurable control mechanism is needed to scale DLA technology towards high energy gains and practical applications. We present a system providing control of the laser coupling to DLA using integrated optics and introduce a novel component for power distribution using a reconfigurable mesh of Mach-Zehnder interferometers. We show how such a mesh may be sequentially and efficiently tuned to optimize power distribution in the circuit and find that this strategy has favorable scaling properties with respect to size of the mesh.


title: Existence and rigidity of quantum isometry groups for compact metric spaces

abstract: We prove the existence of a quantum isometry groups for new classes of metric spaces: (i) geodesic metrics for compact connected Riemannian manifolds (possibly with boundary) and (ii) metric spaces admitting a uniformly distributed probability measure. In the former case it also follows from recent results of the second author that the quantum isometry group is classical, i.e. the commutative $C^*$-algebra of continuous functions on the Riemannian isometry group.


title: Towards Real-time 3D Reconstruction using Consumer UAVs

abstract: We present a near real-time solution for 3D reconstruction from aerial images captured by consumer UAVs. Our core idea is to simplify the multi-view stereo problem into a series of two-view stereo matching problems. Our method applies to UAVs equipped with only one camera and does not require special stereo capturing setups. We found that the neighboring two video frames taken by UAVs flying at a mid-to-high cruising altitude can be approximated as left and right views from a virtual stereo camera. Leveraging GPU-accelerated real-time stereo estimation and efficient PnP correspondence solving algorithms, our system simultaneously predicts scene geometry and camera position/orientation from the virtual stereo cameras. Also, this method allows user-selection of varying baseline lengths, which provides more flexibility given the trade-off between camera resolution, effective measuring distance, flight altitude and mapping accuracy. Our method outputs dense point clouds at a constant speed of 25 frames per second and is validated on a variety of real-world datasets with satisfactory results.


title: Twist vertex operators for twisted modules

abstract: We introduce and study twist vertex operators for a (lower-bounded generalized) twisted modules for a grading-restricted vertex (super)algebra. We prove duality, weak associativity, a Jacobi identity, a generalized commutator formula, generalized weak commutativity, and convergence and commutativity for products of more than two operators involving twist vertex operators. These properties of twist vertex operators play an important role in the author's recent general, direct and explicit construction of (lower-bounded generalized) twisted modules.


title: Mesons with Beauty and Charm: New Horizons in Spectroscopy

abstract: The $B_c ^+$ family of $(c\bar{b})$ mesons with beauty and charm is of special interest among heavy quarkonium systems. The $B_c ^+$ mesons are intermediate between $(c\bar{c})$ and $(b\bar{b})$ states both in mass and size, so many features of the $(c\bar{b})$ spectrum can be inferred from what we know of the charmonium and bottomonium systems. The unequal quark masses mean that the dynamics may be richer than a simple interpolation would imply, in part because the charmed quark moves faster in $B_c$ than in the $J/\psi$. Close examination of the $B_c ^+$ spectrum can test our understanding of the interactions between heavy quarks and antiquarks and may reveal where approximations break down. ...


title: Novel Numerical Algorithm with Fourth-Order Accuracy for the Direct Zakharov-Shabat Problem

abstract: We propose a new high-precision algorithm for solving the initial problem for the Zakharov-Shabat system. This method has the fourth order of accuracy and is a generalization of the second order Boffetta-Osborne scheme. It is allowed by our method to solve more effectively the Zakharov-Shabat spectral problem for continuous and discrete spectra.


title: Functional Transparency for Structured Data: a Game-Theoretic Approach

abstract: We provide a new approach to training neural models to exhibit transparency in a well-defined, functional manner. Our approach naturally operates over structured data and tailors the predictor, functionally, towards a chosen family of (local) witnesses. The estimation problem is setup as a co-operative game between an unrestricted predictor such as a neural network, and a set of witnesses chosen from the desired transparent family. The goal of the witnesses is to highlight, locally, how well the predictor conforms to the chosen family of functions, while the predictor is trained to minimize the highlighted discrepancy. We emphasize that the predictor remains globally powerful as it is only encouraged to agree locally with locally adapted witnesses. We analyze the effect of the proposed approach, provide example formulations in the context of deep graph and sequence models, and empirically illustrate the idea in chemical property prediction, temporal modeling, and molecule representation learning.


title: Stereo R-CNN based 3D Object Detection for Autonomous Driving

abstract: We propose a 3D object detection method for autonomous driving by fully exploiting the sparse and dense, semantic and geometry information in stereo imagery. Our method, called Stereo R-CNN, extends Faster R-CNN for stereo inputs to simultaneously detect and associate object in left and right images. We add extra branches after stereo Region Proposal Network (RPN) to predict sparse keypoints, viewpoints, and object dimensions, which are combined with 2D left-right boxes to calculate a coarse 3D object bounding box. We then recover the accurate 3D bounding box by a region-based photometric alignment using left and right RoIs. Our method does not require depth input and 3D position supervision, however, outperforms all existing fully supervised image-based methods. Experiments on the challenging KITTI dataset show that our method outperforms the state-of-the-art stereo-based method by around 30% AP on both 3D detection and 3D localization tasks. Code has been released at https://github.com/HKUST-Aerial-Robotics/Stereo-RCNN.


title: Potentials and transmission problems in weighted Sobolev spaces for anisotropic Stokes and Navier-Stokes systems with $L_{\infty}$ strongly elliptic coefficient tensor

abstract: We obtain well-posedness results in $L_p$-based weighted Sobolev spaces for a transmission problem for anisotropic Stokes and Navier-Stokes systems with $L_{\infty}$ strongly elliptic coefficient tensor, in complementary Lipschitz domains of ${\mathbb R}^n$, $n\ge 3$. The strong ellipticity allows to explore the associated pseudostress setting. First, we use a variational approach that reduces two linear transmission problems for the anisotropic Stokes system to equivalent mixed variational formulations with data in $L_p$-based weighted Sobolev and Besov spaces. We show that such a mixed variational formulation is well-posed in the space ${\mathcal H}^1_{p}({\mathbb R}^n)^n\times L_p({\mathbb R}^n)$, {$n\geq 3$}, for any $p$ in an open interval containing $2$. These results are used to define the Newtonian and layer potential operators for the considered anisotropic Stokes system. Various mapping properties of these operators are also obtained. The potentials are employed to show the well-posedness of some linear transmission problems, which then is combined with a fixed point theorem in order to show the well-posedness of the nonlinear transmission problem for the anisotropic Stokes and Navier-Stokes systems in $L_p$-based weighted Sobolev spaces, whenever the given data are small enough.


title: Convergence Analysis of A Second-order Semi-implicit Projection Method for Landau-Lifshitz Equation

abstract: The numerical approximation for the Landau-Lifshitz equation, the dynamics of magnetization in a ferromagnetic material, is taken into consideration. This highly nonlinear equation, with a non-convex constraint, has several equivalent forms, and involves solving an auxiliary problem in the infinite domain. All these features have posed interesting challenges in developing numerical methods. In this paper, we first present a fully discrete semi-implicit method for solving the Landau-Lifshitz equation based on the second-order backward differentiation formula and the one-sided extrapolation (using previous time-step numerical values). A projection step is further used to preserve the length of the magnetization. Subsequently, we provide a rigorous convergence analysis for the fully discrete numerical solution, with second-order accuracy in both time and space, provided that the spatial step-size is the same order as the temporal step-size. And also, the unique solvability of the numerical solution is theoretically justified, which turns out to be the first such result for the micromagnetics model. All these theoretical properties are verified by numerical examples in both one- and three- dimensional spaces.


title: Grassmann convexity and multiplicative Sturm theory, revisited

abstract: In this paper we settle a special case of the Grassmann convexity conjecture formulated earlier by B.and M.Shapiro. We present a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. We show that this formula gives the lower bound for the required total number of real zeros for equations of an arbitrary order and, using our results on the Grassmann convexity, we prove that the aforementioned formula is correct for equations of orders $4$ and $5$.


title: Deep Variational Koopman Models: Inferring Koopman Observations for Uncertainty-Aware Dynamics Modeling and Control

abstract: Koopman theory asserts that a nonlinear dynamical system can be mapped to a linear system, where the Koopman operator advances observations of the state forward in time. However, the observable functions that map states to observations are generally unknown. We introduce the Deep Variational Koopman (DVK) model, a method for inferring distributions over observations that can be propagated linearly in time. By sampling from the inferred distributions, we obtain a distribution over dynamical models, which in turn provides a distribution over possible outcomes as a modeled system advances in time. Experiments show that the DVK model is effective at long-term prediction for a variety of dynamical systems. Furthermore, we describe how to incorporate the learned models into a control framework, and demonstrate that accounting for the uncertainty present in the distribution over dynamical models enables more effective control.


title: Ekeland, Takahashi and Caristi principles in quasi-pseudometric spaces

abstract: We prove versions of Ekeland, Takahashi and Caristi principles in sequentially right $K$-complete quasi-pseudometric spaces (meaning asymmetric pseudometric spaces), the equivalence between these principles, as well as their equivalence to the completeness of the underlying quasi-pseudometric space. The key tools are Picard sequences for some special set-valued mappings corresponding to a function $\varphi$ on a quasi-pseudometric space, allowing a unitary treatment of all these principles.


title: Middleware Implementation in Cloud-MANET Mobility Model for Internet of Smart Devices

abstract: The smart devices are extremely useful devices that are making our lives easier than before. A smart device is facilitated us to establish a connection with another smart device in a wireless network with a decentralized approach. The mobile ad hoc network (MANET) is a novel methodology that discovers neighborhood devices and establishes connection among them without centralized infrastructure. Cloud provides service to the MANET users to access cloud and communicates with another MANET users. In this article, I integrated MANET and cloud together and formed a new mobility model named Cloud-MANET. In this Mobility model, if one smart device of MANET is able to connect to the internet then all smart devices are enabled to use cloud service and can be interacted with another smart device in the Cloud-MANET framework. A middleware acts as an interface between MANET and cloud. The objective of this article is to implement a middleware in Cloud-MANET mobility model for communication on internet of smart devices.


title: Online Predictive Optimization Framework for Stochastic Demand-Responsive Transit Services

abstract: This study develops an online predictive optimization framework for dynamically operating a transit service in an area of crowd movements. The proposed framework integrates demand prediction and supply optimization to periodically redesign the service routes based on recently observed demand. To predict demand for the service, we use Quantile Regression to estimate the marginal distribution of movement counts between each pair of serviced locations. The framework then combines these marginals into a joint demand distribution by constructing a Gaussian copula, which captures the structure of correlation between the marginals. For supply optimization, we devise a linear programming model, which simultaneously determines the route structure and the service frequency according to the predicted demand. Importantly, our framework both preserves the uncertainty structure of future demand and leverages this for robust route optimization, while keeping both components decoupled. We evaluate our framework using a real-world case study of autonomous mobility in a university campus in Denmark. The results show that our framework often obtains the ground truth optimal solution, and can outperform conventional methods for route optimization, which do not leverage full predictive distributions.


title: Fetus: the radar of maternal stress, a cohort study

abstract: Objective: We hypothesized that prenatal stress (PS) exerts lasting impact on fetal heart rate (fHR). We sought to validate the presence of such PS signature in fHR by measuring coupling between maternal HR (mHR) and fHR. Study design: Prospective observational cohort study in stressed group (SG) mothers with controls matched for gestational age during screening at third trimester using Cohen Perceived Stress Scale (PSS) questionnaire with PSS-10 equal or above 19 classified as SG. Women with PSS-10 less than 19 served as control group (CG). Setting: Klinikum rechts der Isar of the Technical University of Munich. Population: Singleton 3rd trimester pregnant women. Methods: Transabdominal fetal electrocardiograms (fECG) were recorded. We deployed a signal processing algorithm termed bivariate phase-rectified signal averaging (BPRSA) to quantify coupling between mHR and fHR resulting in a fetal stress index (FSI). Maternal hair cortisol was measured at birth. Differences were assumed to be significant for p value less than 0.05. Main Outcome Measures: Differences for FSI between both groups. Results: We screened 1500 women enrolling 538 of which 16.5 % showed a PSS-10 score equal or above 19 at 34+0 weeks. Fifty five women eventually comprised the SG and n=55 served as CG. Median PSS was 22.0 (IQR 21.0-24.0) in the SG and 9.0 (6.0-12.0) in the CG, respectively. Maternal hair cortisol was higher in SG than CG at 86.6 (48.0-169.2) versus 53.0 (34.4-105.9) pg/mg. At 36+5 weeks, FSI was significantly higher in fetuses of stressed mothers when compared to controls [0.43 (0.18-0.85) versus 0.00 (-0.49-0.18)]. Conclusion: Our findings show a persistent effect of PS affecting fetuses in the last trimester.


title: Imaginary time crystal of thermal quantum matter

abstract: Spontaneous symmetry breaking is responsible for rich quantum phenomena from crystalline structures to superconductivity. This concept was boldly extended to the breaking of time translation, opening an avenue to finding exotic phases of quantum matter with collective time modulation and correlation. Here we report that a thermally open quantum ensemble manifests in the dual space of imaginary time with crystalline ordering due to a bath-induced retarded interaction. Exact quantum Monte Carlo simulations are performed to show that this imaginary time crystal phase exhibits characteristic ground-state and thermal properties absent in conventional quantum manybody systems, especially the striking temperature-oscillating behavior of its physical observables.


title: Powers and products of monomial ideals related to determinantal ideals of maximal minors

abstract: Let $ X $ be an $ m \times n $ matrix of distinct indeterminates over a field $ K $, where $ m \le n $. Set the polynomial ring $K[X] := K[X_{ij} : 1 \le i \le m, 1 \le j \le n] $. Let $ 1 \le k < l \le n $ be such that $ l - k + 1 \ge m $. Consider the submatrix $ Y_{kl} $ of consecutive columns of $ X $ from $ k $th column to $ l $th column. Let $ J_{kl} $ be the ideal generated by `diagonal monomials' of all $ m \times m $ submatrices of $ Y_{kl} $, where diagonal monomial of a square matrix means product of its main diagonal entries. We show that $ J_{k_1 l_1} J_{k_2 l_2} \cdots J_{k_s l_s} $ has a linear free resolution, where $ k_1 \le k_2 \le \cdots \le k_s $ and $ l_1 \le l_2 \le \cdots \le l_s $. This result is a variation of a theorem due to Bruns and Conca. Moreover, our proof is self-contained, elementary and combinatorial.


title: Analyzing the Use of Camera Glasses in the Wild

abstract: Camera glasses enable people to capture point-of-view videos using a common accessory, hands-free. In this paper, we investigate how, when, and why people used one such product: Spectacles. We conducted 39 semi-structured interviews and surveys with 191 owners of Spectacles. We found that the form factor elicits sustained usage behaviors, and opens opportunities for new use-cases and types of content captured. We provide a usage typology, and highlight societal and individual factors that influence the classification of behaviors.


title: Topologically protected entangled photonic states

abstract: Entangled multiphoton states lie at the heart of quantum information, computing, and communications. In recent years, topology has risen as a new avenue to robustly transport quantum states in the presence of fabrication defects, disorder and other noise sources. Whereas topological protection of single photons and correlated photons has been recently demonstrated experimentally, the observation of topologically protected entangled states has thus far remained elusive. Here, we experimentally demonstrate the topological protection of spatially-entangled biphoton states. We observe robustness in crucial features of the topological biphoton correlation map in the presence of deliberately introduced disorder in the silicon nanophotonic structure, in contrast with the lack of robustness in nontopological structures. The topological protection is shown to ensure the coherent propagation of the entangled topological modes, which may lead to robust propagation of quantum information in disordered systems.


title: Global bifurcation and stability of steady states for a bacterial colony model with density-suppressed motility

abstract: We investigate the structure and stability of the steady states for a bacterial colony model with density-suppressed motility. We treat the growth rate of bacteria as a bifurcation parameter to explore the local and global structure of the steady states. Relying on asymptotic analysis and the theory of Fredholm solvability, we derive the second-order approximate expression of the steady states. We analytically establish the stability criterion of the bifurcation solutions, and show that sufficiently large growth rate of bacteria leads to a stable uniform steady state. While the growth rate of bacteria is less than some certain value, there is pattern formation with the admissible wave mode. All the analytical results are corroborated by numerical simulations from different stages.


title: Averaging method for dynamic systems on time scales with periodicity

abstract: This paper aims to improve existing results about using averaging method for analysis of dynamic systems on time scales. We obtain a more accurate estimate for proximity between solutions of original and averaged systems regarding $\Delta$-periodic and $\Delta$-quasiperiodic systems, which are introduced for the first time. To illustrate the application of the averaging theorem for such kind of system we considered an example and conducted numerical modelling. Obtained results extend an application area for previously developed numerically-asymptotic method of solution for optimal control problems on time scales.


title: Time optimal control in presence of moving obstacles for a Dubins airplane

abstract: In the present work, control of time-optimal trajectory for a Dubins airplane in presence of moving and fixed obstacles is obtained. We show that for a Dubins airplane with an initial position, the control variable can be obtained using the exact penalty function method so that the airplane reaches the end position in the shortest time in the presence of obstacles.


title: Function Space Particle Optimization for Bayesian Neural Networks

abstract: While Bayesian neural networks (BNNs) have drawn increasing attention, their posterior inference remains challenging, due to the high-dimensional and over-parameterized nature. To address this issue, several highly flexible and scalable variational inference procedures based on the idea of particle optimization have been proposed. These methods directly optimize a set of particles to approximate the target posterior. However, their application to BNNs often yields sub-optimal performance, as such methods have a particular failure mode on over-parameterized models. In this paper, we propose to solve this issue by performing particle optimization directly in the space of regression functions. We demonstrate through extensive experiments that our method successfully overcomes this issue, and outperforms strong baselines in a variety of tasks including prediction, defense against adversarial examples, and reinforcement learning.


title: LHCb VELO Timepix3 Telescope

abstract: The LHCb VELO Timepix3 telescope is a silicon pixel tracking system constructed initially to evaluate the performance of LHCb VELO Upgrade prototypes. The telesope consists of eight hybrid pixel silicon sensor planes equipped with the Timepix3 ASIC. The planes provide excellent charge measurement, timestamping and spatial resolution and the system can function at high track rates. This paper describes the construction of the telescope and its data acquisition system and offline reconstruction software. A timing resolution of 350~ps was obtained for reconstructed tracks. A pointing resolution of better than 2~\mum was determined for the 180~GeV/c %\gevc mixed hadron beam at the CERN SPS. The telescope has been shown to operate at a rate of 5 million particles~\unit{s^{-1}\cdot cm^{-2}} without a loss in efficiency.


title: Observation of $\psi(3686)\to p\bar{p}\phi$

abstract: Using a data sample of $4.48\times10^{8}$ $\psip$ events collected with the BESIII detector, we present a first observation of $\psi(3686)\to p\bar{p}\phi$, and we measure its branching fraction to be $[6.06\pm0.38 ($stat.$) \pm 0.48 ($syst.$)]\times10^{-6}$. In contrast to the earlier discovery of a threshold enhancement in the $p\bar{p}$-mass spectrum of the channel $J/\psi\to\gamma p\bar p$, denoted as $X(p\bar{p})$, we do not find a similar enhancement in $\psi(3686)\to p\bar{p}\phi$. An upper limit of $1.82\times10^{-7}$ at the $90\%$ confidence level on the branching fraction of $\psi(3686)\to X(p\bar{p})\phi\to p\bar{p}\phi$ is obtained.


title: Interaction-aware Factorization Machines for Recommender Systems

abstract: Factorization Machine (FM) is a widely used supervised learning approach by effectively modeling of feature interactions. Despite the successful application of FM and its many deep learning variants, treating every feature interaction fairly may degrade the performance. For example, the interactions of a useless feature may introduce noises; the importance of a feature may also differ when interacting with different features. In this work, we propose a novel model named \emph{Interaction-aware Factorization Machine} (IFM) by introducing Interaction-Aware Mechanism (IAM), which comprises the \emph{feature aspect} and the \emph{field aspect}, to learn flexible interactions on two levels. The feature aspect learns feature interaction importance via an attention network while the field aspect learns the feature interaction effect as a parametric similarity of the feature interaction vector and the corresponding field interaction prototype. IFM introduces more structured control and learns feature interaction importance in a stratified manner, which allows for more leverage in tweaking the interactions on both feature-wise and field-wise levels. Besides, we give a more generalized architecture and propose Interaction-aware Neural Network (INN) and DeepIFM to capture higher-order interactions. To further improve both the performance and efficiency of IFM, a sampling scheme is developed to select interactions based on the field aspect importance. The experimental results from two well-known datasets show the superiority of the proposed models over the state-of-the-art methods.


title: Linear quadratic problems for fully coupled forward-backward stochastic control systems

abstract: This paper is concerned with optimal control of stochastic fully coupled forward-backward linear quadratic (FBLQ) problems with indefinite control weight costs. In order to obtain the state feedback representation of the optimal control, we propose a new decoupling technique and obtain one kind of non-Riccati-type ordinary differential equations (ODEs). By applying the completion-of-squares method, we prove the existence of the solutions for the obtained ODEs under some assumptions and derive the state feedback form of the optimal control. For this FBLQ problem, the optimal control depends on the entire trajectory of the state process. Some sepcial cases are given to illustrate our results.


title: Joint Communication and Motion Energy Minimization in UGV Backscatter Communication

abstract: While backscatter communication emerges as a promising solution to reduce power consumption at IoT devices, the transmission range of backscatter communication is short. To this end, this work integrates unmanned ground vehicles (UGVs) into the backscatter system. With such a scheme, the UGV could facilitate the communication by approaching various IoT devices. However, moving also costs energy consumption and a fundamental question is: what is the right balance between spending energy on moving versus on communication? To answer this question, this paper proposes a joint graph mobility and backscatter communication model. With the proposed model, the total energy minimization at UGV is formulated as a mixed integer nonlinear programming (MINLP) problem. Furthermore, an efficient algorithm that achieves a local optimal solution is derived, and it leads to automatic trade-off between spending energy on moving versus on communication. Numerical results are provided to validate the performance of the proposed algorithm.


title: Magnetic, electrochemical and thermoelectric properties of $P2 - Na_x(Co_{7/8}Sb_{1/8})O_2$

abstract: We theoretically investigated the electronic, electrochemical and magnetic properties of Sb doped $Na_xCoO_2$ ($x = 1, 0.75$ and $0.50$). $Sb_{Co}$ dopants adopt +5 oxidation state in $Na_xCoO_2$ host lattice for all Na concentrations ($x$). Due to high oxidation states, $Sb^{5+}$ strongly repels Na ions and therefore it decreases the electrochemical potential (vs. Na/Na$^+$). The electrons introduced by $Sb^{5+}$ localize on nearby Co ions creating $Co^{2+}$ species which are absent in undoped $Na_xCoO_2$. $Co^{2+}$ ions reduce the spin entropy flow decreasing the Seebeck coefficient in the Sb doped compounds. The results can be generalized to other dopants with high oxidation state.


title: An efficient numerical framework for the amplitude expansion of the phase-field crystal model

abstract: The study of polycrystalline materials requires theoretical and computational techniques enabling multiscale investigations. The amplitude expansion of the phase field crystal model (APFC) allows for describing crystal lattice properties on diffusive timescales by focusing on continuous fields varying on length scales larger than the atomic spacing. Thus, it allows for the simulation of large systems still retaining details of the crystal lattice. Fostered by the applications of this approach, we present here an efficient numerical framework to solve its equations. In particular, we consider a real space approach exploiting the finite element method. An optimized preconditioner is developed in order to improve the convergence of the linear solver. Moreover, a mesh adaptivity criterion based on the local rotation of the polycrystal is used. This results in an unprecedented capability of simulating large, three-dimensional systems including the dynamical description of the microstructures in polycrystalline materials together with their dislocation networks.


title: The Axiom of Spheres in Finsler Geometry

abstract: Here, an axiom of spheres in Finsler geometry is proposed and it is proved that if a Finslerian manifold satisfies the axiom of spheres then it is of constant flag curvature.


title: Firewalls vs. Scrambling

abstract: Recently we pointed out that the black hole interior operators can be reconstructed by using the Hayden-Preskill recovery protocols. Building on this observation, we propose a resolution of the firewall problem by presenting a state-independent reconstruction of interior operators. Our construction avoids the non-locality problem which plagued the "$A=R_{B}$" or "$\text{ER}=\text{EPR}$" proposals. We show that the gravitational backreaction by the infalling observer, who simply falls into a black hole, disentangles the outgoing mode from the early radiation. The infalling observer crosses the horizon smoothly and sees quantum entanglement between the outgoing mode and the interior mode which is distinct from the originally entangled qubit in the early radiation. Namely, quantum operation on the early radiation cannot influence the experience of the infalling observer since description of the interior mode does not involve the early radiation at all. We also argue that verification of quantum entanglement by the outside observer does not create a firewall. Instead it will perform the Hayden-Preskill recovery which saves an infalling observer from crossing the horizon.


title: Astrophysical $S$-factor of the direct $\alpha(d,\gamma)^6$Li capture reaction in a three-body model

abstract: At the long-wavelength approximation, electric dipole transitions are forbidden between isospin-zero states. In an $\alpha+n+p$ model with $T = 1$ contributions, the $\alpha(d,\gamma)^6$Li astrophysical $S$-factor is in agreement with the experimental data of the LUNA collaboration, without adjustable parameter. The exact-masses prescription used to avoid the disappearance of $E1$ transitions in potential models is not founded at the microscopic level.


title: Directional Embedding Based Semi-supervised Framework For Bird Vocalization Segmentation

abstract: This paper proposes a data-efficient, semi-supervised, two-pass framework for segmenting bird vocalizations. The framework utilizes a binary classification model to categorize frames of an input audio recording into the background or bird vocalization. The first pass of the framework automatically generates training labels from the input recording itself, while model training and classification is done during the second pass. The proposed framework utilizes a reference directional model for obtaining a feature representation called directional embeddings (DE). This reference directional model acts as an acoustic model for bird vocalizations and is obtained using the mixtures of Von-Mises Fisher distribution (moVMF). The proposed DE space only contains information about bird vocalizations, while no information about the background disturbances is reflected. The framework employs supervised information only for obtaining the reference directional model and avoids the background modeling. Hence, it can be regarded as semi-supervised in nature. The proposed framework is tested on approximately 79000 vocalizations of seven different bird species. The performance of the framework is also analyzed in the presence of noise at different SNRs. Experimental results convey that the proposed framework performs better than the existing bird vocalization segmentation methods.


title: Representations and Divergences in the Space of Probability Measures and Stochastic Thermodynamics

abstract: Radon-Nikodym (RN) derivative between two measures arises naturally in the affine structure of the space of probability measures with densities. Entropy, free energy, relative entropy, and entropy production as mathematical concepts associated with RN derivatives are introduced. We identify a simple equation that connects two measures with densities as a possible mathematical basis of the entropy balance equation that is central in nonequilibrium thermodynamics. Application of this formalism to Gibbsian canonical distribution yields many results in classical thermomechanics. An affine structure based on the canonical represenation and two divergences are introduced in the space of probability measures. It is shown that thermodynamic work, as a conditional expectation, is indictive of the RN derivative between two energy represenations being singular. The entropy divergence and the heat divergence yield respectively a Massieu-Planck potential based and a generalized Carnot inequalities.

categories: cond-mat.stat-mech math-ph math.MP physics.class-ph


title: $^{3}{\rm He}(\alpha, \gamma)^{7}{\rm Be}$ and $^{3}{\rm H}(\alpha,\gamma)^{7}{\rm Li}$ reaction rates and the implication for Big Bang nucleosynthesis in the potential model

abstract: The reaction rates of the direct astrophysical capture processes $^{3}{\rm He}(\alpha, \gamma)^{7}{\rm Be}$ and $^{3}{\rm H}(\alpha,\gamma)^{7}{\rm Li}$, as well as the abundance of the $^{7}{\rm Li}$ element are estimated in the framework of a two-body potential model. The estimated $^{7}{\rm Li/H}$ abundance ratio of $^{7}{\rm Li/H}=(5.07\pm 0.14 )\times 10^{-10}$ is in a very good agreement with the recent measurement $^{7}{\rm Li/H}=(5.0\pm 0.3) \times 10^{-10}$ of the LUNA collaboration.


title: On Quantum Advantage in Information Theoretic Single-Server PIR

abstract: In (single-server) Private Information Retrieval (PIR), a server holds a large database $DB$ of size $n$, and a client holds an index $i \in [n]$ and wishes to retrieve $DB[i]$ without revealing $i$ to the server. It is well known that information theoretic privacy even against an `honest but curious' server requires $\Omega(n)$ communication complexity. This is true even if quantum communication is allowed and is due to the ability of such an adversarial server to execute the protocol on a superposition of databases instead of on a specific database (`input purification attack'). Nevertheless, there have been some proposals of protocols that achieve sub-linear communication and appear to provide some notion of privacy. Most notably, a protocol due to Le Gall (ToC 2012) with communication complexity $O(\sqrt{n})$, and a protocol by Kerenidis et al. (QIC 2016) with communication complexity $O(\log(n))$, and $O(n)$ shared entanglement. We show that, in a sense, input purification is the only potent adversarial strategy, and protocols such as the two protocols above are secure in a restricted variant of the quantum honest but curious (a.k.a specious) model. More explicitly, we propose a restricted privacy notion called \emph{anchored privacy}, where the adversary is forced to execute on a classical database (i.e. the execution is anchored to a classical database). We show that for measurement-free protocols, anchored security against honest adversarial servers implies anchored privacy even against specious adversaries. Finally, we prove that even with (unlimited) pre-shared entanglement it is impossible to achieve security in the standard specious model with sub-linear communication, thus further substantiating the necessity of our relaxation. This lower bound may be of independent interest (in particular recalling that PIR is a special case of Fully Homomorphic Encryption).


title: The perturbed FLRW metric on all scales: Newtonian limit and top-hat collapse

abstract: The applicability of a linearized perturbed FLRW metric to the late, lumpy universe has been subject to debate. We consider in an elementary way the Newtonian limit of the Einstein equations with this ansatz for the case of structure formation in late-time cosmology, on small and large scales, and argue that linearizing the Einstein tensor produces only a small error down to arbitrarily small, decoupled scales (e.g. Solar system scales). On subhorizon patches, the metric scale factor becomes a coordinate choice equivalent to choosing the spatial curvature, and not a sign that the FLRW metric cannot perturbatively accommodate very different local physical expansion rates of matter; we distinguish these concepts, and show that they merge on large scales for the Newtonian limit to be globally valid. Furthermore, on subhorizon scales, a perturbed FLRW metric ansatz does not already imply assumptions on isotropy, and effects beyond an FLRW background, including those potentially caused by non-linearities of general relativity (GR), may be encoded into non-trivial boundary conditions. The corresponding cosmologies have already been developed in a Newtonian setting by Heckmann and Sch\"ucking and none of these boundary conditions can explain the accelerated expansion of the universe. Our analysis of the field equations is confirmed on the level of solutions by an example of pedagogical value, comparing a collapsing top-hat overdensity (embedded into a cosmological background) treated in such perturbative manner to the corresponding exact solution of GR, where we find good agreement even in the regimes of strong density contrast.


title: Data-driven Exploration of Pressure-Induced Superconductivity in AgIn$_{5}$Se$_{8}$

abstract: Candidates compounds for new thermoelectric and superconducting materials, which have narrow band gap and flat bands near band edges, were exhaustively searched by a high-throughput first-principles calculation from an inorganic materials database named AtomWork. We focused on AgIn$_{5}$Se$_{8}$ which has high density of state near the Fermi level. AgIn$_{5}$Se$_{8}$ was successfully synthesized as single crystals using a melt and slow cooling method. The single-crystal X-ray diffraction analysis revealed the obtained crystal is high quality without deficiencies. The valence states in AgIn$_{5}$Se$_{8}$ were determined to be Ag1+, In3+ and Se2- in accordance with a formal charge by the core level X-ray photoelectron spectroscopy analysis. The electrical resistance was evaluated under high pressure using a diamond anvil cell with boron-doped diamond electrodes. Although the sample was insulator with a resistance of above 40 M{\Omega} at ambient pressure, the resistance markedly decreased with increase of the pressure, and a pressure-induced superconducting transition was discovered at 3.4 K under 52.5 GPa. The transition temperature increased up to 3.7 K under further pressure of 74.0 GPa.


title: Symplectic leaves for generalized affine Grassmannian slices

abstract: The generalized affine Grassmannian slices $\overline{\mathcal{W}}_\mu^\lambda$ are algebraic varieties introduced by Braverman, Finkelberg, and Nakajima in their study of Coulomb branches of $3d$ $\mathcal{N}=4$ quiver gauge theories. We prove a conjecture of theirs by showing that the dense open subset $\mathcal{W}_\mu^\lambda \subseteq \overline{\mathcal{W}}_\mu^\lambda$ is smooth. An explicit decomposition of $\overline{\mathcal{W}}_\mu^\lambda$ into symplectic leaves follows as a corollary. Our argument works over an arbitrary ring and in particular implies that the complex points $\mathcal{W}_\mu^\lambda(\mathbb{C})$ are a smooth holomorphic symplectic manifold.


title: Asymptotic stability of shock profiles and rarefaction waves under periodic perturbations for 1-d convex scalar viscous conservation laws

abstract: This paper studies the asymptotic stability of shock profiles and rarefaction waves under space-periodic perturbations for one-dimensional convex scalar viscous conservation laws. For the shock profile, we show that the solution approaches the background shock profile with a constant shift in the $ L^\infty(\mathbb{R}) $ norm at exponential rates. The new phenomena contrasting to the case of localized perturbations is that the constant shift cannot be determined by the initial excessive mass in general, which indicates that the periodic oscillations at infinities make contributions to this shift. And the vanishing viscosity limit for the shift is also shown. The key elements of the poof consist of the construction of an ansatz which tends to two periodic solutions as $ x \rightarrow \pm\infty, $ respectively, and the anti-derivative variable argument, and an elaborate use of the maximum principle. For the rarefaction wave, we also show the stability in the $ L^\infty(\mathbb{R}) $ norm.


title: Quaternion Electromagnetism and the Relation with 2-Spinor Formalism

abstract: By using complex quaternion, which is the system of quaternion representation extended to complex numbers, we show that the laws of electromagnetism can be expressed much more simply and concisely. We also derive the quaternion representation of rotations and boosts from the spinor representation of Lorentz group. It is suggested that the imaginary 'i' should be attached to the spatial coordinates, and observe that the complex conjugate of quaternion representation is exactly equal to parity inversion of all physical quantities in the quaternion. We also show that using quaternion is directly linked to the two-spinor formalism. Finally, we discuss meanings of quaternion, octonion and sedenion in physics as n-fold rotation


title: Image-Question-Answer Synergistic Network for Visual Dialog

abstract: The image, question (combined with the history for de-referencing), and the corresponding answer are three vital components of visual dialog. Classical visual dialog systems integrate the image, question, and history to search for or generate the best matched answer, and so, this approach significantly ignores the role of the answer. In this paper, we devise a novel image-question-answer synergistic network to value the role of the answer for precise visual dialog. We extend the traditional one-stage solution to a two-stage solution. In the first stage, candidate answers are coarsely scored according to their relevance to the image and question pair. Afterward, in the second stage, answers with high probability of being correct are re-ranked by synergizing with image and question. On the Visual Dialog v1.0 dataset, the proposed synergistic network boosts the discriminative visual dialog model to achieve a new state-of-the-art of 57.88\% normalized discounted cumulative gain. A generative visual dialog model equipped with the proposed technique also shows promising improvements.


title: Particlization with local event-by-event conservation laws

abstract: We present a sampling method for the transition from relativistic hydrodynamics to particle transport, commonly referred to as particlization, which preserves the local event-by-event conservation of energy, momentum, baryon number, strangeness, and electric charge. The proposed method is essential for studying fluctuations and correlations by means of stochastic hydrodynamics. It is also useful for studying small systems. The method is based on Metropolis sampling applied to particles within distinct patches of the hypersurface, where hydrodynamics and kinetic evolutions are matched.


title: Predicting Young's Modulus of Glasses with Sparse Datasets using Machine Learning

abstract: Machine learning (ML) methods are becoming popular tools for the prediction and design of novel materials. In particular, neural network (NN) is a promising ML method, which can be used to identify hidden trends in the data. However, these methods rely on large datasets and often exhibit overfitting when used with sparse dataset. Further, assessing the uncertainty in predictions for a new dataset or an extrapolation of the present dataset is challenging. Herein, using Gaussian process regression (GPR), we predict Young's modulus for silicate glasses having sparse dataset. We show that GPR significantly outperforms NN for sparse dataset, while ensuring no overfitting. Further, thanks to the nonparametric nature, GPR provides quantitative bounds for the reliability of predictions while extrapolating. Overall, GPR presents an advanced ML methodology for accelerating the development of novel functional materials such as glasses.


title: Single-Image Piece-wise Planar 3D Reconstruction via Associative Embedding

abstract: Single-image piece-wise planar 3D reconstruction aims to simultaneously segment plane instances and recover 3D plane parameters from an image. Most recent approaches leverage convolutional neural networks (CNNs) and achieve promising results. However, these methods are limited to detecting a fixed number of planes with certain learned order. To tackle this problem, we propose a novel two-stage method based on associative embedding, inspired by its recent success in instance segmentation. In the first stage, we train a CNN to map each pixel to an embedding space where pixels from the same plane instance have similar embeddings. Then, the plane instances are obtained by grouping the embedding vectors in planar regions via an efficient mean shift clustering algorithm. In the second stage, we estimate the parameter for each plane instance by considering both pixel-level and instance-level consistencies. With the proposed method, we are able to detect an arbitrary number of planes. Extensive experiments on public datasets validate the effectiveness and efficiency of our method. Furthermore, our method runs at 30 fps at the testing time, thus could facilitate many real-time applications such as visual SLAM and human-robot interaction. Code is available at https://github.com/svip-lab/PlanarReconstruction.