title: Improved Methods for Moment Restriction Models with Marginally Incompatible Data Combination and an Application to Two-sample Instrumental Variable Estimation

abstract: Combining information from multiple samples is often needed in biomedical and economic studies, but the differences between these samples must be appropriately taken into account in the analysis of the combined data. We study estimation for moment restriction models with data combination from two samples under an ignorablility-type assumption but allowing for different marginal distributions of common variables between the two samples. Suppose that an outcome regression model and a propensity score model are specified. By leveraging the semiparametric efficiency theory, we derive an augmented inverse probability weighted (AIPW) estimator that is locally efficient and doubly robust with respect to the outcome regression and propensity score models. Furthermore, we develop calibrated regression and likelihood estimators that are not only locally efficient and doubly robust, but also intrinsically efficient in achieving smaller variances than the AIPW estimator when the propensity score model is correctly specified but the outcome regression model may be misspecified. As an important application, we study the two-sample instrumental variable problem and derive the corresponding estimators while allowing for incompatible distributions of common variables between the two samples. Finally, we provide a simulation study and an econometric application on public housing projects to demonstrate the superior performance of our improved estimators.


title: Two-weighted inequalities for Hausdorff operators in Herz-type Hardy spaces

abstract: In this paper, we prove the boundedness of matrix Hausdorff operators and rough Hausdorff operators in the two weighted Herz-type Hardy spaces associated with both power weights and Muckenhoupt weights. By applying the fact that the standard infinite atomic decomposition norm on two weighted Herz-type Hardy spaces is equivalent to the finite atomic norm on some dense subspaces of them, we generalize some previous known results due to Chen et al. [7] and Ruan, Fan [34].


title: Efficient implementation of ADER discontinuous Galerkin schemes for a scalable hyperbolic PDE engine

abstract: In this paper we discuss a new and very efficient implementation of high order accurate ADER discontinuous Galerkin (ADER-DG) finite element schemes on modern massively parallel supercomputers. The numerical methods apply to a very broad class of nonlinear systems of hyperbolic partial differential equations. ADER-DG schemes are by construction communication avoiding and cache blocking and are furthermore very well-suited for vectorization, so that they appear to be a good candidate for the future generation of exascale supercomputers. We introduce the numerical algorithm and show some applications to a set of hyperbolic equations with increasing level of complexity, ranging from the compressible Euler equations over the equations of linear elasticity and the unified Godunov-Peshkov-Romenski (GPR) model of continuum mechanics to general relativistic magnetohydrodynamics (GRMHD) and the Einstein field equations of general relativity. We present strong scaling results of the new ADER-DG schemes up to 180,000 CPU cores. To our knowledge, these are the largest runs ever carried out with high order ADER-DG schemes for nonlinear hyperbolic PDE systems. We also provide a detailed performance comparison with traditional Runge-Kutta DG schemes.


title: Evolution of infinite populations of immigrants: micro- and mesoscopic description

abstract: A model is proposed of an infinite population of entities immigrating to a noncompact habitat, in which the newcomers are repelled by the already existing population. The evolution of such a population is described at micro- and mesoscopic levels. The microscopic states are probability measures on the corresponding configuration space. States of populations without interactions are Poisson measures, fully characterized by their densities. The evolution of micro-states is Markovian and obtained from the Kolmogorov equation with the use of correlation functions. The mesoscopic description is made by a kinetic equation for the densities. We show that the micro-states are approximated by the Poissonian states characterized by the densities obtained from the kinetic equation. Both micro- and mesoscopic descriptions are performed and their interrelations are analyzed, that includes also discussing the problem of the appearance of a spatial diversity in such populations.


title: Impact of vector new physics couplings on $B_s \to (K,\,K^{\ast})\tau\nu$ and $B \to \pi\tau\nu$ decays

abstract: Experimental measurements of $R_{D}$, $R_{D^*}$ and $R_{J/\Psi}$ in $B \to (D,\,D^{\ast})l\nu$ and $B_c \to J/\Psi l \nu$ decays mediated via $b \to c\,l\,\nu$ charged current interactions deviate from standard model prediction by $2.3\sigma$, $3.4\sigma$ and $2\sigma$, respectively. In addition, a deviation of $1.5\sigma$ from the standard model prediction has been witnessed in $\mathcal B(B \to \tau \nu)$ mediated via $b \to u\,l\,\nu$ charged current interactions as well. Motivated by the anomalies present in $B$ and $B_c$ meson decays, we analyze the corresponding $B_s \to (K,\,K^{\ast})\,\tau\,\nu$ and $B \to \pi\tau\nu$ semileptonic decays within the standard model and beyond. We use an effective field theory formalism in which $b \to c$ and $b \to u$ semileptonic decays are assumed to exhibit similar new physics patterns. We give the predictions of various observables such as the branching fractions, ratio of branching ratios, lepton side forward backward asymmetry, lepton polarization fraction and convexity parameter for $B_s \to (K,\,K^{\ast})\tau \nu$ and $B \to \pi\tau\nu$ decay channels within the standard model and within various NP scenarios.


title: On the Cauchy problem for a Kadomtsev-Petviashvili hierarchy on non-formal operators and its relation with a group of diffeomorphisms

abstract: We establish a rigorous link between infinite-dimensional regular Fr\"olicher Lie groups built out of non-formal pseudodifferential operators and the Kadomtsev-Petviashvili hierarchy. We introduce a version of the Kadomtsev-Petviashvili hierarchy on a regular Fr\"olicher Lie group of series of non-formal odd-class pseudodifferential operators. We solve its corresponding Cauchy problem, and we establish a link between the dressing operator for our hierarchy and the action of diffeomorphisms and non-formal Sato-like operators on jet spaces. In appendix, we describe the group of Fourier integral operators in which this correspondence seems to take place. Also, motivated by Mulase's work on the KP hierarchy, we prove a group factorization theorem for our group of Fourier integral operators.

categories: math-ph math.AP math.DG math.FA math.MP nlin.SI


title: Gamma-ray emission from high Galactic latitude globular clusters

abstract: We analyse 8 years of PASS 8 Fermi-LAT data, in the 60 MeV - 300 GeV energy range, from 30 high Galactic latitude globular clusters. Six of these globular clusters are detected with a TS > 25, with NGC 6254 being detected as gamma-ray bright for the first time. The most significant detection is of the well-known globular cluster 47 Tuc, and we produce a refined spectral fit for this object with a log parabola model. NGC 6093, NGC 6752 and NGC 6254 are fitted with hard, flat power law models, NGC 7078 is best fitted with a soft power law and NGC 6218 is best fitted with a hard, broken power law. This variety of spectral models suggests that there is a variety of gamma-ray source types within globular clusters, in addition to the traditional millisecond pulsar interpretation. We identify a correspondence between diffuse X-ray emission in globular cluster cores and gamma-ray emission. This connection suggests that gamma-ray emission in globular clusters could also arise from unresolved X-ray sources or a relativistic electron population, perhaps generated by the millisecond pulsars. X-ray observations of further gamma-ray bright globular clusters would allow a functional relationship to be determined between diffuse X-ray and gamma-ray emission.


title: Document Informed Neural Autoregressive Topic Models

abstract: Context information around words helps in determining their actual meaning, for example "networks" used in contexts of artificial neural networks or biological neuron networks. Generative topic models infer topic-word distributions, taking no or only little context into account. Here, we extend a neural autoregressive topic model to exploit the full context information around words in a document in a language modeling fashion. This results in an improved performance in terms of generalization, interpretability and applicability. We apply our modeling approach to seven data sets from various domains and demonstrate that our approach consistently outperforms stateof-the-art generative topic models. With the learned representations, we show on an average a gain of 9.6% (0.57 Vs 0.52) in precision at retrieval fraction 0.02 and 7.2% (0.582 Vs 0.543) in F1 for text categorization.


title: Magnetic microstructure machine learning analysis

abstract: We use a machine learning approach to identify the importance of microstructure characteristics in causing magnetization reversal in ideally structured large-grained Nd$_2$Fe$_{14}$B permanent magnets. The embedded Stoner-Wohlfarth method is used as a reduced order model for determining local switching field maps which guide the data-driven learning procedure. The predictor model is a random forest classifier which we validate by comparing with full micromagnetic simulations in the case of small granular test structures. In the course of the machine learning microstructure analysis the most important features explaining magnetization reversal were found to be the misorientation and the position of the grain within the magnet. The lowest switching fields occur near the top and bottom edges of the magnet. While the dependence of the local switching field on the grain orientation is known from theory, the influence of the position of the grain on the local coercive field strength is less obvious. As a direct result of our findings of the machine learning analysis we show that edge hardening via Dy-diffusion leads to higher coercive fields.


title: Potential of octant degeneracy resolution in JUNO

abstract: This research continues to focus on the idea using cyclotronic antineutrino source for purposes of neutrino physics. Long baseline experiments suffer from degeneracies and correlations between $\Theta_{23}$, $\delta_{\rm CP}$ and the mass hierarchy (MH). However the combination of a superconductive cyclotron and a big liquid scintillator detector like JUNO in a medium baseline experiment, which does not depend on the MH, may allow us to determine whether the position of the mixing angle $\Theta_{23}$ is in the lower octant (LO) or upper octant (UO). Such an experiment would improve the precision of the $\Theta_{23}$ measurement to a degree which depends on the CP-phase.


title: ESSMArT Way to Manage User Requests

abstract: Quality and market acceptance of software products is strongly influenced by responsiveness to user requests. Once a request is received from a customer, decisions need to be made if the request should be escalated to the development team. Once escalated, the ticket must be formulated as a development task and be assigned to a developer. To make the process more efficient and reduce the time between receiving and escalating the user request, we aim to automate of the complete user request management process. We propose a holistic method called ESSMArT. The methods performs text summarization, predicts ticket escalation, creates the title and content of the ticket used by developers, and assigns the ticket to an available developer. We internally evaluated the method by 4,114 user tickets from Brightsquid and their secure health care communication plat- form Secure-Mail. We also perform an external evaluation on the usefulness of the approach. We found that supervised learning based on context specific data performs best for extractive summarization. For predicting escalation of tickets, Random Forest trained on a combination of conversation and extractive summarization is best with highest precision (of 0.9) and recall (of 0.55). From external evaluation we found that ESSMArT provides suggestions that are 71% aligned with human ones. Applying the prototype implementation to 315 user requests resulted in an average time reduction of 9.2 minutes per request. ESSMArT helps to make ticket management faster and with reduced effort for human experts. ESSMArT can help Brightsquid to (i) minimize the impact of staff turnover and (ii) shorten the cycle from an issue being reported to an assignment to a developer to fix it.


title: Possible Flexoelectric Origin of the Lifshitz Transition in LaAlO$_3$/SrTiO$_3$ Interfaces

abstract: Multiple experiments have observed a sharp transition in the band structure of LaAlO$_3$/SrTiO$_3$ (001) interfaces as a function of applied gate voltage. This Lifshitz transition, between a single occupied band at low electron density and multiple occupied bands at high density, is remarkable for its abruptness. In this work, we propose a mechanism by which such a transition might happen. We show via numerical modeling that the simultaneous coupling of the dielectric polarization to the interfacial strain ("electrostrictive coupling") and strain gradient ("flexoelectric coupling") generates a thin polarized layer whose direction reverses at a critical density. The Lifshitz transition occurs concomitantly with the polarization reversal and is first-order at $T=0$. A secondary Lifshitz transition, in which electrons spread out into semiclassical tails, occurs at a higher density.


title: Decays of unstable quantum systems

abstract: This paper is a pedagogical yet critical introduction to the quantum description of unstable systems, mostly at the level of a graduate quantum mechanics course. Quantum decays appear in many different fields of physics, and their description beyond the exponential approximation is the source of technical and conceptual challenges. In this article, we present both general methods that can be adapted to a large class of problems, and specific elementary models to describe phenomena like photo-emission, beta emission and tunneling-induced decays. We pay particular attention to the emergence of exponential decay; we analyze the approximations that justify it, and we present criteria for its breakdown. We also present a detailed model for non-exponential decays due to resonance, and an elementary model describing decays in terms of particle-detection probabilities. We argue that the traditional methods for treating decays face significant problems outside the regime of exponential decay, and that the exploration of novel regimes of current interest requires new tools.


title: On Hopf algebras with triangular decomposition

abstract: In this survey, we first review some known results on the representation theory of algebras with triangular decomposition, including the classification of the simple modules. We then discuss a recipe to construct Hopf algebras with triangular decomposition. Finally, we extend to these Hopf algebras the main results of arXiv:1612.09220 regarding projective modules over Drinfeld doubles of bosonizations of Nichols algebras and groups.


title: Statistics of the Eigenvalues of a Noisy Multi-Soliton Pulse

abstract: For Nonlinear-Frequency Division-Multiplexed (NFDM) systems, the statistics of the received nonlinear spectrum in the presence of additive white Gaussian noise (AWGN) is an open problem. We present a novel method, based on the Fourier collocation algorithm, to compute these statistics.


title: A Unified Stochastic Particle Bhatnagar-Gross-Krook Method for Multiscale Gas Flows

abstract: The stochastic particle method based on Bhatnagar-Gross-Krook (BGK) or ellipsoidal statistical BGK (ESBGK) model approximates the pairwise collisions in the Boltzmann equation using a relaxation process. Therefore, it is more efficient to simulate gas flows at small Knudsen numbers than the counterparts based on the original Boltzmann equation, such as the Direct Simulation Monte Carlo (DSMC) method. However, the traditional stochastic particle BGK method decouples the molecular motions and collisions in analogy to the DSMC method, and hence its transport properties deviate from physical values as the time step increases. This defect significantly affects its computational accuracy and efficiency for the simulation of multiscale flows, especially when the transport processes in the continuum regime is important. In the present paper, we propose a unified stochastic particle ESBGK (USP-ESBGK) method by combining the molecular convection and collision effects. In the continuum regime, the proposed method can be applied using large temporal-spatial discretization and approaches to the Navier-Stokes solutions accurately. Furthermore, it is capable to simulate both the small scale non-equilibrium flows and large scale continuum flows within a unified framework efficiently and accurately. The applications of USP-ESBGK method to a variety of benchmark problems, including Couette flow, thermal Couette flow, Poiseuille flow, Sod tube flow, cavity flow, and flow through a slit, demonstrated that it is a promising tool to simulate multiscale gas flows ranging from rarefied to continuum regime.


title: Criticality of Lagrange Multipliers in Variational Systems

abstract: The paper concerns the study of criticality of Lagrange multipliers in variational systems that has been recognized in both theoretical and numerical aspects of optimization and variational analysis. In contrast to the previous developments dealing with polyhedral KKT systems and the like, we now focus on general nonpolyhedral systems that are associated, in particular, with problems of conic programming. Developing a novel approach, which is mainly based on advanced techniques and tools of second-order variational analysis and generalized differentiation, allows us to overcome principal challenges of nonpolyhedrality and to establish complete characterizations on noncritical multipliers in such settings. The obtained results are illustrated by examples from semidefinite programming.


title: Model-independent study for the tau-neutrino electromagnetic dipole moments in $e^+e^- \to \nu_\tau \bar \nu_\tau \gamma$ at the CLIC

abstract: We conduce a study to probe the sensitivity of the process $e^+e^-\rightarrow (\gamma, Z) \to \nu_\tau \bar \nu_\tau \gamma$ to the total cross section, the magnetic moment and the electric dipole moment of the tau-neutrino in a model-independent way. For this study, the beam polarization facility at the Compact Linear Collider (CLIC) along with the typical center-of-mass energies $\sqrt{s}=380-3000\hspace{0.8mm}GeV$ and integrated luminosities ${\cal L}=10-3000\hspace{0.8mm}fb^{-1}$ is considered. We estimate the sensitivity at the $95\%\hspace{1mm}$ Confidence Level (C.L.) and systematic uncertainties $\delta_{sys}=0, 5, 10\hspace{1mm}\%$ on the dipole moments of the tau-neutrino. It is shown that the process under consideration $e^+e^-\rightarrow (\gamma, Z) \to \nu_\tau \bar \nu_\tau \gamma$ is a good prospect for study the dipole moments of the tau-neutrino at the CLIC. Also, our study illustrates the complementarity between CLIC and other $e^+e^-$ and $pp$ colliders in probing extensions of the Standard Model, and shows that the CLIC at high energy and high luminosity provides a powerful means to sensitivity estimates for the electromagnetic dipole moments of the tau-neutrino.


title: The Impact of Age on Nationality Bias: Evidence from Ski Jumping

abstract: This empirical research explores the impact of age on nationality bias. World Cup competition data suggest that judges of professional ski jumping competitions prefer jumpers of their own nationality and exhibit this preference by rewarding them with better marks. Furthermore, the current study reveals that this nationality bias is diminished among younger judges, in accordance with the reported lower levels of national discrimination among younger generations. Globalisation and its effect in reducing class-based thinking may explain this reduced bias in judgment of others.


title: Remarks on weak amenability of hypergroups

abstract: We study the existence of multiplier (completely) bounded approximate identities for the Fourier algebras of some classes of hypergroups. In particular we show that, a large class of commutative hypergroups are weakly amenable with the Cowling-Haagerup constant 1. As a corollary, we answer an open question of Eymard on Jacobi hypergroups. We also characterize the existence of bounded approximate identities for the hypergroup Fourier algebras of ultraspherical hypergroups.


title: The Impact of Automatic Pre-annotation in Clinical Note Data Element Extraction - the CLEAN Tool

abstract: Objective. Annotation is expensive but essential for clinical note review and clinical natural language processing (cNLP). However, the extent to which computer-generated pre-annotation is beneficial to human annotation is still an open question. Our study introduces CLEAN (CLinical note rEview and ANnotation), a pre-annotation-based cNLP annotation system to improve clinical note annotation of data elements, and comprehensively compares CLEAN with the widely-used annotation system Brat Rapid Annotation Tool (BRAT). Materials and Methods. CLEAN includes an ensemble pipeline (CLEAN-EP) with a newly developed annotation tool (CLEAN-AT). A domain expert and a novice user/annotator participated in a comparative usability test by tagging 87 data elements related to Congestive Heart Failure (CHF) and Kawasaki Disease (KD) cohorts in 84 public notes. Results. CLEAN achieved higher note-level F1-score (0.896) over BRAT (0.820), with significant difference in correctness (P-value < 0.001), and the mostly related factor being system/software (P-value < 0.001). No significant difference (P-value 0.188) in annotation time was observed between CLEAN (7.262 minutes/note) and BRAT (8.286 minutes/note). The difference was mostly associated with note length (P-value < 0.001) and system/software (P-value 0.013). The expert reported CLEAN to be useful/satisfactory, while the novice reported slight improvements. Discussion. CLEAN improves the correctness of annotation and increases usefulness/satisfaction with the same level of efficiency. Limitations include untested impact of pre-annotation correctness rate, small sample size, small user size, and restrictedly validated gold standard. Conclusion. CLEAN with pre-annotation can be beneficial for an expert to deal with complex annotation tasks involving numerous and diverse target data elements.


title: Variational cluster approach to thermodynamic properties of interacting fermions at finite temperatures: A case study of the two-dimensional single-band Hubbard model at half filling

abstract: We formulate a finite-temperature scheme of the variational cluster approximation (VCA) particularly suitable for an exact-diagonalization cluster solver. Based on the analytical properties of the single-particle Green's function matrices, we explicitly show the branch-cut structure of logarithm of the complex determinant functions appearing in the self-energy-functional theory (SFT) and whereby construct an efficient scheme for the finite-temperature VCA. We first apply the method to explore the antiferromagnetic order in a half-filled Hubbard model by calculating the entropy, specific heat, and single-particle excitation spectrum for different values of on-site Coulomb repulsion $U$ and temperature $T$. We also calculate the $T$ dependence of the single-particle excitation spectrum in the strong coupling region, and discuss the overall similarities to and the fine differences from the spectrum obtained by the spin-density-wave mean-field theory at low temperatures and the Hubbard-I approximation at high temperatures. On the basis of the thermodynamic properties, we obtain a crossover diagram in the $(U,T)$-plane which separates a Slater-type insulator and a Mott-type insulator. Next, we demonstrate the finite-temperature scheme in the cluster-dynamical-impurity approximation (CDIA) and study the paramagnetic Mott metal-insulator transition in the half-filled Hubbard model. Formulating the finite-temperature CDIA, we first address a subtle issue regarding the treatment of the artificially introduced bath degrees of freedom which are absent in the originally considered Hubbard model. We then apply the finite-temperature CDIA to calculate the finite-temperature phase diagram in the $(U,T)$-plane. We find that the Mott transition at low temperatures is discontinuous, and the coexistence region of the metallic and insulating states persists down to zero temperature.


title: The universality of one half in commutative nonassociative algebras with identities

abstract: In this paper we will explain an interesting phenomenon which occurs in general nonassociative algebras. More precisely, we establish that any finite-dimensional commutative nonassociative algebra over a field satisfying an identity always contains $\frac12$ in its Peirce spectrum. We also show that the corresponding $\frac12$-Peirce module satisfies the Jordan type fusion laws. The present approach is based on an explicit representation of the Peirce polynomial for an arbitrary algebra identity. To work with fusion rules, we develop the concept of the Peirce symbol and show that it can be explicitly determined for a wide class of algebras. We also illustrate our approach by further applications to genetic algebras and algebra of minimal cones (the so-called Hsiang algebras).


title: Two combined methods for the global solution of implicit semilinear differential equations with the use of spectral projectors and Taylor expansions

abstract: Two combined numerical methods for solving semilinear differential-algebraic equations (DAEs) are obtained and their convergence is proved. The comparative analysis of these methods is carried out and conclusions about the effectiveness of their application in various situations are made. In comparison with other known methods, the obtained methods require weaker restrictions for the nonlinear part of the DAE. Also, the obtained methods enable to compute approximate solutions of the DAEs on any given time interval and, therefore, enable to carry out the numerical analysis of global dynamics of mathematical models described by the DAEs. The examples demonstrating the capabilities of the developed methods are provided. To construct the methods we use the spectral projectors, Taylor expansions and finite differences. Since the used spectral projectors can be easily computed, to apply the methods it is not necessary to carry out additional analytical transformations.


title: The Boyer-Moore Waterfall Model Revisited

abstract: In this paper, we investigate the potential of the Boyer-Moore waterfall model for the automation of inductive proofs within a modern proof assistant. We analyze the basic concepts and methodology underlying this 30-year-old model and implement a new, fully integrated tool in the theorem prover HOL Light that can be invoked as a tactic. We also describe several extensions and enhancements to the model. These include the integration of existing HOL Light proof procedures and the addition of state-of-the-art generalization techniques into the waterfall. Various features, such as proof feedback and heuristics dealing with non-termination, that are needed to make this automated tool useful within our interactive setting are also discussed. Finally, we present a thorough evaluation of the approach using a set of 150 theorems, and discuss the effectiveness of our additions and relevance of the model in light of our results.


title: Privacy Preserving Multi-Server k-means Computation over Horizontally Partitioned Data

abstract: The k-means clustering is one of the most popular clustering algorithms in data mining. Recently a lot of research has been concentrated on the algorithm when the dataset is divided into multiple parties or when the dataset is too large to be handled by the data owner. In the latter case, usually some servers are hired to perform the task of clustering. The dataset is divided by the data owner among the servers who together perform the k-means and return the cluster labels to the owner. The major challenge in this method is to prevent the servers from gaining substantial information about the actual data of the owner. Several algorithms have been designed in the past that provide cryptographic solutions to perform privacy preserving k-means. We provide a new method to perform k-means over a large set using multiple servers. Our technique avoids heavy cryptographic computations and instead we use a simple randomization technique to preserve the privacy of the data. The k-means computed has exactly the same efficiency and accuracy as the k-means computed over the original dataset without any randomization. We argue that our algorithm is secure against honest but curious and passive adversary.


title: Swarm Robots Inspired by Friendship Formation Process

abstract: Swarm robotic systems are systems in which multiple robots having simple functionality perform tasks through their cooperation, and are advantageous in that they can exhibit non-trivial macroscopic functions such as adaptability, fault tolerance, and scalability. We previously proposed a simple model of swarm formation inspired by friendship formation process in human society, and demonstrated via simulation that various non-trivial patterns emerge. In this study, we examine the applicability of the proposed model to a swarm robotic system. As a first step, we developed five robots and demonstrated via real-world experiments that the simulation results can be largely reproduced.


title: Bayesian Bivariate Subgroup Analysis for Risk-Benefit Evaluation

abstract: Subgroup analysis is a frequently used tool for evaluating heterogeneity of treatment effect and heterogeneity in treatment harm across observed baseline patient characteristics. While treatment efficacy and adverse event measures are often reported separately for each subgroup, analyzing their within-subgroup joint distribution is critical for better informed patient decision-making. In this paper, we describe Bayesian models for performing a subgroup analysis to compare the joint occurrence of a primary endpoint and an adverse event between two treatment arms. Our approaches emphasize estimation of heterogeneity in this joint distribution across subgroups, and our approaches directly accommodate subgroups with small numbers of observed primary and adverse event combinations. In addition, we describe several ways in which our models may be used to generate interpretable summary measures of benefit-risk tradeoffs for each subgroup. The methods described here are illustrated throughout using a large cardiovascular trial (N = 9,361) investigating the efficacy of an intervention for reducing systolic blood pressure to a lower-than-usual target.


title: The Ramified Analytical Hierarchy using Extended Logics

abstract: The use of Extended Logics to replace ordinary second order definability in Kleene's {\em Ramified Analytical Hierarchy} is investigated. This mirrors a similar investigation of Kennedy, Magidor and V\"a\"an\"anen \cite{KeMaVa2016} where G\"odel's universe $L$ of constructible sets is subjected to similar variance. Enhancing second order definability allows models to be defined which may or may not coincide with the original Kleene hierarchy in domain. Extending the logic with game quantifiers, and assuming strong axioms of infinity, we obtain {\em minimal correct} models of analysis. A wide spectrum of models can be so generated from abstract definability notions: one may take an abstract Spector Class and extract an extended logic for it. The resultant structure is then a minimal model of the given kind of definability.


title: A Full End-to-End Semantic Role Labeler, Syntax-agnostic Over Syntax-aware?

abstract: Semantic role labeling (SRL) is to recognize the predicate-argument structure of a sentence, including subtasks of predicate disambiguation and argument labeling. Previous studies usually formulate the entire SRL problem into two or more subtasks. For the first time, this paper introduces an end-to-end neural model which unifiedly tackles the predicate disambiguation and the argument labeling in one shot. Using a biaffine scorer, our model directly predicts all semantic role labels for all given word pairs in the sentence without relying on any syntactic parse information. Specifically, we augment the BiLSTM encoder with a non-linear transformation to further distinguish the predicate and the argument in a given sentence, and model the semantic role labeling process as a word pair classification task by employing the biaffine attentional mechanism. Though the proposed model is syntax-agnostic with local decoder, it outperforms the state-of-the-art syntax-aware SRL systems on the CoNLL-2008, 2009 benchmarks for both English and Chinese. To our best knowledge, we report the first syntax-agnostic SRL model that surpasses all known syntax-aware models.


title: Remarks on the Casimir Self-Entropy of a Spherical Electromagnetic $\delta$-Function Shell

abstract: Recently the Casimir self-entropy of an electromagnetic $\delta$-function shell was considered by two different groups, with apparently discordant conclusions, although both had concluded that a region of negative entropy existed for sufficiently weak coupling. We had found that the entropy contained an infrared divergence, which we argued should be discarded on physical grounds. On the contrary, Bordag and Kirsten recently found a completely finite self-entropy, although they, in fact, have to remove an infrared divergence. Apart from this, the high- and low-temperature results for finite coupling agree precisely for the transverse electric mode, but there are significant discrepancies in the transverse magnetic mode. We resolve those discrepancies here. In particular, it is shown that coupling-independent terms do not occur in a consistent regulated calculation, they likely being an artefact of the omission of pole terms. The results of our previous analysis, especially, the existence of a negative entropy region for sufficiently weak coupling, are therefore confirmed. Finally, we offer some analogous remarks concerning the Casimir entropy of a thin electromagnetic sheet, where the total entropy is always positive. In that case, the origin of the analogous discrepancy can be explicitly isolated.


title: Fast RodFIter for Attitude Reconstruction from Inertial Measurements

abstract: Attitude computation is of vital importance for a variety of applications. Based on the functional iteration of the Rodrigues vector integration equation, the RodFIter method can be advantageously applied to analytically reconstruct the attitude from discrete gyroscope measurements over the time interval of interest. It is promising to produce ultra-accurate attitude reconstruction. However, the RodFIter method imposes high computational load and does not lend itself to onboard implementation. In this paper, a fast approach to significantly reduce RodFIter's computation complexity is presented while maintaining almost the same accuracy of attitude reconstruction. It reformulates the Rodrigues vector iterative integration in terms of the Chebyshev polynomial iteration. Due to the excellent property of Chebyshev polynomials, the fast RodFIter is achieved by means of appropriate truncation of Chebyshev polynomials, with provably guaranteed convergence. Moreover, simulation results validate the speed and accuracy of the proposed method.


title: Automatically designing CNN architectures using genetic algorithm for image classification

abstract: Convolutional Neural Networks (CNNs) have gained a remarkable success on many image classification tasks in recent years. However, the performance of CNNs highly relies upon their architectures. For most state-of-the-art CNNs, their architectures are often manually-designed with expertise in both CNNs and the investigated problems. Therefore, it is difficult for users, who have no extended expertise in CNNs, to design optimal CNN architectures for their own image classification problems of interest. In this paper, we propose an automatic CNN architecture design method by using genetic algorithms, to effectively address the image classification tasks. The most merit of the proposed algorithm remains in its "automatic" characteristic that users do not need domain knowledge of CNNs when using the proposed algorithm, while they can still obtain a promising CNN architecture for the given images. The proposed algorithm is validated on widely used benchmark image classification datasets, by comparing to the state-of-the-art peer competitors covering eight manually-designed CNNs, seven automatic+manually tuning and five automatic CNN architecture design algorithms. The experimental results indicate the proposed algorithm outperforms the existing automatic CNN architecture design algorithms in terms of classification accuracy, parameter numbers and consumed computational resources. The proposed algorithm also shows the very comparable classification accuracy to the best one from manually-designed and automatic+manually tuning CNNs, while consumes much less of computational resource.


title: Secure Convolutional Neural Network using FHE

abstract: In this paper, a secure Convolutional Neural Network classifier is proposed using Fully Homomorphic Encryption (FHE). The secure classifier provides a user with the ability to out-source the computations to a powerful cloud server and/or setup a server to classify inputs without providing the model or revealing source data. To this end, a real number framework is developed over FHE by using a fixed point format with binary digits. This allows for real number computations for basic operators like addition, subtraction, and multiplication but also to include secure comparisons and max functions. Additionally, a rectified linear unit is designed and realized in the framework. Experimentally, the model was verified using a Convolutional Neural Network trained for handwritten digits. This encrypted implementation shows accurate results for all classification when compared against an unencrypted implementation.


title: Impact of Laser Guide Star facilities on neighbouring telescopes: The case of GTC, TMT, VLT and ELT lasers and the Cherenkov Telescope Array

abstract: Powerful Laser Guide Star (LGS) systems are standard for the next-generation of extremely large telescopes. However, modern earth-based astronomy has gone through a process of concentration on few sites with exceptional sky quality, resulting in those becoming more and more crowded. The future LGS systems encounter hence an environment of surrounding astronomical installations, some of which observing with large fields-of-view. We derive formulae to calculate the impact of LGS light on the camera of a neighbouring telescope and the probabilities for a laser crossing the camera field-of-view to occur, and apply these to the specific case of the next very-high-energy gamma-ray observatory "Cherenkov Telescope Array" (CTA). Its southern part shall be constructed in a valley of the Cerro Armazones, Chile, close to the "Very Large Telescope" (VLT) and the "European Extremely Large Telescope" (ELT), while its northern part will be located at the "Observatorio del Roque de los Muchachos", on the Canary Island of La Palma, which also hosts the "Gran Telescopio de Canarias" (GTC) and serves as an optional site for the "Thirty Meter Telescope" (TMT), both employing LGS systems. Although finding the artificial star in the field-of-view of a CTA telescope will not disturb observations considerably, the laser beam crossing the field-of-view of a CTA telescope may be critical. We find no conflict expected for the ELT lasers, however, 1% (3%) of extra-galactic and 1% (5%) of galactic observations with the CTA may be affected by the GTC (TMT) LGS lasers, unless an enhanced version of a laser tracking control system gets implemented.


title: Constant overhead quantum fault-tolerance with quantum expander codes

abstract: We prove that quantum expander codes can be combined with quantum fault-tolerance techniques to achieve constant overhead: the ratio between the total number of physical qubits required for a quantum computation with faulty hardware and the number of logical qubits involved in the ideal computation is asymptotically constant, and can even be taken arbitrarily close to 1 in the limit of small physical error rate. This improves on the polylogarithmic overhead promised by the standard threshold theorem. To achieve this, we exploit a framework introduced by Gottesman together with a family of constant rate quantum codes, quantum expander codes. Our main technical contribution is to analyze an efficient decoding algorithm for these codes and prove that it remains robust in the presence of noisy syndrome measurements, a property which is crucial for fault-tolerant circuits. We also establish two additional features of the decoding algorithm that make it attractive for quantum computation: it can be parallelized to run in logarithmic depth, and is single-shot, meaning that it only requires a single round of noisy syndrome measurement.


title: A note on discrete spherical averages over sparse sequences

abstract: This note presents an example of an increasing sequence $(\lambda_l)_{l=1}^\infty$ such that the maximal operators associated to normalized discrete spherical convolution averages \[ \sup_{l\geq 1}\frac{1}{r(\lambda_l)}\left|\sum_{|x|^2=\lambda_l}f(y-x)\right|\] for functions $f:\mathbb{Z}^n\to\mathbb{C}^n$ are bounded on $\ell^p$ for all $p>1$ when the ambient dimension $n$ is at least five.


title: Learning Discriminative 3D Shape Representations by View Discerning Networks

abstract: In view-based 3D shape recognition, extracting discriminative visual representation of 3D shapes from projected images is considered the core problem. Projections with low discriminative ability can adversely influence the final 3D shape representation. Especially under the real situations with background clutter and object occlusion, the adverse effect is even more severe. To resolve this problem, we propose a novel deep neural network, View Discerning Network, which learns to judge the quality of views and adjust their contributions to the representation of shapes. In this network, a Score Generation Unit is devised to evaluate the quality of each projected image with score vectors. These score vectors are used to weight the image features and the weighted features perform much better than original features in 3D shape recognition task. In particular, we introduce two structures of Score Generation Unit, Channel-wise Score Unit and Part-wise Score Unit, to assess the quality of feature maps from different perspectives. Our network aggregates features and scores in an end-to-end framework, so that final shape descriptors are directly obtained from its output. Our experiments on ModelNet and ShapeNet Core55 show that View Discerning Network outperforms the state-of-the-arts in terms of the retrieval task, with excellent robustness against background clutter and object occlusion.


title: i-PI 2.0: A Universal Force Engine for Advanced Molecular Simulations

abstract: Progress in the atomic-scale modelling of matter over the past decade has been tremendous. This progress has been brought about by improvements in methods for evaluating interatomic forces that work by either solving the electronic structure problem explicitly, or by computing accurate approximations of the solution and by the development of techniques that use the Born-Oppenheimer (BO) forces to move the atoms on the BO potential energy surface. As a consequence of these developments it is now possible to identify stable or metastable states, to sample configurations consistent with the appropriate thermodynamic ensemble, and to estimate the kinetics of reactions and phase transitions. All too often, however, progress is slowed down by the bottleneck associated with implementing new optimization algorithms and/or sampling techniques into the many existing electronic-structure and empirical-potential codes. To address this problem, we are thus releasing a new version of the i-PI software. This piece of software is an easily extensible framework for implementing advanced atomistic simulation techniques using interatomic potentials and forces calculated by an external driver code. While the original version of the code was developed with a focus on path integral molecular dynamics techniques, this second release of i-PI not only includes several new advanced path integral methods, but also offers other classes of algorithms. In other words, i-PI is moving towards becoming a universal force engine that is both modular and tightly coupled to the driver codes that evaluate the potential energy surface and its derivatives.


title: Thermodynamically allowed phantom cosmology with viscous fluid

abstract: In this work we present an analysis of the phantom zone in a causal viscous cosmology from a thermodynamic point of view. In this description we consider a chemical potential and the approach of irreversible processes. We assume a flat universe filled with a single dissipative fluid described by a barotropic equation of state, $p = \omega \rho$. This model allows to construct a negative chemical potential for the phantom regime but also this construction allows us to have positive definite temperature and entropy.


title: Protecting the Grid against IoT Botnets of High-Wattage Devices

abstract: We provide methods to prevent line failures in the power grid caused by a newly revealed MAnipulation of Demand (MAD) attacks via an IoT botnet of high-wattage devices. In particular, we develop two algorithms named Securing Additional margin For generators in Economic dispatch (SAFE) Algorithm and Iteratively MiniMize and boUNd Economic dispatch (IMMUNE) Algorithm for finding robust operating points for generators during the economic dispatch such that no lines are overloaded after automatic primary control response to any MAD attacks. In situations that the operating cost of the grid in a robust state is costly (or no robust operating points exist), we provide efficient methods to verify--in advance--if possible line overloads can be cleared during the secondary control after any MAD attacks. We then define the $\alpha D$-robustness notion for the grids indicating that any line failures can be cleared during the secondary control if an adversary can increase/decrease the demands by $\alpha$ fraction. We demonstrate that practical upper and lower bounds on the maximum $\alpha$ for which the grid is $\alpha D$-robust can be found efficiently in polynomial time. Finally, we evaluate the performance of the developed algorithms and methods on realistic power grid test cases. Our work provides the first methods for protecting the grid against potential line failures caused by MAD attacks.


title: Racial Disparities and Mistrust in End-of-Life Care

abstract: There are established racial disparities in healthcare, including during end-of-life care, when poor communication and trust can lead to suboptimal outcomes for patients and their families. In this work, we find that racial disparities which have been reported in existing literature are also present in the MIMIC-III database. We hypothesize that one underlying cause of this disparity is due to mistrust between patient and caregivers, and we develop multiple possible trust metric proxies (using coded interpersonal variables and clinical notes) to measure this phenomenon more directly. These metrics show even stronger disparities in end-of-life care than race does, and they also tend to demonstrate statistically significant higher levels of mistrust for black patients than white ones. Finally, we demonstrate that these metrics improve performance on three clinical tasks: in-hospital mortality, discharge against medical advice (AMA) and modified care status (e.g., DNR, DNI, etc.).


title: Novel Superconducting SrSnP with Strong Sn-P Antibonding Interaction: Is the Sn Atom Single or Mixed Valent?

abstract: The large single crystals of SrSnP were prepared using Sn self-flux method. The superconductivity in the tetragonal SrSnP is observed with the critical temperature of ~2.3 K. The results of a crystallographic analysis, superconducting characterization, and theoretical assessment of tetragonal SrSnP are presented. The SrSnP crystallizes in the CaGaN structure type with space group P4/nmm (S.G.129, Pearson symbol tP6) according to the single crystal X-ray diffraction characterization. A combination of magnetic susceptibility, resistivity, and heat capacity measurements confirms the bulk superconductivity with Tc = 2.3(1) K in SrSnP. According to the X-ray photoelectron spectroscopy (XPS) measurement, the assignments of Sr2+ and P3- are consistent with the chemical valence electron balance principles. Moreover, it is highly likely that Sn atom has only one unusual oxidation state. First-principles calculations indicate the bands around Fermi level are hybridized among Sr-d, Sn-p, and P-p orbitals. The strong Sn-P and Sr-P interactions pose as keys to stabilize the crystallographic structure and induce the superconductivity, respectively. The physics-based electronic and phononic calculations are consistent with the molecular viewpoint. After including the spin-orbit coupling (SOC) into the calculation, the band degeneracies at gamma-point in the first Brillouin zone (BZ) split into two bands, which yield to the van Hove singularities around Fermi level.


title: On modelling positive continuous data with spatio-temporal dependence

abstract: In this paper we concentrate on an alternative modeling strategy for positive data that exhibit spatial or spatio-temporal dependence. Specifically we propose to consider stochastic processes obtained trough a monotone transformation of scaled version of $\chi^2$ random processes. The latter are well known in the specialized literature and originates by summing independent copies of a squared Gaussian process. However their use as stochastic models and related inference have not been much considered. Motivated by a spatio-temporal analysis of wind speed data from a network of meteorological stations in the Netherlands, we exemplify our modeling strategy by means of a non-stationary process with Weibull marginal distributions. For the proposed Weibull process we study the second-order and geometrical properties and we provide analytic expressions for the bivariate distribution. Since the likelihood is intractable, even for relatively small data-set, we suggest to adopt the pairwise likelihood as a tool for the inference. Moreover we tackle the prediction problem and we propose a linear prediction. The effectiveness of our modeling strategy is illustrated through the analysis of the aforementioned Netherland wind speed data that we supplement with a simulation study.


title: A Simple Network of Nodes Moving on the Circle

abstract: Two simple Markov processes are examined, one in discrete and one in continuous time, arising from idealized versions of a transmission protocol for mobile, delay-tolerant networks. We consider two independent walkers moving with constant speed on either the discrete or continuous circle, and changing directions at independent geometric (respectively, exponential) times. One of the walkers carries a message that wishes to travel as far and as fast as possible in the clockwise direction. The message stays with its current carrier unless the two walkers meet, the carrier is moving counter-clockwise, and the other walker is moving clockwise. In that case, the message jumps to the other walker. The long-term average clockwise speed of the message is computed. An explicit expression is derived via the solution of an associated boundary value problem in terms of the generator of the underlying Markov process. The average transmission cost is also similarly computed, measured as the long-term number of jumps the message makes per unit time. The tradeoff between speed and cost is examined, as a function of the underlying problem parameters.


title: Sample size determination in superiority or non-inferiority clinical trials with time-to-event data under exponential, Weibull and Gompertz distributions

abstract: To examine the effect of exponential, Weibull and Gompertz distributions on sample size determination for superiority trials (STs) or non-inferiority trials (NTs) with time-to-event data, we present two sample size formulas for STs or NTs based on Weibull and Gompertz distributions, respectively. The formulas are compared with the current exponential formula to examine their performance. The simulation results show that the sample size formula based on the Weibull distribution is the most robust among the three formulas in STs or NTs. We suggest that recognizing the appropriate distribution in advance is beneficial for proper project planning and that assuming a Weibull distributed survival time is most advantageous in STs or NTs.


title: Smart contracts for container based video conferencing services: Architecture and implementation

abstract: Today, container-based virtualization is very popular due to the lightweight nature of containers and the ability to use them flexibly in various heterogeneously composed systems. This makes it possible to collaboratively develop services by sharing various types of resources, such as infrastructures, software and digitalized content. In this work, our home made video-conferencing (VC) system is used to study resource usage optimisation in business context. An application like this, does not provide monetization possibilities to all involved stakeholders including end users, cloud providers, software engineers and similar. Blockchain related technologies, such as Smart Contracts (SC) offer a possibility to address some of these needs. We introduce a novel architecture for monetization of added-value according to preferences of the stakeholders that participate in joint software service offers. The developed architecture facilitates use case scenarios of service and resource offers according to fixed and dynamic pricing schemes, fixed usage period, prepaid quota for flexible usage, division of income, consensual decisions among collaborative service providers, and constrained based usage of resources or services. Our container-based VC service, which is based on the Jitsi Meet Open Source software is used to demonstrate the proposed architecture and the benefits of the investigated use cases.


title: Self-Supervised Model Adaptation for Multimodal Semantic Segmentation

abstract: Learning to reliably perceive and understand the scene is an integral enabler for robots to operate in the real-world. This problem is inherently challenging due to the multitude of object types as well as appearance changes caused by varying illumination and weather conditions. Leveraging complementary modalities can enable learning of semantically richer representations that are resilient to such perturbations. Despite the tremendous progress in recent years, most multimodal convolutional neural network approaches directly concatenate feature maps from individual modality streams rendering the model incapable of focusing only on relevant complementary information for fusion. To address this limitation, we propose a mutimodal semantic segmentation framework that dynamically adapts the fusion of modality-specific features while being sensitive to the object category, spatial location and scene context in a self-supervised manner. Specifically, we propose an architecture consisting of two modality-specific encoder streams that fuse intermediate encoder representations into a single decoder using our proposed self-supervised model adaptation fusion mechanism which optimally combines complementary features. As intermediate representations are not aligned across modalities, we introduce an attention scheme for better correlation. In addition, we propose a computationally efficient unimodal segmentation architecture termed AdapNet++ that incorporates a new encoder with multiscale residual units and an efficient atrous spatial pyramid pooling that has a larger effective receptive field with more than 10x fewer parameters, complemented with a strong decoder with a multi-resolution supervision scheme that recovers high-resolution details. Comprehensive empirical evaluations on several benchmarks demonstrate that both our unimodal and multimodal architectures achieve state-of-the-art performance.


title: Homogeneous metallicities and radial velocities for Galactic globular clusters. II. New CaT metallicities for 28 distant and reddened globular clusters

abstract: Although the globular clusters in the Milky Way have been studied for a long time, a significant fraction of them lack homogeneous metallicity and radial velocity measurements. In an earlier paper we presented the first part of a project to obtain metallicities and radial velocities of Galactic globular clusters from multiobject spectroscopy of their member stars using the ESO Very Large Telescope. In this paper we add metallicities and radial velocities for a new sample of 28 globular clusters, including in particular globular clusters in the MW halo and the Galactic bulge. Together with our previous results, this study brings the number of globular clusters with homogeneous measurements to $\sim 69$ \% of those listed in the W. Harris' catalogue. As in our previous work, we have used the CaII triplet lines to derive metallicities and radial velocities. For most of the clusters in this study, this is the first analysis based on spectroscopy of individual member stars. The metallicities derived from the CaII triplet are then compared to the results of our parallel study based on spectral fitting in the optical region and the implications for different calibrations of the CaII triplet line strengths are discussed. We also comment on some interesting clusters and investigate the presence of an abundance spread in the globular clusters here. A hint of a possible intrinsic spread is found for NGC 6256, which therefore appears to be a good candidate for further study.


title: jLDADMM: A Java package for the LDA and DMM topic models

abstract: In this technical report, we present jLDADMM---an easy-to-use Java toolkit for conventional topic models. jLDADMM is released to provide alternatives for topic modeling on normal or short texts. It provides implementations of the Latent Dirichlet Allocation topic model and the one-topic-per-document Dirichlet Multinomial Mixture model (i.e. mixture of unigrams), using collapsed Gibbs sampling. In addition, jLDADMM supplies a document clustering evaluation to compare topic models. jLDADMM is open-source and available to download at: https://github.com/datquocnguyen/jLDADMM


title: Distinguishing the nature of comparable-mass neutron star binary systems with multimessenger observations: GW170817 case study

abstract: The discovery of GW170817 with gravitational waves (GWs) and electromagnetic (EM) radiation is prompting new questions in strong-gravity astrophysics. Importantly, it remains unknown whether the progenitor of the merger comprised two neutron stars (NSs), or a NS and a black hole (BH). Using new numerical-relativity simulations and incorporating modeling uncertainties we produce novel GW and EM observables for NS-BH mergers with similar masses. A joint analysis of GW and EM measurements reveals that if GW170817 is a NS-BH merger, <40% of the binary parameters consistent with the GW data are compatible with EM observations.


title: Homoclinic dynamics in a restricted four body problem

abstract: We describe a method for computing an atlas for the stable or unstable manifold attached to an equilibrium point, and implement the method for the saddle-focus libration points of the planar equilateral restricted four body problem. We employ the method at the maximally symmetric case of equal masses, where we compute atlases for both the stable and unstable manifolds. The resulting atlases are comprised of thousands of individual chart maps, with each chart represented by a two variable Taylor polynomial. Post-processing the atlas data yields approximate intersections of the invariant manifolds, which we refine via a shooting method for an appropriate two point boundary value problem. Finally we apply numerical continuation to the BVPs. This breaks the symmetries and leads to connecting orbits for some non-equal values of the primary masses.


title: Emotional Labor in Mathematics: Reflections on Mathematical Communities, Mentoring Structures, and EDGE

abstract: Terms such as "affective labor" and "emotional labor" pepper feminist critiques of the workplace. Though there are theoretical nuances between the two phrases, both kinds of labor involve the management of emotions; some acts associated with these constructs involve caring, listening, comforting, reassuring, and smiling. In this article I explore the different ways academic mathematicians are called to provide emotional labor in the discipline, thereby illuminating a rarely visible component of a mathematical life in the academy. Underlying this work is my contention that a conceptualization of labor involved in managing emotions is of value to the project of understanding the character, values, and boundaries of such a life. In order to investigate the various dimensions of emotional labor in the context of academic mathematics, I extend the basic framework of Morris and Feldman [33] and then apply this extended framework to the mathematical sciences. Other researchers have mainly focused on the negative effects of emotional labor on a laborer's physical, emotional, and mental health, and several examples in this article align with this framing. However, at the end of the article, I argue that mathematical communities and mentoring structures such as EDGE help diminish some of the negative aspects of emotional labor while also accentuating the positives.


title: Biaxial layering transition of hard rod-like particles in narrow slit-like pores

abstract: The phase behavior of hard rectangular rods with length L and diameter D is studied in a narrow slit-like pore using the Parsons-Lee density functional theory. Using the restricted orientation approximation, we find strong adsorption at the walls with planar ordering, second order uniaxial-biaxial ordering transitions and first order layering transitions. The layering transition takes place between two fluids having n and n+1 layers, where the layer spacing is in the order of D. In the case of weak shape anisotropy (L/D=3), the coexisting fluids can be either uniaxial or biaxial, while both phases are found to be biaxial for L/D=6 and L/D=9. Interestingly, even two or more layering transitions can be observed with increasing density at a given shape anisotropy and pore width.


title: Fake Sentence Detection as a Training Task for Sentence Encoding

abstract: Sentence encoders are typically trained on language modeling tasks with large unlabeled datasets. While these encoders achieve state-of-the-art results on many sentence-level tasks, they are difficult to train with long training cycles. We introduce fake sentence detection as a new training task for learning sentence encoders. We automatically generate fake sentences by corrupting original sentences from a source collection and train the encoders to produce representations that are effective at detecting fake sentences. This binary classification task turns to be quite efficient for training sentence encoders. We compare a basic BiLSTM encoder trained on this task with a strong sentence encoding models (Skipthought and FastSent) trained on a language modeling task. We find that the BiLSTM trains much faster on fake sentence detection (20 hours instead of weeks) using smaller amounts of data (1M instead of 64M sentences). Further analysis shows the learned representations capture many syntactic and semantic properties expected from good sentence representations.


title: Fully Distributed Multi-Robot Collision Avoidance via Deep Reinforcement Learning for Safe and Efficient Navigation in Complex Scenarios

abstract: In this paper, we present a decentralized sensor-level collision avoidance policy for multi-robot systems, which shows promising results in practical applications. In particular, our policy directly maps raw sensor measurements to an agent's steering commands in terms of the movement velocity. As a first step toward reducing the performance gap between decentralized and centralized methods, we present a multi-scenario multi-stage training framework to learn an optimal policy. The policy is trained over a large number of robots in rich, complex environments simultaneously using a policy gradient based reinforcement learning algorithm. The learning algorithm is also integrated into a hybrid control framework to further improve the policy's robustness and effectiveness. We validate the learned sensor-level collision avoidance policy in a variety of simulated and real-world scenarios with thorough performance evaluations for large-scale multi-robot systems. The generalization of the learned policy is verified in a set of unseen scenarios including the navigation of a group of heterogeneous robots and a large-scale scenario with 100 robots. Although the policy is trained using simulation data only, we have successfully deployed it on physical robots with shapes and dynamics characteristics that are different from the simulated agents, in order to demonstrate the controller's robustness against the sim-to-real modeling error. Finally, we show that the collision-avoidance policy learned from multi-robot navigation tasks provides an excellent solution to the safe and effective autonomous navigation for a single robot working in a dense real human crowd. Our learned policy enables a robot to make effective progress in a crowd without getting stuck. Videos are available at https://sites.google.com/view/hybridmrca


title: On the Relation Between Mobile Encounters and Web Traffic Patterns: A Data-driven Study

abstract: Mobility and network traffic have been traditionally studied separately. Their interaction is vital for generations of future mobile services and effective caching, but has not been studied in depth with real-world big data. In this paper, we characterize mobility encounters and study the correlation between encounters and web traffic profiles using large-scale datasets (30TB in size) of WiFi and NetFlow traces. The analysis quantifies these correlations for the first time, across spatio-temporal dimensions, for device types grouped into on-the-go Flutes and sit-to-use Cellos. The results consistently show a clear relation between mobility encounters and traffic across different buildings over multiple days, with encountered pairs showing higher traffic similarity than non-encountered pairs, and long encounters being associated with the highest similarity. We also investigate the feasibility of learning encounters through web traffic profiles, with implications for dissemination protocols, and contact tracing. This provides a compelling case to integrate both mobility and web traffic dimensions in future models, not only at an individual level, but also at pairwise and collective levels. We have released samples of code and data used in this study on GitHub, to support reproducibility and encourage further research (https://github.com/BabakAp/encounter-traffic).


title: Matrix Factorization on GPUs with Memory Optimization and Approximate Computing

abstract: Matrix factorization (MF) discovers latent features from observations, which has shown great promises in the fields of collaborative filtering, data compression, feature extraction, word embedding, etc. While many problem-specific optimization techniques have been proposed, alternating least square (ALS) remains popular due to its general applicability e.g. easy to handle positive-unlabeled inputs, fast convergence and parallelization capability. Current MF implementations are either optimized for a single machine or with a need of a large computer cluster but still are insufficient. This is because a single machine provides limited compute power for large-scale data while multiple machines suffer from the network communication bottleneck. To address the aforementioned challenge, accelerating ALS on graphics processing units (GPUs) is a promising direction. We propose the novel approach in enhancing the MF efficiency via both memory optimization and approximate computing. The former exploits GPU memory hierarchy to increase data reuse, while the later reduces unnecessary computing without hurting the convergence of learning algorithms. Extensive experiments on large-scale datasets show that our solution not only outperforms the competing CPU solutions by a large margin but also has a 2x-4x performance gain compared to the state-of-the-art GPU solutions. Our implementations are open-sourced and publicly available.


title: Fully-Automated Analysis of Body Composition from CT in Cancer Patients Using Convolutional Neural Networks

abstract: The amounts of muscle and fat in a person's body, known as body composition, are correlated with cancer risks, cancer survival, and cardiovascular risk. The current gold standard for measuring body composition requires time-consuming manual segmentation of CT images by an expert reader. In this work, we describe a two-step process to fully automate the analysis of CT body composition using a DenseNet to select the CT slice and U-Net to perform segmentation. We train and test our methods on independent cohorts. Our results show Dice scores (0.95-0.98) and correlation coefficients (R=0.99) that are favorable compared to human readers. These results suggest that fully automated body composition analysis is feasible, which could enable both clinical use and large-scale population studies.


title: Social Cohesion in Autonomous Driving

abstract: Autonomous cars can perform poorly for many reasons. They may have perception issues, incorrect dynamics models, be unaware of obscure rules of human traffic systems, or follow certain rules too conservatively. Regardless of the exact failure mode of the car, often human drivers around the car are behaving correctly. For example, even if the car does not know that it should pull over when an ambulance races by, other humans on the road will know and will pull over. We propose to make socially cohesive cars that leverage the behavior of nearby human drivers to act in ways that are safer and more socially acceptable. The simple intuition behind our algorithm is that if all the humans are consistently behaving in a particular way, then the autonomous car probably should too. We analyze the performance of our algorithm in a variety of scenarios and conduct a user study to assess people's attitudes towards socially cohesive cars. We find that people are surprisingly tolerant of mistakes that cohesive cars might make in order to get the benefits of driving in a car with a safer, or even just more socially acceptable behavior.


title: Elliptic Fermat numbers and elliptic divisibility sequence

abstract: For a pair $(E,P)$ of an elliptic curve $E/\mathbb{Q}$ and a nontorsion point $P\in E(\mathbb{Q})$, the sequence of \emph{elliptic Fermat numbers} is defined by taking quotients of terms in the corresponding elliptic divisibility sequence $(D_{n})_{n\in\mathbb{N}}$ with index powers of two, i.e. $D_{1}$, $D_{2}/D_{1}$, $D_{4}/D_{2}$, etc. Elliptic Fermat numbers share many properties with the classical Fermat numbers, $F_{k}=2^{2^k}+1$. In the present paper, we show that for magnified elliptic Fermat sequences, only finitely many terms are prime. We also define \emph{generalized elliptic Fermat numbers} by taking quotients of terms in elliptic divisibility sequences that correspond to powers of any integer $m$, and show that many of the classical Fermat properties, including coprimality, order universality and compositeness, still hold.


title: Polaritonic hybrid-epsilon-near-zero modes: engineering strong optoelectronic coupling and dispersion in doped cadmium oxide bilayers

abstract: Polaritonic materials that support epsilon-near-zero (ENZ) modes offer the opportunity to design light-matter interactions at the nanoscale through phenomena like resonant perfect absorption and extreme sub-wavelength light concentration. To date, the utility of ENZ modes is limited in propagating polaritonic systems by a relatively flat spectral dispersion, which gives ENZ modes small group velocities and short propagation lengths. Here we overcome this constraint by coupling ENZ modes to surface plasmon polariton (SPP) modes in doped cadmium oxide ENZ-on-SPP bilayers. What results is a strongly coupled hybrid mode, characterized by strong anti-crossing and a large spectral splitting on the order of 1/3 of the mode frequency. The resonant frequencies, dispersion, and coupling of these polaritonic-hybrid-epsilon-near-zero (PH-ENZ) modes are controlled by tailoring the modal oscillator strength and the ENZ-SPP spectral overlap, which can potentially be utilized for actively tunable strong coupling at the nanoscale. PH-ENZ modes ultimately leverage the most desirable characteristics of both ENZ and SPP modes through simultaneous strong interior field confinement and mode propagation.


title: Scalar Meson Contributions to a_\mu from Hadronic Light-by-Light Scattering

abstract: Using an effective \sigma/f_0(500) resonance, which describes the \pi\pi-->\pi\pi and \gamma\gamma-->\pi\pi scattering data, we evaluate its contribution and the ones of the other scalar mesons to the the hadronic light-by-light (HLbL) scattering component of the anomalous magnetic moment a_\mu of the muon. We obtain the conservative range of values: \sum_S~a_\mu^{lbl}\vert_S = -(4.51+- 4.12) 10^{-11}, which is dominated by the \sigma/f_0(500) contribution ( 50%~98%), and where the large error is due to the uncertainties on the parametrisation of the form factors. Considering our new result, we update the sum of the different theoretical contributions to a_\mu within the standard model, which we then compare to experiment. This comparison gives (a_\mu^{\rm exp} - a_\mu^{SM})= +(312.1+- 64.3) 10^{-11}, where the theoretical errors from HLbL are dominated by the scalar meson contributions.


title: Algorithm to Prove Formulas for the Expected Number of Questions in Mastermind Games

abstract: We close the gap in the proof (published by Chen and Lin) of formulas for the minimum number of questions required in the expected case for Mastermind and its variant called AB game, where both games are played with two pegs and $n$ colors. For this purpose, we introduce a new model to represent the game guessing process and we develop an algorithm with automatizes the proof. In contrary to the model used by Chen and Lin, called graph-partition approach, which is limited to two pegs, our model and algorithm are parametrized with the number of pegs and they could potentially be used for any number of pegs.


title: A Stage-wise Decision Framework for Transportation Network Resilience Planning

abstract: This study introduces a comprehensive stage-wise decision framework to support resilience planning for roadway networks regarding pre-disaster mitigation (Stage I), post-disaster emergency response (Stage II) and long-term recovery (Stage III). Three decision metrics are first defined, each based on a derivation of the number of independent pathways (IPW) within a roadway system, to measure the performance of a network in term of its robustness, redundancy, and recoverability, respectively. Using the three IPW-based decision metrics, a stage-wise decision process is then formulated as a stochastic multi-objective optimization problem, which includes a project ranking mechanism to identify pre-disaster network retrofit projects in Phase I, a prioritization approach for temporary repairs to facilitate immediate post-disaster emergency responses in Phase II, and a methodology for scheduling network-wide repairs during the long-term recovery of the roadway system in Phase III. Finally, this stage-wise decision framework is applied to the roadway network of Shelby County, TN, USA subjected to seismic hazards, to illustrate its implementation in supporting community network resilience planning.


title: Upper and Lower Bounds on Zero-Sum Generalized Schur Numbers

abstract: Let $S_{\mathfrak{z}}(k,r)$ be the least positive integer such that for any $r$-coloring $\chi : \{1,2,\dots,S_{\mathfrak{z}}(k,r)\} \longrightarrow \{1, 2, \dots, r\}$, there is a sequence $x_1, x_2, \dots, x_k$ such that $\sum_{i=1}^{k-1} x_i = x_k$, and $\sum_{i=1}^{k} \chi(x_i) \equiv 0 \pmod{r}$. We show that when $k$ is greater than $r$, $kr - r - 1 \le S_{\mathfrak{z}}(k,r) \le kr - 1$, and when $r$ is an odd prime, $S_{\mathfrak{z}}(k,r)$ is in fact equal to $kr - r$.


title: A Parameterized Complexity View on Description Logic Reasoning

abstract: Description logics are knowledge representation languages that have been designed to strike a balance between expressivity and computational tractability. Many different description logics have been developed, and numerous computational problems for these logics have been studied for their computational complexity. However, essentially all complexity analyses of reasoning problems for description logics use the one-dimensional framework of classical complexity theory. The multi-dimensional framework of parameterized complexity theory is able to provide a much more detailed image of the complexity of reasoning problems. In this paper we argue that the framework of parameterized complexity has a lot to offer for the complexity analysis of description logic reasoning problems---when one takes a progressive and forward-looking view on parameterized complexity tools. We substantiate our argument by means of three case studies. The first case study is about the problem of concept satisfiability for the logic ALC with respect to nearly acyclic TBoxes. The second case study concerns concept satisfiability for ALC concepts parameterized by the number of occurrences of union operators and the number of occurrences of full existential quantification. The third case study offers a critical look at data complexity results from a parameterized complexity point of view. These three case studies are representative for the wide range of uses for parameterized complexity methods for description logic problems.


title: Optical interferometry and Gaia parallaxes for a robust calibration of the Cepheid distance scale

abstract: We present the modeling tool we developed to incorporate multi-technique observations of Cepheids in a single pulsation model: the Spectro-Photo-Interferometry of Pulsating Stars (SPIPS). The combination of angular diameters from optical interferometry, radial velocities and photometry with the coming Gaia DR2 parallaxes of nearby Galactic Cepheids will soon enable us to calibrate the projection factor of the classical Parallax-of-Pulsation method. This will extend its applicability to Cepheids too distant for accurate Gaia parallax measurements, and allow us to precisely calibrate the Leavitt law's zero point. As an example application, we present the SPIPS model of the long-period Cepheid RS Pup that provides a measurement of its projection factor, using the independent distance estimated from its light echoes.


title: Adversarial vs cooperative quantum estimation

abstract: We address the estimation of a one-parameter family of isometries taking one input into two output systems. This primarily allows us to consider imperfect estimation by accessing only one output system, i.e. through a quantum channel. Then, on the one hand, we consider separate and adversarial control of the two output systems to introduce the concept of \emph{privacy of estimation}. On the other hand we conceive the possibility of separate but cooperative control of the two output systems. Optimal estimation strategies are found according to the minimum mean square error. This also implies the generalization of Personik's theorem to the case of local measurements. Finally, applications to two-qubit unitaries (with one qubit in a fixed input state) are discussed.


title: Chemical Compositions of Evolved Stars From Near-Infrared IGRINS High-Resolution Spectra. I. Abundances in Three Red Horizontal Branch Stars

abstract: We have derived elemental abundances of three field red horizontal branch stars using high-resolution (R$\simeq$ 45,000), high signal-to-noise ratio (S/N $\gtrsim$ 200) $H$ and $K$ band spectra obtained with the Immersion Grating Infrared Spectrograph (IGRINS). We have determined the abundances of 21 elements including $\alpha$ (Mg, Si, Ca, S), odd-Z (Na, Al, P, K), Fe-group (Sc, Ti, Cr, Co, Ni), neutron-capture (Ce, Nd, Yb), and CNO group elements. S, P and K are determined for the first time in these stars. $H$ and $K$ band spectra provide a substantial number of S I lines, which potentially can lead to a more robust exploration of the role of sulfur in the cosmochemical evolution of the Galaxy. We have also derived $^{12}$C/$^{13}$C ratios from synthetic spectra of the first overtone (2$-$0) and (3$-$1) $^{12}$CO and (2$-$0) $^{13}$CO lines near 23440 \AA\ and $^{13}$CO (3$-$1) lines at about 23730 \AA. Comparison of our results with the ones obtained from the optical region suggests that the IGRINS high-resolution $H$ and $K$ band spectra offer more internally self-consistent atomic lines of the same species for several elements, especially the $\alpha$ elements. This in turn provides more reliable abundances for the elements with analytical difficulties in the optical spectral range.


title: Neural Importance Sampling

abstract: We propose to use deep neural networks for generating samples in Monte Carlo integration. Our work is based on non-linear independent components estimation (NICE), which we extend in numerous ways to improve performance and enable its application to integration problems. First, we introduce piecewise-polynomial coupling transforms that greatly increase the modeling power of individual coupling layers. Second, we propose to preprocess the inputs of neural networks using one-blob encoding, which stimulates localization of computation and improves inference. Third, we derive a gradient-descent-based optimization for the KL and the $\chi^2$ divergence for the specific application of Monte Carlo integration with unnormalized stochastic estimates of the target distribution. Our approach enables fast and accurate inference and efficient sample generation independently of the dimensionality of the integration domain. We show its benefits on generating natural images and in two applications to light-transport simulation: first, we demonstrate learning of joint path-sampling densities in the primary sample space and importance sampling of multi-dimensional path prefixes thereof. Second, we use our technique to extract conditional directional densities driven by the product of incident illumination and the BSDF in the rendering equation, and we leverage the densities for path guiding. In all applications, our approach yields on-par or higher performance than competing techniques at equal sample count.


title: Ranking with Features: Algorithm and A Graph Theoretic Analysis

abstract: We consider the problem of ranking a set of items from pairwise comparisons in the presence of features associated with the items. Recent works have established that $O(n\log(n))$ samples are needed to rank well when there is no feature information present. However, this might be sub-optimal in the presence of associated features. We introduce a new probabilistic preference model called feature-Bradley-Terry-Luce (f-BTL) model that generalizes the standard BTL model to incorporate feature information. We present a new least squares based algorithm called fBTL-LS which we show requires much lesser than $O(n\log(n))$ pairs to obtain a good ranking -- precisely our new sample complexity bound is of $O(\alpha\log \alpha)$, where $\alpha$ denotes the number of `independent items' of the set, in general $\alpha << n$. Our analysis is novel and makes use of tools from classical graph matching theory to provide tighter bounds that sheds light on the true complexity of the ranking problem, capturing the item dependencies in terms of their feature representations. This was not possible with earlier matrix completion based tools used for this problem. We also prove an information theoretic lower bound on the required sample complexity for recovering the underlying ranking, which essentially shows the tightness of our proposed algorithms. The efficacy of our proposed algorithms are validated through extensive experimental evaluations on a variety of synthetic and real world datasets.


title: Entropy on normed semigroups (Towards a unifying approach to entropy)

abstract: We present a unifying approach to the study of entropies in Mathematics, such as measure entropy, topological entropy, algebraic entropy, set-theoretic entropy. We take into account discrete dynamical systems, that is, pairs $(X,T)$, where $X$ is the underlying space and $T:X\to X$ a transformation. We see entropies as functions $h:\mathfrak X\to \mathbb R_+$, associating to each flow $(X,T)$ of a category $\mathfrak X$ either a non negative real or $\infty$. We introduce the notion of semigroup entropy $h_\mathfrak S:\mathfrak S\to\mathbb R_+$, which is a numerical invariant attached to endomorphisms of the category $\mathfrak S$ of normed semigroups. Then, for a functor $F:\mathfrak X\to\mathfrak S$ from any specific category $\mathfrak X$ to $\mathfrak S$, we define the functorial entropy $h_F:\mathfrak X\to\mathbb R_+$ as the composition $h_{\mathfrak S}\circ F$. Clearly, $h_F$ inherits many of the properties of $h_\mathfrak S$, depending also on the properties of $F$. Such general scheme permits to obtain relevant known entropies as functorial entropies $h_F$, for appropriate categories $\mathfrak X$ and functors $F$, and to establish the properties shared by them. In this way we point out their common nature. Finally, we discuss and deeply analyze through the looking glass of our unifying approach the relations between pairs of entropies. To this end we formalize the notion of Bridge Theorem between two entropies $h_i:\mathfrak X_i\to \mathbb R_+$, $i=1,2$, with respect to a functor $\varepsilon:\mathfrak X_1\to\mathfrak X_2$. Then, for pairs of functorial entropies we use the above scheme to introduce the notion and the related scheme of Strong Bridge Theorem, which allows us to put under the same umbrella various relations between pairs of entropies.


title: Wick rotation of the time variables for two-point functions on analytic backgrounds

abstract: We set up a general framework for Calder\'on projectors (and their generalization to non-compact manifolds), associated with complex Laplacians e.g. obtained by Wick rotation of a Lorentzian metric. In the analytic case, we use this to show that the Laplacian's Green's functions have analytic continuations whose boundary values are two-point functions of analytic Hadamard states. The result does not require the metric to be stationary. As an aside, we describe how thermal states are obtained as a special case of this construction if the coefficients are time-independent.


title: Beam Breakup Mitigation by Ion Mobility in Plasma Acceleration

abstract: Moderate ion mobility provides a source of damping in the plasma wakefield acceleration, which may serve as an effective remedy against the transverse instability of the trailing bunch. Ion mobility in the fields of the driving and trailing bunches is taken into account; the related effects are estimated for the FACET-II parameters.


title: Dilaton in a cold Fermi gas

abstract: These are the notes for a lecture which I presented at the International Conference on New Frontiers in Physics in Kolymbari, Crete in July, 2018. They review an idea which posits a phase of a two-dimensional system of cold N-component Fermions which exhibits spontaneously broken approximate scale symmetry when studied in the large N expansion. Near criticality, the phase exhibits anomalously small pressure and large compressibility. Some of the consequences of the approximate scale symmetry, such as the existence of a dilaton and its properties are discussed.

categories: cond-mat.quant-gas hep-ph hep-th quant-ph


title: Cluster formation via sonic depletion forces in levitated granular matter

abstract: The properties of small clusters can differ dramatically from the bulk phases of the same constituents. In equilibrium, cluster assembly has been recently explored, whereas out of equilibrium, the physical principles of clustering remain elusive. These principles underlie phenomena from molecular assembly to the formation of planets from granular matter. Here, we introduce acoustic levitation as a platform to experimentally probe the formation of nonequilibrium small structures in a controlled environment. We focus on the minimal models of cluster formation: six and seven millimetre-scale particles in two dimensions. Experiments and modelling reveal that, in contrast to thermal colloids, in non-equilibrium granular ensembles the magnitude of active fluctuations controls not only the assembly rates but also their assembly pathways and ground-state statistics. These results open up new possibilities for non-invasively manipulating macroscopic particles, tuning their interactions, and directing their assembly.


title: Finding Exact Forms on Thermodynamic Manifolds

abstract: Because only two variables are needed to characterize a simple thermodynamic system in equilibrium, any such system is constrained on a 2D manifold. Of particular interest are the exact 1-forms on the cotangent space of that manifold, since the integral of exact 1-forms is path-independent, a crucial property satisfied by state variables such as the internal energy dE and the entropy dS. Our prior work shows that given an appropriate language of vector calculus, a machine can re-discover the Maxwell equations and the incompressible Navier-Stokes equations from simulation. We speculate that we can enhance this language by including differential forms. In this paper, we use the example of classical thermodynamics to show that there exists a simple algorithm to automate the process of finding exact 1-forms on a thermodynamic manifold. Since entropy appears in various fields of science in different guises, a potential extension of this work is to use the machinery developed in this paper to re-discover the expressions for entropy from data in fields other than classical thermodynamics.


title: Spectral norm of a symmetric tensor and its computation

abstract: We show that the spectral norm of a $d$-mode real or complex symmetric tensor in $n$ variables can be computed by finding the fixed points of the corresponding polynomial map. For a generic complex symmetric tensor the number of fixed points is finite, and we give upper and lower bounds for the number of fixed points. For $n=2$ we show that these fixed points are the roots of a corresponding univariate polynomial of degree at most $(d-1)^2+1$, except certain cases, which are completely analyzed. In particular, for $n=2$ the spectral norm of $d$-symmetric tensor is polynomially computable in $d$ with a given relative precision. For a fixed $n>2$ we show that the spectral norm of a $d$-mode symmetric tensor is polynomially computable in $d$ with a given relative precision with respect to the Hilbert-Schmidt norm of the tensor. These results show that the geometric measure of entanglement of $d$-mode symmetric qunits on $\mathbb{C}^n$ are polynomially computable for a fixed $n$.


title: Mixed-integer bilevel representability

abstract: We study the representability of sets that admit extended formulations using mixed-integer bilevel programs. We show that feasible regions modeled by continuous bilevel constraints (with no integer variables), complementarity constraints, and polyhedral reverse convex constraints are all finite unions of polyhedra. Conversely, any finite union of polyhedra can be represented using any one of these three paradigms. We then prove that the feasible region of bilevel problems with integer constraints exclusively in the upper level is a finite union of sets representable by mixed-integer programs and vice versa. Further, we prove that, up to topological closures, we do not get additional modeling power by allowing integer variables in the lower level as well. To establish the last statement, we prove that the family of sets that are finite unions of mixed-integer representable sets forms an algebra of sets (up to topological closures).


title: Log-majorization related to R\'enyi divergences

abstract: For $\alpha,z>0$ with $\alpha\ne1$, motivated by comparison between different kinds of R\'enyi divergences in quantum information, we consider log-majorization between the matrix functions \begin{align*} P_\alpha(A,B)&:=B^{1/2}(B^{-1/2}AB^{-1/2})^\alpha B^{1/2}, \\ Q_{\alpha,z}(A,B)&:=(B^{1-\alpha\over2z}A^{\alpha\over z}B^{1-\alpha\over2z})^z \end{align*} of two positive (semi)definite matrices $A,B$. We precisely determine the parameter $\alpha,z$ for which $P_\alpha(A,B)\prec_{\log}Q_{\alpha,z}(A,B)$ and $Q_{\alpha,z}(A,B)\prec_{\log}P_\alpha(A,B)$ holds, respectively.


title: Pervasive Attention: 2D Convolutional Neural Networks for Sequence-to-Sequence Prediction

abstract: Current state-of-the-art machine translation systems are based on encoder-decoder architectures, that first encode the input sequence, and then generate an output sequence based on the input encoding. Both are interfaced with an attention mechanism that recombines a fixed encoding of the source tokens based on the decoder state. We propose an alternative approach which instead relies on a single 2D convolutional neural network across both sequences. Each layer of our network re-codes source tokens on the basis of the output sequence produced so far. Attention-like properties are therefore pervasive throughout the network. Our model yields excellent results, outperforming state-of-the-art encoder-decoder systems, while being conceptually simpler and having fewer parameters.


title: Critical Spin Liquid versus Valence Bond Glass in Triangular Lattice Organic $\kappa$-(ET)$_2$Cu$_2$(CN)$_3$

abstract: In the quest for materials with unconventional quantum phases, the organic triangular-lattice antiferromagnet $\kappa$-(ET)$_2$Cu$_2$(CN)$_3$ has been extensively discussed as a quantum spin liquid (QSL) candidate. Recently, an intriguing quantum critical behaviour was suggested from low-temperature magnetic torque experiments. Through microscopic analysis of all anisotropic contributions, including Dzyaloshinskii-Moriya and multi-spin scalar chiral interactions, we highlight significant deviations of the experimental observations from a quantum critical scenario. Instead, we show that disorder-induced spin defects provide a comprehensive explanation of the low-temperature properties. These spins are attributed to valence bond defects that emerge spontaneously as the QSL enters a valence bond glass phase at low temperature. This theoretical treatment is applicable to a general class of frustrated magnetic systems and has important implications for the interpretation of magnetic torque, nuclear magnetic resonance, thermal transport and thermodynamic experiments.


title: Ring statistics in 2D-silica: effective temperatures in equilibrium

abstract: The thermodynamic properties of subsystems in strong interaction with the neighborhood can largely differ from the standard behavior. Here we study the thermodynamic properties of rings and triplets in equilibrated disordered 2D-silica. Their statistics follows a Boltzmann behavior, albeit with a strongly reduced temperature. This effective temperature strongly depends on the length scale of the chosen subsystem. From a systematic analysis of the 1D Ising model and an analytically solvable model we suggest that these observations reflect the presence of strong local positive energy correlations.


title: Parametric mechanism maintaining Couette flow turbulence verified in DNS implies novel control strategies

abstract: The no-slip boundary condition results in a velocity shear forming in fluid flow near a solid surface. This shear flow supports the turbulence characteristic of fluid flow near boundaries at Reynolds numbers above $\approx1000$ by making available to perturbations the kinetic energy of the externally forced flow. Understanding the physical mechanism underlying this energy transfer poses a fundamental question. Although qualitative understanding that this transfer involves nonlinear destabilization of the roll-streak coherent structure has been established, identification of this instability has resisted analysis. The reason this instability has resisted analysis is that its analytic expression lies in the Navier-Stokes equations (NS) expressed using statistical rather than state variables. Expressing NS as a statistical state dynamics (SSD) at second order in a cumulant expansion suffices to allow analytical identification of the nonlinear roll-streak instability underlying turbulence in wall-bounded shear flow. In this nonlinear instability the turbulent perturbation field is identified by the SSD with the Lyapunov vectors of the linear operator governing perturbation evolution about the time-dependent streamwise mean flow. In this work, the implications of the predictions of SSD analysis (that this parametric instability underlies the dynamics of turbulence in Couette flow and that the perturbation structures are the associated Lyapunov vectors) are interpreted to imply new conceptual approaches to controlling turbulence. It is shown that the perturbation component of turbulence is supported on the streamwise mean flow, which implies optimal control should be formulated to suppress perturbations from the streamwise mean. It is also shown that suppressing only the top few Lyapunov vectors on the streamwise mean vectors results in laminarization. These results are verified using DNS.