title: Resistivity phase diagram of cuprates revisited

abstract: The phase diagram of the cuprate superconductors has posed a formidable scientific challenge for more than three decades. This challenge is perhaps best exemplified by the need to understand the normal-state charge transport as the system evolves from Mott insulator to Fermi-liquid metal with doping. Here we report a detailed analysis of the temperature (T) and doping (p) dependence of the planar resistivity of simple-tetragonal HgBa$_2$CuO$_{4+\delta}$ (Hg1201), the single-CuO$_2$-layer cuprate with the highest optimal $T_c$. The data allow us to test a recently proposed phenomenological model for the cuprate phase diagram that combines a universal transport scattering rate with spatially inhomogeneous (de)localization of the Mott-localized hole. We find that the model provides an excellent description of the data. We then extend this analysis to prior transport results for several other cuprates, including the Hall number in the overdoped part of the phase diagram, and find little compound-to-compound variation in (de)localization gap scale. The results point to a robust, universal structural origin of the inherent gap inhomogeneity that is unrelated to doping-related disorder. They are inconsistent with the notion that much of the phase diagram is controlled by a quantum critical point, and instead indicate that the unusual electronic properties exhibited by the cuprates are fundamentally related to strong nonlinearities associated with subtle nanoscale inhomogeneity.


title: Uncovering novel phase transitions in dense dry polar active fluids using a lattice Boltzmann method

abstract: The dynamics of dry active matter have implications for a diverse collection of biological phenomena spanning a range of length and time scales, such as animal flocking, cell tissue dynamics, and swarming of inserts and bacteria. Uniting these systems are a common set of symmetries and conservation laws, defining dry active fluids as a class of physical system. Many interesting behaviours have been observed at high densities, which remain difficult to simulate due to the computational demand. Here, we show how two-dimensional dry active fluids in a dense regime can be studied using a simple modification of the lattice Boltzmann method. We apply our method on a model that exhibits motility-induced phase separation, and an active model with contact inhibition of locomotion, which has relevance to collective cell migration. For the latter, we uncover multiple novel phase transitions: two first-order and one potentially critical. We further support our simulation results with an analytical treatment of the hydrodynamic equations obtained via a Chapman-Enskog coarse-graining procedure.


title: Diffuse polarized emission in the LOFAR Two-meter Sky Survey

abstract: Faraday tomography allows us to map diffuse polarized synchrotron emission from our Galaxy and use it to interpret the magnetic field in the interstellar medium (ISM). We have applied Faraday tomography to 60 observations from the LOFAR Two-meter Sky Survey (LOTSS) and produced a Faraday depth cube mosaic covering 568 square degrees at high Galactic latitudes, at 4.3' angular resolution and 1 rad m$^{-2}$ Faraday depth resolution, with a typical noise level of 50--100 $\mu$Jy per point spread function (PSF) per rotation measure spread function (RMSF) (40-80 mK RMSF$^{-1}$). While parts of the images are strongly affected by instrumental polarization, we observe diffuse polarized emission throughout most of the field, with typical brightness between 1 and 6 K RMSF$^{-1}$, and Faraday depths between $-7$ and +25 rad m$^{-2}$. We observed many new polarization features, some up to 15 degrees in length. These include two regions with very uniformly structured, linear gradients in the Faraday depth; we measured the steepness of these gradients as 2.6 and 13 rad m$^{-2}$ deg$^{-1}$. We also observed a relationship between one of the gradients and an HI filament in the local ISM. Other ISM tracers were also checked for correlations with our polarization data and none were found, but very little signal was seen in most tracers in this region. We conclude that the LOTSS data are very well suited for Faraday tomography, and that a full-scale survey with all the LOTSS data has the potential to reveal many new Galactic polarization features and map out diffuse Faraday depth structure across the entire northern hemisphere.


title: Hyper-parameter Tuning under a Budget Constraint

abstract: We study a budgeted hyper-parameter tuning problem, where we optimize the tuning result under a hard resource constraint. We propose to solve it as a sequential decision making problem, such that we can use the partial training progress of configurations to dynamically allocate the remaining budget. Our algorithm combines a Bayesian belief model which estimates the future performance of configurations, with an action-value function which balances exploration-exploitation tradeoff, to optimize the final output. It automatically adapts the tuning behaviors to different constraints, which is useful in practice. Experiment results demonstrate superior performance over existing algorithms, including the-state-of-the-art one, on real-world tuning tasks across a range of different budgets.


title: A model for meme popularity growth in social networking systems based on biological principle and human interest dynamics

abstract: We analyze five big data sets from a variety of online social networking (OSN) systems and find that the growth dynamics of meme popularity exhibit characteristically different behaviors. For example, there is linear growth associated with online recommendation and sharing platforms, a plateaued (or an ``S''-shape) type of growth behavior in a web service devoted to helping users to collect bookmarks, and an exponential increase on the largest and most popular microblogging website in China. Does a universal mechanism with a common set of dynamical rules exist, which can explain these empirically observed, distinct growth behaviors? We provide an affirmative answer in this paper. In particular, inspired by biomimicry to take advantage of cell population growth dynamics in microbial ecology, we construct a base growth model for meme popularity in OSNs. We then take into account human factors by incorporating a general model of human interest dynamics into the base model. The final hybrid model contains a small number of free parameters that can be estimated purely from data. We demonstrate that our model is universal in the sense that, with a few parameters estimated from data, it can successfully predict the distinct meme growth dynamics. Our study represents a successful effort to exploit principles in biology to understand online social behaviors by incorporating the traditional microbial growth model into meme popularity. Our model can be used to gain insights into critical issues such as classification, robustness, optimization, and control of OSN systems.


title: The Neutrino Puzzle: Anomalies, Interactions, and Cosmological Tensions

abstract: New physics in the neutrino sector might be necessary to address anomalies between different neutrino oscillation experiments. Intriguingly, it also offers a possible solution to the discrepant cosmological measurements of $H_0$ and $\sigma_8$. We show here that delaying the onset of neutrino free-streaming until close to the epoch of matter-radiation equality can naturally accommodate a larger value for the Hubble constant $H_0=72.3 \pm 1.4$ km/s/Mpc and a lower value of the matter fluctuations $\sigma_8=0.786\pm 0.020$, while not degrading the fit to the cosmic microwave background (CMB) damping tail. We achieve this by introducing neutrino self-interactions in the presence of a non-vanishing sum of neutrino masses. This strongly interacting neutrino cosmology prefers $N_{\rm eff} = 4.02 \pm 0.29$, which has interesting implications for particle model-building and neutrino oscillation anomalies. We show that the absence of the neutrino free-streaming phase shift on the CMB can be compensated by shifting the value of other cosmological parameters, hence providing an important caveat to the detections made in the literature. Due to their impact on the evolution of the gravitational potential at early times, self-interacting neutrinos and their subsequent decoupling leave a rich structure on the matter power spectrum. In particular, we point out the existence of a novel localized feature appearing on scales entering the horizon at the onset of neutrino free-streaming. While the interacting neutrino cosmology provides a better global fit to current cosmological data, we find that traditional Bayesian analyses penalize the model as compared to the standard cosmological. Our analysis shows that it is possible to find radically different cosmological models that nonetheless provide excellent fits to the data, hence providing an impetus to thoroughly explore alternate cosmological scenarios.


title: Honest confidence sets for high-dimensional regression by projection and shrinkage

abstract: The issue of honesty in constructing confidence sets arises in nonparametric regression. While optimal rate in nonparametric estimation can be achieved and utilized to construct sharp confidence sets, severe degradation of confidence level often happens after estimating the degree of smoothness. Similarly, for high-dimensional regression, oracle inequalities for sparse estimators could be utilized to construct sharp confidence sets. Yet the degree of sparsity itself is unknown and needs to be estimated, causing the honesty problem. To resolve this issue, we develop a novel method to construct honest confidence sets for sparse high-dimensional linear regression. The key idea in our construction is to separate signals into a strong and a weak group, and then construct confidence sets for each group separately. This is achieved by a projection and shrinkage approach, the latter implemented via Stein estimation and the associated Stein unbiased risk estimate. Our confidence set is honest over the full parameter space without any sparsity constraints, while its diameter adapts to the optimal rate of $n^{-1/4}$ when the true parameter is indeed sparse. Through extensive numerical comparisons, we demonstrate that our method outperforms other competitors with big margins for finite samples, including oracle methods built upon the true sparsity of the underlying model.


title: Comparison of Patch-Based Conditional Generative Adversarial Neural Net Models with Emphasis on Model Robustness for Use in Head and Neck Cases for MR-Only planning

abstract: A total of twenty paired CT and MR images were used in this study to investigate two conditional generative adversarial networks, Pix2Pix, and Cycle GAN, for generating synthetic CT images for Headand Neck cancer cases. Ten of the patient cases were used for training and included such common artifacts as dental implants; the remaining ten testing cases were used for testing and included a larger range of image features commonly found in clinical head and neck cases. These features included strong metal artifacts from dental implants, one case with a metal implant, and one case with abnormal anatomy. The original CT images were deformably registered to the mDixon FFE MR images to minimize the effects of processing the MR images. The sCT generation accuracy and robustness were evaluated using Mean Absolute Error (MAE) based on the Hounsfield Units (HU) for three regions (whole body, bone, and air within the body), Mean Error (ME) to observe systematic average offset errors in the sCT generation, and dosimetric evaluation of all clinically relevant structures. For the test set the MAE for the Pix2Pix and Cycle GAN models were 92.4 $\pm$ 13.5 HU, and 100.7 $\pm$ 14.6 HU, respectively, for the body region, 166.3 $\pm$ 31.8 HU, and 184 $\pm$ 31.9 HU, respectively, for the bone region, and 183.7 $\pm$ 41.3 HU and 185.4 $\pm$ 37.9 HU for the air regions. The ME for Pix2Pix and Cycle GAN were 21.0 $\pm$ 11.8 HU and 37.5 $\pm$ 14.9 HU, respectively. Absolute Percent Mean/Max Dose Errors were less than 2% for the PTV and all critical structures for both models, and DRRs generated from these models looked qualitatively similar to CT generated DRRs showing these methods are promising for MR-only planning.


title: Can a photonic thermalization gap arise in disordered non-Hermitian Hamiltonian systems?

abstract: The phenomenon of chiral-symmetry protected thermalization gap in Hermitian photonic systems is counterintuitive as it implies that the photon coherence can be continuously improved by disorders towards an asymptotic limit. We show that the phenomenon disappears in time-independent, non-Hermitian photonic systems even when the chiral symmetry is well preserved. In fact, the degree of thermalization generally increases with the disorder strength, in agreement with intuition. As non-Hermitian characteristics (e.g., weak gain and loss) can be expected in realistic physical situations, the phenomenon of thermalization gap may be observed but only in well controlled experiments with high quality materials.


title: Klein four-group and Darboux duality in conformal mechanics

abstract: We study the Klein four-group $(K_4)$ symmetry of the time-dependent Schr\"odinger equation for the conformal mechanics model of de Alfaro-Fubini-Furlan (AFF) with confining harmonic potential and coupling constant $g=\nu(\nu+1)\geq -1/4$. We show that it undergoes a complete or partial (at half-integer $\nu$) breaking on eigenstates of the system, and is the automorphism of the $\mathfrak{osp}(2,2)$ superconformal symmetry in super-extensions of the model by inducing a transformation between the exact and spontaneously broken phases of $\mathcal{N}=2$ Poincar\'e supersymmetry. We exploit the $K_4$ symmetry and its relation with the conformal symmetry to construct the dual Darboux transformations which generate spectrally shifted pairs of the rationally deformed AFF models. Two distinct pairs of intertwining operators originated from Darboux duality allow us to construct complete sets of the spectrum generating ladder operators that identify specific finite-gap structure of a deformed system and generate three distinct related versions of nonlinearly deformed $\mathfrak{sl}(2,{\mathbb R})$ algebra as its symmetry. We show that at half-integer $\nu$, the Jordan states associated with confluent Darboux transformations enter the construction, and the spectrum of rationally deformed AFF systems undergoes structural changes.


title: Multi-layered Cepstrum for Instantaneous Frequency Estimation

abstract: We propose the multi-layered cepstrum (MLC) method to estimate multiple fundamental frequencies (MF0) of a signal under challenging contamination such as high-pass filter noise. Taking the operation of cepstrum (i.e., Fourier transform, filtering, and nonlinear activation) recursively, MLC is shown as an efficient method to enhance MF0 saliency in a step-by-step manner. Evaluation on a real-world polyphonic music dataset under both normal and low-fidelity conditions demonstrates the potential of MLC.


title: New insight into EM radiation from spinning dust and its influence on the Cosmic Microwave Background

abstract: Dust is ubiquitous in the Universe and its influence on the observed Electromagnetic (EM) radiation needs to be correctly addressed. In recent years it became clear that scattering of EM radiation from interstellar dust grains could change the local properties of the observed Cosmic Microwave Background (CMB) radiation. Here we consider the relevant processes of emission and scattering of EM radiation from spinning dust particles, and discuss their possible influence on the CMB. In particular, we show that scattered radiation can establish a correlation between different spectral components of galactic dipolar emission. This could explain the observed correlation between the CMB and the 100-micron thermal emission form interstellar dust. Another important property of CMB is related with its polarisation anisotropies, and the observation of a cosmological B-mode. We show that scattering of CMB radiation from dust grains in the presence of a static magnetic field could indeed create a B-mode spectral component, which is very similar to that due to primordial gravitational waves. This can be described by a kind of Cotton-Mutton effect on the CMB radiation.


title: The Efficacy of SHIELD under Different Threat Models

abstract: In this appraisal paper, we evaluate the efficacy of SHIELD, a compression-based defense framework for countering adversarial attacks on image classification models, which was published at KDD 2018. Here, we consider alternative threat models not studied in the original work, where we assume that an adaptive adversary is aware of the ensemble defense approach, the defensive pre-processing, and the architecture and weights of the models used in the ensemble. We define scenarios with varying levels of threat and empirically analyze the proposed defense by varying the degree of information available to the attacker, spanning from a full white-box attack to the gray-box threat model described in the original work. To evaluate the robustness of the defense against an adaptive attacker, we consider the targeted-attack success rate of the Projected Gradient Descent (PGD) attack, which is a strong gradient-based adversarial attack proposed in adversarial machine learning research. We also experiment with training the SHIELD ensemble from scratch, which is different from re-training using a pre-trained model as done in the original work. We find that the targeted PGD attack has a success rate of 64.3% against the original SHIELD ensemble in the full white box scenario, but this drops to 48.9% if the models used in the ensemble are trained from scratch instead of being retrained. Our experiments further reveal that an ensemble whose models are re-trained indeed have higher correlation in the cosine similarity space, and models that are trained from scratch are less vulnerable to targeted attacks in the white-box and gray-box scenarios.


title: A New Framework of Authentication Over Cloud Computing

abstract: The growth of local data annually implies extra charges for the customers, which makes their business slowing down. Cloud computing paradigm comes with new technologies that offer a very economic and cost-effective solution, but the organizations are slow in accepting it due to security issues and challenges associated with it. Security is one of the major issues which hamper the growth of cloud and it is highly crucial to protect the sensitive data and systems in thecloud setting inorder toensure theprivacy ofits users. This work explores the new directions in cloud computing security, while highlighting the correct selection of these fundamental technologies from cryptographic point of view.


title: Concrete Syntax with Black Box Parsers

abstract: Context: Meta programming consists for a large part of matching, analyzing, and transforming syntax trees. Many meta programming systems process abstract syntax trees, but this requires intimate knowledge of the structure of the data type describing the abstract syntax. As a result, meta programming is error-prone, and meta programs are not resilient to evolution of the structure of such ASTs, requiring invasive, fault-prone change to these programs. Inquiry: Concrete syntax patterns alleviate this problem by allowing the meta programmer to match and create syntax trees using the actual syntax of the object language. Systems supporting concrete syntax patterns, however, require a concrete grammar of the object language in their own formalism. Creating such grammars is a costly and error-prone process, especially for realistic languages such as Java and C++. Approach: In this paper we present Concretely, a technique to extend meta programming systems with pluggable concrete syntax patterns, based on external, black box parsers. We illustrate Concretely in the context of Rascal, an open-source meta programming system and language workbench, and show how to reuse existing parsers for Java, JavaScript, and C++. Furthermore, we propose Tympanic, a DSL to declaratively map external AST structures to Rascal's internal data structures. Tympanic allows implementors of Concretely to solve the impedance mismatch between object-oriented class hierarchies in Java and Rascal's algebraic data types. Both the algebraic data type and AST marshalling code is automatically generated. Knowledge: The conceptual architecture of Concretely and Tympanic supports the reuse of pre-existing, external parsers, and their AST representation in meta programming systems that feature concrete syntax patterns for matching and constructing syntax trees. As such this opens up concrete syntax pattern matching for a host of realistic languages for which writing a grammar from scratch is time consuming and error-prone, but for which industry-strength parsers exist in the wild. Grounding: We evaluate Concretely in terms of source lines of code (SLOC), relative to the size of the AST data type and marshalling code. We show that for real programming languages such as C++ and Java, adding support for concrete syntax patterns takes an effort only in the order of dozens of SLOC. Similarly, we evaluate Tympanic in terms of SLOC, showing an order of magnitude of reduction in SLOC compared to manual implementation of the AST data types and marshalling code. Importance: Meta programming has applications in reverse engineering, reengineering, source code analysis, static analysis, software renovation, domain-specific language engineering, and many others. Processing of syntax trees is central to all of these tasks. Concrete syntax patterns improve the practice of constructing meta programs. The combination of Concretely and Tympanic has the potential to make concrete syntax patterns available with very little effort, thereby improving and promoting the application of meta programming in the general software engineering context.


title: Comprehensive Multiparty Session Types

abstract: Multiparty session types (MST) are a well-established type theory that describes the interactive structure of a fixed number of components from a global point of view and type-checks the components through projection of the global type onto the participants of the session. They guarantee communicationsafety for a language of multiparty sessions (LMS), i.e., distributed, parallel components can exchange values without deadlocking and unexpected message types. Several variants of MST and LMS have been proposed to study key features of distributed and parallel programming. We observe that the population of the considered variants follows from only one ancestor, i.e., the original LMS/MST, and there are overlapping traits between features of the considered variants and the original. These hamper evolution of session types and languages and their adoption in practice. This paper addresses the following question: What are the essential features for MST and LMS, and how can these be modelled with simple constructs? To the best of our knowledge, this is the first time this question has been addressed. We performed a systematic analysis of the features and the constructs in MST, LMS, and the considered variants to identify the essential features. The variants are among the most influential (according to Google Scholar) and well-established systems that cover a wide set of areas in distributed, parallel programming. We used classical techniques of formal models such as BNF, structural congruence, small step operational semantics and typing judgments to build our language and type system. Lastly, the coherence of operational semantics and type system is proven by induction. This paper proposes a set of essential features, a language of structured interactions and a type theory of comprehensive multiparty session types, including global types and type system. The analysis removes overlapping features and captures the shared traits, thereby introducing the essential features. The constructs of the language are simple and fundamental, based on the $\lambda$ and $\pi$ calculi. Analogously, our global types reflect what is omitted and introduced in the language. Our system covers all the features of the original and variants, with a better ratio of the number of language and type constructs over the number of covered features. The features of the original, variants, and our system along with the number of constructs in the respective language and global types to model them are presented through a table. The syntax, operational semantics, meta-theory and type system of our system are given. We modelled all the motivating examples of the variants in our model, describing the reduction and typing steps. The work discusses how new features, in particular the non-essential ones (formerly excluded) and advanced ones can be either modelled atop the essential ones or added with minimal efforts, i.e. without modifying the existing ones. The fundamental properties of typed processes such as subject reduction, communication safety, and progress are established.


title: Semantic Query Integration With Reason

abstract: Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific domains. The flexibility of such approaches, however, makes programming with semantic data tedious and error-prone. In particular the logics-based data descriptions employed by OWL are problematic for existing error-detecting techniques, such as type systems. In this paper, we present DOTSpa, an advanced integration of semantic data into programming. We embed description logics, the logical foundations of OWL, into the type checking process of a statically typed programming language and provide typed data access through an embedding of the query language SPARQL. In addition, we demonstrate a concrete implementation of the approach, by extending the Scala programming language. We qualitatively compare programs using our approach to equivalent programs using a state-of-the-art library, in terms of how both frameworks aid users in the handling of typical failure scenarios.


title: Separating Use and Reuse to Improve Both

abstract: Context: Trait composition has inspired new research in the area of code reuse for object oriented (OO) languages. One of the main advantages of this kind of composition is that it makes possible to separate subtyping from subclassing; which is good for code-reuse, design and reasoning. However, handling of state within traits is difficult, verbose or inelegant. Inquiry: We identify the this-leaking problem as the fundamental limitation that prevents the separation of subtyping from subclassing in conventional OO languages. We explain that the concept of trait composition addresses this problem, by distinguishing code designed for use (as a type) from code designed for reuse (i.e. inherited). We are aware of at least 3 concrete independently designed research languages following this methodology: TraitRecordJ, Package Templates and DeepFJig. Approach: In this paper, we design $42_\mu$ a new language, where we improve use and reuse and support the This type and family polymorphism by distinguishing code designed for use from code designed for reuse. In this way $42_\mu$ synthesise the 3 approaches above, and improves them with abstract state operations: a new elegant way to handle state composition in trait based languages. Knowledge and Grounding: Using case studies, we show that $42_\mu$'s model of traits with abstract state operations is more usable and compact than prior work. We formalise our work and prove that type errors cannot arise from composing well typed code. Importance: This work is the logical core of the programming language 42. This shows that the ideas presented in this paper can be applicable to a full general purpose language. This form of composition is very flexible and could be used in many new languages.


title: Three-Dimensional Supernova Explosion Simulations of 9-, 10-, 11-, 12-, and 13-M$_{\odot}$ Stars

abstract: Using the new state-of-the-art core-collapse supernova (CCSN) code F{\sc{ornax}}, we have simulated the three-dimensional dynamical evolution of the cores of 9-, 10-, 11-, 12-, and 13-M$_{\odot}$ stars from the onset of collapse. Stars from 8-M$_{\odot}$ to 13-M$_{\odot}$ constitute roughly 50% of all massive stars, so the explosive potential for this mass range is important to the overall theory of CCSNe. We find that the 9-, 10-, 11-, and 12-M$_{\odot}$ models explode in 3D easily, but that the 13-M$_{\odot}$ model does not. From these findings, and the fact that slightly more massive progenitors seem to explode \citep{vartanyan2019}, we suggest that there is a gap in explodability near 12-M$_{\odot}$ to 14-M$_{\odot}$ for non-rotating progenitor stars. Factors conducive to explosion are turbulence behind the stalled shock, energy transfer due to neutrino-matter absorption and neutrino-matter scattering, many-body corrections to the neutrino-nucleon scattering rate, and the presence of a sharp silicon-oxygen interface in the progenitor. Our 3D exploding models frequently have a dipolar structure, with the two asymmetrical exploding lobes separated by a pinched waist where matter temporarily continues to accrete. This process maintains the driving neutrino luminosty, while partially shunting matter out of the way of the expanding lobes, thereby modestly facilitating explosion. The morphology of all 3D explosions is characterized by multiple bubble structures with a range of low-order harmonic modes. Though much remains to be done in CCSN theory, these and other results in the literature suggest that, at least for these lower-mass progenitors, supernova theory is converging on a credible solution.


title: Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality

abstract: Context: Embedded Domain-Specific Languages (EDSLs) are a common and widely used approach to DSLs in various languages, including Haskell and Scala. There are two main implementation techniques for EDSLs: shallow embeddings and deep embeddings. Inquiry: Shallow embeddings are quite simple, but they have been criticized in the past for being quite limited in terms of modularity and reuse. In particular, it is often argued that supporting multiple DSL interpretations in shallow embeddings is difficult. Approach: This paper argues that shallow EDSLs and Object-Oriented Programming (OOP) are closely related. Gibbons and Wu already discussed the relationship between shallow EDSLs and procedural abstraction, while Cook discussed the connection between procedural abstraction and OOP. We make the transitive step in this paper by connecting shallow EDSLs directly to OOP via procedural abstraction. The knowledge about this relationship enables us to improve on implementation techniques for EDSLs. Knowledge: This paper argues that common OOP mechanisms (including inheritance, subtyping, and type-refinement) increase the modularity and reuse of shallow EDSLs when compared to classical procedural abstraction by enabling a simple way to express multiple, possibly dependent, interpretations. Grounding: We make our arguments by using Gibbons and Wu's examples, where procedural abstraction is used in Haskell to model a simple shallow EDSL. We recode that EDSL in Scala and with an improved OO-inspired Haskell encoding. We further illustrate our approach with a case study on refactoring a deep external SQL query processor to make it more modular, shallow, and embedded. Importance: This work is important for two reasons. Firstly, from an intellectual point of view, this work establishes the connection between shallow embeddings and OOP, which enables a better understanding of both concepts. Secondly, this work illustrates programming techniques that can be used to improve the modularity and reuse of shallow EDSLs.


title: Babylonian-style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code

abstract: When working on a program, developers traditionally have to simulate the behavior of the abstract code in their heads until they can execute the application. Live programming aims to support the development and comprehension of programs by providing more immediate feedback on program behavior, but the divide between code and behavior often remains. The goal of example-based live programming is to remove this gap by allowing programmers to explore the actual behavior of their code during development. This is achieved by defining live examples for parts of the application. The idea of live examples has been already addressed in other tools and environments. However, most of those solutions are limited to specific domains and are suitable only for small programs. Thus, we aim to extend the application of example-based live programming to more complex programs potentially spanning multiple modules. We investigate existing solutions to derive a set of requirements for an integration of live examples into source code. Based on these requirements we propose a new approach to live examples and present a prototype in its support. We reproduce, discuss, and extend scenarios from related work to show the practicality of our approach in the context of larger, more complicated, and with that also more realistic scenarios. Also, we measure and evaluate the system response time of our prototypical implementation. Our first results show that example-based live programming can provide more insights into the run-time behavior of parameterized code for non-trivial programs. They also reveal unsolved and new challenges affecting example-based live programming environments. In presenting this more general approach to example-based live programming, we hope to motivate further research into this area and to make practical solutions available.


title: 2D and 3D Vascular Structures Enhancement via Multiscale Fractional Anisotropy Tensor

abstract: The detection of vascular structures from noisy images is a fundamental process for extracting meaningful information in many applications. Most well-known vascular enhancing techniques often rely on Hessian-based filters. This paper investigates the feasibility and deficiencies of detecting curve-like structures using a Hessian matrix. The main contribution is a novel enhancement function, which overcomes the deficiencies of established methods. Our approach has been evaluated quantitatively and qualitatively using synthetic examples and a wide range of real 2D and 3D biomedical images. Compared with other existing approaches, the experimental results prove that our proposed approach achieves high-quality curvilinear structure enhancement.


title: Deconstructing Word Embeddings

abstract: A review of Word Embedding Models through a deconstructive approach reveals their several shortcomings and inconsistencies. These include instability of the vector representations, a distorted analogical reasoning, geometric incompatibility with linguistic features, and the inconsistencies in the corpus data. A new theoretical embedding model, Derridian Embedding, is proposed in this paper. Contemporary embedding models are evaluated qualitatively in terms of how adequate they are in relation to the capabilities of a Derridian Embedding.


title: Exact Line Packings from Numerical Solutions

abstract: Recent progress in Zauner's conjecture has leveraged deep conjectures in algebraic number theory to promote numerical line packings to exact and verifiable solutions to the line packing problem. We introduce a numerical-to-exact technique in the real setting that does not require such conjectures. Our approach is completely reproducible, matching Sloane's database of putatively optimal numerical line packings with Mathematica's built-in implementation of cylindrical algebraic decomposition. As a proof of concept, we promote a putatively optimal numerical packing of eight points in the real projective plane to an exact packing, whose optimality we establish in a forthcoming paper.


title: Theoretical and experimental studies of photomechanical materials

abstract: After a brief introduction to the field of light-responsive materials, this paper provides a general theory for modeling the photomechanical response of a material, applies it to the two best-known mechanisms of photothermal heating and photo-isomerization, and then describes an experimental apparatus for quantitative measurements of the stress response. Several different materials are characterized to illustrate how the experiments and theory can be used to isolate the contributing mechanisms both through photomechanical measurements and auxiliary measurements of laser heating and thermal expansion. The efficiency and figure of merit of the photomechanical response is defined on several scales form the molecule to the bulk, and the photomorphon -- the basic material element that determines the bulk response -- is introduced. The photomorphon provides a conceptual model that can be expressed in terms of viscoelastic elements such as springs in series and parallel with the photoactive molecule. The photomechanical response, figure of merit, and the deduced microscopic photomechanical properties are tabulated and proposals for new materials classes are made.


title: Calculation of coherences in Foerster and modified Redfield theories of excitation energy transfer

abstract: Foerster and modified Redfield theories play one of the central roles in the description of excitation energy transfer in molecular systems. However, in the present state, these theories describe only the dynamics of populations of local electronic excitations or delocalized exciton eigenstates, respectively, i.e., the diagonal elements of the density matrix in the corresponding representation. They do not give prescription for propagating the off-diagonal elements of the density matrix (coherences). This is commonly accepted as a limitation of these theories. Here we derive formulas for the dynamics of the coherences in the framework of Foerster and modified Redfield theories and, thus, remove this limitation. These formulas provide excellent correspondence with numerically exact calculations according to the hierarchical equations of motion. Also we show that, even within the range of applicability of the standard Redfield theory, the formulas for coherences derived in the framework of the modified Redfield theory provide, in some cases, more precise results.


title: Riconoscimento ortografico per apostrofo ed espressioni polirematiche

abstract: The work presents two algorithms of manipulation and comparison between strings whose purpose is the orthographic recognition of the apostrophe and of the compound expressions. The theory supporting general reasoning refers to the basic concept of EditDistance, the improvements that ensure the achievement of the objective are achieved with the aid of tools borrowed from the use of techniques for processing large amounts of data on distributed platforms.


title: Dynamical Analysis of an $n-H-T$ Cosmological Quintessence Real Gas Model with a General Equation of State

abstract: The cosmological dynamics of a quintessence model based on real gas with general equation of state is presented within the framework of a three-dimensional dynamical system describing the time evolution of the number density, the Hubble parameter, and the temperature. Two global first integrals are found and examples for gas with virial expansion and van der Waals gas are presented. The van der Waals system is completely integrable. In addition to the unbounded trajectories, stemming from the presence of the conserved quantities, stable periodic solutions (closed orbits) also exist under certain conditions and these represent models of a cyclic Universe. The cyclic solutions exhibit regions characterised by inflation and deflation, while the open trajectories are characterised by inflation in a "fly-by" near an unstable critical point.


title: Probing correlation between photon orbits and phase structure of charged AdS black hole in massive gravity background

abstract: The phase structure of charged Anti-de Sitter black hole in massive gravity is investigated using the unstable circular photon orbits formalism, concretely we establish a direct link between the null geodesics and the critical behavior thermodynamic of such black hole solution. Our analysis reveals that the radius and the impact parameter corresponding to the unstable circular orbits can be used to probe the thermodynamic phase structure. We also show that the latter are key quantities to characterize the order of Van der Waals-like phase transition. Namely, we found a critical exponent around $ \delta = 1/2 $. All these results support further that the photon trajectories can be used as a useful and crucial tool to probe the thermodynamic black holes criticality.


title: Measurement of Neutrino-Induced Neutral-Current Coherent $\pi^0$ Production in the NOvA Near Detector

abstract: The cross section of neutrino-induced neutral-current coherent $\pi^0$ production on a carbon-dominated target is measured in the NOvA near detector. This measurement uses a narrow-band neutrino beam with an average neutrino energy of 2.7\,GeV, which is of interest to ongoing and future long-baseline neutrino oscillation experiments. The measured, flux-averaged cross section is $\sigma = 13.8\pm0.9 (\text{stat})\pm2.3 (\text{syst}) \times 10^{-40}\,\text{cm}^2/\text{nucleus}$, consistent with model prediction. This result is the most precise measurement of neutral-current coherent $\pi^0$ production in the few-GeV neutrino energy region.


title: A Conjecture of Trautman

abstract: In 1998 the physicist Andre Trautman conjectured that a three-dimensional CR manifold is locally realizable if and only if its canonical bundle admits a closed nowhere zero section. We review the relevant definitions, give the physical context, and outline an earlier result which established a weak version of the Conjecture.


title: Pressure-Tunable Ambipolar Conduction and Hysteresis in Ultrathin Palladium Diselenide Field Effect Transistors

abstract: A few-layer palladium diselenide (PdSe2) field effect transistor is studied under external stimuli such as electrical and optical fields, electron irradiation and gas pressure. We observe ambipolar conduction and hysteresis in the transfer curves of the PdSe2 material unprotected and as-exfoliated. We tune the ambipolar conduction and its hysteretic behavior in the air and pure nitrogen environments. The prevailing p-type transport observed at room pressure is reversibly turned into dominant n-type conduction by reducing the pressure, which can simultaneously suppress the hysteresis. The pressure control can be exploited to symmetrize and stabilize the transfer characteristic of the device as required in high-performance logic circuits. The transistor is immune from short channel effects but is affected by trap states with characteristic times in the order of minutes. The channel conductance, dramatically reduced by the electron irradiation during scanning electron microscope imaging, is restored after several minutes anneal at room temperature. The work paves the way toward the exploitation of PdSe2 in electronic devices by providing an experiment-based and deeper understanding of charge transport in PdSe2 transistors subjected to electrical stress and other external agents.


title: A simple approach to the quantum theory of nonlinear fiber optics

abstract: We put forth an approach to obtain a quantum master equation for the propagation of light in nonlinear fiber optics by relying on simple quantum pictures of the processes (linear and nonlinear) occurring along propagation in an optical fiber. This equation is shown to be in excellent agreement with the classical Generalized Nonlinear Schrodinger Equation and predicts the effects of self-steepening and spontaneous Raman scattering. Last, we apply these results to the analysis of two cases of relevance in quantum technologies: single-photon frequency translation and spontaneous four-wave mixing.


title: The Spatially-Conscious Machine Learning Model

abstract: Successfully predicting gentrification could have many social and commercial applications; however, real estate sales are difficult to predict because they belong to a chaotic system comprised of intrinsic and extrinsic characteristics, perceived value, and market speculation. Using New York City real estate as our subject, we combine modern techniques of data science and machine learning with traditional spatial analysis to create robust real estate prediction models for both classification and regression tasks. We compare several cutting edge machine learning algorithms across spatial, semi-spatial and non-spatial feature engineering techniques, and we empirically show that spatially-conscious machine learning models outperform non-spatial models when married with advanced prediction techniques such as feed-forward artificial neural networks and gradient boosting machine models.


title: Forecasting Intra-Hour Imbalances in Electric Power Systems

abstract: Keeping the electricity production in balance with the actual demand is becoming a difficult and expensive task in spite of an involvement of experienced human operators. This is due to the increasing complexity of the electric power grid system with the intermittent renewable production as one of the contributors. A beforehand information about an occurring imbalance can help the transmission system operator to adjust the production plans, and thus ensure a high security of supply by reducing the use of costly balancing reserves, and consequently reduce undesirable fluctuations of the 50 Hz power system frequency. In this paper, we introduce the relatively new problem of an intra-hour imbalance forecasting for the transmission system operator (TSO). We focus on the use case of the Norwegian TSO, Statnett. We present a complementary imbalance forecasting tool that is able to support the TSO in determining the trend of future imbalances, and show the potential to proactively alleviate imbalances with a higher accuracy compared to the contemporary solution.


title: Evaporation Screening, Scattering, and Quantum Tunneling Near the Horizons of Schwarzschild and Reissner--Nordstr\"om Black Holes

abstract: For the radial motion of massive particles with large angular momenta in Schwarzschild geometry and that of massive charged particles with large angular momenta or energy in a particular range in Reissner--Nordstr\"om geometry, there exist classically forbidden regions on the outside of the respective event horizons which scatter certain infalling geodesics or screen some of the black holes' evaporation by reflecting the emitted particles back into the black holes. Quantum tunneling across this forbidden regions is studied.


title: Random packing of rods in small containers

abstract: We conduct experiments and simulations to study the disordered packing of rods in small containers. Experiments study cylindrical rods with aspect ratio ranging from 4 to 32; simulations use of spherocylinders with similar aspect ratios. In all cases, rods pack randomly in cylindrical containers whose smallest dimension is larger than the rod length. Packings in smaller containers have lower volume fractions than those in larger containers, demonstrating the influence of the boundaries. The volume fraction extrapolated to infinite container size decreases with increasing aspect ratio, in agreement with previous work. X-ray tomography experiments show that the boundary effects depend on the orientation of the boundary, indicating a strong influence of gravity, whereas the simulation finds boundary effects that are purely geometric. In all cases, the boundary influence extends approximately half a particle length into the interior of the container.


title: Visual Rationalizations in Deep Reinforcement Learning for Atari Games

abstract: Due to the capability of deep learning to perform well in high dimensional problems, deep reinforcement learning agents perform well in challenging tasks such as Atari 2600 games. However, clearly explaining why a certain action is taken by the agent can be as important as the decision itself. Deep reinforcement learning models, as other deep learning models, tend to be opaque in their decision-making process. In this work, we propose to make deep reinforcement learning more transparent by visualizing the evidence on which the agent bases its decision. In this work, we emphasize the importance of producing a justification for an observed action, which could be applied to a black-box decision agent.


title: Automatic Hyperparameter Tuning Method for Local Outlier Factor, with Applications to Anomaly Detection

abstract: In recent years, there have been many practical applications of anomaly detection such as in predictive maintenance, detection of credit fraud, network intrusion, and system failure. The goal of anomaly detection is to identify in the test data anomalous behaviors that are either rare or unseen in the training data. This is a common goal in predictive maintenance, which aims to forecast the imminent faults of an appliance given abundant samples of normal behaviors. Local outlier factor (LOF) is one of the state-of-the-art models used for anomaly detection, but the predictive performance of LOF depends greatly on the selection of hyperparameters. In this paper, we propose a novel, heuristic methodology to tune the hyperparameters in LOF. A tuned LOF model that uses the proposed method shows good predictive performance in both simulations and real data sets.


title: Moments of quadratic twists of elliptic curve L-functions over function fields

abstract: We calculate the first and second moments of L-functions in the family of quadratic twists of a fixed elliptic curve E over F_q[x], asymptotically in the limit as the degree of the twists tends to infinity. We also compute moments involving derivatives of L-functions over quadratic twists, enabling us to deduce lower bounds on the correlations between the analytic ranks of the twists of two distinct curves.


title: Bandpass mismatch error for satellite CMB experiments II: Correcting for the spurious signal

abstract: Future Cosmic Microwave Background (CMB) satellite missions aim at using the B-mode polarisation signal to measure the tensor-to-scalar ratio $r$ with a sensitivity $\sigma(r)$ of the order of $\leq 10^{-3}$. Small uncertainties in the characterisation of instrument properties such as the spectral filters can lead to a leakage of the intensity signal to polarisation and can possibly bias any measurement of a primordial signal. In this paper we discuss methods for avoiding and correcting for the intensity to polarisation leakage due to bandpass mismatch among detector sets. We develop a template fitting map-maker to obtain an unbiased estimate of the leakage signal and subtract it out of the total signal. Using simulations we show how such a method can reduce the bias on the observed B-mode signal by up to $3$ orders of magnitude in power.


title: Exploring attention mechanism for acoustic-based classification of speech utterances into system-directed and non-system-directed

abstract: Voice controlled virtual assistants (VAs) are now available in smartphones, cars, and standalone devices in homes. In most cases, the user needs to first "wake-up" the VA by saying a particular word/phrase every time he or she wants the VA to do something. Eliminating the need for saying the wake-up word for every interaction could improve the user experience. This would require the VA to have the capability to detect the speech that is being directed at it and respond accordingly. In other words, the challenge is to distinguish between system-directed and non-system-directed speech utterances. In this paper, we present a number of neural network architectures for tackling this classification problem based on using only acoustic features. These architectures are based on using convolutional, recurrent and feed-forward layers. In addition, we investigate the use of an attention mechanism applied to the output of the convolutional and the recurrent layers. It is shown that incorporating the proposed attention mechanism into the models always leads to significant improvement in classification accuracy. The best model achieved equal error rates of 16.25 and 15.62 percents on two distinct realistic datasets.


title: Observation of two excited B$^+_\mathrm{c}$ states and measurement of the B$^+_\mathrm{c}$(2S) mass in pp collisions at $\sqrt{s} =$ 13 TeV

abstract: Signals consistent with the B$^+_\mathrm{c}$(2S) and B$^{*+}_\mathrm{c}$(2S) states are observed in proton-proton collisions at $\sqrt{s} =$ 13 TeV, in an event sample corresponding to an integrated luminosity of 143 fb$^{-1}$, collected by the CMS experiment during the 2015-2018 LHC running periods. These excited $\bar{\mathrm{b}}$c states are observed in the B$^+_\mathrm{c}\pi^+\pi^-$ invariant mass spectrum, with the ground state B$^+_\mathrm{c}$ reconstructed through its decay to J/$\psi\,\pi^+$. The two states are reconstructed as two well-resolved peaks, separated in mass by 29.1 $\pm$ 1.5 (stat) $\pm$ 0.7 (syst) MeV. The observation of two peaks, rather than one, is established with a significance exceeding five standard deviations. The mass of the B$^+_\mathrm{c}$(2S) meson is measured to be 6871.0 $\pm$ 1.2 (stat) $\pm$ 0.8 (syst) $\pm$ 0.8 (B$^+_\mathrm{c}$) MeV, where the last term corresponds to the uncertainty in the world-average B$^+_\mathrm{c}$ mass.


title: Cycles of length three and four in tournaments

abstract: Linial and Morgenstern conjectured that, among all $n$-vertex tournaments with $d\binom{n}{3}$ cycles of length three, the number of cycles of length four is asymptotically minimized by a random blow-up of a transitive tournament with all but one part of equal size and one smaller part. We prove the conjecture for $d\ge 1/36$ by analyzing the possible spectrum of adjacency matrices of tournaments. We also demonstrate that the family of extremal examples is broader than expected and give its full description for $d\ge 1/16$.


title: Multiscale Fusion for Seismic Geometric Attribute Enhancement

abstract: In this abstract, we propose a multiscale fusion technique to enhance seismic geometric attributes, such as dip and curvature, which are very sensitive to noise present in seismic data. For a give seismic section, first, we construct a Gaussian pyramid that allows us to generate the seismic attribute at different resolutions (scales). Then, all attributes at the different scales are fused together to form the proposed multiscale enhanced attribute. Applications to the 3D seismic dataset over the Great South Basin in New Zealand demonstrate that the proposed method is capable of improving both the resolution and noise robustness of the first-order dip and the second-order curvature attributes, compared to existing methods and algorithm. Such improvement indicates the great potential of our multiscale fusion technique for enhancing the quality of more multitrace seismic attributes, such as coherence, flexure, and GLCM.


title: 3D Curvature Analysis of Seismic Waveforms and its Interpretational Implications

abstract: The idea of curvature analysis has been widely used in subsurface structure interpretation from three-dimensional (3D) seismic data (e.g., fault/fracture detection and geomorphology delineation) by measuring the lateral changes in the geometry of seismic events. However, such geometric curvature utilizes only the kinematic information (two-way traveltime) of the available seismic signals. While analyzing the dynamic information (waveform), the traditional approaches (e.g., complex trace analysis) are often trace-wise and thereby fail to take into account the seismic reflector continuity and deviate from the true direction of geologic deposition, especially for steeply dipping formations. This study proposes extending the 3D curvature analysis to the waveforms in a seismic profile, here denoted as the waveform curvature, and investigates the associated implications for assisting seismic interpretation. Applications to the F3 seismic dataset over the Netherlands North Sea demonstrate the added values of the proposed waveform curvature analysis in four aspects. First, the capability of the curvature operator in differentiating convex and concave bending allows automatic decomposition of a seismic image by the reflector types (peaks, troughs and zero-crossings), which can greatly facilitate computer-aided horizon interpretation and modelling from 3D seismic data. Second, the signed minimum curvature offers a new analytical approach for estimating the fundamental and important reflector dip attribute by searching the orientation associated with least waveform variation. Third, the signed maximum curvature makes it possible to analyze the seismic signals along the normal direction of the reflection events. Finally, the curvature analysis promotes the frequency bands of the seismic signals and thereby enhances the apparent resolution on identifying and interpreting subtle seismic features.


title: Quantum spiral spin-tensor magnetism

abstract: The characterization of quantum magnetism in a large spin ($\geq 1$) system naturally involves both spin-vectors and -tensors. While certain types of spin-vector (e.g., ferromagnetic, spiral) and spin-tensor (e.g., nematic in frustrated lattices) orders have been investigated separately, the coexistence and correlation between them have not been well explored. Here we propose a novel quantum spiral spin-tensor order on a spin-1 Heisenberg chain subject to a spiral spin-tensor Zeeman field, which can be experimentally realized using a Raman-dressed cold atom optical lattice. We develop a method to fully characterize quantum phases of such spiral tensor magnetism with the coexistence of spin-vector and spin-tensor orders as well as their correlations using eight geometric parameters. Our method provides a powerful tool for characterizing spin-1 quantum magnetism and opens an avenue for exploring novel magnetic orders and spin-tensor electronics/atomtronics in large-spin systems.


title: Fluctuations of extremal Markov chains driven by the Kendall convolution

abstract: The paper deals with fluctuations of Kendall random walks, which are extremal Markov chains and iterated integral transforms with the Williamson kernel $\Psi(t) = \left(1-|t|^{\alpha}\right)_+$, $\alpha>0$. We obtain the joint distribution of the first ascending ladder epoch and height over any level $a \geq 0$ and distribution of maximum and minimum for these extremal Markovian sequences solving recursive integral equations. We show that distribution of the first crossing time of level $a \geq0$ is a mixture of geometric and negative binomial distributions. The Williamson transform is the main tool for considered problems connected with the Kendall convolution. All results are described by the Williamson transform of the unit step distribution of Kendall random walks. Using regular variation, we investigate the asymptotic properties of the maximum distribution.


title: Robustness of Generalized Learning Vector Quantization Models against Adversarial Attacks

abstract: Adversarial attacks and the development of (deep) neural networks robust against them are currently two widely researched topics. The robustness of Learning Vector Quantization (LVQ) models against adversarial attacks has however not yet been studied to the same extent. We therefore present an extensive evaluation of three LVQ models: Generalized LVQ, Generalized Matrix LVQ and Generalized Tangent LVQ. The evaluation suggests that both Generalized LVQ and Generalized Tangent LVQ have a high base robustness, on par with the current state-of-the-art in robust neural network methods. In contrast to this, Generalized Matrix LVQ shows a high susceptibility to adversarial attacks, scoring consistently behind all other models. Additionally, our numerical evaluation indicates that increasing the number of prototypes per class improves the robustness of the models.


title: Two dimensional electron gas in the $\delta$-doped iridates with strong spin-orbit coupling: La$_\delta$Sr$_2$IrO$_4$

abstract: Iridates are of considerable current interest because of the strong spin-orbit coupling that leads to a variety of new phenomena. Using density-functional studies, we predict the formation of a spin-orbital entangled two-dimensional electron gas (2DEG) in the $\delta$-doped iridate La$_\delta$Sr$_2$IrO$_4$, where a single SrO layer is replaced by a LaO layer. The extra La electron resides close to the $\delta$-doped layer, partially occupying the $J_{\rm eff}= 1/2 $ upper Hubbard band and thereby making the interface metallic. The magnetic structure of the bulk is destroyed near the interface, with the Ir$_0$ layer closest to the interface becoming non-magnetic, while the next layer (Ir$_1$) continues to maintain the AFM structure of the bulk, but with a reduced magnetic moment. The Fermi surface consists of a hole pocket and an electron pocket, located in two different Ir layers (Ir$_0$ and Ir$_1$), with both carriers derived from the $J_{\rm eff}= 1/2 $ upper Hubbard band. The presence of both electrons and holes at the $\delta$-doped interface suggests unusual transport properties, leading to possible device applications.


title: Multi-step Reasoning via Recurrent Dual Attention for Visual Dialog

abstract: This paper presents a new model for visual dialog, Recurrent Dual Attention Network (ReDAN), using multi-step reasoning to answer a series of questions about an image. In each question-answering turn of a dialog, ReDAN infers the answer progressively through multiple reasoning steps. In each step of the reasoning process, the semantic representation of the question is updated based on the image and the previous dialog history, and the recurrently-refined representation is used for further reasoning in the subsequent step. On the VisDial v1.0 dataset, the proposed ReDAN model achieves a new state-of-the-art of 64.47% NDCG score. Visualization on the reasoning process further demonstrates that ReDAN can locate context-relevant visual and textual clues via iterative refinement, which can lead to the correct answer step-by-step.


title: On the Bias of Directed Information Estimators

abstract: When estimating the directed information between two jointly stationary Markov processes, it is typically assumed that the recipient of the directed information is itself Markov of the same order as the joint process. While this assumption is often made explicit in the presentation of such estimators, a characterization of when we can expect the assumption to hold is lacking. Using the concept of d-separation from Bayesian networks, we present sufficient conditions for which this assumption holds. We further show that the set of parameters for which the condition is not also necessary has Lebesgue measure zero. Given the strictness of these conditions, we introduce a notion of partial directed information, which can be used to bound the bias of directed information estimates when the directed information recipient is not itself Markov. Lastly we estimate this bound on simulations in a variety of settings to assess the extent to which the bias should be cause for concern.


title: Towards Disaggregating the SDN Control Plane

abstract: Current SDN controllers have been designed based on a monolithic approach that integrates all of services and applications into one single, huge program. The monolithic design of SDN controllers restricts programmers who build management applications to the specific programming interfaces and services that a given SDN controller provides, making application development dependent on the controller, and thereby restricting portability of management applications across controllers. Furthermore, the monolithic approach means an SDN controller must be recompiled whenever a change is made, and does not provide an easy way to add new functionality or scale to handle large networks. To overcome the weaknesses inherent in the monolithic approach, the next generation of SDN controllers must use a distributed, microservice architecture that disaggregates the control plane by dividing the monolithic controller into a set of cooperative microservices. In this paper, we explain the steps that are required to migrate from a monolithic to a microservice architecture and propose two potential architectures to achieve the goal. Finally, the paper reports the results of testbed measurements that we use to evaluate the proposed disaggregated architecture from multiple perspectives, including functionality and performance.


title: Lower Bounds for Locally Private Estimation via Communication Complexity

abstract: We develop lower bounds for estimation under local privacy constraints---including differential privacy and its relaxations to approximate or R\'{e}nyi differential privacy---by showing an equivalence between private estimation and communication-restricted estimation problems. Our results apply to arbitrarily interactive privacy mechanisms, and they also give sharp lower bounds for all levels of differential privacy protections, that is, privacy mechanisms with privacy levels $\varepsilon \in [0, \infty)$. As a particular consequence of our results, we show that the minimax mean-squared error for estimating the mean of a bounded or Gaussian random vector in $d$ dimensions scales as $\frac{d}{n} \cdot \frac{d}{ \min\{\varepsilon, \varepsilon^2\}}$.


title: Critical Opalescence across the Doping Driven Mott Transition in Optical Lattices of Ultracold Atoms

abstract: Phase transitions and their associated crossovers are imprinted in the behavior of fluctuations. Motivated by recent experiments on ultracold atoms in optical lattices, we compute the thermodynamic density fluctuations $\delta N^2$ of the two-dimensional fermionic Hubbard model with plaquette cellular dynamical mean-field theory. To understand the length scale of these fluctuations, we separate the local from the nonlocal contributions to $\delta N^2$. We determine the effects of particle statistics, interaction strength $U$, temperature $T$ and density $n$. At high temperature, our theoretical framework reproduces the experimental observations in the doping-driven crossover regime between metal and Mott insulator. At low temperature, there is an increase of thermodynamic density fluctuations, analog to critical opalescence, accompanied by a surprising reduction of the absolute value of their nonlocal contributions. This is a precursory sign of an underlying phase transition between a pseudogap phase and a metallic phase in doped Mott insulators, which should play an important role in the cuprate high-temperature superconductors. Predictions for ultracold atom experiments are made.


title: Creation of quantum entangled states of Rydberg atoms via chirped adiabatic passage

abstract: Entangled states are crucial for modern quantum enabled technology which makes their creation key for future developments. In this paper, a robust quantum control methodology is presented to create entangled states of two typical classes, the W and the Greenberger-Horne-Zeilinger (GHZ). It was developed from the analysis of a chain of alkali atoms $^{87}Rb $ interaction with laser pulses, which lead to the two-photon transitions from the ground to the Rydberg states with a predetermined magnetic quantum number. The methodology is based on the mechanism of two-photon adiabatic passage using overlapping chirped pulses and interplaying the Rabi frequency, the one-photon detuning, and the strength of the Rydberg-Rydberg interactions.


title: Incremental Techniques for Large-Scale Dynamic Query Processing

abstract: Many applications from various disciplines are now required to analyze fast evolving big data in real time. Various approaches for incremental processing of queries have been proposed over the years. Traditional approaches rely on updating the results of a query when updates are streamed rather than re-computing these queries, and therefore, higher execution performance is expected. However, they do not perform well for large databases that are updated at high frequencies. Therefore, new algorithms and approaches have been proposed in the literature to address these challenges by, for instance, reducing the complexity of processing updates. Moreover, many of these algorithms are now leveraging distributed streaming platforms such as Spark Streaming and Flink. In this tutorial, we briefly discuss legacy approaches for incremental query processing, and then give an overview of the new challenges introduced due to processing big data streams. We then discuss in detail the recently proposed algorithms that address some of these challenges. We emphasize the characteristics and algorithmic analysis of various proposed approaches and conclude by discussing future research directions.


title: Funnel control for a moving water tank

abstract: We study tracking control for a nonlinear moving water tank system modelled by the linearized Saint-Venant equations, where the output is given by the position of the tank and the control input is the force acting on it. For a given reference signal, the objective is that the tracking error evolves within a pre-specified performance funnel. Exploiting recent results in funnel control, this can be achieved by showing that inter alia the system's internal dynamics are bounded-input, bounded-output stable.


title: Systematic uncertainties in parton distribution functions from lattice QCD simulations at the physical point

abstract: We present a detailed study of the helicity-dependent and helicity-independent collinear parton distribution functions (PDFs) of the nucleon, using the quasi-PDF approach. The lattice QCD computation is performed employing twisted mass fermions with a physical value of the light quark mass. We give a systematic and in-depth account of the salient features entering in the evaluation of quasi-PDFs and their relation to the light-cone PDFs. In particular, we give details for the computation of the matrix elements, including the study of the various sources of systematic uncertainties, such as excited states contamination. In addition, we discuss the non-perturbative renormalization scheme used here and its systematics, effects of truncating the Fourier transform and different matching prescriptions.


title: Identifying Variability in Deeply Embedded Protostars with ALMA and CARMA

abstract: Variability of pre-main-sequence stars observed at optical wavelengths has been attributed tofluctuations in the mass accretion rate from the circumstellar disk onto the forming star.Detailed models of accretion disks suggest that young deeply embedded protostars should also exhibit variations in their accretion rates, and that these changes can be tracked indirectly by monitoring the response of the dust envelope at mid-IR to millimeter wavelengths. Interferometers such as ALMA offer the resolution and sensitivity to observe small fluctuations in brightness at the scale of the disk where episodic accretion may be driven. In this work, we present novel methods for comparing interferometric observations and apply them to CARMA and ALMA 1.3mm observations of deeply embedded protostars in Serpens taken 9 years apart. We find no brightness variation above the limits of our analysis of a factor of $\gtrsim 50\%$, due to the limited sensitivity of the CARMA observations and small number of sources common to both epochs. We further show that follow up ALMA observations with a similar sample size and sensitivity may be able to uncover variability at the level of a few percent, and discuss implications for future work.


title: Testing systematics of Gaia DR2 parallaxes with empirical surface brightness -- color relations applied to eclipsing binaries

abstract: Using a sample of 81 galactic, detached eclipsing binary stars we investigated the global zero-point shift of their parallaxes with the Gaia Data Release 2 (DR2) parallaxes. The stars in the sample lay in a distance range of 0.04-2 kpc from the Sun. The photometric parallaxes {\pi}_Phot of the eclipsing binaries were determined by applying a number of empirical surface brightness - color (SBC) relations calibrated on optical-infrared colors. For each SBC relation we calculated the individual differences d{\pi}_i = ({\pi}_Gaia - {\pi}_Phot)_i and then we calculated unweighted and weighted means. As the sample covers the whole sky we interpret the weighted means as the global shifts of the Gaia DR2 parallaxes with respect to our eclipsing binary sample. Depending on the choice of the SBC relation the shifts vary from -0.094 mas to -0.025 mas. The weighted mean of the zero-point shift from all colors and calibrations used is d{\pi} = -0.054 +/- 0.024 mas. However, the SBC relations based on (B-K) and (V-K) colors, which are the least reddening dependent and have the lowest intrinsic dispersions, give a zero-point shift of d{\pi} = -0.031 +/- 0.011 mas in full agreement with results obtained by Lindegren et al. and Arenou et al. Our result confirms the global shift of Gaia DR2 parallaxes of d{\pi} = -0.029 mas reported by the Gaia team, but we do not confirm the larger zero-point shift reported by a number of follow-up papers.


title: Deception in Supervisory Control

abstract: The use of deceptive strategies is important for an agent that attempts not to reveal his intentions in an adversarial environment. We consider a setting in which a supervisor provides a reference policy and expects an agent to follow the reference policy and perform a task. The agent may instead follow a different, deceptive policy to achieve a different task. We model the environment and the behavior of the agent with a Markov decision process, represent the tasks of the agent and the supervisor with reachability specifications, and study the synthesis of optimal deceptive policies for such agents. We also study the synthesis of optimal reference policies that prevent deceptive strategies of the agent and achieve the supervisor's task with high probability. We show that the synthesis of optimal deceptive policies has a convex optimization problem formulation, while the synthesis of optimal reference policies requires solving a nonconvex optimization problem. We also show that the synthesis of optimal reference policies is NP-hard.


title: The distance formula in algebraic spacetime theories

abstract: The Lorentzian distance formula, conjectured several years ago by Parfionov and Zapatrin, has been recently proved by the second author. In this work we focus on the derivation of an equivalent expression in terms of the geometry of 2-spinors by using a partly original approach due to the first author. Our calculations clearly show the independence of the algebraic distance formula of the observer.


title: An end-to-end Generative Retrieval Method for Sponsored Search Engine --Decoding Efficiently into a Closed Target Domain

abstract: In this paper, we present a generative retrieval method for sponsored search engine, which uses neural machine translation (NMT) to generate keywords directly from query. This method is completely end-to-end, which skips query rewriting and relevance judging phases in traditional retrieval systems. Different from standard machine translation, the target space in the retrieval setting is a constrained closed set, where only committed keywords should be generated. We present a Trie-based pruning technique in beam search to address this problem. The biggest challenge in deploying this method into a real industrial environment is the latency impact of running the decoder. Self-normalized training coupled with Trie-based dynamic pruning dramatically reduces the inference time, yielding a speedup of more than 20 times. We also devise an mixed online-offline serving architecture to reduce the latency and CPU consumption. To encourage the NMT to generate new keywords uncovered by the existing system, training data is carefully selected. This model has been successfully applied in Baidu's commercial search engine as a supplementary retrieval branch, which has brought a remarkable revenue improvement of more than 10 percents.


title: Finite-Blocklength Performance of Sequential Transmission over BSC with Noiseless Feedback

abstract: In this paper, we consider the problem of sequential transmission over the binary symmetric channel (BSC) with full, noiseless feedback. Naghshvar et al. proposed a one-phase encoding scheme, for which we refer to as the small-enough difference (SED) encoder, which can achieve capacity and Burnashev's optimal error exponent for symmetric binary-input channels. They also provided a non-asymptotic upper bound on the average blocklength, which implies an achievability bound on rates. However, their achievability bound is loose compared to the simulated performance of SED encoder, and even lies beneath Polyanskiy's achievability bound of a system limited to stop feedback. This paper significantly tightens the achievability bound by using a Markovian analysis that leverages both the submartingale and Markov properties of the transmitted message. Our new non-asymptotic lower bound on achievable rate lies above Polyanskiy's bound and is close to the actual performance of the SED encoder over the BSC.


title: Using a machine learning approach to determine the space group of a structure from the atomic pair distribution function (PDF)

abstract: We present a method for predicting the space group of a structure given a calculated or measured atomic pair distribution function (PDF) from that structure. The method utilizes machine learning models trained on more than 100,000 PDFs calculated from structures in the 45 most heavily represented space groups. In particular, we present a convolutional neural network (CNN) model which yields a promising result that it correctly identifies the space group among the top-6 estimates 91.9~\% of the time. The CNN model also successfully identifies space groups on 12 out of 15 experimental PDFs. We discuss interesting aspects of the failed estimates, which indicate that the CNN is failing in similar ways as conventional indexing algorithms applied to conventional powder diffraction data. This preliminary success of the CNN model shows the possibility of model-independent assessment of PDF data on a wide class of materials.


title: Character-based Surprisal as a Model of Reading Difficulty in the Presence of Error

abstract: Intuitively, human readers cope easily with errors in text; typos, misspelling, word substitutions, etc. do not unduly disrupt natural reading. Previous work indicates that letter transpositions result in increased reading times, but it is unclear if this effect generalizes to more natural errors. In this paper, we report an eye-tracking study that compares two error types (letter transpositions and naturally occurring misspelling) and two error rates (10% or 50% of all words contain errors). We find that human readers show unimpaired comprehension in spite of these errors, but error words cause more reading difficulty than correct words. Also, transpositions are more difficult than misspellings, and a high error rate increases difficulty for all words, including correct ones. We then present a computational model that uses character-based (rather than traditional word-based) surprisal to account for these results. The model explains that transpositions are harder than misspellings because they contain unexpected letter combinations. It also explains the error rate effect: upcoming words are more difficultto predict when the context is degraded, leading to increased surprisal.


title: Measurement of the neutron capture cross-section on argon

abstract: The use of argon as a detection and shielding medium for neutrino and dark matter experiments has made the precise knowledge of the cross section for neutron capture on argon an important design and operational parameter. Since previous measurements were averaged over thermal spectra and have significant disagreements, a differential measurement has been performed using a Time-Of-Flight neutron beam and a $\sim$4$\pi$ gamma spectrometer. A fit to the differential cross section from $0.015-0.15$\,eV, assuming a $1/v$ energy dependence, yields $\sigma^{2200} = 673 \pm 26 \text{ (stat.)} \pm 59 \text{ (sys.)}$\,mb.


title: A Hybrid Control Design for Autonomous Vehicles at Uncontrolled Intersections

abstract: As autonomous vehicles (AVs) inch closer to reality, a central requirement for acceptance will be earning the trust of humans in everyday driving situations. In particular, the interaction between AVs and pedestrians is of high importance, as every human is a pedestrian at some point of the day. This paper considers the interaction of a pedestrian and an autonomous vehicle at a mid-block, unsignalized intersection where there is ambiguity over when the pedestrian should cross and when and how the vehicle should yield. By modeling pedestrian behavior through the concept of gap acceptance, the authors show that a hybrid controller with just four distinct modes allows an autonomous vehicle to successfully interact with a pedestrian across a continuous spectrum of possible crosswalk entry behaviors. The controller is validated through extensive simulation and compared to an alternate POMDP solution and experimental results are provided on a research vehicle for a virtual pedestrian.


title: Dynamic Equivalence of Control Systems and Infinite Permutation Matrices

abstract: To each dynamic equivalence of two control systems is associated an infinite permutation matrix. We investigate how such matrices are related to the existence of dynamic equivalences.


title: Hypersurface arrangements of aCM type

abstract: We investigate the arrangement of hypersurfaces on a nonsingular varieties whose associated logarithmic vector bundle is arithmetically Cohen-Macaulay (for short, aCM), and prove that the projective space is the only smooth complete intersection with Picard rank one that admits an aCM logarithmic vector bundle. We also obtain a number of results on aCM logarithmic vector bundles over several specific varieties. As an opposite situation we investigate the Torelli-type problem that the logarithmic cohomology determines the arrangement.


title: Efficient Learning of Discrete Graphical Models

abstract: Graphical models are useful tools for describing structured high-dimensional probability distributions. Development of efficient algorithms for learning graphical models with least amount of data remains an active research topic. Reconstruction of graphical models that describe the statistics of discrete variables is a particularly challenging problem, for which the maximum likelihood approach is intractable. In this work, we provide the first sample-efficient method based on the Interaction Screening framework that allows one to provably learn fully general discrete factor models with node-specific discrete alphabets and multi-body interactions, specified in an arbitrary basis. We identify a single condition related to model parametrization that leads to rigorous guarantees on the recovery of model structure and parameters in any error norm, and is readily verifiable for a large class of models. Importantly, our bounds make explicit distinction between parameters that are proper to the model and priors used as an input to the algorithm. Finally, we show that the Interaction Screening framework includes all models previously considered in the literature as special cases, and for which our analysis shows a systematic improvement in sample complexity.

categories: cs.LG cs.IT math.IT math.ST stat.ML stat.TH


title: Well-posedness, travelling waves and geometrical aspects of generalizations of the Camassa-Holm equation

abstract: In this paper we consider a four-parameter equation including the Camassa-Holm and the Dulling-Gottwald-Holm equations, among others. We prove the existence and uniqueness of solutions to a Cauchy problem involving the equation using Kato's approach. Conservation laws of the equation up to second order are also investigated. From these conservation laws we establish some properties of the solutions of the equation under consideration and we also find a quadrature for it. The quadrature obtained is of capital importance in a classification of bounded travelling wave solutions of the equation studied. We also find some explicit solutions, given in terms of elliptic integrals. Finally, we classify the members of the equation describing pseudo-spherical surfaces.


title: Geometric ergodicity of Langevin dynamics with Coulomb interactions

abstract: This paper is concerned with the long time behavior of Langevin dynamics of {\em Coulomb gases} in $\mathbf{R}^d$ with $d\geq 2$, that is a second order system of Brownian particles driven by an external force and a pairwise repulsive Coulomb force. We prove that the system converges exponentially to the unique Boltzmann-Gibbs invariant measure under a weighted total variation distance. The proof relies on a novel construction of Lyapunov function for the Coulomb system.


title: Towards an Achievable Performance for the Loop Nests

abstract: Numerous code optimization techniques, including loop nest optimizations, have been developed over the last four decades. Loop optimization techniques transform loop nests to improve the performance of the code on a target architecture, including exposing parallelism. Finding and evaluating an optimal, semantic-preserving sequence of transformations is a complex problem. The sequence is guided using heuristics and/or analytical models and there is no way of knowing how close it gets to optimal performance or if there is any headroom for improvement. This paper makes two contributions. First, it uses a comparative analysis of loop optimizations/transformations across multiple compilers to determine how much headroom may exist for each compiler. And second, it presents an approach to characterize the loop nests based on their hardware performance counter values and a Machine Learning approach that predicts which compiler will generate the fastest code for a loop nest. The prediction is made for both auto-vectorized, serial compilation and for auto-parallelization. The results show that the headroom for state-of-the-art compilers ranges from 1.10x to 1.42x for the serial code and from 1.30x to 1.71x for the auto-parallelized code. These results are based on the Machine Learning predictions.


title: Progressive Explanation Generation for Human-robot Teaming

abstract: Generating explanation to explain its behavior is an essential capability for a robotic teammate. Explanations help human partners better understand the situation and maintain trust of their teammates. Prior work on robot generating explanations focuses on providing the reasoning behind its decision making. These approaches, however, fail to heed the cognitive requirement of understanding an explanation. In other words, while they provide the right explanations from the explainer's perspective, the explainee part of the equation is ignored. In this work, we address an important aspect along this direction that contributes to a better understanding of a given explanation, which we refer to as the progressiveness of explanations. A progressive explanation improves understanding by limiting the cognitive effort required at each step of making the explanation. As a result, such explanations are expected to be smoother and hence easier to understand. A general formulation of progressive explanation is presented. Algorithms are provided based on several alternative quantifications of cognitive effort as an explanation is being made, which are evaluated in a standard planning competition domain.


title: Zero-temperature equation of state of a two-dimensional bosonic quantum fluid with finite-range interaction

abstract: We derive the two-dimensional equation of state for a bosonic system of ultracold atoms interacting with a finite-range effective interaction. Within a functional integration approach, we employ an hydrodynamic parametrization of the bosonic field to calculate the superfluid equations of motion and the zero-temperature pressure. The ultraviolet divergences, naturally arising from the finite-range interaction, are regularized with an improved dimensional regularization technique.


title: A Sequential Two-Step Algorithm for Fast Generation of Vehicle Racing Trajectories

abstract: The problem of maneuvering a vehicle through a race course in minimum time requires computation of both longitudinal (brake and throttle) and lateral (steering wheel) control inputs. Unfortunately, solving the resulting nonlinear optimal control problem is typically computationally expensive and infeasible for real-time trajectory planning. This paper presents an iterative algorithm that divides the path generation task into two sequential subproblems that are significantly easier to solve. Given an initial path through the race track, the algorithm runs a forward-backward integration scheme to determine the minimum-time longitudinal speed profile, subject to tire friction constraints. With this fixed speed profile, the algorithm updates the vehicle's path by solving a convex optimization problem that minimizes the resulting path curvature while staying within track boundaries and obeying affine, time-varying vehicle dynamics constraints. This two-step process is repeated iteratively until the predicted lap time no longer improves. While providing no guarantees of convergence or a globally optimal solution, the approach performs very well when validated on the Thunderhill Raceway course in Willows, CA. The predicted lap time converges after four to five iterations, with each iteration over the full 4.5 km race course requiring only thirty seconds of computation time on a laptop computer. The resulting trajectory is experimentally driven at the race circuit with an autonomous Audi TTS test vehicle, and the resulting lap time and racing line is comparable to both a nonlinear gradient descent solution and a trajectory recorded from a professional racecar driver. The experimental results indicate that the proposed method is a viable option for online trajectory planning in the near future.


title: Detecting Gaze Towards Eyes in Natural Social Interactions and its Use in Child Assessment

abstract: Eye contact is a crucial element of non-verbal communication that signifies interest, attention, and participation in social interactions. As a result, measures of eye contact arise in a variety of applications such as the assessment of the social communication skills of children at risk for developmental disorders such as autism, or the analysis of turn-taking and social roles during group meetings. However, the automated measurement of visual attention during naturalistic social interactions is challenging due to the difficulty of estimating a subject's looking direction from video. This paper proposes a novel approach to eye contact detection during adult-child social interactions in which the adult wears a point-of-view camera which captures an egocentric view of the child's behavior. By analyzing the child's face regions and inferring their head pose we can accurately identify the onset and duration of the child's looks to their social partner's eyes. We introduce the Pose-Implicit CNN, a novel deep learning architecture that predicts eye contact while implicitly estimating the head pose. We present a fully automated system for eye contact detection that solves the sub-problems of end-to-end feature learning and pose estimation using deep neural networks. To train our models, we use a dataset comprising 22 hours of 156 play session videos from over 100 children, half of whom are diagnosed with Autism Spectrum Disorder. We report an overall precision of 0.76, recall of 0.80, and an area under the precision-recall curve of 0.79, all of which are significant improvements over existing methods.


title: Methods of interpreting error estimates for grayscale image reconstructions

abstract: One representation of possible errors in a grayscale image reconstruction is as another grayscale image estimating potentially worrisome differences between the reconstruction and the actual "ground-truth" reality. Visualizations and summary statistics can aid in the interpretation of such a representation of error estimates. Visualizations include suitable colorizations of the reconstruction, as well as the obvious "correction" of the reconstruction by subtracting off the error estimates. The canonical summary statistic would be the root-mean-square of the error estimates. Numerical examples involving cranial magnetic-resonance imaging clarify the relative merits of the various methods in the context of compressed sensing. Unfortunately, the colorizations appear likely to be too distracting for actual clinical practice, and the root-mean-square gets swamped by background noise in the error estimates. Fortunately, straightforward displays of the error estimates and of the "corrected" reconstruction are illuminating, and the root-mean-square improves greatly after mild blurring of the error estimates; the blurring is barely perceptible to the human eye yet smooths away background noise that would otherwise overwhelm the root-mean-square.


title: Transparent Concurrency Control: Decoupling Concurrency Control from DBMS

abstract: For performance reasons, conventional DBMSes adopt monolithic architectures. A monolithic design cripples the adaptability of a DBMS, making it difficult to customize, to meet particular requirements of different applications. In this paper, we propose to completely separate the code of concurrency control (CC) from a monolithic DBMS. This allows us to add / remove functionalities or data structures to / from a DBMS easily, without concerning the issues of data consistency. As the separation deprives the concurrency controller of the knowledge about data organization and processing, it may incur severe performance issues. To minimize the performance loss, we devised a two-level CC mechanism. At the operational level, we propose a robust scheduler that guarantees to complete any data operation at a manageable cost. At the transactional level, the scheduler can utilize data semantics to achieve enhanced performance. Extensive experiments were conducted to demonstrate the feasibility and effectiveness of our approach.


title: On the Optimality of Perturbations in Stochastic and Adversarial Multi-armed Bandit Problems

abstract: We investigate the optimality of perturbation based algorithms in the stochastic and adversarial multi-armed bandit problems. For the stochastic case, we provide a unified regret analysis for both sub-Weibull and bounded perturbations when rewards are sub-Gaussian. Our bounds are instance optimal for sub-Weibull perturbations with parameter 2 that also have a matching lower tail bound, and all bounded support perturbations where there is sufficient probability mass at the extremes of the support. For the adversarial setting, we prove rigorous barriers against two natural solution approaches using tools from discrete choice theory and extreme value theory. Our results suggest that the optimal perturbation, if it exists, will be of Frechet-type.


title: Path Tracking of Highly Dynamic Autonomous Vehicle Trajectories via Iterative Learning Control

abstract: Iterative learning control has been successfully used for several decades to improve the performance of control systems that perform a single repeated task. Using information from prior control executions, learning controllers gradually determine open-loop control inputs whose reference tracking performance can exceed that of traditional feedback-feedforward control algorithms. This paper considers iterative learning control for a previously unexplored field: autonomous racing. Racecars are driven multiple laps around the same sequence of turns while operating near the physical limits of tire-road friction, where steering dynamics become highly nonlinear and transient, making accurate path tracking difficult. However, because the vehicle trajectory is identical for each lap in the case of single-car racing, the nonlinear vehicle dynamics and unmodelled road conditions are repeatable and can be accounted for using iterative learning control, provided the tire force limits have not been exceeded. This paper describes the design and application of proportional-derivative (PD) and quadratically optimal (Q-ILC) learning algorithms for multiple-lap path tracking of an autonomous race vehicle. Simulation results are used to tune controller gains and test convergence, and experimental results are presented on an Audi TTS race vehicle driving several laps around Thunderhill Raceway in Willows, CA at lateral accelerations of up to 8 $\mathrm{m/s^2}$. Both control algorithms are able to correct transient path tracking errors and improve the performance provided by a reference feedforward controller.


title: Gallai-Ramsey numbers for rainbow paths

abstract: Given graphs $G$ and $H$ and a positive integer $k$, the \emph{Gallai-Ramsey number}, denoted by $gr_{k}(G : H)$ is defined to be the minimum integer $n$ such that every coloring of $K_{n}$ using at most $k$ colors will contain either a rainbow copy of $G$ or a monochromatic copy of $H$. We consider this question in the cases where $G \in \{P_{4}, P_{5}\}$. In the case where $G = P_{4}$, we completely solve the Gallai-Ramsey question by reducing to the $2$-color Ramsey numbers. In the case where $G = P_{5}$, we conjecture that the problem reduces to the $3$-color Ramsey numbers and provide several results in support of this conjecture.


title: Understanding Composition of Word Embeddings via Tensor Decomposition

abstract: Word embedding is a powerful tool in natural language processing. In this paper we consider the problem of word embedding composition \--- given vector representations of two words, compute a vector for the entire phrase. We give a generative model that can capture specific syntactic relations between words. Under our model, we prove that the correlations between three words (measured by their PMI) form a tensor that has an approximate low rank Tucker decomposition. The result of the Tucker decomposition gives the word embeddings as well as a core tensor, which can be used to produce better compositions of the word embeddings. We also complement our theoretical results with experiments that verify our assumptions, and demonstrate the effectiveness of the new composition method.