title: Map Enhanced Route Travel Time Prediction using Deep Neural Networks

abstract: Travel time estimation is a fundamental problem in transportation science with extensive literature. The study of these techniques has intensified due to availability of many publicly available large trip datasets. Recently developed deep learning based models have improved the generality and performance and have focused on estimating times for individual sub-trajectories and aggregating them to predict the travel time of the entire trajectory. However, these techniques ignore the road network information. In this work, we propose and study techniques for incorporating road networks along with historical trips' data into travel time prediction. We incorporate both node embeddings as well as road distance into the existing model. Experiments on large real-world benchmark datasets suggest improved performance, especially when the train data is small. As expected, the proposed method performs better than the baseline when there is a larger difference between road distance and Vincenty distance between start and end points.


title: Data Generation for Neural Programming by Example

abstract: Programming by example is the problem of synthesizing a program from a small set of input / output pairs. Recent works applying machine learning methods to this task show promise, but are typically reliant on generating synthetic examples for training. A particular challenge lies in generating meaningful sets of inputs and outputs, which well-characterize a given program and accurately demonstrate its behavior. Where examples used for testing are generated by the same method as training data then the performance of a model may be partly reliant on this similarity. In this paper we introduce a novel approach using an SMT solver to synthesize inputs which cover a diverse set of behaviors for a given program. We carry out a case study comparing this method to existing synthetic data generation procedures in the literature, and find that data generated using our approach improves both the discriminatory power of example sets and the ability of trained machine learning models to generalize to unfamiliar data.


title: Totally Biharmonic Hypersurfaces in Space Forms and 3-Dimensional BCV Spaces

abstract: A hypersurface is said to be totally biharmonic if all its geodesics are biharmonic curves in the ambient space. We prove that a totally biharmonic hypersurface into a space form is an isoparametric biharmonic hypersurface, which allows us to give the full classification of totally biharmonic hypersurfaces in these spaces. Moreover, restricting ourselves to the 3-dimensional case, we show that totally biharmonic surfaces into Bianchi-Cartan-Vranceanu spaces are isoparametric surfaces and we give their full classification. In particular, we show that, leaving aside surfaces in the 3-dimensional sphere, the only non-trivial example of a totally biharmonic surface appears in the product space $\mathbb{S}^2(\rho)\times\mathbb{R}$.


title: Cloud shape of a molecular Bose-Einstein condensate in a disordered trap: a case study of the dirty boson problem

abstract: We investigate, both experimentally and theoretically, the static geometric properties of a harmonically trapped Bose-Einstein condensate of ${}^6$Li$_2$ molecules in laser speckle potentials. Experimentally, we measure the in-situ column density profiles and the corresponding transverse cloud widths over many laser speckle realizations. We compare the measured widths with a theory that is non-perturbative with respect to the disorder and includes quantum fluctuations. Importantly, for small disorder strengths we find quantitative agreement with the perturbative approach of Huang and Meng, which is based on Bogoliubov theory. For strong disorder our theory perfectly reproduces the geometric mean of the measured transverse widths. However, we also observe a systematic deviation of the individual measured widths from the theoretically predicted ones. In fact, the measured cloud aspect ratio monotonously decreases with increasing disorder strength, while the theory yields a constant ratio. We attribute this discrepancy to the utilized local density approximation, whose possible failure for strong disorder suggests a potential future improvement.


title: Arhangelskii's $\alpha$-principles and selection games

abstract: Arhangelskii's properties $\alpha_2$ and $\alpha_4$ defined for convergent sequences may be characterized in terms of Scheeper's selection principles. We generalize these results to hold for more general collections and consider these results in terms of selection games.


title: Distributed MST: A Smoothed Analysis

abstract: We study smoothed analysis of distributed graph algorithms, focusing on the fundamental minimum spanning tree (MST) problem. With the goal of studying the time complexity of distributed MST as a function of the "perturbation" of the input graph, we posit a {\em smoothing model} that is parameterized by a smoothing parameter $0 \leq \epsilon(n) \leq 1$ which controls the amount of {\em random} edges that can be added to an input graph $G$ per round. Informally, $\epsilon(n)$ is the probability (typically a small function of $n$, e.g., $n^{-\frac{1}{4}}$) that a random edge can be added to a node per round. The added random edges, once they are added, can be used (only) for communication. We show upper and lower bounds on the time complexity of distributed MST in the above smoothing model. We present a distributed algorithm that, with high probability,\footnote{Throughout, with high probability (whp) means with probability at least $1 - n^{-c}$, for some fixed, positive constant $c$.} computes an MST and runs in $\tilde{O}(\min\{\frac{1}{\sqrt{\epsilon(n)}} 2^{O(\sqrt{\log n})}, D + \sqrt{n}\})$ rounds\footnote{The notation $\tilde{O}$ hides a $\polylog(n)$ factor and $\tilde{\Omega}$ hides a $\frac{1}{\polylog{(n)}}$ factor, where $n$ is the number of nodes of the graph.} where $\epsilon$ is the smoothing parameter, $D$ is the network diameter and $n$ is the network size. To complement our upper bound, we also show a lower bound of $\tilde{\Omega}(\min\{\frac{1}{\sqrt{\epsilon(n)}}, D+\sqrt{n}\})$. We note that the upper and lower bounds essentially match except for a multiplicative $2^{O(\sqrt{\log n})} \polylog(n)$ factor. Our work can be considered as a first step in understanding the smoothed complexity of distributed graph algorithms.


title: Modeling Material Stress Using Integrated Gaussian Markov Random Fields

abstract: The equations of a physical constitutive model for material stress within tantalum grains were solved numerically using a tetrahedrally meshed volume. The resulting output included a scalar vonMises stress for each of the more than 94,000 tetrahedra within the finite element discretization. In this paper, we define an intricate statistical model for the spatial field of vonMises stress which uses the given grain geometry in a fundamental way. Our model relates the three-dimensional field to integrals of latent stochastic processes defined on the vertices of the one- and two-dimensional grain boundaries. An intuitive neighborhood structure of said boundary nodes suggested the use of a latent Gaussian Markov random field (GMRF). However, despite the potential for computational gains afforded by GMRFs, the integral nature of our model and the sheer number of data points pose substantial challenges for a full Bayesian analysis. To overcome these problems and encourage efficient exploration of the posterior distribution, a number of techniques are now combined: parallel computing, sparse matrix methods, and a modification of a block update strategy within the sampling routine. In addition, we use an auxiliary variables approach to accommodate the presence of outliers in the data.


title: A characterization of weakly Schreier extensions of monoids

abstract: A split extension of monoids with kernel $k \colon N \to G$, cokernel $e \colon G \to H$ and splitting $s \colon H \to G$ is Schreier if there exists a unique set-theoretic map $q \colon G \to N$ such that for all $g \in G$, $g = kq(g) \cdot se(g)$. Schreier extensions have a complete characterization and have been shown to correspond to monoid actions of $H$ on $N$. If the uniqueness requirement of $q$ is relaxed, the resulting split extension is called weakly Schreier. A natural example of these is the Artin glueings of frames. In this paper we provide a complete characterization of the weakly Schreier extensions of $H$ by $N$, proving them to be equivalent to certain quotients of $N \times H$ paired with a function that behaves like an action with respect to the quotient. Furthermore, we demonstrate the failure of the split short lemma in this setting and provide a full characterization of the morphisms that occur between weakly Schreier extensions. Finally, we use the characterization to construct some classes of examples of weakly Schreier extensions.


title: Joyal's cylinder conjecture

abstract: For each pair of simplicial sets $A$ and $B$, the category $\mathbf{Cyl}(A,B)$ of cylinders (also called correspondences) from $A$ to $B$ admits a model structure induced from Joyal's model structure for quasi-categories. In this paper, we prove Joyal's conjecture that a cylinder $X \in \mathbf{Cyl}(A,B)$ is fibrant if and only if the canonical morphism $X \longrightarrow A \star B$ is an inner fibration, and that a morphism between fibrant cylinders in $\mathbf{Cyl}(A,B)$ is a fibration if and only if it is an inner fibration. We use this result to give a new proof of a characterisation of covariant equivalences due to Lurie, which avoids the use of the straightening theorem. In an appendix, we introduce a new family of model structures on the slice categories $\mathbf{sSet}/B$, whose fibrant objects are the inner fibrations with codomain $B$, which we use to prove some new results about inner anodyne extensions and inner fibrations.


title: Pions in hot dense matter and their astrophysical implications

abstract: We study the role of pions in hot dense matter encountered in astrophysics. We find that strong interactions enhance the number density of negatively charged pions and that this enhancement can be calculated reliably for a relevant range of density and temperature using the virial expansion. We assess the influence of pions and muons on the equation of state (EOS) and weak interaction rates in hot dense matter. We find that thermal pions increase the proton fraction and soften the EOS. We also find that charged current weak reactions involving pions and muons $\bar{\nu}_\mu+\mu^- \rightarrow \pi$ and $\nu_\mu+\pi^- \rightarrow \mu^-$ make an important contribution to the opacity of muon neutrinos. This could influence the dynamics of core-collapse supernovae and neutron star mergers. Finally, we note that pion-nucleon reactions can alter the evolution of the proton fraction when weak interactions are not in equilibrium.


title: On the braid group representations coming from weakly group-theoretical fusion categories

abstract: We prove that representations of the braid groups coming from weakly group-theoretical braided fusion categories have finite images.


title: Twin Boundary Mediated Flexoelectricity in LaAlO$_3$

abstract: Flexoelectricity has garnered much attention owing to its ability to bring electromechanical functionality to non-piezoelectric materials and its nanoscale significance. In order to move towards a more complete understanding of this phenomenon and improve the efficacy of flexoelectric-based devices, it is necessary to quantify microstructural contributions to flexoelectricity. Here we characterize the flexoelectric response of bulk centrosymmetric LaAlO$_3$ crystals with different twin boundary microstructures. We show that twin boundary flexoelectric contributions are comparable to intrinsic contributions at room temperature and enhance the flexoelectric response by ~4x at elevated temperatures. Additionally, we observe time-dependent and non-linear flexoelectric responses associated with strain-gradient-induced twin boundary polarization. These results are explained by considering the interplay between twin boundary orientation, beam-bending strain fields, and pinning site interactions.


title: Roper State from Overlap Fermions

abstract: The Roper state is extracted with valence overlap fermions on a $2+1$-flavor domain-wall fermion lattice (spacing $a = 0.114$ fm and $m_{\pi} = 330$ MeV) using both the Sequential Empirical Bayes (SEB) method and the variational method. The results are consistent, provided that a large smearing-size interpolation operator is included in the variational calculation to have better overlap with the lowest radial excitation. Similar calculations carried out for an anisotropic clover lattice with similar parameters find the Roper $\approx 280$ MeV higher than that of the overlap fermion. The fact that the prediction of the Roper state by overlap fermions is consistently lower than those of clover fermions, chirally improved fermions, and twisted-mass fermions over a wide range of pion masses has been dubbed a "Roper puzzle." To understand the origin of this difference, we study the hairpin $Z$-diagram in the isovector scalar meson ($a_0$) correlator in the quenched approximation. Comparing the $a_0$ correlators for clover and overlap fermions, at a pion mass of 290 MeV, we find that the spectral weight of the ghost state with clover fermions is smaller than that of the overlap at $a = 0.12$ fm and $0.09$ fm, whereas the whole $a_0$ correlators of clover and overlap at $a = 0.06$ fm coincide within errors. This suggests that chiral symmetry is restored for clover at $a \le 0.06$ fm and that the Roper should come down at and below this $a$. We conclude that this work supports a resolution of the "Roper puzzle" due to $Z$-graph type chiral dynamics. This entails coupling to higher components in the Fock space (e.g. $N\pi$, $N\pi\pi$ states) to induce the effective flavor-spin interaction between quarks as prescribed in the chiral quark model, resulting in the parity-reversal pattern as observed in the experimental excited states of $N, \Delta$ and $\Lambda$.


title: Integrated turnkey soliton microcombs operated at CMOS frequencies

abstract: While soliton microcombs offer the potential for integration of powerful frequency metrology and precision spectroscopy systems, their operation requires complex startup and feedback protocols that necessitate difficult-to-integrate optical and electrical components. Moreover, CMOS-rate microcombs, required in nearly all comb systems, have resisted integration because of their power requirements. Here, a regime for turnkey operation of soliton microcombs co-integrated with a pump laser is demonstrated and theoretically explained. Significantly, a new operating point is shown to appear from which solitons are generated through binary turn-on and turn-off of the pump laser, thereby eliminating all photonic/electronic control circuitry. These features are combined with high-Q $Si_3N_4$ resonators to fully integrate into a butterfly package microcombs with CMOS frequencies as low as 15 GHz, offering compelling advantages for high-volume production.


abstract: This article is submitted and accepted as ACM UIST 2019 Visions. UIST Visions is a venue for forward thinking ideas to inspire the community. The goal is not to report research but to project and propose new research directions. This article, entitled "Homo Cyberneticus: The Era of Human-AI Integration", proposes HCI research directions, namely human-augmentation and human-AI-integration.


title: Point defects in IBS coating for very low loss mirrors

abstract: High reflective coatings are used in many physics experiments. Despite the high quality of the opticalcoating, the performances of the mirrors is altered by the scattered light induced by micrometers sizedefects in the coating layers. The topic of this paper is the study of the point-like scatterers present in thespecific coating of the mirrors used in state of the art, high sensitivity optical experiments. We studied thebehavior of the materials according to different thicknesses, and how the defects change after annealing.To our knowledge, this is a first insight into the formation of such defects for different materials andthickness and how this is reduced when samples are annealed.


title: Word Embedding Algorithms as Generalized Low Rank Models and their Canonical Form

abstract: Word embedding algorithms produce very reliable feature representations of words that are used by neural network models across a constantly growing multitude of NLP tasks. As such, it is imperative for NLP practitioners to understand how their word representations are produced, and why they are so impactful. The present work presents the Simple Embedder framework, generalizing the state-of-the-art existing word embedding algorithms (including Word2vec (SGNS) and GloVe) under the umbrella of generalized low rank models. We derive that both of these algorithms attempt to produce embedding inner products that approximate pointwise mutual information (PMI) statistics in the corpus. Once cast as Simple Embedders, comparison of these models reveals that these successful embedders all resemble a straightforward maximum likelihood estimate (MLE) of the PMI parametrized by the inner product (between embeddings). This MLE induces our proposed novel word embedding model, Hilbert-MLE, as the canonical representative of the Simple Embedder framework. We empirically compare these algorithms with evaluations on 17 different datasets. Hilbert-MLE consistently observes second-best performance on every extrinsic evaluation (news classification, sentiment analysis, POS-tagging, and supersense tagging), while the first-best model depends varying on the task. Moreover, Hilbert-MLE consistently observes the least variance in results with respect to the random initialization of the weights in bidirectional LSTMs. Our empirical results demonstrate that Hilbert-MLE is a very consistent word embedding algorithm that can be reliably integrated into existing NLP systems to obtain high-quality results.


title: Sustainable vector/pest control using the permanent Sterile Insect Technique

abstract: Vector/Pest control is essential to reduce the risk of vector-borne diseases or losses in crop fields. Among biological control tools, the sterile insect technique (SIT), is the most promising one. SIT control generally consists of massive releases of sterile insects in the targeted area in order to reach elimination or to lower the pest population under a certain threshold. The models presented here are minimalistic with respect to the number of parameters and variables. The first model deals with the dynamics of the vector population while the second model, the SIT model, tackles the interaction between treated males and wild female vectors. For the vector population model, the elimination equilibrium $\mathbb{0}$ is globally asymptotically stable when the basic offspring number, $\mathcal{R}$, is lower or equal to one, whereas $\mathbb{0}$ becomes unstable and one stable positive equilibrium exists, with well-determined basins of attraction, when $\mathcal{R}>1$. For the SIT model, we obtain a threshold number of treated male vectors above which the control of wild female vectors is effective: the massive release control. When the amount of treated male vectors is lower than the aforementioned threshold number, the SIT model experiences a bistable situation involving the elimination equilibrium and a positive equilibrium. However, practically, massive releases of sterile males are only possible for a short period of time. That is why, using the bistability property, we develop a new strategy to maintain the wild population under a certain threshold, for a permanent and sustainable low level of SIT control. We illustrate our theoretical results with numerical simulations, in the case of SIT mosquito control.


title: On closed-loop dynamics of ADMM-based MPC

abstract: This paper studies the closed-loop dynamics of linear systems under approximate model predictive control (MPC). More precisely, we consider MPC implementations based on a finite number of ADMM iterations per time-step. We first show that the closed-loop dynamics can be described based on a nonlinear augmented model. We then characterize an invariant set around the augmented origin, where the dynamics become linear. Finally, we investigate the performance of the approximate MPC for various choices of the ADMM parameters based on a comprehensive numerical benchmark.


title: The theory of F-rational signature

abstract: F-signature is an important numeric invariant of singularities in positive characteristic that can be used to detect strong F-regularity. One would like to have a variant that rather detects F-rationality, and there are two theories that aim to fill this gap: F-rational signature of Hochster and Yao and dual F-signature of Sannai. Unfortunately, several important properties of the original F-signature are unknown for these invariants. We give a modification of the Hochster-Yao definition that agrees with Sannai's dual F-signature and push further the united theory to achieve a complete generalization of F-signature.


title: Metrics Induced by Jensen-Shannon and Related Divergences on Positive Definite Matrices

abstract: We study metric properties of symmetric divergences on Hermitian positive definite matrices. In particular, we prove that the square root of these divergences is a distance metric. As a corollary we obtain a proof of the metric property for Quantum Jensen-Shannon-(Tsallis) divergences (parameterized by $\alpha\in [0,2]$), which in turn (for $\alpha=1$) yields a proof of the metric property of the Quantum Jensen-Shannon divergence that was conjectured by Lamberti \emph{et al.} a decade ago (\emph{Metric character of the quantum Jensen-Shannon divergence}, Phy.\ Rev.\ A, \textbf{79}, (2008).) A somewhat more intricate argument also establishes metric properties of Jensen-R\'enyi divergences (for $\alpha \in (0,1)$), and outlines a technique that may be of independent interest.


title: Some Information Theoretic Aspects of De-Sitter Holography

abstract: Built on our observation that entangling surfaces of the boundary field theory are great co-dimension one spheres in the context of DS/dS correspondence, we study some information theoretic quantities of the field theory dual intensively using holographic proposals. We will focus on entanglement entropy (EE), entanglement of purification (EoP) and complexity. Several fundamental observations and analysis are provided. For EE, we focus on its scaling behavior, which indicates the nature of the relevant degrees of freedom. Moreover, we find that EE provides us with important information of the energy spectrum in pure dS and it also leads us to the speculation that the field theory dual is chaotic or non-integrable. For EoP, an interesting phenomenon we call "Entanglement of Purification Jump" is observed according to which we propose two puzzles regarding EoP and EE in the context of dS holography. For complexity, we find that the Complexity=Volume proposal does not provide a well-defined way to compute complexity for pure dS. However, it does provide a well-defined way to compute complexity in the $T\bar{T}+\Lambda_{2}$ deformed case. At the end, we will use the surface/state correspondence to resolve all the puzzles and hence reach a consistent information theoretic picture of dS holography. Moreover, we will provide evidence for our former proposal that the $T\bar{T}+\cdots$ deformations are operating quantum circuits and study the non-locality of the field theory algebra suggested by the surface/state correspondence.


title: Unsupervised Domain Adaptation of Contextual Embeddings for Low-Resource Duplicate Question Detection

abstract: Answering questions is a primary goal of many conversational systems or search products. While most current systems have focused on answering questions against structured databases or curated knowledge graphs, on-line community forums or frequently asked questions (FAQ) lists offer an alternative source of information for question answering systems. Automatic duplicate question detection (DQD) is the key technology need for question answering systems to utilize existing online forums like StackExchange. Existing annotations of duplicate questions in such forums are community-driven, making them sparse or even completely missing for many domains. Therefore, it is important to transfer knowledge from related domains and tasks. Recently, contextual embedding models such as BERT have been outperforming many baselines by transferring self-supervised information to downstream tasks. In this paper, we apply BERT to DQD and advance it by unsupervised adaptation to StackExchange domains using self-supervised learning. We show the effectiveness of this adaptation for low-resource settings, where little or no training data is available from the target domain. Our analysis reveals that unsupervised BERT domain adaptation on even small amounts of data boosts the performance of BERT.


title: Optimizing Semi-Stream CACHEJOIN for Near-Real-Time Data Warehousing

abstract: Streaming data join is a critical process in the field of near-real-time data warehousing. For this purpose, an adaptive semi-stream join algorithm called CACHEJOIN (Cache Join) focusing non-uniform stream data is provided in the literature. However, this algorithm cannot exploit the memory and CPU resources optimally and consequently it leaves its service rate suboptimal due to sequential execution of both of its phases, called stream-probing (SP) phase and disk-probing (DP) phase. By integrating the advantages of CACHEJOIN, in this paper we present two modifications in it. First is called P-CACHEJOIN (Parallel Cache Join) that enables the parallel processing of two phases in CACHEJOIN. This increases number of joined stream records and therefore improves throughput considerably. Second is called OP-CACHEJOIN (Optimized Parallel Cache Join) that implements a parallel loading of stored data into memory while the DP phase is executing. We present the performance analysis of both of our approaches with existing CACHEJOIN empirically using synthetic skewed dataset.


title: A Statistical Analysis of Recent Traffic Crashes in Massachusetts

abstract: A statistical analysis implemented in the Python programming language was performed on the available MassDOT car accident data to identify whether a certain set of traffic circumstances would increase the likelihood of injuries. In the analysis, we created a binary classifier as a model to separate crashes that resulted in injury from those that did not. To accomplish this, we first cleaned up the initial data, then proceeded to represent categorical variables numerically through one hot encoding before finally producing models with Recursive Feature Elimination (RFE) and without RFE, in conjunction with logistic regression. This statistical analysis plays a significant role in our modern road network that has presented us with a heap of obstacles, one of the most critical being the issue of how we can ensure the safety of all drivers and passengers. Findings from our analysis identify that tough weather and road conditions, senior/teen drivers and dangerous intersections play prominent roles in accidents that resulted in injuries in Massachusetts. These new findings can provide valuable references and scientific data support to relevant authorities and policy makers for upgrading road infrastructure, passing regulations, etc.


title: Textual analysis of artificial intelligence manuscripts reveals features associated with peer review outcome

abstract: We analysed a dataset of scientific manuscripts that were submitted to various conferences in artificial intelligence. We performed a combination of semantic, lexical and psycholinguistic analyses of the full text of the manuscripts and compared them with the outcome of the peer review process. We found that accepted manuscripts scored lower than rejected manuscripts on two indicators of readability, and that they also used more scientific and artificial intelligence jargon. We also found that accepted manuscripts were written with words that are less frequent, that are acquired at an older age, and that are more abstract than rejected manuscripts. The analysis of references included in the manuscripts revealed that the subset of accepted submissions were more likely to cite the same publications. This finding was echoed by pairwise comparisons of the word content of the manuscripts (i.e. an indicator or semantic similarity), which were more similar in the subset of accepted manuscripts. Finally, we predicted the peer review outcome of manuscripts with their word content, with words related to machine learning and neural networks positively related with acceptance, whereas words related to logic, symbolic processing and knowledge-based systems negatively related with acceptance.


title: Ferromagnetic Quantum Critical Point in Non-Centrosymmetric Systems

abstract: Ferromagnetic quantum criticality in clean metals has proven elusive due to fermionic soft modes that drive the transition first order. We show that non-centrosymmetric metals with a strong spin-orbit interaction provide a promising class of materials for realizing a ferromagnetic quantum critical point in clean systems. The spin-orbit interaction renders massive the soft modes that interfere with quantum criticality in most materials, while the absence of spatial inversion symmetry precludes the existence of new classes of soft modes that could have the same effect.


title: Canonical Equivariant Cohomology Classes Generating Zeta Values of Totally Real Fields

abstract: It is known that the special values at nonpositive integers of a Dirichlet $L$-function may be expressed using the generalized Bernoulli numbers, which are defined by a canonical generating function. The purpose of this article is to consider the generalization of this classical result to the case of Hecke $L$-functions of totally real fields. Hecke $L$-functions may be expressed canonically as a finite sum of zeta functions of Lerch type. By combining the non-canonical multivariable generating functions constructed by Shintani, we newly construct a canonical class, which we call the Shintani generating class, in the equivariant cohomology of an algebraic torus associated to the totally real field. Our main result states that the specializations at torsion points of the derivatives of the Shintani generating class give values at nonpositive integers of the zeta functions of Lerch type. This result gives the insight that the correct framework in the higher dimensional case is to consider higher equivariant cohomology classes instead of functions.


title: From Parton Saturation to Proton Spin: the Impact of BFKL Equation and Reggeon Evolution

abstract: Lev Lipatov was a giant in the field of strong interactions and a dominant force in high-energy QCD for many decades. His work deeply influenced both how we think about QCD and how we perform calculations in the theory. Below we describe the work in two related research directions: the physics of parton saturation and proton spin at small $x$. Both developments would have been impossible without Lipatov's groundbreaking work. Saturation physics would not have happened without the Balitsky-Fadin-Kuraev-Lipatov (BFKL) equation. The recent progress in our theoretical understanding of the proton spin contribution coming from small-$x$ partons started with the seminal paper by Kirschner and Lipatov resumming double logarithms of energy in the Reggeon evolution.


title: Quasiparticle poisoning effects on the dynamics of topological Josephson junctions

abstract: The fractional Josephson effect remains one of the decisive hallmarks of topologically protected Majorana zero modes. We analyze the effects of parity violating quasiparticle poisoning onto the current voltage characteristics of topological Josephson junctions. We include poisoning events directly within the resistively shunted junction (RSJ) model in the overdamped limit both in the short- and long-junction regime. We calculate the current voltage characteristics numerically where poisoning is modeled either via additional rates in the Fokker-Planck equations or by a time dependent parity and compare them to the limits of no and strong poisoning rates which we obtain analytically. Combining the tilted washboard potential with poisoning events, we show that the critical current of the long junction limit can be used as a probe of the junction topology even in the high temperature poisoning case where relaxation- and excitation processes are equally likely. Using the tilted washboard potential model we develop three different schemes to measure the poisoning rate thereby also extending the consideration to two pairs of helical edge states containing a constriction that allows for tunneling between the two pairs of edge states.


title: Analysis of Two-variable Recurrence Relations with Application to Parameterized Approximations

abstract: In this paper we introduce randomized branching as a tool for parameterized approximation and develop the mathematical machinery for its analysis. Our algorithms improve the best known running times of parameterized approximation algorithms for Vertex Cover and $3$-Hitting Set for a wide range of approximation ratios. One notable example is a simple parameterized random $1.5$-approximation algorithm for Vertex Cover, whose running time of $O^*(1.01657^k)$ substantially improves the best known runnning time of $O^*(1.0883^k)$ [Brankovic and Fernau, 2013]. For $3$-Hitting Set we present a parameterized random $2$-approximation algorithm with running time of $O^*(1.0659^k)$, improving the best known $O^*(1.29^k)$ algorithm of [Brankovic and Fernau, 2012]. The running times of our algorithms are derived from an asymptotic analysis of a wide class of two-variable recurrence relations of the form: $$p(b,k) = \min_{1\leq j \leq N} \sum_{i=1}^{r_j} \bar{\gamma}_i^j \cdot p(b-\bar{b}^j_i, k-\bar{k}_i^j),$$ where $\bar{b}^j$ and $\bar{k}^j$ are vectors of natural numbers, and $\bar{\gamma}^j$ is a probability distribution over $r_j$ elements, for $1\leq j \leq N$. Our main theorem asserts that for any $\alpha>0$, $$\lim_{k \rightarrow \infty } \frac{1}{k} \log p(\alpha k,k) = -\max_{1\leq j \leq N} M_j,$$ where $M_j$ depends only on $\alpha$, $\bar{\gamma}^j$, $\bar{b}^j$ and $\bar{k}^j$, and can be efficiently calculated by solving a simple numerical optimization problem. To this end, we show an equivalence between the recurrence and a stochastic process. We analyze this process using the Method of Types, by introducing an adaptation of Sanov's theorem to our setting. We believe our novel analysis of recurrence relations which is of independent interest is a main contribution of this paper.


title: Conformally invariant averaged null energy condition from AdS/CFT

abstract: We study the compatibility of the AdS/CFT duality with the bulk and boundary causality, and derive a conformally invariant averaged null energy condition (CANEC) for quantum field theories in 3 and 5-dimensional curved boundaries. This is the generalization of the averaged null energy condition (ANEC) in Minkowski spacetime to curved boundaries, where null energy is averaged along the null line with appropriate weight for conformal invariance. For this purpose we take, as our guiding principle, the no-bulk-shortcut theorem of Gao and Wald, which essentially asserts that when going from one point to another on the boundary, one cannot take a "shortcut through the bulk". We also discuss the relationship between bulk vs boundary causality and the weak cosmic censorship.


title: Towards Domain Adaptation from Limited Data for Question Answering Using Deep Neural Networks

abstract: This paper explores domain adaptation for enabling question answering (QA) systems to answer questions posed against documents in new specialized domains. Current QA systems using deep neural network (DNN) technology have proven effective for answering general purpose factoid-style questions. However, current general purpose DNN models tend to be ineffective for use in new specialized domains. This paper explores the effectiveness of transfer learning techniques for this problem. In experiments on question answering in the automobile manual domain we demonstrate that standard DNN transfer learning techniques work surprisingly well in adapting DNN models to a new domain using limited amounts of annotated training data in the new domain.


title: Invariance and identifiability issues for word embeddings

abstract: Word embeddings are commonly obtained as optimizers of a criterion function $f$ of a text corpus, but assessed on word-task performance using a different evaluation function $g$ of the test data. We contend that a possible source of disparity in performance on tasks is the incompatibility between classes of transformations that leave $f$ and $g$ invariant. In particular, word embeddings defined by $f$ are not unique; they are defined only up to a class of transformations to which $f$ is invariant, and this class is larger than the class to which $g$ is invariant. One implication of this is that the apparent superiority of one word embedding over another, as measured by word task performance, may largely be a consequence of the arbitrary elements selected from the respective solution sets. We provide a formal treatment of the above identifiability issue, present some numerical examples, and discuss possible resolutions.


title: Gravitational leptogenesis with kination and gravitational reheating

abstract: We revisit the gravitational leptogenesis scenario in which the inflaton is coupled to gravity by the Chern-Simons term and the lepton asymmetry is generated through the gravitational anomaly in the lepton number current during inflation. We constrain the possible model parameter space by requiring the absence of ghost modes below the Planck scale, which would suggest the breakdown of the effective theory, and evaluate the net baryon asymmetry for various reheating processes. We find that the mechanism with these requirements is insufficient to explain the observed baryon asymmetry of the Universe for standard reheating scenarios. We show that, however, with the kination scenario realized in e.g. the k- and G-inflation models, a sufficient baryon asymmetry can be generated within a feasible range of the model parameters.


title: Asymptotic Analysis for Greedy Initialization of Threshold-Based Distributed Optimization of Persistent Monitoring on Graphs

abstract: This paper considers the optimal multi-agent persistent monitoring problem defined for a team of agents on a set of nodes (targets) interconnected according to a fixed network topology. The aim is to control this team so as to minimize a measure of overall node state uncertainty evaluated over a finite time interval. A class of distributed threshold-based parametric controllers has been proposed in prior work to control agent dwell times at nodes and next-node destinations by enforcing thresholds on the respective node states. Under such a Threshold Control Policy (TCP), an on-line gradient technique was used to determine optimal threshold values. However, due to the non-convexity of the problem, this approach often leads to a poor local optima highly dependent on the initial thresholds used. To overcome this initialization challenge, we develop a computationally efficient off-line greedy technique based on the asymptotic analysis of the network system. This analysis is then used to generate a high-performing set of initial thresholds. Extensive numerical results show that such initial thresholds are almost immediately (locally) optimal or quickly lead to optimal values. In all cases, they perform significantly better than the locally optimal solutions known to date.


title: Near-Axis Expansion of Stellarator Equilibrium at Arbitrary Order in the Distance to the Axis

abstract: A direct construction of equilibrium magnetic fields with toroidal topology at arbitrary order in the distance from the magnetic axis is carried out, yielding an analytical framework able to explore the landscape of possible magnetic flux surfaces in the vicinity of the axis. This framework can provide meaningful analytical insight on the character of high-aspect-ratio stellarator shapes, such as the dependence of the rotational transform and the plasma beta-limit on geometrical properties of the resulting flux surfaces. The approach developed here is based on an asymptotic expansion on the inverse aspect-ratio of the ideal MHD equation. The analysis is simplified by using an orthogonal coordinate system relative to the Frenet-Serret frame at the magnetic axis. The magnetic field vector, the toroidal magnetic flux, the current density, the field line label and the rotational transform are derived at arbitrary order in the expansion parameter. Moreover, a comparison with a near-axis expansion formalism employing an inverse coordinate method based on Boozer coordinates (the so-called Garren-Boozer construction) is made, where both methods are shown to agree at lowest order. Finally, as a practical example, a numerical solution using a W7-X equilibrium is presented, and a comparison between the lowest order solution and the W7-X magnetic field is performed.


title: What Do We Really Need? Degenerating U-Net on Retinal Vessel Segmentation

abstract: Retinal vessel segmentation is an essential step for fundus image analysis. With the recent advances of deep learning technologies, many convolutional neural networks have been applied in this field, including the successful U-Net. In this work, we firstly modify the U-Net with functional blocks aiming to pursue higher performance. The absence of the expected performance boost then lead us to dig into the opposite direction of shrinking the U-Net and exploring the extreme conditions such that its segmentation performance is maintained. Experiment series to simplify the network structure, reduce the network size and restrict the training conditions are designed. Results show that for retinal vessel segmentation on DRIVE database, U-Net does not degenerate until surprisingly acute conditions: one level, one filter in convolutional layers, and one training sample. This experimental discovery is both counter-intuitive and worthwhile. Not only are the extremes of the U-Net explored on a well-studied application, but also one intriguing warning is raised for the research methodology which seeks for marginal performance enhancement regardless of the resource cost.


title: On the density of critical graphs with no large cliques

abstract: A graph $G$ is \textit{$k$-critical} if $\chi(G) = k$ and every proper subgraph of $G$ is $(k - 1)$-colorable, and if $L$ is a list-assignment for $G$, then $G$ is \textit{$L$-critical} if $G$ is not $L$-colorable but every proper induced subgraph of $G$ is. In 2014, Kostochka and Yancey proved a lower bound on the average degree of an $n$-vertex $k$-critical graph tending to $k - \frac{2}{k - 1}$ for large $n$ that is tight for infinitely many values of $n$, and they asked how their bound may be improved for graphs not containing a large clique. Answering this question, we prove that for $\varepsilon \leq 2.6\cdot10^{-10}$, if $k$ is sufficiently large and $G$ is a $K_{\omega + 1}$-free $L$-critical graph where $\omega \leq k - \log^{10}k$ and $L$ is a list-assignment for $G$ such that $|L(v)| = k - 1$ for all $v\in V(G)$, then the average degree of $G$ is at least $(1 + \varepsilon)(k - 1) - \varepsilon \omega - 1$. This result implies that for some $\varepsilon > 0$, for every graph $G$ satisfying $\omega(G) \leq \mathrm{mad}(G) - \log^{10}\mathrm{mad}(G)$ where $\omega(G)$ is the size of the largest clique in $G$ and $\mathrm{mad}(G)$ is the maximum average degree of $G$, the list-chromatic number of $G$ is at most $\left\lceil (1 - \varepsilon)(\mathrm{mad}(G) + 1) + \varepsilon\omega(G)\right\rceil$.


title: Evidence of a population of dark subhalos from Gaia and Pan-STARRS observations of the GD-1 stream

abstract: New data from the $\textit{Gaia}$ satellite, when combined with accurate photometry from the Pan-STARRS survey, allow us to accurately estimate the properties of the GD-1 stream. Here, we analyze the stellar density perturbations in the GD-1 stream and show that they cannot be due to known baryonic structures like giant molecular clouds, globular clusters, or the Milky Way's bar or spiral arms. A joint analysis of the GD-1 and Pal 5 streams instead requires a population of dark substructures with masses $\approx 10^{7}$ to $10^9 \ M_{\rm{\odot}}$. We infer a total abundance of dark subhalos normalised to standard cold dark matter $n_{\rm sub}/n_{\rm sub, CDM} = 0.4 ^{+0.3}_{-0.2}$ ($68 \%$), which corresponds to a mass fraction contained in the subhalos $f_{\rm{sub}} = 0.14 ^{+0.11}_{-0.07} \%$, compatible with the predictions of hydrodynamical simulation of cold dark matter with baryons.


title: Novel constraints on the particle nature of dark matter from stellar streams

abstract: Tidal streams are highly sensitive to perturbations from passing dark matter (DM) subhalos and thus provide a means of measuring their abundance. In a recent paper, we analyzed the distribution of stars along the GD-1 stream with a combination of data from the Gaia satellite and the Pan-STARRS survey, and we demonstrated that the population of DM subhalos predicted by the cold dark matter (CDM) paradigm are necessary and sufficient to explain the perturbations observed in the linear density of stars. In this paper, we use the measurements of the subhalo mass function (SHMF) from the GD-1 data combined with a similar analysis of the Pal 5 stream to provide novel constraints on alternative DM scenarios that predict a suppression of the SHMF on scales smaller than the mass of dwarf galaxies, marginalizing over uncertainties in the slope and normalization of the unsuppressed SHMF and the susceptibility of DM subhalos in the inner Milky Way to tidal disruption. In particular, we derive a 95% lower limit on the mass of warm dark matter (WDM) thermal relics $m_{\rm WDM}>3.6\,\mathrm{keV}$ from streams alone that strengthens to $m_{\rm WDM}>6.2\,\mathrm{keV}$ when adding dwarf satellite counts. Similarly, we constrain the axion mass in ultra-light ("fuzzy") dark matter (FDM) models to be $m_{\rm FDM}>1.4\times10^{-21}\,\mathrm{eV}$ from streams alone or $m_{\rm FDM}>2.2\times10^{-21}\,\mathrm{eV}$ when adding dwarf satellite counts. Because we make use of simple approximate forms of the streams' SHMF measurement, our analysis is easy to replicate with other alternative DM models that lead to a suppression of the SHMF.


title: On fixed-point, Krylov, and $2\times 2$ block preconditioners for nonsymmetric problems

abstract: The solution of matrices with $2\times 2$ block structure arises in numerous areas of computational mathematics, such as PDE discretizations based on mixed-finite element methods, constrained optimization problems, or the implicit or steady state treatment of any system of PDEs with multiple dependent variables. Often, these systems are solved iteratively using Krylov methods and some form of block preconditioner. Under the assumption that one diagonal block is inverted exactly, this paper proves a direct equivalence between convergence of $2\times2$ block preconditioned Krylov or fixed-point iterations to a given tolerance, with convergence of the underlying preconditioned Schur-complement problem. In particular, results indicate that an effective Schur-complement preconditioner is a necessary and sufficient condition for rapid convergence of $2\times 2$ block-preconditioned GMRES, for arbitrary relative-residual stopping tolerances. A number of corollaries and related results give new insight into block preconditioning, such as the fact that approximate block-LDU or symmetric block-triangular preconditioners offer minimal reduction in iteration over block-triangular preconditioners, despite the additional computational cost. Theoretical results are verified numerically on a nonsymmetric steady linearized Navier-Stokes discretization, which also demonstrate that theory based on the assumption of an exact inverse of one diagonal block extends well to the more practical setting of inexact inverses.


title: Mathematical Modelling and Analysis of Fractional Diffusion Induced by Intracellular Noise

abstract: In this paper we use an individual-based model and its associated kinetic equation to study the generation of long jumps in the motion of E. coli. These models relate the run-and-tumble process to the intracellular reaction where the intrinsic noise plays a central role. Compared with the previous work in [13] in which the parametric assumptions are mainly for mathematical convenience and not well-suited for either numerical simulation or comparison with experimental results, our current paper make use of biologically meaningful pathways and tumbling kernels. Moreover, using the individual-based model we can now perform numerical simulations. Power-law decay of the run length, which corresponds to Levy-type motions, are observed in our numerical results. The particular decay rate agrees quantitatively with the analytical result. We also rigorously recover the fractional diffusion equation as the limit of the kinetic model.


title: Edge-maximal graphs on orientable and some non-orientable surfaces

abstract: We study edge-maximal, non-complete graphs on surfaces that do not triangulate the surface. We prove that there is no such graph on the projective plane $\mathbb{N}_1$, $K_7-e$ is the unique such graph on the Klein bottle $\mathbb{N}_2$ and $K_8-E(C_5)$ is the unique such graph on the torus $\mathbb{S}_1$. In contrast to this for each $g\ge 2$ we construct an infinite family of such graphs on the orientable surface $\mathbb{S}_g$ of genus $g$, that are $\lfloor \frac{g}{2} \rfloor$ edges short of a triangulation.


title: Higher Order Hamiltonian Monte Carlo Sampling for Cosmological Large-Scale Structure Analysis

abstract: We investigate higher order symplectic integration strategies within Bayesian cosmic density field reconstruction methods. In particular, we study the fourth-order discretisation of Hamiltonian equations of motion (EoM). This is achieved by recursively applying the basic second-order leap-frog scheme (considering the single evaluation of the EoM) in a combination of even numbers of forward time integration steps with a single intermediate backward step. This largely reduces the number of evaluations and random gradient computations, as required in the usual second-order case for high-dimensional cases. We restrict this study to the lognormal-Poisson model, applied to a full volume halo catalogue in real space on a cubical mesh of 1250 $h^{-1}$ Mpc side and 256$^3$ cells. Hence, we neglect selection effects, redshift space distortions, and displacements. We note that those observational and cosmic evolution effects can be accounted for in subsequent Gibbs-sampling steps within the COSMIC BIRTH algorithm. We find that going from the usual second to fourth-order in the leap-frog scheme shortens the burn-in phase by a factor of at least $\sim30$. This implies that 75-90 independent samples are obtained while the fastest second-order method converges. After convergence, the correlation lengths indicate an improvement factor of about 3.0 fewer gradient computations for meshes of 256$^3$ cells. In the considered cosmological scenario, the traditional leap-frog scheme turns out to outperform higher order integration schemes only at lower dimensional problems, e.g. meshes with 64$^3$ cells. This gain in computational efficiency can help to go towards a full Bayesian analysis of the cosmological large-scale structure for upcoming galaxy surveys.


title: Certain Answers to a SPARQL Query over a Knowledge Base (extended version)

abstract: Ontology-Mediated Query Answering (OMQA) is a well-established framework to answer queries over an RDFS or OWL Knowledge Base (KB). OMQA was originally designed for unions of conjunctive queries (UCQs), and based on certain answers. More recently, OMQA has been extended to SPARQL queries, but to our knowledge, none of the efforts made in this direction (either in the literature, or the so-called SPARQL entailment regimes) is able to capture both certain answers for UCQs and the standard interpretation of SPARQL over a plain graph. We formalize these as requirements to be met by any semantics aiming at conciliating certain answers and SPARQL answers, and define three additional requirements, which generalize to KBs some basic properties of SPARQL answers. Then we show that a semantics can be defined that satisfies all requirements for SPARQL queries with SELECT, UNION, and OPTIONAL, and for DLs with the canonical model property. We also investigate combined complexity for query answering under such a semantics over DL-Lite R KBs. In particular, we show for different fragments of SPARQL that known upper-bounds for query answering over a plain graph are matched.


title: Cosmology from an exponential dependence on the trace of the energy-momentum tensor -- Numerical approach and cosmological tests

abstract: In this paper, we present the cosmological scenario obtained from $f(R,T)$ gravity by using an exponential dependence on the trace of the energy-momentum tensor. With a numerical approach applied to the equations of motion, we show several precise fits and the respective cosmological consequences. As a matter of completeness, we also analyzed cosmological scenarios where this new version of $f(R,T)$ is coupled with a real scalar field. In order to find analytical cosmological parameters, we used a slow-roll approximation for the evolution of the scalar field. This approximation allowed us to derived the Hubble and the deceleration parameters whose time evolutions describe the actual phase of accelerated expansion, and corroborate with our numerical investigations. Therefore, the analytical parameters unveil the viability of this proposal for $f(R,T)$ in the presence of an inflaton field.


title: Understanding Electronic Peculiarities in Tetragonal FeSe as Local Structural Symmetry Breaking

abstract: Traditional band theory of perfect crystalline solids often uses as input the structure deduced from diffraction experiments; when modeled by the minimal unit cell this often produces a spatially averaged model. The present study illustrates that this is not always a safe practice unless one examines if the intrinsic bonding mechanism is capable of benefiting from the formation of a distribution of lower symmetry local environments that differ from the macroscopically averaged structure. This can happen either due to positional, or due to magnetic symmetry breaking. By removing the constraint of a small crystallographic cell, the energy minimization in the density functional theory finds atomic and spin symmetry breaking, not evident in conventional diffraction experiments but being found by local probes such as pair distribution function analysis. Here we report that large atomic and electronic anomalies in bulk tetragonal FeSe emerge from the existence of distributions of local positional and magnetic moment motifs. The found symmetry-broken motifs obtained by minimization of the internal energy represent what chemical bonding in tetragonal phase prefers as an intrinsic energy lowering static distortions. This explains observations of band renormalization, predicts orbital order and enhanced nematicity, and provides unprecedented close agreement with spectral function measured by photoemission and local atomic environment revealed by pair distribution function. While the symmetry-restricted strong correlation approach has been argued previously to be the exclusive theory needed for describing the main peculiarities of FeSe, we show here that the symmetry-broken mean-field approach addresses numerous aspects of the problem, provides intuitive insight into the electronic structure, and opens the door for large-scale mean-field calculations for similar d-electron quantum materials.


title: Open Domain Web Keyphrase Extraction Beyond Language Modeling

abstract: This paper studies keyphrase extraction in real-world scenarios where documents are from diverse domains and have variant content quality. We curate and release OpenKP, a large scale open domain keyphrase extraction dataset with near one hundred thousand web documents and expert keyphrase annotations. To handle the variations of domain and content quality, we develop BLING-KPE, a neural keyphrase extraction model that goes beyond language understanding using visual presentations of documents and weak supervision from search queries. Experimental results on OpenKP confirm the effectiveness of BLING-KPE and the contributions of its neural architecture, visual features, and search log weak supervision. Zero-shot evaluations on DUC-2001 demonstrate the improved generalization ability of learning from the open domain data compared to a specific domain.


title: A local epsilon version of Reed's Conjecture

abstract: In 1998, Reed conjectured that every graph $G$ satisfies $\chi(G) \leq \lceil \frac{1}{2}(\Delta(G) + 1 + \omega(G))\rceil$, where $\chi(G)$ is the chromatic number of $G$, $\Delta(G)$ is the maximum degree of $G$, and $\omega(G)$ is the clique number of $G$. As evidence for his conjecture, he proved an "epsilon version" of it, i.e. that there exists some $\varepsilon > 0$ such that $\chi(G) \leq (1 - \varepsilon)(\Delta(G) + 1) + \varepsilon\omega(G)$. It is natural to ask if Reed's conjecture or an epsilon version of it is true for the list-chromatic number. In this paper we consider a "local version" of the list-coloring version of Reed's conjecture. Namely, we conjecture that if $G$ is a graph with list-assignment $L$ such that for each vertex $v$ of $G$, $|L(v)| \geq \lceil \frac{1}{2}(d(v) + 1 + \omega(v))\rceil$, where $d(v)$ is the degree of $v$ and $\omega(v)$ is the size of the largest clique containing $v$, then $G$ is $L$-colorable. Our main result is that an "epsilon version" of this conjecture is true, under some mild assumptions. Using this result, we also prove a significantly improved lower bound on the density of $k$-critical graphs with clique number less than $k/2$, as follows. For every $\alpha > 0$, if $\varepsilon \leq \frac{\alpha^2}{1350}$, then if $G$ is an $L$-critical graph for some $k$-list-assignment $L$ such that $\omega(G) < (\frac{1}{2} - \alpha)k$ and $k$ is sufficiently large, then $G$ has average degree at least $(1 + \varepsilon)k$. This implies that for every $\alpha > 0$, there exists $\varepsilon > 0$ such that if $G$ is a graph with $\omega(G)\leq (\frac{1}{2} - \alpha)\mathrm{mad}(G)$, where $\mathrm{mad}(G)$ is the maximum average degree of $G$, then $\chi_\ell(G) \leq \left\lceil (1 - \varepsilon)(\mathrm{mad}(G) + 1) + \varepsilon \omega(G)\right\rceil$.


title: Towards the Use of Neural Networks for Influenza Prediction at Multiple Spatial Resolutions

abstract: We introduce the use of a Gated Recurrent Unit (GRU) for influenza prediction at the state- and city-level in the US, and experiment with the inclusion of real-time flu-related Internet search data. We find that a GRU has lower prediction error than current state-of-the-art methods for data-driven influenza prediction at time horizons of over two weeks. In contrast with other machine learning approaches, the inclusion of real-time Internet search data does not improve GRU predictions.


title: Polymorphic Encryption and Pseudonymisation of IP Network Flows

abstract: We describe a system, PEP3, for storage and retrieval of IP flow information in which the IP addresses are replaced by pseudonyms. Every eligible party gets its own set of pseudonyms. A single entity, the transcryptor, that is composed of five independent peers, is responsible for the generation of, depseudonymisation of, and translation between different sets of pseudonyms. These operations can be performed by any three of the five peers, preventing a single point of trust or failure. Using homomorphic aspects of ElGamal encryption the peers perform their operations on encrypted and --potentially-- pseudonymised IP addresses only, thereby never learning the (pseudonymised) IP addresses handled by the parties. Moreover, using Schnorr type proofs, the behaviour of the peers can be verified, without revealing the (pseudonymised) IP addresses either. Hence the peers are central, but need not be fully trusted. The design of our system, while easily modified to other settings, is tuned to the sheer volume of data presented by IP flow information.


title: Faster Least Squares Optimization

abstract: We investigate iterative methods with randomized preconditioners for solving overdetermined least-squares problems, where the preconditioners are based on a random embedding of the data matrix. We consider two distinct approaches: the sketch is either computed once (fixed preconditioner), or, the random projection is refreshed at each iteration, i.e., sampled independently of previous ones (varying preconditioners). Although fixed sketching-based preconditioners have received considerable attention in the recent literature, little is known about the performance of refreshed sketches. For a fixed sketch, we characterize the optimal iterative method, that is, the preconditioned conjugate gradient as well as its rate of convergence in terms of the subspace embedding properties of the random embedding. For refreshed sketches, we provide a closed-form formula for the expected error of the iterative Hessian sketch (IHS), a.k.a. preconditioned steepest descent. In contrast to the guarantees and analysis for fixed preconditioners based on subspace embedding properties, our formula is exact and it involves the expected inverse moments of the random projection. Our main technical contribution is to show that this convergence rate is, surprisingly, unimprovable with heavy-ball momentum. Additionally, we construct the locally optimal first-order method whose convergence rate is bounded by that of the IHS. Based on these theoretical and numerical investigations, we do not observe that the additional randomness of refreshed sketches provides a clear advantage over a fixed preconditioner. Therefore, we prescribe PCG as the method of choice along with an optimized sketch size according to our analysis. Our prescribed sketch size yields state-of-the-art computational complexity for solving highly overdetermined linear systems. Lastly, we illustrate the numerical benefits of our algorithms.


title: Modulational instability, inter-component asymmetry and formation of quantum droplets in one-dimensional binary Bose gases

abstract: Quantum droplets are ultradilute liquid states which emerge from the competitive interplay of two Hamiltonian terms, the mean-field energy and beyond-mean-field correction, in a weakly interacting binary Bose gas. We relate the formation of droplets in symmetric and asymmetric two-component one-dimensional boson systems to the modulational instability of a spatially uniform state driven by the beyond-mean-field term. Asymmetry between the components may be caused by their unequal populations or unequal intra-component interaction strengths. Stability of both symmetric and asymmetric droplets is investigated. Robustness of the symmetric solutions against symmetry-breaking perturbations is confirmed.


title: Dyson-Schwinger approach to baryon number fluctuations

abstract: We summarize our results on baryon number fluctuations at nonzero temperature and chemical potential. They are obtained from solutions of a coupled set of Dyson-Schwinger equations for the quark and gluon propagators of QCD in Landau gauge with $N_f=2+1$ quark flavors. In comparison with preliminary STAR data, our results are compatible with a critical endpoint at large chemical potential and a freeze-out line that bends below it.


title: Relative Maximum Likelihood Updating of Ambiguous Beliefs

abstract: This paper proposes and axiomatizes a new updating rule: Relative Maximum Likelihood (RML) for ambiguous beliefs represented by a set of priors (C). This rule takes the form of applying Bayes' rule to a subset of C. This subset is a linear contraction of C towards its subset ascribing a maximal probability to the observed event. The degree of contraction captures the extent of willingness to discard priors based on likelihood when updating. Two well-known updating rules of multiple priors, Full Bayesian (FB) and Maximum Likelihood (ML), are included as special cases of RML. An axiomatic characterization of conditional preferences generated by RML updating is provided when the preferences admit Maxmin Expected Utility representations. The axiomatization relies on weakening the axioms characterizing FB and ML. The axiom characterizing ML is identified for the first time in this paper, addressing a long-standing open question in the literature.


title: A Domain-Specific Language for Verifying Software Requirement Constraints

abstract: Software requirement analysis can certainly benefit from prevention and early detection of failures, in particular by some kind of automatic analysis. Formal methods offer means to represent and analyze requirements with rigorous tools, avoiding ambiguities and allowing automatic verification of requirement consistency. However, formalisms often clash in the culture or lack of skills of software analysts, making them challenging to apply. In this article, we propose a Domain-Specific Language (DSL) based on Set Theory for requirement analysts. The Graphical InvaRiant Language (GIRL) can be used to specify software requirement structural invariants, with entities and their relationships. Those invariants can then have their consistency evaluated by the Alloy Analyzer, based on a mapping semantics we provide for transforming GIRL models into Alloy specifications with no user intervention. With a prototypical language editor and transformations implemented into an Eclipse plugin, we carried out a qualitative study with requirement analysts working for a government software company in Brazil, to evaluate usability and effectiveness of the GIRL-based analysis of real software requirements. The participants were able to effectively use the underlying formal analysis, since 79 out of 80 assigned invariants were correctly modeled. While participants perceived as low the complexity of learning and using GIRL's simplest, set-based structures and relationships, the most complex logical structures, such as quantification and implication, were challenging. Furthermore, almost all post-study evaluations from the participants were positive, especially as a tool for discovering requirement inconsistencies.


title: Uniformization Theorems: Between Yamabe and Paneitz

abstract: This paper is devoted to several existence results for a generalized version of the Yamabe problem. First, we prove the remaining global cases for the range of powers $\gamma\in (0,1)$ for the generalized Yamabe problem introduced by Gonzalez and Qing. Second, building on a new approach by Case and Chang for this problem, we prove that this Yamabe problem is solvable in the Poincar\'{e}-Einstein case for $\gamma\in (1,\min\{2,n/2\})$ provided the associated fractional GJMS operator satisfies the strong maximum principle.


title: Generalized Transformation-based Gradient

abstract: The reparameterization trick has become one of the most useful tools in the field of variational inference. However, the reparameterization trick is based on the standardization transformation which restricts the scope of application of this method to distributions that have tractable inverse cumulative distribution functions or are expressible as deterministic transformations of such distributions. In this paper, we generalized the reparameterization trick by allowing a general transformation. We discover that the proposed model is a special case of control variate indicating that the proposed model can combine the advantages of CV and generalized reparameterization.


title: Physics-Guided Architecture (PGA) of Neural Networks for Quantifying Uncertainty in Lake Temperature Modeling

abstract: To simultaneously address the rising need of expressing uncertainties in deep learning models along with producing model outputs which are consistent with the known scientific knowledge, we propose a novel physics-guided architecture (PGA) of neural networks in the context of lake temperature modeling where the physical constraints are hard coded in the neural network architecture. This allows us to integrate such models with state of the art uncertainty estimation approaches such as Monte Carlo (MC) Dropout without sacrificing the physical consistency of our results. We demonstrate the effectiveness of our approach in ensuring better generalizability as well as physical consistency in MC estimates over data collected from Lake Mendota in Wisconsin and Falling Creek Reservoir in Virginia, even with limited training data. We further show that our MC estimates correctly match the distribution of ground-truth observations, thus making the PGA paradigm amenable to physically grounded uncertainty quantification.


title: Shaping Visual Representations with Language for Few-shot Classification

abstract: By describing the features and abstractions of our world, language is a crucial tool for human learning and a promising source of supervision for machine learning models. We use language to improve few-shot visual classification in the underexplored scenario where natural language task descriptions are available during training, but unavailable for novel tasks at test time. Existing models for this setting sample new descriptions at test time and use those to classify images. Instead, we propose language-shaped learning (LSL), an end-to-end model that regularizes visual representations to predict language. LSL is conceptually simpler, more data efficient, and outperforms baselines in two challenging few-shot domains.


title: Geometry of the del Pezzo surface y^2=x^3+Am^6+Bn^6

abstract: In this paper, we give an effective and efficient algorithm which on input takes non-zero integers $A$ and $B$ and on output produces the generators of the Mordell-Weil group of the elliptic curve over $\mathbb{Q}(t)$ given by an equation of the form $y^2=x^3+At^6+B$. Our method uses the correspondence between the 240 lines of a del Pezzo surface of degree 1 and the sections of minimal Shioda height on the corresponding elliptic surface over $\overline{\mathbb{Q}}$. For most rational elliptic surfaces, the density of the rational points is proven by various authors, but the results are partial in case when the surface has a minimal model that is a del Pezzo surface of degree 1. In particular, the ones given by the Weierstrass equation $y^2=x^3+At^6+B$, are among the few for which the question is unsolved, because the root number of the fibres can be constant. Our result proves the density of the rational points in many of these cases where it was previously unknown.


title: A Comprehensive Survey on Transfer Learning

abstract: Transfer learning aims at improving the performance of target learners on target domains by transferring the knowledge contained in different but related source domains. In this way, the dependence on a large number of target domain data can be reduced for constructing target learners. Due to the wide application prospects, transfer learning has become a popular and promising area in machine learning. Although there are already some valuable and impressive surveys on transfer learning, these surveys introduce approaches in a relatively isolated way and lack the recent advances in transfer learning. Due to the rapid expansion of the transfer learning area, it is both necessary and challenging to comprehensively review the relevant studies. This survey attempts to connect and systematize the existing transfer learning researches, as well as to summarize and interpret the mechanisms and the strategies of transfer learning in a comprehensive way, which may help readers have a better understanding of the current research status and ideas. Unlike previous surveys, this survey paper reviews more than forty representative transfer learning approaches, especially homogeneous transfer learning approaches, from the perspectives of data and model. The applications of transfer learning are also briefly introduced. In order to show the performance of different transfer learning models, over twenty representative transfer learning models are used for experiments. The models are performed on three different datasets, i.e., Amazon Reviews, Reuters-21578, and Office-31. And the experimental results demonstrate the importance of selecting appropriate transfer learning models for different applications in practice.


title: Curvature, a mechanical link between the geometrical complexities of a fault

abstract: Many recent studies have tried to determine the influence of geometry of faults in earthquake mechanics. In this paper, we suggest a new interpretation of the effect of geometry on the stress on a fault. Starting from the representation theorem, which links the displacement in a medium to the slip distribution on its boundary, and assuming homogeneous infinite medium, a regularized boundary-element equation can be obtained. Using this equation, it is possible to separate the influence of geometry, as expressed by the curvatures and torsions of the field line of a dislocation on the fault surface, which multiply the slip, from the effect of the gradient of slip. This allows us to shed new light on the mechanical effects of geometrical complexities on the fault surface, with the key parameters being the curvatures and torsions of the slip field on the fault surface. We have used this new approach to explain further the false paradox between smooth-and-abrupt-bends (see Sato et al. (2019)) as well as to re-interpret the effect of roughness on a fault.


title: On the Moduli Space of Asymptotically Flat Manifolds with Boundary and the Constraint Equations

abstract: Let $X$ be a closed $3$-manifold, $\mathcal{M}_{R>0}$ the space of metrics on $X$ with positive scalar curvature, and $\text{Diff}(X)$ the group of diffeomorphisms of $X$. Marques proves the fundamental result that $\mathcal{M}_{R>0}/ \text{Diff}(X)$ is path connected. Using this and the theorem of Cerf in differential topology, Marques shows that the space of asymptotically flat metrics with nonnegative scalar curvature on $\mathbb{R}^3$ is path connected. Based on Carlotto-Li's generalization of Marques' result to the case of compact manifold with boundary, we show that the space of asymptotically flat metrics with nonnegative scalar curvature and mean convex boundary on $\mathbb{R}^3\backslash B^3$ is path connected. The differential topology part of Marques' argument no longer yields the desired result for $\mathbb{R}^3\setminus B^3$, but we bypass this issue by finding a more elementary proof. We also include a path-connectedness result for the space of black hole initial data sets, which can be thought of as a necessary condition for the Final State Conjecture.


title: Group Average Treatment Effects for Observational Studies

abstract: The paper proposes an estimator to make inference of heterogeneous treatment effects sorted by impact groups (GATES) for non-randomised experiments. The groups can be understood as a broader aggregation of the conditional average treatment effect (CATE) where the number of groups is set in advance. In economics, this approach is similar to pre-analysis plans. Observational studies are standard in policy evaluation from labour markets, educational surveys and other empirical studies. To control for a potential selection-bias, we implement a doubly-robust estimator in the first stage. We use machine learning methods to learn the conditional mean functions as well as the propensity score. The group average treatment effect is then estimated via a linear projection model. The linear model is easy to interpret, provides p-values and confidence intervals, and limits the danger of finding spurious heterogeneity due to small subgroups in the CATE. To control for confounding in the linear model, we use Neyman-orthogonal moments to partial out the effect that covariates have on both, the treatment assignment and the outcome. The result is a best linear predictor for effect heterogeneity based on impact groups. We find that our proposed method has lower absolute errors as well as smaller bias than the benchmark doubly-robust estimator. We further introduce a bagging type averaging for the CATE function for each observation to avoid biases through sample splitting. The advantage of the proposed method is a robust linear estimation of heterogeneous group treatment effects in observational studies.


title: The cohomological Hall algebras of a preprojective algebra with symmetrizer

abstract: This paper aims at a geometric realization of the Yangian of non-simply laced type in terms of quiver with potentials. For every quiver with symmetrizer, there is an extended quiver with superpotential, whose Jacobian algebra is the generalized preprojective algebra of Gei{\ss}, Leclerc, and Schr\"oer arXiv:1410.1403. We study the cohomological Hall algebra of Kontsevich and Soibelman associated to this quiver with potential. In particular, we prove a dimensional reduction result, and provide a shuffle formula of this cohomological Hall algebra. In the case when the quiver with symmetrizer comes from a symmetrizable Cartan matrix, we prove that this shuffle algebra satisfies the relations of the Yangian associated to this Cartan matrix.


title: SIMMC: Situated Interactive Multi-Modal Conversational Data Collection And Evaluation Platform

abstract: As digital virtual assistants become ubiquitous, it becomes increasingly important to understand the situated behaviour of users as they interact with these assistants. To this end, we introduce SIMMC, an extension to ParlAI for multi-modal conversational data collection and system evaluation. SIMMC simulates an immersive setup, where crowd workers are able to interact with environments constructed in AI Habitat or Unity while engaging in a conversation. The assistant in SIMMC can be a crowd worker or Artificial Intelligent (AI) agent. This enables both (i) a multi-player / Wizard of Oz setting for data collection, or (ii) a single player mode for model / system evaluation. We plan to open-source a situated conversational data-set collected on this platform for the Conversational AI research community.


title: Decompositions of Schubert Varieties and Small Resolutions

abstract: We provide a method for gluing (small) resolutions of singularities of Schubert varieties \(X_w\). An explicit isomorphism of \(X_w\) with an (iterated) bundle is constructed when \(w\) has an (iterated) BP decomposition. Combined with the first result this gives many new small resolutions of Schubert varieties. In type A, this can be expressed in terms of pattern avoidance. Also we show resolutions of Schubert varieties constructed quite generally are in fact Gelfand-MacPherson resolutions.


title: Multi-Domain Neural Machine Translation with Word-Level Adaptive Layer-wise Domain Mixing

abstract: Many multi-domain neural machine translation (NMT) models achieve knowledge transfer by enforcing one encoder to learn shared embedding across domains. However, this design lacks adaptation to individual domains. To overcome this limitation, we propose a novel multi-domain NMT model using individual modules for each domain, on which we apply word-level, adaptive and layer-wise domain mixing. We first observe that words in a sentence are often related to multiple domains. Hence, we assume each word has a domain proportion, which indicates its domain preference. Then word representations are obtained by mixing their embedding in individual domains based on their domain proportions. We show this can be achieved by carefully designing multi-head dot-product attention modules for different domains, and eventually taking weighted averages of their parameters by word-level layer-wise domain proportions. Through this, we can achieve effective domain knowledge sharing, and capture fine-grained domain-specific knowledge as well. Our experiments show that our proposed model outperforms existing ones in several NMT tasks.


title: Impact of subdominant modes on the interpretation of gravitational-wave signals from heavy binary black hole systems

abstract: Over the past year, a handful of new gravitational wave models have been developed to include multiple harmonic modes thereby enabling for the first time fully Bayesian inference studies including higher modes to be performed. Using one recently-developed numerical relativity surrogate model, NRHybSur3dq8, we investigate the importance of higher modes on parameter inference of coalescing massive binary black holes. We focus on examples relevant to the current three-detector network of observatories, with a detector-frame mass set to $120 M_\odot$ and with signal amplitude values that are consistent with plausible candidates for the next few observing runs. We show that for such systems the higher mode content will be important for interpreting coalescing binary black holes, reducing systematic bias, and computing properties of the remnant object. Even for comparable-mass binaries and at low signal amplitude, the omission of higher modes can influence posterior probability distributions. We discuss the impact of our results on source population inference and self-consistency tests of general relativity. Our work can be used to better understand asymmetric binary black hole merger events, such as GW190412. Higher modes are critical for such systems, and their omission usually produces substantial parameter biases.


title: Small, Highly Accurate Quantum Processor for Intermediate-Depth Quantum Simulations

abstract: Analog quantum simulation is widely considered a step on the path to fault tolerant quantum computation. If based on current noisy hardware, the accuracy of an analog simulator will degrade after just a few time steps, especially when simulating complex systems that are likely to exhibit quantum chaos. Here we describe a small, highly accurate quantum simulator and its use to run high fidelity simulations of three different model Hamiltonians for $>100$ time steps. While not scalable to exponentially large Hilbert spaces, this platform provides the accuracy and programmability required for systematic exploration of the interplay between dynamics, imperfections, and accuracy in quantum simulation.


title: Towards An Angry-Birds-like Game System for Promoting Mental Well-being of Players Using Art-Therapy-embedded PCG

abstract: This paper presents an integration of a game system and the art therapy concept for promoting the mental well-being of video game players. In the proposed game system, the player plays an Angry-Birds-like game in which levels in the game are generated based on images they draw. Upon finishing a game level, the player also receives positive feedback (praising words) toward their drawing and the generated level from an Art Therapy AI. The proposed system is composed of three major parts: (1) a drawing recognizer that identifies what object is drawn by the player (Sketcher), (2) a level generator that converts the drawing image into a pixel image, then a set of blocks representing a game level (PCG AI), and (3) the Art Therapy AI that encourages the player and improves their emotion. This paper describes an overview of the system and explains how its major components function.


title: Efficient Computation of Positional Population Counts Using SIMD Instructions

abstract: In several fields such as statistics, machine learning, and bioinformatics, categorical variables are frequently represented as one-hot encoded vectors. For example, given 8 distinct values, we map each value to a byte where only a single bit has been set. We are motivated to quickly compute statistics over such encodings. Given a stream of k-bit words, we seek to compute k distinct sums corresponding to bit values at indexes 0, 1, 2, ..., k-1. If the k-bit words are one-hot encoded then the sums correspond to a frequency histogram. This multiple-sum problem is a generalization of the population-count problem where we seek the sum of all bit values. Accordingly, we refer to the multiple-sum problem as a positional population-count. Using SIMD (Single Instruction, Multiple Data) instructions from recent Intel processors, we describe algorithms for computing the 16-bit position population count using less than half of a CPU cycle per 16-bit word. Our best approach uses up to 400 times fewer instructions and is up to 50 times faster than baseline code using only regular (non-SIMD) instructions, for sufficiently large inputs.


title: Topological classification of non-Hermitian bands

abstract: We proposed a framework for the topological classification of non-Hermitian systems. Different from previous $K$-theoretical approaches, our approach is a homotopy classification, which enables us to see more topological invariants. Specifically, we considered the classification of non-Hermitian systems with separable band structures. We found that the whole classification set is decomposed into several sectors based on the braiding of energy levels and characterized by some braid group data. Each sector can be further classified based on the topology of eigenstates (wave functions). Due to the interplay between energy levels braiding and eigenstates topology, we found some torsion invariants, which only appear in the non-Hermitian world via homotopical approach. We further proved that these new topological invariants are unstable (fragile), in the sense that adding more bands will trivialize these invariants.


title: Fuzzy Logic based Autonomous Parking Systems -- Part II: A Hybrid Dual Controller System

abstract: This paper presents an intelligent autonomous parking system with Hybrid Fuzzy Controllers (HFCs). The system enables intelligent vehicles to perform slot detection, parallel and vertical parking in a completely unmanned environment. The HFC, constituting of a Base Fuzzy Controller (BFC) and a Supervisory Fuzzy Controller (SFC), optimizes the control logic to counteract external disturbances in parking process by implementing additional fuzzy rule base. Customized HFCs are designed for critical steps in parking, namely turning control and posture stabilization. As a result, more accurate and efficient parking is achieved even when there are uncertainties in vehicle length and friction. Simulated experiments are carried out in MATLAB to verify the robustness of new HFCs and to demonstrate the performance improvement compared with the previous Fuzzy based Onboard System (FBOS).


title: On the Serrin-type condition on one velocity component for the Navier-Stokes equations

abstract: In this paper we consider the regularity problem of the Navier-Stokes equations in $ \R^{3} $. We show that the Serrin-type condition imposed on one component of the velocity $ u_3\in L^p(0,T; L^q(\R^{3} ))$ satisfying $ \frac{2}{p}+ \frac{3}{q} <1$, $ 3<q \le +\infty$ implies the regularity of the weak Leray solution $ u: \R^{3} \times (0,T) \rightarrow \R^{3} $ with the initial data belonging to $ L^2(\Bbb R^3) \cap L^3(\R^{3})$. The result is an immediate consequence of a new local regularity criterion in terms of one velocity component for suitable weak solutions.


title: Uncertainty relations and fluctuation theorems for Bayes nets

abstract: Recent research has considered the stochastic thermodynamics of multiple interacting systems, representing the overall system as a Bayes net. I derive fluctuation theorems governing the entropy production (EP)of arbitrary sets of the systems in such a Bayes net. I also derive ``conditional'' fluctuation theorems, governing the distribution of EP in one set of systems conditioned on the EP of a different set of systems. I then derive thermodynamic uncertainty relations relating the EP of the overall system to the precisions of probability currents within the individual systems.


title: Frequency of Coronal Mass Ejection Impacts with Early Terrestrial Planets and Exoplanets Around Active Solar-like Stars

abstract: Energetic flares and associated coronal mass ejections (CMEs) from young magnetically active solar-like stars can play a critical role in setting conditions for atmospheric escape as well aspenetration of accelerated particles into their atmospheres that promotes formation of biologically relevant molecules. We have used the observationally reconstructed magnetic field of the 0.7 Gyr-young Suns twin, k1 Ceti, to study the effects of CME deflections in the magnetic corona of the young Sun and their effects on the impact frequency on the early Venus, Earth and Mars. We find that the coronal magnetic field deflects the CMEs toward the astrospheric current sheet (ACS). This effect suggests that CMEs tend to propagate within a small cone about the ecliptic plane increasing the impact frequency of CMEs with planetary magnetospheres near this plane to ~ 30 percent or by a factor of 6 as compared to previous estimate by Airapetian et al. 2016. Our model has important implications for the rise of prebiotic chemistry on early terrestrial planets as well as terrestrial type exoplanets around young G-K dwarfs.


title: Metal-Insulator and Magnetic Phase Diagram of Ca$_2$RuO$_4$ from Auxiliary Field Quantum Monte Carlo and Dynamical Mean Field Theory

abstract: Layered perovskite ruthenium oxides exhibit a striking series of metal-insulator and magnetic-nonmagnetic phase transitions easily tuned by temperature, pressure, epitaxy, and nonlinear drive. In this work, we combine results from two complementary state of the art many-body methods, Auxiliary Field Quantum Monte Carlo and Dynamical Mean Field Theory, to determine the low-temperature phase diagram of Ca$_2$RuO$_4$. Both methods predict a low temperature, pressure-driven metal-insulator transition accompanied by a ferromagnetic-antiferromagnetic transition. The properties of the ferromagnetic state vary non-monotonically with pressure and are dominated by the ruthenium $d_{xy}$ orbital, while the properties of the antiferromagnetic state are dominated by the $d_{xz}$ and $d_{yz}$ orbitals. Differences of detail in the predictions of the two methods are analyzed. This work is theoretically important as it presents the first application of the Auxiliary Field Quantum Monte Carlo method to an orbitally-degenerate system with both Mott and Hunds physics, and provides an important comparison of the Dynamical Mean Field and Auxiliary Field Quantum Monte Carlo methods.


title: Fuzzy Logic based Autonomous Parking Systems -- Part IV: A Multiple-Model Adaptive Neural-Fuzzy Controller

abstract: In this paper, a Multiple Models Adaptive Fuzzy Logic Controller (MM-AFLC) with Neural Network Identification is designed to control the unmanned vehicle in Intelligent Autonomous Parking System. The objective is to achieve robust control while maintaining a low implementation cost. The proposed controller design incorporates the following control theorems -- non-linear system identification using neural network, fuzzy logic control, adaptive control as well as multiple models adaptation. Such integration ensures superior performance compared to previous work. The generalized controller can be applied to different systems without prior knowledge of the actual plant model. In the intelligent autonomous parking system, the proposed controller can be used for both vehicle speed control and steering wheel turning. With a multiple model adaptive fuzzy logic controller, robustness can be also assured under various operating environments regardless of unpredictable disturbances. Last but not least, comparative experiments have also demonstrated that systems equipped with the new controller are able to achieve faster and smoother convergence.


title: Magnetic monopoles and toroidal moments in LuFeO$_3$ and related compounds

abstract: Magnetic monopoles and toroidal order are compelling features that have long been theorized but remain elusive in real materials. Multiferroic hexagonal ferrites are an interesting realization of frustrated triangular lattice, where magnetic order is coupled to ferroelectricity and trimerization. Here we propose a mechanism, through which magnetic monopolar and toroidal orders emerge from the combination of 120$^\circ$ antiferromagnetism and trimerization, present in hexagonal manganites and ferrites. The experimentally observable signatures of magnetic monopolar and toroidal orders are identified in the inelastic neutron scattering cross section, simulated from a microscopic model of LuFeO3. The non-reciprocal magnon propagation is demonstrated.


title: Quantum optical levitation of a mirror

abstract: While the levitating mirror has seen renewed interest lately, relatively little is known about its quantum behaviour. In this paper we present a quantum theory of a one dimensional levitating mirror. The mirror forms a part of a Fabry-Perot cavity where the circulating intracavity field supports the mirror through radiation pressure alone. We find a blue and red detuned steady-state of which only the blue detuned solution with damping on the mirror and cavity is stable. We find strong entanglement (15-20 ebits) between the mirror output and cavity output and squeezing in the mirror position.


title: Einstein and scalar flat Riemannian metrics

abstract: On a given closed connected manifold of dimension two, or greater, we consider the squared $L^2$-norm of the scalar curvature functional over the space of constant volume Riemannian metrics. We prove that its critical points have constant scalar curvature, and use this to show that a metric is a solution of the critical point equation if, and only if, it is either Einstein, or scalar flat.


title: Grounded Conversation Generation as Guided Traverses in Commonsense Knowledge Graphs

abstract: Human conversations naturally evolve around related concepts and scatter to multi-hop concepts. This paper presents a new conversation generation model, ConceptFlow, which leverages commonsense knowledge graphs to explicitly model conversation flows. By grounding conversations to the concept space, ConceptFlow represents the potential conversation flow as traverses in the concept space along commonsense relations. The traverse is guided by graph attentions in the concept graph, moving towards more meaningful directions in the concept space, in order to generate more semantic and informative responses. Experiments on Reddit conversations demonstrate ConceptFlow's effectiveness over previous knowledge-aware conversation models and GPT-2 based models while using 70% fewer parameters, confirming the advantage of explicit modeling conversation structures. All source codes of this work are available at https://github.com/thunlp/ConceptFlow.


title: Light-shift spectroscopy of optically trapped atomic ensembles

abstract: We develop a method for extracting the physical parameters of interest for a dipole trapped cold atomic ensemble. This technique uses the spatially dependent ac-Stark shift of the trap itself to project the atomic distribution onto a light-shift broadened transmission spectrum. We develop a model that connects the atomic distribution with the expected transmission spectrum. We then demonstrate the utility of the technique by deriving the temperature, trap depth, lifetime, and trapped atom number from data that was taken in a single shot experimental measurement.


title: Using Interlinear Glosses as Pivot in Low-Resource Multilingual Machine Translation

abstract: We demonstrate a new approach to Neural Machine Translation (NMT) for low-resource languages using a ubiquitous linguistic resource, Interlinear Glossed Text (IGT). IGT represents a non-English sentence as a sequence of English lemmas and morpheme labels. As such, it can serve as a pivot or interlingua for NMT. Our contribution is four-fold. Firstly, we pool IGT for 1,497 languages in ODIN (54,545 glosses) and 70,918 glosses in Arapaho and train a gloss-to-target NMT system from IGT to English, with a BLEU score of 25.94. We introduce a multilingual NMT model that tags all glossed text with gloss-source language tags and train a universal system with shared attention across 1,497 languages. Secondly, we use the IGT gloss-to-target translation as a key step in an English-Turkish MT system trained on only 865 lines from ODIN. Thirdly, we we present five metrics for evaluating extremely low-resource translation when BLEU is no longer sufficient and evaluate the Turkish low-resource system using BLEU and also using accuracy of matching nouns, verbs, agreement, tense, and spurious repetition, showing large improvements.


title: Deep Learning Models for Global Coordinate Transformations that Linearize PDEs

abstract: We develop a deep autoencoder architecture that can be used to find a coordinate transformation which turns a nonlinear PDE into a linear PDE. Our architecture is motivated by the linearizing transformations provided by the Cole-Hopf transform for Burgers equation and the inverse scattering transform for completely integrable PDEs. By leveraging a residual network architecture, a near-identity transformation can be exploited to encode intrinsic coordinates in which the dynamics are linear. The resulting dynamics are given by a Koopman operator matrix $\mathbf{K}$. The decoder allows us to transform back to the original coordinates as well. Multiple time step prediction can be performed by repeated multiplication by the matrix $\mathbf{K}$ in the intrinsic coordinates. We demonstrate our method on a number of examples, including the heat equation and Burgers equation, as well as the substantially more challenging Kuramoto-Sivashinsky equation, showing that our method provides a robust architecture for discovering interpretable, linearizing transforms for nonlinear PDEs.