title: Magnon mediated spin entanglement in the strong coupling regime

abstract: We present that two spin defects (SDs) can be entangled through a magnon polariton mode, within the strong coupling regime. The magnonic modes are provided by an antiferromagnetic (AF) MnF$_{2}$ layer and their dispersion is characterized by the layer's thickness. The macroscopic quantum electrodynamics theory is used to describe the light-matter interactions, where the Green's functions are its core element. The individual SD relaxes by exciting the magnon polariton modes, exhibiting high enhancement values of the Purcell factor. When two SDs are considered, an oscillatory population exchange is observed between them, a sign of strong light-matter coupling, where the concurrence value is used to quantify the level of entanglement. The thinner AF layers can potentially be used to promote interactions between multiple spins through long range coupling, this is a desired feature to fabricate high demand applications in the fields of quantum measurement and computation.


title: The spectrum consistency of fractional quantum Hall effect model

abstract: The spectrum consistency of the three fermion family $U(1)\times U(1)$ quantum electrodynamics in three space-time dimensions, proposed by Kaplan and Sen [Phys. Rev. Lett. 124 (2020) 131601], is analyzed.

categories: hep-th cond-mat.mes-hall cond-mat.other cond-mat.str-el quant-ph


title: Schmidt Type Partitions

abstract: Recently, Andrews and Paule studied Schmidt type partitions using MacMahon's Partition Analysis and obtained various interesting results. In this paper, we focus on the combinatorics of Schmidt type partition theorems and characterize them in a general and refined form. In addition, we also present some overpartition analogues of Schmidt type partition theorems.


title: Next-Generation Superconducting RF Technology based on Advanced Thin Film Technologies and Innovative Materials for Accelerator Enhanced Performance and Energy Reach

abstract: Superconducting RF is a key technology for future particle accelerators, now relying on advanced surfaces beyond bulk Nb for a leap in performance and efficiency. The SRF thin film strategy aims at transforming the current SRF technology by using highly functional materials, addressing all the necessary functions. The community is deploying efforts in three research thrusts to develop next-generation thin-film based cavities. Nb on Cu cavities are developed to perform as good as or better than bulk Nb at reduced cost and with better thermal stability. Recent results showing improved accelerating field and dramatically reduced Q slope show their potential for many applications. The second research thrust is to develop cavities coated with materials that can operate at higher temperatures or sustain higher fields. Proof of principle has been established for the merit of Nb3Sn for SRF application. Research is now needed to further exploit the material and reach its full potential with novel deposition techniques. The third line of research is to push SRF performance beyond the capabilities of the superconductors alone with multilayered coatings. In parallel, developments are needed to provide quality substrates, cooling schemes and cryomodule design tailored to thin film cavities. Recent results in these three research thrusts suggest that SRF thin film technologies are at the eve of a technological revolution. For them to mature, active community support and sustained funding are needed to address fundamental developments supporting material deposition techniques, surface and RF research, technical challenges associated with scaling and industrialization. With dedicated and sustained investment, next-generation thin-film based cavities will become a reality with high performance and efficiency, facilitating energy sustainable science while enabling higher luminosity, and higher energy.


title: Nearly Tight Spectral Sparsification of Directed Hypergraphs by a Simple Iterative Sampling Algorithm

abstract: Spectral hypergraph sparsification, an attempt to extend well-known spectral graph sparsification to hypergraphs, has been extensively studied over the past few years. For undirected hypergraphs, Kapralov, Krauthgamer, Tardos, and Yoshida~(2022) have proved an $\varepsilon$-spectral sparsifier of the optimal $O^*(n)$ size, where $n$ is the number of vertices and $O^*$ suppresses the $\varepsilon^{-1}$ and $\log n$ factors. For directed hypergraphs, however, the optimal sparsifier size has not been known. Our main contribution is the first algorithm that constructs an $O^*(n^2)$-size $\varepsilon$-spectral sparsifier for a weighted directed hypergraph. Our result is optimal up to the $\varepsilon^{-1}$ and $\log n$ factors since there is a lower bound of $\Omega(n^2)$ even for directed graphs. We also show the first non-trivial lower bound of $\Omega(n^2/\varepsilon)$ for general directed hypergraphs. The basic idea of our algorithm is borrowed from the spanner-based sparsification for ordinary graphs by Koutis and Xu~(2016). Their iterative sampling approach is indeed useful for designing sparsification algorithms in various circumstances. To demonstrate this, we also present a similar iterative sampling algorithm for undirected hypergraphs that attains one of the best size bounds, enjoys parallel implementation, and can be transformed to be fault-tolerant.


title: IoT-Scan: Network Reconnaissance for the Internet of Things

abstract: Network reconnaissance is a core networking and security procedure aimed at discovering devices and their properties. For IP-based networks, several network reconnaissance tools are available, such as Nmap. For the Internet of Things (IoT), there is currently no similar tool capable of discovering devices across multiple protocols. In this paper, we present IoT-Scan, a universal IoT network reconnaissance tool. IoT-Scan is based on software defined radio (SDR) technology, which allows for a flexible software-based implementation of radio protocols. We present a series of passive, active, multi-channel, and multi-protocol scanning algorithms to speed up the discovery of devices with IoT-Scan. We benchmark the passive scanning algorithms against a theoretical traffic model based on the non-uniform coupon collector problem. We implement the scanning algorithms and compare their performance for four popular IoT protocols: Zigbee, Bluetooth LE, Z-Wave, and LoRa. Through extensive experiments with dozens of IoT devices, we demonstrate that our implementation experiences minimal packet losses and achieves performance near the theoretical benchmark. Using multi-protocol scanning, we further demonstrate a reduction of 70\% in the discovery times of Bluetooth and Zigbee devices in the 2.4\,GHz band and of LoRa and Z-Wave devices in the 900\,MHz band, compared to sequential passive scanning. We make our implementation and data available to the research community to allow independent replication of our results and facilitate further development of the tool.


title: Six New Compact Triply Eclipsing Triples Found With TESS

abstract: In this work we report the discovery and analysis of six new compact triply eclipsing triple star systems found with the TESS mission: TICs 37743815, 42565581, 54060695, 178010808, 242132789, and 456194776. All of these exhibit distinct third body eclipses where the inner eclipsing binary (EB) occults the third (`tertiary') star, or vice versa. We utilized the TESS photometry, archival photometric data, and available archival spectral energy distribution curves (SED) to solve for the properties of all three stars, as well as many of the orbital elements. We describe in detail our SED fits, search of the archival data for the outer orbital period, and the final global photodynamical analyses. From these analyses we find that all six systems are coplanar to within $0^\circ$ - $5^\circ$, and are viewed nearly edge on (i.e., within a couple of degrees). The outer orbital periods and eccentricities of the six systems are {$P_{\rm out}$ (days), $e$}: {68.7, 0.36}, {123, 0.16}, {60.7, 0.01}, {69.0, 0.29}, {41.5, 0.01}, {93.9, 0.29}, respectively, in the order the sources are listed above. The masses of all 12 EB stars were in the range of 0.7-1.8 M$_\odot$ and were situated near the main sequence. By contrast, the masses and radii of the tertiary stars ranged from 1.5-2.3 M$_\odot$ and 2.9-12 R$_\odot$, respectively. We use this information to estimate the occurrence rate of compact flat triple systems.


title: Refinement of the convex shape model and tumbling spin state of (99942) Apophis using the 2020-2021 apparition data

abstract: Context. The close approach of the near-Earth asteroid (99942) Apophis to Earth in 2029 will provide a unique opportunity to examine how the physical properties of the asteroid could be changed due to the Earth's gravitational perturbation. As a result, the Republic of Korea is planning a rendezvous mission to Apophis. Aims. Our aim was to use photometric data from the apparitions in 2020-2021 to refine the shape model and spin state of Apophis. Methods. Using thirty-six 1 to 2-m class ground-based telescopes and the Transiting Exoplanet Survey Satellite, we performed a photometric observation campaign throughout the 2020-2021 apparition. The convex shape model and spin state were refined using the light-curve inversion method. Results. According to our best-fit model, Apophis is rotating in a short axis mode with rotation and precession periods of 264.178 hours and 27.38547 hours, respectively. The angular momentum vector orientation of Apophis was found as (275$^\circ$, -85$^\circ$) in the ecliptic coordinate system. The ratio of the dynamic moments of inertia of this asteroid was fitted to $I_a:I_b:I_c=0.64:0.97:1$, which corresponds to an elongated prolate ellipsoid. These findings regarding the spin state and shape model could be used to not only design the space mission scenario but also investigate the impact of the Earth's tidal force during close encounters.


title: Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems

abstract: We present a framework for merging unit tests for autonomous systems. Typically, it is intractable to test an autonomous system for every scenario in its operating environment. The question of whether it is possible to design a single test for multiple requirements of the system motivates this work. First, we formally define three attributes of a test: a test specification that characterizes behaviors observed in a test execution, a test environment, and a test policy. Using the merge operator from contract-based design theory, we provide a formalism to construct a merged test specification from two unit test specifications. Temporal constraints on the merged test specification guarantee that non-trivial satisfaction of both unit test specifications is necessary for a successful merged test execution. We assume that the test environment remains the same across the unit tests and the merged test. Given a test specification and a test environment, we synthesize a test policy filter using a receding horizon approach, and use the test policy filter to guide a search procedure (e.g. Monte-Carlo Tree Search) to find a test policy that is guaranteed to satisfy the test specification. This search procedure finds a test policy that maximizes a pre-defined robustness metric for the test while the filter guarantees a test policy for satisfying the test specification. We prove that our algorithm is sound. Furthermore, the receding horizon approach to synthesizing the filter ensures that our algorithm is scalable. Finally, we show that merging unit tests is impactful for designing efficient test campaigns to achieve similar levels of coverage in fewer test executions. We illustrate our framework on two self-driving examples in a discrete-state setting.


title: Early life height and weight production functions with endogenous energy and protein inputs

abstract: We examine effects of protein and energy intakes on height and weight growth for children between 6 and 24 months old in Guatemala and the Philippines. Using instrumental variables to control for endogeneity and estimating multiple specifications, we find that protein intake plays an important and positive role in height and weight growth in the 6-24 month period. Energy from other macronutrients, however, does not have a robust relation with these two anthropometric measures. Our estimates indicate that in contexts with substantial child undernutrition, increases in protein-rich food intake in the first 24 months can have important growth effects, which previous studies indicate are related significantly to a range of outcomes over the life cycle.


title: Generalization of Fluctuation-Dissipation Theorem to Systems with Absorbing States

abstract: Systems that evolve towards a state from which they cannot depart are common in nature. But the fluctuation-dissipation theorem, a fundamental result in statistical mechanics, is mainly restricted to systems near-stationarity. In processes with absorbing states, the total probability decays with time, eventually reaching zero and rendering the predictions from the standard response theory invalid. In this article, we investigate how such processes respond to external perturbations and develop a new theory that extends the framework of the fluctuation-dissipation theorem. We apply our theory to two paradigmatic examples that span vastly different fields - a birth-death process in forest ecosystems and a targeted search on DNA by proteins. These systems can be affected by perturbations which increase their rate of extinction/absorption, even though the average or the variance of population sizes are left unmodified. These effects, which are not captured by the standard response theory, are exactly predicted by our framework. Our theoretical approach is general and applicable to any system with absorbing states. It can unveil important features of the path to extinction masked by standard approaches.


title: Exploring the cosmic 21-cm signal from the Epoch of Reionisation using the Wavelet Scattering Transform

abstract: Detecting the cosmic 21-cm signal during the Epoch of Reionisation and Cosmic Dawn will reveal insights into the properties of the first galaxies and advance cosmological parameter estimation. Until recently, the primary focus for astrophysical parameter inference from the 21-cm signal centred on the power spectrum (PS). However, the cosmic 21-cm signal is highly non-Gaussian rendering the PS sub-optimal for characterising the cosmic signal. In this work, we introduce a new technique to analyse the non-Gaussian information in images of the 21-cm signal called the Wavelet Scattering Transform (WST). This approach closely mirrors that of convolutional neural networks with the added advantage of not requiring tuning or training of a neural network. Instead, it compresses the 2D spatial information into a set of coefficients making it easier to interpret while also providing a robust statistical description of the non-Gaussian information contained in the cosmic 21-cm signal. First, we explore the application of the WST to mock 21-cm images to gain valuable physical insights by comparing to the known behaviour from the 21-cm PS. Then we quantitatively explore the WST applied to the 21-cm signal by extracting astrophysical parameter constraints using Fisher Matrices from a realistic 1000 hr mock observation with the Square Kilometre Array. We find that: (i) the WST applied only to 2D images can outperform the 3D spherically averaged 21-cm PS, (ii) the excision of foreground contaminated modes can degrade the constraining power by a factor of ~1.5-2 with the WST and (iii) higher cadences between the 21-cm images can further improve the constraining power.


title: Stateful Greybox Fuzzing

abstract: Many protocol implementations are reactive systems, where the protocol process is in continuous interaction with other processes and the environment. If a bug can be exposed only in a certain state, a fuzzer needs to provide a specific sequence of events as inputs that would take protocol into this state before the bug is manifested. We call these bugs as "stateful" bugs. Usually, when we are testing a protocol implementation, we do not have a detailed formal specification of the protocol to rely upon. Without knowledge of the protocol, it is inherently difficult for a fuzzer to discover such stateful bugs. A key challenge then is to cover the state space without an explicit specification of the protocol. In this work, we posit that manual annotations for state identification can be avoided for stateful protocol fuzzing. Specifically, we rely on a programmatic intuition that the state variables used in protocol implementations often appear in enum type variables whose values (the state names) come from named constants. In our analysis of the Top-50 most widely used open-source protocol implementations, we found that every implementation uses state variables that are assigned named constants (with easy to comprehend names such as INIT, READY) to represent the current state. In this work, we propose to automatically identify such state variables and track the sequence of values assigned to them during fuzzing to produce a "map" of the explored state space. Our experiments confirm that our stateful fuzzer discovers stateful bugs twice as fast as the baseline greybox fuzzer that we extended. Starting from the initial state, our fuzzer exercises one order of magnitude more state/transition sequences and covers code two times faster than the baseline fuzzer. Several zero-day bugs in prominent protocol implementations were found by our fuzzer, and 8 CVEs have been assigned.


title: Quick Starting Dialog Systems with Paraphrase Generation

abstract: Acquiring training data to improve the robustness of dialog systems can be a painstakingly long process. In this work, we propose a method to reduce the cost and effort of creating new conversational agents by artificially generating more data from existing examples, using paraphrase generation. Our proposed approach can kick-start a dialog system with little human effort, and brings its performance to a level satisfactory enough for allowing actual interactions with real end-users. We experimented with two neural paraphrasing approaches, namely Neural Machine Translation and a Transformer-based seq2seq model. We present the results obtained with two datasets in English and in French:~a crowd-sourced public intent classification dataset and our own corporate dialog system dataset. We show that our proposed approach increased the generalization capabilities of the intent classification model on both datasets, reducing the effort required to initialize a new dialog system and helping to deploy this technology at scale within an organization.


title: Modeling Motion with Multi-Modal Features for Text-Based Video Segmentation

abstract: Text-based video segmentation aims to segment the target object in a video based on a describing sentence. Incorporating motion information from optical flow maps with appearance and linguistic modalities is crucial yet has been largely ignored by previous work. In this paper, we design a method to fuse and align appearance, motion, and linguistic features to achieve accurate segmentation. Specifically, we propose a multi-modal video transformer, which can fuse and aggregate multi-modal and temporal features between frames. Furthermore, we design a language-guided feature fusion module to progressively fuse appearance and motion features in each feature level with guidance from linguistic features. Finally, a multi-modal alignment loss is proposed to alleviate the semantic gap between features from different modalities. Extensive experiments on A2D Sentences and J-HMDB Sentences verify the performance and the generalization ability of our method compared to the state-of-the-art methods.


title: Style-Hallucinated Dual Consistency Learning for Domain Generalized Semantic Segmentation

abstract: In this paper, we study the task of synthetic-to-real domain generalized semantic segmentation, which aims to learn a model that is robust to unseen real-world scenes using only synthetic data. The large domain shift between synthetic and real-world data, including the limited source environmental variations and the large distribution gap between synthetic and real-world data, significantly hinders the model performance on unseen real-world scenes. In this work, we propose the Style-HAllucinated Dual consistEncy learning (SHADE) framework to handle such domain shift. Specifically, SHADE is constructed based on two consistency constraints, Style Consistency (SC) and Retrospection Consistency (RC). SC enriches the source situations and encourages the model to learn consistent representation across style-diversified samples. RC leverages real-world knowledge to prevent the model from overfitting to synthetic data and thus largely keeps the representation consistent between the synthetic and real-world models. Furthermore, we present a novel style hallucination module (SHM) to generate style-diversified samples that are essential to consistency learning. SHM selects basis styles from the source distribution, enabling the model to dynamically generate diverse and realistic samples during training. Experiments show that our SHADE yields significant improvement and outperforms state-of-the-art methods by 5.05% and 8.35% on the average mIoU of three real-world datasets on single- and multi-source settings, respectively.


title: C3KG: A Chinese Commonsense Conversation Knowledge Graph

abstract: Existing commonsense knowledge bases often organize tuples in an isolated manner, which is deficient for commonsense conversational models to plan the next steps. To fill the gap, we curate a large-scale multi-turn human-written conversation corpus, and create the first Chinese commonsense conversation knowledge graph which incorporates both social commonsense knowledge and dialog flow information. To show the potential of our graph, we develop a graph-conversation matching approach, and benchmark two graph-grounded conversational tasks.


title: Continuous LWE is as Hard as LWE & Applications to Learning Gaussian Mixtures

abstract: We show direct and conceptually simple reductions between the classical learning with errors (LWE) problem and its continuous analog, CLWE (Bruna, Regev, Song and Tang, STOC 2021). This allows us to bring to bear the powerful machinery of LWE-based cryptography to the applications of CLWE. For example, we obtain the hardness of CLWE under the classical worst-case hardness of the gap shortest vector problem. Previously, this was known only under quantum worst-case hardness of lattice problems. More broadly, with our reductions between the two problems, any future developments to LWE will also apply to CLWE and its downstream applications. As a concrete application, we show an improved hardness result for density estimation for mixtures of Gaussians. In this computational problem, given sample access to a mixture of Gaussians, the goal is to output a function that estimates the density function of the mixture. Under the (plausible and widely believed) exponential hardness of the classical LWE problem, we show that Gaussian mixture density estimation in $\mathbb{R}^n$ with roughly $\log n$ Gaussian components given $\mathsf{poly}(n)$ samples requires time quasi-polynomial in $n$. Under the (conservative) polynomial hardness of LWE, we show hardness of density estimation for $n^{\epsilon}$ Gaussians for any constant $\epsilon > 0$, which improves on Bruna, Regev, Song and Tang (STOC 2021), who show hardness for at least $\sqrt{n}$ Gaussians under polynomial (quantum) hardness assumptions. Our key technical tool is a reduction from classical LWE to LWE with $k$-sparse secrets where the multiplicative increase in the noise is only $O(\sqrt{k})$, independent of the ambient dimension $n$.


title: Ribbon Yetter--Drinfeld modules and tangle invariants

abstract: We define notions of pivotal and ribbon objects in a monoidal category. These constructions give pivotal or ribbon monoidal categories from a monoidal category which is not necessarily with duals. We apply this construction to the braided monoidal category of Yetter--Drinfeld modules over a Hopf algebra. This gives rise to the notion of ribbon Yetter--Drinfeld modules over a Hopf algebra, which form ribbon categories. This gives an invariant of tangles.


title: Quantum Approximate Counting for Markov Chains and Application to Collision Counting

abstract: In this paper we show how to generalize the quantum approximate counting technique developed by Brassard, H{\o}yer and Tapp [ICALP 1998] to a more general setting: estimating the number of marked states of a Markov chain (a Markov chain can be seen as a random walk over a graph with weighted edges). This makes it possible to construct quantum approximate counting algorithms from quantum search algorithms based on the powerful "quantum walk based search" framework established by Magniez, Nayak, Roland and Santha [SIAM Journal on Computing 2011]. As an application, we apply this approach to the quantum element distinctness algorithm by Ambainis [SIAM Journal on Computing 2007]: for two injective functions over a set of $N$ elements, we obtain a quantum algorithm that estimates the number $m$ of collisions of the two functions within relative error $\epsilon$ by making $\tilde{O}\left(\frac{1}{\epsilon^{25/24}}\big(\frac{N}{\sqrt{m}}\big)^{2/3}\right)$ queries, which gives an improvement over the $\Theta\big(\frac{1}{\epsilon}\frac{N}{\sqrt{m}}\big)$-query classical algorithm based on random sampling when $m\ll N$.


title: RODD: A Self-Supervised Approach for Robust Out-of-Distribution Detection

abstract: Recent studies have addressed the concern of detecting and rejecting the out-of-distribution (OOD) samples as a major challenge in the safe deployment of deep learning (DL) models. It is desired that the DL model should only be confident about the in-distribution (ID) data which reinforces the driving principle of the OOD detection. In this paper, we propose a simple yet effective generalized OOD detection method independent of out-of-distribution datasets. Our approach relies on self-supervised feature learning of the training samples, where the embeddings lie on a compact low-dimensional space. Motivated by the recent studies that show self-supervised adversarial contrastive learning helps robustify the model, we empirically show that a pre-trained model with self-supervised contrastive learning yields a better model for uni-dimensional feature learning in the latent space. The method proposed in this work referred to as RODD outperforms SOTA detection performance on an extensive suite of benchmark datasets on OOD detection tasks. On the CIFAR-100 benchmarks, RODD achieves a 26.97 $\%$ lower false-positive rate (FPR@95) compared to SOTA methods.


title: Unconventional ferromagnetism and spin-triplet superconductivity in the imbalanced Kagome-lattice Hubbard model

abstract: Unconventional ferromagnetism and superconductivity in the imbalanced kagome-lattice Hubbard model are investigated by the mean-field theory and determinant quantum Monte Carlo method. Due to the asymmetric band structure of kagome lattice, the spin-$z$ ferromagnetic order intrinsically exists in the system, which is first enhanced by the interaction, and then continuously destructed after reaching a maximum at a moderate interaction strength. In contrast, the $xy$-plane ferromagnetism develops only above a critical interaction, which is estimated to be $U_c/t=3.65 \pm 0.05$ by finite-size scaling. We further verify the nature of the above transverse magnetic transition, and demonstrate it belongs to the three-dimensional $XY$ universality class. Finally, we study the superconducting property, and reveal the possible superconducting state has a triplet $f$-wave pairing symmetry. Our results uncover the exotic quantum states induced by the interactions on kagome lattice, and provide important insights regarding the interplay between electronic correlations and geometry frustrations.


title: Approximate quantum gates compiling with self-navigation algorithm

abstract: The compiling of quantum gates is crucial for the successful quantum algorithm implementations. The environmental noise as well as the bandwidth of control pulses pose a challenge to precise and fast qubit control, especially in a weakly anharmonic system. In this work, we propose an algorithm to approximately compile single-qubit gates with arbitrary accuracy. Evaluation results show that the overall rotation distance generated by our algorithm is significantly shorter than the commonly used $U3$ gate, then the gate time can be effectively shortened. The requisite number of pulses and the runtime of scheme design scale up as $\mathcal{O}[\mathrm{Log}(1/\epsilon)]$ with very small prefactors, indicating low overhead costs. Moreover, we explore the trade-off between effectiveness and cost, and find a balance point. In short, our work opens a new avenue for efficient quantum algorithm implementations with contemporary quantum technology.


title: An involution on set partitions

abstract: We present an involution on set partitions that interchanges two statistics related to relative size of block entries and use it to establish an equidistribution on objects counted by the Bessel numbers.


title: MixFormer: Mixing Features across Windows and Dimensions

abstract: While local-window self-attention performs notably in vision tasks, it suffers from limited receptive field and weak modeling capability issues. This is mainly because it performs self-attention within non-overlapped windows and shares weights on the channel dimension. We propose MixFormer to find a solution. First, we combine local-window self-attention with depth-wise convolution in a parallel design, modeling cross-window connections to enlarge the receptive fields. Second, we propose bi-directional interactions across branches to provide complementary clues in the channel and spatial dimensions. These two designs are integrated to achieve efficient feature mixing among windows and dimensions. Our MixFormer provides competitive results on image classification with EfficientNet and shows better results than RegNet and Swin Transformer. Performance in downstream tasks outperforms its alternatives by significant margins with less computational costs in 5 dense prediction tasks on MS COCO, ADE20k, and LVIS. Code is available at \url{https://github.com/PaddlePaddle/PaddleClas}.


title: DouZero+: Improving DouDizhu AI by Opponent Modeling and Coach-guided Learning

abstract: Recent years have witnessed the great breakthrough of deep reinforcement learning (DRL) in various perfect and imperfect information games. Among these games, DouDizhu, a popular card game in China, is very challenging due to the imperfect information, large state space, elements of collaboration and a massive number of possible moves from turn to turn. Recently, a DouDizhu AI system called DouZero has been proposed. Trained using traditional Monte Carlo method with deep neural networks and self-play procedure without the abstraction of human prior knowledge, DouZero has outperformed all the existing DouDizhu AI programs. In this work, we propose to enhance DouZero by introducing opponent modeling into DouZero. Besides, we propose a novel coach network to further boost the performance of DouZero and accelerate its training process. With the integration of the above two techniques into DouZero, our DouDizhu AI system achieves better performance and ranks top in the Botzone leaderboard among more than 400 AI agents, including DouZero.


title: X-CAR: An Experimental Vehicle Platform for Connected Autonomy Research Powered by CARMA

abstract: Autonomous vehicles promise a future with a safer, cleaner, more efficient, and more reliable transportation system. However, the current approach to autonomy has focused on building small, disparate intelligences that are closed off to the rest of the world. Vehicle connectivity has been proposed as a solution, relying on a vision of the future where a mix of connected autonomous and human-driven vehicles populate the road. Developed by the U.S. Department of Transportation Federal Highway Administration as a reusable, extensible platform for controlling connected autonomous vehicles, the CARMA Platform is one of the technologies enabling this connected future. Nevertheless, the adoption of the CARMA Platform has been slow, with a contributing factor being the limited, expensive, and relatively old vehicle configurations that are officially supported. To alleviate this problem, we propose X-CAR (eXperimental vehicle platform for Connected Autonomy Research). By implementing the CARMA Platform on more affordable, high quality hardware, X-CAR aims to increase the versatility of the CARMA Platform and facilitate its adoption for research and development of connected driving automation.


title: A Novel 3D Non-Stationary Channel Model for 6G Indoor Visible Light Communication Systems

abstract: The visible light communication (VLC) technology has attracted much attention in the research of the sixth generation (6G) communication systems. In this paper, a novel three dimensional (3D) space-time-frequency non-stationary geometry-based stochastic model (GBSM) is proposed for indoor VLC channels. The proposed VLC GBSM can capture unique indoor VLC channel characteristics such as the space-time-frequency non-stationarity caused by large light-emitting diode (LED) arrays in indoor scenarios, long travelling paths, and large bandwidths of visible light waves, respectively. In addition, the proposed model can support special radiation patterns of LEDs, 3D translational and rotational motions of the optical receiver (Rx), and can be applied to angle diversity receivers (ADRs). Key channel properties are simulated and analyzed, including the space-time-frequency correlation function (STFCF), received power, root mean square (RMS) delay spread, and path loss (PL). Simulation results verify the space-time-frequency non-stationarity in indoor VLC channels. Finally, the accuracy and practicality of the proposed model are validated by comparing the simulation result of channel 3dB bandwidth with the existing measurement data. The proposed channel model will play a supporting role in the design of future 6G VLC systems.


title: Engineered Tunable Decay Rate and Controllable Dissipative Dynamics

abstract: We investigate the steering dissipative dynamics of a two-level system (qubit) by means of the modulation of an assisted tunneling degree of freedom which is described by a quantum-oscillator spin-boson model. Our results reveal that the decoherence rate of the qubit can be significantly suppressed and simultaneously its quality factor is enhanced. Moreover, the modulated dynamical susceptibility exhibits a multi-peak feature which is indicative of the underlying structure and measurable in experiment. Our findings demonstrate that the interplay between the combined degrees of freedom and the qubit is crucial for reducing the dissipation of qubit and expanding the coherent regime of quantum operation much large. The strategy might be used to fight against deterioration of quantum coherence in quantum information processing.

categories: quant-ph cond-mat.stat-mech physics.atom-ph physics.chem-ph


title: Cram\'{e}r's moderate deviations for martingales with applications

abstract: Let $(\xi_i,\mathcal{F}_i)_{i\geq1}$ be a sequence of martingale differences. Set $X_n=\sum_{i=1}^n \xi_i $ and $ \langle X \rangle_n=\sum_{i=1}^n \mathbf{E}(\xi_i^2|\mathcal{F}_{i-1}).$ We prove Cram\'er's moderate deviation expansions for $\displaystyle \mathbf{P}(X_n/\sqrt{\langle X\rangle_n} \geq x)$ and $\displaystyle \mathbf{P}(X_n/\sqrt{ \mathbf{E}X_n^2} \geq x)$ as $n\to\infty.$ Our results extend the classical Cram\'{e}r result to the cases of normalized martingales $X_n/\sqrt{\langle X\rangle_n}$ and standardized martingales $X_n/\sqrt{ \mathbf{E}X_n^2}$, with martingale differences satisfying the conditional Bernstein condition. Applications to elephant random walks and autoregressive processes are also discussed.


title: $\delta^{44/40}$Ca-$\delta^{88/86}$Sr multi-proxy constrains primary origin of Marinoan cap carbonates

abstract: The Neoproterozoic Earth experienced at least two global-scale glaciations termed Snowball Earth events. 'Cap carbonates' were widely deposited after the events, but controversy surrounds their origin. Here, we apply the novel $\delta^{44/40}$Ca-$\delta^{88/86}$Sr multi-proxy to two Marinoan (ca. 635 Ma) cap carbonate sequences from Namibia and show that the rocks archive primary environmental signals deriving from a combination of seawater-glacial meltwater mixing and kinetic isotope effects. In an outer platform section, dolostone $\delta^{44/40}$Ca and $\delta^{88/86}$Sr values define a line predicted for kinetic mass-dependent isotope fractionation. This dolostone mostly precipitated from meltwater. Moreover, stratigraphically higher samples exhibiting the fastest precipitation rates correlate with elevated 87Sr/86Sr ratios, consistent with long-held expectations that a rapid deglacial weathering pulse forced cap carbonate formation. An inner-platform dolostone shows greater effects from water-mass mixing but still reveals that precipitation rates increased up-section. Overlying limestones show the greatest Ca and Sr contributions from seawater. Amplification of local coastal processes during global ice sheet collapse offers a simple but sufficient proposition to explain the Ca isotope heterogeneity of cap carbonates. Detection of kinetic isotope effects in the rock record provides a basis for developing the $\delta^{44/40}$Ca-$\delta^{88/86}$Sr multi-proxy as an indicator of saturation state and $p$CO$_2$.


title: Low phase noise THz generation from a fiber-referenced Kerr microresonator soliton comb

abstract: THz oscillators generated via frequency-multiplication of microwaves are facing difficulty in achieving low phase noise. Photonics-based techniques, in which optical two tones are translated to a THz wave through opto-electronic conversion, are promising if the relative phase noise between the two tones is well suppressed. Here, a THz ($\approx$ 560 GHz) wave with a low phase noise is provided by a frequency-stabilized, dissipative Kerr microresonator soliton comb. The repetition frequency of the comb is stabilized to a long fiber in a two-wavelength delayed self-heterodyne interferometer, significantly reducing the phase noise of the THz wave. A measurement technique to characterize the phase noise of the THz wave beyond the limit of a frequency-multiplied microwave is also demonstrated, showing the superior phase noise of the THz wave to any other photonic THz oscillators (> 300 GHz).


title: State Initialization of a Hot Spin Qubit in a Double Quantum Dot by Measurement-Based Quantum Feedback Control

abstract: A measurement-based quantum feedback protocol is developed for spin state initialization in a gate-defined double quantum dot spin qubit coupled to a superconducting resonator. The protocol improves qubit state initialization as it is able to robustly prepare the spin in shorter time and reach a higher fidelity, which can be pre-set. Being able to pre-set the fidelity aimed at is a highly desired feature enabling qubit initialization to be more deterministic. The protocol developed herein is also effective at high temperatures, which is critical for the current efforts towards scaling up the number of qubits in quantum computers.


title: Modeling Temporal-Modal Entity Graph for Procedural Multimodal Machine Comprehension

abstract: Procedural Multimodal Documents (PMDs) organize textual instructions and corresponding images step by step. Comprehending PMDs and inducing their representations for the downstream reasoning tasks is designated as Procedural MultiModal Machine Comprehension (M3C). In this study, we approach Procedural M3C at a fine-grained level (compared with existing explorations at a document or sentence level), that is, entity. With delicate consideration, we model entity both in its temporal and cross-modal relation and propose a novel Temporal-Modal Entity Graph (TMEG). Specifically, graph structure is formulated to capture textual and visual entities and trace their temporal-modal evolution. In addition, a graph aggregation module is introduced to conduct graph encoding and reasoning. Comprehensive experiments across three Procedural M3C tasks are conducted on a traditional dataset RecipeQA and our new dataset CraftQA, which can better evaluate the generalization of TMEG.


title: FairNeuron: Improving Deep Neural Network Fairness with Adversary Games on Selective Neurons

abstract: With Deep Neural Network (DNN) being integrated into a growing number of critical systems with far-reaching impacts on society, there are increasing concerns on their ethical performance, such as fairness. Unfortunately, model fairness and accuracy in many cases are contradictory goals to optimize. To solve this issue, there has been a number of work trying to improve model fairness by using an adversarial game in model level. This approach introduces an adversary that evaluates the fairness of a model besides its prediction accuracy on the main task, and performs joint-optimization to achieve a balanced result. In this paper, we noticed that when performing backward propagation based training, such contradictory phenomenon has shown on individual neuron level. Based on this observation, we propose FairNeuron, a DNN model automatic repairing tool, to mitigate fairness concerns and balance the accuracy-fairness trade-off without introducing another model. It works on detecting neurons with contradictory optimization directions from accuracy and fairness training goals, and achieving a trade-off by selective dropout. Comparing with state-of-the-art methods, our approach is lightweight, making it scalable and more efficient. Our evaluation on 3 datasets shows that FairNeuron can effectively improve all models' fairness while maintaining a stable utility.


title: A Positive Answer to B\'ar\'any's Question on Face Numbers of Polytopes

abstract: Despite a full characterization of the face vectors of simple and simplicial polytopes, the face numbers of general polytopes are poorly understood. Around 1997, B\'ar\'any asked whether for all convex $d$-polytopes $P$ and all $0 \leq k \leq d-1$, $f_k(P) \geq \min\{f_0(P), f_{d-1}(P)\}$. We answer B\'ar\'any's question in the affirmative and prove a stronger statement: for all convex $d$-polytopes $P$ and all $0 \leq k \leq d-1$, \[ \frac{f_k(P)}{f_0(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose k} + {\lfloor \frac{d}{2} \rfloor \choose k}\biggr], \qquad \frac{f_k(P)}{f_{d-1}(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose d-k-1} + {\lfloor \frac{d}{2} \rfloor \choose d-k-1}\biggr]. \] In the former, equality holds precisely when $k=0$ or when $k=1$ and $P$ is simple. In the latter, equality holds precisely when $k=d-1$ or when $k=d-2$ and $P$ is simplicial.


title: Gait Recognition in the Wild with Dense 3D Representations and A Benchmark

abstract: Existing studies for gait recognition are dominated by 2D representations like the silhouette or skeleton of the human body in constrained scenes. However, humans live and walk in the unconstrained 3D space, so projecting the 3D human body onto the 2D plane will discard a lot of crucial information like the viewpoint, shape, and dynamics for gait recognition. Therefore, this paper aims to explore dense 3D representations for gait recognition in the wild, which is a practical yet neglected problem. In particular, we propose a novel framework to explore the 3D Skinned Multi-Person Linear (SMPL) model of the human body for gait recognition, named SMPLGait. Our framework has two elaborately-designed branches of which one extracts appearance features from silhouettes, the other learns knowledge of 3D viewpoints and shapes from the 3D SMPL model. In addition, due to the lack of suitable datasets, we build the first large-scale 3D representation-based gait recognition dataset, named Gait3D. It contains 4,000 subjects and over 25,000 sequences extracted from 39 cameras in an unconstrained indoor scene. More importantly, it provides 3D SMPL models recovered from video frames which can provide dense 3D information of body shape, viewpoint, and dynamics. Based on Gait3D, we comprehensively compare our method with existing gait recognition approaches, which reflects the superior performance of our framework and the potential of 3D representations for gait recognition in the wild. The code and dataset are available at https://gait3d.github.io.


title: Optimal Sublinear Sampling of Spanning Trees and Determinantal Point Processes via Average-Case Entropic Independence

abstract: We design fast algorithms for repeatedly sampling from strongly Rayleigh distributions, which include random spanning tree distributions and determinantal point processes. For a graph $G=(V, E)$, we show how to approximately sample uniformly random spanning trees from $G$ in $\widetilde{O}(\lvert V\rvert)$ time per sample after an initial $\widetilde{O}(\lvert E\rvert)$ time preprocessing. For a determinantal point process on subsets of size $k$ of a ground set of $n$ elements, we show how to approximately sample in $\widetilde{O}(k^\omega)$ time after an initial $\widetilde{O}(nk^{\omega-1})$ time preprocessing, where $\omega<2.372864$ is the matrix multiplication exponent. We even improve the state of the art for obtaining a single sample from determinantal point processes, from the prior runtime of $\widetilde{O}(\min\{nk^2, n^\omega\})$ to $\widetilde{O}(nk^{\omega-1})$. In our main technical result, we achieve the optimal limit on domain sparsification for strongly Rayleigh distributions. In domain sparsification, sampling from a distribution $\mu$ on $\binom{[n]}{k}$ is reduced to sampling from related distributions on $\binom{[t]}{k}$ for $t\ll n$. We show that for strongly Rayleigh distributions, we can can achieve the optimal $t=\widetilde{O}(k)$. Our reduction involves sampling from $\widetilde{O}(1)$ domain-sparsified distributions, all of which can be produced efficiently assuming convenient access to approximate overestimates for marginals of $\mu$. Having access to marginals is analogous to having access to the mean and covariance of a continuous distribution, or knowing "isotropy" for the distribution, the key assumption behind the Kannan-Lov\'asz-Simonovits (KLS) conjecture and optimal samplers based on it. We view our result as a moral analog of the KLS conjecture and its consequences for sampling, for discrete strongly Rayleigh measures.


title: Post-Quantum Cryptography Algorithms Standardization and Performance Analysis

abstract: Quantum computer is no longer a hypothetical idea. It is the worlds most important technology and there is a race among countries to get supremacy in quantum technology. Its the technology that will reduce the computing time from years to hours or even minutes. The power of quantum computing will be a great support for the scientific community. However, it raises serious threats to cybersecurity. Theoretically, all the cryptography algorithms are vulnerable to attack. The practical quantum computers, when available with millions of qubits capacity, will be able to break nearly all modern public-key cryptographic systems. Before the quantum computers arrive with sufficient qubit capacity, we must be ready with quantum-safe cryptographic algorithms, tools, techniques, and deployment strategies to protect the ICT infrastructure. This paper discusses in detail the global effort for the design, development, and standardization of various quantum-safe cryptography algorithms along with the performance analysis of some of the potential quantum-safe algorithms. Most of the quantum-safe algorithms need more CPU cycles, higher runtime memory, and large key size. The objective of the paper is to analyze the feasibility of the various quantum-safe cryptography algorithms.


title: Greedier is Better: Selecting Multiple Neighbors per Iteration for Sparse Subspace Clustering

abstract: Sparse subspace clustering (SSC) using greedy-based neighbor selection, such as orthogonal matching pursuit (OMP), has been known as a popular computationally-efficient alternative to the popular L1-minimization based methods. This paper proposes a new SSC scheme using generalized OMP (GOMP), a soup-up of OMP whereby multiple neighbors are identified per iteration, along with a new stopping rule requiring nothing more than a knowledge of the ambient signal dimension. Compared to conventional OMP, which identifies one neighbor per iteration, the proposed GOMP method involves fewer iterations, thereby enjoying lower algorithmic complexity; advantageously, the proposed stopping rule is free from off-line estimation of subspace dimension and noise power. Under the semi-random model, analytic performance guarantees, in terms of neighbor recovery rates, are established to justify the advantage of the proposed GOMP. The results show that, with a high probability, GOMP (i) is halted by the proposed stopping rule, and (ii) can retrieve more true neighbors than OMP, consequently yielding higher final data clustering accuracy. Computer simulations using both synthetic data and real human face data are provided to validate our analytic study and evidence the effectiveness of the proposed approach.


title: Detecting key Soccer match events to create highlights using Computer Vision

abstract: The research and data science community has been fascinated with the development of automatic systems for the detection of key events in a video. Special attention in this field is given to sports video analytics which could help in identifying key events during a match and help in preparing a strategy for the games going forward. For this paper, we have chosen Football (soccer) as a sport where we would want to create highlights for a given match video, through a computer vision model that aims to identify important events in a Soccer match to create highlights of the match. We built the models based on Faster RCNN and YoloV5 architectures and noticed that for the amount of data we used for training Faster RCNN did better than YoloV5 in detecting the events in the match though it was much slower. Within Faster RCNN using ResNet50 as a base model gave a better class accuracy of 95.5% as compared to 92% with VGG16 as base model completely outperforming YoloV5 for our training dataset. We tested with an original video of size 23 minutes and our model could reduce it to 4:50 minutes of highlights capturing almost all important events in the match.


title: FocalClick: Towards Practical Interactive Image Segmentation

abstract: Interactive segmentation allows users to extract target masks by making positive/negative clicks. Although explored by many previous works, there is still a gap between academic approaches and industrial needs: first, existing models are not efficient enough to work on low power devices; second, they perform poorly when used to refine preexisting masks as they could not avoid destroying the correct part. FocalClick solves both issues at once by predicting and updating the mask in localized areas. For higher efficiency, we decompose the slow prediction on the entire image into two fast inferences on small crops: a coarse segmentation on the Target Crop, and a local refinement on the Focus Crop. To make the model work with preexisting masks, we formulate a sub-task termed Interactive Mask Correction, and propose Progressive Merge as the solution. Progressive Merge exploits morphological information to decide where to preserve and where to update, enabling users to refine any preexisting mask effectively. FocalClick achieves competitive results against SOTA methods with significantly smaller FLOPs. It also shows significant superiority when making corrections on preexisting masks. Code and data will be released at github.com/XavierCHEN34/ClickSEG


title: On a rainbow extremal problem for color-critical graphs

abstract: There has been extensive studies on the following question: given $k$ graphs $G_1,\dots, G_k$ over a common vertex set of size $n$, what conditions on $G_i$ ensures a `colorful' copy of $H$, i.e., a copy of $H$ containing at most one edge from each $G_i$? A lower bound on $\sum_{i\in [k]} e(G_i)$ enforcing a colorful copy of a given graph $H$ was considered by Keevash, Saks, Sudakov, and Verstra\"{e}te. They defined $\operatorname{ex}_k(n,H)$ to be the maximum total number of edges of the graphs $G_1,\dots, G_k$ on a common vertex set of size $n$ having no colorful copy of $H$. They completely determined $\operatorname{ex}_k(n,K_r)$ for large $n$ by showing that, depending on the value of $k$, one of the two natural constructions is always the extremal construction. Moreover, they conjectured the same holds for every color-critical graphs and proved it for 3-color-critical graphs. We prove their conjecture for 4-color-critical graphs and for almost all $r$-color-critical graphs when $r > 4$. Moreover, we show that for every non-color-critical non-bipartite graphs, none of the two natural constructions is extremal for certain values of $k$. This answers a question of Keevash, Saks, Sudakov, and Verstra\"{e}te.


title: On some sums involving the counting function of non-isomorphic abelian groups

abstract: Let $a(n)$ denote the number of non-isomorphic abelian groups with $n$ elements. In 1991 Ivi\'{c} proved an asymptotic formula of the sum $\sum_{n\leq x} a(n+ a(n)).$ In this paper, we will prove a sharper asymptotic formula for this sum.


title: A Vergleichsstellensatz of Strassen's Type for a Noncommutative Preordered Semialgebra through the Semialgebra of its Fractions

abstract: Preordered semialgebras and semirings are two kinds of algebraic structures occurring in real algebraic geometry frequently and usually play important roles therein. They have many interesting and promising applications in the fields of real algebraic geometry, probability theory, theoretical computer science, quantum information theory, \emph{etc.}. In these applications, Strassen's Vergleichsstellensatz and its generalized versions, which are analogs of those Positivstellens\"atze in real algebraic geometry, play important roles. While these Vergleichsstellens\"atze accept only a commutative setting (for the semirings in question), we prove in this paper a noncommutative version of one of the generalized Vergleichsstellens\"atze proposed by Fritz [\emph{Comm. Algebra}, 49 (2) (2021), pp. 482-499]. The most crucial step in our proof is to define the semialgebra of the fractions of a noncommutative semialgebra, which generalizes the definitions in the literature. Our new Vergleichsstellensatz characterizes the relaxed preorder on a noncommutative semialgebra induced by all monotone homomorphisms to $\mathbb{R}_+$ by three other equivalent conditions on the semialgebra of its fractions equipped with the derived preorder, which may result in more applications in the future.


title: Quasi-definite axial algebras of Jordan type half

abstract: Axial algebras are commutative nonassociative algebras generated by a finite set of primitive idempotents which action on an algebra is semisimple, and the fusion laws on the products between eigenvectors for these idempotents are fulfilled. We find the sufficient conditions in terms of the Frobenius form and of the properties of idempotents under which an axial algebra of Jordan type half is unital.


title: Locally Spontaneous Dynamic Oxygen Migration on Biphenylene: A DFT Study

abstract: The dynamic oxygen migration at the interface of carbon allotropes dominated by the periodic hexagonal rings, including graphene and carbon nanotube, has opened up a new avenue to realize dynamic covalent materials. However, for the carbon materials with hybrid carbon rings, such as biphenylene, whether the dynamic oxygen migration at its interface can still be found remains unknown. Using both density functional theory calculations and machine-learning-based molecular dynamics (MLMD) simulations, we found that the oxygen migration departing away from the four-membered carbon (C4) ring is hindered, and the oxygen atom prefers to spontaneously migrate toward/around the C4 ring. This locally spontaneous dynamic oxygen migration on the biphenylene is attributed to the high barrier of about 1.5 eV for the former process and relatively low barrier of about 0.3 eV for the latter one, originating from the enhanced activity of C-O bond near/around the C4 ring due to the hybrid carbon rings structure. Moreover, the locally spontaneous dynamic oxygen migration is further confirmed by MLMD simulations. This work sheds light on the potential of biphenylene as a catalyst for spatial-controlled energy conversion and provides the guidance for realizing the dynamic covalent interface at other carbon-based or two-dimensional materials.


title: Evolution of global development cooperation: An analysis of aid flows with hierarchical stochastic block models

abstract: Despite considerable scholarly attention on the institutional and normative aspects of development cooperation, its longitudinal dynamics unfolding at the global level have rarely been investigated. Focusing on aid, we examine the evolving global structure of development cooperation induced by aid flows in its entirety. Representing annual aid flows between donors and recipients from 1970 to 2013 as a series of networks, we apply hierarchical stochastic block models to extensive aid-flow data that cover not only the aid behavior of the major OECD donors but also that of other emerging donors, including China. Despite a considerable degree of external expansion and internal diversification of aid relations over the years, the analysis has uncovered a temporally persistent structure of aid networks. The latter comprises, on the one hand, a limited number of major donors with far-reaching resources and, on the other hand, a large number of mostly poor but globally well-connected recipients. The results cast doubt on the efficacy of recurrent efforts for "aid reform" in substantially changing the global aid flow pattern.


title: Banana Sub-Family Classification and Quality Prediction using Computer Vision

abstract: India is the second largest producer of fruits and vegetables in the world, and one of the largest consumers of fruits like Banana, Papaya and Mangoes through retail and ecommerce giants like BigBasket, Grofers and Amazon Fresh. However, adoption of technology in supply chain and retail stores is still low and there is a great potential to adopt computer-vision based technology for identification and classification of fruits. We have chosen banana fruit to build a computer vision based model to carry out the following three use-cases (a) Identify Banana from a given image (b) Determine sub-family or variety of Banana (c) Determine the quality of Banana. Successful execution of these use-cases using computer-vision model would greatly help with overall inventory management automation, quality control, quick and efficient weighing and billing which all are manual labor intensive currently. In this work, we suggest a machine learning pipeline that combines the ideas of CNNs, transfer learning, and data augmentation towards improving Banana fruit sub family and quality image classification. We have built a basic CNN and then went on to tune a MobileNet Banana classification model using a combination of self-curated and publicly-available dataset of 3064 images. The results show an overall 93.4% and 100% accuracy for sub-family/variety and for quality test classifications respectively.


title: Covering entropy for types in tracial $\mathrm{W}^*$-algebras

abstract: We study embeddings of tracial $\mathrm{W}^*$-algebras into a ultraproduct of matrix algebras through an amalgamation of free probabilistic and model-theoretic techniques. Jung implicitly and Hayes explicitly defined $1$-bounded entropy through the asymptotic covering numbers of Voiculescu's microstate spaces, that is, spaces of matrix tuples $(X_1^{(N)},X_2^{(N)},\dots)$ having approximately the same $*$-moments as the generators $(X_1,X_2,\dots)$ of a given tracial $\mathrm{W}^*$-algebra. We study the analogous covering entropy for microstate spaces defined through formulas that use not only $*$-algebra operations and the trace, but also suprema and infima, such as arise in the model theory of tracial $\mathrm{W}^*$-algebras initiated by Farah, Hart, and Sherman. By relating the new theory with the original $1$-bounded entropy, we show that if $h(\mathcal{N}:\mathcal{M}) \geq 0$, then there exists an embedding of $\mathcal{M}$ into a matrix ultraproduct $\mathcal{Q} = \prod_{n \to \mathcal{U}} M_n(\mathbb{C})$ such that $h(\mathcal{N}:\mathcal{Q})$ is arbitrarily close to $h(\mathcal{N}:\mathcal{M})$. We deduce if all embeddings of $\mathcal{M}$ into $\mathcal{Q}$ are automorphically equivalent, then $\mathcal{M}$ is strongly $1$-bounded and in fact has $h(\mathcal{M}) \leq 0$.


title: PAGP: A physics-assisted Gaussian process framework with active learning for forward and inverse problems of partial differential equations

abstract: In this work, a Gaussian process regression(GPR) model incorporated with given physical information in partial differential equations(PDEs) is developed: physics-assisted Gaussian processes(PAGP). The targets of this model can be divided into two types of problem: finding solutions or discovering unknown coefficients of given PDEs with initial and boundary conditions. We introduce three different models: continuous time, discrete time and hybrid models. The given physical information is integrated into Gaussian process model through our designed GP loss functions. Three types of loss function are provided in this paper based on two different approaches to train the standard GP model. The first part of the paper introduces the continuous time model which treats temporal domain the same as spatial domain. The unknown coefficients in given PDEs can be jointly learned with GP hyper-parameters by minimizing the designed loss function. In the discrete time models, we first choose a time discretization scheme to discretize the temporal domain. Then the PAGP model is applied at each time step together with the scheme to approximate PDE solutions at given test points of final time. To discover unknown coefficients in this setting, observations at two specific time are needed and a mixed mean square error function is constructed to obtain the optimal coefficients. In the last part, a novel hybrid model combining the continuous and discrete time models is presented. It merges the flexibility of continuous time model and the accuracy of the discrete time model. The performance of choosing different models with different GP loss functions is also discussed. The effectiveness of the proposed PAGP methods is illustrated in our numerical section.


title: Nonabelian embedding tensors

abstract: In this paper, first we introduce the notion of a nonabelian embedding tensor, which is a nonabelian generalization of an embedding tensor. Then we introduce the notion of a Leibniz-Lie algebra, which is the underlying algebraic structure of a nonabelian embedding tensor, and can also be viewed as a nonabelian generalization of a Leibniz algebra. Next using the derived bracket, we construct a differential graded Lie algebra, whose Maurer-Cartan elements are exactly nonabelian embedding tensors. Consequently, we obtain the differential graded Lie algebra that governs deformations of a nonabelian embedding tensor. Finally, we define the cohomology of a nonabelian embedding tensor and use the second cohomology group to characterize linear deformations.


title: SqueezeNeRF: Further factorized FastNeRF for memory-efficient inference

abstract: Neural Radiance Fields (NeRF) has emerged as the state-of-the-art method for novel view generation of complex scenes, but is very slow during inference. Recently, there have been multiple works on speeding up NeRF inference, but the state of the art methods for real-time NeRF inference rely on caching the neural network output, which occupies several giga-bytes of disk space that limits their real-world applicability. As caching the neural network of original NeRF network is not feasible, Garbin et al. proposed "FastNeRF" which factorizes the problem into 2 sub-networks - one which depends only on the 3D coordinate of a sample point and one which depends only on the 2D camera viewing direction. Although this factorization enables them to reduce the cache size and perform inference at over 200 frames per second, the memory overhead is still substantial. In this work, we propose SqueezeNeRF, which is more than 60 times memory-efficient than the sparse cache of FastNeRF and is still able to render at more than 190 frames per second on a high spec GPU during inference.


title: Hypergraph-based Source Codes for Function Computation Under Maximal Distortion

abstract: This work investigates functional source coding problems with maximal distortion, motivated by approximate function computation in many modern applications. The maximal distortion treats imprecise reconstruction of a function value as good as perfect computation if it deviates less than a tolerance level, while treating reconstruction that differs by more than that level as a failure. Using a geometric understanding of the maximal distortion, we propose a hypergraph-based source coding scheme for function computation that is constructive in the sense that it gives an explicit procedure for finding optimal or good auxiliary random variables. Moreover, we find that the hypergraph-based coding scheme achieves the optimal rate-distortion function in the setting of coding for computing with side information and achieves the Berger-Tung sum-rate inner bound in the setting of distributed source coding for computing. It also achieves the El Gamal-Cover inner bound for multiple description coding for computing and is optimal for successive refinement and cascade multiple description problems for computing. Lastly, the benefit of complexity reduction of finding a forward test channel is shown for a class of Markov sources.


title: Learning to Anticipate Future with Dynamic Context Removal

abstract: Anticipating future events is an essential feature for intelligent systems and embodied AI. However, compared to the traditional recognition task, the uncertainty of future and reasoning ability requirement make the anticipation task very challenging and far beyond solved. In this filed, previous methods usually care more about the model architecture design or but few attention has been put on how to train an anticipation model with a proper learning policy. To this end, in this work, we propose a novel training scheme called Dynamic Context Removal (DCR), which dynamically schedules the visibility of observed future in the learning procedure. It follows the human-like curriculum learning process, i.e., gradually removing the event context to increase the anticipation difficulty till satisfying the final anticipation target. Our learning scheme is plug-and-play and easy to integrate any reasoning model including transformer and LSTM, with advantages in both effectiveness and efficiency. In extensive experiments, the proposed method achieves state-of-the-art on four widely-used benchmarks. Our code and models are publicly released at https://github.com/AllenXuuu/DCR.


title: Sharper bounds for the Chebyshev function $\psi(x)$

abstract: We improve the unconditional explicit bounds for the error term in the prime counting function $\psi(x)$. In particular, we prove that, for all $x>2$, we have \[ \left| \psi(x)-x \right| < 9.22106 \, x \, (\log x)^{3/2} \exp(-0.8476836\sqrt{\log x}), \] and that, for all $\log x \ge 3\,000$, \[ \left| \psi(x)-x \right| < 4.47\cdot 10^{-15} x. \] This compares to results of Platt \& Trudgian (2021) who obtained $4.51\cdot 10^{-13} x $. Our approach represents a significant refinement of ideas of Pintz which had been applied by Platt and Trudgian. Improvements are obtained by splitting the zeros into additional regions, carefully estimating all of the consequent terms, and a significant use of computational methods. Results concerning $\pi(x)$ will appear in a follow up work.


title: Solid-state heteronuclear multiple-quantum spectroscopy under a magic-angle spinning frequency of 150 kHz

abstract: We hereby demonstrate that 1H detected 15N-1H heteronuclear multiple-quantum spectroscopy can be carried out at a magic angle spinning frequency of 150 kHz. While the 15N-1H multiple-quantum coherences can be directly excited from the dipolar order created by the method of adiabatic demagnetization in the rotating frame, it is technically more advantageous to acquire the chemical shift evolution of the heteronuclear multiple-quantum coherence by two separate chemical shift evolution periods for 1H and 15N. We also show that the heteronuclear multiple-quantum correlation spectrum can be obtained by shearing the corresponding heteronuclear single-quantum correlation spectrum.


title: Discrete equational theories

abstract: We introduce discrete equational theories where operations are induced by those having discrete arities. We characterize the corresponding monads as monads preserving surjections. Using it, we prove Birkhoff type theorems for categories of algebras of discrete theories. This extends known results from metric spaces to general symmetric monoidal closed categories.


title: Contextual Attention Mechanism, SRGAN Based Inpainting System for Eliminating Interruptions from Images

abstract: The new alternative is to use deep learning to inpaint any image by utilizing image classification and computer vision techniques. In general, image inpainting is a task of recreating or reconstructing any broken image which could be a photograph or oil/acrylic painting. With the advancement in the field of Artificial Intelligence, this topic has become popular among AI enthusiasts. With our approach, we propose an initial end-to-end pipeline for inpainting images using a complete Machine Learning approach instead of a conventional application-based approach. We first use the YOLO model to automatically identify and localize the object we wish to remove from the image. Using the result obtained from the model we can generate a mask for the same. After this, we provide the masked image and original image to the GAN model which uses the Contextual Attention method to fill in the region. It consists of two generator networks and two discriminator networks and is also called a coarse-to-fine network structure. The two generators use fully convolutional networks while the global discriminator gets hold of the entire image as input while the local discriminator gets the grip of the filled region as input. The contextual Attention mechanism is proposed to effectively borrow the neighbor information from distant spatial locations for reconstructing the missing pixels. The third part of our implementation uses SRGAN to resolve the inpainted image back to its original size. Our work is inspired by the paper Free-Form Image Inpainting with Gated Convolution and Generative Image Inpainting with Contextual Attention.


title: Thinking inside The Box: Learning Hypercube Representations for Group Recommendation

abstract: As a step beyond traditional personalized recommendation, group recommendation is the task of suggesting items that can satisfy a group of users. In group recommendation, the core is to design preference aggregation functions to obtain a quality summary of all group members' preferences. Such user and group preferences are commonly represented as points in the vector space (i.e., embeddings), where multiple user embeddings are compressed into one to facilitate ranking for group-item pairs. However, the resulted group representations, as points, lack adequate flexibility and capacity to account for the multi-faceted user preferences. Also, the point embedding-based preference aggregation is a less faithful reflection of a group's decision-making process, where all users have to agree on a certain value in each embedding dimension instead of a negotiable interval. In this paper, we propose a novel representation of groups via the notion of hypercubes, which are subspaces containing innumerable points in the vector space. Specifically, we design the hypercube recommender (CubeRec) to adaptively learn group hypercubes from user embeddings with minimal information loss during preference aggregation, and to leverage a revamped distance metric to measure the affinity between group hypercubes and item points. Moreover, to counteract the long-standing issue of data sparsity in group recommendation, we make full use of the geometric expressiveness of hypercubes and innovatively incorporate self-supervision by intersecting two groups. Experiments on four real-world datasets have validated the superiority of CubeRec over state-of-the-art baselines.


title: Nonlinear gradient mappings and stochastic optimization: A general framework with applications to heavy-tail noise

abstract: We introduce a general framework for nonlinear stochastic gradient descent (SGD) for the scenarios when gradient noise exhibits heavy tails. The proposed framework subsumes several popular nonlinearity choices, like clipped, normalized, signed or quantized gradient, but we also consider novel nonlinearity choices. We establish for the considered class of methods strong convergence guarantees assuming a strongly convex cost function with Lipschitz continuous gradients under very general assumptions on the gradient noise. Most notably, we show that, for a nonlinearity with bounded outputs and for the gradient noise that may not have finite moments of order greater than one, the nonlinear SGD's mean squared error (MSE), or equivalently, the expected cost function's optimality gap, converges to zero at rate~$O(1/t^\zeta)$, $\zeta \in (0,1)$. In contrast, for the same noise setting, the linear SGD generates a sequence with unbounded variances. Furthermore, for the nonlinearities that can be decoupled component wise, like, e.g., sign gradient or component-wise clipping, we show that the nonlinear SGD asymptotically (locally) achieves a $O(1/t)$ rate in the weak convergence sense and explicitly quantify the corresponding asymptotic variance. Experiments show that, while our framework is more general than existing studies of SGD under heavy-tail noise, several easy-to-implement nonlinearities from our framework are competitive with state of the art alternatives on real data sets with heavy tail noises.


title: SFCW GPR tree roots detection enhancement by time frequency analysis in tropical areas

abstract: Accurate monitoring of tree roots using ground penetrating radar (GPR) is very useful in assessing the trees health. In high moisture tropical areas such as Singapore, tree fall due to root rot can cause loss of lives and properties. The tropical complex soil characteristics due to the high moisture content tends to affect penetration depth of the signal. This limits the depth range of the GPR. Typically, a wide band signal is used to increase the penetration depth and to improve the resolution of the GPR. However, this broad band frequency tends to be noisy and selective frequency filtering is required for noise reduction. Therefore, in this paper, we adapt the stepped frequency continuous wave (SFCW) GPR and propose the use of a Joint time frequency analysis (JTFA) method called short time Fourier transform (STFT), to reduce noise and enhance tree root detection. The proposed methodology is illustrated and tested with controlled experiments and real tree roots testing. The results show promising prospects of the method for tree roots detection in tropical areas.


title: Normal ordering of degenerate integral powers of number operator and its applications

abstract: The normal ordering of an integral power of the number operator in terms of boson operators is expressed with the help of the Stirling numbers of the second kind. As a `degenerate version' of this, we consider the normal ordering of a degenerate integral power of the number operator in terms of boson operators, which is represented by means of the degenerate Stirling numbers of the second kind. As an application of this normal ordering, we derive two equations defining the degenerate Stirling numbers of the second kind and a Dobinski-like formula for the degenerate Bell polynomials.


title: Effect of Electron-Phonon Interaction and Ionized Impurity Scattering on the Room Temperature Thermoelectric Properties of Bulk $MoSe_2$

abstract: We study the thermoelectric properties of bulk $MoSe_2$ within relaxation time approximation including electron-phonon and ionized impurity interactions using first-principles calculations at room temperatures. The anisotropy of this two-dimensional layered metal dichalcogenide is studied by calculations of electron mobility in the cross-plane and the in-plane directions. We show that the cross-plane mobility is two orders of magnitude smaller than the in-plane one. The inclusion of van der Waals interactions further lowers the carrier mobility in the cross-plane direction but minimally affects the in-plane one. The results for in-plane electrical mobility and conductivity are in close agreement with experimentally reported values indicating the accuracy of the calculations. The Seebeck coefficient calculations show that this coefficient is primarily dictated by the band structure. The details of relaxation times and inclusion of van der Waals interactions only slightly change the Seebeck coefficient. The in-plane thermoelectric power factor reaches a maximum value of 20 $\mu Wcm^{-1}K^{-2}$ at a carrier concentration of $1.5x10^{20}$ $cm^{-3}$ at 300K.


title: Fine-Grained Predicates Learning for Scene Graph Generation

abstract: The performance of current Scene Graph Generation models is severely hampered by some hard-to-distinguish predicates, e.g., "woman-on/standing on/walking on-beach" or "woman-near/looking at/in front of-child". While general SGG models are prone to predict head predicates and existing re-balancing strategies prefer tail categories, none of them can appropriately handle these hard-to-distinguish predicates. To tackle this issue, inspired by fine-grained image classification, which focuses on differentiating among hard-to-distinguish object classes, we propose a method named Fine-Grained Predicates Learning (FGPL) which aims at differentiating among hard-to-distinguish predicates for Scene Graph Generation task. Specifically, we first introduce a Predicate Lattice that helps SGG models to figure out fine-grained predicate pairs. Then, utilizing the Predicate Lattice, we propose a Category Discriminating Loss and an Entity Discriminating Loss, which both contribute to distinguishing fine-grained predicates while maintaining learned discriminatory power over recognizable ones. The proposed model-agnostic strategy significantly boosts the performances of three benchmark models (Transformer, VCTree, and Motif) by 22.8\%, 24.1\% and 21.7\% of Mean Recall (mR@100) on the Predicate Classification sub-task, respectively. Our model also outperforms state-of-the-art methods by a large margin (i.e., 6.1\%, 4.6\%, and 3.2\% of Mean Recall (mR@100)) on the Visual Genome dataset.


title: Romanov V48: unusual intermediate polar in the period gap

abstract: We studied Romanov V48, which had been considered as a possible polar below the period minimum (orbital period of 0.0420991 d). We analyzed the publicly available Zwicky Transient Facility data and found that this object is an intermediate polar with an orbital period of 0.102312 d (in the period gap) and a spin period of 0.0420991 d. The amplitude of the spin variation was very large (0.6 mag) and the profile has been confirmed to vary with the beat period of 0.071534 d. The ratio between the spin and orbital periods was large and the system resembles the intermediate polar DW Cnc below the period gap. Infrared emission from Romanov V48, however, could not be explained by radiation from the secondary. The infrared excess and the shape of the spectral energy distribution resembled those of polars, suggesting that the emission mechanism in Romanov V48 is similar to those of polars. Romanov V48 may be an intermediate object between intermediate polars and polars.


title: Local theory of functions on tropical curves in $\mathbb R^n$

abstract: We first develop the local theory of functions on $\mathbb R^n$ defined by tropical Laurent polynomials. We study the structure of the semiring of functions, where two functions are identified when they coincide on a neighborhood of a fixed point. We see that this semiring is closely related to the semiring of functions defined by Boolean Laurent polynomials. Then we develop the local theory of functions on tropical curves. We construct a contravariant functor from the category of 1-dimensional tropical fans to the category of certain homomorphisms of semirings. As an application, we discuss about the smoothness of 1-dimensional tropical fans at the origin.


title: Holomorphic Koszul-Brylinski homology via Dolbeault cohomology

abstract: We use the Dolbeault cohomology to investigate the Koszul-Brylinski homology on holomorphic Poisson manifolds. We obtain the Leray-Hirsch theorem for Hochschild homology and the Mayer-Vietoris sequence, K\"{u}nneth theorem for holomorphic Koszul-Brylinski homology. In particular, we show some relations of holomorphic Koszul-Brylinski homologies around a blow-up transformation for the general case (\emph{not necessarily compact}) by our previous works on the Dolbeault cohomology.


title: Probing Structured Pruning on Multilingual Pre-trained Models: Settings, Algorithms, and Efficiency

abstract: Structured pruning has been extensively studied on monolingual pre-trained language models and is yet to be fully evaluated on their multilingual counterparts. This work investigates three aspects of structured pruning on multilingual pre-trained language models: settings, algorithms, and efficiency. Experiments on nine downstream tasks show several counter-intuitive phenomena: for settings, individually pruning for each language does not induce a better result; for algorithms, the simplest method performs the best; for efficiency, a fast model does not imply that it is also small. To facilitate the comparison on all sparsity levels, we present Dynamic Sparsification, a simple approach that allows training the model once and adapting to different model sizes at inference. We hope this work fills the gap in the study of structured pruning on multilingual pre-trained models and sheds light on future research.


title: Distributed Transition Systems with Tags for Privacy Analysis

abstract: We present a logical framework that formally models how a given private information P stored on a given database D, can get captured progressively, by an agent/adversary querying the database repeatedly. Named DLTTS (Distributed Labeled Tagged Transition System), the framework borrows ideas from several domains: Probabilistic Automata of Segala, Probabilistic Concurrent Systems, and Probabilistic labelled transition systems. To every node on a DLTTS is attached a tag that represents the 'current' knowledge of the adversary, acquired from the responses of the answering mechanism of the DBMS to his/her queries, at the nodes traversed earlier, along any given run; this knowledge is completed at the same node, with further relational deductions, possibly in combination with 'public' information from other databases given in advance. A 'blackbox' mechanism is also part of a DLTTS, and it is meant as an oracle; its role is to tell if the private information has been deduced by the adversary at the current node, and if so terminate the run. An additional special feature is that the blackbox also gives information on how 'close', or how 'far', the knowledge of the adversary is, from the private information P , at the current node. A metric is defined for that purpose, on the set of all 'type compatible' tuples from the given database, the data themselves being typed with the headers of the base. Despite the transition systems flavor of our framework, this metric is not 'behavioral' in the sense presented in some other works. It is exclusively database oriented, and allows to define new notions of adjacency and of indistinguishabilty between databases, more generally than those usually based on the Hamming metric (and a restricted notion of adjacency). Examples are given all along to illustrate how our framework works. Keywords:Database, Privacy, Transition System, Probability, Distribution.


title: Short review on the refractive index of air as a function of temperature, pressure, humidity and ionization

abstract: The empirical law of Gladstone-Dale is insufficient for high-precision studies using the refractivity of a gas: this is not exactly proportional to its density, and the gas may not be properly described as perfect. An optical Mariotte temperature allows making a comparative analysis of the results given by various authors. The effect of hygrometry on the refractivity at visible wavelengths is historically traced and its small effect on the astronomical refraction angle numerically shown. Finally at infrared and radio wavelengths, the effects of the humidity in the lower atmosphere can be strong; as for the ionosphere, its curvature plays an essential role for the astronomical refraction angle unlike in the visible.


title: Interactive Evolutionary Multi-Objective Optimization via Learning-to-Rank

abstract: In practical multi-criterion decision-making, it is cumbersome if a decision maker (DM) is asked to choose among a set of trade-off alternatives covering the whole Pareto-optimal front. This is a paradox in conventional evolutionary multi-objective optimization (EMO) that always aim to achieve a well balance between convergence and diversity. In essence, the ultimate goal of multi-objective optimization is to help a decision maker (DM) identify solution(s) of interest (SOI) achieving satisfactory trade-offs among multiple conflicting criteria. Bearing this in mind, this paper develops a framework for designing preference-based EMO algorithms to find SOI in an interactive manner. Its core idea is to involve human in the loop of EMO. After every several iterations, the DM is invited to elicit her feedback with regard to a couple of incumbent candidates. By collecting such information, her preference is progressively learned by a learning-to-rank neural network and then applied to guide the baseline EMO algorithm. Note that this framework is so general that any existing EMO algorithm can be applied in a plug-in manner. Experiments on $48$ benchmark test problems with up to 10 objectives fully demonstrate the effectiveness of our proposed algorithms for finding SOI.


title: Properties of optical ducts, their chromatism and its effects on astronomical refraction

abstract: The fundamental quadrature governing light rays in a spherically symmetrical medium is first recalled. A rigorous discussion of some qualitative properties of its solutions follows, using the Young-Kattawar diagram which leads to a geometric formulation of the ray curvature. The case of an optical duct is deepened, analyzing transfer curves for different positions of the observer with respect to the duct. New analytical expressions for their wavelength dependence are derived, and their numerical consequences are coherent with computer simulations.


title: Consensual Aggregation on Random Projected High-dimensional Features for Regression

abstract: In this paper, we present a study of a kernel-based consensual aggregation on randomly projected high-dimensional features of predictions for regression. The aggregation scheme is composed of two steps: the high-dimensional features of predictions, given by a large number of regression estimators, are randomly projected into a smaller subspace using Johnson-Lindenstrauss Lemma in the first step, and a kernel-based consensual aggregation is implemented on the projected features in the second step. We theoretically show that the performance of the aggregation scheme is close to the performance of the aggregation implemented on the original high-dimensional features, with high probability. Moreover, we numerically illustrate that the aggregation scheme upholds its performance on very large and highly correlated features of predictions given by different types of machines. The aggregation scheme allows us to flexibly merge a large number of redundant machines, plainly constructed without model selection or cross-validation. The efficiency of the proposed method is illustrated through several experiments evaluated on different types of synthetic and real datasets.


title: A collocation IGA-BEM for 3D potential problems on unbounded domains

abstract: In this paper the numerical solution of potential problems defined on 3D unbounded domains is addressed with Boundary Element Methods (BEMs), since in this way the problem is studied only on the boundary, and thus any finite approximation of the infinite domain can be avoided. The isogeometric analysis (IGA) setting is considered and in particular B-splines and NURBS functions are taken into account. In order to exploit all the possible benefits from using spline spaces, an important point is the development of specific cubature formulas for weakly and nearly singular integrals. Our proposal for this aim is based on spline quasi-interpolation and on the use of a spline product formula. Besides that, a robust singularity extraction procedure is introduced as a preliminary step and an efficient function-by-function assembly phase is adopted. A selection of numerical examples confirms that the numerical solutions reach the expected convergence orders.


title: Face recognition in a transformed domain

abstract: This paper proposes the use of a discrete cosine transform (DCT) instead of the eigenfaces method (Karhunen-Loeve Transform) for biometric identification based on frontal face images. Experimental results show better recognition accuracies and reduced computational burden. This paper includes results with different classifiers and a combination of them.


title: A New Nonlinear speaker parameterization algorithm for speaker identification

abstract: In this paper we propose a new parameterization algorithm based on nonlinear prediction, which is an extension of the classical LPC parameters. The parameters performances are estimated by two different methods: the Arithmetic-Harmonic Sphericity (AHS) and the Auto-Regressive Vector Model (ARVM). Two different methods are proposed for the parameterization based on the Neural Predictive Coding (NPC): classical neural networks initialization and linear initialization. We applied these two parameters to speaker identification. The fist parameters obtained smaller rates. We show for the first parameters how they can be combined with the classical parameters (LPCC, MFCC, etc.) in order to improve the results of only one classical parameterization (MFCC provides 97.55% and MFCC+NPC 98.78%). For the linear initialization, we obtain 100% which is great improvement. This study opens a new way towards different parameterization schemes that offer better accuracy on speaker recognition tasks.


title: Efficient Test-Time Model Adaptation without Forgetting

abstract: Test-time adaptation (TTA) seeks to tackle potential distribution shifts between training and testing data by adapting a given model w.r.t. any testing sample. This task is particularly important for deep models when the test environment changes frequently. Although some recent attempts have been made to handle this task, we still face two practical challenges: 1) existing methods have to perform backward computation for each test sample, resulting in unbearable prediction cost to many applications; 2) while existing TTA solutions can significantly improve the test performance on out-of-distribution data, they often suffer from severe performance degradation on in-distribution data after TTA (known as catastrophic forgetting). In this paper, we point out that not all the test samples contribute equally to model adaptation, and high-entropy ones may lead to noisy gradients that could disrupt the model. Motivated by this, we propose an active sample selection criterion to identify reliable and non-redundant samples, on which the model is updated to minimize the entropy loss for test-time adaptation. Furthermore, to alleviate the forgetting issue, we introduce a Fisher regularizer to constrain important model parameters from drastic changes, where the Fisher importance is estimated from test samples with generated pseudo labels. Extensive experiments on CIFAR-10-C, ImageNet-C, and ImageNet-R verify the effectiveness of our proposed method.


title: Cloning Outfits from Real-World Images to 3D Characters for Generalizable Person Re-Identification

abstract: Recently, large-scale synthetic datasets are shown to be very useful for generalizable person re-identification. However, synthesized persons in existing datasets are mostly cartoon-like and in random dress collocation, which limits their performance. To address this, in this work, an automatic approach is proposed to directly clone the whole outfits from real-world person images to virtual 3D characters, such that any virtual person thus created will appear very similar to its real-world counterpart. Specifically, based on UV texture mapping, two cloning methods are designed, namely registered clothes mapping and homogeneous cloth expansion. Given clothes keypoints detected on person images and labeled on regular UV maps with clear clothes structures, registered mapping applies perspective homography to warp real-world clothes to the counterparts on the UV map. As for invisible clothes parts and irregular UV maps, homogeneous expansion segments a homogeneous area on clothes as a realistic cloth pattern or cell, and expand the cell to fill the UV map. Furthermore, a similarity-diversity expansion strategy is proposed, by clustering person images, sampling images per cluster, and cloning outfits for 3D character generation. This way, virtual persons can be scaled up densely in visual similarity to challenge model learning, and diversely in population to enrich sample distribution. Finally, by rendering the cloned characters in Unity3D scenes, a more realistic virtual dataset called ClonedPerson is created, with 5,621 identities and 887,766 images. Experimental results show that the model trained on ClonedPerson has a better generalization performance, superior to that trained on other popular real-world and synthetic person re-identification datasets. The ClonedPerson project is available at https://github.com/Yanan-Wang-cs/ClonedPerson.


title: Study of the front-end signal for the 3-inch PMTs instrumentation in JUNO

abstract: 25,600 3-inch PMTs will be installed in Jiangmen Underground Neutrino Observatory (JUNO) to achieve more precise energy calibration and to extend the physics detection potential. Performances of all bare PMTs have been characterized and these PMTs are being instrumented with the high voltage divider, underwater front-end cable, and connector. In this paper, we present a dedicated study on signal quality at different stages of the instrumentation. An optimized high voltage ratio was confirmed and finalized which improved the PMT transit time spread by 25%. The signal charge was attenuated by 22.5% (13.0%) in the 10 m (5 m) cable and it required the addition of 45 V (23 V) to compensate for the loss of PMT gain. There was a 1% overshoot following the PMT signal and no sign of reflection in the connector. A group of 16 3-inch PMTs with the full instrumentation was installed in the JUNO prototype detector together with a few 8-inch and 20-inch PMTs, which showed good stability and demonstrated a photon detection system with multiple types of PMTs.


title: Albanese maps for open algebraic spaces

abstract: We show that for each algebraic space that is separated and of finite type over a field, and whose affinization is connected and reduced, there is a universal morphism to a para-abelian variety. The latter are schemes that acquire the structure of an abelian variety after some ground field extension. This generalizes classical results of Serre on universal morphisms from algebraic varieties to abelian varieties. Our proof relies on corresponding facts for the proper case, together with the structural properties of group schemes, removal of singularities by alterations, and ind-objects. It turns out that the formation of the Albanese variety commutes with base-change up to universal homeomorphisms. We also give a detailed analysis of Albanese maps for algebraic curves and algebraic groups, with special emphasis on imperfect ground fields.


title: Phase-resolved ocean wave forecast with simultaneous current estimation through data assimilation

abstract: In Wang & Pan (J. Fluid Mech., vol. 918, A19, 2021), the authors developed the first ensemble-based data assimilation (DA) capability for the reconstruction and forecast of ocean surface waves, namely the EnKF-HOS method coupling an ensemble Kalman filter (EnKF) and the high-order spectral (HOS) method. In this work, we continue to enrich the method by allowing it to simultaneously estimate the ocean current field, which is in general not known a priori and can (slowly) vary in both space and time. To achieve this goal, we incorporate the effect of ocean current (as unknown parameters) on waves to build the HOS-C method as the forward prediction model, and obtain a simultaneous estimation of (current) parameters and (wave) states via an iterative EnKF (IEnKF) method that is necessary to handle the complexity in this DA problem. The new algorithm, named IEnKF-HOS-C method, is first tested in synthetic problems with various forms (steady/unsteady, uniform/non-uniform) of current. It is shown that the IEnKF-HOS-C method is able to not only estimate the current field accurately, but also boost the prediction accuracy of the wave field (even) relative to the state-of-the-art EnKF-HOS method. Finally, using real data from a shipborne radar, we show that the IEnKF-HOS-C method successfully recovers the current speed that matches the in situ measurement by a floating buoy.