title: AdaAttN: Revisit Attention Mechanism in Arbitrary Neural Style Transfer

abstract: Fast arbitrary neural style transfer has attracted widespread attention from academic, industrial and art communities due to its flexibility in enabling various applications. Existing solutions either attentively fuse deep style feature into deep content feature without considering feature distributions, or adaptively normalize deep content feature according to the style such that their global statistics are matched. Although effective, leaving shallow feature unexplored and without locally considering feature statistics, they are prone to unnatural output with unpleasing local distortions. To alleviate this problem, in this paper, we propose a novel attention and normalization module, named Adaptive Attention Normalization (AdaAttN), to adaptively perform attentive normalization on per-point basis. Specifically, spatial attention score is learnt from both shallow and deep features of content and style images. Then per-point weighted statistics are calculated by regarding a style feature point as a distribution of attention-weighted output of all style feature points. Finally, the content feature is normalized so that they demonstrate the same local feature statistics as the calculated per-point weighted style feature statistics. Besides, a novel local feature loss is derived based on AdaAttN to enhance local visual quality. We also extend AdaAttN to be ready for video style transfer with slight modifications. Experiments demonstrate that our method achieves state-of-the-art arbitrary image/video style transfer. Codes and models are available.


title: From Voxel to Point: IoU-guided 3D Object Detection for Point Cloud with Voxel-to-Point Decoder

abstract: In this paper, we present an Intersection-over-Union (IoU) guided two-stage 3D object detector with a voxel-to-point decoder. To preserve the necessary information from all raw points and maintain the high box recall in voxel based Region Proposal Network (RPN), we propose a residual voxel-to-point decoder to extract the point features in addition to the map-view features from the voxel based RPN. We use a 3D Region of Interest (RoI) alignment to crop and align the features with the proposal boxes for accurately perceiving the object position. The RoI-Aligned features are finally aggregated with the corner geometry embeddings that can provide the potentially missing corner information in the box refinement stage. We propose a simple and efficient method to align the estimated IoUs to the refined proposal boxes as a more relevant localization confidence. The comprehensive experiments on KITTI and Waymo Open Dataset demonstrate that our method achieves significant improvements with novel architectures against the existing methods. The code is available on Github URL\footnote{\url{https://github.com/jialeli1/From-Voxel-to-Point}}.


title: Joint Depth and Normal Estimation from Real-world Time-of-flight Raw Data

abstract: We present a novel approach to joint depth and normal estimation for time-of-flight (ToF) sensors. Our model learns to predict the high-quality depth and normal maps jointly from ToF raw sensor data. To achieve this, we meticulously constructed the first large-scale dataset (named ToF-100) with paired raw ToF data and ground-truth high-resolution depth maps provided by an industrial depth camera. In addition, we also design a simple but effective framework for joint depth and normal estimation, applying a robust Chamfer loss via jittering to improve the performance of our model. Our experiments demonstrate that our proposed method can efficiently reconstruct high-resolution depth and normal maps and significantly outperforms state-of-the-art approaches. Our code and data will be available at \url{https://github.com/hkustVisionRr/JointlyDepthNormalEstimation}


title: Soliton resolution and asymptotic stability of $N$-soliton solutions for the defocusing mKdV equation with finite density type initial data

abstract: We consider the Cauchy problem for the defocusing modified Korteweg-de Vries (mKdV) equation with finite density type initial data. With the $\bar{\partial}$ generalization of the nonlinear steepest descent method of Deift and Zhou, we extrapolate the leading order approximation to the solution of mKdV for large time in the solitonic space-time region $|x/t+4|<2$, and we give bounds for the error which decay as $t\rightarrow\infty$ for a general class of initial data whose difference from the non-vanishing background possesses a fixed number of finite moments. Our results provide a verification of the soliton resolution conjecture and asymptotic stability of $N$-soliton solutions for mKdV equation with finite density type initial data.


title: Daehee, hyperharmonic, and power sums polynomials

abstract: In this paper we consider the Daehee numbers and polynomials of the first and second kind, and give several explicit representations for them. In particular, we express the Daehee polynomials as the derivative of a generalized binomial coefficient. This is done by performing the Stirling transform of the power sum polynomial $S_k(x)$ associated with the sum of $k$th powers of the first $n$ positive integers $S_k(n) = 1^k + 2^k + \cdots + n^k$. Furthermore, we show the relationship between the Daehee polynomials and the hyperharmonic polynomials. This allows us to also express the hyperharmonic polynomials as the derivative of a generalized binomial coefficient. In addition, we reformulate and generalize a number of identities involving the Stirling, Bernoulli, and harmonic numbers, in terms of the Daehee and hyperharmonic polynomials. Finally, in the light of a recent result of Kargin et al., we discuss a further extension of the obtained identities in terms of the $r$-Stirling numbers.


title: Non-self adjoint impedance in Generalized Optimized Schwarz Methods

abstract: We present a convergence theory for Optimized Schwarz Methods that rely on a non-local exchange operator and covers the case of coercive possibly non-self-adjoint impedance operators. This analysis also naturally deals with the presence of cross-points in subdomain partitions of arbitrary shape. In the particular case of self-adjoint impedance, we recover the theory proposed in [Claeys & Parolin, 2021].


title: The Stability of Core-Envelope Models for the Crab and the Vela pulsars

abstract: The core-envelope analytic models of Negi et al. (1989) have been found to be consistent with both the mechanisms of glitch generation in pulsars, namely - (i) the starquake model and (ii) the vortex unpinning model. In Negi (2019), the author has been able to reproduce the observed values of glitch healing parameter, $ G_h (= I_{\rm core}/I_{\rm total}; G_h$ represents the fractional moment of inertia of the core component in the starquake mechanism of glitch generation) for the Crab as well as for the Vela pulsar. In another study, by using the models discussed in Negi et al. (1989), the author has obtained the minimum value of fractional moment of inertia of the crust about 7.4\% and larger for all the values of masses in the range - $1M_\odot - 1.96M_\odot$ considered for the Vela pulsar (Negi 2020a). The latter study of the author is found to be consistent with the recent requirement (on the basis of vortex unpinning model of the glitch generation) which refers: The minimum fractional crustal moment of inertia of the Vela pulsar should be about 7\% for a mass higher than about 1$M_\odot$. However, an important study which requires investigation of pulsational stability and gravitational binding of the models of Negi et al. (1989) has not been carried out so far. The present paper deals with such a study of the models (Negi et al. 1989) for all permissible values of the compactness parameter $u (\equiv M/a$, total mass to size ratio in geometrized units) and compressibility factor $Q$ (defined in Tolman's VII solution as: $ x = r^2/K^2 = r^2/a^2Q)$. It is seen that the configurations remain pulsationally stable and gravitationally bound for all permissible values of $u (\leq 0.25)$ and $Q$ ($0 < Q \leq 1.2$).


title: Approximation schemes for stochastic compliance-based topology optimization with many loading scenarios

abstract: In this paper, approximation schemes are proposed for handling load uncertainty in compliance-based topology optimization problems, where the uncertainty is described in the form of a set of finitely many loading scenarios. Efficient approximate methods are proposed to approximately evaluate and differentiate either 1) the mean compliance, or 2) a class of scalar-valued function of the individual load compliances such as the weighted sum of the mean and standard deviation. The computational time complexities of the proposed algorithms are analyzed, compared to the exact approaches and then experimentally verified. Finally, some mean compliance minimization problems and some risk-averse compliance minimization problems are solved for verification.


title: On the Electron Pairing Mechanism of Copper-Oxide High Temperature Superconductivity

abstract: The elementary CuO2 plane sustaining cuprate high-temperature superconductivity occurs typically at the base of a periodic array of edge-sharing CuO5 pyramids. Virtual transitions of electrons between adjacent planar Cu and O atoms, occurring at a rate $t/{\hbar}$ and across the charge-transfer energy gap E, generate 'superexchange' spin-spin interactions of energy $J\approx4t^4/E^3$ in an antiferromagnetic correlated-insulator state. However, Hole doping the CuO2 plane converts this into a very high temperature superconducting state whose electron-pairing is exceptional. A leading proposal for the mechanism of this intense electron-pairing is that, while hole doping destroys magnetic order it preserves pair-forming superexchange interactions governed by the charge-transfer energy scale E. To explore this hypothesis directly at atomic-scale, we combine single-electron and electron-pair (Josephson) scanning tunneling microscopy to visualize the interplay of E and the electron-pair density nP in ${Bi_2Sr_2CaCu_2O_{8+x}}$. The responses of both E and nP to alterations in the distance {\delta} between planar Cu and apical O atoms are then determined. These data reveal the empirical crux of strongly correlated superconductivity in CuO2, the response of the electron-pair condensate to varying the charge transfer energy. Concurrence of predictions from strong-correlation theory for hole-doped charge-transfer insulators with these observations, indicates that charge-transfer superexchange is the electron-pairing mechanism of superconductive ${Bi_2Sr_2CaCu_2O_{8+x}}$.


title: Skeleton-Contrastive 3D Action Representation Learning

abstract: This paper strives for self-supervised learning of a feature space suitable for skeleton-based action recognition. Our proposal is built upon learning invariances to input skeleton representations and various skeleton augmentations via a noise contrastive estimation. In particular, we propose inter-skeleton contrastive learning, which learns from multiple different input skeleton representations in a cross-contrastive manner. In addition, we contribute several skeleton-specific spatial and temporal augmentations which further encourage the model to learn the spatio-temporal dynamics of skeleton data. By learning similarities between different skeleton representations as well as augmented views of the same sequence, the network is encouraged to learn higher-level semantics of the skeleton data than when only using the augmented views. Our approach achieves state-of-the-art performance for self-supervised learning from skeleton data on the challenging PKU and NTU datasets with multiple downstream tasks, including action recognition, action retrieval and semi-supervised learning. Code is available at https://github.com/fmthoker/skeleton-contrast.


title: Communicating Visualizations without Visuals: Investigation of Visualization Alternative Text for People with Visual Impairments

abstract: Alternative text is critical in communicating graphics to people who are blind or have low vision. Especially for graphics that contain rich information, such as visualizations, poorly written or an absence of alternative texts can worsen the information access inequality for people with visual impairments. In this work, we consolidate existing guidelines and survey current practices to inspect to what extent current practices and recommendations are aligned. Then, to gain more insight into what people want in visualization alternative texts, we interviewed 22 people with visual impairments regarding their experience with visualizations and their information needs in alternative texts. The study findings suggest that participants actively try to construct an image of visualizations in their head while listening to alternative texts and wish to carry out visualization tasks (e.g., retrieve specific values) as sighted viewers would. The study also provides ample support for the need to reference the underlying data instead of visual elements to reduce users' cognitive burden. Informed by the study, we provide a set of recommendations to compose an informative alternative text.


title: One-Shot Object Affordance Detection in the Wild

abstract: Affordance detection refers to identifying the potential action possibilities of objects in an image, which is a crucial ability for robot perception and manipulation. To empower robots with this ability in unseen scenarios, we first study the challenging one-shot affordance detection problem in this paper, i.e., given a support image that depicts the action purpose, all objects in a scene with the common affordance should be detected. To this end, we devise a One-Shot Affordance Detection Network (OSAD-Net) that firstly estimates the human action purpose and then transfers it to help detect the common affordance from all candidate images. Through collaboration learning, OSAD-Net can capture the common characteristics between objects having the same underlying affordance and learn a good adaptation capability for perceiving unseen affordances. Besides, we build a large-scale Purpose-driven Affordance Dataset v2 (PADv2) by collecting and labeling 30k images from 39 affordance and 103 object categories. With complex scenes and rich annotations, our PADv2 dataset can be used as a test bed to benchmark affordance detection methods and may also facilitate downstream vision tasks, such as scene understanding, action recognition, and robot manipulation. Specifically, we conducted comprehensive experiments on PADv2 dataset by including 11 advanced models from several related research fields. Experimental results demonstrate the superiority of our model over previous representative ones in terms of both objective metrics and visual quality. The benchmark suite is available at https://github.com/lhc1224/OSAD Net.


title: Almost quasi-Sasakian manifolds equipped with skew-symmetric connection

abstract: On a sub-Riemannian manifold, a connection with skew-symmetric torsion is defined as the unique connection from the class of $N$-connections that has this property. Two cases are considered separately: sub-Riemannian structure of even rank, and sub-Riemannian structure of odd rank. The resulting connection, called the canonical connection, is not a metric connection in the case when the sub-Riemannian structure is of even rank. The structure of an almost quasi-Sasakian manifold is defined as an almost contact metric structure of odd rank that satisfies additional requirements. Namely, it is required that the canonical connection is a metric connection and that the transversal structure is a K\"ahler structure. Both the quasi-Sasakian structure and the more general almost contact metric structure, called an almost quasi-Sasakian structure, satisfy these requirements. Sufficient conditions are found for an almost quasi-Sasakian manifold to be an Einstein manifold.


title: Anisotropic diffusion of ellipsoidal tracers in microswimmer suspensions

abstract: Tracer particles immersed in suspensions of biological microswimmers such as E. coli or C. reinhardtii display phenomena unseen in conventional equilibrium systems, including strongly enhanced diffusivity relative to the Brownian value and non-Gaussian displacement statistics. In dilute, 3-dimensional suspensions, these phenomena have typically been explained by the hydrodynamic advection of point tracers by isolated microswimmers, while, at higher concentrations, correlations between pusher microswimmers such as E. coli can increase the effective diffusivity even further. Anisotropic tracers in active suspensions can be expected to exhibit even more complex behaviour than spherical ones, due to the presence of a nontrivial translation-rotation coupling. Using large-scale lattice Boltzmann simulations of model microswimmers described by extended force dipoles, we study the motion of ellipsoidal point tracers immersed in 3-dimensional microswimmer suspensions. We find that the rotational diffusivity of tracers is much less affected by swimmer-swimmer correlations than the translational diffusivity. We furthermore study the anisotropic translational diffusion in the particle frame and find that, in pusher suspensions, the diffusivity along the ellipsoid major axis is higher than in the direction perpendicular to it, albeit with a smaller ratio than for Brownian diffusion. Thus, we find that far field hydrodynamics cannot account for the anomalous coupling between translation and rotation observed in experiments, as was recently proposed. Finally, we study the probability distributions (PDFs) of translational and rotational displacements. In accordance with experimental observations, for short observation times we observe strongly non-Gaussian PDFs that collapse when rescaled with their variance, which we attribute to the ballistic nature of tracer motion at short times.


title: Global-Position Tracking Control of 3-D Bipedal Walking via Virtual Constraint Design and Multiple Lyapunov Analysis

abstract: A safety-critical measure of legged locomotion performance is a robot's ability to track its desired time-varying position trajectory in an environment, which is herein termed as "global-position tracking". This paper introduces a nonlinear control approach that achieves asymptotic global-position tracking for three-dimensional (3-D) bipedal robot walking. Designing a global-position tracking controller presents a challenging problem due to the complex hybrid robot model and the time-varying desired global-position trajectory. Towards tackling this problem, the first main contribution is the construction of impact invariance to ensure all desired trajectories respect the foot-landing impact dynamics, which is a necessary condition for realizing asymptotic tracking of hybrid walking systems. Thanks to their independence of the desired global position, these conditions can be exploited to decouple the higher-level planning of the global position and the lower-level planning of the remaining trajectories, thereby greatly alleviating the computational burden of motion planning. The second main contribution is the Lyapunov-based stability analysis of the hybrid closed-loop system, which produces sufficient conditions to guide the controller design for achieving asymptotic global-position tracking during fully actuated walking. Simulations and experiments on a 3-D bipedal robot with twenty revolute joints confirm the validity of the proposed control approach in guaranteeing accurate tracking.


title: Discriminative Latent Semantic Graph for Video Captioning

abstract: Video captioning aims to automatically generate natural language sentences that can describe the visual contents of a given video. Existing generative models like encoder-decoder frameworks cannot explicitly explore the object-level interactions and frame-level information from complex spatio-temporal data to generate semantic-rich captions. Our main contribution is to identify three key problems in a joint framework for future video summarization tasks. 1) Enhanced Object Proposal: we propose a novel Conditional Graph that can fuse spatio-temporal information into latent object proposal. 2) Visual Knowledge: Latent Proposal Aggregation is proposed to dynamically extract visual words with higher semantic levels. 3) Sentence Validation: A novel Discriminative Language Validator is proposed to verify generated captions so that key semantic concepts can be effectively preserved. Our experiments on two public datasets (MVSD and MSR-VTT) manifest significant improvements over state-of-the-art approaches on all metrics, especially for BLEU-4 and CIDEr. Our code is available at https://github.com/baiyang4/D-LSG-Video-Caption.


title: Lifshitz tails for random diagonal perturbations of Laurent matrices

abstract: We study the Integrated Density of States of one-dimensional random operators acting on $\ell^2(\mathbb Z)$ of the form $T + V_\omega$ where $T$ is a Laurent (also called bi-infinite Toeplitz) matrix and $V_\omega$ is an Anderson potential generated by i.i.d. random variables. We assume that the operator $T$ is associated to a bounded, H\"older-continuous symbol $f$, that attains its minimum at a finite number of points. We allow for $f$ to attain its minima algebraically. The resulting operator $T$ is long-range with weak (algebraic) off-diagonal decay. We prove that this operator exhibits Lifshitz tails at the lower edge of the spectrum with an exponent given by the Integrated Density of States of $T$ at the lower spectral edge. The proof relies on generalizations of Dirichlet-Neumann bracketing to the long-range setting and a generalization of Temple's inequality to degenerate ground state energies.


title: On the existence of numbers with matching continued fraction and decimal expansions

abstract: A Trott number is a number $x\in(0,1)$ whose continued fraction expansion is equal to its base $b$ expansion for a given base $b$, in the following sense: If $x=[0;a_1,a_2,\dots]$, then $x=(0.\hat{a}_1\hat{a}_2\dots)_b$, where $\hat{a}_i$ is the string of digits resulting from writing $a_i$ in base $b$. In this paper we characterize the set of bases for which Trott numbers exist, and show that for these bases, the set $T_b$ of Trott numbers is a complete $G_\delta$ set. We prove moreover that the union $T:=\bigcup_{b\geq 2} T_b$ is nowhere dense and has Hausdorff dimension less than one. Finally, we give several sufficient conditions on bases $b$ and $b'$ such that $T_b\cap T_{b'}=\emptyset$, and conjecture that this is the case for all $b\neq b'$. This question has connections with some deep theorems in Diophantine approximation.


title: Leggett-type $N$-partite scenarios for testing nonlocal realistic theory

abstract: The nonlocal realistic theory might be the last cornerstone of classical physics confronting to the quantum theory, which was found mostly untenable in the bipartite system [Nature 446, 871 (2007)]. We extend the Leggett-type nonlocal realistic model to arbitrary $N$-partite systems with polarizer settings, and obtain some stronger inequalities to distinguish quantum mechanics from nonlocal realistic theories. For illustration, with certain measurement settings the quantum violations of Leggett-type inequalities are found for Greenberger-Horne-Zeilinger (GHZ) state. Our results, say the nonlocal realism in multipartite systems, are testable in experiment.


title: Are $\mathfrak a$ and $\mathfrak d$ your cup of tea? Revisited

abstract: This is a revised version (of late 2020) of [Sh:700], which is arXiv:math/0012170 . First point is noting that the proof of Theorem 4.3 in [Sh:700], which says that the proof giving the consistency $ \mathfrak{b} = \mathfrak{d} = \mathfrak{u} < \mathfrak{a} $ also gives $ \mathfrak{s} = \mathfrak{d} $. The proof uses a measurable cardinal and a c.c.c. forcing so it gives large $ \mathfrak{d} $ and assumes a large cardinal. Second point is adding to the results of \S2,\S3 which say that (in \S3 with no large cardinals) we can force $ {\aleph_1} < \mathfrak{b} = \mathfrak{d} < \mathfrak{a}$. We like to have $ {\aleph_1} < \mathfrak{s} \le \mathfrak{b} = \mathfrak{d} < \mathfrak{a} $. For this we allow in \S2,\S3 the sets $ K_t $ to be uncountable; this requires non-essential changes. In particular, we replace usually $ {\aleph_0}, {\aleph_1} $ by $ \sigma , \partial $. Naturally we can deal with $ \mathfrak{i} $ and similar invariants. Third we proofread the work again. To get $ \mathfrak{s} $ we could have retained the countability of the member of the $ I_t$-s but the parameters would change with $ A \in I_t$, well for a cofinal set of them; but the present seems simpler. We intend to continue in [Sh:F2009].


title: Quark Sivers Function at Small $x$: Spin-Dependent Odderon and the Sub-Eikonal Evolution

abstract: We apply the formalism developed earlier for studying transverse momentum dependent parton distribution functions (TMDs) at small Bjorken $x$ to construct the small-$x$ asymptotics of the quark Sivers function. First, we explicitly construct the complete fundamental "polarized Wilson line" operator to sub-sub-eikonal order: this object can be used to study a variety of quark TMDs at small-$x$. We then express the quark Sivers function in terms of dipole scattering amplitudes containing various components of the "polarized Wilson line" and show that the dominant (eikonal) term which contributes to the quark Sivers function at small $x$ is the spin-dependent odderon, confirming the recent results of Dong, Zheng and Zhou. Our conclusion is also similar to the case of the gluon Sivers function derived by Boer, Echevarria, Mulders and Zhou (see also the work by Szymanowski and Zhou). We also analyze the sub-eikonal corrections to the quark Sivers function using the constructed "polarized Wilson line" operator. We derive new small-$x$ evolution equations re-summing double-logarithmic powers of $\alpha_s \, \ln^2 (1/x)$ with $\alpha_s$ the strong coupling constant. We solve the corresponding novel evolution equations in the large-$N_c$ limit, obtaining a sub-eikonal correction to the spin-dependent odderon contribution. We conclude that the quark Sivers function at small $x$ receives contributions from two terms and is given by \begin{align} f_{1 \: T}^{\perp \: q} (x, k_T^2) = C_O (x, k_T^2) \, \frac{1}{x} + C_1 (k_T^2) \, \left( \frac{1}{x} \right)^0 + \ldots \end{align} with the function $C_O (x, k_T^2)$ varying slowly with $x$ and the ellipsis denoting the sub-asymptotic and sub-sub-eikonal (order-$x$) corrections.


title: Operative Approach to Quantum Electrodynamics in Dispersive Dielectric Objects Based on a Polarization Modal Expansion

abstract: In this paper we deal with the macroscopic electromagnetic response of a finite size dispersive dielectric object, in unbounded space, in the framework of quantum electrodynamics using the Heisenberg picture. We apply a Hopfield type scheme to account for the dispersion and dissipation of the matter. We provide a general expression of the polarization density field operator as functions of the initial conditions of the matter field operators and of the electromagnetic field operators. It is a linear functional whose kernel is a linear expression of the impulse response of the dielectric object that we obtain within the framework of classical electrodynamics. The electric field operator is expressed as a function of the polarization density field operator by means of the dyadic Green's function for the free space. The statistical functions of these operators are classical functionals of the statistics of the initial conditions of the matter field operators and of the electromagnetic field operators, whose kernels are linear or multilinear expressions of the impulse response of the dielectric object. We keep the polarization and the electromagnetic field distinct to enable the treatment of the polarization and electromagnetic fluctuations on equal footing. We expand the polarization density field operator in terms of the static longitudinal and transverse modes of the object to diagonalize the Coulomb and Ampere interaction energy terms of the Hamiltonian in the Coulomb gauge. We expand the radiation fields in terms of the transverse plane wave modes of free space. Few static longitudinal and transverse modes are needed to calculate each element of the impulse response matrix for dielectric objects with sizes of the order up to $\min\limits_{\omega}\{c_0/[\omega \sqrt{|{\chi}(\omega)|}]\}$ where ${\chi}(\omega)$ is the susceptibility of the dielectric.


title: Standard Model EFTs via On-Shell Methods

abstract: We present the Standard Model Effective Field Theories (SMEFT) from purely on-shell arguments. Starting from a few basic assumptions such as Poincar\'e invariance and locality, we classify all the renormalisable and non-renormalisable interactions at the lowest order in the couplings. From these building blocks, we review how locality and unitarity enforce Lie algebra structures to appear in the S-matrix elements together with relations among couplings (and hypercharges). Furthermore, we give a fully on-shell algorithm to compute any higher-point tree-level amplitude (or form factor) in generic EFTs, bypassing BCFW-like recursion relations which are known to be problematic when non-renormalisable interactions are involved. Finally, using known amplitudes techniques we compute the mixing matrix of SMEFT irrelevant interactions up to mass dimension 8, to linear order in the effective interactions.


title: #StayHome or #Marathon? Social Media Enhanced Pandemic Surveillance on Spatial-temporal Dynamic Graphs

abstract: COVID-19 has caused lasting damage to almost every domain in public health, society, and economy. To monitor the pandemic trend, existing studies rely on the aggregation of traditional statistical models and epidemic spread theory. In other words, historical statistics of COVID-19, as well as the population mobility data, become the essential knowledge for monitoring the pandemic trend. However, these solutions can barely provide precise prediction and satisfactory explanations on the long-term disease surveillance while the ubiquitous social media resources can be the key enabler for solving this problem. For example, serious discussions may occur on social media before and after some breaking events take place. These events, such as marathon and parade, may impact the spread of the virus. To take advantage of the social media data, we propose a novel framework, Social Media enhAnced pandemic suRveillance Technique (SMART), which is composed of two modules: (i) information extraction module to construct heterogeneous knowledge graphs based on the extracted events and relationships among them; (ii) time series prediction module to provide both short-term and long-term forecasts of the confirmed cases and fatality at the state-level in the United States and to discover risk factors for COVID-19 interventions. Extensive experiments show that our method largely outperforms the state-of-the-art baselines by 7.3% and 7.4% in confirmed case/fatality prediction, respectively.


title: Novel Two-Dimensional Layered MSi$_2$N$_4$ (M = Mo, W): New Promising Thermal Management Materials

abstract: With the miniaturization and integration of nanoelectronic devices, efficient heat removal becomes a key factor affecting the reliable operation of the nanoelectronic device. With the high intrinsic thermal conductivity, good mechanical flexibility, and precisely controlled growth, two-dimensional (2D) materials are widely accepted as ideal candidates for thermal management materials. In this work, by solving the phonon Boltzmann transport equation (BTE) based on first-principles calculations, we comprehensively investigated the thermal conductivity of novel 2D layered MSi$_2$N$_4$ (M = Mo, W). Our results point to competitive thermal conductivities (162 W/mK) of monolayer MoSi$_2$N$_4$, which is around two times larger than that of WSi$_2$N$_4$ and seven times larger than that of silicene despite their similar non-planar structures. It is revealed that the high thermal conductivity arises mainly from its large group velocity and low anharmonicity. Our result suggests that MoSi$_2$N$_4$ could be a potential candidate for 2D thermal management materials.


title: Corrected Iteration

abstract: For $\lambda$ inaccessible, we may consider $(< \lambda)$-support iteration of some specific $(<\lambda)$-complete $\lambda^+$-c.c. forcing notion. But this fails a "preservation by restricting to a sub-sequence of the forcing, we "correct" the iteration to regain it. This is used in another paper in the consistency of $cov(meagre) < \mathfrak{d}_\lambda$.


title: RECALL: Replay-based Continual Learning in Semantic Segmentation

abstract: Deep networks allow to obtain outstanding results in semantic segmentation, however they need to be trained in a single shot with a large amount of data. Continual learning settings where new classes are learned in incremental steps and previous training data is no longer available are challenging due to the catastrophic forgetting phenomenon. Existing approaches typically fail when several incremental steps are performed or in presence of a distribution shift of the background class. We tackle these issues by recreating no longer available data for the old classes and outlining a content inpainting scheme on the background class. We propose two sources for replay data. The first resorts to a generative adversarial network to sample from the class space of past learning steps. The second relies on web-crawled data to retrieve images containing examples of old classes from online databases. In both scenarios no samples of past steps are stored, thus avoiding privacy concerns. Replay data are then blended with new samples during the incremental steps. Our approach, RECALL, outperforms state-of-the-art methods.


title: The upsilon invariant at 1 of 3-braid knots

abstract: We provide explicit formulas for the integer-valued smooth concordance invariant $\upsilon(K) = \Upsilon_K(1)$ for every 3-braid knot $K$. We determine this invariant, which was defined by Ozsv\'ath, Stipsicz and Szab\'o, by constructing cobordisms between 3-braid knots and (connected sums of) torus knots. As an application, we show that for positive 3-braid knots $K$ several alternating distances all equal the sum $g(K) + \upsilon(K)$, where $g(K)$ denotes the 3-genus of $K$. In particular, we compute the alternation number, the dealternating number and the Turaev genus for all positive 3-braid knots. We also provide upper and lower bounds on the alternation number and dealternating number of every 3-braid knot which differ by 1.


title: Dark-ages Reionization and Galaxy Formation Simulation XX. The Ly$\alpha$ IGM transmission properties and environment of bright galaxies during the Epoch of Reionization

abstract: The highly neutral inter-galactic medium (IGM) during the Epoch of Reionization (EoR) is expected to suppress Ly$\alpha$ emission with damping-wing absorption, causing nearly no Ly$\alpha$ detection from star-forming galaxies at $z{\sim}8$. However, spectroscopic observations of the 4 brightest galaxies (${\rm H}_{160}{\sim}25$ mag) at these redshifts do reveal prominent Ly$\alpha$ line, suggesting locally ionised IGM. In this paper, we explore the Ly$\alpha$ IGM transmission and environment of bright galaxies during the EoR using the Meraxes semi-analytic model. We find brighter galaxies to be less affected by damping-wing absorption as they are effective at ionizing surrounding neutral hydrogen. Specifically, the brightest sources (${\rm H}_{160}{\lesssim}25.5$ mag) lie in the largest ionized regions in our simulation, and have low attenuation of their Ly$\alpha$ from the IGM (optical depth ${<}1$). Fainter galaxies (25.5 mag${<}{\rm H}_{160}{<}27.5$ mag) have transmission that depends on UV luminosity, leading to a lower incidence of Ly$\alpha$ detection at fainter magnitudes. This luminosity-dependent attenuation explains why Ly$\alpha$ has only been observed in the brightest galaxies at $z{\sim}8$. Follow-up observations have revealed counterparts in the vicinity of these confirmed $z{\sim}8$ Ly$\alpha$ emitters. The environments of our modelled analogues agree with these observations in the number of nearby galaxies, which is a good indicator of whether Ly$\alpha$ can be detected among fainter galaxies. At the current observational limit, galaxies with ${\ge}2$--5 neighbours within $2'{\times}2'$ are ${\sim}2$--3 times more likely to show Ly$\alpha$ emission. JWST will discover an order of magnitude more neighbours, revealing ${\gtrsim}50$ galaxies in the largest ionizing bubbles and facilitating direct study of reionization morphology.


title: AMDet: A Tool for Mitotic Cell Detection in Histopathology Slides

abstract: Breast Cancer is the most prevalent cancer in the world. The World Health Organization reports that the disease still affects a significant portion of the developing world citing increased mortality rates in the majority of low to middle income countries. The most popular protocol pathologists use for diagnosing breast cancer is the Nottingham grading system which grades the proliferation of tumors based on 3 major criteria, the most important of them being mitotic cell count. The way in which pathologists evaluate mitotic cell count is to subjectively and qualitatively analyze cells present in stained slides of tissue and make a decision on its mitotic state i.e. is it mitotic or not? This process is extremely inefficient and tiring for pathologists and so an efficient, accurate, and fully automated tool to aid with the diagnosis is extremely desirable. Fortunately, creating such a tool is made significantly easier with the AutoML tool available from Microsoft Azure, however to the best of our knowledge the AutoML tool has never been formally evaluated for use in mitotic cell detection in histopathology images. This paper serves as an evaluation of the AutoML tool for this purpose and will provide a first look on how the tool handles this challenging problem. All code is available athttps://github.com/WaltAFWilliams/AMDet


title: Minimal log discrepancies of regularity one

abstract: In this article, we use the cone of nef curves to study minimal log discrepancies. The first result is an improvement of the nef cone theorem in the case of log Calabi-Yau dlt pairs. Then, we prove that the ascending chain condition for $n$-dimensional minimal log discrepancies of regularity one holds around zero. Furthermore, we show that there exists an upper bound for the minimal log discrepancy of any $n$-dimensional klt singularity of regularity one.


title: Long-term dynamical survival of deep Earth coorbitals

abstract: We investigate the long-term dynamical survival of Earth co-orbital asteroids, focusing on near-circular, near-planar orbits which existing studies suggest are the most stable. Through numerical integration of test particles we show that about a quarter of an initial population can survive for at least 50\% of the age of the solar system with horseshoe particles being four to five times more likely to survive than L4/L5 Trojans. From the end state statistics we constrain the existence of planetesimal-sized objects originally in co-orbital libration, finding that typically $5^{-2}_{+7}$ such planetesimals and no more than $27^{-9}_{+30}$ (95\% confidence) could have been present. Our simulations also suggest that episodic variations in the terrestrial orbital eccentricity may have caused bulk escape of co-orbitals, though variations large enough ($>$0.01) to generate such episodes are statistically unlikely. We then consider the orbital evolution of co-orbital asteroids of sizes down to $D = 50$ m under the Yarkovsky effect and find that objects with $D$ $<$ 1 km should escape over 4 Gyr with the smallest asteroids escaping after 200 Myr. Further, we test whether Earth's co-orbital region may be populated by asteroids arriving via outward Yarkovsky drift, as conjectured by Zhou et al.~(A\&A, 622, A97, 2019). We find this is an inefficient process, as planetary close encounters rapidly scatter the orbits far from Earth's and towards the asteroid belt. Finally, we discuss how the destabilising action of Yarkovsky may be mitigated through spin state evolution or late collisional comminution of large parent asteroids.


title: Joint Inductive and Transductive Learning for Video Object Segmentation

abstract: Semi-supervised video object segmentation is a task of segmenting the target object in a video sequence given only a mask annotation in the first frame. The limited information available makes it an extremely challenging task. Most previous best-performing methods adopt matching-based transductive reasoning or online inductive learning. Nevertheless, they are either less discriminative for similar instances or insufficient in the utilization of spatio-temporal information. In this work, we propose to integrate transductive and inductive learning into a unified framework to exploit the complementarity between them for accurate and robust video object segmentation. The proposed approach consists of two functional branches. The transduction branch adopts a lightweight transformer architecture to aggregate rich spatio-temporal cues while the induction branch performs online inductive learning to obtain discriminative target information. To bridge these two diverse branches, a two-head label encoder is introduced to learn the suitable target prior for each of them. The generated mask encodings are further forced to be disentangled to better retain their complementarity. Extensive experiments on several prevalent benchmarks show that, without the need of synthetic training data, the proposed approach sets a series of new state-of-the-art records. Code is available at https://github.com/maoyunyao/JOINT.


title: Stable cuspidal curves and the integral Chow ring of $\overline{\mathscr{M}}_{2,1}$

abstract: In this paper we introduce the moduli stack $\widetilde{\mathscr{M}}_{g,n}$ of $n$-marked stable at most cuspidal curves of genus $g$ and we use it to determine the integral Chow ring of $\overline{\mathscr{M}}_{2,1}$. Along the way, we also determine the integral Chow ring of $\overline{\mathscr{M}}_{1,2}$.


title: FE-Holomorphic Operator Function Method for Nonlinear Plate Vibrations with Elastically Added Masses

abstract: Vibrations of structures subjected to concentrated point loads have many applications in mechanical engineering. Experiments are expensive and numerical methods are often used for simulations. In this paper, we consider the plate vibration with nonlinear dependence on the eigen-parameter. The problem is formulated as the eigenvalue problem of a holomorphic Fredholm operator function. The Bogner-Fox-Schmit element is used for the discretization and the spectral indicator method is employed to compute the eigenvalues. The convergence is proved using the abstract approximation theory of Karma. Numerical examples are presented for validations.


title: Self-avoiding walk on the hypercube

abstract: We study the number $c_n^{(N)}$ of $n$-step self-avoiding walks on the $N$-dimensional hypercube, and identify an $N$-dependent \emph{connective constant} $\mu_N$ and amplitude $A_N$ such that $c_n^{(N)}$ is $O(\mu_N^n)$ for all $n$ and $N$, and is asymptotically $A_N \mu_N^n$ as long as $n\le 2^{pN}$ for any fixed $p< \frac 12$. We refer to the regime $n \ll 2^{N/2}$ as the \emph{dilute phase}. We discuss conjectures concerning different behaviours of $c_n^{(N)}$ when $n$ reaches and exceeds $2^{N/2}$, corresponding to a critical window and a dense phase. In addition, we prove that the connective constant has an asymptotic expansion to all orders in $N^{-1}$, with integer coefficients, and we compute the first five coefficients $\mu_N = N-1-N^{-1}-4N^{-2}-26N^{-3}+O(N^{-4})$. The proofs are based on generating function and Tauberian methods implemented via the lace expansion, for which an introductory account is provided.


title: Origin of Rashba spin-splitting and strain tunability in ferroelectric bulk CsPbF$_3$

abstract: Spin-orbit coupling (SOC) in conjunction with broken inversion symmetry acts as a key ingredient for several intriguing quantum phenomena viz. persistent spin textures, topological surface states and Rashba-Dresselhaus (RD) effects. The coexistence of spontaneous polarization and the RD effect in ferroelectric materials enables the electrical control of spin degree of freedom. In light of this, we explore here the ferroelectric lead halide perovskite viz. CsPbF$_3$ as a potential candidate in the field of spintronics by employing state-of-the-art first-principles based methodologies viz. density functional theory (DFT) with semi-local and hybrid functional (HSE06) combined with spin-orbit coupling (SOC) and many-body perturbation theory (G$_0$W$_0$). For a deeper understanding of the observed spin-splitting, we have analyzed the spin textures within the combined framework of DFT and $\textbf{k.p}$ model Hamiltonian. The latter confirms that there is no out of plane spin component indicating that the Rashba splitting dominates over Dresselhaus splitting in this system. Owing to the presence of Pb-6$p$ orbital in conduction band, the large value of Rashba coefficient ($\alpha_R$) at conduction band minimum (CBm) is noticed in comparison to that of at the valence band maximum (VBM). Notably, we also observe that strength of Rashba spin-splitting can be substancially tuned on application of uniaxial strain ($\pm5\%$). This finding will further pave the path for perovskite-based spintronics devices.


title: Counterbalancing light absorption and ionic transport losses in the electrolyte for integrated solar water splitting with III-V/Si dual-junctions

abstract: Recently, significant progress in the development of III-V/Si dual-junction solar cells has been achieved. This not only boosts the efficiency of Si-based photovoltaic solar cells, but also offers the possibility of highly efficient green hydrogen production via solar water splitting. Using such dual-junction cells in a highly integrated photoelectrochemical approach and aiming for upscaled devices with solar-to-hydrogen efficiencies beyond 20\%, however, the following frequently neglected contrary effects become relevant: (i) light absorption in the electrolyte layer in front of the top absorber and (ii) the impact of this layer on the ohmic and transport losses. Here, we initially model the influence of the electrolyte layer thickness on the maximum achievable solar-to-hydrogen efficiency of a device with an Si bottom cell and show how the top absorber bandgap has to be adapted to minimise efficiency losses. Then, the contrary effects of increasing ohmic and transport losses with decreasing electrolyte layer thickness are evaluated. This allows us to estimate an optimum electrolyte layer thickness range that counterbalances the effects of parasitic absorption and ohmic/transport losses. We show that fine-tuning of the top absorber bandgap and the water layer thickness can lead to an STH efficiency increase of up to 1\% absolute. Our results allow us to propose important design rules for high-efficiency photoelectrochemical devices based on multi-junction photoabsorbers.


title: Context Matters: A Theory of Semantic Discriminability for Perceptual Encoding Systems

abstract: People's associations between colors and concepts influence their ability to interpret the meanings of colors in information visualizations. Previous work has suggested such effects are limited to concepts that have strong, specific associations with colors. However, although a concept may not be strongly associated with any colors, its mapping can be disambiguated in the context of other concepts in an encoding system. We articulate this view in semantic discriminability theory, a general framework for understanding conditions determining when people can infer meaning from perceptual features. Semantic discriminability is the degree to which observers can infer a unique mapping between visual features and concepts. Semantic discriminability theory posits that the capacity for semantic discriminability for a set of concepts is constrained by the difference between the feature-concept association distributions across the concepts in the set. We define formal properties of this theory and test its implications in two experiments. The results show that the capacity to produce semantically discriminable colors for sets of concepts was indeed constrained by the statistical distance between color-concept association distributions (Experiment 1). Moreover, people could interpret meanings of colors in bar graphs insofar as the colors were semantically discriminable, even for concepts previously considered "non-colorable" (Experiment 2). The results suggest that colors are more robust for visual communication than previously thought.


title: Shock-wave-like emission of spin waves induced by interfacial Dzyaloshinskii-Moriya interaction

abstract: We investigated spin wave (SW) propagation and emission in thin film systems with strong interfacial Dzyaloshinskii-Moriya interaction (DMI) utilizing micromagnetic simulation. The effect of DMI on SW propagation is analogous to the flow of magnetic medium leading to the spin Doppler effect, and a spin-polarized current can enhance or suppress it. It is demonstrated that, for a Doppler velocity exceeding a critical value, a shock-wave-like emission of SWs with a cone-shape emerges from a magnetically irregular point as the cone apex. The cone angle is quantitatively determined by the DMI-induced Doppler velocity. Combining the interfacial DMI and the spin-polarized current, a constant SW emission by a static source is demonstrated, which provides a promising route to efficiently generate SWs with tunable frequency.


title: Testing the consistency of proapgation between light and heavy cosmic ray nuclei

abstract: One of the fundamental issues in cosmic ray physics is to explain the nature of cosmic ray acceleration and propagation mechanisms. Thanks to the precise cosmic ray data measured by recent space experiments, we are able to investigate the cosmic ray acceleration and propagation models more comprehensively and reliably. In this paper, we combine the secondary-to-primary ratios and the primary spectra measured by PAMELA, AMS02, ACE-CRIS and Voyager-1 to constrain the cosmic ray source and transport parameters. The study shows that the $Z>2$ data yield a medium-energy diffusion slope $\delta_{2}\sim\left(0.42, 0.48\right)$ and a high-energy slope $\delta_{3}\sim\left(0.22, 0.34\right)$. The $Z\leq2$ species obtain a looser constraint on $\delta_{2}\sim\left(0.38, 0.47\right)$, but a tighter constraint on $\delta_{3}\sim\left(0.21, 0.30\right)$. The overlaps infer that the heavy and light particles can give compatible results at medium to high energies. Besides, both the light and heavy nuclei indicate a consistent diffusion slope variation $\Delta\delta_{H}$ around $200\sim300$~GV. At low energies, significant disagreements exist between the heavy and light elements. The B/C ratio requires a much larger diffusion slope shift $\Delta\delta_{L}$ around 4 GV or a stronger \textit{Alfv$\acute{e}$n velocity} $v_{A}$ than the low-mass data. This indicates that the heavy and light particles may suffer different low-energy transport behaviors in Galaxy. However, better understanding on the consistency/inconsistency between the heavy and light cosmic rays relies on more precise cross-sections, better constraints on correlations in systematic errors of data, more accurate estimation on Galaxy halo size and more robust description for Solar modulation during the reversal period of HMF.


title: Angle-dependent electron confinement in graphene moir\'e superlattices

abstract: In graphene moir\'e superlattices, electronic interactions between layers are mostly hidden as band structures get crowded because of folding, making their interpretation cumbersome. Here, the evolution of the electronic band structure as a function of the interlayer rotation angle is studied using Density Functional Theory followed by unfolding bands and then comparing them to their corresponding individual components. We observe interactions at regions not theoretically elucidated so far, where for small interlayer angles, gaps turn into discrete-like states that are evenly spaced in energy. We find that $V_{pp\sigma}$ attractive interactions between out-of-plane orbitals from different layers are responsible for the discretization. Furthermore, when the interlayer angle becomes small, these discrete evenly-spaced states have energy differences comparable to graphene phonons. Thus, they might be relevant to explain electron-phonon-assisted effects, which have been experimentally observed in graphene moir\'e superlattices.


title: Optical band engineering via vertical stacking of honeycomb plasmonic lattices

abstract: Inspired by recent advances in atomic homo and heterostructures, we consider the vertical stacking of plasmonic lattices as a new degree of freedom to create a coupled system showing a modified optical response concerning the monolayer. The precise design of the stacking and the geometrical parameters of two honeycomb plasmonic lattices tailors the interaction among their metallic nanoparticles. Based on the similarity of the lattice symmetry, analogies can be drawn with stacked atomic crystals, such as graphene. We use the multipolar spectral representation to study the plasmonic vertical stack's optical response in the near-field regime, emphasizing symmetry properties. The strong coupling of certain optical bands shows up as anticrossings in the dispersion diagram, resulting in the polarization exchange of the interacting bands. By leveraging these effects, we engineer the near-field intensity distribution. Additionally, lifting band degeneracy at specific points of the Brillouin zone is obtained with the consequent opening of minigaps. These effects are understood by quantifying the multipolar coupling among nanospheres belonging to the same and different sublattices, as well as the interlayer and intralayer nanoparticle interactions. Differences with the atomic case are also analyzed and explained in terms of the stack's interaction matrix. Finally, we predict the absorption spectrum projected on the two orthogonal linear polarizations.


title: Enhanced Invertible Encoding for Learned Image Compression

abstract: Although deep learning based image compression methods have achieved promising progress these days, the performance of these methods still cannot match the latest compression standard Versatile Video Coding (VVC). Most of the recent developments focus on designing a more accurate and flexible entropy model that can better parameterize the distributions of the latent features. However, few efforts are devoted to structuring a better transformation between the image space and the latent feature space. In this paper, instead of employing previous autoencoder style networks to build this transformation, we propose an enhanced Invertible Encoding Network with invertible neural networks (INNs) to largely mitigate the information loss problem for better compression. Experimental results on the Kodak, CLIC, and Tecnick datasets show that our method outperforms the existing learned image compression methods and compression standards, including VVC (VTM 12.1), especially for high-resolution images. Our source code is available at https://github.com/xyq7/InvCompress.


title: Model choice and parameter inference in controlled branching processes

abstract: Our purpose is to estimate the posterior distribution of the parameters of interest for controlled branching processes (CBPs) without prior knowledge of the maximum number of offspring that an individual can give birth to and without explicit likelihood calculations. We consider that only the population sizes at each generation and at least the number of progenitors of the last generation are observed, but the number of offspring produced by any individual at any generation is unknown. The proposed approach is two-fold. Firstly, to estimate the maximum progeny per individual we make use of an approximate Bayesian computation (ABC) algorithm for model choice and based on sequential importance sampling with the raw data. Secondly, given such an estimate and taking advantage of the simulated values of the previous stage, we approximate the posterior distribution of the main parameters of a CBP by applying the rejection ABC algorithm with an appropriate summary statistic and a post-processing adjustment. The accuracy of the proposed method is illustrated by means of simulated examples developed with the statistical software R. Moreover, we apply the methodology to two real datasets describing populations with logistic growth. To this end, different population growth models based on CBPs are proposed for the first time.


title: Strong-coupling superconductivity of SrIr2 and SrRh2: Phonon engineering of metallic Ir and Rh

abstract: Experimental and theoretical studies on superconductivity in SrIr$_2$ and SrRh$_2$ Laves phases are presented. The measured resistivity, heat capacity, and magnetic susceptibility confirm the superconductivity of these compounds with $T_c$ = 6.07 K and 5.41 K, respectively. Electronic structure calculations show that the Fermi surface is mostly contributed by 5$d$ (4$d$) electrons of Ir (Rh), with Sr atoms playing the role of electron donors. The effect of the spin-orbit coupling is analyzed and found to be important in both materials. Lattice dynamics and electron-phonon coupling (EPC) are studied and the strong electron-phonon interaction is found, contributed mostly by the low-frequency Ir and Rh vibrations. The enhancement of EPC when compared to weakly-coupled metallic Ir and Rh is explained by the strong modifications in the propagation of phonons in the network of Ir (Rh) tetrahedrons, which are the building blocks of the Laves phase, and originate from the metallic fcc structures of elemental iridium and rhodium.


title: Modulation of electronic and thermal proprieties of TaMoS$_2$ by controlling the repulsive interaction between Ta dopant atoms

abstract: We theoretically study the electronic and the thermal characteristics of Tantalum, Ta, doped Molybdenum disulfide, MoS$_2$, using density functional theory. It has been shown that the MoS$_2$ monolayer is not a good material for thermoelectric devices due to its relatively large band gap. We find that a Ta doped MoS$_2$ forming a TaMoS$_2$ monolayer can be useful for thermoelectric devices. The particular attention of this work is paid to the interaction effect between the Ta atoms in the MoS$_2$ structure. We find that the interaction type is repulsive. It introduces an asymmetry in the density of states, DOS, reducing the band gap. In the presence of a strong repulsive interaction of Ta-Ta atoms, new states in the DOS around the Fermi energy are found leading to a reduction of the band gap. Consequently, a high Seebeck coefficient and figure of merit are seen over a wide range of energy around the Fermi energy. In contrast, a small reduction of the band gap and a vanishing degeneracy of the valence and the conduction bands are observed for the case of a weak Ta-Ta repulsive interaction leading to less promising thermoelectric properties.


title: Event-driven Vision and Control for UAVs on a Neuromorphic Chip

abstract: Event-based vision sensors achieve up to three orders of magnitude better speed vs. power consumption trade off in high-speed control of UAVs compared to conventional image sensors. Event-based cameras produce a sparse stream of events that can be processed more efficiently and with a lower latency than images, enabling ultra-fast vision-driven control. Here, we explore how an event-based vision algorithm can be implemented as a spiking neuronal network on a neuromorphic chip and used in a drone controller. We show how seamless integration of event-based perception on chip leads to even faster control rates and lower latency. In addition, we demonstrate how online adaptation of the SNN controller can be realised using on-chip learning. Our spiking neuronal network on chip is the first example of a neuromorphic vision-based controller solving a high-speed UAV control task. The excellent scalability of processing in neuromorphic hardware opens the possibility to solve more challenging visual tasks in the future and integrate visual perception in fast control loops.


title: Quantum Induced Broadening- A Challenge For Cosmic Neutrino Background Discovery

abstract: A recent preprint by Cheipesh {\it et al.} pointed out that the zero-point motion of Tritium atoms bound to Graphene may blur the measured energies of $\beta$ electrons. Smearing due to zero point motion is well known. Such an effect features in studies of the $\beta$ spectrum expected in experiments like KATRIN using diatomic Tritium. The recent preprint may, however, challenge new planned experiments seeking to discover the Cosmic Neutrino Background (CNB) neutrinos (and/or other neutrinos of masses smaller than $0.1$ eV) which plan to use Tritium adsorbed onto Graphene or other materials. Our paper clarifies these issues and examines the more general problem of smearing induced by quantum uncertainty. We find that the effect of Cheipesh {\it et al.} is reduced considerably. The importance of the chemical evolution of the $^{3}$H atom hosting the Tritium nucleus into a tightly bound neutral $^{3}$He atom is emphasized. We estimate the excess blurring caused by the dense spectrum near the lowest state of the Graphene or other hosts of the Tritium atom, generated by the electronic response to the "sudden" escape of the $\beta$ electron. Our analysis suggests yet larger effects and difficulties facing many experiments searching for small mass neutrinos. We speculate on a possible experimental setup which could minimize quantum broadening.


title: 3d $\mathcal{N}=2$ Brane Webs and Quiver Matrices

abstract: We discuss 3d brane webs and effective Chern-Simons levels for 3d $\mathcal{N}=2$ gauge theories. We find that turning on real masses for chiral multiplets leads to various equivalent brane webs that are related by flipping positions of D5-branes. We interpret flips as $ST$-transformations for chiral multiplets. $ST$-transformations could turn abelian theories into dual theories with mixed Chern-Simons levels that are interpreted as quiver matrices $C_{ij}$ encoding DT-invariants. We notice that each brane web corresponds to a quiver matrix. $ST$-transformations of holomorphic blocks are discussed to verify results. We also discuss the movement of flavor D5-branes, which leads to double-layer brane webs and manifests fiber-base duality. In the second part, we compute refined vortex partition functions of nonabelian theories with the gauge group $U\left(N\right)$ and find corresponding quiver matrices. The computation shows that on Higgs branch nonabelian groups are broken to abelian groups.


title: Alignment of Tractography Streamlines using Deformation Transfer via Parallel Transport

abstract: We present a geometric framework for aligning white matter fiber tracts. By registering fiber tracts between brains, one expects to see overlap of anatomical structures that often provide meaningful comparisons across subjects. However, the geometry of white matter tracts is highly heterogeneous, and finding direct tract-correspondence across multiple individuals remains a challenging problem. We present a novel deformation metric between tracts that allows one to compare tracts while simultaneously obtaining a registration. To accomplish this, fiber tracts are represented by an intrinsic mean along with the deformation fields represented by tangent vectors from the mean. In this setting, one can determine a parallel transport between tracts and then register corresponding tangent vectors. We present the results of bundle alignment on a population of 43 healthy adult subjects.


title: Visual Analysis of Hyperproperties for Understanding Model Checking Results

abstract: Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneous behavior is returned. Understanding these counterexamples is challenging, especially for hyperproperty specifications, i.e., specifications that relate multiple executions of a system to each other. We aim to facilitate the visual analysis of such counterexamples through our HyperVis tool, which provides interactive visualizations of the given model, specification, and counterexample. Within an iterative and interdisciplinary design process, we developed visualization solutions that can effectively communicate the core aspects of the model checking result. Specifically, we introduce graphical representations of binary values for improving pattern recognition, color encoding for better indicating related aspects, visually enhanced textual descriptions, as well as extensive cross-view highlighting mechanisms. Further, through an underlying causal analysis of the counterexample, we are also able to identify values that contributed to the violation and use this knowledge for both improved encoding and highlighting. Finally, the analyst can modify both the specification of the hyperproperty and the system directly within HyperVis and initiate the model checking of the new version. In combination, these features notably support the analyst in understanding the error leading to the counterexample as well as iterating the provided system and specification. We ran multiple case studies with HyperVis and tested it with domain experts in qualitative feedback sessions. The participants' positive feedback confirms the considerable improvement over the manual, text-based status quo and the value of the tool for explaining hyperproperties.


title: Hydrogen reionisation ends by $z=5.3$: Lyman-$\alpha$ optical depth measured by the XQR-30 sample

abstract: The presence of excess scatter in the Ly-$\alpha$ forest at $z\sim 5.5$, together with the existence of sporadic extended opaque Gunn-Peterson troughs, has started to provide robust evidence for a late end of hydrogen reionisation. However, low data quality and systematic uncertainties complicate the use of Ly-$\alpha$ transmission as a precision probe of reionisation's end stages. In this paper, we assemble a sample of 67 quasar sightlines at $z>5.5$ with high signal-to-noise ratios of $>10$ per $\leq 15$ km s$^{-1}$ spectral pixel, relying largely on the new XQR-30 quasar sample. XQR-30 is a large program on VLT/X-Shooter which obtained deep (SNR $>20$ per pixel) spectra of 30 quasars at $z>5.7$. We carefully account for systematics in continuum reconstruction, instrumentation, and contamination by damped Ly-$\alpha$ systems. We present improved measurements of the mean Ly-$\alpha$ transmission over $4.9<z<6.1$. Using all known systematics in a forward modelling analysis, we find excellent agreement between the observed Ly-$\alpha$ transmission distributions and the homogeneous-UVB simulations Sherwood and Nyx up to $z\leq5.2$ ($<1 \sigma$), and mild tension ($\sim 2.5 \sigma$) at $z=5.3$. Homogeneous UVB models are ruled out by excess Ly-$\alpha$ transmission scatter at $z\geq5.4$ with high confidence ($>3.5 \sigma$). Our results indicate that reionisation-related fluctuations, whether in the UVB, residual neutral hydrogen fraction, and/or IGM temperature, persist in the intergalactic medium until at least $z=5.3$ ($t=1.1$ Gyr after the Big Bang). This is further evidence for a late end to reionisation.


title: V488 Per revisited: no strong mid-infrared emission features and no evidence for stellar/sub-stellar companions

abstract: We present characterization of the planetary system architecture for V488 Per, the dustiest main sequence star known with a fractional infrared luminosity of ~16%. Far-infrared imaging photometry confirms the existence of an outer planetary system dust population with blackbody-fit temperature of ~130 K. Mid-infrared spectroscopy probing the previously-identified ~800 K inner planetary system dust population does not detect any obvious solid-state emission features, suggesting either large grain sizes that mute such emission and/or grain compositions dominated by species like amorphous carbon and metallic iron which do not produce such features. In the latter case, the presence of significant quantities of iron-rich material could be indicative of the active formation of a Mercury-like planet around V488 Per. In any event, the absence of solid-state emission features is very unusual among main sequence stars with copious amounts of warm orbiting dust particles; we know of no other such star whose mid-infrared spectrum lacks such features. Combined radial velocity monitoring and adaptive optics imaging find no evidence for stellar/sub-stellar companions within several hundred AU of V488 Per.


title: Cofinal types on $\omega_2$

abstract: In this paper we start the analysis of the class $\mathcal D_{\aleph_2}$, the class of cofinal types of directed sets of cofinality at most $\aleph_2$. We compare elements of $\mathcal D_{\aleph_2}$ using the notion of Tukey reducibility. We isolate some simple cofinal types in $\mathcal D_{\aleph_2}$, and then proceed to show which of these types have an immediate successor in the Tukey ordering of $\mathcal D_{\aleph_2}$.


title: BIGRoC: Boosting Image Generation via a Robust Classifier

abstract: The interest of the machine learning community in image synthesis has grown significantly in recent years, with the introduction of a wide range of deep generative models and means for training them. In this work, we propose a general model-agnostic technique for improving the image quality and the distribution fidelity of generated images obtained by any generative model. Our method, termed BIGRoC (Boosting Image Generation via a Robust Classifier), is based on a post-processing procedure via the guidance of a given robust classifier and without a need for additional training of the generative model. Given a synthesized image, we propose to update it through projected gradient steps over the robust classifier to refine its recognition. We demonstrate this post-processing algorithm on various image synthesis methods and show a significant quantitative and qualitative improvement on CIFAR-10 and ImageNet. Surprisingly, although BIGRoC is the first model agnostic among refinement approaches and requires much less information, it outperforms competitive methods. Specifically, BIGRoC improves the image synthesis best performing diffusion model on ImageNet 128x128 by 14.81%, attaining an FID score of 2.53, and on 256x256 by 7.87%, achieving an FID of 3.63. Moreover, we conduct an opinion survey, according to which humans significantly prefer our method's outputs.


title: Audio Spectral Enhancement: Leveraging Autoencoders for Low Latency Reconstruction of Long, Lossy Audio Sequences

abstract: With active research in audio compression techniques yielding substantial breakthroughs, spectral reconstruction of low-quality audio waves remains a less indulged topic. In this paper, we propose a novel approach for reconstructing higher frequencies from considerably longer sequences of low-quality MP3 audio waves. Our technique involves inpainting audio spectrograms with residually stacked autoencoder blocks by manipulating individual amplitude and phase values in relation to perceptual differences. Our architecture presents several bottlenecks while preserving the spectral structure of the audio wave via skip-connections. We also compare several task metrics and demonstrate our visual guide to loss selection. Moreover, we show how to leverage differential quantization techniques to reduce the initial model size by more than half while simultaneously reducing inference time, which is crucial in real-world applications.


title: OVIS: Open-Vocabulary Visual Instance Search via Visual-Semantic Aligned Representation Learning

abstract: We introduce the task of open-vocabulary visual instance search (OVIS). Given an arbitrary textual search query, Open-vocabulary Visual Instance Search (OVIS) aims to return a ranked list of visual instances, i.e., image patches, that satisfies the search intent from an image database. The term "open vocabulary" means that there are neither restrictions to the visual instance to be searched nor restrictions to the word that can be used to compose the textual search query. We propose to address such a search challenge via visual-semantic aligned representation learning (ViSA). ViSA leverages massive image-caption pairs as weak image-level (not instance-level) supervision to learn a rich cross-modal semantic space where the representations of visual instances (not images) and those of textual queries are aligned, thus allowing us to measure the similarities between any visual instance and an arbitrary textual query. To evaluate the performance of ViSA, we build two datasets named OVIS40 and OVIS1600 and also introduce a pipeline for error analysis. Through extensive experiments on the two datasets, we demonstrate ViSA's ability to search for visual instances in images not available during training given a wide range of textual queries including those composed of uncommon words. Experimental results show that ViSA achieves an mAP@50 of 21.9% on OVIS40 under the most challenging setting and achieves an mAP@6 of 14.9% on OVIS1600 dataset.


title: The Endokernel: Fast, Secure, and Programmable Subprocess Virtualization

abstract: Commodity applications contain more and more combinations of interacting components (user, application, library, and system) and exhibit increasingly diverse tradeoffs between isolation, performance, and programmability. We argue that the challenge of future runtime isolation is best met by embracing the multi-principle nature of applications, rethinking process architecture for fast and extensible intra-process isolation. We present, the Endokernel, a new process model and security architecture that nests an extensible monitor into the standard process for building efficient least-authority abstractions. The Endokernel introduces a new virtual machine abstraction for representing subprocess authority, which is enforced by an efficient self-isolating monitor that maps the abstraction to system level objects (processes, threads, files, and signals). We show how the Endokernel can be used to develop specialized separation abstractions using an exokernel-like organization to provide virtual privilege rings, which we use to reorganize and secure NGINX. Our prototype, includes a new syscall monitor, the nexpoline, and explores the tradeoffs of implementing it with diverse mechanisms, including Intel Control Enhancement Technology. Overall, we believe sub-process isolation is a must and that the Endokernel exposes an essential set of abstractions for realizing this in a simple and feasible way.


title: Online Bootstrap Inference For Policy Evaluation in Reinforcement Learning

abstract: The recent emergence of reinforcement learning has created a demand for robust statistical inference methods for the parameter estimates computed using these algorithms. Existing methods for statistical inference in online learning are restricted to settings involving independently sampled observations, while existing statistical inference methods in reinforcement learning (RL) are limited to the batch setting. The online bootstrap is a flexible and efficient approach for statistical inference in linear stochastic approximation algorithms, but its efficacy in settings involving Markov noise, such as RL, has yet to be explored. In this paper, we study the use of the online bootstrap method for statistical inference in RL. In particular, we focus on the temporal difference (TD) learning and Gradient TD (GTD) learning algorithms, which are themselves special instances of linear stochastic approximation under Markov noise. The method is shown to be distributionally consistent for statistical inference in policy evaluation, and numerical experiments are included to demonstrate the effectiveness of this algorithm at statistical inference tasks across a range of real RL environments.


title: Macaulay bases of modules

abstract: We define Macaulay bases of modules, which are a common generalization of Groebner bases and Macaulay $H$-bases to suitably graded modules over a commutative graded $\mathbf{k}$-algebra, where the index sets of the two gradings may differ. This includes Groebner bases of modules as a special case, in contrast to previous work on Macaulay bases of modules. We show that the standard results on Groebner bases and Macaulay $H$-bases generalize in fields of arbitrary characteristic to Macaulay bases, including the reduction algorithm and Buchberger's criterion and algorithm. A key result is that Macaulay bases, in contrast to Groebner bases, respect symmetries when there is a group $G$ acting homogeneously on a graded module, in which case the reduction algorithm is $G$-equivariant and the $\mathbf{k}$-span of a Macaulay basis is $G$-invariant. We also show that some of the standard applications of Groebner bases can be generalized to Macaulay bases, including elimination and computation of syzygy modules, which require the generalization to modules that was not present in previous work.


title: Detecting Qubit-coupling Faults in Ion-trap Quantum Computers

abstract: Ion-trap quantum computers offer a large number of possible qubit couplings, each of which requires individual calibration and can be misconfigured. To enhance the duty cycle of an ion trap, we develop a strategy that diagnoses individual miscalibrated couplings using only log-many tests. This strategy is validated on a commercial ion-trap quantum computer, where we illustrate the process of debugging faulty quantum gates. Our methodology provides a scalable pathway towards fault detections on a larger scale ion-trap quantum computers, confirmed by simulations up to 32 qubits.


title: Grade Inflation and Stunted Effort in a Curved Economics Course

abstract: To protect his teaching evaluations, an economics professor uses the following exam curve: if the class average falls below a known target, $m$, then all students will receive an equal number of free points so as to bring the mean up to $m$. If the average is above $m$ then there is no curve; curved grades above $100\%$ will never be truncated to $100\%$ in the gradebook. The $n$ students in the course all have Cobb-Douglas preferences over the grade-leisure plane; effort corresponds exactly to earned (uncurved) grades in a $1:1$ fashion. The elasticity of each student's utility with respect to his grade is his ability parameter, or relative preference for a high score. I find, classify, and give complete formulas for all the pure Nash equilibria of my own game, which my students have been playing for some eight semesters. The game is supermodular, featuring strategic complementarities, negative spillovers, and nonsmooth payoffs that generate non-convexities in the reaction correspondence. The $n+2$ types of equilibria are totally ordered with respect to effort and Pareto preference, and the lowest $n+1$ of these types are totally ordered in grade-leisure space. In addition to the no-curve ("try-hard") and curved interior equilibria, we have the "$k$-don't care" equilibria, whereby the $k$ lowest-ability students are no-shows. As the class size becomes infinite in the curved interior equilibrium, all students increase their leisure time by a fixed percentage, i.e., $14\%$, in response to the disincentive, which amplifies any pre-existing ability differences. All students' grades inflate by this same (endogenous) factor, say, $1.14$ times what they would have been under the correct standard.


title: Online Admission Control and Resource Allocation in Network Slicing under Demand Uncertainties

abstract: One of the most important aspects of moving forward to the next generation networks like 5G/6G, is to enable network slicing in an efficient manner. The most challenging issues are the uncertainties in computation and communication demand. Because the slices' arrive to the network in different times and their lifespans vary, the solution should dynamically react to online slice requests. The joint problem of online admission control and resource allocation considering the energy consumption is formulated mathematically. It is based on Binary Linear Programming (BLP), where, the $\Gamma$-Robustness concept is exploited to overcome Virtual Links (VL) bandwidths' and Virtual Network Functions (VNF) workloads' uncertainties. Then, an optimal algorithm is proposed. This optimal algorithm cannot be solved in a reasonable amount of time for real-world and large-scale networks. To find near-optimal solution efficiently, a new heuristic algorithm is developed. The assessments' results indicate that the efficiency of heuristic is vital in increasing the accepted requests' count, decreasing power consumption and providing adjustable tolerance vs. the VNFs workloads' and VLs traffics' uncertainties, separately. Considering the acceptance ratio and power consumption that constitute the two important components of the objective function, heuristic has about 7% and 10% optimality gaps, respectively, while being about 30X faster than that of optimal algorithm.


title: Magnetic fields with precise quasisymmetry for plasma confinement

abstract: Quasisymmetry is an unusual symmetry that can be present in toroidal magnetic fields, enabling confinement of charged particles and plasma. Here it is shown that both quasi-axisymmetry and quasi-helical symmetry can be achieved to a much higher precision than previously thought over a significant volume, resulting in exceptional confinement. For a 1 Tesla mean field far from axisymmetry (vacuum rotational transform $>$ 0.4), symmetry-breaking mode amplitudes throughout a volume of aspect ratio 6 can be made as small as the typical $\sim 50$ $\mu$T geomagnetic field.


title: Generalizing Dynamic Mode Decomposition: Balancing Accuracy and Expressiveness in Koopman Approximations

abstract: This paper tackles the data-driven approximation of unknown dynamical systems using Koopman-operator methods. Given a dictionary of functions, these methods approximate the projection of the action of the operator on the finite-dimensional subspace spanned by the dictionary. We propose the Tunable Symmetric Subspace Decomposition algorithm to refine the dictionary, balancing its expressiveness and accuracy. Expressiveness corresponds to the ability of the dictionary to describe the evolution of as many observables as possible and accuracy corresponds to the ability to correctly predict their evolution. Based on the observation that Koopman-invariant subspaces give rise to exact predictions, we reason that prediction accuracy is a function of the degree of invariance of the subspace generated by the dictionary and provide a data-driven measure to measure invariance proximity. The proposed algorithm iteratively prunes the initial functional space to identify a refined dictionary of functions that satisfies the desired level of accuracy while retaining as much of the original expressiveness as possible. We provide a full characterization of the algorithm properties and show that it generalizes both Extended Dynamic Mode Decomposition and Symmetric Subspace Decomposition. Simulations on planar systems show the effectiveness of the proposed methods in producing Koopman approximations of tunable accuracy that capture relevant information about the dynamical system.


title: On the Difficulty of Generalizing Reinforcement Learning Framework for Combinatorial Optimization

abstract: Combinatorial optimization problems (COPs) on the graph with real-life applications are canonical challenges in Computer Science. The difficulty of finding quality labels for problem instances holds back leveraging supervised learning across combinatorial problems. Reinforcement learning (RL) algorithms have recently been adopted to solve this challenge automatically. The underlying principle of this approach is to deploy a graph neural network (GNN) for encoding both the local information of the nodes and the graph-structured data in order to capture the current state of the environment. Then, it is followed by the actor to learn the problem-specific heuristics on its own and make an informed decision at each state for finally reaching a good solution. Recent studies on this subject mainly focus on a family of combinatorial problems on the graph, such as the travel salesman problem, where the proposed model aims to find an ordering of vertices that optimizes a given objective function. We use the security-aware phone clone allocation in the cloud as a classical quadratic assignment problem (QAP) to investigate whether or not deep RL-based model is generally applicable to solve other classes of such hard problems. Extensive empirical evaluation shows that existing RL-based model may not generalize to QAP.


title: Exchange scaling of ultrafast angular momentum transfer in 4$\it{f}$ antiferromagnets

abstract: Ultrafast manipulation of the magnetic state of matter bears great potential for future information technologies. While demagnetisation in ferromagnets is governed by dissipation of angular momentum, materials with multiple spin sublattices, e.g. antiferromagnets, can allow direct angular momentum transfer between opposing spins, promising faster functionality. In lanthanides, 4$\it{f}$ magnetic exchange is mediated indirectly through the conduction electrons (the Ruderman-Kittel-Kasuya-Yosida interaction, RKKY), and the effect of such conditions on direct spin transfer processes is largely unexplored. Here, we investigate ultrafast magnetization dynamics in 4f antiferromagnets, and systematically vary the 4$\it{f}$ occupation, thereby altering the magnitude of RKKY. By combining time-resolved soft x-ray diffraction with ab-initio calculations, we find that the rate of direct transfer between opposing moments is directly determined by the magnitude of RKKY. Given the high sensitivity of RKKY to the conduction electrons, our results offer a novel approach for fine-tuning the speed of magnetic devices.


title: A Theoretical Analysis of Logistic Regression and Bayesian Classifiers

abstract: This study aims to show the fundamental difference between logistic regression and Bayesian classifiers in the case of exponential and unexponential families of distributions, yielding the following findings. First, the logistic regression is a less general representation of a Bayesian classifier. Second, one should suppose distributions of classes for the correct specification of logistic regression equations. Third, in specific cases, there is no difference between predicted probabilities from correctly specified generative Bayesian classifier and discriminative logistic regression.


title: A dynamic approach for the zeros of the Riemann zeta function - collision and repulsion

abstract: For $N \in \mathbb{N}$ consider the $N$-th section of the approximate functional equation $$ \zeta_N(s)= \sum_{n =1 }^N B_n(s),$$ where $$ B_n(s)= \frac{1}{2} \left [ n^{-s} + \chi(s) \cdot n^{s-1} \right ].$$ Our aim in this work is to introduce a new approach for the Riemann hypothesis by studying the way pairs of consecutive zeros of $\zeta_N(s)$ change with respect to $N$. For the initial stage, it is known that the non-trivial zeros of $\zeta_1(s)$ all lie on the critical line $Re(s)=\frac{1}{2}$. In the region $2N \leq Im(s) \leq 2 \pi (N+1)$ the function $\zeta_N(s)$ serves as an approximation of $\zeta(s)$ itself, and it was conjectured by Spira that in this region $\zeta_N(s)$ also admits zeros only on the critical line. We show that the appearance of zeros of a section off the critical line can be realized as the result of two consecutive zeros meeting and pushing each other off the critical line as $N$ changes, a process to which we refer to as a collision of zeros. Based on a study of the properties of $\zeta_N(s)$, we suggest a way of re-arranging the order of summation of the elements $B_n(s)$ in $\zeta_{N}(s)$ with $N=\left [ \frac{Im(s)}{2} \right ]$ that is expected to avoid collisions altogether, we refer to such a re-arrangement as a repelling re-arrangement. In particular, establishing that the suggested repelling re-arrangement indeed avoids collisions for any pair of zeros would imply RH.


title: On the characterization of equilibria of nonsmooth minimal-time mean field games with state constraints

abstract: In this paper, we consider a first-order deterministic mean field game model inspired by crowd motion in which agents moving in a given domain aim to reach a given target set in minimal time. To model interaction between agents, we assume that the maximal speed of an agent is bounded as a function of their position and the distribution of other agents. Moreover, we assume that the state of each agent is subject to the constraint of remaining inside the domain of movement at all times, a natural constraint to model walls, columns, fences, hedges, or other kinds of physical barriers at the boundary of the domain. After recalling results on the existence of Lagrangian equilibria for these mean field games and the main difficulties in their analysis due to the presence of state constraints, we show how recent techniques allow us to characterize optimal controls and deduce that equilibria of the game satisfy a system of partial differential equations, known as the mean field game system.


title: Meta-Reinforcement Learning in Broad and Non-Parametric Environments

abstract: Recent state-of-the-art artificial agents lack the ability to adapt rapidly to new tasks, as they are trained exclusively for specific objectives and require massive amounts of interaction to learn new skills. Meta-reinforcement learning (meta-RL) addresses this challenge by leveraging knowledge learned from training tasks to perform well in previously unseen tasks. However, current meta-RL approaches limit themselves to narrow parametric task distributions, ignoring qualitative differences between tasks that occur in the real world. In this paper, we introduce TIGR, a Task-Inference-based meta-RL algorithm using Gaussian mixture models (GMM) and gated Recurrent units, designed for tasks in non-parametric environments. We employ a generative model involving a GMM to capture the multi-modality of the tasks. We decouple the policy training from the task-inference learning and efficiently train the inference mechanism on the basis of an unsupervised reconstruction objective. We provide a benchmark with qualitatively distinct tasks based on the half-cheetah environment and demonstrate the superior performance of TIGR compared to state-of-the-art meta-RL approaches in terms of sample efficiency (3-10 times faster), asymptotic performance, and applicability in non-parametric environments with zero-shot adaptation.


title: A High Performance and Robust FIFO Synchronizer-Interface for Crossing Clock Domains in SFQ Logic

abstract: Digital single-flux quantum (SFQ) technology promises to meet the demands of ultra low power and high speed computing needed for future exascale supercomputing platforms. However, clocking SFQ logic circuits remains a challenge due to the presence of a large number of on-chip clock sinks, and hence, decomposing large designs into multiple independent clock domains similar to CMOS, have been proposed. However, such clock domains demand efficient synchronizing First-in-first-out (FIFO) buffers and robust interfaces to safely transfer data from one clock domain to another. In this brief, we propose such a FIFO synchronizer and clock-domain crossing interface for both uni and bi-directional data transfer without any significant degradation of the clock frequency. Our proposal scales to complex gate-level pipelined SFQ logic cores while demonstrating extremely low Bit Error Rate (BER) and is unaffected by noise, given current SFQ lithography feature sizes.


title: Estimating populational-average hazard ratios in the presence of unmeasured confounding

abstract: The Cox regression model and its associated hazard ratio (HR) are frequently used for summarizing the effect of treatments on time to event outcomes. However, the HR's interpretation strongly depends on the assumed underlying survival model. The challenge of interpreting the HR has been the focus of a number of recent works. Besides, several alternative measures have been proposed in order to deal with these concerns. The marginal Cox regression models include an identifiable hazard ratio without individual but populational causal interpretation. In this work, we study the properties of one particular marginal Cox regression model and consider its estimation in the presence of omitted confounder. We prove the large sample consistency of an estimation score which allows non-binary treatments. Our Monte Carlo simulations suggest that finite sample behavior of the procedure is adequate. The studied estimator is more robust than its competitors for weak instruments although it is slightly more biased for large effects of the treatment. The practical use of the presented techniques is illustrated through a real practical example using data from the vascular quality initiative registry. The used R code is provided as Supplementary Material.


title: Mean-square Analysis of the NLMS Algorithm

abstract: This work presents a novel approach to the mean-square analysis of the normalized least mean squares (NLMS) algorithm for circular complex colored Gaussian inputs. The analysis is based on the derivation of a closed-form expression for the Cumulative Distribution Function (CDF) of random variables of the form $(||{\bf u}||_{{\bf D}_1}^2)(||{\bf u}||_{{\bf D}_2}^2)^{-1}$ where ${\bf u}$ is an isotropic vector and ${\bf D}_1$ and ${\bf D}_2$ are diagonal matrices and using that to derive some moments of these variables. These moments in turn completely characterize the mean-square behavior of the NLMS algorithm in explicit closed-form expressions. Specifically, the transient, steady-state, and tracking mean-square behavior of the NLMS algorithm is studied.


title: Knowledge for a warmer world: a patent analysis of climate change adaptation technologies

abstract: Technologies can help strengthen the resilience of our economy against existential climate-risks. We investigate climate change adaptation technologies (CCATs) in US patents to understand (1) historical patterns and drivers of innovation; (2) scientific and technological requirements to develop and use CCATs; and (3) CCATs' potential technological synergies with mitigation. First, in contrast to mitigation, innovation in CCATs only slowly takes off, indicating a relatively low awareness of investors for solutions to cope with climate risks. Historical trends in environmental regulation, energy prices, and public support can be associated with patenting in CCATs. Second, CCATs form two main clusters: science-intensive ones in agriculture, health, and monitoring technologies; and engineering-intensive ones in coastal, water, and infrastructure technologies. Analyses of technology-specific scientific and technological knowledge bases inform directions for how to facilitate advancement, transfer and use of CCATs. Lastly, CCATs show strong technological complementarities with mitigation as more than 25% of CCATs bear mitigation benefits. While not judging about the complementarity of mitigation and adaptation in general, our results suggest how policymakers can harness these technological synergies to achieve both goals simultaneously.


title: Effect of Interfacial Defects on the Electronic Properties of MoS$_2$ Based Lateral T-H Heterophase Junctions

abstract: The coexistence of semiconducting (2H) and metallic (1T) phases of MoS$_{2}$ monolayers have further pushed their strong potential for applications in the next generation of electronic devices based on the two-dimensional lateral heterojunctions. Structural defects have considerable effects on the properties of these 2D devices. In particular, the interfaces of two phases are often imperfect and may contain numerous vacancies created by phase engineering techniques, e.g. under the electron beam. Here, the transport behaviors of the heterojunctions in the existence of point defects are explored by means of first-principles calculations and non-equilibrium Green's function approach. While vacancies in semiconducting MoS$_{2}$ act as scattering centers, their presence at the interface improves the flow of the charge carriers. In the case of $V_{Mo}$, the current has been increased by two orders of magnitude in comparison to the perfect device. The enhancement of transmission was explained by changes in the electronic densities at the T-H interface, which open new transport channels for electron conduction.


title: Asymptotic expansions about infinity for solutions of nonlinear differential equations with coherently decaying forcing functions

abstract: This paper studies, in fine details, the long-time asymptotic behavior of decaying solutions of a general class of dissipative systems of nonlinear differential equations in complex Euclidean spaces. The forcing functions decay, as time tends to infinity, in a coherent way expressed by combinations of the exponential, power, logarithmic and iterated logarithmic functions. The decay may contain sinusoidal oscillations not only in time but also in the logarithm and iterated logarithm of time. It is proved that the decaying solutions admit corresponding asymptotic expansions, which can be constructed concretely. In the case of the real Euclidean spaces, the real-valued decaying solutions are proved to admit real-valued asymptotic expansions. Our results unite and extend the theory investigated in many previous works.


title: Flocking in the Cucker-Smale model with self-delay and nonsymmetric interaction weights

abstract: We derive a sufficient condition for asymptotic flocking in the Cucker-Smale model with self-delay (also called reaction delay) and with non-symmetric interaction weights. The condition prescribes smallness of the delay length relative to the decay rate of the inter-agent communication weight. The proof is carried out by a bootstrapping argument combining a decay estimate for the group velocity diameter with a variant of the Gronwall-Halanay inequality.