title: Machine Learning Models to Predict Inhibition of the Bile Salt Export Pump

abstract: Drug-induced liver injury (DILI) is the most common cause of acute liver failure and a frequent reason for withdrawal of candidate drugs during preclinical and clinical testing. An important type of DILI is cholestatic liver injury, caused by buildup of bile salts within hepatocytes; it is frequently associated with inhibition of bile salt transporters, such as the bile salt export pump (BSEP). Reliable in silico models to predict BSEP inhibition directly from chemical structures would significantly reduce costs during drug discovery and could help avoid injury to patients. Unfortunately, models published to date have been insufficiently accurate to encourage wide adoption. We report our development of classification and regression models for BSEP inhibition with substantially improved performance over previously published models. Our model development leveraged the ATOM Modeling PipeLine (AMPL) developed by the ATOM Consortium, which enabled us to train and evaluate thousands of candidate models. In the course of model development, we assessed a variety of schemes for chemical featurization, dataset partitioning and class labeling, and identified those producing models that generalized best to novel chemical entities. Our best performing classification model was a neural network with ROC AUC = 0.88 on our internal test dataset and 0.89 on an independent external compound set. Our best regression model, the first ever reported for predicting BSEP IC50s, yielded a test set $R^2 = 0.56$ and mean absolute error 0.37, corresponding to a mean 2.3-fold error in predicted IC50s, comparable to experimental variation. These models will thus be useful as inputs to mechanistic predictions of DILI and as part of computational pipelines for drug discovery.


title: Stability and energetics of 2D surface crystals in liquid AuSi thin films and nanoscale droplets

abstract: Segregation at surfaces of metal-covalent binary liquids is often non-classical and in extreme cases such as AuSi, the surface crystallizes above the melting point. In this study, we employ atomic-scale computational frameworks to study the surface crystallization of AuSi films and droplets as a function of composition, temperature and size. For temperatures in the range $T_s^\ast=765-780$K above the melting point $(T_s^\ast\approx1.3\,T_m)$, both thin film and droplet surfaces undergo a first order transition, from a 2D Au$_2$Si crystalline phase to a laterally disordered yet stratified layer. The thin film surfaces exhibit an effective surface tension that increases with temperature and decreases with Si concentration. On the other hand, for droplets in the size range $10-30$ nm, the bulk Laplace pressure alters the surface segregation as it occurs with respect to a strained bulk. Above $T_s^\ast$ the size effect on the surface tension is small, while for $T<T_s^\ast$ the surface layer is strained and composed of 2D crystallites separated by extended grain boundary scars that lead to large fluctuations in its energetics. As a specific application, all-atom simulations of AuSi droplets on Si(111) substrate subject to Si surface flux show that the supersaturation dependent surface tension destabilizes the contact line via formation of a precursor wetting film on the solid-vapor interface, and has ramifications for size selection during VLS-based routes for nanowire growth. Our study sheds light on the interplay between stability and energetics of surfaces in these unique class of binary alloys and offers pathways for exploiting their surface structure for varied applications such as catalytic nanocrystal growth, dealloying, and polymer crystallization.


title: Metamorphic Testing: A New Approach for Generating Next Test Cases

abstract: In software testing, a set of test cases is constructed according to some predefined selection criteria. The software is then examined against these test cases. Three interesting observations have been made on the current artifacts of software testing. Firstly, an error-revealing test case is considered useful while a successful test case which does not reveal software errors is usually not further investigated. Whether these successful test cases still contain useful information for revealing software errors has not been properly studied. Secondly, no matter how extensive the testing has been conducted in the development phase, errors may still exist in the software [5]. These errors, if left undetected, may eventually cause damage to the production system. The study of techniques for uncovering software errors in the production phase is seldom addressed in the literature. Thirdly, as indicated by Weyuker in [6], the availability of test oracles is pragmatically unattainable in most situations. However, the availability of test oracles is generally assumed in conventional software testing techniques. In this paper, we propose a novel test case selection technique that derives new test cases from the successful ones. The selection aims at revealing software errors that are possibly left undetected in successful test cases which may be generated using some existing strategies. As such, the proposed technique augments the effectiveness of existing test selection strategies. The technique also helps uncover software errors in the production phase and can be used in the absence of test oracles.


title: Getting chirality right: single scalar leptoquark solutions to the $(g-2)_{e,\mu}$ puzzle

abstract: We identify the two scalar leptoquarks capable of generating sign-dependent contributions to leptonic magnetic moments, $R_2\sim (\mathbf{3}, \mathbf{2}, 7/6)$ and $S_1\sim (\mathbf{3}, \mathbf{1}, -1/3)$, as favoured by current measurements. We consider the case in which the electron and muon sectors are decoupled, and real-valued Yukawa couplings are specified using an up-type quark mass-diagonal basis. Contributions to $\Delta a_e$ arise from charm-containing loops and $\Delta a_\mu$ from top-containing loops -- hence avoiding dangerous LFV constraints, particularly from $\mu \to e \gamma$. The strongest constraints on these models arise from contributions to the Z leptonic decay widths, high-$p_T$ leptonic tails at the LHC, and from (semi)leptonic kaon decays. To be a comprehensive solution to the $(g-2)_{e/\mu}$ puzzle we find that the mass of either leptoquark must be $\lesssim 65$ TeV. This analysis can be embedded within broader flavour anomaly studies, including those of hierarchical leptoquark coupling structures. It can also be straightforwardly adapted to accommodate future measurements of leptonic magnetic moments, such as those expected from the Muon $g-2$ collaboration in the near future.


title: Spin-orbit torques driven by the interface-generated spin currents

abstract: The spin currents generated by spin-orbit coupling (SOC) in the nonmagnetic metal layer or at the interface with broken inversion symmetry are of particular interest and importance. Here, we have explored the spin current generation mechanisms through the spin-orbit torques (SOTs) measurements in the Ru/Fe heterostructures with weak perpendicular magnetic anisotropy (PMA). Although the spin Hall angle (SHA) of Ru is smaller than that in Pt, Ta or W, reversible SOT in Ru/Fe heterostructures can still be realized. Through non-adiabatic harmonic Hall voltage measurements and macrospin simulation, the effective SHA in Ru/Fe heterostructures is compared with Pt. Moreover, we also explore that the spin current driven by interface strongly depends on the electrical conductivities. Our results suggest a new method for efficiently generating finite spin currents in ferromagnet/nonmagnetic metal bilayers, which establishes new opportunities for fundamental study of spin dynamics and transport in ferromagnetic systems.


title: A Charge Density Wave-like Transition in High Temperature Quenched $Bi_2Se_3$

abstract: Hexagonally deformed Fermi surfaces and strong nesting, found in topological insulators (TIs) such as $Bi_2Se_3$ and $Bi_2Te_3$, have led to several predictions of the existence of Density Wave order in these systems. Recent evidence for strong Fermi surface nesting in superconducting $Cu-Bi_2Se_3$ and $Nb-Bi_2Se_3$ has further led to speculation about the importance of charge order in the context of unconventional superconductivity. Here, we report the first observation of a novel anomaly in $Bi_2Se_3$ at 140K, which may be associated with a Charge Density Wave (CDW)-like transition. This transition was identified from both structural and electronic measurements, where: a) a periodic lattice distortion at above room temperature was characterized as a diffuse charge order in $Bi_2Se_3$ between \vec{k} and \vec{k}\pm\mathrm{\Delta}\vec{k} from electron diffraction; and b) an opening of energy gap signatured with metal-to-insulator like transition at 140K was identified from resistivity vs temperature measurement. This is further corroborated by nuclear magnetic resonance (NMR) studies of the spin-lattice relaxation ( $\frac{1}{T_1}$) rate of the $^{209}Bi$ nucleus, which also displays a transition at 140K associated with an opening of an energy gap of ~8meV. Additionally, we also observe another anomaly in $\frac{1}{T_1}$ near 200K, which appears to display anisotropy with the direction of the applied magnetic field.


title: Spectral neighbor joining for reconstruction of latent tree models

abstract: A common assumption in multiple scientific applications is that the distribution of observed data can be modeled by a latent tree graphical model. An important example is phylogenetics, where the tree models the evolutionary lineages of a set of observed organisms. Given a set of independent realizations of the random variables at the leaves of the tree, a key challenge is to infer the underlying tree topology. In this work we develop Spectral Neighbor Joining (SNJ), a novel method to recover the structure of latent tree graphical models. Given a matrix that contains a measure of similarity between all pairs of observed variables, SNJ computes a spectral measure of cohesion between groups of observed variables. We prove that SNJ is consistent, and derive a sufficient condition for correct tree recovery from an estimated similarity matrix. Combining this condition with a concentration of measure result on the similarity matrix, we bound the number of samples required to recover the tree with high probability. We illustrate via extensive simulations that in comparison to several other reconstruction methods, SNJ requires fewer samples to accurately recover trees with a large number of leaves or long edges.


title: A New Procedure for Controlling False Discovery Rate in Large-Scale t-tests

abstract: This paper is concerned with false discovery rate (FDR) control in large-scale multiple testing problems. We first propose a new data-driven testing procedure for controlling the FDR in large-scale t-tests for one-sample mean problem. The proposed procedure achieves exact FDR control in finite sample settings when the populations are symmetric no matter the number of tests or sample sizes. Comparing with the existing bootstrap method for FDR control, the proposed procedure is computationally efficient. We show that the proposed method can control the FDR asymptotically for asymmetric populations even when the test statistics are not independent. We further show that the proposed procedure with a simple correction is as accurate as the bootstrap method to the second-order degree, and could be much more effective than the existing normal calibration. We extend the proposed procedure to two-sample mean problem. Empirical results show that the proposed procedures have better FDR control than existing ones when the proportion of true alternative hypotheses is not too low, while maintaining reasonably good detection ability.


title: Robust Unsupervised Neural Machine Translation with Adversarial Denoising Training

abstract: Unsupervised neural machine translation (UNMT) has recently attracted great interest in the machine translation community. The main advantage of the UNMT lies in its easy collection of required large training text sentences while with only a slightly worse performance than supervised neural machine translation which requires expensive annotated translation pairs on some translation tasks. In most studies, the UMNT is trained with clean data without considering its robustness to the noisy data. However, in real-world scenarios, there usually exists noise in the collected input sentences which degrades the performance of the translation system since the UNMT is sensitive to the small perturbations of the input sentences. In this paper, we first time explicitly take the noisy data into consideration to improve the robustness of the UNMT based systems. First of all, we clearly defined two types of noises in training sentences, i.e., word noise and word order noise, and empirically investigate its effect in the UNMT, then we propose adversarial training methods with denoising process in the UNMT. Experimental results on several language pairs show that our proposed methods substantially improved the robustness of the conventional UNMT systems in noisy scenarios.


title: Spin Hall magnetoresistance in Pt/YIG bilayers via varying magnon excitation

abstract: Spin Hall magnetoresistance (SMR) and magnon excitation magnetoresistance (MMR) that all generate via the spin Hall effect and inverse spin Hall effect in a nonmagnetic material are always related to each other. However, the influence of magnon excitation for SMR is often overlooked due to the negligible MMR. Here, we investigate the SMR in Pt/Y3Fe5O12 (YIG) bilayers from 5 to 300K, in which the YIG are treated after Ar+-ion milling. The SMR in the treated device is smaller than in the non-treated. According to theoretical simulation, we attribute this phenomenon to the reduction of the interfacial spin-mixing conductance at the treated Pt/YIG interface induced by the magnon suppression. Our experimental results point out that the SMR and the MMR are inter-connected, and the former could be modulated via magnon excitation. Our findings provide a new approach for separating and clarifying the underlying mechanisms.


title: Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context

abstract: When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipating their next steps. This can only be done by knowing, beforehand, the possible ways to solve a problem. Hence the need for an automated theorem prover that provide proofs as they would be written by a student. To achieve this objective, logic programming is a natural tool due to the similarity of its reasoning with a mathematical proof by inference. In this paper, we present the core ideas we used to implement such a prover, from its encoding in Prolog to the generation of the complete set of proofs. However, when dealing with educational aspects, there are many challenges to overcome. We also present the main issues we encountered, as well as the chosen solutions.


title: Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

abstract: Structural induction is a proof technique that is widely used to prove statements about discrete structures. Students find it hard to construct inductive proofs, and when learning to construct such proofs, receiving feedback is important. In this paper we discuss the design of a tutoring system, LogInd, that helps students with constructing stepwise inductive proofs by providing hints, next steps and feedback. As far as we know, this is the first tutoring system for structural induction with this functionality. We explain how we use a strategy to construct proofs for a restricted class of problems. This strategy can also be used to complete partial student solutions, and hence to provide hints or next steps. We use constraints to provide feedback. A pilot evaluation with a small group of students shows that LogInd indeed can give hints and next steps in almost all cases.


title: A Mobile Application for Self-Guided Study of Formal Reasoning

abstract: In this work, we introduce AXolotl, a self-study aid designed to guide students through the basics of formal reasoning and term manipulation. Unlike most of the existing study aids for formal reasoning, AXolotl is an Android-based application with a simple touch-based interface. Part of the design goal was to minimize the possibility of user errors which distract from the learning process. Such as typos or inconsistent application of the provided rules. The system includes a zoomable proof viewer which displays the progress made so far and allows for storage of the completed proofs as a JPEG or LaTeX file. The software is available on the google play store and comes with a small library of problems. Additional problems may be opened in AXolotl using a simple input language. Currently, AXolotl supports problems that can be solved using rules which transform a single expression into a set of expressions. This covers educational scenarios found in our first-semester introduction to logic course and helps bridge the gap between propositional and first-order reasoning. Future developments will include rewrite rules which take a set of expressions and return a set of expressions, as well as a quantified first-order extension.


title: Tools in Term Rewriting for Education

abstract: Term rewriting is a Turing complete model of computation. When taught to students of computer science, key properties of computation as well as techniques to analyze programs on an abstract level are conveyed. This paper gives a swift introduction to term rewriting and presents several automatic tools to analyze term rewrite systems which were developed by the Computational Logic Group at the University of Innsbruck. These include the termination tool TTT2, the confluence prover CSI, the completion tools mkbTT and KBCV, the complexity tool TcT, the strategy tool AutoStrat, as well as FORT, an implementation of the decision procedure for the first-order theory for a decidable class of rewrite systems. Besides its applications in research, this software pool has also proved invaluable for teaching, e.g., in multiple editions of the International Summer School on Rewriting.


title: Teaching a Formalized Logical Calculus

abstract: Classical first-order logic is in many ways central to work in mathematics, linguistics, computer science and artificial intelligence, so it is worthwhile to define it in full detail. We present soundness and completeness proofs of a sequent calculus for first-order logic, formalized in the interactive proof assistant Isabelle/HOL. Our formalization is based on work by Stefan Berghofer, which we have since updated to use Isabelle's declarative proof style Isar (Archive of Formal Proofs, Entry FOL-Fitting, August 2007 / July 2018). We represent variables with de Bruijn indices; this makes substitution under quantifiers less intuitive for a human reader. However, the nature of natural numbers yields an elegant solution when compared to implementations of substitution using variables represented by strings. The sequent calculus considered has the special property of an always empty antecedent and a list of formulas in the succedent. We obtain the proofs of soundness and completeness for the sequent calculus as a derived result of the inverse duality of its tableau counterpart. We strive to not only present the results of the proofs of soundness and completeness, but also to provide a deep dive into a programming-like approach to the formalization of first-order logic syntax, semantics and the sequent calculus. We use the formalization in a bachelor course on logic for computer science and discuss our experiences.


title: Towards a Geometry Automated Provers Competition

abstract: The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthetic) and different goals and applications (from research in the area of artificial intelligence to applications in education). Apart from the usual measures of efficiency (e.g. CPU time), the possibility of visual and/or readable proofs is also an expected output against which the geometry automated theorem provers (GATP) should be measured. The implementation of a competition between GATP would allow to create a test bench for GATP developers to improve the existing ones and to propose new ones. It would also allow to establish a ranking for GATP that could be used by "clients" (e.g. developers of educational e-learning systems) to choose the best implementation for a given intended use.


title: Hand-Priming in Object Localization for Assistive Egocentric Vision

abstract: Egocentric vision holds great promises for increasing access to visual information and improving the quality of life for people with visual impairments, with object recognition being one of the daily challenges for this population. While we strive to improve recognition performance, it remains difficult to identify which object is of interest to the user; the object may not even be included in the frame due to challenges in camera aiming without visual feedback. Also, gaze information, commonly used to infer the area of interest in egocentric vision, is often not dependable. However, blind users often tend to include their hand either interacting with the object that they wish to recognize or simply placing it in proximity for better camera aiming. We propose localization models that leverage the presence of the hand as the contextual information for priming the center area of the object of interest. In our approach, hand segmentation is fed to either the entire localization network or its last convolutional layers. Using egocentric datasets from sighted and blind individuals, we show that the hand-priming achieves higher precision than other approaches, such as fine-tuning, multi-class, and multi-task learning, which also encode hand-object interactions in localization.


title: Modeling Future Cost for Neural Machine Translation

abstract: Existing neural machine translation (NMT) systems utilize sequence-to-sequence neural networks to generate target translation word by word, and then make the generated word at each time-step and the counterpart in the references as consistent as possible. However, the trained translation model tends to focus on ensuring the accuracy of the generated target word at the current time-step and does not consider its future cost which means the expected cost of generating the subsequent target translation (i.e., the next target word). To respond to this issue, we propose a simple and effective method to model the future cost of each target word for NMT systems. In detail, a time-dependent future cost is estimated based on the current generated target word and its contextual information to boost the training of the NMT model. Furthermore, the learned future context representation at the current time-step is used to help the generation of the next target word in the decoding. Experimental results on three widely-used translation datasets, including the WMT14 German-to-English, WMT14 English-to-French, and WMT17 Chinese-to-English, show that the proposed approach achieves significant improvements over strong Transformer-based NMT baseline.


title: On Properties of Random Binary Contingency Tables with Non-Uniform Margin

abstract: We study the random binary contingency tables with non-uniform margin. More precisely, for parameters $n,\delta,B,C$, we consider $X=(X_{ij})$ with $X_{ij}\in \lbrace 0,1\rbrace$, the random binary contingency tables whose first $[n^\delta]$ rows and columns have margin $[BCn]$ and the rest columns and rows have margin $[Cn]$. We study various asymptotic properties of $X$ as $n\to \infty$. This answers a question posted by Barvinok.


title: Extensions of Brunn-Minkovski's inequality to multiple matrices

abstract: Yuan and Leng (2007) gave a generalization of Ky Fan's determinantal inequality, which is a celebrated refinement of the fundamental Brunn-Minkowski inequality $(\det (A+B))^{1/n} \ge (\det A)^{1/n} +(\det B)^{1/n}$, where $A$ and $B$ are positive semidefinite matrices. In this note, we first give an extension of Yuan-Leng's result to multiple positive definite matrices, and then we further extend the result to a larger class of matrices whose numerical ranges are contained in a sector. Our result improves a recent result of Liu [Linear Algebra Appl. 508 (2016) 206--213].


title: A Big Data Enabled Channel Model for 5G Wireless Communication Systems

abstract: The standardization process of the fifth generation (5G) wireless communications has recently been accelerated and the first commercial 5G services would be provided as early as in 2018. The increasing of enormous smartphones, new complex scenarios, large frequency bands, massive antenna elements, and dense small cells will generate big datasets and bring 5G communications to the era of big data. This paper investigates various applications of big data analytics, especially machine learning algorithms in wireless communications and channel modeling. We propose a big data and machine learning enabled wireless channel model framework. The proposed channel model is based on artificial neural networks (ANNs), including feed-forward neural network (FNN) and radial basis function neural network (RBF-NN). The input parameters are transmitter (Tx) and receiver (Rx) coordinates, Tx-Rx distance, and carrier frequency, while the output parameters are channel statistical properties, including the received power, root mean square (RMS) delay spread (DS), and RMS angle spreads (ASs). Datasets used to train and test the ANNs are collected from both real channel measurements and a geometry based stochastic model (GBSM). Simulation results show good performance and indicate that machine learning algorithms can be powerful analytical tools for future measurement-based wireless channel modeling.


title: Geometry of limits of zeros of polynomial sequences of type $(1,2)$

abstract: We study the root distribution of some univariate polynomials satisfying a recurrence of order two with linear and quadratic polynomial coefficients. We show that the set of non-isolated limits of zeros of the polynomials is the closure of an arc, a circle, an interval or its exterior under the real line, the union of at most two different shapes of the above cases expect the union of an arc and a circle, and some degenerate forms.


title: Global Convergence and Geometric Characterization of Slow to Fast Weight Evolution in Neural Network Training for Classifying Linearly Non-Separable Data

abstract: In this paper, we study the dynamics of gradient descent in learning neural networks for classification problems. Unlike in existing works, we consider the linearly non-separable case where the training data of different classes lie in orthogonal subspaces. We show that when the network has sufficient (but not exceedingly large) number of neurons, (1) the corresponding minimization problem has a desirable landscape where all critical points are global minima with perfect classification; (2) gradient descent is guaranteed to converge to the global minima. Moreover, we discovered a geometric condition on the network weights so that when it is satisfied, the weight evolution transitions from a slow phase of weight direction spreading to a fast phase of weight convergence. The geometric condition says that the convex hull of the weights projected on the unit sphere contains the origin.


title: Active viscoelasticity of odd materials

abstract: The mechanical response of active media ranging from biological gels to living tissues is governed by a subtle interplay between viscosity and elasticity. In this Letter, we generalize the canonical Kelvin-Voigt and Maxwell models to active viscoelastic media that break both parity and time-reversal symmetries. The resulting continuum theories exhibit viscous and elastic tensors that are both antisymmetric, or odd, under exchange of pairs of indices. We analyze how these parity violating viscoelastic coefficients determine the relaxation mechanisms and wave-propagation properties of odd materials.


title: A Novel 3D Space-Time-Frequency Non-Stationary Channel Model for 6G THz Indoor Communication Systems

abstract: Terahertz (THz) communication is now being considered as one of possible technologies for the sixth generation (6G) communication systems. In this paper, a novel three-dimensional (3D) space-time-frequency non-stationary massive multiple-input multiple-output (MIMO) channel model for 6G THz indoor communication systems is proposed. In this geometry-based stochastic model (GBSM), the initialization and evolution of parameters in time, space, and frequency domains are developed to generate the complete channel transfer function (CTF). Based on the proposed model, the correlation functions including time auto-correlation function (ACF), spatial crosscorrelation function (CCF), and frequency correlation function (FCF) are investigated. The results show that the statistical properties of the simulation model match well with those of the theoretical model. The stationary intervals at different frequencies are simulated. The non-stationarity in time, space, and frequency domains is verified by theoretical derivations and simulations.


title: Generalized quantum scissors for noiseless linear amplification

abstract: We generalize the concept of optical state truncation and noiseless linear amplification to enable truncation of the Fock-state expansion of an optical state to higher order and to simultaneously amplify it using linear optics. The resulting generalized quantum scissors are more efficient for noiseless linear amplification than employing multiple scissors in parallel and are experimentally practical. As a particular example, we focus on a third-order scissor device and demonstrate advantages in terms of fidelity with the target state, probability of success, distillable entanglement, and the amount of non-Gaussianity introduced.


title: Invariant manifolds and separation of the variables for integrable chains

abstract: A notion of the generalized invariant manifold for a nonlinear integrable lattice is considered. Earlier it has been observed that this kind objects provide an effective tool for evaluating the recursion operators and Lax pairs. In this article we show with an example of the Volterra chain that the generalized invariant manifold can be used for constructing exact particular solutions as well. To this end we first find an invariant manifold depending on two constant parameters. Then we assume that ordinary difference equation defining the generalized invariant manifold has a solution polynomially depending on one of the spectral parameters and derive ordinary difference and differential equations, for the roots of the polynomials. Efficiency of the method is approved by some illustrative examples.


title: Reconstruction of weak bialgebra maps and its applications

abstract: In this note we give a precise statement and a detailed proof for reconstruction problem of weak bialgebra maps. As an application we characterize indecomposability of weak algebras in categorical setting.


title: Solutions of nonhomogeneous equations involving Hardy potentials with singularities on the boundary

abstract: In this paper, we present a new distributional identity for the solutions of elliptic equations involving Hardy potentials with singularities located on the boundary of the domain. Then we use it to obtain the boundary isolated singular solutions of nonhomogeneous problems.


title: Learning Directly from Grammar Compressed Text

abstract: Neural networks using numerous text data have been successfully applied to a variety of tasks. While massive text data is usually compressed using techniques such as grammar compression, almost all of the previous machine learning methods assume already decompressed sequence data as their input. In this paper, we propose a method to directly apply neural sequence models to text data compressed with grammar compression algorithms without decompression. To encode the unique symbols that appear in compression rules, we introduce composer modules to incrementally encode the symbols into vector representations. Through experiments on real datasets, we empirically showed that the proposal model can achieve both memory and computational efficiency while maintaining moderate performance.


title: Enhancing Scalar Productions with Leptoquarks at the LHC

abstract: The Standard Model (SM), when extended with a leptoquark (LQ) and right-handed neutrinos, can have interesting new implications for Higgs physics. We show that sterile neutrinos can induce a boost to the down-type quark Yukawa interactions through a diagonal coupling associated with the quarks and a scalar LQ of electromagnetic charge $1/3$. The relative change is moderately larger in the case of the first two generations of quarks, as they have vanishingly small Yukawa couplings in the SM. The enhancement in the couplings would also lead to a non-negligible contribution from the quark fusion process to the production of the 125 GeV Higgs scalar in the SM, though the gluon fusion always dominates. However, this may not be true for a general scalar. As an example, we consider a scenario with a SM-gauge-singlet scalar $\phi$ where an $\mathcal O(1)$ coupling between $\phi$ and the LQ is allowed. The $\phi q \bar{q}$ Yukawa couplings can be generated radiatively only through a loop of LQ and sterile neutrinos. Here, the quark fusion process can have a significant cross section, especially for a light $\phi$. It can even supersede the normally dominant gluon fusion process for a moderate to large value of the LQ mass. This model can be tested/constrained at the high luminosity run of the LHC through a potentially large branching fraction of the scalar to two jets.


title: Me, myself and I: a general theory of non-Markovian time-inconsistent stochastic control for sophisticated agents

abstract: We develop a theory for continuous-time non-Markovian stochastic control problems which are inherently time-inconsistent. Their distinguishing feature is that the classical Bellman optimality principle no longer holds. Our formulation is cast within the framework of a controlled non-Markovian forward stochastic differential equation, and a general objective functional setting. We adopt a game-theoretic approach to study such problems, meaning that we seek for sub-game perfect Nash equilibrium points. As a first novelty of this work, we introduce and motivate a refinement of the definition of equilibrium that allows us to establish a direct and rigorous proof of an extended dynamic programming principle, in the same spirit as in the classical theory. This in turn allows us to introduce a system consisting of an infinite family of backward stochastic differential equations analogous to the classical HJB equation. We prove that this system is fundamental, in the sense that its well-posedness is both necessary and sufficient to characterise the value function and equilibria. As a final step we provide an existence and uniqueness result. Some examples and extensions of our results are also presented.


title: MANet: Multimodal Attention Network based Point- View fusion for 3D Shape Recognition

abstract: 3D shape recognition has attracted more and more attention as a task of 3D vision research. The proliferation of 3D data encourages various deep learning methods based on 3D data. Now there have been many deep learning models based on point-cloud data or multi-view data alone. However, in the era of big data, integrating data of two different modals to obtain a unified 3D shape descriptor is bound to improve the recognition accuracy. Therefore, this paper proposes a fusion network based on multimodal attention mechanism for 3D shape recognition. Considering the limitations of multi-view data, we introduce a soft attention scheme, which can use the global point-cloud features to filter the multi-view features, and then realize the effective fusion of the two features. More specifically, we obtain the enhanced multi-view features by mining the contribution of each multi-view image to the overall shape recognition, and then fuse the point-cloud features and the enhanced multi-view features to obtain a more discriminative 3D shape descriptor. We have performed relevant experiments on the ModelNet40 dataset, and experimental results verify the effectiveness of our method.


title: A multi-wavelength view of the open cluster NGC 2527: Discovery of active stars

abstract: Star clusters are ideal platforms for categorising X-ray emitting stars and to study X-ray emission as a function of stellar age and activity. We present a comprehensive study of an open star cluster, NGC2527, by combining data from XMM-UVOT-Gaia. Cluster membership of stars and their photometry are taken from Gaia and cross-matched with XMM and UVOT detections. We estimate the age of NGC2527 as ~630 Myr, reddening as E(B-V)=0.13 mag, and a distance of 642+/-30 pc using PARSEC isochrones. We detect 5 sub-subgiants and 5 bandgap stars, which defy single star evolution. We estimate the temperature, mass, radius, and luminosity of 53 single stars and 10 potential binary stars using a python code which fits single and composite Kurucz spectra to broad-band Spectral Energy Distribution. Among the 12 X-ray emitting members, we find 5 are potential RS CVn type binaries, 2 are potential FK Comae type of RGB stars, and 5 are main sequence (MS) stars with high coronal activity. Members with strong UV emission comprise of 1 RGB star, and several MS stars with UV excess suggestive of chromospheric activity. Based on comparison with other clusters, we tentatively suggest that X-ray luminosity of both RS CVn and contact binaries increases with age suggesting more active binaries are present in older clusters as compared to younger clusters. This study suggests the possible presence of W UMa and FK Comae type stars in younger (age~630 Myr) clusters.


title: Effects of power-law correlated disorders in XXZ spin chain: Many-body localized to thermal phase transition and its critical regime

abstract: We study a canonical many-body-localized (MBL) system with power-law-correlated disorders: $s=\frac{1}{2}$ spin chain in a random magnetic field. The power-law-correlated disorder can control the critical regime between the MBL and thermal (ergodic) phases by varying its exponent, and it let us investigate the MBL transitions in detail. Static-eigenstate and dynamic properties of MBL are studied by numerical methods for systems with various long-range correlations. By using energy-resolved distribution of the participation ratio (PR) and calculating some physical quantities related to localization length, we show that the MBL transition exhibits certain universal behavior. We also investigate entanglement properties for the static and dynamics system. These studies elucidate the impact of power-law-correlated disorders in the canonical MBL system.


title: A vanishing identity on adjoint Reidemeister torsions of twist knots

abstract: For a compact oriented 3-manifold with torus boundary the adjoint Reidemeister torsion is defined as a function on the $\mathrm{SL}_2(\mathbb{C})$-character variety depending on a choice of a boundary curve. Under reasonable assumptions, it is conjectured that the adjoint torsion satisfies a certain type of vanishing identities. In this paper, we prove that the conjecture holds for all hyperbolic twist knot exteriors by using Jacobi's residue theorem.


title: Does $\Lambda$CDM really be in tension with the Hubble diagram data?

abstract: In this article, we elaborate further on the $\Lambda$CDM "tension", suggested recently by the authors \cite{Lusso:2019akb,Risaliti:2018reu}. We combine Supernovae type Ia (SNIa) with quasars (QSO) and Gamma Ray Bursts (GRB) data in order to reconstruct a model independent Hubble diagram to as high redshifts as possible. Specifically, in the case of either SNIa or SNIa/QSO data, we find that current values of the cosmokinetic parameters extracted from the Gaussian process are consistent with those of $\Lambda$CDM. Including GRBs, in the analysis, we find a tension, which however is not as significant as that mentioned in \cite{Lusso:2019akb, Risaliti:2018reu}. Finally, we argue that the choice of the kernel function used in extracting the luminosity distance might affect the amount of tension.


title: Class-Specific Blind Deconvolutional Phase Retrieval Under a Generative Prior

abstract: In this paper, we consider the highly ill-posed problem of jointly recovering two real-valued signals from the phaseless measurements of their circular convolution. The problem arises in various imaging modalities such as Fourier ptychography, X-ray crystallography, and in visible light communication. We propose to solve this inverse problem using alternating gradient descent algorithm under two pretrained deep generative networks as priors; one is trained on sharp images and the other on blur kernels. The proposed recovery algorithm strives to find a sharp image and a blur kernel in the range of the respective pre-generators that \textit{best} explain the forward measurement model. In doing so, we are able to reconstruct quality image estimates. Moreover, the numerics show that the proposed approach performs well on the challenging measurement models that reflect the physically realizable imaging systems and is also robust to noise


title: The impact of advection on the stability of stripes on lattices near planar Turing instabilities

abstract: Striped patterns are known to bifurcate in reaction-diffusion systems with differential isotropic diffusions at a supercritical Turing instability. In this paper we study the impact of weak anisotropy by directional advection on the stability of stripes with respect to various lattice modes, and the role of quadratic terms therein. We focus on the generic form of planar reaction-diffusion systems with two components near such a bifurcation. Using centre manifold reduction we derive a rigorous parameter expansion for the critical eigenvalues for lattice mode perturbations, specifically nearly square and nearly hexagonal ones. This provides detailed formulae for the loci of stability boundaries under the influence of the advection and quadratic terms. In particular, the well known destabilising effect of quadratic terms can be counterbalanced by advection, which leads to intriguing arrangements of stability boundaries. We illustrate these results numerically by a specific example. Finally, we show numerical computations of these stability boundaries in the extended Klausmeier model for vegetation patterns and show stripes bifurcate stably in the presence of sufficiently strong advection.


title: Neural Inheritance Relation Guided One-Shot Layer Assignment Search

abstract: Layer assignment is seldom picked out as an independent research topic in neural architecture search. In this paper, for the first time, we systematically investigate the impact of different layer assignments to the network performance by building an architecture dataset of layer assignment on CIFAR-100. Through analyzing this dataset, we discover a neural inheritance relation among the networks with different layer assignments, that is, the optimal layer assignments for deeper networks always inherit from those for shallow networks. Inspired by this neural inheritance relation, we propose an efficient one-shot layer assignment search approach via inherited sampling. Specifically, the optimal layer assignment searched in the shallow network can be provided as a strong sampling priori to train and search the deeper ones in supernet, which extremely reduces the network search space. Comprehensive experiments carried out on CIFAR-100 illustrate the efficiency of our proposed method. Our search results are strongly consistent with the optimal ones directly selected from the architecture dataset. To further confirm the generalization of our proposed method, we also conduct experiments on Tiny-ImageNet and ImageNet. Our searched results are remarkably superior to the handcrafted ones under the unchanged computational budgets. The neural inheritance relation discovered in this paper can provide insights to the universal neural architecture search.


title: Jamming-Robust Uplink Transmission for Spatially Correlated Massive MIMO Systems

abstract: In this paper, we consider how the uplink transmission of a spatially correlated massive multiple-input multiple-output (MIMO) system can be protected from a jamming attack. To suppress the jamming, we propose a novel framework including a new optimal linear estimator in the training phase and a bilinear equalizer in the data phase. The proposed estimator is optimal in the sense of maximizing the spectral efficiency of the legitimate system attacked by a jammer, and its implementation needs statistical knowledge about the jammer's channel. We derive an efficient algorithm to estimate the jamming information needed for the implementation of the proposed framework. Furthermore, we demonstrate that optimized power allocation at the legitimate users can improve the performance of the proposed framework regardless of the jamming power optimization. Our proposed framework can be exploited to combat jamming in scenarios with either ideal or non-ideal hardware at the legitimate users and the jammer. Numerical results reveal that using the proposed framework, the jammer cannot dramatically affect the performance of the legitimate system.


title: AdaptiveBandit: A multi-armed bandit framework for adaptive sampling in molecular simulations

abstract: Sampling from the equilibrium distribution has always been a major problem in molecular simulations due to the very high dimensionality of conformational space. Over several decades, many approaches have been used to overcome the problem. In particular, we focus on unbiased simulation methods such as parallel and adaptive sampling. Here, we recast adaptive sampling schemes on the basis of multi-armed bandits and develop a novel adaptive sampling algorithm under this framework, \UCB. We test it on multiple simplified potentials and in a protein folding scenario. We find that this framework performs similarly or better in every type of test potentials compared to previous methods. Furthermore, it provides a novel framework to develop new sampling algorithms with better asymptotic characteristics.


title: On the formation of PSR J1640+2224: a neutron star born massive?

abstract: PSR J1640+2224 is a binary millisecond pulsar (BMSP) with a white dwarf (WD) companion. Recent observations indicate that the WD is very likely to be a $\sim 0.7\,M_{\odot}$ CO WD. Thus the BMSP should have evolved from an intermediate-mass X-ray binary (IMXB). However, previous investigations on IMXB evolution predict that the orbital periods of the resultant BMSPs are generally $<40$ days, in contrast with the 175 day orbital period of PSR J1640+2224. In this paper, we explore the influence of the mass of the neutron star (NS) and the chemical compositions of the companion star on the formation of BMSPs. Our results show that, the final orbital period becomes longer with increasing NS mass, and the WD mass becomes larger with decreasing metallicity. In particular, to reproduce the properties of PSR J1640+2224, the NS was likely born massive ($>2.0\,M_{\odot}$).


title: Smooth Dynamics for Distributed Constrained Optimization with Heterogeneous Delays

abstract: This work investigates the distributed constrained optimization problem under inter-agent communication delays from the perspective of passivity. First, we propose a continuous-time algorithm for distributed constrained optimization with general convex objective functions. The asymptotic stability under general convexity is guaranteed by the phase lead compensation. The inequality constraints are handled by adopting a projection-free generalized Lagrangian, whose primal-dual gradient dynamics preserves passivity and smoothness, enabling the application of the LaSalle's invariance principle in the presence of delays. Then, we incorporate the scattering transformation into the proposed algorithm to enhance the robustness against unknown and heterogeneous communication delays. Finally, a numerical example of a matching problem is provided to illustrate the results.


title: Exploring and Distilling Cross-Modal Information for Image Captioning

abstract: Recently, attention-based encoder-decoder models have been used extensively in image captioning. Yet there is still great difficulty for the current methods to achieve deep image understanding. In this work, we argue that such understanding requires visual attention to correlated image regions and semantic attention to coherent attributes of interest. Based on the Transformer, to perform effective attention, we explore image captioning from a cross-modal perspective and propose the Global-and-Local Information Exploring-and-Distilling approach that explores and distills the source information in vision and language. It globally provides the aspect vector, a spatial and relational representation of images based on caption contexts, through the extraction of salient region groupings and attribute collocations, and locally extracts the fine-grained regions and attributes in reference to the aspect vector for word selection. Our Transformer-based model achieves a CIDEr score of 129.3 in offline COCO evaluation on the COCO testing set with remarkable efficiency in terms of accuracy, speed, and parameter budget.


title: Nonparametric Empirical Bayes Estimation on Heterogeneous Data

abstract: The simultaneous estimation of many parameters based on data collected from corresponding studies is a key research problem that has received renewed attention in the high-dimensional setting. Many practical situations involve heterogeneous data where heterogeneity is captured by a nuisance parameter. Effectively pooling information across samples while correctly accounting for heterogeneity presents a significant challenge in large-scale estimation problems. We address this issue by introducing the ``Nonparametric Empirical Bayes Structural Tweedie" (NEST) estimator, which efficiently estimates the unknown effect sizes and properly adjusts for heterogeneity via a generalized version of Tweedie's formula. For the normal means problem, NEST simultaneously handles the two main selection biases introduced by heterogeneity: one, the selection bias in the mean, which cannot be effectively corrected without also correcting for, two, selection bias in the variance. We develop theory to show that NEST is asymptotically as good as the optimal Bayes rule that uniquely minimizes a weighted squared error loss. In our simulation studies NEST outperforms competing methods, with much efficiency gains in many settings. The proposed method is demonstrated on estimating the batting averages of baseball players and Sharpe ratios of mutual fund returns. Extensions to other members of the two-parameter exponential family are discussed.


title: Correspondences among CFTs with different W-algebra symmetry

abstract: W-algebras are constructed via quantum Hamiltonian reduction associated with a Lie algebra $\mathfrak{g}$ and an $\mathfrak{sl}(2)$-embedding into $\mathfrak{g}$. We derive correspondences among correlation functions of theories having different W-algebras as symmetry algebras. These W-algebras are associated to the same $\mathfrak{g}$ but distinct $\mathfrak{sl}(2)$-embeddings. For this purpose, we first explore different free field realizations of W-algebras and then generalize previous works on the path integral derivation of correspondences of correlation functions. For $\mathfrak{g}=\mathfrak{sl}(3)$, there is only one non-standard (non-regular) W-algebra known as the Bershadsky-Polyakov algebra. We examine its free field realizations and derive correlator correspondences involving the WZNW theory of $\mathfrak{sl}(3)$, the Bershadsky-Polyakov algebra and the principal $W_3$-algebra. There are three non-regular W-algebras associated to $\mathfrak{g}=\mathfrak{sl}(4)$. We show that the methods developed for $\mathfrak{g}=\mathfrak{sl}(3)$ can be applied straightforwardly. We briefly comment on extensions of our techniques to general $\mathfrak{g}$.


title: Regional Registration of Whole Slide Image Stacks Containing Highly Deformed Artefacts

abstract: Motivation: High resolution 2D whole slide imaging provides rich information about the tissue structure. This information can be a lot richer if these 2D images can be stacked into a 3D tissue volume. A 3D analysis, however, requires accurate reconstruction of the tissue volume from the 2D image stack. This task is not trivial due to the distortions that each individual tissue slice experiences while cutting and mounting the tissue on the glass slide. Performing registration for the whole tissue slices may be adversely affected by the deformed tissue regions. Consequently, regional registration is found to be more effective. In this paper, we propose an accurate and robust regional registration algorithm for whole slide images which incrementally focuses registration on the area around the region of interest. Results: Using mean similarity index as the metric, the proposed algorithm (mean $\pm$ std: $0.84 \pm 0.11$) followed by a fine registration algorithm ($0.86 \pm 0.08$) outperformed the state-of-the-art linear whole tissue registration algorithm ($0.74 \pm 0.19$) and the regional version of this algorithm ($0.81 \pm 0.15$). The proposed algorithm also outperforms the state-of-the-art nonlinear registration algorithm (original : $0.82 \pm 0.12$, regional : $0.77 \pm 0.22$) for whole slide images and a recently proposed patch-based registration algorithm (patch size 256: $0.79 \pm 0.16$ , patch size 512: $0.77 \pm 0.16$) for medical images. Availability: The C++ implementation code is available online at the github repository: https://github.com/MahsaPaknezhad/WSIRegistration


title: Deep Learning Enabled Optimization of Downlink Beamforming Under Per-Antenna Power Constraints: Algorithms and Experimental Demonstration

abstract: This paper studies fast downlink beamforming algorithms using deep learning in multiuser multiple-input-single-output systems where each transmit antenna at the base station has its own power constraint. We focus on the signal-to-interference-plus-noise ratio (SINR) balancing problem which is quasi-convex but there is no efficient solution available. We first design a fast subgradient algorithm that can achieve near-optimal solution with reduced complexity. We then propose a deep neural network structure to learn the optimal beamforming based on convolutional networks and exploitation of the duality of the original problem. Two strategies of learning various dual variables are investigated with different accuracies, and the corresponding recovery of the original solution is facilitated by the subgradient algorithm. We also develop a generalization method of the proposed algorithms so that they can adapt to the varying number of users and antennas without re-training. We carry out intensive numerical simulations and testbed experiments to evaluate the performance of the proposed algorithms. Results show that the proposed algorithms achieve close to optimal solution in simulations with perfect channel information and outperform the alleged theoretically optimal solution in experiments, illustrating a better performance-complexity tradeoff than existing schemes.


title: Unveiling the Galileon in a three-body system : scalar and gravitational wave production

abstract: We consider the prospect of detecting cubic Galileons through their imprint on gravitational wave signals from a triple system. Namely, we consider a massive Black Hole (BH) surrounded by a binary system of two smaller BHs. We assume that the three BHs acquire a conformal coupling to the scalar field whose origin could be due to cosmology or to the galactic environment. In this case, the massive BH has a Vainshtein radius which englobes the smaller ones and suppresses the scalar effects on the motion of the binary system. On the other hand the two binaries can be outside each other's redressed Vainshtein radius calculated in the background of the central BH, allowing for a perturbative treatment of their dynamics. Despite the strong Vainshtein suppression, we find that the scalar effects on the binary system are slightly enhanced with respect to the static case and a significant amount of power can be emitted in the form of the Galileon scalar field, hence actively participating in the inspiralling phase. We compute the modification to the GW phase and show that it can lead to a detectable signal for large enough effective scalar coupling.


title: DC-BERT: Decoupling Question and Document for Efficient Contextual Encoding

abstract: Recent studies on open-domain question answering have achieved prominent performance improvement using pre-trained language models such as BERT. State-of-the-art approaches typically follow the "retrieve and read" pipeline and employ BERT-based reranker to filter retrieved documents before feeding them into the reader module. The BERT retriever takes as input the concatenation of question and each retrieved document. Despite the success of these approaches in terms of QA accuracy, due to the concatenation, they can barely handle high-throughput of incoming questions each with a large collection of retrieved documents. To address the efficiency problem, we propose DC-BERT, a decoupled contextual encoding framework that has dual BERT models: an online BERT which encodes the question only once, and an offline BERT which pre-encodes all the documents and caches their encodings. On SQuAD Open and Natural Questions Open datasets, DC-BERT achieves 10x speedup on document retrieval, while retaining most (about 98%) of the QA performance compared to state-of-the-art approaches for open-domain question answering.


title: Wind Speed Prediction using Deep Ensemble Learning with a Jet-like Architecture

abstract: The wind is one of the most increasingly used renewable energy resources. Accurate and reliable forecast of wind speed is necessary for efficient power production; however, it is not an easy task because it depends upon meteorological features of the surrounding region. Deep learning is extensively used these days for performing feature extraction. It has also been observed that the integration of several learning models, known as ensemble learning, generally gives better performance compared to a single model. The design of wings, tail, and nose of a jet improves the aerodynamics resulting in a smooth and controlled flight of the jet against the variations of the air currents. Inspired by the shape and working of a jet, a novel Deep Ensemble Learning using Jet-like Architecture (DEL-Jet) technique is proposed to enhance the diversity and robustness of a learning system against the variations in the input space. The diverse feature spaces of the base-regressors are exploited using the jet-like ensemble architecture. Two Convolutional Neural Networks (as jet wings) and one deep Auto-Encoder (as jet tail) are used to extract the diverse feature spaces from the input data. After that, nonlinear PCA (as jet main body) is employed to reduce the dimensionality of extracted feature space. Finally, both the reduced and the original feature spaces are exploited to train the meta-regressor (as jet nose) for forecasting the wind speed. The performance of the proposed DEL-Jet technique is evaluated for ten independent runs and shows that the deep and jet-like architecture helps in improving the robustness and generalization of the learning system.


title: On non-repetitive complexity of Arnoux-Rauzy words

abstract: The non-repetitive complexity $nr\mathcal{C}_{\bf u}$ and the initial non-repetitive complexity $inr\mathcal{C}_{\bf u}$ are functions which reflect the structure of the infinite word ${\bf u}$ with respect to the repetitions of factors of a given length. We determine $nr\mathcal{C}_{\bf u}$ for the Arnoux-Rauzy words and $inr\mathcal{C}_{\bf u}$ for the standard Arnoux-Rauzy words. Our main tools are $S$-adic representation of Arnoux-Rauzy words and description of return words to their factors. The formulas we obtain are then used to evaluate $nr\mathcal{C}_{\bf u}$ and $inr\mathcal{C}_{\bf u}$ for the $d$-bonacci word.


title: A discrepancy version of the Hajnal-Szemer\'edi theorem

abstract: A perfect $K_r$-tiling in a graph $G$ is a collection of vertex-disjoint copies of the clique $K_r$ in $G$ covering every vertex of $G$. The famous Hajnal--Szemer\'edi theorem determines the minimum degree threshold for forcing a perfect $K_r$-tiling in a graph $G$. The notion of discrepancy appears in many branches of mathematics. In the graph setting, one assigns the edges of a graph $G$ labels from $\{-1,1\}$, and one seeks substructures $F$ of $G$ that have `high' discrepancy (i.e. the sum of the labels of the edges in $F$ is far from $0$). In this paper we determine the minimum degree threshold for a graph to contain a perfect $K_r$-tiling of high discrepancy.


title: Large systems of random linear equations with non-negative solutions: Characterizing the solvable and unsolvable phase

abstract: Large systems of linear equations are ubiquitous in science. Quite often, e.g. when considering population dynamics or chemical networks, the solutions must be non-negative. Recently, it has been shown that large systems of random linear equations exhibit a sharp transition from a phase, where a non-negative solution exists with probability one, to one where typically no such solution may be found. The critical line separating the two phases was determined by combining Farkas' lemma with the replica method. Here, we show that the same methods remain viable to characterize the two phases away from criticality. To this end we analytically determine the residual norm of the system in the unsolvable phase and a suitable measure of robustness of solutions in the solvable one. Our results are in very good agreement with numerical simulations.


title: Universal Higher-Order Topology from 5D Weyl semimetal: Edge topology, edge Hamiltonian and nested Wilson loop

abstract: Higher-order topological insulators (HOTIs) or multipole insulators, hosting peculiar corner states, were discovered [arXiv:1611.07987, arXiv:1708.03636]. It was independently discovered [arXiv:1702.00624] that continuum 5-dimensional (5D) Weyl semimetals generically host the corner states, and so do 4D class A and 3D class AIII topological insulators. In this paper we further confirm that the 5D Weyl semimetals, upon dimensional reduction, lead to universal higher-order topology. First we explain a discrete symmetry protecting the 5D Weyl semimetals, and describe dimensional reductions of the 5D Weyl semimetals to the popular HOTIs in the continuum limit. We calculate the topological charge carried by edge states of the 5D Weyl semimetal, for the most generic boundary condition. The topological charge is a Dirac monopole, which can also be seen from that edge Hamiltonians are always of the form of a 3D Weyl semimetal. This edge topology leads to the edge-of-edge states, or the corner states, generically, suggesting that the 5D Weyl semimetal is thought of as a physical structural origin of corner states in HOTIs. In addition, we explicitly calculate a nested Wilson loop of the 5D Weyl semimetal and find that the topological structure is identical to that of a Wilson loop of a Dirac monopole.


title: An Efficient Method of Training Small Models for Regression Problems with Knowledge Distillation

abstract: Compressing deep neural network (DNN) models becomes a very important and necessary technique for real-world applications, such as deploying those models on mobile devices. Knowledge distillation is one of the most popular methods for model compression, and many studies have been made on developing this technique. However, those studies mainly focused on classification problems, and very few attempts have been made on regression problems, although there are many application of DNNs on regression problems. In this paper, we propose a new formalism of knowledge distillation for regression problems. First, we propose a new loss function, teacher outlier rejection loss, which rejects outliers in training samples using teacher model predictions. Second, we consider a multi-task network with two outputs: one estimates training labels which is in general contaminated by noisy labels; And the other estimates teacher model's output which is expected to modify the noise labels following the memorization effects. By considering the multi-task network, training of the feature extraction of student models becomes more effective, and it allows us to obtain a better student model than one trained from scratch. We performed comprehensive evaluation with one simple toy model: sinusoidal function, and two open datasets: MPIIGaze, and Multi-PIE. Our results show consistent improvement in accuracy regardless of the annotation error level in the datasets.


title: PPN motion of the S-stars around Sgr A*

abstract: Parametrized Post-Newtonian (PPN) equations of motion for several S-stars nearest to the Galactic Center compact relativistic object SgrA* are considered. The effect of the orbital periods difference between Newtonian and Post-Newtonian cases is taken into account. The best fit PN orbit of S2 has a period which is 16 days longer than Newtonian one. The PPN parameters $\beta_\text{PPN}$ and $\gamma_\text{PPN}$ are measured. Bayesian sampling is used to fit the trajectories of the PPN laws of motion. Posterior estimates of $\beta_\text{PPN}$ and $\gamma_\text{PPN}$ are $0.97^{+0.42}_{-0.65}$ and $0.81^{+0.46}_{-0.60}$ respectively. The result confirms General Relativity prediction for the Post-Newtonian equations of motion in the conditions of orbital motions in vicinity of the SgrA*.


title: Computing mixed strategies equilibria in presence of switching costs by the solution of nonconvex QP problems

abstract: In this paper we address game theory problems arising in the context of network security. In traditional game theory problems, given a defender and an attacker, one searches for mixed strategies which minimize a linear payoff functional. In the problems addressed in this paper an additional quadratic term is added to the minimization problem. Such term represents switching costs, i.e., the costs for the defender of switching from a given strategy to another one at successive rounds of a Nash game. The resulting problems are nonconvex QP ones with linear constraints and turn out to be very challenging. We will show that the most recent approaches for the minimization of nonconvex QP functions over polytopes, including commercial solvers such as CPLEX and GUROBI, are unable to solve to optimality even test instances with n = 50 variables. For this reason, we propose to extend with them the current benchmark set of test instances for QP problems. We also present a spatial branch-and-bound approach for the solution of these problems, where a predominant role is played by an optimality-based domain reduction, with multiple solutions of LP problems at each node of the branch-and-bound tree. Of course, domain reductions are standard tools in spatial branch-and-bound approaches. However, our contribution lies in the observation that, from the computational point of view, a rather aggressive application of these tools appears to be the best way to tackle the proposed instances. Indeed, according to our experiments, while they make the computational cost per node high, this is largely compensated by the rather slow growth of the number of nodes in the branch-and-bound tree, so that the proposed approach strongly outperforms the existing solvers for QP problems.


title: 2MASS J15460752-6258042: a mid-M dwarf hosting a prolonged accretion disc

abstract: We report the discovery of the oldest (~55 Myr) mid-M type star known to host on-going accretion. 2MASS J15460752-6258042 (2M1546, spectral type M5, 59.2 pc) shows spectroscopic signs of accretion such as strong Ha, He I, and [O I] emission lines, from which we estimate an accretion rate of ~10^-10 Msun/yr. Considering the clearly detected infrared excess in all WISE bands, the shape of its spectral energy distribution and its age, we believe the star is surrounded by a transitional disc, clearly with some gas still present at inner radii. The position and kinematics of the star from Gaia DR2 and our own radial velocity measurements suggest membership in the nearby ~55 Myr-old Argus moving group. At only 59pc from Earth, 2M1546 is one of the nearest accreting mid-M dwarfs, making it an ideal target for studying the upper limit on the lifetimes of gas-rich discs around low mass stars.


title: One-dimensional Janus fluids. Exact solution and mapping from the quenched to the annealed system

abstract: The equilibrium properties of a Janus fluid confined to a one-dimensional channel are exactly derived. The fluid is made of particles with two faces (active and passive), so that the pair interaction is that of hard spheres, except if the two active faces are in front of each other, in which case the interaction has a square-well attractive tail. Our exact solution refers to quenched systems (i.e., each particle has a fixed face orientation), but we argue by means of statistical-mechanical tools that the results also apply to annealed systems (i.e., each particle can flip its orientation) in the thermodynamic limit. Comparison between theoretical results and Monte Carlo simulations for quenched and annealed systems, respectively, shows an excellent agreement.


title: Combining TCAD and Monte Carlo Methods to Simulate CMOS Pixel Sensors with a Small Collection Electrode using the Allpix Squared Framework

abstract: Combining electrostatic field simulations with Monte Carlo methods enables realistic modeling of the detector response for novel monolithic silicon detectors with strongly non-linear electric fields. Both the precise field description and the inclusion of Landau fluctuations and production of secondary particles in the sensor are crucial ingredients for the understanding and reproduction of detector characteristics. In this paper, a CMOS pixel sensor with small collection electrode design, implemented in a high-resistivity epitaxial layer, is simulated by integrating a detailed electric field model from finite element TCAD into a Monte Carlo based simulation with the Allpix$^2$ framework. The simulation results are compared to data recorded in test-beam measurements and very good agreement is found for various quantities such as cluster size, spatial resolution and efficiency. Furthermore, the observables are studied as a function of the intra-pixel incidence position to enable a detailed comparison with the detector behavior observed in data. The validation of such simulations is fundamental for modeling the detector response and for predicting the performance of future prototype designs. Moreover, visualization plots extracted from the charge carrier drift model of the framework can aid in understanding the charge propagation behavior in different regions of the sensor.


title: Derivative structure enumeration using binary decision diagram

abstract: A derivative structure is a nonequivalent substitutional atomic configuration derived from a given primitive cell. The enumeration of derivative structures plays an essential role in searching for the ground states in multicomponent systems. However, it is computationally hard to enumerate derivative structures if the number of derivative structures of a target system becomes huge. In the present study, we introduce a novel compact data structure of the zero-suppressed binary decision diagram (ZDD) to enumerate derivative structures much more efficiently. The present study shows its simple applications to the enumeration of structures derived from the face-centered cubic and hexagonal close-packed lattices in binary, ternary, and quaternary systems. The present ZDD-based procedure should significantly contribute not only to various computational approaches based on the derivative structures but also to a wide range of combinatorial issues in physics and materials science.


title: An Introduction to Space-Time Exterior Calculus

abstract: The basic concepts of exterior calculus for space-time multivectors are presented: interior and exterior products, interior and exterior derivatives, oriented integrals over hypersurfaces, circulation and flux of multivector fields. Two Stokes theorems relating the exterior and interior derivatives with circulation and flux respectively are derived. As an application, it is shown how the exterior-calculus space-time formulation of the electromagnetic Maxwell equations and Lorentz force recovers the standard vector-calculus formulations, in both differential and integral forms.


title: On the global solvability of the axisymmetric Boussinesq system with critical regularity

abstract: The current paper is principally motivated by establishing the global well-posedness to the three-dimensional Boussinesq system with zero diffusivity in the setting of axisymmetric flows without swirling with $v_0\in H^{\frac12}(\mathbb{R}^3)\cap \dot{B}^{0}_{3,1}(\mathbb{R}^3)$ and density $\rho_0\in L^2(\mathbb{R}^3)\cap \dot{B}^{0}_{3,1}(\mathbb{R}^3)$. This respectively enhances the two results recently accomplished in \cite{Danchin-Paicu1, Hmidi-Rousset}. Our formalism is inspired, in particular for the first part from \cite{Abidi} concerning the axisymmetric Navier-Stokes equations once $v_0\in H^{\frac12}(\mathbb{R}^3)$ and external force $f\in L^2_{loc}\big(\mathbb{R}_{+};H^{\beta}(\mathbb{R}^3)\big)$, with $\beta>\frac14$. This latter regularity on $f$ which is the density in our context is helpless to achieve the global estimates for Boussinesq system. This technical defect forces us to deal once again with a similar proof to that of \cite{Abidi} but with $f\in L^{\beta}_{loc}\big(\mathbb{R}_{+};L^2(\mathbb{R}^3))$ for some $\beta>4$. Second, we explore the gained regularity on the density by considering it as an external force in order to apply the study already obtained to the Boussinesq system.


title: Modelling High-Dimensional Categorical Data Using Nonconvex Fusion Penalties

abstract: We propose a method for estimation in high-dimensional linear models with nominal categorical data. Our estimator, called SCOPE, fuses levels together by making their corresponding coefficients exactly equal. This is achieved using the minimax concave penalty on differences between the order statistics of the coefficients for a categorical variable, thereby clustering the coefficients. We provide an algorithm for exact and efficient computation of the global minimum of the resulting nonconvex objective in the case with a single variable with potentially many levels, and use this within a block coordinate descent procedure in the multivariate case. We show that an oracle least squares solution that exploits the unknown level fusions is a limit point of the coordinate descent with high probability, provided the true levels have a certain minimum separation; these conditions are known to be minimal in the univariate case. We demonstrate the favourable performance of SCOPE across a range of real and simulated datasets. An R package CatReg implementing SCOPE for linear models and also a version for logistic regression is available on CRAN.


title: Security Measures for Grids against Rank-1 Undetectable Time-Synchronization Attacks

abstract: Time-synchronization attacks on phasor measurement units (PMU) pose a real threat to smart grids; it was shown that they are feasible in practice and that they can have a non-negligible negative impact on the state estimation, without triggering the bad-data detection mechanisms. Previous works identified vulnerability conditions when targeted PMUs measure a single phasor. Yet, PMUs are capable of measuring several quantities. We present novel vulnerability conditions in the general case where PMUs measure any number of phasors and can share the same time reference. One is a sufficient condition that does not depend on the measurement values. We propose a security requirement that prevents it and provide a greedy offline algorithm that enforces it. If this security requirement is satisfied, there is still a possibility that the grid can be attacked, although we conjecture that it is very unlikely. We identify two sufficient and necessary vulnerability conditions which depend on the measurement values. For each, we provide a metric that shows the distance between the observed and vulnerability conditions. We recommend their monitoring for security. Numerical results, on the IEEE-39 bus benchmark with real load profiles, show that the measurements of a grid satisfying our security requirement are far from vulnerable.


title: On Weakly 1-absorbing Primary Ideals of Commutative Rings

abstract: Let R be a commutative ring with $1\neq0$. In this paper, we introduce the concept of weakly 1-absorbing primary ideal which is a generalization of 1-absorbing ideal. A proper ideal $I$ of $R$ is called a weakly 1-absorbing primary ideal if whenever nonunit elements $a,b,c\in R$ and $0\neq abc\in I,$ then $ab\in I$ or $c\in\sqrt{I}$. A number of results concerning weakly 1-absorbing primary ideals and examples of weakly 1-absorbing primary ideals are given. Furthermore, we give the correct version of a result on 1-absorbing ideals of commutative rings.


title: SCALE-Net: Scalable Vehicle Trajectory Prediction Network under Random Number of Interacting Vehicles via Edge-enhanced Graph Convolutional Neural Network

abstract: Predicting the future trajectory of surrounding vehicles in a randomly varying traffic level is one of the most challenging problems in developing an autonomous vehicle. Since there is no pre-defined number of interacting vehicles participate in, the prediction network has to be scalable with respect to the vehicle number in order to guarantee the consistency in terms of both accuracy and computational load. In this paper, the first fully scalable trajectory prediction network, SCALE-Net, is proposed that can ensure both higher prediction performance and consistent computational load regardless of the number of surrounding vehicles. The SCALE-Net employs the Edge-enhance Graph Convolutional Neural Network (EGCN) for the inter-vehicular interaction embedding network. Since the proposed EGCN is inherently scalable with respect to the graph node (an agent in this study), the model can be operated independently from the total number of vehicles considered. We evaluated the scalability of the SCALE-Net on the publically available NGSIM datasets by comparing variations on computation time and prediction accuracy per single driving scene with respect to the varying vehicle number. The experimental test shows that both computation time and prediction performance of the SCALE-Net consistently outperform those of previous models regardless of the level of traffic complexities.


title: Exclusive photoproduction of vector meson at next-to-leading order from Color Glass Condensate

abstract: The exclusive photoproduction of vector mesons ($J/\psi$ and $\phi$) are investigated by taking into account the next-to-leading order corrections in the framework of Color Glass Condensate. We confront the next-to-leading order modified dipole amplitude with the HERA data finding good agreement. Our studies show that the $\chi^2/d.o.f$ from leading order, running coupling and collinearly improved next-to-leading order dipole amplitudes are 2.159, 1.097, and 0.932 for the elastic cross section, and 2.056, 1.449, and 1.357 for differential cross section. The outcomes indicate that the higher-order corrections have a significant contribution to the vector meson productions and the description of the experimental data is dramatically improved once the higher order corrections are included. We extend the next-to-leading order exclusive vector meson production model to LHC energies by using the same parameters obtained from HERA. We find that our model can also give a rather good description of the $J/\psi$ and $\phi$ data in proton-proton collision at 7 TeV and 13 TeV at LHCb experiments.


title: Complete phase retrieval of photoelectron wavepackets

abstract: Coherent, broadband pulses of extreme ultraviolet (XUV) light provide a new and exciting tool for exploring attosecond electron dynamics. Using photoelectron streaking, interferometric spectrograms can be generated that contain a wealth of information about the phase properties of the photoionization process. If properly retrieved, this phase information reveals attosecond dynamics during photoelectron emission such as multielectron dynamics and resonance processes. However, until now, the full retrieval of the continuous electron wavepacket phase from isolated attosecond pulses has remained challenging. Here, after elucidating key approximations and limitations that hinder one from extracting the coherent electron wavepacket dynamics using available retrieval algorithms, we present a new method called Absolute Complex Dipole transmission matrix element reConstruction (ACDC). We apply the ACDC method to experimental spectrograms to resolve the phase and group delay difference between photoelectrons emitted from Ne and Ar. Our results reveal subtle dynamics in this group delay difference of photoelectrons emitted form Ar. These group delay dynamics were not resolvable with prior methods that were only able to extract phase information at discrete energy levels, emphasizing the importance of a complete and continuous phase retrieval technique such as ACDC. Here we also make this new ACDC retrieval algorithm available with appropriate citation in return.


title: A multi-layer approach to disinformation detection on Twitter

abstract: We tackle the problem of classifying news articles pertaining to disinformation vs mainstream news by solely inspecting their diffusion mechanisms on Twitter. Our technique is inherently simple compared to existing text-based approaches, as it allows to by-pass the multiple levels of complexity which are found in news content (e.g. grammar, syntax, style). We employ a multi-layer representation of Twitter diffusion networks, and we compute for each layer a set of global network features which quantify different aspects of the sharing process. Experimental results with two large-scale datasets, corresponding to diffusion cascades of news shared respectively in the United States and Italy, show that a simple Logistic Regression model is able to classify disinformation vs mainstream networks with high accuracy (AUROC up to 94%), also when considering the political bias of different sources in the classification task. We also highlight differences in the sharing patterns of the two news domains which appear to be country-independent. We believe that our network-based approach provides useful insights which pave the way to the future development of a system to detect misleading and harmful information spreading on social media.


title: Mixed Strategies for Robust Optimization of Unknown Objectives

abstract: We consider robust optimization problems, where the goal is to optimize an unknown objective function against the worst-case realization of an uncertain parameter. For this setting, we design a novel sample-efficient algorithm GP-MRO, which sequentially learns about the unknown objective from noisy point evaluations. GP-MRO seeks to discover a robust and randomized mixed strategy, that maximizes the worst-case expected objective value. To achieve this, it combines techniques from online learning with nonparametric confidence bounds from Gaussian processes. Our theoretical results characterize the number of samples required by GP-MRO to discover a robust near-optimal mixed strategy for different GP kernels of interest. We experimentally demonstrate the performance of our algorithm on synthetic datasets and on human-assisted trajectory planning tasks for autonomous vehicles. In our simulations, we show that robust deterministic strategies can be overly conservative, while the mixed strategies found by GP-MRO significantly improve the overall performance.


title: Unbounded Bell violations for quantum genuine multipartite non-locality

abstract: The violations of Bell inequalities by measurements on quantum states give rise to the phenomenon of quantum non-locality and express the advantage of using quantum resources over classical ones for certain information-theoretic tasks. The relative degree of quantum violations has been well studied in the bipartite scenario and in the multipartite scenario with respect to fully local behaviours. However, the multipartite setting entails a more complex classification in which different notions on non-locality can be established. In particular, genuine multipartite non-local distributions apprehend truly multipartite effects, given that these behaviours cannot be reproduced by bilocal models that allow correlations among strict subsets of the parties beyond a local common cause. We show here that, while in the so-called correlation scenario the relative violation of bilocal Bell inequalities by quantum resources is bounded, i.e. it does not grow arbitrarily with the number of inputs, it turns out to be unbounded in the general case. We identify Bell functionals that take the form of non-local games for which the ratio of the quantum and bilocal values grows unboundedly as a function of the number of inputs and outputs.


title: On Material Optimisation for Nonlinearly Elastic Plates and Shells

abstract: This paper investigates the optimal distribution of hard and soft material on elastic plates. In the class of isometric deformations stationary points of a Kirchhoff plate functional with incorporated material hardness function are investigated and a compliance cost functional is taken into account. Under symmetry assumptions on the material distribution and the load it is shown that cylindrical solutions are stationary points. Furthermore, it is demonstrated that the optimal design of cylindrically deforming, clamped rectangular plates is non trivial, i.e. with a material distribution which is not just depending on one axial direction on the plate. Analytical results are complemented with numerical optimization results using a suitable finite element discretization and a phase field description of the material phases. Finally, using numerical methods an outlook on the optimal design of non isometrically deforming plates and shells is given.


title: Mobile Phone Usage Data for Credit Scoring

abstract: The aim of this study is to demostrate that mobile phone usage data can be used to make predictions and find the best classification method for credit scoring even if the dataset is small (2,503 customers). We use different classification algorithms to split customers into paying and non-paying ones using mobile data, and then compare the predicted results with actual results. There are several related works publicly accessible in which mobile data has been used for credit scoring, but they are all based on a large dataset. Small companies are unable to use datasets as large as those used by these related papers, therefore these studies are of little use for them. In this paper we try to argue that there is value in mobile phone usage data for credit scoring even if the dataset is small. We found that with a dataset that consists of mobile data based only on 2,503 customers, we can predict credit risk. The best classification method gave us the result 0.62 AUC (area under the curve).


title: On the global well-posedness of axisymmetric viscous Boussinesq system in critical Lebesgue spaces

abstract: The contribution of this paper will be focused on the global existence and uniqueness topic in three-dimensional case of the axisymmetric viscous Boussinesq system in critical Lebesgue spaces. We aim at deriving analogous results for the classical two-dimensional and three-dimensional axisymmetric Navier-Stokes equations recently obtained in \cite{Gallay,Gallay-Sverak}. Roughly speaking, we show essentially that if the initial data $(v_0,\rho_0)$ is axisymmetric and $(\omega_0,\rho_0)$ belongs to the critical space $L^1(\Omega)\times L^1(\mathbb{R}^3)$, with $\omega_0$ is the initial vorticity associated to $v_0$ and $\Omega=\{(r,z)\in\mathbb{R}^2:r>0\}$, then the viscous Boussinesq system has a unique global solution.


title: Photonic Physical Unclonable Functions: From the Concept to Fully Functional Device Operating in the Field

abstract: The scope of this paper is to demonstrate a fully working and compact photonic Physical Unclonable Function (PUF) device capable of operating in real life scenarios as an authentication mechanism and random number generator. For this purpose, an extensive experimental investigation of a Polymer Optical Fiber (POF) and a diffuser as PUF tokens is performed and the most significant properties are evaluated using the proper mathematical tools. Two different software algorithms, the Random Binary Method (RBM) and Singular Value Decomposition (SVD), were tested for optimized key extraction and error correction codes have been incorporated for enhancing key reproducibility. By taking into consideration the limitations and overall performance derived by the experimental evaluation of the system, the designing details towards the implementation of a miniaturized, energy efficient and low-cost device are extensively discussed. The performance of the final device is thoroughly evaluated, demonstrating a long-term stability of 1 week, an operating temperature range of 50C, an exponentially large pool of unique Challenge-Response Pairs (CRPs), recovery after power failure and capability of generating NIST compliant true random numbers.


title: Auxiliary Function-Based Algorithm for Blind Extraction of a Moving Speaker

abstract: Recently, Constant Separating Vector (CSV) mixing model has been proposed for the Blind Source Extraction (BSE) of moving sources. In this paper, we experimentally verify the applicability of CSV in the blind extraction of a moving speaker and propose a new BSE method derived by modifying the auxiliary function-based algorithm for Independent Vector Analysis. Also, a piloted variant is proposed for the method with partially controllable global convergence. The methods are verified under reverberant and noisy conditions using {\color{red} simulated as well as real-world acoustic conditions}. They are also verified within the CHiME-4 speech separation and recognition challenge. The experiments corroborate the applicability of CSV as well as the improved convergence of the proposed algorithms.


title: TextBrewer: An Open-Source Knowledge Distillation Toolkit for Natural Language Processing

abstract: In this paper, we introduce TextBrewer, an open-source knowledge distillation toolkit designed for natural language processing. It works with different neural network models and supports various kinds of supervised learning tasks, such as text classification, reading comprehension, sequence labeling. TextBrewer provides a simple and uniform workflow that enables quick setting up of distillation experiments with highly flexible configurations. It offers a set of predefined distillation methods and can be extended with custom code. As a case study, we use TextBrewer to distill BERT on several typical NLP tasks. With simple configurations, we achieve results that are comparable with or even higher than the public distilled BERT models with similar numbers of parameters. Our toolkit is available through: http://textbrewer.hfl-rc.com


title: Excited state search using quantum annealing

abstract: Quantum annealing (QA) is one of the ways to search the ground state of the problem Hamiltonian. Here, we propose the QA scheme to search arbitrary excited states of the problem Hamiltonian. In our scheme, an $n$-th excited state of the trivial Hamiltonian is initially prepared and is adiabatically changed into an $n$-th excited state of the target Hamiltonian. Although our scheme is general such that we can search any excited states, we especially discuss the first excited state search in this paper. As a comparison, we consider a non-adiabatic scheme to find the first excited state with non-adiabatic transitions from the ground state. By solving the Lindblad master equation, we evaluate the performance of each scheme under the influence of decoherence. Our conclusion is that the adiabatic scheme show better performance than the non-adiabatic scheme as long as the coherence time of qubits is sufficiently long. These results are important for applications in the area of quantum chemistry, quantum simulation, and post-quantum cryptography.


title: Electronic spectral function in fractionalized Pair Density Wave scenario

abstract: Studies of the electronic spectral function in cuprates by Angle-Resolved Photo-Emission Spectroscopy reveal unusual features in the pseudogap phase that persist in the superconducting phase. We address here these observations based on the recently proposed idea that the pseudogap is due to the fractionalization of modulated particle-particle pairs (a Pair Density Wave) into uniform particle-particle and modulated particle-hole pairs. The constraint that appears between these two types of pairs can be seen has an amplitude for the pseudogap energy scale. This constraint directly modify the electronic spectral function in the pseudogap phase. We derive a self-consistent equation for the pseudogap amplitude and show that it leads to the formation of Fermi arcs. The band dispersion obtained in the anti-nodal region is in good agreement with experimental ARPES observations in Pb$_{0.55}$Bi$_{1.5}$Sr$_{1.6}$La$_{0.4}$CuO$_{6+\delta}$ (Bi2201) and present a back-bending that goes to the Fermi level as we go away from the antinodal region. We also discuss the temperature dependence of the ARPES spectrum in the pseudogap and in the superconducting state.


title: MINA: Convex Mixed-Integer Programming for Non-Rigid Shape Alignment

abstract: We present a convex mixed-integer programming formulation for non-rigid shape matching. To this end, we propose a novel shape deformation model based on an efficient low-dimensional discrete model, so that finding a globally optimal solution is tractable in (most) practical cases. Our approach combines several favourable properties: it is independent of the initialisation, it is much more efficient to solve to global optimality compared to analogous quadratic assignment problem formulations, and it is highly flexible in terms of the variants of matching problems it can handle. Experimentally we demonstrate that our approach outperforms existing methods for sparse shape matching, that it can be used for initialising dense shape matching methods, and we showcase its flexibility on several examples.


title: Intrinsic quantum anomalous Hall phase induced by proximity in germanene/Cr$_2$Ge$_2$Te$_6$ van der Waals heterostructure

abstract: A van der Waals heterostructure combined with intrinsic magnetism and topological orders have recently paved attractive avenues to realize quantum anomalous Hall effects. In this work, using first-principles calculations and effective model analysis, we propose that the robust quantum anomalous Hall states with sizable band gaps emerge in the van der Waals heterostructure of germanene/Cr$_2$Ge$_2$Te$_6$. This heterostructure possesses high thermodynamic stability, thus facilitating its experimental fabrication. Furthermore, we uncover that the proximity effect enhances the coupling between the germanene and Cr$_2$Ge$_2$Te$_6$ layers, inducing the nontrivial band gaps in a wide range from 29 meV to 72 meV. The chiral edge states inside the band gap, leading to Hall conductance quantized to $-e^2/h$, are clearly visible. This findings provide an ideal candidate to detect the quantum anomalous Hall states and realize further applications to nontrivial quantum transport at a high temperature.


title: 4D Association Graph for Realtime Multi-person Motion Capture Using Multiple Video Cameras

abstract: This paper contributes a novel realtime multi-person motion capture algorithm using multiview video inputs. Due to the heavy occlusions in each view, joint optimization on the multiview images and multiple temporal frames is indispensable, which brings up the essential challenge of realtime efficiency. To this end, for the first time, we unify per-view parsing, cross-view matching, and temporal tracking into a single optimization framework, i.e., a 4D association graph that each dimension (image space, viewpoint and time) can be treated equally and simultaneously. To solve the 4D association graph efficiently, we further contribute the idea of 4D limb bundle parsing based on heuristic searching, followed with limb bundle assembling by proposing a bundle Kruskal's algorithm. Our method enables a realtime online motion capture system running at 30fps using 5 cameras on a 5-person scene. Benefiting from the unified parsing, matching and tracking constraints, our method is robust to noisy detection, and achieves high-quality online pose reconstruction quality. The proposed method outperforms the state-of-the-art method quantitatively without using high-level appearance information. We also contribute a multiview video dataset synchronized with a marker-based motion capture system for scientific evaluation.