title: Stress-induced hyperalgesia instead of analgesia in patients with chronic musculoskeletal pain

abstract: Many individuals with chronic musculoskeletal pain (CMP) show impairments in their pain-modulatory capacity. Although stress plays an important role in chronic pain, it is not known if stress-induced analgesia (SIA) is affected in patients with CMP. We investigated SIA in 22 patients with CMP and 18 pain-free participants. Pain thresholds, pain tolerance and suprathreshold pain ratings were examined before and after a cognitive stressor that typically induces pain reduction (SIA). Whereas the controls displayed a significant increase in pain threshold in response to the stressor, the patients with CMP showed no analgesia. In addition, increased pain intensity ratings after the stressor indicated hyperalgesia (SIH) in the patients with CMP compared to controls. An exploratory analysis showed no significant association of SIA or SIH with spatial pain extent. We did not observe significant changes in pain tolerance or pain unpleasantness ratings after the stressor in patients with CMP or controls. Our data suggest that altered stress-induced pain modulation is an important mechanism involved in CMP. Future studies need to clarify the psychobiological mechanisms of these stress-induced alterations in pain processing and determine the role of contributing factors such as early childhood trauma, catastrophizing, comorbidity with mental disorders and genetic predisposition.


title: The binaries of the NS-NS merging events

abstract: We discuss in this contribution some issues of the NS-NS merging events, emphasizing that the data and independent evidence gathered from NS mass distribution suggest an asymmetric system as the progenitor of GW170817. The issue of the maximum static NS mass (likely found in redback-black widow systems) is in tension with the value related to this particular event.


title: A Large Scale Approach to Decomposition Spaces

abstract: Decomposition spaces are a class of function spaces constructed out of well-behaved coverings and partitions of unity of a set. The structure of the covering of the set determines the properties of the decomposition space. Besov spaces, shearlet spaces and modulation spaces are well-known decomposition spaces. In this paper we focus on the geometric aspects of decomposition spaces and utilize that these are naturally captured by the large scale properties of a metric space, the covered space, associated to a covering of a set. We demonstrate that decomposition spaces constructed out of quasi-isometric covered spaces have many geometric features in common. The notion of geometric embedding is introduced to formalize the way one decomposition space can be embedded into another decomposition space while respecting the geometric features of the coverings. Some consequences of the large scale approach to decomposition spaces are (i) comparison of coverings of different sets, (ii) study of embeddings of decomposition spaces based on the geometric features and the symmetries of the coverings and (iii) the use of notions from large scale geometry, such as asymptotic dimension or hyperbolicity, to study the properties of decomposition spaces.


title: Class field theory, Diophantine analysis and the asymptotic Fermat's Last Theorem

abstract: Recent results of Freitas, Kraus, Sengun and Siksek, give sufficient criteria for the asymptotic Fermat's Last Theorem to hold over a specific number field. Those works in turn build on many deep theorems in arithmetic geometry. In this paper we combine the aforementioned results with techniques from class field theory, the theory of p-groups and p-extensions, Diophantine approximation and linear forms in logarithms, to establish the asymptotic Fermat's Last Theorem for many infinite families of number fields, and for thousands of number fields of small degree. For example, we prove the effective asymptotic Fermat's Last Theorem for the infinite family of fields $\mathbb{Q}(\zeta_{2^r})^+$.


title: Gapless spin excitations in superconducting La$_{2-x}$Ca$_{1+x}$Cu$_{2}$O$_{6}$ with $T_c$ up to 55 K

abstract: We report inelastic neutron scattering on single crystals of the bilayer cuprate family La$_{2-x}$Ca$_{1+x}$Cu$_{2}$O$_{6+\delta}$, including two crystals made superconducting (transitions at 45 and 55 K) by high-pressure annealing in an oxygen-containing atmosphere. The magnetic excitations in the non-superconducting crystal have a similar temperature-dependence as those in weakly hole-doped cuprates. In the superconducting crystals, there is a near-uniform suppression of the magnetic spectral weight with increasing temperature; in particular, there are no signs of a spin gap or "resonance" peak. This is different from the temperature dependence seen in many optimally-doped cuprates but similar to the behavior seen in certain underdoped cuprates. We discuss the possible connection with pair-density-wave superconductivity.


title: Multivariate Tight Wavelet Frames with Few Generators and High Vanishing Moments

abstract: Tight wavelet frames are computationally and theoretically attractive, but most existing multivariate constructions have various drawbacks, including low vanishing moments for the wavelets, or a large number of wavelet masks. We further develop existing work combining sums of squares representations with tight wavelet frame construction, and present a new and general method for constructing such frames. Focusing on the case of box splines, we also demonstrate how the flexibility of our approach can lead to tight wavelet frames with high numbers of vanishing moments for all of the wavelet masks, while still having few highpass masks: in fact, we match the best known upper bound on the number of highpass masks for general box spline tight wavelet frame constructions, while typically achieving much better vanishing moments for all of the wavelet masks, proving a nontrivial lower bound on this quantity.


title: Local Whittaker-Newforms for GSp(4) matching to Langlands parameters

abstract: We extend the local newform theory of B. Roberts and R. Schmidt for generic, irreducible, admissible representations of PGSp(4) to that for GSp(4). The newform matches to the Langlands parameter.


title: AdaLinUCB: Opportunistic Learning for Contextual Bandits

abstract: In this paper, we propose and study opportunistic contextual bandits - a special case of contextual bandits where the exploration cost varies under different environmental conditions, such as network load or return variation in recommendations. When the exploration cost is low, so is the actual regret of pulling a sub-optimal arm (e.g., trying a suboptimal recommendation). Therefore, intuitively, we could explore more when the exploration cost is relatively low and exploit more when the exploration cost is relatively high. Inspired by this intuition, for opportunistic contextual bandits with Linear payoffs, we propose an Adaptive Upper-Confidence-Bound algorithm (AdaLinUCB) to adaptively balance the exploration-exploitation trade-off for opportunistic learning. We prove that AdaLinUCB achieves O((log T)^2) problem-dependent regret upper bound, which has a smaller coefficient than that of the traditional LinUCB algorithm. Moreover, based on both synthetic and real-world dataset, we show that AdaLinUCB significantly outperforms other contextual bandit algorithms, under large exploration cost fluctuations.


title: Tropicalizing the moduli space of spin curves

abstract: We study the tropicalization of the moduli space of algebraic spin curves, exhibit its combinatorial stratification and prove that the strata are irreducible. We construct the moduli space of tropical spin curves, prove that it is isomorphic to the skeleton of the Berkovich analytification of the moduli space of algebraic spin curves, and give a geometric interpretation of the retraction map in terms of a tropicalization map.


title: Current-phase relations of InAs nanowire Josephson junctions: from interacting to multi-mode regimes

abstract: Gate-tunable semiconductor-superconductor nanowires with superconducting leads form exotic Josephson junctions that are a highly desirable platform for two types of qubits: those with topological superconductivity (Majorana qubits) and those based on tunable anharmonicity (gatemon qubits). Controlling their behavior, however, requires understanding their electrostatic environment and electronic structure. Here we study gated InAs nanowires with epitaxial aluminum shells. By measuring current-phase relations (CPR) and comparing them with analytical and numerical calculations, we show that we can tune the number of modes, determine the transparency of each mode, and tune into regimes in which electron-electron interactions are apparent, indicating the presence of a quantum dot. To take into account electrostatic and geometrical effects, we perform microscopic self-consistent Schrodinger-Poisson numerical simulations, revealing the energy spectrum of Andreev states in the junction as well as their spatial distribution. Our work systematically demonstrates the effect of device geometry, gate voltage and phase bias on mode behavior, providing new insights into ongoing experimental efforts and predictive device design.


title: LIGO/Virgo Black Holes from a First Order QCD Phase Transition

abstract: We propose that $O(10 M_{\rm Sun})$ black holes observed by LIGO/Virgo originate from a first order QCD phase transition at a temperature $T_* \lesssim 100$~MeV. This is realized by keeping the quark masses small compared to confinement scale down to $T\sim T_*$, making QCD transition first order. We implement this scenario using a light scalar that could potentially be a good dark matter candidate.


title: Dispersionless Limits of Some Integrable Equations

abstract: This is a write-up of the lectures on dispersionless equations in 1+1, 2+1 and 3+1 dimensions presented by one of us (RM) at "Eurasian International Center for Theoretical Physics" (EICTP). We provide pedagogical introduction to the subject and summarize well-known results and some recent developments in theory of integrable dispersionless equations. Almost all results presented are available in the literatures. We just add some new results related to dispersionless limits of integrable magnetic equations. On the contrary, some of the basic tools of the integrable dispersionless systems and related theoretical techniques are not available in a pedagogical format. For this reason we think that it seems worthwhile to present basics of theory of dispersionless equations here for the benefit of beginner students. We begin with a detailed exposition of the well-known dispersionless systems like dKdVE, dNLSE, dKPE, dDSE and other classical soliton equations. We present in detail some new dispersionless systems. Next we develop the dispersionless limits of known magnetic equations. Lastly, we discuss in full detail the Lax representation formulation of some presented dispersionless equations. On the basis of the material presented here one can proceed smoothly to read the recent developments in this field of integrable dispersionless equations and related topics.


title: Simulating Forces - Learning Through Touch, Virtual Laboratories

abstract: With the expansion of e-learning course curricula and the affordability of haptic devices, at-home virtual laboratories are emerging as an increasingly viable option for e-learners. We outline three novel haptic simulations for the introductory physics concepts of friction, the Coriolis Effect, and Precession. These simulations provide force feedback through one or more Novint Falcon devices, allowing students to "feel" the forces at work in a controlled learning environment. This multi-modal approach to education (beyond the audiovisual) may lead to increased interest and immersion for e-learners and appeal to the kinesthetic learners who may struggle in a traditional e-learning course setting.


title: Optimizing and Evaluating Transient Gradual Typing

abstract: Gradual typing enables programmers to combine static and dynamic typing in the same language. However, ensuring a sound interaction between the static and dynamic parts can incur significant runtime cost. In this paper, we perform a detailed performance analysis of the transient gradual typing approach implemented in Reticulated Python, a gradually typed variant of Python. The transient approach inserts lightweight checks throughout a program rather than installing proxies on higher order values. We show that, when running Reticulated Python and the transient approach on CPython, performance decreases as programs evolve from dynamic to static types, up to a 6x slowdown compared to equivalent Python programs. To reduce this overhead, we design a static analysis and optimization that removes redundant runtime checks. The optimization employs a static type inference algorithm that solves traditional subtyping constraints and also a new kind of check constraint. We evaluate the resulting performance and find that for many programs, the efficiency of partially typed programs is close to their untyped counterparts, removing most of the slowdown of transient checks. Finally, we measure the efficiency of Reticulated Python programs when running on PyPy, a tracing JIT. We find that combining PyPy with our type inference algorithm reduces the overall overhead to zero.


title: Integrable Floquet Hamiltonian for a Periodically Tilted 1D Gas

abstract: An integrable model subjected to a periodic driving gives rise generally to a non-integrable Floquet Hamiltonian. Here we show that the Floquet Hamiltonian of the integrable Lieb--Liniger model in presence of a linear potential with a periodic time--dependent strength is instead integrable and its quasi-energies can be determined using the Bethe ansatz approach. We discuss various aspects of the dynamics of the system at stroboscopic times and we also propose a possible experimental realisation of the periodically driven tilting in terms of a shaken rotated ring potential.


title: Class-independent sequential full image segmentation, using a convolutional net that finds a segment within an attention region, given a pointer pixel within this segment

abstract: This work examines the use of a fully convolutional net (FCN) to find an image segment, given a pixel within this segment region. The net receives an image, a point in the image and a region of interest (RoI ) mask. The net output is a binary mask of the segment in which the point is located. The region where the segment can be found is contained within the input RoI mask. Full image segmentation can be achieved by running this net sequentially, region-by-region on the image, and stitching the output segments into a single segmentation map. This simple method addresses two major challenges of image segmentation: 1) Segmentation of unknown categories that were not included in the training set. 2) Segmentation of both individual object instances (things) and non-objects (stuff), such as sky and vegetation. Hence, if the pointer pixel is located within a person in a group, the net will output a mask that covers that individual person; if the pointer point is located within the sky region, the net returns the region of the sky in the image. This is true even if no example for sky or person appeared in the training set. The net was tested and trained on the COCO panoptic dataset and achieved 67% IOU for segmentation of familiar classes (that were part of the net training set) and 53% IOU for segmentation of unfamiliar classes (that were not included in the training).


title: Anisotropic work function of elemental crystals

abstract: The work function is a fundamental electronic property of a solid that varies with the facets of a crystalline surface. It is a crucial parameter in spectroscopy as well as materials design, especially for technologies such as thermionic electron guns and Schottky barriers. In this work, we present the largest database of calculated work functions for elemental crystals to date. This database contains the anisotropic work functions of more than 100 polymorphs of about 72 elements and up to a maximum Miller index of two and three for non-cubic and cubic crystals, respectively. The database has been rigorously validated against previous experimental and computational data where available. We also propose a weighted work function based on the Wulff shape that can be compared to measurements from polycrystalline specimens, and show that this weighted work function can be modeled empirically using simple atomic parameters. Furthermore, for the first time, we were able to analyze simple bond breaking rules for metallic systems beyond a maximum Miller index of one, allowing for a more generalized investigation of work function anisotropy.


title: Finding big matchings in planar graphs quickly

abstract: It is well-known that every $n$-vertex planar graph with minimum degree 3 has a matching of size at least $\frac{n}{3}$. But all proofs of this use the Tutte-Berge-formula for the size of a maximum matching. Hence these proofs are not directly algorithmic, and to find such a matching one must apply a general-purposes maximum matching algorithm, which has run-time $O(n^{1.5}\alpha(n))$ for planar graphs. In contrast to this, this paper gives a linear-time algorithm that finds a matching of size at least $\frac{n}{3}$ in any planar graph with minimum degree 3.


title: Revealing a new region of gamma-ray emission in the vicinity of HESS J1825-137

abstract: HESS J1825-137 is a bright very-high-energy (VHE) gamma-ray source that has been firmly established as a pulsar wind nebula (PWN), and one of the most extended gamma-ray objects within this category. The progenitor supernova remnant (SNR) for this PWN has not been firmly established. We carried out an analysis of gamma-ray observations in the region of HESS J1825-137 with the Fermi-LAT which reveal emission in the direction away from the Galactic plane. The region lies beyond the PWN and reaches a distance from the pulsar compatible with the supposed location of the SNR shock front. The spectrum of the gamma-rays is hard with a photon index of $\sim 1.9$ in the 10-250 GeV range. Several scenarios for the origin of the emission are discussed, including the SNR as a source of high-energy particles and the "leakage"' of leptons from the PWN.


title: Learning Dual Retrieval Module for Semi-supervised Relation Extraction

abstract: Relation extraction is an important task in structuring content of text data, and becomes especially challenging when learning with weak supervision---where only a limited number of labeled sentences are given and a large number of unlabeled sentences are available. Most existing work exploits unlabeled data based on the ideas of self-training (i.e., bootstrapping a model) and multi-view learning (e.g., ensembling multiple model variants). However, these methods either suffer from the issue of semantic drift, or do not fully capture the problem characteristics of relation extraction. In this paper, we leverage a key insight that retrieving sentences expressing a relation is a dual task of predicting relation label for a given sentence---two tasks are complementary to each other and can be optimized jointly for mutual enhancement. To model this intuition, we propose DualRE, a principled framework that introduces a retrieval module which is jointly trained with the original relation prediction module. In this way, high-quality samples selected by retrieval module from unlabeled data can be used to improve prediction module, and vice versa. Experimental results\footnote{\small Code and data can be found at \url{https://github.com/INK-USC/DualRE}.} on two public datasets as well as case studies demonstrate the effectiveness of the DualRE approach.


title: Analysis of the alternating direction method of multipliers for nonconvex problems

abstract: This work investigates the theoretical performance of the alternating-direction method of multipliers (ADMM) as it applies to nonconvex optimization problems, and in particular, problems with nonconvex constraint sets. The alternating direction method of multipliers is an optimization method that has largely been analyzed for convex problems. The ultimate goal is to assess what kind of theoretical convergence properties the method has in the nonconvex case, and to this end, theoretical contributions are two-fold. First, this work analyzes the method with local solution of the ADMM subproblems, which contrasts with much analysis that requires global solutions of the subproblems. Such a consideration is important to practical implementations. Second, it is established that the method still satisfies a local convergence result. The work concludes with some more detailed discussion of how the analysis relates to previous work.


title: Mixture Models for Diverse Machine Translation: Tricks of the Trade

abstract: Mixture models trained via EM are among the simplest, most widely used and well understood latent variable models in the machine learning literature. Surprisingly, these models have been hardly explored in text generation applications such as machine translation. In principle, they provide a latent variable to control generation and produce a diverse set of hypotheses. In practice, however, mixture models are prone to degeneracies---often only one component gets trained or the latent variable is simply ignored. We find that disabling dropout noise in responsibility computation is critical to successful training. In addition, the design choices of parameterization, prior distribution, hard versus soft EM and online versus offline assignment can dramatically affect model performance. We develop an evaluation protocol to assess both quality and diversity of generations against multiple references, and provide an extensive empirical study of several mixture model variants. Our analysis shows that certain types of mixture models are more robust and offer the best trade-off between translation quality and diversity compared to variational models and diverse decoding approaches.\footnote{Code to reproduce the results in this paper is available at \url{https://github.com/pytorch/fairseq}}


title: Audio-Linguistic Embeddings for Spoken Sentences

abstract: We propose spoken sentence embeddings which capture both acoustic and linguistic content. While existing works operate at the character, phoneme, or word level, our method learns long-term dependencies by modeling speech at the sentence level. Formulated as an audio-linguistic multitask learning problem, our encoder-decoder model simultaneously reconstructs acoustic and natural language features from audio. Our results show that spoken sentence embeddings outperform phoneme and word-level baselines on speech recognition and emotion recognition tasks. Ablation studies show that our embeddings can better model high-level acoustic concepts while retaining linguistic content. Overall, our work illustrates the viability of generic, multi-modal sentence embeddings for spoken language understanding.


title: Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

abstract: This volume contains the formal proceedings of the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), held on 8th of Juli 2018 in Oxford, United Kingdom, and affiliated with FLoC 2018 and FSCD 2018. Scope of WPTE: Rewriting techniques are of great help for studying correctness of program transformations, translations and evaluation, and the aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics in the scope of WPTE include the correctness of program transformations, optimisations and translations; program transformations for proving termination, confluence and other properties; correctness of evaluation strategies; operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations; cost-models for reasoning about the optimizing power of transformations and the costs of evaluation; program transformations for verification and theorem proving purposes; translation, simulation, equivalence of programs with different formalisms, and evaluation strategies; program transformations for applying rewriting techniques to programs in specific programming languages; program transformations for program inversions and program synthesis; program transformation and evaluation for Haskell and rewriting. Research Paper Selection: At the workshop six research papers were presented of which five were accepted for the postproceedings. Each submission was reviewed by three or four members of the Program Committee in two to three rounds, one round for workshop presentation and at most two rounds for publication to the postproceedings. The program also included one invited talk by Jean-Pierre Jouannaud (Polytec, Palaiseau, Grand Paris, France) on a framework for graph rewriting; the abstract of this talk is included in this volume.


title: On the existence of dense substructures in finite groups

abstract: Fix $k \geq 6$. We prove that any large enough finite group $G$ contains $k$ elements which span quadratically many triples of the form $(a,b,ab) \in S \times G$, given any dense set $S \subseteq G \times G$. The quadratic bound is asymptotically optimal. In particular, this provides an elementary proof of a special case of a conjecture of Brown, Erd\H{o}s and S\'{o}s. We remark that the result was recently discovered independently by Nenadov, Sudakov and Tyomkyn.


title: To Retransmit or Not: Real-Time Remote Estimation in Wireless Networked Control

abstract: Real-time remote estimation is critical for mission-critical applications including industrial automation, smart grid, and the tactile Internet. In this paper, we propose a hybrid automatic repeat request (HARQ)-based real-time remote estimation framework for linear time-invariant (LTI) dynamic systems. Considering the estimation quality of such a system, there is a fundamental tradeoff between the reliability and freshness of the sensor's measurement transmission. When a failed transmission occurs, the sensor can either retransmit the previous old measurement such that the receiver can obtain a more reliable old measurement, or transmit a new but less reliable measurement. To design the optimal decision, we formulate a new problem to optimize the sensor's online decision policy, i.e., to retransmit or not, depending on both the current estimation quality of the remote estimator and the current number of retransmissions of the sensor, so as to minimize the long-term remote estimation mean-squared error (MSE). This problem is non-trivial. In particular, it is not clear what the condition is in terms of the communication channel quality and the LTI system parameters, to ensure that the long-term estimation MSE can be bounded. We give a sufficient condition of the existence of a stationary and deterministic optimal policy that stabilizes the remote estimation system and minimizes the MSE. Also, we prove that the optimal policy has a switching structure, and derive a low-complexity suboptimal policy. Our numerical results show that the proposed optimal policy notably improves the performance of the remote estimation system compared to the conventional non-HARQ policy.


title: Deep Speaker Embedding Learning with Multi-Level Pooling for Text-Independent Speaker Verification

abstract: This paper aims to improve the widely used deep speaker embedding x-vector model. We propose the following improvements: (1) a hybrid neural network structure using both time delay neural network (TDNN) and long short-term memory neural networks (LSTM) to generate complementary speaker information at different levels; (2) a multi-level pooling strategy to collect speaker information from both TDNN and LSTM layers; (3) a regularization scheme on the speaker embedding extraction layer to make the extracted embeddings suitable for the following fusion step. The synergy of these improvements are shown on the NIST SRE 2016 eval test (with a 19% EER reduction) and SRE 2018 dev test (with a 9% EER reduction), as well as more than 10% DCF scores reduction on these two test sets over the x-vector baseline.


title: Memristor Circuits for Simulating Nonlinear Dynamics and Their Periodic Forcing

abstract: In this paper, we show that the dynamics of a wide variety of nonlinear systems such as engineering, physical, chemical, biological, and ecological systems, can be simulated or modeled by the dynamics of memristor circuits. It has the advantage that we can apply nonlinear circuit theory to analyze the dynamics of memristor circuits. Applying an external source to these memristor circuits, they exhibit complex behavior, such as chaos and non-periodic oscillation. If the memristor circuits have an integral invariant, they can exhibit quasi-periodic or non-periodic behavior by the sinusoidal forcing. Their behavior greatly depends on the initial conditions, the parameters, and the maximum step size of the numerical integration. Furthermore, an overflow is likely to occur due to the numerical instability in long-time simulations. In order to generate a non-periodic oscillation, we have to choose the initial conditions, the parameters, and the maximum step size, carefully. We also show that we can reconstruct chaotic attractors by using the terminal voltage and current of the memristor. Furthermore, in many memristor circuits, the active memristor switches between passive and active modes of operation, depending on its terminal voltage. We can measure its complexity order by defining the binary coding for the operation modes. By using this coding, we show that in the forced memristor Toda lattice equations, the memristor's operation modes exhibit the higher complexity. Furthermore, in the memristor Chua circuit, the memristor has the special operation modes.


title: Stable and Fair Classification

abstract: Fair classification has been a topic of intense study in machine learning, and several algorithms have been proposed towards this important task. However, in a recent study, Friedler et al. observed that fair classification algorithms may not be stable with respect to variations in the training dataset -- a crucial consideration in several real-world applications. Motivated by their work, we study the problem of designing classification algorithms that are both fair and stable. We propose an extended framework based on fair classification algorithms that are formulated as optimization problems, by introducing a stability-focused regularization term. Theoretically, we prove a stability guarantee, that was lacking in fair classification algorithms, and also provide an accuracy guarantee for our extended framework. Our accuracy guarantee can be used to inform the selection of the regularization parameter in our framework. To the best of our knowledge, this is the first work that combines stability and fairness in automated decision-making tasks. We assess the benefits of our approach empirically by extending several fair classification algorithms that are shown to achieve the best balance between fairness and accuracy over the Adult dataset. Our empirical results show that our framework indeed improves the stability at only a slight sacrifice in accuracy.


title: $\epsilon$-Strong Simulation of Fractional Brownian Motion and Related Stochastic Differential Equations

abstract: Consider the fractional Brownian Motion (fBM) $B^H=\{B^H(t): t \in [0,1] \}$ with Hurst index $H\in (0,1)$. We construct a probability space supporting both $B^H$ and a fully simulatable process $\hat B_{\epsilon}^H $ such that $$\sup_{t\in [0,1]}|B^H(t)-\hat B_{\epsilon}^H(t)| \le \epsilon$$ with probability one for any user specified error parameter $\epsilon>0$. When $H>1/2$, we further enhance our error guarantee to the $\alpha$-H\"older norm for any $\alpha \in (1/2,H)$. This enables us to extend our algorithm to the simulation of fBM driven stochastic differential equations $Y=\{Y(t):t \in[0,1]\}$. Under mild regularity conditions on the drift and diffusion coefficients of $Y$, we construct a probability space supporting both $Y$ and a fully simulatable process $\hat Y_{\epsilon}$ such that $$\sup_{t\in [0,1]}|Y(t)-\hat Y_{\epsilon}^H(t)| \le \epsilon$$ with probability one. Our algorithms enjoy the tolerance-enforcement feature, i.e., the error bounds can be updated sequentially. Thus, the algorithms can be readily combined with other simulation techniques like multilevel Monte Carlo to estimate expectation of functionals of fBMs efficiently.


title: Constraining the Parameter Space of a Quantum Spin Liquid Candidate in Applied Field with Iterative Optimization

abstract: The quantum spin liquid (QSL) state is an exotic state of matter featuring a high degree of entanglement and lack of long-range magnetic order in the zero-temperature limit. The triangular antiferromagnet YbMgGaO4 is a candidate QSL host, and precise determination of the Hamiltonian parameters is critical to understanding the nature of the possible ground states. However, the presence of chemical disorder has made directly measuring these parameters challenging. Here we report neutron scattering and magnetic susceptibility measurements covering a broad range of applied magnetic field at low temperature. Our data shows a field-induced crossover in YbMgGaO4, which we reproduce with complementary classical Monte Carlo and Density Matrix Renormalization Group simulations. Neutron scattering data above and below the crossover reveal a shift in scattering intensity from M to K points and, collectively, our measurements provide essential characteristics of the phase crossover that we employ to strictly constrain proposed magnetic Hamiltonian parameters despite the chemical disorder. Constrained exchange parameters further suggest the material's proximity to the QSL state in the clean limit. More broadly, our approach demonstrates a means of pursuing QSL candidates where Hamiltonian parameters might otherwise be obscured by disorder.


title: Certainty Equivalence is Efficient for Linear Quadratic Control

abstract: We study the performance of the certainty equivalent controller on Linear Quadratic (LQ) control problems with unknown transition dynamics. We show that for both the fully and partially observed settings, the sub-optimality gap between the cost incurred by playing the certainty equivalent controller on the true system and the cost incurred by using the optimal LQ controller enjoys a fast statistical rate, scaling as the square of the parameter error. To the best of our knowledge, our result is the first sub-optimality guarantee in the partially observed Linear Quadratic Gaussian (LQG) setting. Furthermore, in the fully observed Linear Quadratic Regulator (LQR), our result improves upon recent work by Dean et al. (2017), who present an algorithm achieving a sub-optimality gap linear in the parameter error. A key part of our analysis relies on perturbation bounds for discrete Riccati equations. We provide two new perturbation bounds, one that expands on an existing result from Konstantinov et al. (1993), and another based on a new elementary proof strategy.


title: An exact time-dependent interior Schwarzschild solution

abstract: We present a time-dependent uniform-density interior Schwarzschild solution, an exact solution to the Einstein field equations. Our solution describes the collapse (or the time-reversed expansion) of an object from an infinite radius to an intermediate radius of 9/8 of the Schwarzschild radius, at which time a curvature singularity appears at the origin, and then continues beyond the singularity to a gravastar with radius equal to the Schwarzschild radius.


title: Correspondence Analysis Using Neural Networks

abstract: Correspondence analysis (CA) is a multivariate statistical tool used to visualize and interpret data dependencies. CA has found applications in fields ranging from epidemiology to social sciences. However, current methods used to perform CA do not scale to large, high-dimensional datasets. By re-interpreting the objective in CA using an information-theoretic tool called the principal inertia components, we demonstrate that performing CA is equivalent to solving a functional optimization problem over the space of finite variance functions of two random variable. We show that this optimization problem, in turn, can be efficiently approximated by neural networks. The resulting formulation, called the correspondence analysis neural network (CA-NN), enables CA to be performed at an unprecedented scale. We validate the CA-NN on synthetic data, and demonstrate how it can be used to perform CA on a variety of datasets, including food recipes, wine compositions, and images. Our results outperform traditional methods used in CA, indicating that CA-NN can serve as a new, scalable tool for interpretability and visualization of complex dependencies between random variables.


title: Minimization of a Class of Rare Event Probabilities and Buffer Probabilities of Exceedance

abstract: We consider the problem of choosing design parameters to minimize the probability of an undesired rare event that is described through the average of $n$ iid random variables. Since the probability of interest for near optimal design parameters is very small, one needs to develop suitable accelerated Monte-Carlo methods for estimating the objective function of interest. One of the challenges in the study is that simulating from exponential twists of the laws of the summands may be computationally demanding since these transformed laws may be non-standard and intractable. We consider a setting where the summands are given as a nonlinear functional of random variables that are more tractable for importance sampling in that the exponential twists of their distributions take a simpler form (than that for the original summands). We also study the closely related problem of estimating buffered probability of exceedance and provide the first rigorous results that relate the asymptotics of buffered probability and that of the ordinary probability under a large deviation scaling. The analogous minimization problem for buffered probability, under conditions, can be formulated as a convex optimization problem which makes it more tractable than the original optimization problem. We show that, under conditions, changes of measures that are asymptotically efficient (under the large deviation scaling) for estimating ordinary probability are also asymptotically efficient for estimating the buffered probability of exceedance. We embed the constructed importance sampling scheme in suitable gradient descent/ascent algorithms for solving the optimization problems of interest. Implementation of schemes for some examples is illustrated through computational experiments.


title: Deep Multi-modal Object Detection and Semantic Segmentation for Autonomous Driving: Datasets, Methods, and Challenges

abstract: Recent advancements in perception for autonomous driving are driven by deep learning. In order to achieve robust and accurate scene understanding, autonomous vehicles are usually equipped with different sensors (e.g. cameras, LiDARs, Radars), and multiple sensing modalities can be fused to exploit their complementary properties. In this context, many methods have been proposed for deep multi-modal perception problems. However, there is no general guideline for network architecture design, and questions of "what to fuse", "when to fuse", and "how to fuse" remain open. This review paper attempts to systematically summarize methodologies and discuss challenges for deep multi-modal object detection and semantic segmentation in autonomous driving. To this end, we first provide an overview of on-board sensors on test vehicles, open datasets, and background information for object detection and semantic segmentation in autonomous driving research. We then summarize the fusion methodologies and discuss challenges and open questions. In the appendix, we provide tables that summarize topics and methods. We also provide an interactive online platform to navigate each reference: https://boschresearch.github.io/multimodalperception/.


title: Predicting ConceptNet Path Quality Using Crowdsourced Assessments of Naturalness

abstract: In many applications, it is important to characterize the way in which two concepts are semantically related. Knowledge graphs such as ConceptNet provide a rich source of information for such characterizations by encoding relations between concepts as edges in a graph. When two concepts are not directly connected by an edge, their relationship can still be described in terms of the paths that connect them. Unfortunately, many of these paths are uninformative and noisy, which means that the success of applications that use such path features crucially relies on their ability to select high-quality paths. In existing applications, this path selection process is based on relatively simple heuristics. In this paper we instead propose to learn to predict path quality from crowdsourced human assessments. Since we are interested in a generic task-independent notion of quality, we simply ask human participants to rank paths according to their subjective assessment of the paths' naturalness, without attempting to define naturalness or steering the participants towards particular indicators of quality. We show that a neural network model trained on these assessments is able to predict human judgments on unseen paths with near optimal performance. Most notably, we find that the resulting path selection method is substantially better than the current heuristic approaches at identifying meaningful paths.


title: Effects of the removal of Ta capping layer on the magnetization dynamics of Permalloy thin films

abstract: We have investigated the spin wave dynamics of Permalloy (Py) thin films with and without a Ta capping layer for varying Py thickness (15 nm, 20 nm and 30 nm) using all optical time-resolved magneto-optical Kerr effect measurements. XPS measurements confirm the oxidation of the originally-prepared samples and also that the removal of the Ta capping layer is achievable by a few sputtering cycles. The magnetic field strength dependencies of the spin wave modes with the variation of the Py film thickness for the samples are studied. We observe that the presence of the Ta capping layer reduces the precessional frequencies of the samples while the samples without a Ta capping layer enhance the role of Py thickness. We also observe that the decay time of spin waves is highly dependent on the top layer of the samples. The decay time increases with increasing Py thicknesses for Ta/Py/Ta samples implying that the enhancement of decay time is caused by the Ta/Py/Ta interfaces. Whereas, for Ta/Py samples the decay time decreases with increasing Py thickness. The results of this work extend the knowledge on the magnetization dynamics of Py thin films giving information on how to resume and even enhance the spin mobility after a deleterious oxidation process. This can open new scenarios on the building process and on the maintenance of fast magnetic switching devices.


title: Validated computations for connecting orbits in polynomial vector fields

abstract: In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of local charts on the (un)stable manifolds by using the Parameterization Method and to use Chebyshev series to parameterize the orbit in between, which solves a boundary value problem. The existence of a heteroclinic orbit can then be established by setting up an appropriate fixed-point problem amenable to computer-assisted analysis. The fixed point problem simultaneously solves for the local (un)stable manifolds and the orbit which connects these. We obtain explicit rigorous control on the distance between the numerical approximation and the heteroclinic orbit. Transversality of the stable and unstable manifolds is also proven.


title: Life, death, new species and children from a "Quantum Game of Life"

abstract: The classical "game of life" (GOL) due to Conway is a famous mathematical game constructed as a two-dimensional cellular automaton in which each cell is either alive or dead. A set of evolutionary rules determines whether a cell dies, survives or is born at each generation based on its local environment. The game of life is interesting because complexity emerges from simple rules and mimics real life in that a cell flourishes only if the environment is "just right" producing a breadth of life-like behavior including multi-cellular lifeforms. Results are presented from a quantum adaptation of the GOL which assigns a qubit to each cell which then evolves according to modified evolutionary rules. Computer simulation reveals remarkable evolutionary complexity that is distinct from the classical GOL and which mimics aspects of quantum biological processes and holds promise for the realistic simulation of species population dynamics. Liveness emerges as a probability density with universal statistical properties dependent solely on the evolutionary rules. New species of quantum lifeform are found. One quantum lifeform is shown to act as a seed to produce children, one or more classical and/or quantum lifeforms, classical oscillators, a liveness probability density or death with outcomes highly sensitive to the initial state. We observe the emergence of chaos and scaling phenomena making the quantum game of life an exciting prospect for further exploration as a model for life-like behaviors.


title: The semi-quantum game of life

abstract: Conway's classic game of life is a two-dimensional cellular automaton in which each cell, either alive or dead, evolves according to rules based on its local environment. The semi-quantum game of life (SQGOL) is an adaptation in which each cell is in a superposed state of both dead and alive and evolves according to modified rules. Computer simulation of the SQGOL reveals remarkable complexity and previously unseen game behaviors. Systems evolve to a "quantum cloud" with a liveness distribution of mean $<\!a\!>=0.3480\pm0.0001$ and standard deviation $\sigma =0.0071$ which is dependent solely on the evolutionary rules. Transient lifeforms emerge from the cloud. Semi-quantum still-lifes are discovered including the qutub which contains 4 live cells and 4 semi-quantum cells. A solitary qutub placed in an otherwise empty universe may act as a seed to reproduce child qutubs, one or more classical and/or semi-quantum lifeforms, oscillators, a quantum cloud or death depending on the initial state. Evolution to the quantum cloud occurs chaotically with floating-point errors providing the butterfly effect. Evolutionary outcomes scale in a fractal-like manner.


title: ERSFQ 8-bit Parallel Binary Shifter for Energy-Efficient Superconducting CPU

abstract: We have designed and tested a parallel 8-bit ERSFQ binary shifter that is one of the essential circuits in the design of the energy-efficient superconducting CPU. The binary shifter performs a bi-directional SHIFT instruction of an 8-bit argument. It consists of a bi-direction triple-port shift register controlled by two (left and right) shift pulse generators asynchronously generating a set number of shift pulses. At first clock cycle, an 8-bit word is loaded into the binary shifter and a 3-bit shift argument is loaded into the desired shift-pulse generator. Next, the generator produces the required number of shift SFQ pulses (from 0 to 7) asynchronously, with a repetition rate set by the internal generator delay of ~ 30 ps. These SFQ pulses are applied to the left (positive) or the right (negative) input of the binary shifter. Finally, after the shift operation is completed, the resulting 8-bit word goes to the parallel output. The complete 8-bit ERSFQ binary shifter, consisting of 820 Josephson junctions, was simulated and optimized using PSCAN2. It was fabricated in MIT Lincoln Lab 10-kA/cm2 SFQ5ee fabrication process with a high-kinetic inductance layer. We have successfully tested the binary shifter at both the LSB-to-MSB and MSB-to-LSB propagation regimes for all eight shift arguments. A single shift operation on a single input word demonstrated operational margins of +/-16% of the dc bias current. The correct functionality of the 8-bit ERSFQ binary shifter with the large, exhaustive data pattern was observed within +/-10% margins of the dc bias current. In this paper, we describe the design and present the test results for the ERSFQ 8-bit parallel binary shifter.


title: Cascade Feature Aggregation for Human Pose Estimation

abstract: Human pose estimation plays an important role in many computer vision tasks and has been studied for many decades. However, due to complex appearance variations from poses, illuminations, occlusions and low resolutions, it still remains a challenging problem. Taking the advantage of high-level semantic information from deep convolutional neural networks is an effective way to improve the accuracy of human pose estimation. In this paper, we propose a novel Cascade Feature Aggregation (CFA) method, which cascades several hourglass networks for robust human pose estimation. Features from different stages are aggregated to obtain abundant contextual information, leading to robustness to poses, partial occlusions and low resolution. Moreover, results from different stages are fused to further improve the localization accuracy. The extensive experiments on MPII datasets and LIP datasets demonstrate that our proposed CFA outperforms the state-of-the-art and achieves the best performance on the state-of-the-art benchmark MPII.


title: A genealogy of the translation planes of order 25

abstract: In 1992 Czerwinski and Oakden (The translation planes of order 25, J. Combin. Theory Ser. A, 59:193-217, 1992) provided an exhaustive list of all spreads of $PG(3,5)$ and thus of all translation planes of that order. At that time, the authors provided a partial correlation of these planes to those then-described in the literature, but the intervening years have provided additional construction techniques and classification results. This paper provides an extensive classification of these planes against the currently-known construction techniques, finding two planrs that do not belong to any current infinite family. The author provides additional details for these two planes to help put them in context, as a spur for further research.


title: Inference of a Multi-Domain Machine Learning Model to Predict Mortality in Hospital Stays for Patients with Cancer upon Febrile Neutropenia Onset

abstract: Febrile neutropenia (FN) has been associated with high mortality, especially among adults with cancer. Understanding the patient and provider level heterogeneity in FN hospital admissions has potential to inform personalized interventions focused on increasing survival of individuals with FN. We leverage machine learning techniques to disentangling the complex interactions among multi domain risk factors in a population with FN. Data from the Healthcare Cost and Utilization Project (HCUP) National Inpatient Sample and Nationwide Inpatient Sample (NIS) were used to build machine learning based models of mortality for adult cancer patients who were diagnosed with FN during a hospital admission. In particular, the importance of risk factors from different domains (including demographic, clinical, and hospital associated information) was studied. A set of more interpretable (decision tree, logistic regression) as well as more black box (random forest, gradient boosting, neural networks) models were analyzed and compared via multiple cross validation. Our results demonstrate that a linear prediction score of FN mortality among adults with cancer, based on admission information is effective in classifying high risk patients; clinical diagnoses is the domain with the highest predictive power. A number of the risk variables (e.g. sepsis, kidney failure, etc.) identified in this study are clinically actionable and may inform future studies looking at the patients prior medical history are warranted.


title: Sharp interface limit of a non-mass-conserving Cahn--Hilliard system with source terms and non-solenoidal Darcy flow

abstract: We study the sharp interface limit of a non-mass-conserving Cahn--Hilliard--Darcy system with the weak compactness method developed in Chen (J. Differential Geometry, 1996). The source term present in the Cahn--Hilliard component is a product of the order parameter and a prescribed function with zero spatial mean, leading to non-conservation of mass. Furthermore, the divergence of the velocity field is given by another prescribed function with zero spatial mean, which yields a coupling of the Cahn--Hilliard equation to a non-solenoidal Darcy flow. New difficulties arise in the derivation of uniform estimates due to the presence of the source terms, which can be circumvented if we consider the above specific structures. Moreover, due to the lack of mass-conservation, the analysis is valid as long as one phase does not vanish completely, leading to a local-in-time result. The sharp interface limit for a Cahn--Hilliard--Brinkman system is also discussed.


title: An empiric logic approach to Einstein's version of the double-slit experiment

abstract: As per Einstein's design, particles are introduced into the double-slit experiment through a small hole in a plate which can either move up and down (and its momentum can be measured) or be stopped (and its position can be measured). Suppose one measures the position of the plate and this act verifies the statement that the interference pattern is observed in the experiment. However, if it is possible to think about the outcome that one would have obtained if one had measured plate's momentum instead of its position, then it is possible to consider, together with the aforesaid statement, another statement that each particle passes through either slit of the double-slit screen. Hence, the proposition affirming the wave-like behavior and the proposition affirming the particle-like behavior might be true together, which would imply that Bohr's complementarity principle is incorrect. The analysis of Einstein's design and ways to refute it based on an approach that uses exclusively assignments of the truth values to experimental propositions is presented in this paper.


title: A review of elliptic difference Painlev\'e equations

abstract: Discrete Painlev\'e equations are nonlinear, nonautonomous difference equations of second-order. They have coefficients that are explicit functions of the independent variable $n$ and there are three different types of equations according to whether the coefficient functions are linear, exponential or elliptic functions of $n$. In this paper, we focus on the elliptic type and give a review of the construction of such equations on the $E_8$ lattice. The first such construction was given by Sakai \cite{SakaiH2001:MR1882403}. We focus on recent developments giving rise to more examples of elliptic discrete Painlev\'e equations.


title: Few-body systems in condensed matter physics

abstract: This review focuses on the studies and computations of few-body systems of electrons and holes in condensed matter physics. We analyze and illustrate the application of a variety of methods for description of two- three- and four-body excitonic complexes such as an exciton, trion and biexciton in three-, two- and one-dimensional configuration spaces in various types of materials. We discuss and analyze the contributions made over the years to understanding how the reduction of dimensionality affects the binding energy of excitons, trions and biexcitons in bulk and low dimensional semiconductors and address the challenges that still remain.


title: From the conformal self-duality equations to the Manakov-Santini system

abstract: Under two separate symmetry assumptions, we demonstrate explicitly how the equations governing a general anti-self-dual conformal structure in four dimensions can be reduced to the Manakov-Santini system, which determines the three-dimensional Einstein-Weyl structure on the space of orbits of symmetry. The two symmetries investigated are a non-null translation and a homothety, which are previously known to reduce the second heavenly equation to the Laplace's equation and the hyper-CR system, respectively. Reductions on the anti-self-dual null-K\"ahler condition are also explored in both cases.


title: A finite field approach to solving the Bethe Salpeter equation

abstract: We present a method to compute optical spectra and exciton binding energies of molecules and solids based on the solution of the Bethe-Salpeter equation (BSE) and the calculation of the screened Coulomb interaction in finite field. The method does not require the explicit evaluation of dielectric matrices nor of virtual electronic states, and can be easily applied without resorting to the random phase approximation. In addition it utilizes localized orbitals obtained from Bloch states using bisection techniques, thus greatly reducing the complexity of the calculation and enabling the efficient use of hybrid functionals to obtain single particle wavefunctions. We report exciton binding energies of several molecules and absorption spectra of condensed systems of unprecedented size, including water and ice samples with hundreds of atoms.


title: Stable Bayesian Optimisation via Direct Stability Quantification

abstract: In this paper we consider the problem of finding stable maxima of expensive (to evaluate) functions. We are motivated by the optimisation of physical and industrial processes where, for some input ranges, small and unavoidable variations in inputs lead to unacceptably large variation in outputs. Our approach uses multiple gradient Gaussian Process models to estimate the probability that worst-case output variation for specified input perturbation exceeded the desired maxima, and these probabilities are then used to (a) guide the optimisation process toward solutions satisfying our stability criteria and (b) post-filter results to find the best stable solution. We exhibit our algorithm on synthetic and real-world problems and demonstrate that it is able to effectively find stable maxima.


title: On the Statistics of the Ratio of Non-Constrained Arbitrary {\alpha}-{\mu} Random Variables: a General Framework and Applications

abstract: In this paper, we derive closed-form exact expressions for the main statistics of the ratio of squared alpha-mu random variables, which are of interest in many scenarios for future wireless networks where generalized distributions are more suitable to fit with field data. Importantly, different from previous proposals, our expressions are general in the sense that are valid for non constrained arbitrary values of the parameters of the alpha-mu distribution. Thus, the probability density function, cumulative distribution function, moment generating function, and higher order moments are given in terms of both (i) theFox H-function for which we provide a portable and efficient Wolfram Mathematica code and (ii) easily computable series expansions. Our expressions can be used straightforwardly in the performance analysis of a number of wireless communication systems, including either interference-limited scenarios, spectrum sharing, full-duplex or physical-layer security networks, for which we present the application of the proposed framework. Moreover, closed-form expressions for some classical distributions, derived as special cases from the alpha-mu distribution, are provided as byproducts. The validity of the proposed expressions is confirmed via Monte Carlo simulations.


title: Gradient Scheduling with Global Momentum for Non-IID Data Distributed Asynchronous Training

abstract: Distributed asynchronous offline training has received widespread attention in recent years because of its high performance on large-scale data and complex models. As data are distributed from cloud-centric to edge nodes, a big challenge for distributed machine learning systems is how to handle native and natural non-independent and identically distributed (non-IID) data for training. Previous asynchronous training methods do not have a satisfying performance on non-IID data because it would result in that the training process fluctuates greatly which leads to an abnormal convergence. We propose a gradient scheduling algorithm with partly averaged gradients and global momentum (GSGM) for non-IID data distributed asynchronous training. Our key idea is to apply global momentum and local average to the biased gradient after scheduling, in order to make the training process steady. Experimental results show that for non-IID data training under the same experimental conditions, GSGM on popular optimization algorithms can achieve a 20% increase in training stability with a slight improvement in accuracy on Fashion-Mnist and CIFAR-10 datasets. Meanwhile, when expanding distributed scale on CIFAR-100 dataset that results in sparse data distribution, GSGM can perform a 37% improvement on training stability. Moreover, only GSGM can converge well when the number of computing nodes grows to 30, compared to the state-of-the-art distributed asynchronous algorithms. At the same time, GSGM is robust to different degrees of non-IID data.


title: STFNets: Learning Sensing Signals from the Time-Frequency Perspective with Short-Time Fourier Neural Networks

abstract: Recent advances in deep learning motivate the use of deep neural networks in Internet-of-Things (IoT) applications. These networks are modelled after signal processing in the human brain, thereby leading to significant advantages at perceptual tasks such as vision and speech recognition. IoT applications, however, often measure physical phenomena, where the underlying physics (such as inertia, wireless signal propagation, or the natural frequency of oscillation) are fundamentally a function of signal frequencies, offering better features in the frequency domain. This observation leads to a fundamental question: For IoT applications, can one develop a new brand of neural network structures that synthesize features inspired not only by the biology of human perception but also by the fundamental nature of physics? Hence, in this paper, instead of using conventional building blocks (e.g., convolutional and recurrent layers), we propose a new foundational neural network building block, the Short-Time Fourier Neural Network (STFNet). It integrates a widely-used time-frequency analysis method, the Short-Time Fourier Transform, into data processing to learn features directly in the frequency domain, where the physics of underlying phenomena leave better foot-prints. STFNets bring additional flexibility to time-frequency analysis by offering novel nonlinear learnable operations that are spectral-compatible. Moreover, STFNets show that transforming signals to a domain that is more connected to the underlying physics greatly simplifies the learning process. We demonstrate the effectiveness of STFNets with extensive experiments. STFNets significantly outperform the state-of-the-art deep learning models in all experiments. A STFNet, therefore, demonstrates superior capability as the fundamental building block of deep neural networks for IoT applications for various sensor inputs.


title: Semileptonic and leptonic charm meson decays at Belle II

abstract: We review measurements of semileptonic and leptonic charm meson decays performed by the Belle experiment, and we use these results to estimate the sensitivity of the follow-on Belle II experiment to these decays.


title: Rate-Splitting for Multi-User Multi-Antenna Wireless Information and Power Transfer

abstract: In a multi-user multi-antenna Simultaneous Wireless Information and Power Transfer (SWIPT) network, the transmitter sends information to the Information Receivers (IRs) and energy to Energy Receivers (ERs) concurrently. A conventional approach is based on Multi-User Linear Precoding (MU--LP) where each IR directly decodes the intended stream by fully treating the interference from other IRs and ERs as noise. In this paper, we investigate the application of linearly-precoded Rate-Splitting (RS) in Multiple Input Single Output (MISO) SWIPT Broadcast Channel (BC). By splitting the messages of IRs into private and common parts and encoding the common parts into a common stream decoded by all IRs, RS manages the interference dynamically. The precoders are designed such that the Weighted Sum Rate (WSR) of IRs is maximized under the total transmit power constraint and the sum energy constraint for ERs. Numerical results show that the proposed RS-assisted strategy provides a better rate-energy tradeoff in MISO SWIPT BC. Under a sum energy constraint of ERs, RS-assisted strategy achieves better WSR performance of IRs than MU--LP and NOMA in a wide range of IR and ER deployments. Hence, we draw the conclusion that RS is superior for downlink SWIPT networks.


title: Transverse single spin asymmetry for very forward $\pi^{0}$ production in polarized proton-proton collisions at $\sqrt{s}$ = 510 GeV

abstract: Transverse single spin asymmetry, $A_{N}$, of very forward $\pi^{0}$ production from polarized $p + p$ collisions provides new information toward an understanding of its production mechanism. $A_{N}$ of forward $\pi^{0}$ in the pseudorapidity region of $3 < \eta < 4$ has been described by the partonic structure of the proton in the perturbative QCD framework. However, recent data indicates a potential contribution from not only partonic but also diffractive interactions. In order to provide a new insight on the origin of the $A_{N}$, we measured the very forward $\pi^{0}$ production in the pseudorapidity region of $6 < \eta$ from $\sqrt{s}$ = 510 GeV polarized $p + p$ collisions at RHIC in 2017. We report our measurement of the very forward $\pi^{0}$ over the transverse momentum range of $0 < p_{T} < 1$ GeV/$c$ and the preliminary result.


title: Contact and sum-rules in a near-uniform Fermi gas at unitarity

abstract: We present an experimental study of the high-energy excitation spectra of unitary Fermi gases. Using focussed beam Bragg spectroscopy, we locally probe atoms in the central region of a harmonically trapped cloud where the density is nearly uniform, enabling measurements of the dynamic structure factor for a range of temperatures both below and above the superfluid transition. Applying sum-rules to the measured Bragg spectra, we resolve the characteristic behaviour of the universal contact parameter, ${\cal C}$, across the superfluid transition. We also employ a recent theoretical result for the kinetic (second-moment) sum-rule to obtain the internal energy of gases at unitarity.


title: Numerical Method for Nonlinear Optical Spectroscopies: Ultrafast Ultrafast Spectroscopy

abstract: We outline a novel numerical method, called Ultrafast Ultrafast (UF$^2$), for calculating the $n^\text{th}$-order wavepackets required for calculating n-wave mixing signals. The method is simple to implement, and we demonstrate that it is computationally more efficient than other methods in a wide range of use cases. Resulting spectra are identical to those calculated using the standard response function formalism but with increased efficiency. The computational speed-ups of UF$^2$ come from (a) non-perturbative and costless propagation of the system time-evolution (b) numerical propagation only at times when perturbative optical pulses are non-zero and (c) use of the fast Fourier transform convolution algorithm for efficient numerical propagation. The simplicity of this formalism allows us to write a simple software package that is as easy to use and understand as the Feynman diagrams that organize the understanding of $n$-wave mixing processes.


title: Stacking with Neural network for Cryptocurrency investment

abstract: Predicting the direction of assets have been an active area of study and a difficult task. Machine learning models have been used to build robust models to model the above task. Ensemble methods is one of them showing results better than a single supervised method. In this paper, we have used generative and discriminative classifiers to create the stack, particularly 3 generative and 6 discriminative classifiers and optimized over one-layer Neural Network to model the direction of price cryptocurrencies. Features used are technical indicators used are not limited to trend, momentum, volume, volatility indicators, and sentiment analysis has also been used to gain useful insight combined with the above features. For Cross-validation, Purged Walk forward cross-validation has been used. In terms of accuracy, we have done a comparative analysis of the performance of Ensemble method with Stacking and Ensemble method with blending. We have also developed a methodology for combined features importance for the stacked model. Important indicators are also identified based on feature importance.


title: The Markovian Price of Information

abstract: Suppose there are $n$ Markov chains and we need to pay a per-step \emph{price} to advance them. The "destination" states of the Markov chains contain rewards; however, we can only get rewards for a subset of them that satisfy a combinatorial constraint, e.g., at most $k$ of them, or they are acyclic in an underlying graph. What strategy should we choose to advance the Markov chains if our goal is to maximize the total reward \emph{minus} the total price that we pay? In this paper we introduce a Markovian price of information model to capture settings such as the above, where the input parameters of a combinatorial optimization problem are given via Markov chains. We design optimal/approximation algorithms that jointly optimize the value of the combinatorial problem and the total paid price. We also study \emph{robustness} of our algorithms to the distribution parameters and how to handle the \emph{commitment} constraint. Our work brings together two classical lines of investigation: getting optimal strategies for Markovian multi-armed bandits, and getting exact and approximation algorithms for discrete optimization problems using combinatorial as well as linear-programming relaxation ideas.


title: Cross-frequency interactions during diffusion on complex brain networks are facilitated by scale-free properties

abstract: We studied the interactions between different temporal scales of diffusion processes on complex networks and found them to be stronger in scale-free (SF) than in Erdos-Renyi (ER) networks, especially for the case of phase-amplitude coupling (PAC)-the phenomenon where the phase of an oscillatory mode modulates the amplitude of another oscillation. We found that SF networks facilitate PAC between slow and fast frequency components of the diffusion process, whereas ER networks enable PAC between slow-frequency components. Nodes contributing the most to the generation of PAC in SF networks were non-hubs that connected with high probability to hubs. Additionally, brain networks from healthy controls (HC) and Alzheimer's disease (AD) patients presented a weaker PAC between slow and fast frequencies than SF, but higher than ER. We found that PAC decreased in AD compared to HC and was more strongly correlated to the scores of two different cognitive tests than what the strength of functional connectivity was, suggesting a link between cognitive impairment and multi-scale information flow in the brain.


title: Cluster formation in two-component Fermi gases

abstract: Two-component fermions are known to behave like a gas of molecules in the limit of Bose-Einstein condensation of diatomic pairs tightly bound with zero-range interactions. We discover that the formation of cluster states occurs when the effective range of two-body interaction exceeds roughly $0.46$ times the scattering length, regardless of the details of the short-range interaction. Using explicitly correlated Gaussian basis set expansion approach, we calculate the binding energy of cluster states in trapped few-body systems and show the difference of structural properties between cluster states and gas-like states. We identify the condition for cluster formation and discuss potential observation of cluster states in experiments.


title: Cooperative V2X for High Definition Map Transmission Based on Vehicle Mobility

abstract: High-definition (HD) map transmission is considered as a key technology for automatic driving, which enables vehicles to obtain the precise road and surrounding environment information for further localization and navigation. Guaranteeing the huge requirement of HD map data, the objective of this paper is to reduce the power consumption of vehicular networks. By leveraging the mobile rule of vehicles, a collaborative vehicle to everything (V2X) transmission scheme is proposed for the HD map transmission. Numerical results indicate that the proposed scheme can satisfy the transmission rate requirement of HD map with low power consumption.


title: Survivable Networks via UAV Swarms Guided by Decentralized Real-Time Evolutionary Computation

abstract: The survivable network concept refers to contexts where the wireless communication between ground agents needs to be maintained as much as possible at all times, regardless of any adverse conditions that may arise. In this paper we propose a nature-inspired approach to survivable networks, in which we bring together swarm intelligence and evolutionary computation. We use an on-line real-time Genetic Algorithm to optimize the movements of an UAV swarm towards maintaining communication between the ground agents. The proposed approach models the ground agents and the UAVs as boids-based swarms, and optimizes the movement of the UAVs using different instances of the GA running independently on each UAV. The UAV coordination mechanism is an implicit one, embedded in the fitness function of the Genetic Algorithm instances. The behaviors of the individual UAVs emerge into an aggregated optimization of the overall network survivability. The results show that the proposed approach is able to maintain satisfactory network survivability levels regardless of the ground agents' movements, including for cases as complex as random walks.


title: Detecting the Sagittarius stream with LAMOST DR4 M giants \& Gaia DR2

abstract: We use LAMOST DR4 M giants combined with Gaia DR2 proper motions and ALLWISE photometry to obtain an extremely pure sample of Sagittarius (Sgr) stream stars. Using TiO5 and CaH spectral indices as an indicator, we selected out a large sample of M giant stars from M dwarf stars in LAMOST DR4 spectra. Considering the position, distance, proper motion and the angular momentum distribution, we obtained 164 pure Sgr stream stars. We find that the trailing arm has higher energy than the leading arm in same angular momentum. The trailing arm we detected extends to a heliocentric distance of $\sim 130$ kpc at $\tilde\Lambda_{\odot}\sim 170^{\circ}$, which is consistent with the feature found in RR Lyrae in \citet{sgr2017}. Both of these detections of Sgr, in M giants and in RR Lyrae, imply that the Sgr stream may contain multiple stellar populations with a broad metallicity range.


title: Cooperative Asynchronous Non-Orthogonal Multiple Access with Power Minimization Under QoS Constraints

abstract: Recent studies have demonstrated the superiority of non-orthogonal multiple access (NOMA) over orthogonal multiple access (OMA) in cooperative communication networks. In this paper, we propose a novel half-duplex cooperative asynchronous NOMA (C-ANOMA) framework with user relaying, where a timing mismatch is intentionally added in the broadcast signal. We derive the expressions for the individual throughputs of the strong user (acts as relay) which employs the block-wise successive interference cancellation (SIC) and the weak user which combines the symbol-asynchronous signal with the interference-free signal. We analytically prove that in the C-ANOMA systems with a sufficiently large frame length, the strong user attains the same throughput to decode its own message while both users can achieve a higher throughput to decode the weak user's message compared with those in the cooperative NOMA (C-NOMA) systems. Besides, we obtain the optimal timing mismatch when the frame length goes to infinity. Furthermore, to exploit the trade-off between the power consumption of base station and that of the relay user, we solve a weighted sum power minimization problem under quality of services (QoS) constraints. Numerical results show that the C-ANOMA system can consume less power compared with the C-NOMA system to satisfy the same QoS requirements.


title: Integer Linear Programming Formulations for Double Roman Domination Problem

abstract: For a graph $G= (V,E)$, a double Roman dominating function (DRDF) is a function $f : V \to \{0,1,2,3\}$ having the property that if $f (v) = 0$, then vertex $v$ must have at least two neighbors assigned $2$ under $f$ or {at least} one neighbor $u$ with $f (u) = 3$, and if $f (v) = 1$, then vertex $v$ must have at least one neighbor $u$ with $f (u) \ge 2$. In this paper, we consider the double Roman domination problem, which is an optimization problem of finding the DRDF $f$ such that $\sum_{v\in V} f (v)$ is minimum. We propose {five integer linear programming (ILP) formulations and one mixed integer linear programming formulation with polynomial number of constraints for this problem. Some additional valid inequalities and bounds are also proposed for some of these formulations.} Further, we prove that {the first four models indeed solve the double Roman domination problem, and the last two models} are equivalent to the others regardless of the variable relaxation or usage of a smaller number of constraints and variables. Additionally, we use one ILP formulation to give an $H(2(\Delta+1))$-approximation algorithm. All proposed formulations and approximation algorithm are evaluated on randomly generated graphs to compare the performance.


title: Probabilistic Neural-symbolic Models for Interpretable Visual Question Answering

abstract: We propose a new class of probabilistic neural-symbolic models, that have symbolic functional programs as a latent, stochastic variable. Instantiated in the context of visual question answering, our probabilistic formulation offers two key conceptual advantages over prior neural-symbolic models for VQA. Firstly, the programs generated by our model are more understandable while requiring lesser number of teaching examples. Secondly, we show that one can pose counterfactual scenarios to the model, to probe its beliefs on the programs that could lead to a specified answer given an image. Our results on the CLEVR and SHAPES datasets verify our hypotheses, showing that the model gets better program (and answer) prediction accuracy even in the low data regime, and allows one to probe the coherence and consistency of reasoning performed.


title: On construction of projection operators

abstract: The problem of construction of projection operators on eigen-subspaces of symmetry operators is considered. This problem arises in many approximate methods for solving time-independent and time-dependent quantum problems, and its solution ensures proper physical symmetries in development of approximate methods. The projector form is sought as a function of symmetry operators and their eigenvalues characterizing the eigen-subspace of interest. This form is obtained in two steps: 1) identification of algebraic structures within a set of symmetry operators (e.g. groups and Lie algebras), and 2) construction of the projection operators for individual symmetry operators. The first step is crucial for efficient projection operator construction because it allows for using information on irreducible representations of the present algebraic structure. The discussed approaches have promise to stimulate further developments of variational approaches for electronic structure of strongly correlated systems and in quantum computing.


title: Structure-preserving strategy for conservative simulation of relativistic nonlinear Landau--Fokker--Planck equation

abstract: Mathematical symmetries of the Beliaev--Budker kernel are the most important structure of the relativistic Landau--Fokker--Planck equation. By preserving the beautiful symmetries, a mass-momentum-energy-conserving simulation has been demonstrated without any artificial constraints.


title: ntuer at SemEval-2019 Task 3: Emotion Classification with Word and Sentence Representations in RCNN

abstract: In this paper we present our model on the task of emotion detection in textual conversations in SemEval-2019. Our model extends the Recurrent Convolutional Neural Network (RCNN) by using external fine-tuned word representations and DeepMoji sentence representations. We also explored several other competitive pre-trained word and sentence representations including ELMo, BERT and InferSent but found inferior performance. In addition, we conducted extensive sensitivity analysis, which empirically shows that our model is relatively robust to hyper-parameters. Our model requires no handcrafted features or emotion lexicons but achieved good performance with a micro-F1 score of 0.7463.


title: Decompositions of signed deficient topological measures

abstract: This paper focuses on various decompositions of topological measures, deficient topological measures, signed topological measures, and signed deficient topological measures. These set functions generalize measures and correspond to certain non-linear functionals. They may assume $\infty$ or $-\infty$. We introduce the concept of a proper signed deficient topological measure and show that a signed deficient topological measure can be represented as a sum of a signed Radon measure and a proper signed deficient topological measure. We also generalize practically all known results that involve proper deficient topological measures and proper topological measures on compact spaces to locally compact spaces. We prove that the sum of two proper (deficient) topological measures is a proper (deficient) topological measure. We give a criterion for a (deficient) topological measure to be proper.


title: Efficient and robust detection of multipartite Greenberger-Horne-Zeilinger-like states

abstract: Entanglement is a key resource for quantum information processing. A widely used tool for detecting entanglement is entanglement witness, where the measurement of the witness operator is guaranteed to be positive for all separable states and can be negative for certain entangled states. In reality, due to the exponentially increasing the Hilbert-space dimension with respective to the system size, it is very challenging to construct an efficient entanglement witness for general multipartite entangled states. For $N$-partite Greenberger-Horne-Zeilinger (GHZ)-like states, the most robust witness scheme requires $N+1$ local measurement settings and can tolerate up to $1/2$ white noise. As a comparison, the most efficient witness for GHZ-like states only needs two local measurement settings and can tolerate up to $1/3$ white noise. There is a trade-off between the realization efficiency, the number of measurement settings, and the detection robustness, the maximally tolerable white noise. In this work, we study this trade-off by proposing a family of entanglement witnesses with $k$ ($2\le k\le N+1$) local measurement settings. Considering symmetric local measurements, we calculate the maximal tolerable noise for any given number of measurement settings. Consequently, we design the optimal witness with a minimal number of settings for any given level of white noise. Our theoretical analysis can be applied to other multipartite entangled states with a strong symmetry. Our witnesses can be easily implemented in experiment and applied in practical multipartite entanglement detection under different noise conditions.


title: Amplitude-modulated pulses based phase-sensitive OTDR in distributed sensing

abstract: The detected frequency response range of phase-sensitive optical time domain reflectometry is limited by the sensing fiber length. In this paper, we demonstrate an amplitude modulated pulses based phase-sensitive OTDR to detect vibrations with high spatial resolution and wide frequency response range. The amplitude modulated pulses consisting of narrow pulses and background light are injected into the sensing fiber as probe light. The Rayleigh backscattering generated by the background light interferes at the detection end, presenting a phase sensitive response to external vibrations. The Rayleigh backscattering of narrow pulses are tracked to locate vibrations. The frequency information is obtained from the frequency domain analysis of the interference signal. The system can realize high frequency response with low repetition rate of probe pulses by one-end detection.


title: Randomness and initial segment complexity for probability measures

abstract: We study algorithmic randomness properties for probability measures on Cantor space. We say that a measure $\mu$ on the space of infinite bit sequences is ML absolutely continuous if the non-ML-random bit sequences form a null set with respect to~$\mu$. We think of this as a weak randomness notion for measures. We begin with examples, and provide a robustness property related to Solovay tests. Our main work connects our weak randomness notion to the growth of the initial segment complexity for measures~$\mu$; the latter is defined as a $\mu$-average over the complexity of strings of the same length. We show that a maximal growth implies our weak randomness property, but also that both implications of the Levin-Schnorr theorem fail. We discuss $C$-triviality and $K$-triviality for measures and relate these two notions with each other. Here triviality means that the growth of initial segment complexity is as slow as possible. We show that full Martin-L\"of randomness of a measure implies ML absolute continuity; the converse fails because only the latter property is compatible with having atoms. In a final section we consider weak randomness relative to a general ergodic computable measure. We seek appropriate effective versions of the Shannon-McMillan-Breiman theorem and the Brudno theorem where the bit sequences are replaced by measures. We conclude with several open questions.


title: An example for a nontrivial irreducible geodesic net in the plane

abstract: We construct a geodesic net in the plane with four unbalanced (boundary) vertices that has 16 balanced vertices and does not contain proper geodesic subnets. This is the first example of an irreducible geodesic net in the Euclidean plane with 4 boundary vertices that is not a tree.


title: On the Crossing Numbers of Cartesian Products of Small Graphs with Paths, Cycles and Stars

abstract: There has been significant research dedicated towards computing the crossing numbers of families of graphs resulting from the Cartesian products of small graphs with arbitrarily large paths, cycles and stars. For graphs with four or fewer vertices, these have all been computed, but there are still various gaps for graphs with five or more vertices. We contribute to this field by determining the crossing numbers for fifteen such families.


title: Asymptotic non-flatness of an effective black hole model based on loop quantum gravity

abstract: For any non-rotating effective quantum (uncharged) black hole model to be viable, its asymptotic structure of spacetime should reduce to that of a Schwarzschild black hole. After examining the asymptotic structure of quantum black holes proposed in Ashtekar et al., (2018), we find that the solution is actually not asymptotically flat. Departure from asymptotically flat spacetime is a direct consequence of the quantum parameters included in the model. Moreover, since the property of asymptotic flatness needs to be explicitly invoked, for instance, in relating the black hole and the white hole masses, it thereby raises a serious concern about the consistency of this model in view of the classical limit1.


title: Intrinsic fluctuations of chemical reactions with different approaches

abstract: The Brusselator model are used for the study of the intrinsic fluctuations of chemical reactions with different approaches. The equilibrium states of systems are assumed to be spirally stable in mean-field description, and two statistical measures of intrinsic fluctuations are analyzed by different theoretical methods, namely, the master, the Langevin, and the linearized Langevin equation. For systems far away from the Hopf bifurcation line, the discrepancies between the results of different methods are insignificant even for small system size. However, the discrepancies become noticeable even for large system size when systems are closed to the bifurcation line. In particular, the statistical measures possess singular structures for linearized Langevin equation at the bifurcation line, and the singularities are absent from the simulation results of the master and the Langevin equation.


title: Palatini formulation of pure $R^2$ gravity yields Einstein gravity with no massless scalar

abstract: Pure $R^2$ gravity has been shown to be equivalent to Einstein gravity with non-zero cosmological constant and a massless scalar field. We show that the Palatini formulation of pure $R^2$ gravity is equivalent to Einstein gravity with non-zero cosmological constant as before but with no massless scalar field. This is an important new development because the massless scalar field is not readily identifiable with any known particle in nature or unknown particles like cold dark matter which are expected to be massive. We then include a non-minimally coupled Higgs field as well as fermions to discuss how the rest of the standard model fields fit into this paradigm. With Higgs field, Weyl invariance is maintained by using a hybrid formalism that includes both the Palatini curvature scalar $\mathcal{R}$ and the usual Ricci scalar $R$


title: Atrial Scar Quantification via Multi-scale CNN in the Graph-cuts Framework

abstract: Late gadolinium enhancement magnetic resonance imaging (LGE MRI) appears to be a promising alternative for scar assessment in patients with atrial fibrillation (AF). Automating the quantification and analysis of atrial scars can be challenging due to the low image quality. In this work, we propose a fully automated method based on the graph-cuts framework, where the potentials of the graph are learned on a surface mesh of the left atrium (LA) using a multi-scale convolutional neural network (MS-CNN). For validation, we have employed fifty-eight images with manual delineations. MS-CNN, which can efficiently incorporate both the local and global texture information of the images, has been shown to evidently improve the segmentation accuracy of the proposed graph-cuts based method. The segmentation could be further improved when the contribution between the t-link and n-link weights of the graph is balanced. The proposed method achieves a mean accuracy of 0.856 +- 0.033 and mean Dice score of 0.702 +- 0.071 for LA scar quantification. Compared with the conventional methods, which are based on the manual delineation of LA for initialization, our method is fully automatic and has demonstrated significantly better Dice score and accuracy (p < 0.01). The method is promising and can be useful in diagnosis and prognosis of AF.


title: Higher preprojective algebras, Koszul algebras, and superpotentials

abstract: In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary all the relations come from the superpotential. We then construct projective resolutions of all simple modules for the higher preprojective algebra of a $d$-hereditary algebra. This allows us to recover various known homological properties of the higher preprojective algebras and to obtain a large class of almost Koszul dual pairs of algebras. We also show that when our original algebra is Koszul there is a natural map from the quadratic dual of the higher preprojective algebra to a graded trivial extension algebra.


title: Quotient Problem For Entire Functions with Moving Targets

abstract: As an analogue of the Hadamard quotient problem in number theory, the quotient problem (in the sense of complex entire functions) for two sequences $F(n)=a_0+a_1f_1^n+\cdots+a_lf_l^n$ and $ G(n)=b_0+b_1g_1^n+\cdots+b_mg_m^n$, has been solved, where the $f_i$ and $g_j$ are nonconstant entire functions and $a_i$ and $b_j$ are non-zero constants except that $a_0$ can be zero. In this paper, we consider the generalization of this problem in which we allow $a_i$ and $b_j$ to be small growth entire functions with respect to $(g_1, \cdots, g_m)$ by modifying the second main theorem with moving targets to a truncated version. We also compare our result to a special case in exponential polynomials first studied by Ritt.


title: Evaluation of Algorithms for Multi-Modality Whole Heart Segmentation: An Open-Access Grand Challenge

abstract: Knowledge of whole heart anatomy is a prerequisite for many clinical applications. Whole heart segmentation (WHS), which delineates substructures of the heart, can be very valuable for modeling and analysis of the anatomy and functions of the heart. However, automating this segmentation can be arduous due to the large variation of the heart shape, and different image qualities of the clinical data. To achieve this goal, a set of training data is generally needed for constructing priors or for training. In addition, it is difficult to perform comparisons between different methods, largely due to differences in the datasets and evaluation metrics used. This manuscript presents the methodologies and evaluation results for the WHS algorithms selected from the submissions to the Multi-Modality Whole Heart Segmentation (MM-WHS) challenge, in conjunction with MICCAI 2017. The challenge provides 120 three-dimensional cardiac images covering the whole heart, including 60 CT and 60 MRI volumes, all acquired in clinical environments with manual delineation. Ten algorithms for CT data and eleven algorithms for MRI data, submitted from twelve groups, have been evaluated. The results show that many of the deep learning (DL) based methods achieved high accuracy, even though the number of training datasets was limited. A number of them also reported poor results in the blinded evaluation, probably due to overfitting in their training. The conventional algorithms, mainly based on multi-atlas segmentation, demonstrated robust and stable performance, even though the accuracy is not as good as the best DL method in CT segmentation. The challenge, including the provision of the annotated training data and the blinded evaluation for submitted algorithms on the test data, continues as an ongoing benchmarking resource via its homepage (\url{www.sdspeople.fudan.edu.cn/zhuangxiahai/0/mmwhs/}).


title: All-neural online source separation, counting, and diarization for meeting analysis

abstract: Automatic meeting analysis comprises the tasks of speaker counting, speaker diarization, and the separation of overlapped speech, followed by automatic speech recognition. This all has to be carried out on arbitrarily long sessions and, ideally, in an online or block-online manner. While significant progress has been made on individual tasks, this paper presents for the first time an all-neural approach to simultaneous speaker counting, diarization and source separation. The NN-based estimator operates in a block-online fashion and tracks speakers even if they remain silent for a number of time blocks, thus learning a stable output order for the separated sources. The neural network is recurrent over time as well as over the number of sources. The simulation experiments show that state of the art separation performance is achieved, while at the same time delivering good diarization and source counting results. It even generalizes well to an unseen large number of blocks.


title: Antikink dispersions of the $J_1$-$J_2$ sawtooth spin-1/2 anisotropic Heisenberg antiferromagnetic chain

abstract: Antikink dispersion of the asymmetric $J_1$-$J_2$ sawtooth spin-1/2 anisotropic Heisenberg antiferromagnetic chain has been derived. Value of spin-gap is obtained by estimating the minimum of dispersion relation variationally. The exact doubly-degenerate ground state energy has been derived at the symmetric point, $J_1=J_2$, for the whole anisotropic regime. Analytic form of dispersion relations of three different antikink states is obtained and their validity in the parameter space is discussed. The value of spin-gap, specific heat and susceptibility are estimated numerically by diagonalizing the Hamiltonian for chains of finite length. The inherent frustration of this antiferromagnetic model leads to the appearance of additional peak at low-temperatures in the specific heat.


title: The $q$-Bannai-Ito algebra and multivariate $(-q)$-Racah and Bannai-Ito polynomials

abstract: The Gasper and Rahman multivariate $(-q)$-Racah polynomials appear as connection coefficients between bases diagonalizing different abelian subalgebras of the recently defined higher rank $q$-Bannai-Ito algebra $\mathcal{A}_n^q$. Lifting the action of the algebra to the connection coefficients, we find a realization of $\mathcal{A}_n^q$ by means of difference operators. This provides an algebraic interpretation for the bispectrality of the multivariate $(-q)$-Racah polynomials, as was established in [Iliev, Trans. Amer. Math. Soc. 363 (3) (2011), 1577-1598]. Furthermore, we extend the Bannai-Ito orthogonal polynomials to multiple variables and use these to express the connection coefficients for the $q = 1$ higher rank Bannai-Ito algebra $\mathcal{A}_n$, thereby proving a conjecture from [De Bie et al., Adv. Math. 303 (2016), 390-414]. We derive the orthogonality relation of these multivariate Bannai-Ito polynomials and provide a discrete realization for $\mathcal{A}_n$.