title: RIConv++: Effective Rotation Invariant Convolutions for 3D Point Clouds Deep Learning

abstract: 3D point clouds deep learning is a promising field of research that allows a neural network to learn features of point clouds directly, making it a robust tool for solving 3D scene understanding tasks. While recent works show that point cloud convolutions can be invariant to translation and point permutation, investigations of the rotation invariance property for point cloud convolution has been so far scarce. Some existing methods perform point cloud convolutions with rotation-invariant features, existing methods generally do not perform as well as translation-invariant only counterpart. In this work, we argue that a key reason is that compared to point coordinates, rotation-invariant features consumed by point cloud convolution are not as distinctive. To address this problem, we propose a simple yet effective convolution operator that enhances feature distinction by designing powerful rotation invariant features from the local regions. We consider the relationship between the point of interest and its neighbors as well as the internal relationship of the neighbors to largely improve the feature descriptiveness. Our network architecture can capture both local and global context by simply tuning the neighborhood size in each convolution layer. We conduct several experiments on synthetic and real-world point cloud classifications, part segmentation, and shape retrieval to evaluate our method, which achieves the state-of-the-art accuracy under challenging rotations.


title: Stability of involutions on Banach Algebra by fixed point method

abstract: Using the fixed point method of the stability of the Jensen's functional equation, we proved the Hyers-Ulam-Rassias stability and super stability of involution on Banach algebra and find some conditions that with them a Banach algebra with approximate involution is $C^*$-algebra.


title: Continuous Human Action Recognition for Human-Machine Interaction: A Review

abstract: With advances in data-driven machine learning research, a wide variety of prediction models have been proposed to capture spatio-temporal features for the analysis of video streams. Recognising actions and detecting action transitions within an input video are challenging but necessary tasks for applications that require real-time human-machine interaction. By reviewing a large body of recent related work in the literature, we thoroughly analyse, explain and compare action segmentation methods and provide details on the feature extraction and learning strategies that are used on most state-of-the-art methods. We cover the impact of the performance of object detection and tracking techniques on human action segmentation methodologies. We investigate the application of such models to real-world scenarios and discuss several limitations and key research directions towards improving interpretability, generalisation, optimisation and deployment.


title: Language-Independent Speaker Anonymization Approach using Self-Supervised Pre-Trained Models

abstract: Speaker anonymization aims to protect the privacy of speakers while preserving spoken linguistic information from speech. Current mainstream neural network speaker anonymization systems are complicated, containing an F0 extractor, speaker encoder, automatic speech recognition acoustic model (ASR AM), speech synthesis acoustic model and speech waveform generation model. Moreover, as an ASR AM is language-dependent, trained on English data, it is hard to adapt it into another language. In this paper, we propose a simpler self-supervised learning (SSL)-based method for language-independent speaker anonymization without any explicit language-dependent model, which can be easily used for other languages. Extensive experiments were conducted on the VoicePrivacy Challenge 2020 datasets in English and AISHELL-3 datasets in Mandarin to demonstrate the effectiveness of our proposed SSL-based language-independent speaker anonymization method.


title: Fast and Accurate Data-Driven Simulation Framework for Contact-Intensive Tight-Tolerance Robotic Assembly Tasks

abstract: We propose a novel fast and accurate simulation framework for contact-intensive tight-tolerance robotic assembly tasks. The key components of our framework are as follows: 1) data-driven contact point clustering with a certain variable-input network, which is explicitly trained for simulation accuracy (with real experimental data) and able to accommodate complex/non-convex object shapes; 2) contact force solving, which precisely/robustly enforces physics of contact (i.e., no penetration, Coulomb friction, maximum energy dissipation) with contact mechanics of contact nodes augmented with that of their object; 3) contact detection with a neural network, which is parallelized for each contact point, thus, can be computed very quickly even for complex shape objects with no exhaust pair-wise test; and 4) time integration with PMI (passive mid-point integration), whose discrete-time passivity improves overall simulation accuracy, stability, and speed. We then implement our proposed framework for two widely-encountered/benchmarked contact-intensive tight-tolerance tasks, namely, peg-in-hole assembly and bolt-nut assembly, and validate its speed and accuracy against real experimental data. It is worthwhile to mention that our proposed simulation framework is applicable to other general contact-intensive tight-tolerance robotic assembly tasks as well. We also compare its performance with other physics engines and manifest its robustness via haptic rendering of virtual bolting task.


title: Symmetric Convolutional Filters: A Novel Way to Constrain Parameters in CNN

abstract: We propose a novel technique to constrain parameters in CNN based on symmetric filters. We investigate the impact on SOTA networks when varying the combinations of symmetricity. We demonstrate that our models offer effective generalisation and a structured elimination of redundancy in parameters. We conclude by comparing our method with other pruning techniques.


title: SemSup: Semantic Supervision for Simple and Scalable Zero-shot Generalization

abstract: Zero-shot learning is the problem of predicting instances over classes not seen during training. One approach to zero-shot learning is providing auxiliary class information to the model. Prior work along this vein have largely used expensive per-instance annotation or singular class-level descriptions, but per-instance descriptions are hard to scale and single class descriptions may not be rich enough. Furthermore, these works have used natural-language descriptions exclusively, simple bi-encoders models, and modality or task-specific methods. These approaches have several limitations: text supervision may not always be available or optimal and bi-encoders may only learn coarse relations between inputs and class descriptions. In this work, we present SemSup, a novel approach that uses (1) a scalable multiple description sampling method which improves performance over single descriptions, (2) alternative description formats such as JSON that are easy to generate and outperform text on certain settings, and (3) hybrid lexical-semantic similarity to leverage fine-grained information in class descriptions. We demonstrate the effectiveness of SemSup across four datasets, two modalities, and three generalization settings. For example, across text and image datasets, SemSup increases unseen class generalization accuracy by 15 points on average compared to the closest baseline.


title: Sustainability using Renewable Electricity (SuRE) towards NetZero Emissions

abstract: Demand for energy has increased significantly across the globe due to increase in population and economic growth. Growth in energy demand poses serious threat to the environment since majority of the energy sources are non-renewable and based on fossil fuels, which leads to emission of harmful greenhouse gases. Organizations across the world are facing challenges in transitioning from fossil fuels-based sources to greener sources to reduce their carbon footprint. As a step towards achieving Net-Zero emission target, we present a scalable AI based solution that can be used by organizations to increase their overall renewable electricity share in total energy consumption. Our solution provides facilities with accurate energy demand forecast, recommendation for procurement of renewable electricity to optimize cost and carbon offset recommendations to compensate for Greenhouse Gas (GHG) emissions. This solution has been used in production for more than a year for four facilities and has increased their renewable electricity share significantly.


title: A local boundedness result for a class of obstacle problems with non-standard growth conditions

abstract: We prove the local boundedness for solutions to a class of obstacle problems with non-standard growth conditions. The novelty here is that we are able to establish the local boundedness under a sharp bound on the gap between the growth exponents.


title: Monotone Classes Beyond VNP

abstract: In this work, we study the natural monotone analogues of various equivalent definitions of VPSPACE: a well studied class (Poizat 2008, Koiran and Perifel 2009, Malod 2011, Mahajan and Rao 2013) that is believed to be larger than VNP. We observe that these monotone analogues are not equivalent unlike their non-monotone counterparts, and propose monotone VPSPACE (mVPSPACE) to be defined as the monotone analogue of Poizat's definition. With this definition, mVPSPACE turns out to be exponentially stronger than mVNP and also satisfies several desirable closure properties that the other analogues may not. Our initial goal was to understand the monotone complexity of transparent polynomials, a concept that was recently introduced by Hrube\v{s} and Yehudayoff (2021). In that context, we show that transparent polynomials of large sparsity are hard for the monotone analogues of all the known definitions of VPSPACE, except for the one due to Poizat.


title: Effects of interconnections among corruption, institutional punishment, and economic factors for the evolution of cooperation

abstract: The view that altruistic punishment plays an important role in supporting public cooperation among human beings and other species has been widely accepted by the public. However, the positive role of altruistic punishment in enhancing cooperation will be undermined if corruption is considered. Recently, behavioral experiments have confirmed this finding and further investigated the effects of the leader's punitive power and the economic potential. Nevertheless, there are relatively few studies focusing on how these factors affect the evolution of cooperation from a theoretical perspective. Here, we combine institutional punishment public goods games with bribery games to investigate the effects of the above factors on the evolution of cooperation. Theoretical and numerical results reveal that the existence of corruption will reduce the level of cooperation when cooperators are more inclined to provide bribes. In addition, we demonstrate that stronger leader and richer economic potential are both important to enhance cooperation. In particular, when defectors are more inclined to provide bribes, stronger leaders can sustain the contributions of public goods from cooperators if the economic potential is weak.


title: Python for Smarter Cities: Comparison of Python libraries for static and interactive visualisations of large vector data

abstract: Local governments, as part of 'smart city' initiatives and to promote interoperability, are increasingly incorporating open-source software into their data management, analysis, and visualisation workflows. Python, with its concise and natural syntax, presents a low barrier to entry for municipal staff without computer science backgrounds. However, with regard to geospatial visualisations in particular, the range of available Python libraries has diversified to such an extent that identifying candidate libraries for specific use cases is a challenging undertaking. This study therefore assesses prominent, actively-developed visualisation libraries in the Python ecosystem with respect to their suitability for producing visualisations of large vector datasets. A simple visualisation task common in urban development is used to produce near-identical thematic maps across static and an interactive 'tracks' of comparison. All short-listed libraries were able to generate the sample map products for both a small and larger dataset. Code complexity differed more strongly for interactive visualisations. Formal and informal documentation channels are highlighted to outline available resources for flattening learning curves. CPU runtimes for the Python-based portion of the process chain differed starkly for both tracks, pointing to avenues for further research. These results demonstrate that the Python ecosystem offers local governments powerful tools, free of vendor lock-in and licensing fees, to produce performant and consistently formatted visualisations for both internal and public distribution.


title: Cosmic Gamma-Ray Bursts Detected in the RELEC Experiment onboard the Vernov Satellite

abstract: The RELEC scientific instrumentation onboard the Vernov spacecraft launched on July 8, 2014, included the DRGE gamma-ray and electron spectrometer. This instrument incorporates a set of scintillation phoswich detectors, including four identical X-ray and gamma-ray detectors in the energy range from 10 keV to 3 MeV with a total area of $\sim$500 $cm^{2}$ directed toward the nadir, and an electron spectrometer containing three mutually orthogonal detector units with a geometry factor of $\sim$2 $cm^{2} sr$, which is also sensitive to X-rays and gamma-rays. The goal of the space experiment with the DRGE instrument was to investigate phenomena with fast temporal variability, in particular, terrestrial gamma-ray flashes (TGFs) and magnetospheric electron precipitations. However, the detectors of the DRGE instrument could record cosmic gamma-ray bursts (GRBs) and allowed one not only to perform a detailed analysis of the gamma-ray variability but also to compare the time profiles with the measurements made by other instruments of the RELEC scientific instrumentation (the detectors of optical and ultraviolet flashes, the radio-frequency and low-frequency analyzers of electromagnetic field parameters). We present the results of our observations of cosmic GRB 141011A and GRB 141104A, compare the parameters obtained in the GBM/Fermi and KONUSWind experiments, and estimate the redshifts and Eiso for the sources of these GRBs. The detectability of GRBs and good agreement between the independent estimates of their parameters obtained in various experiments are an important factor of the successful operation of similar detectors onboard the Lomonosov spacecraft.


title: Piecewise rotations: limit set for the non -bijective maps

abstract: We consider non-bijective piecewise rotations of the plane. These maps belong to a family introduced in previous papers by Boshernitzan and Goetz. We derive in this paper some upper bounds to the size of the limit set. This improves results of \cite{Bosh.Goet.03}.


title: Improving position resolution of neutron detectors with ultra-thin B4C foils

abstract: A new technique for detection of slow neutrons with gaseous detectors using ultra-thin layers with 10B atoms is presented. The reaction between a thermal neutron and a 10B atom releases 2 secondary particles, namely a 7Li ion and an alpha particle, which due to momentum conservation are emitted in opposite directions, along the same line (back to back). Current boron coated neutron detectors are equipped with 10B films with thicknesses of several micrometers, deposited on very thick substrate plates. However, since the ranges of the 7Li ion and the alpha particle are of few micrometeres in most materials, one of these particles is always lost in the 10B layer or substrate. As such, these detectors lose the ability to reconstruct the reaction line of action and to precisely determine the neutron position, as only one of the two secondary particles track can be measured. With the technique now presented, the sum of the 10B layer and the substrate thicknesses is small enough to allow for both secondary particles to escape and ionize the gas in opposite sides of the 10B converter foil. Independent readout structures, one on each side of the 10B converter foil, detect each secondary particle and determine its track centroid and the deposited energy. Since the two secondary particles are emitted back to back, the neutron position can be obtained by combining the information recorded by the two readout structures. Through GEANT4 simulations, we verified that the spatial resolution can be significantly improved: our results show that, by using a B4C layer with a thickness of 1 micron on a 0.9 micron Mylar substrate, the spatial resolution can by improved by a factor of 8, compared to conventional detectors with thick 10B detection layers.


title: Yamabe problem in the presence of singular Riemannian Foliations

abstract: Using variational methods together with symmetries given by singular Riemannian foliations with positive dimensional leaves, we prove the existence of an infinite number of sign-changing solutions to Yamabe type problems, which are constant along the leaves of the foliation, and one positive solution of minimal energy among any other solution with these symmetries. In particular, we find sign-changing solutions to the Yamabe problem on the round sphere with new qualitative behavior when compared to previous results, that is, these solutions are constant along the leaves of a singular Riemannian foliation which is not induced neither by a group action nor by an isoparametric function. To prove the existence of these solutions, we prove a Sobolev embedding theorem for general singular Riemannian foliations, and a Principle of Symmetric Criticality for the associated energy functional to a Yamabe type problem.


title: Optimal-er Auctions through Attention

abstract: RegretNet is a recent breakthrough in the automated design of revenue-maximizing auctions. It combines the flexibility of deep learning with the regret-based approach to relax the Incentive Compatibility (IC) constraint (that participants prefer to bid truthfully) in order to approximate optimal auctions. We propose two independent improvements of RegretNet. The first is a neural architecture denoted as RegretFormer that is based on attention layers. The second is a loss function that requires explicit specification of an acceptable IC violation denoted as regret budget. We investigate both modifications in an extensive experimental study that includes settings with constant and inconstant number of items and participants, as well as novel validation procedures tailored to regret-based approaches. We find that RegretFormer consistently outperforms RegretNet in revenue (i.e. is optimal-er) and that our loss function both simplifies hyperparameter tuning and allows to unambiguously control the revenue-regret trade-off by selecting the regret budget.


title: Hitting Times for Continuous-Time Imprecise-Markov Chains

abstract: We study the problem of characterizing the expected hitting times for a robust generalization of continuous-time Markov chains. This generalization is based on the theory of imprecise probabilities, and the models with which we work essentially constitute sets of stochastic processes. Their inferences are tight lower- and upper bounds with respect to variation within these sets. We consider three distinct types of these models, corresponding to different levels of generality and structural independence assumptions on the constituent processes. Our main results are twofold; first, we demonstrate that the hitting times for all three types are equivalent. Moreover, we show that these inferences are described by a straightforward generalization of a well-known linear system of equations that characterizes expected hitting times for traditional time-homogeneous continuous-time Markov chains.


title: Faisceaux equivariants sur $\mathbb{P}^1$ et faisceaux automorphes

abstract: Inspired by [Pan21], we define and study a functor which associates to equivariant sheaves on $\mathbb{P}^1$ automorphic sheaves on modular curves.


title: Notes on extraction of energy from an extremal Kerr-Newman black hole via charged particle collisions

abstract: The so-called BSW effect is an idealised scenario for high-energy test particle collisions in the vicinity of black holes; if the black hole is extremal and one of the particles fine-tuned, the centre-of-mass collision energy can be arbitrarily high. It has been recently shown that the energy of escaping particles produced in this process can also be arbitrarily high in the given approximation, as long as both the black hole and the escaping particles are charged, regardless of how small the black-hole charge might be. We revisit these results and show that they are also compatible with properties of microscopic particles for the case of motion in the equatorial plane of an extremal Kerr-Newman black hole.


title: BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing

abstract: A popular metric to evaluate the performance of fuzzers is branch coverage. However, we argue that focusing solely on covering many different branches (i.e., the richness) is not sufficient since the majority of the covered branches may have been exercised only once, which does not inspire a high confidence in the reliability of the covered code. Instead, the distribution of the executed branches (i.e., the evenness) should also be considered. That is, behavioral diversity is only given if the generated inputs not only trigger many different branches, but also trigger them evenly often with diverse inputs. We introduce BeDivFuzz, a feedback-driven fuzzing technique for generator-based fuzzers. BeDivFuzz distinguishes between structure-preserving and structure-changing mutations in the space of syntactically valid inputs, and biases its mutation strategy towards validity and behavioral diversity based on the received program feedback. We have evaluated BeDivFuzz on Ant, Maven, Rhino, Closure, Nashorn, and Tomcat. The results show that BeDivFuzz achieves better behavioral diversity than the state of the art, measured by established biodiversity metrics, namely the Hill numbers, from the field of ecology.


title: Analysis of Visual Reasoning on One-Stage Object Detection

abstract: Current state-of-the-art one-stage object detectors are limited by treating each image region separately without considering possible relations of the objects. This causes dependency solely on high-quality convolutional feature representations for detecting objects successfully. However, this may not be possible sometimes due to some challenging conditions. In this paper, the usage of reasoning features on one-stage object detection is analyzed. We attempted different architectures that reason the relations of the image regions by using self-attention. YOLOv3-Reasoner2 model spatially and semantically enhances features in the reasoning layer and fuses them with the original convolutional features to improve performance. The YOLOv3-Reasoner2 model achieves around 2.5% absolute improvement with respect to baseline YOLOv3 on COCO in terms of mAP while still running in real-time.


title: Mobile Device Association and Resource Allocation in Small-Cell IoT Networks with Mobile Edge Computing and Caching

abstract: To meet the need of computation-sensitive (CS) and high-rate (HR) communications, the framework of mobile edge computing and caching has been widely regarded as a promising solution. When such a framework is implemented in small-cell IoT (Internet of Tings) networks, it is a key and open topic how to assign mobile edge computing and caching servers to mobile devices (MDs) with CS and HR communications. Since these servers are integrated into small base stations (BSs), the assignment of them refers to not only the BS selection (i.e., MD association), but also the selection of computing and caching modes. To mitigate the network interference and thus enhance the system performance, some highly-effective resource partitioning mechanisms are introduced for access and backhaul links firstly. After that a problem with minimizing the sum of MDs' weighted delays is formulated to attain a goal of joint MD association and resource allocation under limited resources. Considering that the MD association and resource allocation parameters are coupling in such a formulated problem, we develop an alternating optimization algorithm according to the coalitional game and convex optimization theorems. To ensure that the designed algorithm begins from a feasible initial solution, we develop an initiation algorithm according to the conventional best channel association, which is used for comparison and the input of coalition game in the simulation. Simulation results show that the algorithm designed for minimizing the sum of MDs' weighted delays may achieve a better performance than the initiation (best channel association) algorithm in general.


title: An Unsupervised Cross-Modal Hashing Method Robust to Noisy Training Image-Text Correspondences in Remote Sensing

abstract: The development of accurate and scalable cross-modal image-text retrieval methods, where queries from one modality (e.g., text) can be matched to archive entries from another (e.g., remote sensing image) has attracted great attention in remote sensing (RS). Most of the existing methods assume that a reliable multi-modal training set with accurately matched text-image pairs is existing. However, this assumption may not always hold since the multi-modal training sets may include noisy pairs (i.e., textual descriptions/captions associated to training images can be noisy), distorting the learning process of the retrieval methods. To address this problem, we propose a novel unsupervised cross-modal hashing method robust to the noisy image-text correspondences (CHNR). CHNR consists of three modules: 1) feature extraction module, which extracts feature representations of image-text pairs; 2) noise detection module, which detects potential noisy correspondences; and 3) hashing module that generates cross-modal binary hash codes. The proposed CHNR includes two training phases: i) meta-learning phase that uses a small portion of clean (i.e., reliable) data to train the noise detection module in an adversarial fashion; and ii) the main training phase for which the trained noise detection module is used to identify noisy correspondences while the hashing module is trained on the noisy multi-modal training set. Experimental results show that the proposed CHNR outperforms state-of-the-art methods. Our code is publicly available at https://git.tu-berlin.de/rsim/chnr


title: Accurate Human Body Reconstruction for Volumetric Video

abstract: In this work, we enhance a professional end-to-end volumetric video production pipeline to achieve high-fidelity human body reconstruction using only passive cameras. While current volumetric video approaches estimate depth maps using traditional stereo matching techniques, we introduce and optimize deep learning-based multi-view stereo networks for depth map estimation in the context of professional volumetric video reconstruction. Furthermore, we propose a novel depth map post-processing approach including filtering and fusion, by taking into account photometric confidence, cross-view geometric consistency, foreground masks as well as camera viewing frustums. We show that our method can generate high levels of geometric detail for reconstructed human bodies.


title: Unprecedented change in the position of four radio sources

abstract: Astrometric positions of radio-emitting active galactic nuclei (AGNs) can be determined with sub-milliarcsec accuracy using very long baseline interferometry (VLBI). The usually small apparent proper motion of distant extragalactic targets allow us to realize the fundamental celestial reference frame with VLBI observations. However, long-term astrometric monitoring may reveal extreme changes in some AGN positions. Using new VLBI observations in 2018-2021, we show here that four extragalactic radio sources (3C48, CTA21, 1144+352, 1328+254) have a dramatic shift in their positions by 20-130 milliarcsec over two decades. For all four sources, the apparent positional shift is caused by their radio structure change.


title: A Log-Gaussian Cox Process with Sequential Monte Carlo for Line Narrowing in Spectroscopy

abstract: We propose a statistical model for narrowing line shapes in spectroscopy that are well approximated as linear combinations of Lorentzian or Voigt functions. We introduce a log-Gaussian Cox process to represent the peak locations thereby providing uncertainty quantification for the line narrowing. Bayesian formulation of the method allows for robust and explicit inclusion of prior information as probability distributions for parameters of the model. Estimation of the signal and its parameters is performed using a sequential Monte Carlo algorithm followed by an optimization step to determine the peak locations. Our method is validated using a simulation study and applied to a mineralogical Raman spectrum.


title: Person Re-identification: A Retrospective on Domain Specific Open Challenges and Future Trends

abstract: Person re-identification (Re-ID) is one of the primary components of an automated visual surveillance system. It aims to automatically identify/search persons in a multi-camera network having non-overlapping field-of-views. Owing to its potential in various applications and research significance, a plethora of deep learning based re-Id approaches have been proposed in the recent years. However, there exist several vision related challenges, e.g., occlusion, pose scale \& viewpoint variance, background clutter, person misalignment and cross-domain generalization across camera modalities, which makes the problem of re-Id still far from being solved. Majority of the proposed approaches directly or indirectly aim to solve one or multiple of these existing challenges. In this context, a comprehensive review of current re-ID approaches in solving theses challenges is needed to analyze and focus on particular aspects for further advancements. At present, such a focused review does not exist and henceforth in this paper, we have presented a systematic challenge-specific literature survey of 230+ papers between the years of 2015-21. For the first time a survey of this type have been presented where the person re-Id approaches are reviewed in such solution-oriented perspective. Moreover, we have presented several diversified prominent developing trends in the respective research domain which will provide a visionary perspective regarding ongoing person re-Id research and eventually help to develop practical real world solutions.


title: What ODE-Approximation Schemes of Time-Delay Systems Reveal about Lyapunov-Krasovskii Functionals

abstract: The article proposes an approach to complete-type and related Lyapunov-Krasovskii functionals that neither requires knowledge of the delay-Lyapunov matrix function nor does it involve linear matrix inequalities. The approach is based on ordinary differential equations (ODEs) that approximate the time-delay system. The ODEs are derived via spectral methods, e.g., the Chebyshev collocation method (also called pseudospectral discretization) or the Legendre tau method. A core insight is that the Lyapunov-Krasovskii theorem resembles a theorem for Lyapunov-Rumyantsev partial stability in ODEs. For the linear approximating ODE, only a Lyapunov equation has to be solved to obtain a partial Lyapunov function. The latter approximates the Lyapunov-Krasovskii functional. Results are validated by applying Clenshaw-Curtis and Gauss quadrature to a semi-analytical result of the functional, yielding a comparable finite-dimensional approximation. In particular, the article provides a formula for a tight quadratic lower bound, which is important in applications. Examples confirm that this new bound is significantly less conservative than known results.


title: Content-Variant Reference Image Quality Assessment via Knowledge Distillation

abstract: Generally, humans are more skilled at perceiving differences between high-quality (HQ) and low-quality (LQ) images than directly judging the quality of a single LQ image. This situation also applies to image quality assessment (IQA). Although recent no-reference (NR-IQA) methods have made great progress to predict image quality free from the reference image, they still have the potential to achieve better performance since HQ image information is not fully exploited. In contrast, full-reference (FR-IQA) methods tend to provide more reliable quality evaluation, but its practicability is affected by the requirement for pixel-level aligned reference images. To address this, we firstly propose the content-variant reference method via knowledge distillation (CVRKD-IQA). Specifically, we use non-aligned reference (NAR) images to introduce various prior distributions of high-quality images. The comparisons of distribution differences between HQ and LQ images can help our model better assess the image quality. Further, the knowledge distillation transfers more HQ-LQ distribution difference information from the FR-teacher to the NAR-student and stabilizing CVRKD-IQA performance. Moreover, to fully mine the local-global combined information, while achieving faster inference speed, our model directly processes multiple image patches from the input with the MLP-mixer. Cross-dataset experiments verify that our model can outperform all NAR/NR-IQA SOTAs, even reach comparable performance with FR-IQA methods on some occasions. Since the content-variant and non-aligned reference HQ images are easy to obtain, our model can support more IQA applications with its relative robustness to content variations. Our code and more detailed elaborations of supplements are available: https://github.com/guanghaoyin/CVRKD-IQA.


title: Multi-image Super-resolution via Quality Map Associated Attention Network

abstract: Multi-image super-resolution, which aims to fuse and restore a high-resolution image from multiple images at the same location, is crucial for utilizing satellite images. The satellite images are often occluded by atmospheric disturbances such as clouds, and the position of the disturbances varies by the images. Many radiometric and geometric approaches are proposed to detect atmospheric disturbances. Still, the utilization of detection results, i.e., quality maps in deep learning was limited to pre-processing or computation of loss. In this paper, we present a quality map-associated attention network (QA-Net), an architecture that fully incorporates QMs into a deep learning scheme for the first time. Our proposed attention modules process QMs alongside the low-resolution images and utilize the QM features to distinguish the disturbances and attend to image features. As a result, QA-Net has achieved state-of-the-art results in the PROBA-V dataset.


title: Quantum Algorithms for solving Hard Constrained Optimisation Problems

abstract: The thesis deals with Quantum Algorithms for solving Hard Constrained Optimization Problems. It shows how quantum computers can solve difficult everyday problems such as finding the best schedule for social workers or the path of a robot picking and batching in a warehouse. The path to the solution has led to the definition of a new artificial intelligence paradigm with quantum computing, quantum Case-Based Reasoning (qCBR) and to a proof of concept to integrate the capacity of quantum computing within mobile robotics using a Raspberry Pi 4 as a processor (qRobot), capable of operating with leading technology players such as IBMQ, Amazon Braket (D-Wave) and Pennylane. To improve the execution time of variational algorithms in this NISQ era and the next, we have proposed EVA: a quantum Exponential Value Approximation algorithm that speeds up the VQE, and that is, to date, the flagship of the quantum computation. To improve the execution time of variational algorithms in this NISQ era and the next, we have proposed EVA: a quantum Exponential Value Approximation algorithm that speeds up the VQE, and that is, to date, the flagship of the quantum computation.


title: A Two-Component Dark Matter Model and its Associated Gravitational Waves

abstract: We consider an extension of the Standard Model that accounts for the muon $g-2$ tension and neutrino masses and study in detail dark matter phenomenology. The model under consideration includes a WIMP and a FIMP scalar dark matter candidates and thus gives rise to two-component dark matter scenarios. We discuss different regimes and mechanisms of production, including the novel freeze-in semi-production, and show that the WIMP and FIMP together compose the observed relic density today. The presence of the extra scalar fields allows phase transitions of the first order. We examine the evolution of the vacuum state and discuss stochastic gravitational wave signals associated with the first-order phase transition. We show that the gravitational wave signals may be probed by future gravitational wave experiments which may serve as a complementary detection signal.


title: Plug-and-play quantum devices with efficient fiber-quantum dot interface

abstract: Incorporating solid-state quantum emitters into optical fiber networks enables the long-distance transmission of quantum information and the remote connection of distributed quantum nodes. However, interfacing quantum emitters with fiber optics encounters several challenges, including low coupling efficiency and stability. Here, we demonstrate a highly efficient fiber-interfacing photonic device that directly launches single photons from quantum dots into a standard FC/PC-connectorized single-mode fiber (SMF28). Optimally designed photonic structures based on hole gratings produce an ultra-narrow directional beam that matches the small numerical aperture of a single-mode fiber. A pick-and-place technique selectively integrates a single miniaturized device into the core of the fiber. Our approach realizes a plug-and-play single-photon device that does not require any optical alignment and thus guarantees long-term stability. The results thus represent a major step toward practical and reliable quantum lights across a fiber network.


title: Prevalent behavior and almost sure Poincare-Bendixson Theorem for smooth flows with invariant k-cones

abstract: We investigate the global dynamics from a measure-theoretic perspective for smooth flows with invariant cones of rank k. For such systems, it is shown that prevalent (or equivalently, almost all) orbits will be pseudo-ordered or convergent to equilibria. This reduces to Hirsch's prevalent convergence Theorem if the rank k=1; and implies an almost-sure Poincare-Bendixson Theorem for the case k=2. These results are then applied to obtain an almost sure Poincare-Bendixson theorem for high-dimensional differential equations.


title: Direct data-driven forecast of local turbulent heat flux in Rayleigh-B\'{e}nard convection

abstract: A combined convolutional autoencoder-recurrent neural network machine learning model is presented to analyse and forecast the dynamics and low-order statistics of the local convective heat flux field in a two-dimensional turbulent Rayleigh-B\'{e}nard convection flow at Prandtl number ${\rm Pr}=7$ and Rayleigh number ${\rm Ra}=10^7$. Two recurrent neural networks are applied for the temporal advancement of flow data in the reduced latent data space, a reservoir computing model in the form of an echo state network and a recurrent gated unit. Thereby, the present work exploits the modular combination of three different machine learning algorithms to build a fully data-driven and reduced model for the dynamics of the turbulent heat transfer in a complex thermally driven flow. The convolutional autoencoder with 12 hidden layers is able to reduce the dimensionality of the turbulence data to about 0.2 \% of their original size. Our results indicate a fairly good accuracy in the first- and second-order statistics of the convective heat flux. The algorithm is also able to reproduce the intermittent plume-mixing dynamics at the upper edges of the thermal boundary layers with some deviations. The same holds for the probability density function of the local convective heat flux with differences in the far tails. Furthermore, we demonstrate the noise resilience of the framework which suggests the present model might be applicable as a reduced dynamical model that delivers transport fluxes and their variations to the coarse grid cells of larger-scale computational models, such as global circulation models for the atmosphere and ocean.


title: Central factorial numbers associated with sequences of polynomials

abstract: Many important special numbers appear in the expansions of some polynomials in terms of central factorials and vice versa, for example central factorial numbers, degenerate central factorial numbers, and central Lah numbers which are recently introduced. Here we generalize this to any sequence of polynomials. Let P be the space of a sequence of polynomials such that the degree of the polynomials less than n . The aim of this paper is to study the central factorial numbers of the second associated with P and of the first kind associated with P, in a unified and systematic way with the help of umbral calculus technique. The central factorial numbers associated with P enjoy orthogonality and inverse relations. We illustrate our results with many examples and obtain interesting orthogonality and inverse relations by applying such relations for the central factorial numbers associated with P to each of our examples.


title: Entanglement detection with imprecise measurements

abstract: We investigate entanglement detection when the local measurements only nearly correspond to those intended. This corresponds to a scenario in which measurement devices are not perfectly controlled, but nevertheless operate with bounded inaccuracy. We formalise this through an operational notion of inaccuracy that can be estimated directly in the lab. To demonstrate the relevance of this approach, we show that small magnitudes of inaccuracy can significantly compromise several renowned entanglement witnesses. For two arbitrary-dimensional systems, we show how to compute tight corrections to a family of standard entanglement witnesses due to any given level of measurement inaccuracy. We also develop semidefinite programming methods to bound correlations in these scenarios.


title: A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects

abstract: Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as homotopy equivalence. From this point of view, it is natural to ask for a different foundational setting which more natively supports these notions. Our work takes up on suggestions in the original article arXiv:1705.07442 by Riehl--Shulman to further develop synthetic $(\infty,1)$-category theory in simplicial homotopy type theory, including in particular the study of cocartesian fibrations. Together with a collection of analytic results, notably due to Riehl--Verity and Rasekh, it follows that our type-theoretic account constitutes a synthetic theory of fibrations of internal $(\infty,1)$-categories, w.r.t. to an arbitrary Grothendieck--Rezk--Lurie-$(\infty,1)$-topos via Shulman's major result arXiv:1904.07004 about strictification of univalent universes.


title: Automation of reversible steganographic coding with nonlinear discrete optimisation

abstract: Authentication mechanisms are at the forefront of defending the world from various types of cybercrime. Steganography can serve as an authentication solution through the use of a digital signature embedded in a carrier object to ensure the integrity of the object and simultaneously lighten the burden of metadata management. Nevertheless, despite being generally imperceptible to human sensory systems, any degree of steganographic distortion might be inadmissible in fidelity-sensitive situations such as forensic science, legal proceedings, medical diagnosis and military reconnaissance. This has led to the development of reversible steganography. A fundamental element of reversible steganography is predictive analytics, for which powerful neural network models have been effectively deployed. Another core element is reversible steganographic coding. Contemporary coding is based primarily on heuristics, which offers a shortcut towards sufficient, but not necessarily optimal, capacity--distortion performance. While attempts have been made to realise automatic coding with neural networks, perfect reversibility is unattainable via such learning machinery. Instead of relying on heuristics and machine learning, we aim to derive optimal coding by means of mathematical optimisation. In this study, we formulate reversible steganographic coding as a nonlinear discrete optimisation problem with a logarithmic capacity constraint and a quadratic distortion objective. Linearisation techniques are developed to enable iterative mixed-integer linear programming. Experimental results validate the near-optimality of the proposed optimisation algorithm when benchmarked against a brute-force method.


title: Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation

abstract: Recent work has shown that Just-In-Time (JIT) compilation can introduce timing side-channels to constant-time programs, which would otherwise be a principled and effective means to counter timing attacks. In this paper, we propose a novel approach to eliminate JIT-induced leaks from these programs. Specifically, we present an operational semantics and a formal definition of constant-time programs under JIT compilation, laying the foundation for reasoning about programs with JIT compilation. We then propose to eliminate JIT-induced leaks via a fine-grained JIT compilation for which we provide an automated approach to generate policies and a novel type system to show its soundness. We develop a tool DeJITLeak for Java based on our approach and implement the fine-grained JIT compilation in HotSpot. Experimental results show that DeJITLeak can effectively and efficiently eliminate JIT-induced leaks on three datasets used in side-channel detection


title: Magnetostatic interaction in oriented assembly of elongated nanoparticles

abstract: The elements of the magneto-dipole (MD) interaction matrix are calculated for a pair of oriented spheroidal magnetic nanoparticles with a semiaxes ratio a/b = 1.25, 1.5, 2.0 and 3.0 as a function of the distance between the particle centers. It is shown that the spherical approximation for MD interaction matrix is incorrect already at aspect ratios a/b > 1.25, if the distance R between the particle centers is of the order of particle sizes. However, for moderate particle aspect ratios, a/b < 1.5, the first order correction to spherical approximation with respect to a corresponding small parameter is shown to be in a good agreement with numerical data. Using exact MD interaction matrix, the quasi-static hysteresis loops of dilute assemblies of oriented clusters of spheroidal nanoparticles with different filling densities are calculated, depending on the direction of the external magnetic field with respect to the particle orientation axis.


title: On the pulsar spin frequency derivatives and the glitch activity

abstract: The number of sudden spin-ups in radio pulsars known as pulsar glitches has increased over the years. Though a consensus has not been reached with regards to the actual cause of the phenomenon, the electromagnetic braking torque on the crust quantified via the magnitude of pulsar spin frequency first derivative, $ \dot{\nu} $ is a key factor in mechanisms put across toward the understanding of the underlying principles involved. The glitch size has been used to establish a quantity used to constrain the mean possible change in pulsar spin frequency $ (\nu) $ per year due to a glitch known as the `glitch activity'. Traditionally, the glitch activity parameter $ A_{g} $ is calculated from the cumulative glitch sizes in a pulsar at a certain observational time span. In this analysis, we test the possibility of of quantifying the $ A_{g} $ with the pulsars main spin frequency derivatives (i.e. $ \dot{\nu} $ and $\ddot{\nu} $). In this approach, the ratio of the frequency derivatives, i.e. $ |\ddot{\nu}|/\dot{\nu}^{2} $ is seen to constrains the glitch activity in radio pulsars. The glitch size is found to be independent of the magnitude of the ratio, however, based on the recorded glitch events, the lower end of $ |\ddot{\nu}|/\dot{\nu}^{2} $ distribution appear to have more glitches. The minimum inter-glitch time interval in the ensemble of pulsars scale with the ratio as $t_{g} \sim 3.35(|\ddot{\nu}|/\dot{\nu}^{2})^{0.23} $. The $ A_{g} $ quantified in this analysis supports the idea of neutron star inner-crust superfluid being the reservoir of momentum transferred during glitches. It suggests that the moment of inertia of the inner-crust to be at most 10 % of the entire neutron star moment of inertia.


title: RONELDv2: A faster, improved lane tracking method

abstract: Lane detection is an integral part of control systems in autonomous vehicles and lane departure warning systems as lanes are a key component of the operating environment for road vehicles. In a previous paper, a robust neural network output enhancement for active lane detection (RONELD) method augmenting deep learning lane detection models to improve active, or ego, lane accuracy performance was presented. This paper extends the work by further investigating the lane tracking methods used to increase robustness of the method to lane changes and different lane dimensions (e.g. lane marking thickness) and proposes an improved, lighter weight lane detection method, RONELDv2. It improves on the previous RONELD method by detecting the lane point variance, merging lanes to find a more accurate set of lane parameters, and using an exponential moving average method to calculate more robust lane weights. Experiments using the proposed improvements show a consistent increase in lane detection accuracy results across different datasets and deep learning models, as well as a decrease in computational complexity observed via an up to two-fold decrease in runtime, which enhances its suitability for real-time use on autonomous vehicles and lane departure warning systems.


title: Numerical bifurcation analysis of improved denatured Morris-Lecar neuron model

abstract: It is well-known that the electrical activities of neurons are induced by a wide variety of external factors. This work considers the effect of electromagnetic induction on improved denatured Morris-Lecar neuron model. The dependence of dynamical behaviour of the original denatured Morris-Lecar model on parameters is addressed through numerical bifurcation analysis. This allows us to explore the changes in dynamics of the model qualitatively as parameters are varied. Then we investigate the effects of external periodic current and electromagnetic flux on the dynamical properties of the improved denatured Morris-Lecar neuron model. Different types of dynamical behaviour, ranging from regular periodic spiking to complex bursting, are found when the multiple parameters are varied simultaneously. The improved model could be applied to research where simple models are required for physiological and pathophysiological responses in neurons.


title: Spatiotemporal pulse characterization with far-field beamlet cross-correlation

abstract: We present a novel, straightforward method for spatiotemporal characterization of ultra-short laser pulses. The method employs far-field interferometry and inverse Fourier transform spectroscopy, built on the theoretical basis derived in this paper. It stands out in its simplicity: it requires few non-standard optical elements and simple analysis algorithms. This method was used to measure the space-time intensity of our 100 TW class laser and to test the efficacy of a refractive doublet as a suppressor of pulse front curvature (PFC). The measured low-order spatiotemporal couplings agreed with ray-tracing simulations. In addition, we demonstrate a one-shot measurement technique, derived from our central method, which allows for quick and precise alignment of the compressor by pulse front tilt (PFT) minimization and for optimal refractive doublet positioning for the suppression of PFC.


title: Consensus Learning from Heterogeneous Objectives for One-Class Collaborative Filtering

abstract: Over the past decades, for One-Class Collaborative Filtering (OCCF), many learning objectives have been researched based on a variety of underlying probabilistic models. From our analysis, we observe that models trained with different OCCF objectives capture distinct aspects of user-item relationships, which in turn produces complementary recommendations. This paper proposes a novel OCCF framework, named ConCF, that exploits the complementarity from heterogeneous objectives throughout the training process, generating a more generalizable model. ConCF constructs a multi-branch variant of a given target model by adding auxiliary heads, each of which is trained with heterogeneous objectives. Then, it generates consensus by consolidating the various views from the heads, and guides the heads based on the consensus. The heads are collaboratively evolved based on their complementarity throughout the training, which again results in generating more accurate consensus iteratively. After training, we convert the multi-branch architecture back to the original target model by removing the auxiliary heads, thus there is no extra inference cost for the deployment. Our extensive experiments on real-world datasets demonstrate that ConCF significantly improves the generalization of the model by exploiting the complementarity from heterogeneous objectives.


title: Irreducible magic sets for $n$-qubit systems

abstract: Magic sets of observables are minimal structures that capture quantum state-independent advantage for systems of $n\ge 2$ qubits and are, therefore, fundamental tools for investigating the interface between classical and quantum physics. A theorem by Arkhipov (arXiv:1209.3819) states that $n$-qubit magic sets in which each observable is in exactly two subsets of compatible observables can be reduced either to the two-qubit magic square or the three-qubit magic pentagram [N. D. Mermin, Phys. Rev. Lett. 65, 3373 (1990)]. An open question is whether there are magic sets that cannot be reduced to the square or the pentagram. If they exist, a second key question is whether they require $n >3$ qubits, since, if this is the case, these magic sets would capture minimal state independent quantum advantage that is specific for $n$-qubit systems with specific values of $n$. Here, we answer both questions affirmatively. We identify magic sets which cannot be reduced to the square or the pentagram and require $n=3,4,5$, or $6$ qubits. In addition, we prove a generalized version of Arkhipov's theorem providing an efficient algorithm for, given a hypergraph, deciding whether or not it can accommodate a magic set, and solve another open problem, namely, given a magic set, obtaining the tight bound of its associated noncontextuality inequality.


title: Real-World Blind Super-Resolution via Feature Matching with Implicit High-Resolution Priors

abstract: A key challenge of real-world image super-resolution (SR) is to recover the missing details in low-resolution (LR) images with complex unknown degradations (e.g., downsampling, noise and compression). Most previous works restore such missing details in the image space. To cope with the high diversity of natural images, they either rely on the unstable GANs that are difficult to train and prone to artifacts, or resort to explicit references from high-resolution (HR) images that are usually unavailable. In this work, we propose Feature Matching SR (FeMaSR), which restores realistic HR images in a much more compact feature space. Unlike image-space methods, our FeMaSR restores HR images by matching distorted LR image {\it features} to their distortion-free HR counterparts in our pretrained HR priors, and decoding the matched features to obtain realistic HR images. Specifically, our HR priors contain a discrete feature codebook and its associated decoder, which are pretrained on HR images with a Vector Quantized Generative Adversarial Network (VQGAN). Notably, we incorporate a novel semantic regularization in VQGAN to improve the quality of reconstructed images. For the feature matching, we first extract LR features with an LR encoder consisting of several Swin Transformer blocks and then follow a simple nearest neighbour strategy to match them with the pretrained codebook. In particular, we equip the LR encoder with residual shortcut connections to the decoder, which is critical to the optimization of feature matching loss and also helps to complement the possible feature matching errors. Experimental results show that our approach produces more realistic HR images than previous methods. Codes are released at \url{https://github.com/chaofengc/FeMaSR}.


title: Square-weighted zero-sum constants

abstract: Let $A\subseteq \mathbb Z_n$ be a subset. A sequence $S=(x_1,\ldots,x_k)$ in $\mathbb Z_n$ is said to be an $A$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in A$ such that $a_1x_1+\cdots+a_kx_k=0$. By a square, we shall mean a non-zero square in $\mathbb Z_n$. We determine the smallest natural number $k$, such that every sequence in $\mathbb Z_n$ whose length is $k$, has a square-weighted zero-sum subsequence. We also determine the smallest natural number $k$, such that every sequence in $\mathbb Z_n$ whose length is $k$, has a square-weighted zero-sum subsequence whose terms are consecutive terms of the given sequence.


title: DGSS : Domain Generalized Semantic Segmentation using Iterative Style Mining and Latent Representation Alignment

abstract: Semantic segmentation algorithms require access to well-annotated datasets captured under diverse illumination conditions to ensure consistent performance. However, poor visibility conditions at varying illumination conditions result in laborious and error-prone labeling. Alternatively, using synthetic samples to train segmentation algorithms has gained interest with the drawback of domain gap that results in sub-optimal performance. While current state-of-the-art (SoTA) have proposed different mechanisms to bridge the domain gap, they still perform poorly in low illumination conditions with an average performance drop of - 10.7 mIOU. In this paper, we focus upon single source domain generalization to overcome the domain gap and propose a two-step framework wherein we first identify an adversarial style that maximizes the domain gap between stylized and source images. Subsequently, these stylized images are used to categorically align features such that features belonging to the same class are clustered together in latent space, irrespective of domain gap. Furthermore, to increase intra-class variance while training, we propose a style mixing mechanism wherein the same objects from different styles are mixed to construct a new training image. This framework allows us to achieve a domain generalized semantic segmentation algorithm with consistent performance without prior information of the target domain while relying on a single source. Based on extensive experiments, we match SoTA performance on SYNTHIA $\to$ Cityscapes, GTAV $\to$ Cityscapes while setting new SoTA on GTAV $\to$ Dark Zurich and GTAV $\to$ Night Driving benchmarks without retraining.


title: QuoteR: A Benchmark of Quote Recommendation for Writing

abstract: It is very common to use quotations (quotes) to make our writings more elegant or convincing. To help people find appropriate quotes efficiently, the task of quote recommendation is presented, aiming to recommend quotes that fit the current context of writing. There have been various quote recommendation approaches, but they are evaluated on different unpublished datasets. To facilitate the research on this task, we build a large and fully open quote recommendation dataset called QuoteR, which comprises three parts including English, standard Chinese and classical Chinese. Any part of it is larger than previous unpublished counterparts. We conduct an extensive evaluation of existing quote recommendation methods on QuoteR. Furthermore, we propose a new quote recommendation model that significantly outperforms previous methods on all three parts of QuoteR. All the code and data of this paper are available at https://github.com/thunlp/QuoteR.


title: Effective field theory of pairing rotations

abstract: Pairing rotations are the low-energy excitations of finite superfluid systems, connecting systems that differ in their number of Cooper pairs. This paper presents a model-independent derivation of pairing rotations within an effective theory that exploits the emergent breaking of U(1) phase symmetries. The symmetries are realized nonlinearly and the Nambu-Goldstone modes depend only on time because the system is finite. Semi-magic nuclei exhibit pairing rotational bands while the pairing spectrum becomes an elliptical paraboloid for open-shell nuclei. Model-independent relations between double charge-exchange reactions and alpha particle capture or knockout in open-shell nuclei are in analogy to the pair transfer reactions in a single superfluid. Odd semi-magic nuclei are described by coupling a fermion to the superfluid. The leading-order theories reproduce data for pairing rotational bands within uncertainty estimates.


title: Prominence Oscillations activated by an EUV wave

abstract: Prominence oscillations are one of interesting phenomena in the solar atmosphere, which can be utilized to infer the embedded magnetic field magnitude. We present here the transverse oscillations of two different prominences located at the East solar limb on 2011 February 11 using the multi-wavebands data of the Atmospheric Imaging Assembly (AIA) on-board the Solar Dynamics Observatory (SDO) satellite. A prominence eruption was observed towards the east direction with an average speed of ~275 km/s. The eruption is fitted with the combination of a linear and an exponential functions of time. An extreme ultraviolet (EUV) wave event was associated with the prominence eruption. This EUV wave triggered the oscillations of both prominences on the East limb. We computed the period of each prominence using the wavelet analysis method. The oscillation period varies from 14 to 22 min. The magnetic field of the prominences was derived, which ranges from 14 to 20 G.


title: Gorenstein and duality pair over triangular matrix rings

abstract: Let $A$, $B$ be two rings and $T=\left(\begin{smallmatrix} A & M \\ 0 & B \\\end{smallmatrix}\right)$ with $M$ an $A$-$B$-bimodule. We first construct a semi-complete duality pair $\mathcal{D}_{T}$ of $T$-modules using duality pairs in $A$-Mod and $B$-Mod respectively. Then we characterize when a left $T$-module is Gorenstein $D_{T}$-projective, Gorenstein $D_{T}$-injective or Gorenstein $D_{T}$-flat. These three class of $T$-modules will induce model structures on $T$-Mod. Finally we show that the homotopy category of each of model structures above admits a recollement relative to corresponding stable categories. Our results give new characterizations to earlier results in this direction.


title: Electromagnetic counterparts of binary neutron star mergers leading to a strongly magnetized long-lived remnant neutron star

abstract: We explore the electromagnetic counterparts that will associate with binary neutron star mergers for the case that remnant massive neutron stars survive for $\gtrsim 0.5\,$s after the merger. For this study, we employ the outflow profiles obtained by long-term general-relativistic neutrino-radiation magneto-hydrodynamics simulations with a mean field dynamo effect. We show that a synchrotron afterglow with high luminosity can be associated with the merger event if the magnetic fields of the remnant neutron stars are significantly amplified by the dynamo effect. We also perform a radiative transfer calculation for kilonovae and find that for the highly amplified magnetic field cases, the kilonovae can be bright in the early epoch, while it shows the optical emission rapid declining in a few days and the long-lasting ($\sim 10\,{\rm d}$) emission very bright in the near-infrared wavelength. All these features have not been found in GW170817, indicating that the merger remnant neutron star formed in GW170817 might have collapsed to a black hole within several hundreds ms or magnetic-field amplification might be a minor effect.


title: Importance of diagnostic accuracy in big data: False-positive diagnoses of type 2 diabetes in health insurance claims data of 70 million Germans

abstract: Large data sets comprising diagnoses about chronic conditions are becoming increasingly available for research purposes. In Germany, it is planned that aggregated claims data including medical diagnoses from the statutory health insurance with roughly 70 million insurants will be published on a regular basis. Validity of the diagnoses in such big data sets can hardly be assessed. In case the data set comprises prevalence, incidence and mortality, it is possible to estimate the proportion of false positive diagnoses using mathematical relations from the illness-death model. We apply the method to age-specific aggregated claims data from 70 million Germans about type 2 diabetes in Germany stratified by sex and report the findings in terms of the ratio of false positive diagnoses of type 2 diabetes (FPR) in the data set. The age-specific FPR for men and women changes with age. In men, the FPR increases linearly from 1 to 3 per mil in the age 30 to 50. For ages between 50 to 80 years, FPR remains below 4 per mil. After 80 years of age, we have an increase to about 5 per mil. In women, we find a steep increase from age 30 to 60, the peak FPR is reached at about 12 per mil between 60 and 70 years of age. After age 70, the FPR of women drops tremendously. In all age-groups, the FPR is higher in women than in men. In terms of absolute numbers, we find that there are 217 thousand people with a false-positive diagnosis in the data set (95% confidence interval, CI: 204 to 229), the vast majority women (172 thousand, 95% CI: 162 to 180). Our work indicates that possible false positive (and negative) diagnoses should appropriately be dealt with in claims data, e.g., by inclusion of age- and sex-specific error terms in statistical models, to avoid potentially biased or wrong conclusions.


title: COMPASS: a Creative Support System that Alerts Novelists to the Unnoticed Missing Contents

abstract: When humans write, they may unintentionally omit some information. Complementing the omitted information using a computer is helpful in providing writing support. Recently, in the field of story understanding and generation, story completion (SC) was proposed to generate the missing parts of an incomplete story. Although its applicability is limited because it requires that the user have prior knowledge of the missing part of a story, missing position prediction (MPP) can be used to compensate for this problem. MPP aims to predict the position of the missing part, but the prerequisite knowledge that "one sentence is missing" is still required. In this study, we propose Variable Number MPP (VN-MPP), a new MPP task that removes this restriction; that is, the task to predict multiple missing sentences or to judge whether there are no missing sentences in the first place. We also propose two methods for this new MPP task. Furthermore, based on the novel task and methods, we developed a creative writing support system, COMPASS. The results of a user experiment involving professional creators who write texts in Japanese confirm the efficacy and utility of the developed system.


title: Use of Set Shaping theory in the development of locally testable codes

abstract: In developing locally testable codes, information is added to the coded message by creating redundancy in the codewords. In this article, we propose an alternative method in which redundancy is introduced on the message that must be transmitted before its encoding and not in the codewords. This approach exploits the Set Shaping Theory whose goal is the study the bijection functions f(X)=Y that transform a set of strings into a set of equal size made up of strings of greater length. In this way, this type of function transforms the independent variable x into the dependent variable y whose emission probability is conditioned by the previously emitted variables. Thus, if the decoder decodes a symbol associated with a conditional probability equal to zero, we detect an error in the message. If the function f used is the one that minimizes the average information content, we develop a code that can be tested efficiently. In fact, it is observed, in terms of compression, that the greater length of the strings is compensated by the fact of having chosen the strings with less entropy.


title: Phenomenology of a flavoured multiscalar BGL-like model with three generations of massive neutrinos

abstract: In this paper, we present several possible anomaly-free implementations of the Branco-Grimus-Lavoura (BGL) model with two Higgs doublets and one singlet scalar. The model also includes three generations of massive neutrinos that get their mass via a type-I seesaw mechanism. A particular anomaly-free realization, which we dub $\nu$BGL-1 scenario, is subjected to an extensive phenomenological analysis, from the perspective of flavour physics and collider phenomenology.


title: On-chip mechanical exceptional points based on an optomechanical zipper cavity

abstract: Exceptional points (EPs) represent a distinct type of spectral singularity in non-Hermitian systems, and intriguing physics concepts have been studied with optical EPs recently. As a system beyond photonics, the mechanical oscillators coupling with many physical systems are expected to be further exploited EPs for mechanical sensing, topology energy transfer, nonreciprocal dynamics etc. In this study, we demonstrated on-chip mechanical EPs with a silicon optomechanical zipper cavity, wherein two near-degenerate mechanical breathing modes are coupled via a single co-localized optical mode. By tailoring the dissipative and coherent couplings between two mechanical oscillators, the spectral splitting with 1/2 order response, a distinctive feature of EP, was observed successfully. Our work provides an integrated platform for investigating the physics related to mechanical EPs on silicon chips and suggests their possible applications for ultrasensitive measurements.


title: Integrating Text Inputs For Training and Adapting RNN Transducer ASR Models

abstract: Compared to hybrid automatic speech recognition (ASR) systems that use a modular architecture in which each component can be independently adapted to a new domain, recent end-to-end (E2E) ASR system are harder to customize due to their all-neural monolithic construction. In this paper, we propose a novel text representation and training framework for E2E ASR models. With this approach, we show that a trained RNN Transducer (RNN-T) model's internal LM component can be effectively adapted with text-only data. An RNN-T model trained using both speech and text inputs improves over a baseline model trained on just speech with close to 13% word error rate (WER) reduction on the Switchboard and CallHome test sets of the NIST Hub5 2000 evaluation. The usefulness of the proposed approach is further demonstrated by customizing this general purpose RNN-T model to three separate datasets. We observe 20-45% relative word error rate (WER) reduction in these settings with this novel LM style customization technique using only unpaired text data from the new domains.


title: Impact of Interference Subtraction on Grant-Free Multiple Access with Massive MIMO

abstract: The design of highly scalable multiple access schemes is a main challenge in the evolution towards future massive machine-type communications, where reliability and latency constraints must be ensured to a large number of uncoordinated devices. In this scenario, coded random access (CRA) schemes, where successive interference cancellation algorithms allow large improvements with respect to classical random access protocols, have recently attracted an increasing interest. Impressive performance can be potentially obtained by combining CRA with massive multiple input multiple output (MIMO). In this paper we provide an analysis of such schemes focusing on the effects of imperfect channel estimation on successive interference cancellation. Based on the analysis we then propose an innovative signal processing algorithm for CRA in massive MIMO systems.


title: High Dimensional Statistical Estimation under Uniformly Dithered One-bit Quantization

abstract: In this paper, we propose a uniformly dithered 1-bit quantization scheme for high-dimensional statistical estimation. The scheme contains truncation, dithering, and quantization as typical steps. As canonical examples, the quantization scheme is applied to the estimation problems of sparse covariance matrix estimation, sparse linear regression (i.e., compressed sensing), and matrix completion. We study both sub-Gaussian and heavy-tailed regimes, where the underlying distribution of heavy-tailed data is assumed to have bounded moments of some order. We propose new estimators based on 1-bit quantized data. In sub-Gaussian regime, our estimators achieve near minimax rates, indicating that our quantization scheme costs very little. In heavy-tailed regime, while the rates of our estimators become essentially slower, these results are either the first ones in an 1-bit quantized and heavy-tailed setting, or already improve on existing comparable results from some respect. Under the observations in our setting, the rates are almost tight in compressed sensing and matrix completion. Our 1-bit compressed sensing results feature general sensing vector that is sub-Gaussian or even heavy-tailed. We also first investigate a novel setting where both the covariate and response are quantized. In addition, our approach to 1-bit matrix completion does not rely on likelihood and represent the first method robust to pre-quantization noise with unknown distribution. Experimental results on synthetic data are presented to support our theoretical analysis.


title: Semantic Soundness for Language Interoperability

abstract: Programs are rarely implemented in a single language, and thus questions of type soundness should address not only the semantics of a single language, but how it interacts with others. Even between type-safe languages, disparate features frustrate interoperability, as invariants from one language can easily be violated in the other. In their seminal 2007 paper, Matthews and Findler proposed a multi-language construction that augments the interoperating languages with a pair of boundaries that allow code from one language to be embedded in the other. While the technique has been widely applied, their syntactic source-level interoperability doesn't reflect practical implementations, where behavior of interaction is defined after compilation to a common target, and any safety must be ensured by target invariants or inserted target-level "glue code." In this paper, we present a framework for the design and verification of sound language interoperability that follows an interoperation-after-compilation strategy. Language designers specify what data can be converted between types of the languages via a relation $\tau_A \sim \tau_B$ and specify target glue code implementing conversions. Then, by giving a semantic model of source types as sets of target terms, we can establish soundness of conversions: i.e., whenever $\tau_A \sim \tau_B$, the corresponding pair of conversions convert target terms that behave as $\tau_A$ to target terms that behave as $\tau_B$, and vice versa. We can then prove semantic type soundness for the entire system. We illustrate our framework via a series of case studies that demonstrate how our semantic interoperation-after-compilation approach allows us both to account for complex differences in language semantics and make efficiency trade-offs based on particularities of compilers or targets.


title: A Feasibility Study on Real-Time High Resolution Imaging of the Brain Using Electrical Impedance Tomography

abstract: Objective: The strengths of Electrical Impedance Tomography (EIT) are its capability of imaging the internal body by using a noninvasive, radiation safe technique, and the absence of known hazards. In this paper we introduce a novel idea of using EIT in microelectrodes during Deep Brain Stimulation (DBS) surgery in order to obtain an image of the electrical conductivities of the brain tissues surrounding the microelectrodes. DBS is a surgical treatment involving the implantation of a medical probe inside the brain. For such application, the EIT reconstruction method has to offer both high quality and robustness against noise. Methods: A post-processing method for open-domain EIT is introduced in this paper, which combines linear and nonlinear methods in order to use the advantages of both with limited drawbacks. The reconstruction method is a two-steps method, the first solves the inverse problem with a linear algorithm and the second brings the nonlinear aspects back into the image. Results: The proposed method is tested on both simulation and phantom data, and compared to three widely used method for EIT imaging. Resulting images and errors gives a strong advantage to the proposed solution. Conclusion: High quality reconstruction from phantom data validates the efficiency of the novel reconstruction method. Significance: This feasibility study presents an efficient method for open domain EIT and opens the way to clinical trials.


title: Lasting effects of static magnetic field on classical Brownian motion

abstract: The Bohr-Van Leeuwen theorem states that an external static magnetic field does not influence the state of a classical equilibrium system: there is no equilibrium classical magnetism, since the magnetic field does not do work. We revisit this famous no-go result and consider a classical charged Brownian particle interacting with an equilibrium bath. We confirm that the Bohr-Van Leeuwen theorem holds for the long-time (equilibrium) state of the particle. But the external static, homogeneous magnetic field does influence the long-time state of the thermal bath, which is described via the Caldeira-Leggett model. In particular, the magnetic field induces an average angular momentum for the (uncharged!) bath, which separates into two sets rotating in opposite directions. The effect relates to the bath going slightly out of equilibrium under the influence of the Brownian particle and persists for arbitrarily long times. In this context we studied the behavior of the two other additive integrals of motion, energy and linear momentum. The situation with linear momentum is different, because it is dissipated away by (and from) the bath modes. The average energy of the bath mode retains the magnetic field as a small correction. Thus, only the bath angular momentum really feels the magnetic field for long times.


title: Higher order Hermite-Fejer Interpolation on the unit circle

abstract: The aim of this paper is to study the approximation of functions using a higher order Hermite-Fejer interpolation process on the unit circle. The system of nodes is composed of vertically projected zeros of Jacobi polynomials onto the unit circle with boundary points at $ \pm1 $. Values of the polynomial and its first four derivatives are fixed by the interpolation conditions at the nodes. Convergence of the process is obtained for analytic functions on a suitable domain, and the rate of convergence is estimated.


title: Pix2NeRF: Unsupervised Conditional $\pi$-GAN for Single Image to Neural Radiance Fields Translation

abstract: We propose a pipeline to generate Neural Radiance Fields~(NeRF) of an object or a scene of a specific class, conditioned on a single input image. This is a challenging task, as training NeRF requires multiple views of the same scene, coupled with corresponding poses, which are hard to obtain. Our method is based on $\pi$-GAN, a generative model for unconditional 3D-aware image synthesis, which maps random latent codes to radiance fields of a class of objects. We jointly optimize (1) the $\pi$-GAN objective to utilize its high-fidelity 3D-aware generation and (2) a carefully designed reconstruction objective. The latter includes an encoder coupled with $\pi$-GAN generator to form an auto-encoder. Unlike previous few-shot NeRF approaches, our pipeline is unsupervised, capable of being trained with independent images without 3D, multi-view, or pose supervision. Applications of our pipeline include 3d avatar generation, object-centric novel view synthesis with a single input image, and 3d-aware super-resolution, to name a few.


title: Statistically Efficient Advantage Learning for Offline Reinforcement Learning in Infinite Horizons

abstract: We consider reinforcement learning (RL) methods in offline domains without additional online data collection, such as mobile health applications. Most of existing policy optimization algorithms in the computer science literature are developed in online settings where data are easy to collect or simulate. Their generalizations to mobile health applications with a pre-collected offline dataset remain unknown. The aim of this paper is to develop a novel advantage learning framework in order to efficiently use pre-collected data for policy optimization. The proposed method takes an optimal Q-estimator computed by any existing state-of-the-art RL algorithms as input, and outputs a new policy whose value is guaranteed to converge at a faster rate than the policy derived based on the initial Q-estimator. Extensive numerical experiments are conducted to back up our theoretical findings. A Python implementation of our proposed method is available at https://github.com/leyuanheart/SEAL.


title: Edge Augmentation for Large-Scale Sketch Recognition without Sketches

abstract: This work addresses scaling up the sketch classification task into a large number of categories. Collecting sketches for training is a slow and tedious process that has so far precluded any attempts to large-scale sketch recognition. We overcome the lack of training sketch data by exploiting labeled collections of natural images that are easier to obtain. To bridge the domain gap we present a novel augmentation technique that is tailored to the task of learning sketch recognition from a training set of natural images. Randomization is introduced in the parameters of edge detection and edge selection. Natural images are translated to a pseudo-novel domain called "randomized Binary Thin Edges" (rBTE), which is used as a training domain instead of natural images. The ability to scale up is demonstrated by training CNN-based sketch recognition of more than 2.5 times larger number of categories than used previously. For this purpose, a dataset of natural images from 874 categories is constructed by combining a number of popular computer vision datasets. The categories are selected to be suitable for sketch recognition. To estimate the performance, a subset of 393 categories with sketches is also collected.


title: The analytic structure of the fixed charge expansion

abstract: We investigate the analytic properties of the fixed charge expansion for a number of conformal field theories in different space-time dimensions. The models investigated here are $O(N)$ and $QED_3$. We show that in $d=3-\epsilon$ dimensions the contribution to the $O(N)$ fixed charge $Q$ conformal dimensions obtained in the double scaling limit of large charge and vanishing $\epsilon$ is non-Borel summable, doubly factorial divergent, and with order $\sqrt{Q}$ optimal truncation order. By using resurgence techniques we show that the singularities in the Borel plane are related to worldline instantons that were discovered in the other double scaling limit of large $Q$ and $N$ of Ref. [1]. In $d=4-\epsilon$ dimensions the story changes since in the same large $Q$ and small $\epsilon$ regime the next order corrections to the scaling dimensions lead to a convergent series. The resummed series displays a new branch cut singularity which is relevant for the stability of the $O(N)$ large charge sector for negative $\epsilon$. Although the $QED_3$ model shares the same large charge behaviour of the $O(N)$ model, we discover that at leading order in the large number of matter field expansion the large charge scaling dimensions are Borel summable, single factorial divergent, and with order $Q$ optimal truncation order.


title: Hydrological post-processing for predicting extreme quantiles

abstract: Hydrological post-processing using quantile regression algorithms constitutes a prime means of estimating the uncertainty of hydrological predictions. Nonetheless, conventional large-sample theory for quantile regression does not apply sufficiently far in the tails of the probability distribution of the dependent variable. To overcome this limitation that could be crucial when the interest lies on flood events, hydrological post-processing through extremal quantile regression is introduced here for estimating the extreme quantiles of hydrological model's responses. In summary, the new hydrological post-processing method exploits properties of the Hill's estimator from the extreme value theory to extrapolate quantile regression's predictions to high quantiles. As a proof of concept, the new method is here tested in post-processing daily streamflow simulations provided by three process-based hydrological models for 180 basins in the contiguous United States (CONUS) and is further compared to conventional quantile regression. With this large-scale comparison, it is demonstrated that hydrological post-processing using conventional quantile regression severely underestimates high quantiles (at the quantile level 0.9999) compared to hydrological post-processing using extremal quantile regression, although both methods are equivalent at lower quantiles (at the quantile level 0.9700). Moreover, it is shown that, in the same context, extremal quantile regression estimates the high predictive quantiles with efficiency that is, on average, equivalent in the large-sample study for the three process-based hydrological models.


title: The $m$-bipartite Ramsey number of the $K_{2,2}$ versus $K_{6,6}$

abstract: Given bipartite graphs $G_1, \ldots, G_n$, the bipartite Ramsey number $BR(G_1,\ldots, G_n)$ is the last integer $b$ such that any complete bipartite graph $K_{b,b}$ with edges coloured with colours $1,2,\ldots,n$ contains a copy of some $G_i$ ($1\leq i\leq n$) where all edges of $G_i$ have colour $i$. As another view of bipartite Ramsey numbers, for given bipartite graphs $G_1, \ldots, G_n$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(G_1, \ldots, G_n)$, is defined as the least integer $b$, such that any complete bipartite graph $K_{m,b}$ with edges coloured with colours $1,2,\ldots,n$ contains a copy of some $G_i$ ($1\leq i\leq n$) where all edges of $G_i$ have colour $i$. The size of $BR_m(G_1, G_2)$, where $G_1=K_{2,2}$ and $G_2\in \{K_{3,3}, K_{4,4}\}$ for each $m$ and the size of $BR_m(K_{3,3}, K_{3,3})$ and $BR_m(K_{2,2}, K_{5,5})$ for special values of $m$, have been determined in several article up to now. In this article, we compute the size of $BR_m(K_{2,2}, K_{6,6})$ for some $m\geq 2$.


title: Hubble Space Telescope Detection of the Nucleus of Comet C/2014 UN$_{271}$ (Bernardinelli-Bernstein)

abstract: We present a high-resolution observation of distant comet C/2014 UN$_{271}$ (Bernardinelli-Bernstein) using the {\it Hubble Space Telescope} on 2022 January 8. The signal of the nucleus was successfully isolated by means of the nucleus extraction technique, with an apparent $V$-band magnitude measured to be $21.64 \pm 0.11$, corresponding to an absolute magnitude of $8.62 \pm 0.11$. The product of the visual geometric albedo with the effective radius squared is $p_V R_n^2$ = 159$\pm$16 km$^2$. If the ALMA observation by Lellouch et al. (2022) refers to a bare nucleus, we derive a visual geometric albedo of $0.034 \pm 0.008$ and an effective diameter of $137 \pm 15$ km. If dust contamination of the ALMA signal is present at the maximum allowed level (24%), we find nucleus diameter $119 \pm 13$ km and albedo of $0.044 \pm 0.011$. In either case, we confirm that C/2014 UN$_{271}$ is the largest long-period comet ever detected. Judging from the measured surface brightness profile of the coma, whose logarithmic gradient varies azimuthally between $\sim$1 and 1.7 in consequence of solar radiation pressure, the mass production is consistent with steady-state production but not with impulsive ejection, as would be produced by an outburst. Using aperture photometry we estimated an enormous (albeit uncertain) mass-loss rate of $\sim$10$^3$ kg s$^{-1}$ at a heliocentric distance of $\sim$20 au.


title: A Systematic Evaluation of Large Language Models of Code

abstract: Large language models (LMs) of code have recently shown tremendous promise in completing code and synthesizing code from natural language descriptions. However, the current state-of-the-art code LMs (e.g., Codex (Chen et al., 2021)) are not publicly available, leaving many questions about their model and data design decisions. We aim to fill in some of these blanks through a systematic evaluation of the largest existing models: Codex, GPT-J, GPT-Neo, GPT-NeoX-20B, and CodeParrot, across various programming languages. Although Codex itself is not open-source, we find that existing open-source models do achieve close results in some programming languages, although targeted mainly for natural language modeling. We further identify an important missing piece in the form of a large open-source model trained exclusively on a multi-lingual corpus of code. We release a new model, PolyCoder, with 2.7B parameters based on the GPT-2 architecture, which was trained on 249GB of code across 12 programming languages on a single machine. In the C programming language, PolyCoder outperforms all models including Codex. Our trained models are open-source and publicly available at https://github.com/VHellendoorn/Code-LMs, which enables future research and application in this area.


title: Unsupervised Domain Adaptive Salient Object Detection Through Uncertainty-Aware Pseudo-Label Learning

abstract: Recent advances in deep learning significantly boost the performance of salient object detection (SOD) at the expense of labeling larger-scale per-pixel annotations. To relieve the burden of labor-intensive labeling, deep unsupervised SOD methods have been proposed to exploit noisy labels generated by handcrafted saliency methods. However, it is still difficult to learn accurate saliency details from rough noisy labels. In this paper, we propose to learn saliency from synthetic but clean labels, which naturally has higher pixel-labeling quality without the effort of manual annotations. Specifically, we first construct a novel synthetic SOD dataset by a simple copy-paste strategy. Considering the large appearance differences between the synthetic and real-world scenarios, directly training with synthetic data will lead to performance degradation on real-world scenarios. To mitigate this problem, we propose a novel unsupervised domain adaptive SOD method to adapt between these two domains by uncertainty-aware self-training. Experimental results show that our proposed method outperforms the existing state-of-the-art deep unsupervised SOD methods on several benchmark datasets, and is even comparable to fully-supervised ones.


title: The topological Petersson product

abstract: The nondegeneracy of the Petersson inner product on cusp forms, and the fact that Hecke operators are self-adjoint with respect to the Petersson product, together imply that the cusp forms have a basis consisting of Hecke eigenforms. In the literature on topological modular forms, no topological analogue of the Petersson product is to be found, and it is not known which topological spaces have the property that their topological cusp forms admit a basis consisting of eigenforms for the action of Baker's topological Hecke operators. In this note we define and study a natural topological Petersson product on complexified topological cusp forms, whose value on a one-point space recovers the classical Petersson product. We find that the topological Petersson product is usually degenerate: in particular, if $X$ is a space with nontrivial rational homology in any positive degree, then the Petersson product on complexified $tcf^*(X)$ is degenerate. Despite $tcf$-cohomology being a stable invariant, the topological Petersson product is an unstable invariant, vanishing on all suspensions. Nevertheless, we demonstrate nontriviality of the topological Petersson product by giving an explicit calculation of the topological Petersson product on complexified $tcf$-cohomology of the complex projective plane. We show that, for a compact Kahler manifold $X$, the Petersson product is nondegenerate on complexified $tcf$-cohomology of $X$ in a range of Atiyah-Hirzebruch filtrations (essentially one-third of the possibly-nonzero Atiyah-Hirzebruch filtrations in the $tcf$-cohomology of $X$).


title: Fixing the rotating-wave approximation for strongly-detuned quantum oscillators

abstract: Periodically-driven oscillators are commonly described in a frame co-rotating with the drive and using the rotating-wave approximation (RWA). This description, however, is known to induce errors for off-resonant driving. Here we show that the standard quantum description, using creation and annihilation of particles with the oscillator's natural frequency, necessarily leads to incorrect results when combined with the RWA. We demonstrate this on the simple harmonic oscillator and present an alternative operator basis which reconciles the RWA with off-resonant driving. The approach is also applicable to more complex models, where it accounts for known discrepancies. As an example, we demonstrate the advantage of our scheme on the driven quantum Duffing oscillator.


title: On the barrier problem of branching random walk in time-inhomogeneous random environment

abstract: We consider a supercritical branching random walk in time-inhomogeneous random environment with a random absorption barrier, i.e.,in each generation, only the individuals born below the barrier can survive and reproduce. Assume that the random environment is i.i.d..The barrier is set as $\chi_n+an^{\alpha},$ where $a,\alpha$ are two constants and $\{\chi_n\}$ is a certain i.i.d. random walk determined by the random environment.We show that for almost surely given environment (i.e., a sequence of point processes which is a realization of the random environment), the time-inhomogeneous branching random walk under the given environment will become extinct (resp., survive with positive probability) if $\alpha<1/3$ or $\alpha=1/3, a<a_c$ (resp., $\alpha>1/3, a>0$ or $\alpha=1/3, a>a_c$), where $a_c$ is a positive constant determined by the random environment. The rates of extinction when $\alpha<\frac{1}{3}, a\geq0$ and $\alpha=1/3, a\in(0,a_c)$ are also obtained. These extend the main results in A\"{\i}d\'{e}kon $\&$ Jaffuel (2011) and Jaffuel (2012),to the random environment case. The influence caused by the random environment have been specified.


title: BioADAPT-MRC: Adversarial Learning-based Domain Adaptation Improves Biomedical Machine Reading Comprehension Task

abstract: Biomedical machine reading comprehension (biomedical-MRC) aims to comprehend complex biomedical narratives and assist healthcare professionals in retrieving information from them. The high performance of modern neural network-based MRC systems depends on high-quality, large-scale, human-annotated training datasets. In the biomedical domain, a crucial challenge in creating such datasets is the requirement for domain knowledge, inducing the scarcity of labeled data and the need for transfer learning from the labeled general-purpose (source) domain to the biomedical (target) domain. However, there is a discrepancy in marginal distributions between the general-purpose and biomedical domains due to the variances in topics. Therefore, direct-transferring of learned representations from a model trained on a general-purpose domain to the biomedical domain can hurt the model's performance. We present an adversarial learning-based domain adaptation framework for the biomedical machine reading comprehension task (BioADAPT-MRC), a neural network-based method to address the discrepancies in the marginal distributions between the general and biomedical domain datasets. BioADAPT-MRC relaxes the need for generating pseudo labels for training a well-performing biomedical-MRC model. We extensively evaluate the performance of BioADAPT-MRC by comparing it with the best existing methods on three widely used benchmark biomedical-MRC datasets -- BioASQ-7b, BioASQ-8b, and BioASQ-9b. Our results suggest that without using any synthetic or human-annotated data from the biomedical domain, BioADAPT-MRC can achieve state-of-the-art performance on these datasets. Availability: BioADAPT-MRC is freely available as an open-source project at \url{https://github.com/mmahbub/BioADAPT-MRC}.


title: Steady-state theory of electron drag on polariton condensates

abstract: We present a general theory of drag on a condensate due to interactions with a moving thermal bath of non-condensate particles, adapted from previous theory of equilibration of a condensate in a trap. This theory can be used to model the polariton drag effect observed previously, in which an electric current passing through a polariton condensate gives a measurable momentum transfer to the condensate, and an effective potential energy shift.