title: Jet Wake from Linearized Hydrodynamics

abstract: We explore how to improve the hybrid model description of the particles originating from the wake that a jet produced in a heavy ion collision leaves in the droplet of quark-gluon plasma (QGP) through which it propagates, using linearized hydrodynamics on a background Bjorken flow. Jet energy and momentum loss described by the hybrid model become currents sourcing linearized hydrodynamics. By solving the linearized hydrodynamic equations numerically, we investigate the development of the wake in the dynamically evolving droplet of QGP, study the effect of viscosity, scrutinize energy-momentum conservation, and check the validity of the linear approximation. We find that linearized hydrodynamics works better in the viscous case because diffusive modes damp the energy-momentum perturbation produced by the jet. We calculate the distribution of particles produced from the jet wake by using the Cooper-Frye prescription and find that both the transverse momentum spectrum and the distribution of particles in azimuthal angle are similar in shape in linearized hydrodynamics and in the hybrid model. Their normalizations are different because the momentum-rapidity distribution in the linearized hydrodynamics analysis is more spread out, due to sound modes. Since the Bjorken flow has no transverse expansion, we explore the effect of transverse flow by using local boosts to add it into the Cooper-Frye formula. After including the effects of transverse flow in this way, the transverse momentum spectrum becomes harder: more particles with transverse momenta bigger than $2$ GeV are produced than in the hybrid model. Although we defer implementing this analysis in a jet Monte Carlo, as would be needed to make quantitative comparisons to data, we gain a qualitative sense of how the jet wake may modify jet observables by computing proxies for two example observables: the lost energy recovered in a cone of varying open angle, and the fragmentation function. We find that linearized hydrodynamics with transverse flow effects added improves the description of the jet wake in the hybrid model in just the way that comparison to data indicates is needed. Our study illuminates a path to improving the description of the wake in the hybrid model, highlighting the need to take into account the effects of both transverse flow and the broadening of the energy-momentum perturbation in spacetime rapidity on particle production.


title: Mitigating the fermion sign problem by automatic differentiation

abstract: As an intrinsically unbiased method, the quantum Monte Carlo (QMC) method is of unique importance in simulating interacting quantum systems. Although the QMC method often suffers from the notorious sign problem, the sign problem of quantum models may be mitigated by finding better choices of the simulation scheme. However, a general framework for identifying optimal QMC schemes has been lacking. Here, we propose a general framework using automatic differentiation to automatically search for the best QMC scheme within a given ansatz of the Hubbard-Stratonovich transformation, which we call "automatic differentiable sign optimization" (ADSO). We apply the ADSO framework to the honeycomb lattice Hubbard model with Rashba spin-orbit coupling and demonstrate that ADSO is remarkably effective in mitigating and even solving its sign problem. Specifically, ADSO finds a sign-free point in the model which was previously thought to be sign-problematic. For the sign-free model discovered by ADSO, its ground state is shown by sign-free QMC simulations to possess spiral magnetic ordering; we also obtained the critical exponents characterizing the magnetic quantum phase transition.

categories: cond-mat.str-el cond-mat.stat-mech cond-mat.supr-con hep-lat physics.comp-ph


title: Quantum discontinuity fixed point and renormalization group flow of the SYK model

abstract: We determine the global renormalization group (RG) flow of the Sachdev-Ye-Kitaev (SYK) model. This flow allows for an understanding of the surprising role of critical slowing down at a quantum first-order transition in strongly-correlated electronic systems. From a simple truncation of the infinite hierarchy of the exact functional RG flow equations we identify several fixed points: Apart from a stable fixed point, associated with the celebrated non-Fermi liquid state of the model, we find another stable fixed point related to an integer-valence state. These stable fixed points are separated by a discontinuity fixed point with one relevant direction, describing a quantum first-order transition. Most notably, the fermionic spectrum continues to be quantum critical even at the discontinuity fixed point. This rules out a description of this quantum first-order transition in terms of a local effective Ising variable that is established for classical transitions. It reveals that quantum phase coexistence can be a genuine critical state of matter.


title: On the "Lensing is Low" of BOSS Galaxies

abstract: Recently, Leauthaud et al discovered that the small-scale lensing signal of Baryon Oscillation Spectroscopic Survey (BOSS) galaxies is up to 40% lower than predicted by the standard models of the galaxy-halo connections that reproduced the observed galaxy stellar mass function (SMF) and clustering. We revisit such "lensing is low" discrepancy by performing a comprehensive Halo Occupation Distribution (HOD) modelling of the SMF, clustering, and lensing of BOSS LOWZ and CMASS samples at Planck cosmology. We allow the selection function of satellite galaxies to vary as a function of stellar mass as well as halo mass. For centrals we assume their selection to depend only on stellar mass, as informed by the directly measured detection fraction of the redMaPPer central galaxies. The best-fitting HOD successfully describes all three observables without over-predicting the small-scale lensing signal. This indicates that the model places BOSS galaxies into dark matter halos of the correct halo masses, thereby eliminating the discrepancy in the one-halo regime where the signal-to-noise of lensing is the highest. Despite the large uncertainties, the observed lensing amplitude above 1 Mpc/h remains inconsistent with the prediction, which is however firmly anchored by the large-scale galaxy bias measured by clustering at Planck cosmology. Therefore, we demonstrate that the "lensing is low" discrepancy on scales below 1 Mpc/h can be fully resolved by accounting for the halo mass dependence of the selection function. Lensing measurements with improved accuracy is required on large scales to distinguish between deviations from Planck and non-linear effects from galaxy-halo connections.


title: Skyrmion Superconductivity: DMRG evidence for a topological route to superconductivity

abstract: It was recently suggested that the topology of magic-angle twisted bilayer graphene's (MATBG) flat bands could provide a novel mechanism for superconductivity distinct from both weakly-coupled BCS theory and the $d$-wave phenomenology of the high-$T_c$ cuprates. In this work, we examine this possibility using a density matrix renormalization group (DMRG) study of a model which captures the essential features of MATBG's symmetry and topology. Using large scale cylinder-DMRG calculations to obtain the ground state and its excitations as a function of the electron doping, we find clear evidence for superconductivity driven by the binding of electrons into charge-$2e$ skyrmions. Remarkably, this binding is observed even in the regime where the unscreened Coulomb repulsion is by-far the largest energy scale, demonstrating the robustness of this topological, all-electronic pairing mechanism.


title: Polydisperse Streaming Instability I. Tightly coupled particles and the terminal velocity approximation

abstract: We introduce a polydisperse version of the streaming instability, where the dust component is treated as a continuum of sizes. We show that its behaviour is remarkably different from the monodisperse streaming instability. We focus on tightly coupled particles in the terminal velocity approximation and show that unstable modes that grow exponentially on a dynamical time scale exist. However, for dust to gas ratios much smaller than unity they are confined to radial wave numbers that are a factor $\sim 1/\overline{\rm St}$ larger than where the monodisperse streaming instability growth rates peak. Here $\overline{\rm St} \ll 1$ is a suitable average Stokes number for the dust size distribution. For dust to gas ratios larger than unity, polydisperse modes that grow on a dynamical time scale are found as well, similar as for the monodisperse streaming instability and at similarly large wave numbers. At smaller wave numbers, where the classical monodisperse streaming instability shows secular growth, no growing polydisperse modes are found under the terminal velocity approximation. Outside the region of validity for the terminal velocity approximation, we have found unstable epicyclic modes that grow on $\sim 10^4$ dynamical time scales.


title: Derived heat trace asymptotics for the de Rham and Dolbeault complexes

abstract: We examine the derived heat trace asymptotics in both the real and the complex settings for a generalized Witten perturbation. If the dimension is even, in the real context we show the integral of the local density for the derived heat trace asymptotics is half the Euler characteristic of the underlying manifold. In the complex context, we assume the underlying geometry is K\"ahler and show the integral of the local density for the derived heat trace asymptotics defined by the Dolbeault complex is a characteristic number of the complex tangent bundle and the twisting vector bundle. We identify this characteristic number if the real dimension is $2$ or $4$. In both the real and complex settings, the local density differs from the corresponding characteristic class by a divergence term.


title: Dust Attenuation Curves at z $\sim$ 0.8 from LEGA-C: Precise Constraints on the Slope and 2175$\AA$ Bump Strength

abstract: We present a novel approach to measure the attenuation curves of 485 individual star-forming galaxies with M$_*$ $>$ 10$^{10}$ M$_{\odot}$ based on deep optical spectra from the VLT/VIMOS LEGA-C survey and multi-band photometry in the COSMOS field. Most importantly, we find that the attenuation curves in the rest-frame $3000-4500$A range are typically almost twice as steep as the Milky Way, LMC, SMC, and Calzetti attenuation curves, which is in agreement with recent studies of the integrated light of present-day galaxies. The attenuation at $4500$A and the slope strongly correlate with the galaxy inclination: face-on galaxies show less attenuation and steeper curves compared to edge-on galaxies, suggesting that geometric effects dominate observed variations in attenuation. Our new method produces $2175$A UV bump detections for 260 individual galaxies. Even though obvious correlations between UV bump strength and global galaxy properties are absent, strong UV bumps are most often seen in face-on, lower-mass galaxies (10 $<$ log$_{10}$(M$_*$/M$_{\odot}$) $<$ 10.5) with low overall attenuation. Finally, we produce a typical attenuation curve for star-forming galaxies at $z\sim0.8$; this prescription represents the effect of dust on the integrated spectral energy distributions of high-redshift galaxies more accurately than commonly used attenuation laws.


title: Semantics-Guided Clustering with Deep Progressive Learning for Semi-Supervised Person Re-identification

abstract: Person re-identification (re-ID) requires one to match images of the same person across camera views. As a more challenging task, semi-supervised re-ID tackles the problem that only a number of identities in training data are fully labeled, while the remaining are unlabeled. Assuming that such labeled and unlabeled training data share disjoint identity labels, we propose a novel framework of Semantics-Guided Clustering with Deep Progressive Learning (SGC-DPL) to jointly exploit the above data. By advancing the proposed Semantics-Guided Affinity Propagation (SG-AP), we are able to assign pseudo-labels to selected unlabeled data in a progressive fashion, under the semantics guidance from the labeled ones. As a result, our approach is able to augment the labeled training data in the semi-supervised setting. Our experiments on two large-scale person re-ID benchmarks demonstrate the superiority of our SGC-DPL over state-of-the-art methods across different degrees of supervision. In extension, the generalization ability of our SGC-DPL is also verified in other tasks like vehicle re-ID or image retrieval with the semi-supervised setting.


title: Evaluating Progress on Machine Learning for Longitudinal Electronic Healthcare Data

abstract: The Large Scale Visual Recognition Challenge based on the well-known Imagenet dataset catalyzed an intense flurry of progress in computer vision. Benchmark tasks have propelled other sub-fields of machine learning forward at an equally impressive pace, but in healthcare it has primarily been image processing tasks, such as in dermatology and radiology, that have experienced similar benchmark-driven progress. In the present study, we performed a comprehensive review of benchmarks in medical machine learning for structured data, identifying one based on the Medical Information Mart for Intensive Care (MIMIC-III) that allows the first direct comparison of predictive performance and thus the evaluation of progress on four clinical prediction tasks: mortality, length of stay, phenotyping, and patient decompensation. We find that little meaningful progress has been made over a 3 year period on these tasks, despite significant community engagement. Through our meta-analysis, we find that the performance of deep recurrent models is only superior to logistic regression on certain tasks. We conclude with a synthesis of these results, possible explanations, and a list of desirable qualities for future benchmarks in medical machine learning.


title: Cost-effective Selection of Pretraining Data: A Case Study of Pretraining BERT on Social Media

abstract: Recent studies on domain-specific BERT models show that effectiveness on downstream tasks can be improved when models are pretrained on in-domain data. Often, the pretraining data used in these models are selected based on their subject matter, e.g., biology or computer science. Given the range of applications using social media text, and its unique language variety, we pretrain two models on tweets and forum text respectively, and empirically demonstrate the effectiveness of these two resources. In addition, we investigate how similarity measures can be used to nominate in-domain pretraining data. We publicly release our pretrained models at https://bit.ly/35RpTf0.


title: High resolution study of outflows and chemical environment of First Hydrostatic Core candidate Chamaeleon-MMS1

abstract: The earliest stages of low-mass star-formation are unclear, but it has been proposed that Chamaeleon-MMS1 is a candidate First Hydrostatic Core (FHSC), the transition stage between a prestellar and protostellar core. This work describes the local (~4000 AU) outflow activity associated with Chamaeleon-MMS1 and its effect on the surrounding material in order to determine the evolutionary state of this young low-mass source. We used the Atacama Large Millimeter/sub-millimeter Array (ALMA) to observe Chamaeleon MMS1 at 220 GHz at high spatial (~75 AU) and spectral resolutions (0.1-0.3 km/s). A low energy outflow is detected through its interaction with the surrounding cloud. The outflow consists of two components, a broad spectral feature to the northeast and narrow features to both the northeast and southwest. The rotational temperature of formaldehyde (H2CO) is calculated to be 50 (+/-30) K toward the continuum source with similarly low temperatures (25-45 K) toward clumps affected by the outflow. Methanol (CH3OH) is only detected toward gas clumps located away from the continuum source, where the methanol is expected to have been released by the energy of the outflow through ice sputtering in shock waves. Chamaeleon-MMS1 shows outflow activity with the power source being either a single precessing outflow or two outflows from a binary system. While molecular emission and high outflow speeds rule it out as a FHSC, the outflow is less energetic than outflows detected from other Class 0 objects and the inferred gas temperatures toward the continuum source are relatively low, which indicates that Cha-MMS1 is one of the youngest known sources.


title: Non-Markovian Momentum Computing: Universal and Efficient

abstract: All computation is physically embedded. Reflecting this, a growing body of results embraces rate equations as the underlying mechanics of thermodynamic computation and biological information processing. Strictly applying the implied continuous-time Markov chains, however, excludes a universe of natural computing. We show that expanding the toolset to continuous-time hidden Markov chains substantially removes the constraints. The general point is made concrete by our analyzing two eminently-useful computations that are impossible to describe with a set of rate equations over the memory states. We design and analyze a thermodynamically-costless bit flip, providing a first counterexample to rate-equation modeling. We generalize this to a costless Fredkin gate---a key operation in reversible computing that is computation universal. Going beyond rate-equation dynamics is not only possible, but necessary if stochastic thermodynamics is to become part of the paradigm for physical information processing.

categories: cond-mat.stat-mech cs.ET math.DS physics.comp-ph


title: A criterion for the existence of a plane model with two inner Galois points for algebraic curves

abstract: A criterion for the existence of a plane model with two non-smooth Galois points for algebraic curves is presented, which is a generalization of Fukasawa's criterion for two smooth Galois points. Owing to this generalized criterion, multiplicities and order sequences at Galois points can be described in detail.


title: Drop spreading dynamics with a liquid needle drop deposition technique

abstract: This paper represents a theoretical and an experimental study of the spreading dynamics of a liquid droplet, generated by a needle free deposition system called the liquid needle droplet deposition technique. This technique utilizes a continuous liquid jet generated from a pressurized dosing system which generates a liquid drop on a substrate to be characterized by optical contact angle measurements. Although many studies have explored the theoretical modelling of the droplet spreading scenario, a theoretical model representing the spreading dynamics of a droplet, generated by the jet impact and continuous addition of liquid mass, is yet to be addressed. In this study, we developed a theoretical model based on the overall energy balance approach which enables us to study on the physics of variation of droplet spreading under surrounding medium of various viscosities. The numerical solution of the non-linear ordinary differential equation has provided us the opportunity to comment on the variation of droplet spreading, as a function of Weber number ($We$), Reynolds number ($Re$) and Bond number ($Bo$) ranging from 0.5-3, 75-150, and 0.001-0.3, respectively. We have also presented a liquid jet impact model in order to predict the initial droplet diameter as an initial condition for the proposed governing equation. The model has been verified further with the experimental measurements and reasonable agreement has been observed. Experimental observations and theoretical investigations also highlight the precision, repeatability and wide range of the applicability of liquid needle drop deposition technique.


title: Representational aspects of depth and conditioning in normalizing flows

abstract: Normalizing flows are among the most popular paradigms in generative modeling, especially for images, primarily because we can efficiently evaluate the likelihood of a data point. This is desirable both for evaluating the fit of a model, and for ease of training, as maximizing the likelihood can be done by gradient descent. However, training normalizing flows comes with difficulties as well: models which produce good samples typically need to be extremely deep -- which comes with accompanying vanishing/exploding gradient problems. A very related problem is that they are often poorly conditioned: since they are parametrized as invertible maps from $\mathbb{R}^d \to \mathbb{R}^d$, and typical training data like images intuitively is lower-dimensional, the learned maps often have Jacobians that are close to being singular. In our paper, we tackle representational aspects around depth and conditioning of normalizing flows: both for general invertible architectures, and for a particular common architecture, affine couplings. We prove that $\Theta(1)$ affine coupling layers suffice to exactly represent a permutation or $1 \times 1$ convolution, as used in GLOW, showing that representationally the choice of partition is not a bottleneck for depth. We also show that shallow affine coupling networks are universal approximators in Wasserstein distance if ill-conditioning is allowed, and experimentally investigate related phenomena involving padding. Finally, we show a depth lower bound for general flow architectures with few neurons per layer and bounded Lipschitz constant.


title: Cohomology and deformations of twisted Rota-Baxter operators and NS-algebras

abstract: The aim of this paper is twofold. In the first part, we consider twisted Rota-Baxter operators on associative algebras that were introduced by Uchino as a noncommutative analogue of twisted Poisson structures. We construct an $L_\infty$-algebra whose Maurer-Cartan elements are given by twisted Rota-Baxter operators. This leads to cohomology associated to a twisted Rota-Baxter operator. This cohomology can be seen as the Hochschild cohomology of a certain associative algebra with coefficients in a suitable bimodule. We study deformations of twisted Rota-Baxter operators by means of the above-defined cohomology. Application is given to Reynolds operators. In the second part, we consider NS-algebras of Leroux that are related to twisted Rota-Baxter operators in the same way dendriform algebras are related to Rota-Baxter operators. We define cohomology of NS-algebras using multiplicative operads and study their deformations in terms of the cohomology.


title: Gold Standard Pairs Trading Rules: Are They Valid?

abstract: Pairs trading is a strategy based on exploiting mean reversion in prices of securities. It has been shown to generate significant excess returns, but its profitability has dropped significantly in recent periods. We employ the most common distance and cointegration methods on US equities from 1990 to 2020 including the Covid-19 crisis. The strategy overall fails to outperform the market benchmark even with hyperparameter tuning, but it performs very strongly during bear markets. Furthermore, we demonstrate that market factors have a strong relationship with the optimal parametrization for the strategy, and adjustments are appropriate for modern market conditions.


title: MM-Hand: 3D-Aware Multi-Modal Guided Hand Generative Network for 3D Hand Pose Synthesis

abstract: Estimating the 3D hand pose from a monocular RGB image is important but challenging. A solution is training on large-scale RGB hand images with accurate 3D hand keypoint annotations. However, it is too expensive in practice. Instead, we have developed a learning-based approach to synthesize realistic, diverse, and 3D pose-preserving hand images under the guidance of 3D pose information. We propose a 3D-aware multi-modal guided hand generative network (MM-Hand), together with a novel geometry-based curriculum learning strategy. Our extensive experimental results demonstrate that the 3D-annotated images generated by MM-Hand qualitatively and quantitatively outperform existing options. Moreover, the augmented data can consistently improve the quantitative performance of the state-of-the-art 3D hand pose estimators on two benchmark datasets. The code will be available at https://github.com/ScottHoang/mm-hand.


title: Quantitative Trace Estimates for the Maxwell system in Lipschitz Domains

abstract: We develop various quantitative estimates for the anisotropic Maxwell system in Lipschitz domains, with a focus on how the estimates precisely depend on the Lipschitz character of the domain. We pay special attention to trace operators and extension operators over certain Sobolev spaces. Finally, we provide a weak formulation of the interior scattering problem in terms of the exterior Calder\'on operator, and provide explicit bounds for the solution of the interior problem in terms of the incident fields and the Lipschitz character of the domain.


title: Automatic Extraction of Rules Governing Morphological Agreement

abstract: Creating a descriptive grammar of a language is an indispensable step for language documentation and preservation. However, at the same time it is a tedious, time-consuming task. In this paper, we take steps towards automating this process by devising an automated framework for extracting a first-pass grammatical specification from raw text in a concise, human- and machine-readable format. We focus on extracting rules describing agreement, a morphosyntactic phenomenon at the core of the grammars of many of the world's languages. We apply our framework to all languages included in the Universal Dependencies project, with promising results. Using cross-lingual transfer, even with no expert annotations in the language of interest, our framework extracts a grammatical specification which is nearly equivalent to those created with large amounts of gold-standard annotated data. We confirm this finding with human expert evaluations of the rules that our framework produces, which have an average accuracy of 78%. We release an interface demonstrating the extracted rules at https://neulab.github.io/lase/.


title: Spectral Singularities with Directional Sensitivity

abstract: We propose a class of spectral singularities that are sensitive to the direction of excitation and are arising in nonlinear systems with broken parity symmetry. These spectral singularities are sensitive to the direction of the incident beam and result in diverging transmission and reflection for the left (right) incident while the transmission and reflection of the right (left) side of the system remain finite. For pedagogical reason first, we review the scattering formalism in nonlinear systems using an abstract delta-function model. Then using a parity symmetry broken nonlinear system consists of two delta functions, one linear and the other nonlinear, we show the existence of our proposed spectral singularities. Then, we use an experimentally feasible realistic model based on coupled disk resonators and we identify the spectral singularity with directional sensitivity (SSDS). Our proposed SSDS might have applications in designing nonlinear sensors. Furthermore, it can provide a solution for the hole burning problem in pumped laser cavities.


title: Dipole oscillator strength distributions, sum rules, mean excitation energies, and isotropic van der Waals coefficients for benzene, pyridazine, pyrimidine, pyrazine, s-triazine, toluene, hexafluorobenzene, and nitrobenzene

abstract: Experimental, theoretical, and additive-model photoabsorption cross-sections combined with constraints provided by the Kuhn-Reiche-Thomas sum rule and the high-energy behavior of the dipole-oscillator-strength density are used to construct dipole oscillator strength distributions for benzene, pyridazine (1,2-diazine), pyrimidine (1,3-diazine), pyrazine (1,4-diazine), $s$-triazine (1,3,5-triazine), toluene (methylbenzene), hexafluorobenzene, and nitrobenzene. The distributions are used to predict dipole sum rules $S(k)$ for $-6 \le k \le 2$, mean excitation energies $I(k)$ for $-2 \le k \le 2$, and isotropic van der Waals $C_{6}$ coefficients. A popular combination rule for estimating $C_{6}$ coefficients for unlike interactions from the $C_{6}$ coefficients of the like interactions is found to be accurate to better than 1\% for 606 of 628 cases (96.4\%) in the test set.


title: Machine learning approach to force reconstruction in photoelastic materials

abstract: Photoelastic techniques have a long tradition in both qualitative and quantitative analysis of the stresses in granular materials. Over the last two decades, computational methods for reconstructing forces between particles from their photoelastic response have been developed by many different experimental teams. Unfortunately, all of these methods are computationally expensive. This limits their use for processing extensive data sets that capture the time evolution of granular ensembles consisting of a large number of particles. In this paper, we present a novel approach to this problem which leverages the power of convolutional neural networks to recognize complex spatial patterns. The main drawback of using neural networks is that training them usually requires a large labeled data set which is hard to obtain experimentally. We show that this problem can be successfully circumvented by pretraining the networks on a large synthetic data set and then fine-tuning them on much smaller experimental data sets. Due to our current lack of experimental data, we demonstrate the potential of our method by changing the size of the considered particles which alters the exhibited photoelastic patterns more than typical experimental errors.


title: Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming

abstract: The manipulation of articulated objects is of primary importance in Robotics, and can be considered as one of the most complex manipulation tasks. Traditionally, this problem has been tackled by developing ad-hoc approaches, which lack flexibility and portability. In this paper we present a framework based on Answer Set Programming (ASP) for the automated manipulation of articulated objects in a robot control architecture. In particular, ASP is employed for representing the configuration of the articulated object, for checking the consistency of such representation in the knowledge base, and for generating the sequence of manipulation actions. The framework is exemplified and validated on the Baxter dual-arm manipulator in a first, simple scenario. Then, we extend such scenario to improve the overall setup accuracy, and to introduce a few constraints in robot actions execution to enforce their feasibility. The extended scenario entails a high number of possible actions that can be fruitfully combined together. Therefore, we exploit macro actions from automated planning in order to provide more effective plans. We validate the overall framework in the extended scenario, thereby confirming the applicability of ASP also in more realistic Robotics settings, and showing the usefulness of macro actions for the robot-based manipulation of articulated objects. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Multi-domain Clinical Natural Language Processing with MedCAT: the Medical Concept Annotation Toolkit

abstract: Electronic health records (EHR) contain large volumes of unstructured text, requiring the application of Information Extraction (IE) technologies to enable clinical analysis. We present the open-source Medical Concept Annotation Toolkit (MedCAT) that provides: a) a novel self-supervised machine learning algorithm for extracting concepts using any concept vocabulary including UMLS/SNOMED-CT; b) a feature-rich annotation interface for customising and training IE models; and c) integrations to the broader CogStack ecosystem for vendor-agnostic health system deployment. We show improved performance in extracting UMLS concepts from open datasets (F1:0.448-0.738 vs 0.429-0.650). Further real-world validation demonstrates SNOMED-CT extraction at 3 large London hospitals with self-supervised training over ~8.8B words from ~17M clinical records and further fine-tuning with ~6K clinician annotated examples. We show strong transferability (F1 > 0.94) between hospitals, datasets, and concept types indicating cross-domain EHR-agnostic utility for accelerated clinical and research use cases.


title: Semiclassical resolvent bounds for long range Lipschitz potentials

abstract: We give an elementary proof of weighted resolvent estimates for the semiclassical Schr\"odinger operator $-h^2 \Delta + V(x) - E$ in dimension $n \neq 2$, where $h, \, E > 0$. The potential is real-valued, $V$ and $\partial_r V$ exhibit long range decay at infinity, and may grow like a sufficiently small negative power of $r$ as $r \to 0$. The resolvent norm grows exponentially in $h^{-1}$, but near infinity it grows linearly. When $V$ is compactly supported, we obtain linear growth if the resolvent is multiplied by weights supported outside a ball of radius $CE^{-1/2}$ for some $C > 0$. This $E$-dependence is sharp and answers a question of Datchev and Jin.


title: Agents governed by quantum mechanics can use it intersubjectively and consistently

abstract: Following Frauchiger and Renner's discovery of a conflict between quantum mechanics and certain commonsense reasoning axioms, much work has gone into finding alternative axiomatizations that can avoid the conflict. However, this body of work is largely based on specific interpretations of quantum mechanics, and at times employs specialized formalism that may be inaccessible to mainstream quantum information experts. Taking an interpretation-agnostic approach, we propose a simple operational principle called superpositional solipsism to aid rational agents in making situational inferences. We show that the principle leads to sound inferences in all operationally-relevant instances. Along the way, we discuss certain subtleties about the Frauchiger--Renner result that may have gone hithertofore unnoticed.


title: Initial Impacts of COVID-19 on Transportation Systems: A Case Study of the U.S. Epicenter, the New York Metropolitan Area

abstract: The novel Coronavirus COVID-19 spreading rapidly throughout the world was recognized by the World Health Organization (WHO) as a pandemic on March 11, 2020. One month into the COVID-19 pandemic, this white paper looks at the initial impacts COVID-19 has had on transportation systems in the metropolitan area of New York, which has become the U.S. epicenter of the coronavirus.


title: DocuBot : Generating financial reports using natural language interactions

abstract: The financial services industry perpetually processes an overwhelming amount of complex data. Digital reports are often created based on tedious manual analysis as well as visualization of the underlying trends and characteristics of data. Often, the accruing costs of human computation errors in creating these reports are very high. We present DocuBot, a novel AI-powered virtual assistant for creating and modifying content in digital documents by modeling natural language interactions as "skills" and using them to transform underlying data. DocuBot has the ability to agglomerate saved skills for reuse, enabling humans to automatically generate recurrent reports. DocuBot also has the capability to continuously learn domain-specific and user-specific vocabulary by interacting with the user. We present evidence that DocuBot adds value to the financial industry and demonstrate its impact with experiments involving real and simulated users tasked with creating PowerPoint presentations.


title: The Effects of the COVID-19 Pandemic on Transportation Systems in New York City and Seattle, USA

abstract: This paper continues to highlight trends in mobility and sociability in New York City (NYC), and supplements them with similar data from Seattle, WA, two of the cities most affected by COVID-19 in the U.S. Seattle may be further along in its recovery from the pandemic and ensuing lockdown than NYC, and may offer some insights into how travel patterns change. Finally, some preliminary findings from cities in China are discussed, two months following the lifting of their lockdowns, to offer a glimpse further into the future of recovery.


title: Data-Driven Certification of Neural Networks with Random Input Noise

abstract: Methods to certify the robustness of neural networks in the presence of input uncertainty are vital in safety-critical settings. Most certification methods in the literature are designed for adversarial or worst-case inputs, but researchers have recently shown a need for methods that consider random input noise. In this paper, we examine the setting where inputs are subject to random noise coming from an arbitrary probability distribution. We propose a robustness certification method that lower-bounds the probability that network outputs are safe. This bound is cast as a chance-constrained optimization problem, which is then reformulated using input-output samples to make the optimization constraints tractable. We develop sufficient conditions for the resulting optimization to be convex, as well as on the number of samples needed to make the robustness bound hold with overwhelming probability. We show for a special case that the proposed optimization reduces to an intuitive closed-form solution. Case studies on synthetic, MNIST, and CIFAR-10 networks experimentally demonstrate that this method is able to certify robustness against various input noise regimes over larger uncertainty regions than prior state-of-the-art techniques.


title: A Pattern Sequence for Designing Blockchain-Based Healthcare Information Technology Systems

abstract: Known for its decentralized and tamper-aware properties, blockchain is attractive to enhance the infrastructure of systems that have been constrained by traditionally centralized and vendor-locked environments. Although blockchain has commonly been used as the operational model behind cryptocurrency, it has far more foreseeable utilities in domains like healthcare, where efficient data flow is highly demanded. Particularly, blockchain and related technologies have been touted as foundational technologies for addressing healthcare interoperability challenges, such as promoting effective communications and securing data exchanges across various healthcare systems. Despite the increasing interests in leveraging blockchain technology to improve healthcare infrastructures, a major gap in literature is the lack of available recommendations for concrete architectural styles and design considerations for creating blockchain-based apps and systems with a healthcare focus. This research provides two contributions to bridge the gap in existing research. First, we introduce a pattern sequence for designing blockchain-based healthcare systems focused on secure and at-scale data exchange. Our approach adapts traditional software patterns and proposes novel patterns that take into account both the technical requirements specific to healthcare systems and the implications of these requirements on naive blockchain-based solutions. Second, we provide a pattern-oriented reference architecture using an example application of the pattern sequence for guiding software developers to design interoperable (on the technical level) healthcare IT systems atop blockchain-based infrastructures. The reference architecture focuses on minimizing storage requirements on-chain, preserving the privacy of sensitive information, facilitating scalable communications, and maximizing evolvability of the system.


title: Deep Expectation-Maximization for Semi-Supervised Lung Cancer Screening

abstract: We present a semi-supervised algorithm for lung cancer screening in which a 3D Convolutional Neural Network (CNN) is trained using the Expectation-Maximization (EM) meta-algorithm. Semi-supervised learning allows a smaller labelled data-set to be combined with an unlabeled data-set in order to provide a larger and more diverse training sample. EM allows the algorithm to simultaneously calculate a maximum likelihood estimate of the CNN training coefficients along with the labels for the unlabeled training set which are defined as a latent variable space. We evaluate the model performance of the Semi-Supervised EM algorithm for CNNs through cross-domain training of the Kaggle Data Science Bowl 2017 (Kaggle17) data-set with the National Lung Screening Trial (NLST) data-set. Our results show that the Semi-Supervised EM algorithm greatly improves the classification accuracy of the cross-domain lung cancer screening, although results are lower than a fully supervised approach with the advantage of additional labelled data from the unsupervised sample. As such, we demonstrate that Semi-Supervised EM is a valuable technique to improve the accuracy of lung cancer screening models using 3D CNNs.


title: Acoustic wave propagation through solar granulation: Validity of effective-medium theories, coda waves

abstract: Context. The frequencies, lifetimes, and eigenfunctions of solar acoustic waves are affected by turbulent convection, which is random in space and in time. Since the correlation time of solar granulation and the periods of acoustic waves ($\sim$5 min) are similar, the medium in which the waves propagate cannot a priori be assumed to be time independent. Aims. We compare various effective-medium solutions with numerical solutions in order to identify the approximations that can be used in helioseismology. For the sake of simplicity, the medium is one dimensional. Methods. We consider the Keller approximation, the second-order Born approximation, and spatial homogenization to obtain theoretical values for the effective wave speed and attenuation (averaged over the realizations of the medium). Numerically, we computed the first and second statistical moments of the wave field over many thousands of realizations of the medium (finite-amplitude sound-speed perturbations are limited to a 30 Mm band and have a zero mean). Results. The effective wave speed is reduced for both the theories and the simulations. The attenuation of the coherent wave field and the wave speed are best described by the Keller theory. The numerical simulations reveal the presence of coda waves, trailing the coherent wave packet. These late arrival waves are due to multiple scattering and are easily seen in the second moment of the wave field. Conclusions. We find that the effective wave speed can be calculated, numerically and theoretically, using a single snapshot of the random medium (frozen medium); however, the attenuation is underestimated in the frozen medium compared to the time-dependent medium. Multiple scattering cannot be ignored when modeling acoustic wave propagation through solar granulation.


title: Towards Bidirectional Protection in Federated Learning

abstract: Prior efforts in enhancing federated learning (FL) security fall into two categories. At one end of the spectrum, some work uses secure aggregation techniques to hide the individual client's updates and only reveal the aggregated global update to a malicious server that strives to infer the clients' privacy from their updates. At the other end of the spectrum, some work uses Byzantine-robust FL protocols to suppress the influence of malicious clients' updates. We present a federated learning protocol F2ED-LEARNING, which, for the first time, offers bidirectional defense to simultaneously combat against the malicious centralized server and Byzantine malicious clients. To defend against Byzantine malicious clients, F2ED-LEARNING provides dimension-free estimation error by employing and calibrating a well-studied robust mean estimator FilterL2. F2ED-LEARNING also leverages secure aggregation to protect clients from a malicious server. One key challenge of F2ED-LEARNING is to address the incompatibility between FilterL2 and secure aggregation schemes. Concretely, FilterL2 has to check the individual updates from clients whereas secure aggregation hides those updates from the malicious server. To this end, we propose a practical and highly effective solution to split the clients into shards, where F2ED-LEARNING securely aggregates each shard's update and launches FilterL2 on updates from different shards. The evaluation shows that F2ED-LEARNING consistently achieves optimal or close-to-optimal performance and outperforms five secure FL protocols under five popular attacks.


title: Patchy nuclear chain reactions

abstract: Stochastic fluctuations of the neutron population within a nuclear reactor are typically prevented by operating the core at a sufficient power, since a deterministic behavior of the neutron population is required by automatic safety systems to detect unwanted power excursions. Recent works however pointed out that, under specific circumstances, non-Poissonian patterns could affect neutron spatial distributions. This motivated an international program to experimentally detect and characterize such fluctuations and correlations, which took place in 2017 at the Rensselaer Polytechnic Institute Reactor Critical Facility. The main findings of this program will indeed unveil patchiness in snapshots of neutron spatial distributions -- obtained with a dedicated numerical twin of the reactor -- that support this first experimental characterization of the 'neutron clustering' phenomenon, while a stochastic model based on reaction-diffusion processes and branching random walks will reveal the key role played by the reactor intrinsic sources in understanding neutron spatial correlations.


title: Global Adaptive Filtering Layer for Computer Vision

abstract: We devise a universal adaptive neural layer to "learn" optimal frequency filter for each image together with the weights of the base neural network that performs some computer vision task. The proposed approach takes the source image in the spatial domain, automatically selects the best frequencies from the frequency domain, and transmits the inverse-transform image to the main neural network. Remarkably, such a simple add-on layer dramatically improves the performance of the main network regardless of its design. We observe that the light networks gain a noticeable boost in the performance metrics; whereas, the training of the heavy ones converges faster when our adaptive layer is allowed to "learn" alongside the main architecture. We validate the idea in four classical computer vision tasks: classification, segmentation, denoising, and erasing, considering popular natural and medical data benchmarks.


title: The relative orientation between the magnetic field and gas density structures in non-gravitating turbulent media

abstract: Magnetic fields are a dynamically important agent for regulating structure formation in the interstellar medium. The study of the relative orientation between the local magnetic field and gas (column-) density gradient has become a powerful tool to analyse the magnetic field's impact on the dense gas formation in the Galaxy. In this study, we perform numerical simulations of a non-gravitating, isothermal gas, where the turbulence is driven either solenoidally or compressively. We find that only simulations with an initially strong magnetic field (plasma-$\beta<1$) show a change in the preferential orientation between the magnetic field and isodensity contours, from mostly parallel at low densities to mostly perpendicular at higher densities. Hence, compressive turbulence alone is not capable of inducing the transition observed towards nearby molecular clouds. At the same high initial magnetisation, we find that solenoidal modes produce a sharper transition in the relative orientation with increasing density than compressive modes. We further study the time evolution of the relative orientation and find that it remains unchanged by the turbulent forcing after one dynamical timescale.


title: The Surprising Power of Graph Neural Networks with Random Node Initialization

abstract: Graph neural networks (GNNs) are effective models for representation learning on relational data. However, standard GNNs are limited in their expressive power, as they cannot distinguish graphs beyond the capability of the Weisfeiler-Leman graph isomorphism heuristic. In order to break this expressiveness barrier, GNNs have been enhanced with random node initialization (RNI), where the idea is to train and run the models with randomized initial node features. In this work, we analyze the expressive power of GNNs with RNI, and prove that these models are universal, a first such result for GNNs not relying on computationally demanding higher-order properties. This universality result holds even with partially randomized initial node features, and preserves the invariance properties of GNNs in expectation. We then empirically analyze the effect of RNI on GNNs, based on carefully constructed datasets. Our empirical findings support the superior performance of GNNs with RNI over standard GNNs.


title: Reinforcement Learning of Sequential Price Mechanisms

abstract: We introduce the use of reinforcement learning for indirect mechanisms, working with the existing class of sequential price mechanisms, which generalizes both serial dictatorship and posted price mechanisms and essentially characterizes all strongly obviously strategyproof mechanisms. Learning an optimal mechanism within this class forms a partially-observable Markov decision process. We provide rigorous conditions for when this class of mechanisms is more powerful than simpler static mechanisms, for sufficiency or insufficiency of observation statistics for learning, and for the necessity of complex (deep) policies. We show that our approach can learn optimal or near-optimal mechanisms in several experimental settings.


title: The Massive Binary System 9 Sgr Revisited: New Insights into Disentangling Methods

abstract: Disentangling techniques are often needed to obtain the spectra of the individual components of binary or multiple systems. A thorough analysis of the shift-and-add algorithm of Marchenko, Moffat, & Eenens (1998) reveals that in many cases the line fluxes are poorly reproduced and spurious wings appear. The causes of these discrepancies are discussed and a new disentangling package, QER20, is presented which significantly reduces these errors and vastly increases the performance. When applied to the massive binary 9 Sgr, our new code yields line fluxes which are notably different from those previously published and lead us to revise the spectral classification to slightly earlier subtypes: O3V((f +)) for the primary and O5V((f)) for the secondary. We show that with the MME98 algorithm the classification of massive stars in binaries can be off by several subtypes whilst there are no such errors when the QER20 package is used.


title: Long Time Influence of Small Perturbations and Motion on the Simplex of Invariant Probability Measures

abstract: A general approach to a broad class of asymptotic problems related to long-time influence of small perturbations, of both deterministic and stochastic type, is presented in the paper. The main characteristic of this influence is a limiting motion on the simplex of invariant probability measures of the non-perturbed system in an appropriate time scale. The main tools we use in the paper are limit theorems for large deviations, modified averaging principle, and diffusion approximation.


title: Deep FPF: Gain function approximation in high-dimensional setting

abstract: In this paper, we present a novel approach to approximate the gain function of the feedback particle filter (FPF). The exact gain function is the solution of a Poisson equation involving a probability-weighted Laplacian. The numerical problem is to approximate the exact gain function using only finitely many particles sampled from the probability distribution. Inspired by the recent success of the deep learning methods, we represent the gain function as a gradient of the output of a neural network. Thereupon considering a certain variational formulation of the Poisson equation, an optimization problem is posed for learning the weights of the neural network. A stochastic gradient algorithm is described for this purpose. The proposed approach has two significant properties/advantages: (i) The stochastic optimization algorithm allows one to process, in parallel, only a batch of samples (particles) ensuring good scaling properties with the number of particles; (ii) The remarkable representation power of neural networks means that the algorithm is potentially applicable and useful to solve high-dimensional problems. We numerically establish these two properties and provide extensive comparison to the existing approaches.


title: Effective Sample Size, Dimensionality, and Generalization in Covariate Shift Adaptation

abstract: In supervised learning, training and test datasets are often sampled from distinct distributions. Domain adaptation techniques are thus required. Covariate shift adaptation yields good generalization performance when domains differ only by the marginal distribution of features. Covariate shift adaptation is usually implemented using importance weighting, which may fail, according to common wisdom, due to small effective sample sizes (ESS). Previous research argues this scenario is more common in high-dimensional settings. However, how effective sample size, dimensionality, and model performance/generalization are formally related in supervised learning, considering the context of covariate shift adaptation, is still somewhat obscure in the literature. Thus, a main challenge is presenting a unified theory connecting those points. Hence, in this paper, we focus on building a unified view connecting the ESS, data dimensionality, and generalization in the context of covariate shift adaptation. Moreover, we also demonstrate how dimensionality reduction or feature selection can increase the ESS, and argue that our results support dimensionality reduction before covariate shift adaptation as a good practice.


title: Compressing Images by Encoding Their Latent Representations with Relative Entropy Coding

abstract: Variational Autoencoders (VAEs) have seen widespread use in learned image compression. They are used to learn expressive latent representations on which downstream compression methods can operate with high efficiency. Recently proposed 'bits-back' methods can indirectly encode the latent representation of images with codelength close to the relative entropy between the latent posterior and the prior. However, due to the underlying algorithm, these methods can only be used for lossless compression, and they only achieve their nominal efficiency when compressing multiple images simultaneously; they are inefficient for compressing single images. As an alternative, we propose a novel method, Relative Entropy Coding (REC), that can directly encode the latent representation with codelength close to the relative entropy for single images, supported by our empirical results obtained on the Cifar10, ImageNet32 and Kodak datasets. Moreover, unlike previous bits-back methods, REC is immediately applicable to lossy compression, where it is competitive with the state-of-the-art on the Kodak dataset.


title: The dependence of the galaxy stellar-to-halo mass relation on galaxy morphology

abstract: We investigate the dependence of the local galaxy stellar-to-halo mass relation (SHMR) on galaxy morphology. We use data from the Sloan Digital Sky Survey DR7 with morphological classifications from Galaxy Zoo, and compare with the EAGLE cosmological simulation. At fixed halo mass in the mass range $10^{11.7}-10^{12.9}M_{\odot}$, the median stellar masses of SDSS disc galaxies are up to a factor of 1.4 higher than the median masses of their elliptical counterparts. However, when we switch from the stellar masses from Kauffmann et al. to those calculated by Chang et al. or Brinchmann et al., the median SHMR from discs and ellipticals coincide in this mass range. For halo masses larger than $10^{13}M_{\odot}$, discs are less massive than ellipticals in same-mass haloes, regardless of whose stellar mass estimates we use. However, we find that for these high halo masses the results for discs may be affected by central/satellite misclassifications. The EAGLE simulation predicts that discs are up to a factor of 1.5 more massive than elliptical galaxies residing in same-mass haloes less massive than $10^{13}M_{\odot}$, in agreement with the Kauffmann et al. data. Haloes with masses between $10^{11.5}$ and $10^{12}M_{\odot}$, that host disc galaxies, were assembled earlier than those hosting ellipticals. This suggests that the discs are more massive because they had more time for gas accretion and star formation. In $10^{12}-10^{12.5}M_{\odot}$ haloes, the central black holes in elliptical galaxies grew faster and became more massive than their counterparts in disc galaxies. This suggests that in this halo mass range the ellipticals are less massive because AGN feedback ejected more of the halo's gas reservoir, reducing star formation, and suppressing the (re)growth of stellar discs.


title: On the Nielsen-Schreier Theorem in Homotopy Type Theory

abstract: We give a formulation of the Nielsen-Schreier theorem (subgroups of free groups are free) in homotopy type theory using the presentation of groups as pointed connected 1-truncated types. We show the special case of finite index subgroups holds constructively and the full theorem follows from the axiom of choice. We give an example of a boolean infinity topos where our formulation of the theorem does not hold and show a stronger "untruncated" version of the theorem is provably false in homotopy type theory.


title: On commuting probabilities in finite groups and rings

abstract: We show that the set of all commuting probabilities in finite rings is a subset of the set of all commuting probabilities in finite nilpotent groups of class $\le2$. We believe that these two sets are equal; we prove they are equal, when restricted to groups and rings with odd number of elements.


title: Neighbourhood Distillation: On the benefits of non end-to-end distillation

abstract: End-to-end training with back propagation is the standard method for training deep neural networks. However, as networks become deeper and bigger, end-to-end training becomes more challenging: highly non-convex models gets stuck easily in local optima, gradients signals are prone to vanish or explode during back-propagation, training requires computational resources and time. In this work, we propose to break away from the end-to-end paradigm in the context of Knowledge Distillation. Instead of distilling a model end-to-end, we propose to split it into smaller sub-networks - also called neighbourhoods - that are then trained independently. We empirically show that distilling networks in a non end-to-end fashion can be beneficial in a diverse range of use cases. First, we show that it speeds up Knowledge Distillation by exploiting parallelism and training on smaller networks. Second, we show that independently distilled neighbourhoods may be efficiently re-used for Neural Architecture Search. Finally, because smaller networks model simpler functions, we show that they are easier to train with synthetic data than their deeper counterparts.


title: FedQPL: A Language for Logical Query Plans over Heterogeneous Federations of RDF Data Sources (Extended Version)

abstract: Federations of RDF data sources provide great potential when queried for answers and insights that cannot be obtained from one data source alone. A challenge for planning the execution of queries over such a federation is that the federation may be heterogeneous in terms of the types of data access interfaces provided by the federation members. This challenge has not received much attention in the literature. This paper provides a solid formal foundation for future approaches that aim to address this challenge. Our main conceptual contribution is a formal language for representing query execution plans; additionally, we identify a fragment of this language that can be used to capture the result of selecting relevant data sources for different parts of a given query. As technical contributions, we show that this fragment is more expressive than what is supported by existing source selection approaches, which effectively highlights an inherent limitation of these approaches. Moreover, we show that the source selection problem is NP-hard and in $\Sigma_2^\mathrm{P}$, and we provide a comprehensive set of rewriting rules that can be used as a basis for query optimization.


title: Semantic MapNet: Building Allocentric Semantic Maps and Representations from Egocentric Views

abstract: We study the task of semantic mapping - specifically, an embodied agent (a robot or an egocentric AI assistant) is given a tour of a new environment and asked to build an allocentric top-down semantic map ("what is where?") from egocentric observations of an RGB-D camera with known pose (via localization sensors). Towards this goal, we present SemanticMapNet (SMNet), which consists of: (1) an Egocentric Visual Encoder that encodes each egocentric RGB-D frame, (2) a Feature Projector that projects egocentric features to appropriate locations on a floor-plan, (3) a Spatial Memory Tensor of size floor-plan length x width x feature-dims that learns to accumulate projected egocentric features, and (4) a Map Decoder that uses the memory tensor to produce semantic top-down maps. SMNet combines the strengths of (known) projective camera geometry and neural representation learning. On the task of semantic mapping in the Matterport3D dataset, SMNet significantly outperforms competitive baselines by 4.01-16.81% (absolute) on mean-IoU and 3.81-19.69% (absolute) on Boundary-F1 metrics. Moreover, we show how to use the neural episodic memories and spatio-semantic allocentric representations build by SMNet for subsequent tasks in the same space - navigating to objects seen during the tour("Find chair") or answering questions about the space ("How many chairs did you see in the house?"). Project page: https://vincentcartillier.github.io/smnet.html.


title: Correcting Experience Replay for Multi-Agent Communication

abstract: We consider the problem of learning to communicate using multi-agent reinforcement learning (MARL). A common approach is to learn off-policy, using data sampled from a replay buffer. However, messages received in the past may not accurately reflect the current communication policy of each agent, and this complicates learning. We therefore introduce a 'communication correction' which accounts for the non-stationarity of observed communication induced by multi-agent learning. It works by relabelling the received message to make it likely under the communicator's current policy, and thus be a better reflection of the receiver's current environment. To account for cases in which agents are both senders and receivers, we introduce an ordered relabelling scheme. Our correction is computationally efficient and can be integrated with a range of off-policy algorithms. We find in our experiments that it substantially improves the ability of communicating MARL systems to learn across a variety of cooperative and competitive tasks.


title: Quadratic Funding and Matching Funds Requirements

abstract: In this paper we examine the mechanism proposed by Buterin, Hitzig, and Weyl (2019) for public goods financing, particularly regarding its matching funds requirements, related efficiency implications, and incentives for strategic behavior. Then, we use emerging evidence from Gitcoin Grants, to identify stylized facts in contribution giving and test our propositions. Because of its quadratic design, matching funds requirements scale rapidly, particularly by more numerous and equally contributed projects. As a result, matching funds are exhausted early in the funding rounds, and much space remains for social efficiency improvement. Empirically, there is also a tendency by contributors to give small amounts, scattered among multiple projects, which accelerates this process. Among other findings, we also identify a significant amount of reciprocal backing, which could be consistent with the kind of strategic behavior we discuss.


title: High-Order Accuracy Computation of Coupling Functions for Strongly Coupled Oscillators

abstract: We develop a general framework for identifying phase reduced equations for finite populations of coupled oscillators that is valid far beyond the weak coupling approximation. This strategy represents a general extension of the theory from [Wilson and Ermentrout, Phys. Rev. Lett 123, 164101 (2019)] and yields coupling functions that are valid to higher-order accuracy in the coupling strength for arbitrary types of coupling (e.g., diffusive, gap-junction, chemical synaptic). These coupling functions can be used to understand the behavior of potentially high-dimensional, nonlinear oscillators in terms of their phase differences. The proposed formulation accurately replicates nonlinear bifurcations that emerge as the coupling strength increases and is valid in regimes well beyond those that can be considered using classic weak coupling assumptions. We demonstrate the performance of our approach through two examples. First, we use diffusively coupled complex Ginzburg-Landau (CGL) model and demonstrate that our theory accurately predicts bifurcations far beyond the range of existing coupling theory. Second, we use a realistic conductance-based model of a thalamic neuron and show that our theory correctly predicts asymptotic phase differences for non-weak synaptic coupling. In both examples, our theory accurately captures model behaviors that weak coupling theories can not.


title: Leveraging Semantic and Lexical Matching to Improve the Recall of Document Retrieval Systems: A Hybrid Approach

abstract: Search engines often follow a two-phase paradigm where in the first stage (the retrieval stage) an initial set of documents is retrieved and in the second stage (the re-ranking stage) the documents are re-ranked to obtain the final result list. While deep neural networks were shown to improve the performance of the re-ranking stage in previous works, there is little literature about using deep neural networks to improve the retrieval stage. In this paper, we study the merits of combining deep neural network models and lexical models for the retrieval stage. A hybrid approach, which leverages both semantic (deep neural network-based) and lexical (keyword matching-based) retrieval models, is proposed. We perform an empirical study, using a publicly available TREC collection, which demonstrates the effectiveness of our approach and sheds light on the different characteristics of the semantic approach, the lexical approach, and their combination.


title: End-to-End Differentiable Molecular Mechanics Force Field Construction

abstract: Molecular mechanics (MM) potentials have long been a workhorse of computational chemistry. Leveraging accuracy and speed, these functional forms find use in a wide variety of applications in biomolecular modeling and drug discovery, from rapid virtual screening to detailed free energy calculations. Traditionally, MM potentials have relied on human-curated, inflexible, and poorly extensible discrete chemical perception rules or applying parameters to small molecules or biopolymers, making it difficult to optimize both types and parameters to fit quantum chemical or physical property data. Here, we propose an alternative approach that uses graph neural networks to perceive chemical environments, producing continuous atom embeddings from which valence and nonbonded parameters can be predicted using invariance-preserving layers. Since all stages are built from smooth neural functions, the entire process is modular and end-to-end differentiable with respect to model parameters, allowing new force fields to be easily constructed, extended, and applied to arbitrary molecules. We show that this approach is not only sufficiently expressive to reproduce legacy atom types, but that it can learn to accurately reproduce and extend existing molecular mechanics force fields. Trained with arbitrary loss functions, it can construct entirely new force fields self-consistently applicable to both biopolymers and small molecules directly from quantum chemical calculations, with superior fidelity than traditional atom or parameter typing schemes. When trained on the same quantum chemical small molecule dataset used to parameterize the openff-1.2.0 small molecule force field augmented with a peptide dataset, the resulting espaloma model shows superior accuracy vis-\`a-vis experiments in computing relative alchemical free energy calculations for a popular benchmark set.


title: Stock2Vec: A Hybrid Deep Learning Framework for Stock Market Prediction with Representation Learning and Temporal Convolutional Network

abstract: We have proposed to develop a global hybrid deep learning framework to predict the daily prices in the stock market. With representation learning, we derived an embedding called Stock2Vec, which gives us insight for the relationship among different stocks, while the temporal convolutional layers are used for automatically capturing effective temporal patterns both within and across series. Evaluated on S&P 500, our hybrid framework integrates both advantages and achieves better performance on the stock price prediction task than several popular benchmarked models.


title: Optimization under Uncertainty of a Chain of Nonlinear Resonators using a Field Representation

abstract: Chains of resonators in the form of spring-mass systems have long been known to exhibiting interesting properties such as band gaps. Such features can be leveraged to manipulate the propagation of waves such as the filtering of specific frequencies and, more generally, mitigate vibrations and impact. Adding nonlinearities to the system can also provide further avenues to manipulate the propagation of waves in the chain and enhance its performance. This work proposes to optimally design such a chain of resonators to mitigate vibrations in a robust manner by accounting for various sources of design uncertainties (e.g., nonlinear stiffness) and aleatory uncertainties (e.g., loading). The stochastic optimization algorithm is tailored to account for discontinuities in the chain response due to the presence of nonlinearities. In addition, a field formulation is used to define the properties of the resonators along the chain and reduce the dimensionality of the optimization problem. It is shown that the combination of the stochastic optimization algorithm and the field representation leads to robust designs that could not be achieved with optimal properties constant over the chain.


title: Market laws

abstract: More than one billion data sampled with different frequencies from several financial instruments were investigated with the aim of testing whether they involve power law. As a result, a known power law with the power exponent around -4 was detected in the empirical distributions of the relative returns. Moreover, a number of new power law behaviors with various power exponents were explored in the same data. Further on, a model based on finite sums over numerous Maxwell-Boltzmann type distribution functions with random (pseudorandom) multipliers in the exponent were proposed to deal with the empirical distributions involving power laws. The results indicate that the proposed model may be universal.


title: FPGA Implementation of Simplified Spiking Neural Network

abstract: Spiking Neural Networks (SNN) are third-generation Artificial Neural Networks (ANN) which are close to the biological neural system. In recent years SNN has become popular in the area of robotics and embedded applications, therefore, it has become imperative to explore its real-time and energy-efficient implementations. SNNs are more powerful than their predecessors because they encode temporal information and use biologically plausible plasticity rules. In this paper, a simpler and computationally efficient SNN model using FPGA architecture is described. The proposed model is validated on a Xilinx Virtex 6 FPGA and analyzes a fully connected network which consists of 800 neurons and 12,544 synapses in real-time.


title: Collapse vs. blow up and global existence in the generalized Constantin-Lax-Majda equation

abstract: The question of finite time singularity formation vs. global existence for solutions to the generalized Constantin-Lax-Majda equation is studied, with particular emphasis on the influence of a parameter $a$ which controls the strength of advection. For solutions on the infinite domain we find a new critical value $a_c=0.6890665337007457\ldots$ below which there is finite time singularity formation % if we write a=a_c=0.6890665337007457\ldots here then \ldots doesn't fit into the line that has a form of self-similar collapse, with the spatial extent of blow-up shrinking to zero. We find a new exact analytical collapsing solution at $a=1/2$ as well as prove the existence of a leading order complex singularity for general values of $a$ in the analytical continuation of the solution from the real spatial coordinate into the complex plane. This singularity controls the leading order behaviour of the collapsing solution. For $a_c<a\leq1$, we find a blow-up solution in which the spatial extent of the blow-up region expands infinitely fast at the singularity time. For $a \gtrsim 1.3$, we find that the solution exists globally with exponential-like growth of the solution amplitude in time. We also consider the case of periodic boundary conditions. We identify collapsing solutions for $a<a_c$ which are similar to the real line case. For $a_c<a\le0.95$, we find new blow-up solutions which are neither expanding nor collapsing. For $ a\ge 1,$ we identify a global existence of solutions.


title: Background Adaptive Faster R-CNN for Semi-Supervised Convolutional Object Detection of Threats in X-Ray Images

abstract: Recently, progress has been made in the supervised training of Convolutional Object Detectors (e.g. Faster R-CNN) for threat recognition in carry-on luggage using X-ray images. This is part of the Transportation Security Administration's (TSA's) mission to protect air travelers in the United States. While more training data with threats may reliably improve performance for this class of deep algorithm, it is expensive to stage in realistic contexts. By contrast, data from the real world can be collected quickly with minimal cost. In this paper, we present a semi-supervised approach for threat recognition which we call Background Adaptive Faster R-CNN. This approach is a training method for two-stage object detectors which uses Domain Adaptation methods from the field of deep learning. The data sources described earlier make two "domains": a hand-collected data domain of images with threats, and a real-world domain of images assumed without threats. Two domain discriminators, one for discriminating object proposals and one for image features, are adversarially trained to prevent encoding domain-specific information. Without this penalty a Convolutional Neural Network (CNN) can learn to identify domains based on superficial characteristics, and minimize a supervised loss function without improving its ability to recognize objects. For the hand-collected data, only object proposals and image features from backgrounds are used. The losses for these domain-adaptive discriminators are added to the Faster R-CNN losses of images from both domains. This can reduce threat detection false alarm rates by matching the statistics of extracted features from hand-collected backgrounds to real world data. Performance improvements are demonstrated on two independently-collected datasets of labeled threats.


title: Full Thermalization of a Photonic Qubit

abstract: The generalized amplitude damping (GAD) quantum channel implements the interaction between a qubit and an environment with arbitrary temperature and arbitrary interaction time. Here, we implement a photonic version of the GAD for the case of infinite interaction time (full thermalization). We also show that this quantum channel works as a thermal bath with controlled temperature.


title: Leveraging Tacit Information Embedded in CNN Layers for Visual Tracking

abstract: Different layers in CNNs provide not only different levels of abstraction for describing the objects in the input but also encode various implicit information about them. The activation patterns of different features contain valuable information about the stream of incoming images: spatial relations, temporal patterns, and co-occurrence of spatial and spatiotemporal (ST) features. The studies in visual tracking literature, so far, utilized only one of the CNN layers, a pre-fixed combination of them, or an ensemble of trackers built upon individual layers. In this study, we employ an adaptive combination of several CNN layers in a single DCF tracker to address variations of the target appearances and propose the use of style statistics on both spatial and temporal properties of the target, directly extracted from CNN layers for visual tracking. Experiments demonstrate that using the additional implicit data of CNNs significantly improves the performance of the tracker. Results demonstrate the effectiveness of using style similarity and activation consistency regularization in improving its localization and scale accuracy.


title: A note on a Geography problem in knot Floer homology

abstract: We prove that knot Floer homology of a certain class of knots is non-trivial in next-to-top Alexander grading. This gives a partial affirmative answer to a question posed by Baldwin and Vela-Vick which asks if the same is true for all non-trivial knots in $S^3$.


title: Representation of harmonic functions with respect to subordinate Brownian motion

abstract: In this article we prove a representation formula for non-negative generalized harmonic functions with respect to a subordinate Brownian motion in a general open set $D\subset \mathbb{R}^d$. We also study oscillation properties of quotients of Poisson integrals and prove that oscillation can be uniformly tamed.


title: $f$-GAIL: Learning $f$-Divergence for Generative Adversarial Imitation Learning

abstract: Imitation learning (IL) aims to learn a policy from expert demonstrations that minimizes the discrepancy between the learner and expert behaviors. Various imitation learning algorithms have been proposed with different pre-determined divergences to quantify the discrepancy. This naturally gives rise to the following question: Given a set of expert demonstrations, which divergence can recover the expert policy more accurately with higher data efficiency? In this work, we propose $f$-GAIL, a new generative adversarial imitation learning (GAIL) model, that automatically learns a discrepancy measure from the $f$-divergence family as well as a policy capable of producing expert-like behaviors. Compared with IL baselines with various predefined divergence measures, $f$-GAIL learns better policies with higher data efficiency in six physics-based control tasks.


title: Decoy Allocation Games on Graphs with Temporal Logic Objectives

abstract: We study a class of games, in which the adversary (attacker) is to satisfy a complex mission specified in linear temporal logic, and the defender is to prevent the adversary from achieving its goal. A deceptive defender can allocate decoys, in addition to defense actions, to create disinformation for the attacker. Thus, we focus on the problem of jointly synthesizing a decoy placement strategy and a deceptive defense strategy that maximally exploits the incomplete information the attacker about the decoy locations. We introduce a model of hypergames on graphs with temporal logic objectives to capture such adversarial interactions with asymmetric information. Using the hypergame model, we analyze the effectiveness of a given decoy placement, quantified by the set of deceptive winning states where the defender can prevent the attacker from satisfying the attack objective given its incomplete information about decoy locations. Then, we investigate how to place decoys to maximize the defender's deceptive winning region. Considering the large search space for all possible decoy allocation strategies, we incorporate the idea of compositional synthesis from formal methods and show that the objective function in the class of decoy allocation problem is monotone and non-decreasing. We derive the sufficient conditions under which the objective function for the decoy allocation problem is submodular, or supermodular, respectively. We show a sub-optimal allocation can be efficiently computed by iteratively composing the solutions of hypergames with a subset of decoys and the solution of a hypergame given a single decoy. We use a running example to illustrate the proposed method.


title: Complex Network Analysis of North American Institutions of Higher Education on Twitter

abstract: North American institutions of higher education (IHEs): universities, 4- and 2-year colleges, and trade schools -- are heavily present and followed on Twitter. An IHE Twitter account, on average, has 20,000 subscribers. Many of them follow more than one IHE, making it possible to construct an IHE network, based on the number of co-followers. In this paper, we explore the structure of a network of 1,435 IHEs on Twitter. We discovered significant correlations between the network attributes: various centralities and clustering coefficients -- and IHEs' attributes, such as enrollment, tuition, and religious/racial/gender affiliations. We uncovered the community structure of the network linked to homophily -- such that similar followers follow similar colleges. Additionally, we analyzed the followers' self-descriptions and identified twelve overlapping topics that can be traced to the followers' group identities.


title: Fine Structure of the Isovector Giant Dipole Resonance in $^{142-150}$Nd and $^{152}$Sm

abstract: Background: Inelastic proton scattering at energies of a few hundred MeV and very-forward angles including $0^\circ$ has been established as a tool to study electric-dipole strength distributions in nuclei. The present work reports a systematic investigation of the chain of stable even-mass Nd isotopes representing a transition from spherical to quadrupole-deformed nuclei. Purpose: Extraction of the equivalent photo-absorption cross sections and analysis of their fine structure in the energy region of the IsoVector Giant Dipole Resonance (IVGDR). Method: Proton inelastic scattering reactions of 200 MeV protons were measured at iThemba LABS in Cape Town, South Africa. The scattering products were momentum-analysed by the K600 magnetic spectrometer positioned at $\theta_{\mathrm{Lab}}=0^\circ$. Using dispersion-matching techniques, energy resolutions of $\Delta E \approx 40 - 50$ keV were obtained. After subtraction of background and contributions from other multipoles, the spectra were converted to photo-absorption cross sections using the equivalent virtual-photon method. Results: Wavelet-analysis techniques are used to extract characteristic energy scales of the fine structure of the IVGDR from the experimental data. Comparisons with the Quasiparticle-Phonon Model (QPM) and Skyrme Separable Random Phase Approximation (SSRPA) predictions provide insight into the role of different giant resonance damping mechanisms. Conclusions: Fine structure is observed even for the most deformed nuclei studied. Fragmentation of the one particle-one hole ($1p1h$) strength seems to be the main source of fine structure in both spherical and deformed nuclei. Some impact of the spreading due to coupling of the two particle-two hole ($2p2h$) states to the $1p1h$ doorway states is seen in the spherical/transitional nuclei, where calculations beyond the $1p1h$ level are available.


title: Sieving intervals and Siegel zeros

abstract: Assuming that there exist (infinitely many) Siegel zeros, we show that the (Rosser-)Jurkat-Richert bounds in the linear sieve cannot be improved, and similarly look at Iwaniec's lower bound on Jacobsthal's problem, as well as minor improvements to the Brun-Titchmarsh Theorem. We also deduce an improved (though conditional) lower bound on the longest gaps between primes, and rework Cram\'er's heuristic in this situation to show that we would expect gaps around $x$ that are significantly larger than $(\log x)^2$.


title: Hopf's lemmas for parabolic fractional Laplacians and parabolic fractional $p$-Laplacians

abstract: In this paper, we first establish Hopf's lemmas for parabolic fractional equations and parabolic fractional $p$-equations. Then we derive an asymptotic Hopf's lemma for antisymmetric solutions to parabolic fractional equations. We believe that these Hopf's lemmas will become powerful tools in obtaining qualitative properties of solutions for nonlocal parabolic equations.


title: Machine-Learning the Sato--Tate Conjecture

abstract: We apply some of the latest techniques from machine-learning to the arithmetic of hyperelliptic curves. More precisely we show that, with impressive accuracy and confidence (between 99 and 100 percent precision), and in very short time (matter of seconds on an ordinary laptop), a Bayesian classifier can distinguish between Sato-Tate groups given a small number of Euler factors for the L-function. Our observations are in keeping with the Sato-Tate conjecture for curves of low genus. For elliptic curves, this amounts to distinguishing generic curves (with Sato-Tate group SU(2)) from those with complex multiplication. In genus 2, a principal component analysis is observed to separate the generic Sato-Tate group USp(4) from the non-generic groups. Furthermore in this case, for which there are many more non-generic possibilities than in the case of elliptic curves, we demonstrate an accurate characterisation of several Sato-Tate groups with the same identity component. Throughout, our observations are verified using known results from the literature and the data available in the LMFDB. The results in this paper suggest that a machine can be trained to learn the Sato-Tate distributions and may be able to classify curves much more efficiently than the methods available in the literature.


title: Evidence for Temperature Chaos in Spin Glasses

abstract: We study the field cooled magnetization of a CuMn spin glass under temperature perturbations. The $T$-cycling curves are compared with the reference curve without temperature cycling. There is a crossover from the cumulative aging region to noncumulative aging region as the temperature change is increased. The cumulative aging range scales with the chaos length $\ell_\mathrm{c}$, becoming comparable to the correlation length, $\xi$, at the crossover boundary. The extracted chaos exponent, $\zeta = 1.1$, is in agreement with theoretical predictions. Our results strongly suggest temperature chaos exists in real spin glasses system.


title: Efficient Multi-Contact Pattern Generation with Sequential Convex Approximations of the Centroidal Dynamics

abstract: This paper investigates the problem of efficient computation of physically consistent multi-contact behaviors. Recent work showed that under mild assumptions, the problem could be decomposed into simpler kinematic and centroidal dynamic optimization problems. Based on this approach, we propose a general convex relaxation of the centroidal dynamics leading to two computationally efficient algorithms based on iterative resolutions of second order cone programs. They optimize centroidal trajectories, contact forces and, importantly, the timing of the motions. We include the approach in a kino-dynamic optimization method to generate full-body movements. Finally, the approach is embedded in a mixed-integer solver to further find dynamically consistent contact sequences. Extensive numerical experiments demonstrate the computational efficiency of the approach, suggesting that it could be used in a fast receding horizon control loop. Executions of the planned motions on simulated humanoids and quadrupeds and on a real quadruped robot further show the quality of the optimized motions.


title: Non-relativistic three-dimensional supergravity theories and semigroup expansion method

abstract: In this work we present an alternative method to construct diverse non-relativistic Chern-Simons supergravity theories in three spacetime dimensions. To this end, we apply the Lie algebra expansion method based on semigroups to a supersymmetric extension of the Nappi-Witten algebra. Two different families of non-relativistic superalgebras are obtained, corresponding to generalizations of the extended Bargmann superalgebra and extended Newton-Hooke superalgebra, respectively. The expansion method considered here allows to obtain known and new non-relativistic supergravity models in a systematic way. In particular, it immediately provides an invariant tensor for the expanded superalgebra, which is essential to construct the corresponding Chern-Simons supergravity action. We show that the extended Bargmann supergravity and its Maxwellian generalization appear as particular subcases of a generalized extended Bargmann supergravity theory. In addition, we demonstrate that the generalized extended Bargmann and generalized extended Newton-Hooke supergravity families are related through a contraction process.


title: Artificial Intelligence Enabled Traffic Monitoring System

abstract: Manual traffic surveillance can be a daunting task as Traffic Management Centers operate a myriad of cameras installed over a network. Injecting some level of automation could help lighten the workload of human operators performing manual surveillance and facilitate making proactive decisions which would reduce the impact of incidents and recurring congestion on roadways. This article presents a novel approach to automatically monitor real time traffic footage using deep convolutional neural networks and a stand-alone graphical user interface. The authors describe the results of research received in the process of developing models that serve as an integrated framework for an artificial intelligence enabled traffic monitoring system. The proposed system deploys several state-of-the-art deep learning algorithms to automate different traffic monitoring needs. Taking advantage of a large database of annotated video surveillance data, deep learning-based models are trained to detect queues, track stationary vehicles, and tabulate vehicle counts. A pixel-level segmentation approach is applied to detect traffic queues and predict severity. Real-time object detection algorithms coupled with different tracking systems are deployed to automatically detect stranded vehicles as well as perform vehicular counts. At each stages of development, interesting experimental results are presented to demonstrate the effectiveness of the proposed system. Overall, the results demonstrate that the proposed framework performs satisfactorily under varied conditions without being immensely impacted by environmental hazards such as blurry camera views, low illumination, rain, or snow.


title: Success and breakdown of the T-matrix approximation for phonon-disorder scattering

abstract: We examine the validity of the widely used T-matrix approximation for treating phonon-disorder scattering by implementing an unfolding algorithm that allows simulation of disorder up to tens of millions of atoms. The T-matrix approximation breaks down for low-energy flexure phonons that play an important role in thermal transport in two-dimensional materials. Furthermore, insights are developed into the success of the T-matrix approximation in describing maximally mass disordered systems. To achieve this, the phonon unfolding formalism is generalized to describe mass disorder and strongly nonperturbative features of the spectrum are connected to the Boltzmann quasiparticle picture.


title: Contraction Theory for Dynamical Systems on Hilbert Spaces

abstract: Contraction theory for dynamical systems on Euclidean spaces is well-established. For contractive (resp. semi-contractive) systems, the distance (resp. semi-distance) between any two trajectories decreases exponentially fast. For partially contractive systems, each trajectory converges exponentially fast to an invariant subspace. In this note, we develop contraction theory on Hilbert spaces. First, we provide a novel integral condition for contractivity, and for time-invariant systems, we establish the existence of a unique globally exponentially stable equilibrium. Second, we introduce the notions of partial and semi-contraction and we provide various sufficient conditions for time-varying and time-invariant systems. Finally, we apply the theory on a classic reaction-diffusion system.


title: Hierarchical Domain-Adapted Feature Learning for Video Saliency Prediction

abstract: In this work, we propose a 3D fully convolutional architecture for video saliency prediction that employs hierarchical supervision on intermediate maps (referred to as conspicuity maps) generated using features extracted at different abstraction levels. We provide the base hierarchical learning mechanism with two techniques for domain adaptation and domain-specific learning. For the former, we encourage the model to unsupervisedly learn hierarchical general features using gradient reversal at multiple scales, to enhance generalization capabilities on datasets for which no annotations are provided during training. As for domain specialization, we employ domain-specific operations (namely, priors, smoothing and batch normalization) by specializing the learned features on individual datasets in order to maximize performance. The results of our experiments show that the proposed model yields state-of-the-art accuracy on supervised saliency prediction. When the base hierarchical model is empowered with domain-specific modules, performance improves, outperforming state-of-the-art models on three out of five metrics on the DHF1K benchmark and reaching the second-best results on the other two. When, instead, we test it in an unsupervised domain adaptation setting, by enabling hierarchical gradient reversal layers, we obtain performance comparable to supervised state-of-the-art.


title: Quantitative John-Nirenberg inequalities at different scales

abstract: We provide an abstract estimate of the form \[ \|f-f_{Q,\mu}\|_{X \left(Q,\frac{\mathrm{d} \mu}{Y(Q)}\right)}\leq c(\mu,Y)\psi(X)\|f\|_{\mathrm{BMO}(\mathrm{d}\mu)} \] for all cubes $Q$ in $\mathbb{R}^n$ and every function $f\in \mathrm{BMO}(\mathrm{d}\mu)$, where $\mu$ is a doubling measure in $\mathbb{R}^n$, $Y$ is some positive functional defined on cubes, $\|\cdot \|_{X \left(Q,\frac{\mathrm{d} w}{w(Q)}\right)}$ is a sufficiently good quasi-norm and $c(\mu,Y)$ and $\psi(X)$ are positive constants depending on $\mu$ and $Y$, and $X$, respectively. That abstract scheme allows us to recover the sharp estimate \[ \|f-f_{Q,\mu}\|_{L^p \left(Q,\frac{\mathrm{d} \mu(x)}{\mu(Q)}\right)}\leq c(\mu)p\|f\|_{\mathrm{BMO}(\mathrm{d}\mu)}, \qquad p\geq1 \] for every cube $Q$ and every $f\in \mathrm{BMO}(\mathrm{d}\mu)$, which is known to be equivalent to the John-Nirenberg inequality, and also enables us to obtain quantitative counterparts when $L^p$ is replaced by suitable strong and weak Orlicz spaces and $L^{p(\cdot)}$ spaces. Besides the aforementioned results we also generalize Theorem 1.2 in [OPRRR20] to the setting of doubling measures and obtain a new characterization of Muckenhoupt's $A_\infty$ weights.


title: High-order combined Multi-step Scheme for solving forward Backward Stochastic Differential Equations

abstract: In this work, in order to obtain higher-order schemes for solving forward backward stochastic differential equations, we adopt the high-order multi-step method in [W. Zhao, Y. Fu and T. Zhou, SIAM J. Sci. Comput., 36(4) (2014), pp.A1731-A1751] by combining multi-steps. Two reference ordinary differential equations containing the conditional expectations and their derivatives are derived from the backward component. These derivatives are approximated by finite difference methods with multi-step combinations. The resulting scheme is a semi-discretization in the time direction involving conditional expectations, which are solved by using the Gaussian quadrature rules and polynomial interpolations on the spatial grids. Our new proposed multi-step scheme allows for higher convergence rate up to ninth order, and are more efficient. Finally, we provide a numerical illustration of the convergence of the proposed method.


title: New examples of W$^*$ and C$^*$-superrigid groups

abstract: A group $G$ is called $W^*$-superrigid (resp. $C^*$-superrigid) if it is completely recognizable from its von Neumann algebra $L(G)$ (resp. reduced $C^*$-algebra $C_r^*(G)$). Developing new technical aspects in Popa's deformation/rigidity theory we introduce several new classes of $W^*$-superrigid groups which appear as direct products, semidirect products with non-amenable core and iterations of amalgamated free products and HNN-extensions. As a byproduct we obtain new rigidity results in $C^*$-algebra theory including additional examples of $C^*$-superrigid groups and explicit computations of symmetries of reduced group $C^*$-algebras.


title: Retrieval of SDSS J1416+1348AB

abstract: We present the distance-calibrated spectral energy distribution (SED) of the d/sdL7 SDSS J14162408+1348263A (J1416A) and an updated SED for SDSS J14162408+1348263B (J1416B). We also present the first retrieval analysis of J1416A using the Brewster retrieval code base and the second retrieval of J1416B. We find that the primary is best fit by a non-grey cloud opacity with a power-law wavelength dependence, but is indistinguishable between the type of cloud parameterization. J1416B is best fit by a cloud-free model, consistent with the results from Line et al. (2017). Most fundamental parameters derived via SEDs and retrievals are consistent within 1 sigma for both J1416A and J1416B. The exceptions include the radius of J1416A, where the retrieved radius is smaller than the evolutionary model-based radius from the SED for the deck cloud model, and the bolometric luminosity which is consistent within 2.5 sigma for both cloud models. The pair's metallicity and Carbon-to-Oxygen (C/O) ratio point towards formation and evolution as a system. By comparing the retrieved alkali abundances while using two opacity models, we are able to evaluate how the opacities behave for the L and T dwarf. Lastly, we find that relatively small changes in composition can drive major observable differences for lower temperature objects.