title: Ref-NPR: Reference-Based Non-Photorealistic Radiance Fields for Controllable Scene Stylization

abstract: Current 3D scene stylization methods transfer textures and colors as styles using arbitrary style references, lacking meaningful semantic correspondences. We introduce Reference-Based Non-Photorealistic Radiance Fields (Ref-NPR) to address this limitation. This controllable method stylizes a 3D scene using radiance fields with a single stylized 2D view as a reference. We propose a ray registration process based on the stylized reference view to obtain pseudo-ray supervision in novel views. Then we exploit semantic correspondences in content images to fill occluded regions with perceptually similar styles, resulting in non-photorealistic and continuous novel view sequences. Our experimental results demonstrate that Ref-NPR outperforms existing scene and video stylization methods regarding visual quality and semantic correspondence. The code and data are publicly available on the project page at https://ref-npr.github.io.


title: New bounds of extended energy of a graph

abstract: Extended adjacency matrix of a graph with $n$ vertices is a real symmetric marix of order $n\times n$ whose $(i,j)$-th entry is the average of the ratio of the degree of the vertex $i$ to that of the vertex $j$ and its reciprocal when $i,j$ are adjacent, and zero otherwise. Aggregate of absolute eigenvalues of the extended adjacency matrix is termed as the extended energy. In this paper, the concept of extended vertex energy is introduced and some bounds of extended vertex energy are obtained. From there, we obtain some new upper bounds of the extended energy of a graph. Next, we obtain two inequalities which relate the extended energy with the ordinary graph energy. One of those inequalities resolves a conjecture which states that for every graph, ordinary energy can never exceed the extended energy. Using the relationships of extended energy and ordinary energy, we obtain new bounds of extended energy involving the order, size, largest and smallest degree of the graph. We show that these new bounds are improvements of some existing bounds. Finally, some improved bounds of Nordhaus-Gaddum-type are also found.


title: Non-trivial lower bound for 3-coloring the ring in the quantum LOCAL model

abstract: We consider the LOCAL model of distributed computing, where in a single round of communication each node can send to each of its neighbors a message of an arbitrary size. It is know that, classically, the round complexity of 3-coloring an $n$-node ring is $\Theta(\log^*\!n)$. In the case where communication is quantum, only trivial bounds were known: at least some communication must take place. We study distributed algorithms for coloring the ring that perform only a single round of one-way communication. Classically, such limited communication is already known to reduce the number of required colors from $\Theta(n)$, when there is no communication, to $\Theta(\log n)$. In this work, we show that the probability of any quantum single-round one-way distributed algorithm to output a proper $3$-coloring is exponentially small in $n$.


title: Exploring SMEFT operators through single top-quark production associated with the Higgs boson at the LHC

abstract: The Standard Model effective field theory (SMEFT) provides a general framework to include the dynamics of the beyond standard model physics residing at a certain higher energy scale $\Lambda$. We study the top-quark production along with a Higgs boson and a jet (tHq) at the LHC experiment within the framework of the SMEFT. First, identifying the relevant sensitive dimension-6 SMEFT operators, a strategy is developed to constrain the Wilson Coefficients (WC) corresponding to these associated SMEFT operators using the latest LHC measurements, providing a complementary way to the global-fit approach. The best-fit values of these WCs are presented. Finally, we discuss the discovery potential of the signatures of those operators. We find that a discoverable excess due to SMEFT effects can be observed in the tHq process at the LHC with the center of mass energy $\sqrt{s}=13$ TeV and integrated luminosity options ${\cal L}=$300 $\rm fb^{-1}$ and 3000 $\rm fb^{-1}$.


title: CSQ: Growing Mixed-Precision Quantization Scheme with Bi-level Continuous Sparsification

abstract: Mixed-precision quantization has been widely applied on deep neural networks (DNNs) as it leads to significantly better efficiency-accuracy tradeoffs compared to uniform quantization. Meanwhile, determining the exact precision of each layer remains challenging. Previous attempts on bit-level regularization and pruning-based dynamic precision adjustment during training suffer from noisy gradients and unstable convergence. In this work, we propose Continuous Sparsification Quantization (CSQ), a bit-level training method to search for mixed-precision quantization schemes with improved stability. CSQ stabilizes the bit-level mixed-precision training process with a bi-level gradual continuous sparsification on both the bit values of the quantized weights and the bit selection in determining the quantization precision of each layer. The continuous sparsification scheme enables fully-differentiable training without gradient approximation while achieving an exact quantized model in the end.A budget-aware regularization of total model size enables the dynamic growth and pruning of each layer's precision towards a mixed-precision quantization scheme of the desired size. Extensive experiments show CSQ achieves better efficiency-accuracy tradeoff than previous methods on multiple models and datasets.


title: Detection of large exact subgraph isomorphisms with a topology-only graphlet index built using deterministic walks

abstract: We introduce the first algorithm to perform topology-only local graph matching (a.k.a. local network alignment or subgraph isomorphism): BLANT, for Basic Local Alignment of Network Topology. BLANT first creates a limited, high-specificity index of a single graph containing connected k-node induced subgraphs called k-graphlets, for k=6-15. The index is constructed in a deterministic way such that, if significant common network topology exists between two networks, their indexes are likely to overlap. This is the key insight which allows BLANT to discover alignments using only topological information. To align two networks, BLANT queries their respective indexes to form large, high quality local alignments. BLANT is able to discover highly topologically similar alignments (S3 >= 0.95) of up to 150 node-pairs for which up to 50% of node pairs differ from their "assigned" global counterpart. These results compare favorably against the baseline, a state-of-the-art local alignment algorithm which was adapted to be topology-only. Such alignments are 3x larger and differ 30% more (additive) more from the global alignment than alignments of similar topological similarity (S3 >= 0.95) discovered by the baseline. We hope that such regions of high local similarity and low global similarity may provide complementary insights to global alignment algorithms.


title: Giant gate-tunable renormalization of spin-correlated flat-band states and bandgap in a 2D magnetic insulator

abstract: Emergent quantum phenomena in two-dimensional van der Waal (vdW) magnets are largely governed by the interplay between the exchange and Coulomb interactions. The ability to tune the Coulomb interaction in such strongly correlated materials enables the precise control of spin-correlated flat-band states, bandgap (Eg) and unconventional magnetism, all of which are crucial for next-generation spintronics and magnonics applications. Here, we demonstrate a giant gate-tunable renormalization of spin-correlated flat-band states and bandgap in magnetic chromium tribromide (CrBr3) monolayers grown on graphene. Our gate-dependent scanning tunneling spectroscopy (STS) studies reveal that the inter-flat-band spacing and bandgap of CrBr3 can be continuously tuned by 120 meV and 240 meV respectively via electrostatic injection of carriers into the hybrid CrBr3/graphene system, equivalent to the modulation of the Cr on-site Coulomb repulsion energy by 500 meV. This can be attributed to the self-screening of CrBr3 arising from the gate-induced carriers injected into CrBr3, which dominates over the opposite trend from the remote screening of the graphene substrate. Precise tuning of the spin-correlated flat-band states and bandgap in 2D magnets via electrostatic modulation of Coulomb interactions not only provides new strategies for optimizing the spin transport channels but also may exert a crucial influence on the exchange energy and spin-wave gap, which could raise the critical temperature for magnetic order.


title: DiffusionInst: Diffusion Model for Instance Segmentation

abstract: Diffusion frameworks have achieved comparable performance with previous state-of-the-art image generation models. Researchers are curious about its variants in discriminative tasks because of its powerful noise-to-image denoising pipeline. This paper proposes DiffusionInst, a novel framework that represents instances as instance-aware filters and formulates instance segmentation as a noise-to-filter denoising process. The model is trained to reverse the noisy groundtruth without any inductive bias from RPN. During inference, it takes a randomly generated filter as input and outputs mask in one-step or multi-step denoising. Extensive experimental results on COCO and LVIS show that DiffusionInst achieves competitive performance compared to existing instance segmentation models with various backbones, such as ResNet and Swin Transformers. We hope our work could serve as a strong baseline, which could inspire designing more efficient diffusion frameworks for challenging discriminative tasks. Our code is available in https://github.com/chenhaoxing/DiffusionInst.


title: Adaptive Testing of Computer Vision Models

abstract: Vision models often fail systematically on groups of data that share common semantic characteristics (e.g., rare objects or unusual scenes), but identifying these failure modes is a challenge. We introduce AdaVision, an interactive process for testing vision models which helps users identify and fix coherent failure modes. Given a natural language description of a coherent group, AdaVision retrieves relevant images from LAION-5B with CLIP. The user then labels a small amount of data for model correctness, which is used in successive retrieval rounds to hill-climb towards high-error regions, refining the group definition. Once a group is saturated, AdaVision uses GPT-3 to suggest new group descriptions for the user to explore. We demonstrate the usefulness and generality of AdaVision in user studies, where users find major bugs in state-of-the-art classification, object detection, and image captioning models. These user-discovered groups have failure rates 2-3x higher than those surfaced by automatic error clustering methods. Finally, finetuning on examples found with AdaVision fixes the discovered bugs when evaluated on unseen examples, without degrading in-distribution accuracy, and while also improving performance on out-of-distribution datasets.


title: Detailed structural and topological analysis of SnBi2Te4 single crystal

abstract: We report herein the successful synthesis of the topological material SnBi2Te4 in single-crystal form. Phase purity and unidirectional growth are evident from X-ray diffraction (XRD) patterns acquired from a powdered sample and a crystal flake. The crystalline morphology has also been visualized by acquiring a field-emission scanning electron microscope (FESEM) image. The crystal has been thoroughly characterized by means of Raman spectroscopy and X ray photoelectron spectroscopy (XPS) measurements. The topological properties of SnBi2Te4 have been probed through magneto-transport measurements. SnBi2Te4 has been found to exhibit a small but non-saturating magneto-resistance (MR) up to 12 T. The low-field magnetoconductivity (MC) of SnBi2Te4 at 2 K can be well explained through the Hikami Larkin Nagaoka (HLN) formalism, which confirms the presence of a weak anti-localization (WAL) effect in its crystal. Moreover, the non-trivial topological character has been evidenced through first-principles calculations using density functional theory (DFT), with and without spin-orbit coupling (SOC) protocols. A significant change in the bulk electronic band structure is observed upon the inclusion of SOC parameters, signifying the topological properties of SnBi2Te4. Its topological non-trivial character has also been verified through the calculation of Z2 invariants and the surface states spectrum in the (111) plane.


title: Quantum vacuum, rotation, and nonlinear fields

abstract: In this paper, we extend previous results on the quantum vacuum or Casimir energy, for a noninteracting rotating system and for an interacting nonrotating system, to the case where both rotation and interactions are present. Concretely, we first reconsider the noninteracting rotating case of a scalar field theory and propose an alternative and simpler method to compute the Casimir energy based on a replica trick and the Coleman-Weinberg effective potential. We then consider the simultaneous effect of rotation and interactions, including an explicit breaking of rotational symmetry. To study this problem, we develop a numerical implementation of zeta function regularization. Our work recovers previous results as limiting cases and shows that the simultaneous inclusion of rotation and interactions produces nontrivial changes in the quantum vacuum energy. Besides expected changes (where, as the size of the ring increases for fixed interaction strength, the angular momentum grows with the angular velocity), we notice that the way rotation combines with the coupling constant amplifies the intensity of the interaction strength. Interestingly, we also observe a departure from the typical massless behavior where the Casimir energy is proportional to the inverse size of the ring.


title: Holographic duals of the $\mathcal{N}=1$* gauge theory

abstract: We use the long-wavelength effective theory of black branes (blackfold approach) to perturbatively construct holographic duals of the vacua of the $\mathcal{N}=1$* supersymmetric gauge theory. Employing the mechanism of Polchinski and Strassler, we consider wrapped black five-brane probes with D3-brane charge moving in the perturbative supergravity backgrounds corresponding to the high and low temperature phases of the gauge theory. Our approach recovers the results for the brane potentials and equilibrium configurations known in the literature in the extremal limit, while away from extremality we find metastable black D3-NS5 configurations with horizon topology $\mathbb{R}^3\times \mathbb{S}^2\times\mathbb{S}^3$ in certain regimes of parameter space, which cloak potential brane singularities. We uncover novel features of the phase diagram of the $\mathcal{N}=1$* gauge theory in different ensembles and provide further evidence for the appearance of metastable states in holographic backgrounds dual to confining gauge theories.


title: Is the study of Indigenous mathematics ill-directed or beneficial?

abstract: The old lie of mathematical inadequacy of Indigenous communities has been curiously persistent despite increasing evidence shows that many Indigenous communities practiced mathematics. Attempts to study and teach Indigenous mathematical knowledge have always been questioned and even denied validity. The Aboriginal and Torres Strait Islander Histories and Cultures cross-curriculum priority in the F-10 Australian schools curriculum, from 2022 onwards, includes content elaborations related to Indigenous mathematics, which have been developed and refined by expert Indigenous advisers. We celebrate this initiative, but experience also tells us to expect some resistance from sectors of the education communities who hold to an exclusively Anglo-European provenance of mathematics. Through this review article we seek to constructively forestall potential pushback and address concerns regarding the legitimacy and pedagogical value of Indigenous mathematics, by countering with evidence some published claims of mathematical inadequacies of Australian First Nations cultures.


title: PrefRec: Recommender Systems with Human Preferences for Reinforcing Long-term User Engagement

abstract: Current advances in recommender systems have been remarkably successful in optimizing immediate engagement. However, long-term user engagement, a more desirable performance metric, remains difficult to improve. Meanwhile, recent reinforcement learning (RL) algorithms have shown their effectiveness in a variety of long-term goal optimization tasks. For this reason, RL is widely considered as a promising framework for optimizing long-term user engagement in recommendation. Though promising, the application of RL heavily relies on well-designed rewards, but designing rewards related to long-term user engagement is quite difficult. To mitigate the problem, we propose a novel paradigm, recommender systems with human preferences (or Preference-based Recommender systems), which allows RL recommender systems to learn from preferences about users historical behaviors rather than explicitly defined rewards. Such preferences are easily accessible through techniques such as crowdsourcing, as they do not require any expert knowledge. With PrefRec, we can fully exploit the advantages of RL in optimizing long-term goals, while avoiding complex reward engineering. PrefRec uses the preferences to automatically train a reward function in an end-to-end manner. The reward function is then used to generate learning signals to train the recommendation policy. Furthermore, we design an effective optimization method for PrefRec, which uses an additional value function, expectile regression and reward model pre-training to improve the performance. We conduct experiments on a variety of long-term user engagement optimization tasks. The results show that PrefRec significantly outperforms previous state-of-the-art methods in all the tasks.


title: Parameter Efficient Transfer Learning for Various Speech Processing Tasks

abstract: Fine-tuning of self-supervised models is a powerful transfer learning method in a variety of fields, including speech processing, since it can utilize generic feature representations obtained from large amounts of unlabeled data. Fine-tuning, however, requires a new parameter set for each downstream task, which is parameter inefficient. Adapter architecture is proposed to partially solve this issue by inserting lightweight learnable modules into a frozen pre-trained model. However, existing adapter architectures fail to adaptively leverage low- to high-level features stored in different layers, which is necessary for solving various kinds of speech processing tasks. Thus, we propose a new adapter architecture to acquire feature representations more flexibly for various speech tasks. In experiments, we applied this adapter to WavLM on four speech tasks. It performed on par or better than naive fine-tuning, with only 11% of learnable parameters. It also outperformed an existing adapter architecture.


title: QEBVerif: Quantization Error Bound Verification of Neural Networks

abstract: To alleviate the practical constraints for deploying deep neural networks (DNNs) on edge devices, quantization is widely regarded as one promising technique. It reduces the resource requirements for computational power and storage space by quantizing the weights and/or activation tensors of a DNN into lower bit-width fixed-point numbers, resulting in quantized neural networks (QNNs). While it has been empirically shown to introduce minor accuracy loss, critical verified properties of a DNN might become invalid once quantized. Existing verification methods focus on either individual neural networks (DNNs or QNNs) or quantization error bound for partial quantization. In this work, we propose a quantization error bound verification method, named QEBVerif, where both weights and activation tensors are quantized. QEBVerif consists of two parts, i.e., a differential reachability analysis (DRA) and a mixed-integer linear programming (MILP) based verification method. DRA performs difference analysis between the DNN and its quantized counterpart layer-by-layer to compute a tight quantization error interval efficiently. If DRA fails to prove the error bound, then we encode the verification problem into an equivalent MILP problem which can be solved by off-the-shelf solvers. Thus, QEBVerif is sound, complete, and reasonably efficient. We implement QEBVerif and conduct extensive experiments, showing its effectiveness and efficiency.


title: Self-Supervised Audio-Visual Speech Representations Learning By Multimodal Self-Distillation

abstract: In this work, we present a novel method, named AV2vec, for learning audio-visual speech representations by multimodal self-distillation. AV2vec has a student and a teacher module, in which the student performs a masked latent feature regression task using the multimodal target features generated online by the teacher. The parameters of the teacher model are a momentum update of the student. Since our target features are generated online, AV2vec needs no iteration step like AV-HuBERT and the total training time cost is reduced to less than one-fifth. We further propose AV2vec-MLM in this study, which augments AV2vec with a masked language model (MLM)-style loss using multitask learning. Our experimental results show that AV2vec achieved comparable performance to the AV-HuBERT baseline. When combined with an MLM-style loss, AV2vec-MLM outperformed baselines and achieved the best performance on the downstream tasks.


title: Understanding the nature of $\Omega(2012)$ in a coupled-channel approach

abstract: We perform a systematic analysis of the mass and strong decays of the $\Omega(2012)$ resonance in a coupled-channel approach of a bare three-quark state and a composite meson-baryon state. Besides the coupling of the bare state and $\Xi^* \bar K$ channel, the effective meson-baryon interactions are also included. We find a pole with mass of $2008$ MeV by solving the Bethe-Salpeter equation. The calculated decay widths and its ratios of branching fractions $\mathcal {R}_{\Xi \bar K}^{\Xi \pi \bar K}$ agree well with the new experimental measurement by Belle Collaboration. Our results suggest that both three-quark core and $\Xi^* \bar K$ channel are essential for the description of the $\Omega(2012)$ resonance. We expect that present calculations can help us to better understand the nature of $\Omega(2012)$ resonance.


title: Hidden biases in flux-resolved X-ray spectroscopy

abstract: Flux-resolved X-ray spectroscopy is widely adopted to investigate the spectral variation of a target between various flux levels. In many cases it is done through horizontally splitting a single light curve into multiple flux levels with certain count rate threshold(s). In this work we point out there are two hidden biases in this approach which could affect the spectral analyses under particular circumstances. The first is that, when Poisson fluctuations of the source counts in light curve bins are non-negligible compared with the intrinsic variation, this approach would over-estimate (under-estimate) the intrinsic average flux level of the high (low) state. The second bias is that, when the Poisson fluctuations of the background count rate is non-negligible, the background spectrum of the high (low) state would be under-estimated (over-estimated), thus yielding biased spectral fitting parameters. We take NuSTAR spectra for example to illustrate the effects of the biases, and particularly, how the measurements of the coronal temperature in AGNs would be biased. We present a toy method to assess the significance of such biases, and approaches to correct for them when necessary.


title: Union-set Multi-source Model Adaptation for Semantic Segmentation

abstract: This paper solves a generalized version of the problem of multi-source model adaptation for semantic segmentation. Model adaptation is proposed as a new domain adaptation problem which requires access to a pre-trained model instead of data for the source domain. A general multi-source setting of model adaptation assumes strictly that each source domain shares a common label space with the target domain. As a relaxation, we allow the label space of each source domain to be a subset of that of the target domain and require the union of the source-domain label spaces to be equal to the target-domain label space. For the new setting named union-set multi-source model adaptation, we propose a method with a novel learning strategy named model-invariant feature learning, which takes full advantage of the diverse characteristics of the source-domain models, thereby improving the generalization in the target domain. We conduct extensive experiments in various adaptation settings to show the superiority of our method. The code is available at https://github.com/lzy7976/union-set-model-adaptation.


title: Solvable Limits of a class of generalized Vector Nonlocal Nonlinear Schr\"odinger equation with balanced loss-gain

abstract: We consider a class of one dimensional Vector Nonlocal Non-linear Schr\"odinger Equation (VNNLSE) in an external complex potential with time-modulated Balanced Loss-Gain(BLG) and Linear Coupling(LC) among the components of Schr\"odinger fields, and space-time dependent nonlinear strength. The system admits Lagrangian and Hamiltonian formulations under certain conditions. It is shown that various dynamical variables like total power, $\cal{PT}$-symmetric Hamiltonian, width of the wave-packet and its speed of growth, etc. are real-valued despite the Hamiltonian density being complex-valued. We study the exact solvability of the generic VNNLSE with or without a Hamiltonian formulation. In the first part, we study time-evolution of moments which are analogous to space-integrals of Stokes variables and find condition for existence of solutions which are bounded in time. In the second part, we use a non-unitary transformation followed by a coordinate transformation to map the VNNLSE to various solvable equations. The cordinate transformation is not required at all for the limiting case when non-unitary transformation reduces to pseudo-unitary transformation. The exact solutions are bounded in time for the same condition which is obtained through the study of time-evolution of moments. Various exact solutions of the VNNLSE are presented.


title: Effect of anomalous magnetic moment on the chiral transition at zero temperature in a strong magnetic field

abstract: The effect of the anomalous magnetic moment (AMM) on the chiral restoration is investigated at zero temperature in the strong magnetic fields with the vacuum magnetic regularization scheme. It is shown that the chiral restoration diagram sensitively depends on the AMM in the ultrastrong magnetic fields. In our work, the parameterization of AMM is employed as proportional to the square of the chiral condensate. The critical chemical potential is found to decrease linearly by the increasing coefficient in the AMM scale. At a smaller scale of the AMM, the critical chemical potential could go down and then grow up as the magnetic field increases. But at a larger scale, the magnetic catalysis on the critical chemical potential would not happen anymore.


title: An Ap star catalog based on LAMOST DR9

abstract: We present a sample of 2700 Ap stars in LAMOST DR9. The candidates are first selected to be in a temperature range typical of Ap stars by using the $BP$-$RP$ color index from Gaia DR3. Then the 5200\,\AA\ flux depression features characteristic of Ap stars are visually checked in LAMOST DR9 spectra. The detailed spectral features are given by applying a modified spectral classification program, MKCLASS. Stellar parameters of these Ap stars such as $T_{\rm eff}$, $\log g$, [Fe/H], [Si/H], and $v{\sin}i$ are either extracted from a hot star catalog or derived through empirical relations and then a statistical analysis is carried out. The evolutionary stages are also discussed. Finally, we discuss the rotation and pulsation features of those who have TESS or Kepler light curves. Among these Ap stars we find 7 new rotation variables, 1 new roAp star, and new $\delta$ Scuti pulsation of a previously known roAp star.


title: A K-variate Time Series Is Worth K Words: Evolution of the Vanilla Transformer Architecture for Long-term Multivariate Time Series Forecasting

abstract: Multivariate time series forecasting (MTSF) is a fundamental problem in numerous real-world applications. Recently, Transformer has become the de facto solution for MTSF, especially for the long-term cases. However, except for the one forward operation, the basic configurations in existing MTSF Transformer architectures were barely carefully verified. In this study, we point out that the current tokenization strategy in MTSF Transformer architectures ignores the token uniformity inductive bias of Transformers. Therefore, the vanilla MTSF transformer struggles to capture details in time series and presents inferior performance. Based on this observation, we make a series of evolution on the basic architecture of the vanilla MTSF transformer. We vary the flawed tokenization strategy, along with the decoder structure and embeddings. Surprisingly, the evolved simple transformer architecture is highly effective, which successfully avoids the over-smoothing phenomena in the vanilla MTSF transformer, achieves a more detailed and accurate prediction, and even substantially outperforms the state-of-the-art Transformers that are well-designed for MTSF.


title: Excited fermions on kinks and the Dirac sea

abstract: We study quantum effects of recently discovered kink solitons which are constructed self-consistently by coupling to a single, excited fermion bound state. Our studies are based on the observation that in a semi-classical expansion the energies of this single level and of the Dirac sea should be treated equally. For these kink solutions we compute the energy of the Dirac sea as the fermion vacuum polarization energy. We find it to be substantial and to typically outweigh the energy gain from binding the single level.


title: Event-based Monocular Dense Depth Estimation with Recurrent Transformers

abstract: Event cameras, offering high temporal resolutions and high dynamic ranges, have brought a new perspective to address common challenges (e.g., motion blur and low light) in monocular depth estimation. However, how to effectively exploit the sparse spatial information and rich temporal cues from asynchronous events remains a challenging endeavor. To this end, we propose a novel event-based monocular depth estimator with recurrent transformers, namely EReFormer, which is the first pure transformer with a recursive mechanism to process continuous event streams. Technically, for spatial modeling, a novel transformer-based encoder-decoder with a spatial transformer fusion module is presented, having better global context information modeling capabilities than CNN-based methods. For temporal modeling, we design a gate recurrent vision transformer unit that introduces a recursive mechanism into transformers, improving temporal modeling capabilities while alleviating the expensive GPU memory cost. The experimental results show that our EReFormer outperforms state-of-the-art methods by a margin on both synthetic and real-world datasets. We hope that our work will attract further research to develop stunning transformers in the event-based vision community. Our open-source code can be found in the supplemental material.


title: Stability and passivity for a class of distributed port-Hamiltonian networks

abstract: We consider a class of infinite dimensional (distributed) pH systems which is invariant under Kirchhoff-type interconnections and prove exponential stability and a power balance equation for classical solutions. The results are illustrated for power networks that incorporate distributed transmission line models based on the telegraph equations.


title: White and green rust chimneys accumulate RNA in a ferruginous chemical garden

abstract: Mechanisms of nucleic acid accumulation were likely critical to the emergence of life in the ferruginous oceans of the early Earth. How exactly prebiotic geological settings accumulated nucleic acids from dilute aqueous solutions, is poorly understood. As a possible solution to this concentration problem, we simulated the conditions of prebiotic low-temperature alkaline hydrothermal vents in co-precipitation experiments to investigate the potential of ferruginous chemical gardens to accumulate nucleic acids via sorption. The injection of an alkaline solution into an artificial ferruginous solution under anoxic conditions (O2 <0.01% of present atmospheric levels) and at ambient temperatures, caused the precipitation of amakinite (white rust), which quickly converted to chloride-containing fougerite (green rust). RNA was only extractable from the ferruginous solution in the presence of a phosphate buffer, suggesting RNA in solution was bound to Fe2+ ions. During chimney formation, this iron-bound RNA rapidly accumulated in the white and green rust chimney structure, as it was depleted from the surrounding solution. Our findings reveal that in the oceans of the early Earth, white and green rust chimneys were likely key geochemical features that can rapidly sequester and accumulate RNA. This represents a new mechanism for nucleic acid accumulation, in addition to wet dry cycles, and may have promoted RNA survival in a dilute prebiotic ocean.


title: Hybrid Model using Feature Extraction and Non-linear SVM for Brain Tumor Classification

abstract: It is essential to classify brain tumors from magnetic resonance imaging (MRI) accurately for better and timely treatment of the patients. In this paper, we propose a hybrid model, using VGG along with Nonlinear-SVM (Soft and Hard) to classify the brain tumors: glioma and pituitary and tumorous and non-tumorous. The VGG-SVM model is trained for two different datasets of two classes; thus, we perform binary classification. The VGG models are trained via the PyTorch python library to obtain the highest testing accuracy of tumor classification. The method is threefold, in the first step, we normalize and resize the images, and the second step consists of feature extraction through variants of the VGG model. The third step classified brain tumors using non-linear SVM (soft and hard). We have obtained 98.18% accuracy for the first dataset and 99.78% for the second dataset using VGG19. The classification accuracies for non-linear SVM are 95.50% and 97.98% with linear and rbf kernel and 97.95% for soft SVM with RBF kernel with D1, and 96.75% and 98.60% with linear and RBF kernel and 98.38% for soft SVM with RBF kernel with D2. Results indicate that the hybrid VGG-SVM model, especially VGG 19 with SVM, is able to outperform existing techniques and achieve high accuracy.


title: Emerging Technology and Policy Co-Design Considerations for the Safe and Transparent Use of Small Unmanned Aerial Systems

abstract: The rapid technological growth observed in the sUAS sector over the past decade has been unprecedented and has left gaps in policies and regulations to adequately provide for a safe and trusted environment in which to operate these devices. The Center for Security in Politics at UC Berkeley, via a two-day workshop, analyzed these gaps by addressing the entire sUAS vertical. From human factors to autonomy, we recommend a series of steps that can be taken by partners in the academic, commercial, and government sectors to reduce policy gaps introduced in the wake of the growth of the sUAS industry.


title: DiffuPose: Monocular 3D Human Pose Estimation via Denoising Diffusion Probabilistic Model

abstract: Thanks to the development of 2D keypoint detectors, monocular 3D human pose estimation (HPE) via 2D-to-3D uplifting approaches have achieved remarkable improvements. Still, monocular 3D HPE is a challenging problem due to the inherent depth ambiguities and occlusions. To handle this problem, many previous works exploit temporal information to mitigate such difficulties. However, there are many real-world applications where frame sequences are not accessible. This paper focuses on reconstructing a 3D pose from a single 2D keypoint detection. Rather than exploiting temporal information, we alleviate the depth ambiguity by generating multiple 3D pose candidates which can be mapped to an identical 2D keypoint. We build a novel diffusion-based framework to effectively sample diverse 3D poses from an off-the-shelf 2D detector. By considering the correlation between human joints by replacing the conventional denoising U-Net with graph convolutional network, our approach accomplishes further performance improvements. We evaluate our method on the widely adopted Human3.6M and HumanEva-I datasets. Comprehensive experiments are conducted to prove the efficacy of the proposed method, and they confirm that our model outperforms state-of-the-art multi-hypothesis 3D HPE methods.


title: FlowFace: Semantic Flow-guided Shape-aware Face Swapping

abstract: In this work, we propose a semantic flow-guided two-stage framework for shape-aware face swapping, namely FlowFace. Unlike most previous methods that focus on transferring the source inner facial features but neglect facial contours, our FlowFace can transfer both of them to a target face, thus leading to more realistic face swapping. Concretely, our FlowFace consists of a face reshaping network and a face swapping network. The face reshaping network addresses the shape outline differences between the source and target faces. It first estimates a semantic flow (i.e., face shape differences) between the source and the target face, and then explicitly warps the target face shape with the estimated semantic flow. After reshaping, the face swapping network generates inner facial features that exhibit the identity of the source face. We employ a pre-trained face masked autoencoder (MAE) to extract facial features from both the source face and the target face. In contrast to previous methods that use identity embedding to preserve identity information, the features extracted by our encoder can better capture facial appearances and identity information. Then, we develop a cross-attention fusion module to adaptively fuse inner facial features from the source face with the target facial attributes, thus leading to better identity preservation. Extensive quantitative and qualitative experiments on in-the-wild faces demonstrate that our FlowFace outperforms the state-of-the-art significantly.


title: A new inversion scheme for elastic diffraction tomography

abstract: We consider the problem of elastic diffraction tomography, which consists in reconstructing elastic properties (i.e. mass density and elastic Lam\'e parameters) of a weakly scattering medium from full-field data of scattered waves outside the medium. Elastic diffraction tomography refers to the elastic inverse scattering problem after linearization using a firstorder Born approximation. In this paper, we prove the Fourier diffraction theorem, which relates the 2D Fourier transform of scattered waves with the Fourier transform of the scatterer in the 3D spatial Fourier domain. Elastic wave mode separation is performed, which decomposes a wave into four modes. A new two-step inversion process is developed, providing information on the modes first and secondly on the elastic parameters. Finally, we discuss reconstructions with plane wave excitation experiments for different tomographic setups and with different plane wave excitation frequencies, respectively.


title: Rigidity of projective symmetric manifolds of Picard number 1 associated to composition algebras

abstract: To each complex composition algebra $\mathbb{A}$, there associates a projective symmetric manifold $X(\mathbb{A})$ of Picard number one, which is just a smooth hyperplane section of the following varieties ${\rm Lag}(3,6), {\rm Gr}(3,6), \mathbb{S}_6, E_7/P_7.$ In this paper, it is proven that these varieties are rigid, namely for any smooth family of projective manifolds over a connected base, if one fiber is isomorphic to $X(\mathbb{A})$, then every fiber is isomorphic to $X(\mathbb{A})$.


title: Life-long Learning for Multilingual Neural Machine Translation with Knowledge Distillation

abstract: A common scenario of Multilingual Neural Machine Translation (MNMT) is that each translation task arrives in a sequential manner, and the training data of previous tasks is unavailable. In this scenario, the current methods suffer heavily from catastrophic forgetting (CF). To alleviate the CF, we investigate knowledge distillation based life-long learning methods. Specifically, in one-tomany scenario, we propose a multilingual distillation method to make the new model (student) jointly learn multilingual output from old model (teacher) and new task. In many-to one scenario, we find that direct distillation faces the extreme partial distillation problem, and we propose two different methods to address it: pseudo input distillation and reverse teacher distillation. The experimental results on twelve translation tasks show that the proposed methods can better consolidate the previous knowledge and sharply alleviate the CF.


title: Dist-PU: Positive-Unlabeled Learning from a Label Distribution Perspective

abstract: Positive-Unlabeled (PU) learning tries to learn binary classifiers from a few labeled positive examples with many unlabeled ones. Compared with ordinary semi-supervised learning, this task is much more challenging due to the absence of any known negative labels. While existing cost-sensitive-based methods have achieved state-of-the-art performances, they explicitly minimize the risk of classifying unlabeled data as negative samples, which might result in a negative-prediction preference of the classifier. To alleviate this issue, we resort to a label distribution perspective for PU learning in this paper. Noticing that the label distribution of unlabeled data is fixed when the class prior is known, it can be naturally used as learning supervision for the model. Motivated by this, we propose to pursue the label distribution consistency between predicted and ground-truth label distributions, which is formulated by aligning their expectations. Moreover, we further adopt the entropy minimization and Mixup regularization to avoid the trivial solution of the label distribution consistency on unlabeled data and mitigate the consequent confirmation bias. Experiments on three benchmark datasets validate the effectiveness of the proposed method.Code available at: https://github.com/Ray-rui/Dist-PU-Positive-Unlabeled-Learning-from-a-Label-Distribution-Perspective.


title: Diffusion Video Autoencoders: Toward Temporally Consistent Face Video Editing via Disentangled Video Encoding

abstract: Inspired by the impressive performance of recent face image editing methods, several studies have been naturally proposed to extend these methods to the face video editing task. One of the main challenges here is temporal consistency among edited frames, which is still unresolved. To this end, we propose a novel face video editing framework based on diffusion autoencoders that can successfully extract the decomposed features - for the first time as a face video editing model - of identity and motion from a given video. This modeling allows us to edit the video by simply manipulating the temporally invariant feature to the desired direction for the consistency. Another unique strength of our model is that, since our model is based on diffusion models, it can satisfy both reconstruction and edit capabilities at the same time, and is robust to corner cases in wild face videos (e.g. occluded faces) unlike the existing GAN-based methods.


title: Efficient electrical switching of exciton states for valley contrast manipulation in two-dimensional perovskite/monolayer WS2 heterostructures

abstract: The coupled spin-valley physics in transition metal dichalcogenides (TMDs) endows exciton states with valley degrees of freedom, making them promising for valleytronic applications in TMDs monolayers and/or their heterostructures. Although the valley dynamics of intralayer and interlayer excitons (IXs) have been studied, efficient manipulation of valley pseudospins by switching exciton states remains elusive. Therefore, it is of great importance to effectively tune the exciton states to obtain practical valley polarization switches for valley encoding. Here, we demonstrate the electrical switching of exciton emission with highly variable valley polarization mediated by charged IXs (CIXs) in the heterostructure of monolayer WS2 and two-dimensional (2D) perovskite, irrespective of lattice constants, the rotational and translational alignment. The formation of IXs is identified by photoluminescence excitation (PLE) and photoluminescence (PL) studies, which can be further electrically tuned from positively charged to negatively charged depending on the electrostatic doping level of monolayer WS2. Importantly, we demonstrate an electrical switching from type two to type one band alignment, manifesting as a change in the PL profile from CIX to charged intralayer exciton emission. Such transition induces a large contrast in valley polarization between the two exciton states, enabling the reversible electrically regulated valley polarization switch with a maximum ON/OFF ratio of 15.8. Our study provides an alternative mechanism to achieve valley polarization switching with great simplicity for valleytronics and the electrical control of exciton species and associated valley-contrasting physics would further facilitate the development of optoelectronic and valleytronic devices


title: MUS-CDB: Mixed Uncertainty Sampling with Class Distribution Balancing for Active Annotation in Aerial Object Detection

abstract: Recent aerial object detection models rely on a large amount of labeled training data, which requires unaffordable manual labeling costs in large aerial scenes with dense objects. Active learning effectively reduces the data labeling cost by selectively querying the informative and representative unlabelled samples. However, existing active learning methods are mainly with class-balanced settings and image-based querying for generic object detection tasks, which are less applicable to aerial object detection scenarios due to the long-tailed class distribution and dense small objects in aerial scenes. In this paper, we propose a novel active learning method for cost-effective aerial object detection. Specifically, both object-level and image-level informativeness are considered in the object selection to refrain from redundant and myopic querying. Besides, an easy-to-use class-balancing criterion is incorporated to favor the minority objects to alleviate the long-tailed class distribution problem in model training. We further devise a training loss to mine the latent knowledge in the unlabeled image regions. Extensive experiments are conducted on the DOTA-v1.0 and DOTA-v2.0 benchmarks to validate the effectiveness of the proposed method. For the ReDet, KLD, and SASM detectors on the DOTA-v2.0 dataset, the results show that our proposed MUS-CDB method can save nearly 75\% of the labeling cost while achieving comparable performance to other active learning methods in terms of mAP.Code is publicly online (https://github.com/ZJW700/MUS-CDB).


title: Interdisciplinary Discovery of Nanomaterials Based on Convolutional Neural Networks

abstract: The material science literature contains up-to-date and comprehensive scientific knowledge of materials. However, their content is unstructured and diverse, resulting in a significant gap in providing sufficient information for material design and synthesis. To this end, we used natural language processing (NLP) and computer vision (CV) techniques based on convolutional neural networks (CNN) to discover valuable experimental-based information about nanomaterials and synthesis methods in energy-material-related publications. Our first system, TextMaster, extracts opinions from texts and classifies them into challenges and opportunities, achieving 94% and 92% accuracy, respectively. Our second system, GraphMaster, realizes data extraction of tables and figures from publications with 98.3\% classification accuracy and 4.3% data extraction mean square error. Our results show that these systems could assess the suitability of materials for a certain application by evaluation of synthesis insights and case analysis with detailed references. This work offers a fresh perspective on mining knowledge from scientific literature, providing a wide swatch to accelerate nanomaterial research through CNN.


title: Iterative Gradient Ascent Pulse Engineering algorithm for quantum optimal control

abstract: Gradient ascent pulse engineering algorithm (GRAPE) is a typical method to solve quantum optimal control problems. However, it suffers from an exponential resource in computing the time evolution of quantum systems with the increasing number of qubits, which is a barrier for its application in large-qubit systems. To mitigate this issue, we propose an iterative GRAPE algorithm (iGRAPE) for preparing a desired quantum state, where the large-scale, resource-consuming optimization problem is decomposed into a set of lower-dimensional optimization subproblems by disentanglement operations. Consequently these subproblems can be solved in parallel with less computing resources. For physical platforms such as nuclear magnetic resonance (NMR) and superconducting quantum systems, we show that iGRAPE can provide up to 13-fold speedup over GRAPE when preparing desired quantum states in systems within 12 qubits. Using a four-qubit NMR system, we also experimentally verify the feasibility of the iGRAPE algorithm.


title: Dynamics of hybrid magnetic skyrmion driven by spin-orbit torque in ferrimagnets

abstract: Magnetic skyrmions are magnetic textures with topological protection, which are expected to be information carriers in future spintronic devices. In this work, we propose a scheme to implement hybrid magnetic skyrmions (HMS) in ferrimagnets, and we study theoretically and numerically the dynamics of the HMS driven by spin-orbit torque. It is revealed that the skyrmion Hall effect depends on the skyrmion helicity and the net angular momentum ({\delta}s), allowing the effective modulation of the HMS motion through tuning Dzyaloshinskii-Moriya interaction and {\delta}s. Thus, the Hall effect can be suppressed through selecting suitable materials to better control the HMS motion. Moreover, Magnus force for finite {\delta}s suppresses the transverse motion and enhances the longitudinal propagation, resulting in the HMS dynamics in ferrimagnets faster than that in antiferromagnets.


title: Linear Response Based Theories for Dzyaloshinskii-Moriya Interactions

abstract: We investigate abilities of various linear response based techniques for extracting parameters of antisymmetric Dzyaloshinskii-Moriya (DM) interactions from the first-principles electronic structure calculations. For these purposes, we further elaborate the idea of Sandratskii [Phys. Rev. B 96, 024450 (2017)], which states that $z$ component of the DM vector can be computed by retaining only spin-diagonal part of the spin-orbit (SO) coupling. We start our analysis with the magnetic force theorem (MFT), which relies on additional approximations resulting in the linear dependence of the exchange interactions on the response tensor, and compare it with the exact approach formulated in terms of the inverse response. We propose the downfolding procedure transferring the effect of these ligand spins into parameters of effective interactions between the localized spins. These techniques are applied for the series of CrCl$_3$ and CrI$_3$ based materials, including bulk, monolayer, bilayer, and three-layer systems. Particularly, we discuss how the DM interactions are induced by the inversion symmetry breaking at the surface or by the electric field. As long as the SO interaction of the heavy ligand atoms is taken into account in the calculations of the response tensor between the Cr $3d$ states, the MFT appears to be a good approximation for the DM interactions, being in contrast with the isotropic exchange, for which MFT and the exact method provide quite a different description. Finally, we discuss the relevance of our approach to other techniques ever proposed for calculations of the DM interactions. Particularly, we argue that the spin-current model for the DM interactions can be derived from the MFT based expression and is the relativistic counterpart of the double exchange, occurring in metallic systems in the limit of infinite exchange splitting.


title: An advanced YOLOv3 method for small object detection

abstract: Small object detection has important application value in the fields of autonomous driving and drone scene analysis. As one of the most advanced object detection algorithms, YOLOv3 suffers some challenges when detecting small objects, such as the problem of detection failure of small objects and occluded objects. To solve these problems, an improved YOLOv3 algorithm for small object detection is proposed. In the proposed method, the dilated convolutions mish (DCM) module is introduced into the backbone network of YOLOv3 to improve the feature expression ability by fusing the feature maps of different receptive fields. In the neck network of YOLOv3, the convolutional block attention module (CBAM) and multi-level fusion module are introduced to select the important information for small object detection in the shallow network, suppress the uncritical information, and use the fusion module to fuse the feature maps of different scales, so as to improve the detection accuracy of the algorithm. In addition, the Soft-NMS and Complete-IoU (CloU) strategies are applied to candidate frame screening, which improves the accuracy of the algorithm for the detection of occluded objects. The ablation experiment of the MS COCO2017 object detection task proves the effectiveness of several modules introduced in this paper for small object detection. The experimental results on the MS COCO2017, VOC2007, and VOC2012 datasets show that the Average Precision (AP) of this method is 16.5%, 8.71%, and 9.68% higher than that of YOLOv3, respectively.


title: Data Imputation with Iterative Graph Reconstruction

abstract: Effective data imputation demands rich latent ``structure" discovery capabilities from ``plain" tabular data. Recent advances in graph neural networks-based data imputation solutions show their strong structure learning potential by directly translating tabular data as bipartite graphs. However, due to a lack of relations between samples, those solutions treat all samples equally which is against one important observation: ``similar sample should give more information about missing values." This paper presents a novel Iterative graph Generation and Reconstruction framework for Missing data imputation(IGRM). Instead of treating all samples equally, we introduce the concept: ``friend networks" to represent different relations among samples. To generate an accurate friend network with missing data, an end-to-end friend network reconstruction solution is designed to allow for continuous friend network optimization during imputation learning. The representation of the optimized friend network, in turn, is used to further optimize the data imputation process with differentiated message passing. Experiment results on eight benchmark datasets show that IGRM yields 39.13% lower mean absolute error compared with nine baselines and 9.04% lower than the second-best. Our code is available at https://github.com/G-AILab/IGRM.


title: Asynchronous Cell-Free Massive MIMO With Rate-Splitting

abstract: In practical cell-free (CF) massive multiple-input multiple-output (MIMO) networks with distributed and low-cost access points, the asynchronous arrival of signals at the user equipments increases multi-user interference that degrades the system performance. Meanwhile, rate-splitting (RS), exploiting the transmission of both common and private messages, has demonstrated to offer considerable spectral efficiency (SE) improvements and its robustness against channel state information (CSI) imperfection. The signal performance of a CF massive MIMO system is first analyzed for asynchronous reception capturing the joint effects of propagation delays and oscillator phases of transceivers. Taking into account the imperfect CSI caused by asynchronous phases and pilot contamination, we derive novel and closed-form downlink SE expressions for characterizing the performance of both the RS-assisted and conventional non-RS-based systems adopting coherent and non-coherent data transmission schemes, respectively. Moreover, we formulate the design of robust precoding for the common messages as an optimization problem that maximizes the minimum individual SE of the common message. To address the non-convexity of the design problem, a bisection method is proposed to solve the problem optimally. Simulation results show that asynchronous reception indeed destroys both the orthogonality of the pilots and the coherent data transmission resulting in poor system performance. Besides, thanks to the uniform coverage properties of CF massive MIMO systems, RS with a simple low-complexity precoding for the common message obtained by the equal ratio sum of the private precoding is able to achieve substantial downlink sum SE gains, while the application of robust precoding to the common message is shown to be useful in some extreme cases, e.g., serious oscillator mismatch and unknown delay phase.


title: Topological Hall effect induced by classical large-spin background: $su(2)$ path-integral approach

abstract: The $su(2)$ coherent-state path-integral technique is employed to study lattice electrons strongly coupled to a quantum spin background. In the large-spin limit it is replaced with its classical counterpart that breaks the time-reversal symmetry. The fermions propagating through a classical large-spin texture may then exhibit the topological Hall effect which arises even for a zero scalar spin chirality of the underlying spin background.


title: Driven dust-charge fluctuation and chaotic ion dynamics in the plasma sheath and pre-sheath regions

abstract: Possible existence of chaotic oscillations in ion dynamics in the sheath and pre-sheath regions of a dusty plasma, induced by externally driven dust-charge fluctuation, is presented in this work. In a complex plasma, dust charge fluctuation occurs continuously with time due to the variation of electron and ions current flowing into the dust particles. In most of the works related to dust-charge fluctuation, theoretically it is assumed that the average dust-charge fluctuation follows the the plasma perturbation, while in reality, the dust-charge fluctuation is a semi-random phenomena, fluctuating about some average value. The very cause of dust-charge fluctuation in a dusty plasma also points to the fact that these fluctuations can be driven externally by changing electron and ion currents to the dust particles. With the help of a \emph{hybrid}-Particle in Cell-Monte Carlo (\emph{h}-PIC-MCC) code in this work, we use the plasma sheath as a candidate for driving the dust-charge fluctuation by periodically exposing the sheath-side wall to UV radiation, causing photoemission of electrons, which in turn drive the dust-charge fluctuation. We show that this \emph{driven} dust-charge fluctuation can induce a chaotic response in the ion dynamics in the sheath and the pre-sheath regions.


title: Mixer: DNN Watermarking using Image Mixup

abstract: It is crucial to protect the intellectual property rights of DNN models prior to their deployment. The DNN should perform two main tasks: its primary task and watermarking task. This paper proposes a lightweight, reliable, and secure DNN watermarking that attempts to establish strong ties between these two tasks. The samples triggering the watermarking task are generated using image Mixup either from training or testing samples. This means that there is an infinity of triggers not limited to the samples used to embed the watermark in the model at training. The extensive experiments on image classification models for different datasets as well as exposing them to a variety of attacks, show that the proposed watermarking provides protection with an adequate level of security and robustness.


title: Retrievability of information in quantum and realistic hidden variable theories

abstract: We propose a generalisation of the Leggett-Garg conditions for macrorealistic behaviour. Our proposal relies on relaxing the postulate of non-invasive measurability with that of retrievability of information. This leads to a strictly broader class of hidden variable theories than those having a macrorealistic description. Crucially, whereas quantum mechanical tests of macrorealism require one to optimise over all possible state updates, for retrievability of information it suffices to use the basic L\"uders state update, which is present in every quantum measurement. We show that in qubit systems the optimal retrieving protocols further relate to the fundamental precision limit of quantum theory given by Busch-Lahti-Werner error-disturbance uncertainty relations. We implement an optimal protocol using a photonic setting, and report an experimental violation of the proposed generalisation of macrorealism.


title: Energy of Decomposition and Entanglement Thermodynamics for $T^2$-deformation

abstract: We have presented a set of laws of entanglement thermodynamics for $T\bar{T}$-deformed CFTs and in general for $T^2$-deformed field theories. In particular, the first law of this set, states that although we are dealing with a non-trivial deformed theory, the change of the entanglement entropy is simply translated to the change of the bending energy of the entangling surface. We interpret this energy as the energy of decomposition. Probing the whole spectrum of the deformed theory, a second law also results, which suggests an inequality that the first law is derived from its saturation limit. We explain that this second law guarantees the preservation of the unitarity bound. The thermodynamical form of these laws requires us to define the temperature of deformation and express its characteristics, which is the subject of the third law. We use a holographic approach in this analysis and in each case, we consider the generalization to higher dimensions.


title: Spectro-spatial evolution of the CMB III: transfer functions, power spectra and Fisher forecasts

abstract: In this paper, we provide the first computations for the distortion transfer functions of the cosmic microwave background (CMB) in the perturbed Universe, following up on paper I and II in this series. We illustrate the physical effects inherent to the solutions, discussing and demonstrating various limiting cases for the perturbed photon spectrum. We clarify the relationship between distortion transfer functions and the photon spectrum itself, providing the machinery that can then compute constrainable CMB signal power spectra including spectral distortions for single energy injection and decaying particle scenarios. Our results show that the $\mu \times T$ and $y\times T$ power spectra reach levels that can be constrained with current and future CMB experiments without violating existing constraints from COBE/FIRAS. The amplitude of the cross-correlation signal directly depends on the average distortion level, therefore establishing a novel fundamental link between the state of the primordial plasma from redshift $10^3 \lesssim z\lesssim 3\times 10^6$ and the frequency-dependent CMB sky. This provides a new method to constrain average early energy release using CMB imagers. As an example we derive constraints on single energy release and decaying particle scenarios. This shows that LiteBIRD may be able to improve the energy release limits of COBE/FIRAS by up to a factor of $\simeq 2.5$, while PICO could tighten the constraints by more than one order of magnitude. The signals considered here could furthermore provide a significant challenge to reaching cosmic variance-limited constraints on primordial non-Gaussianity from distortion anisotropy studies. Our work further highlights the immense potential for a synergistic spectroscopic approach to future CMB measurements and analyses.


title: Testing axion couplings to leptons in $Z$ decays at future $e^+e^-$ colliders

abstract: We study the possibility of probing the existence of a light, invisible, axion-like particle (ALP) $a$ in leptonic decays of the $Z$ boson at the proposed high-energy $e^+e^-$ colliders, CEPC and FCC-ee. Both projects plan to run at the $Z$ pole, collecting $10^{12}-10^{13}$ visible $Z$ decays. We show that, searching for the emission of an invisible ALP from leptons in leptonic $Z$ decays, this enormous statistics could allow to constrain the ALP couplings to leptons at an unprecedented level for laboratory experiments. In particular, within a Monte Carlo simulation framework, we estimate that CEPC/FCC-ee can be sensitive to the coupling of an invisible ALP to muons up to $f_a/C^A_{\mu\mu} \approx 1$ TeV - where $f_a$ is the ALP decay constant - corresponding to ${\rm BR}(Z \to \mu^+\mu^-\,a) \approx 3\times 10^{-11}$.


title: Transonic limit of traveling waves of the Euler-Korteweg system

abstract: We prove the convergence in the transonic limit of two-dimensional traveling waves of the E-K system, up to rescaling, toward a ground state of the Kadomtsev-Petviashvili Equation. Similarly, in dimension one we prove the convergence in the transonic limit of solitons toward the soliton of the Korteweg de Vries equation.


title: The Lamb shift in the BTZ spacetime

abstract: We study the Lamb shift of a two-level atom arising from its coupling to the conformal massless scalar field, which satisfies the Dirichlet boundary conditions, in the Hartle-Hawking vacuum in the BTZ spacetime, and find that the Lamb shift in the BTZ spacetime is structurally similar to that of a uniformly accelerated atom near a perfectly reflecting boundary in (2+1)-dimensional flat spacetime. Our results show that the Lamb shift is suppressed in the BTZ spacetime as compared to that in the flat spacetime as long as the transition wavelength of the atom is much larger than $AdS$ radius of the BTZ spacetime while it can be either suppressed or enhanced if the transition wavelength of the atom is much less than $AdS$ radius. In contrast, the Lamb shift is always suppressed very close to the horizon of the BTZ spacetime and remarkably it reduces to that in the flat spacetime as the horizon is approached although the local temperature blows up there.


title: New Quantum codes from constacyclic codes over a general non-chain ring

abstract: Let $q$ be a prime power and let $\mathcal{R}=\mathbb{F}_{q}[u_1,u_2, \cdots, u_k]/\langle f_i(u_i),u_iu_j-u_ju_i\rangle$ be a finite non-chain ring, where $f_i(u_i), 1\leq i \leq k$ are polynomials, not all linear, which split into distinct linear factors over $\mathbb{F}_{q}$. We characterize constacyclic codes over the ring $\mathcal{R}$ and study quantum codes from these. As an application, some new and better quantum codes, as compared to the best known codes, are obtained. We also prove that the choice of the polynomials $f_i(u_i),$ $1 \leq i \leq k$ is irrelevant while constructing quantum codes from constacyclic codes over $\mathcal{R}$, it depends only on their degrees. It is shown that there always exists Quantum MDS code $[[n,n-2,2]]_q$ for any $n$ with $\gcd (n,q)\neq 1.$


title: A Robust Image Steganographic Scheme against General Scaling Attacks

abstract: Conventional covert image communication is assumed to transmit the message, in the securest way possible for a given payload, over lossless channels, and the associated steganographic schemes are generally vulnerable to active attacks, e.g., JPEG re-compression, scaling, as seen on social networks. Although considerable progress has been made on robust steganography against JPEG re-compression, there exist few steganographic schemes capable of resisting to scaling attacks due to the tricky inverse interpolations involved in algorithm design. To tackle this issue, a framework for robust image steganography resisting to scaling with general interpolations either in standard form with fixed interpolation block, or pre-filtering based anti-aliasing implementation with variable block, is proposed in this paper. And the task of robust steganography can be formulated as one of constrained integer programming aiming at perfectly recover the secret message from stego image while minimizing the difference between cover and stego images. By introducing a metric - the degree of pixel involvement (dPI) to identify the modifiable pixels in cover image, the optimization problem above could be effectively solved using branch and bound algorithm (B\&B). In addition, a customized distortion function for scaled stego images is adopted to further boost the security performance. Extensive experiments are carried out which demonstrate that the proposed scheme could not only outperform the prior art in terms of security by a clear margin, but also be applicable to resisting the scaling attacks with various interpolation techniques at arbitrary scaling factors (SFs).


title: Hierarchical Decomposition and Analysis for Generalized Planning

abstract: This paper presents new methods for analyzing and evaluating generalized plans that can solve broad classes of related planning problems. Although synthesis and learning of generalized plans has been a longstanding goal in AI, it remains challenging due to fundamental gaps in methods for analyzing the scope and utility of a given generalized plan. This paper addresses these gaps by developing a new conceptual framework along with proof techniques and algorithmic processes for assessing termination and goal-reachability related properties of generalized plans. We build upon classic results from graph theory to decompose generalized plans into smaller components that are then used to derive hierarchical termination arguments. These methods can be used to determine the utility of a given generalized plan, as well as to guide the synthesis and learning processes for generalized plans. We present theoretical as well as empirical results illustrating the scope of this new approach. Our analysis shows that this approach significantly extends the class of generalized plans that can be assessed automatically, thereby reducing barriers in the synthesis and learning of reliable generalized plans.


title: Ideal MHD. Part III: Inverse scattering of Alfv\'en waves in three dimensional ideal magnetohydrodynamics

abstract: The purpose of this paper is to solve the inverse scattering problem of nonlinear Alfv\'en waves governed by the three dimensional ideal incompressible MHD system. Bridging together geometric methods and weighted energy estimates, we establish a couple of scattering isomorphisms to substantially strengthen our previous rigidity results. This answer is consistent with the physical intuition that Alfv\'en waves behave exactly in the same manner as their scattering fields detected by the faraway observers. The novelty of the present work is twofold: for one thing, the relationship between Alfv\'en waves emanating from the plasma and their scattering fields at infinities is explored to the best; for another thing, the null structure inherent in MHD equations is thoroughly examined, especially when we estimate the pressure term.


title: Resilient distributed resource allocation algorithm under false data injection attacks

abstract: A resilient distributed algorithm is proposed to solve the distributed resource allocation problem of a first-order nonlinear multi-agent system who is subject to false data injection (FDI) attacks. An intelligent attacker injects false data into agents' actuators and sensors such that agents execute the algorithm according to the compromised control inputs and interactive information. The goal of the attacker is to make the multi-agent system to be unstable and to cause the deviance of agents' decisions from the optimal resource allocation. At first, we analyze the robustness of a distributed resource allocation algorithm under FDI attacks. Then, the unknown nonlinear term and the false data injected in agents are considered as extended states which can be estimated by extended state observers. The estimation was used in the feedback control to suppress the effect of the FDI attacks. A resilient distributed resource allocation algorithm based on the extended state observer is proposed to ensure that it can converge to the optimal allocation without requiring any information about the nature of the attacker. An example is given to illustrate the results.


title: Phase behaviour of fluids in undulated nanopores

abstract: The geometry of walls forming a narrow pore may qualitatively affect the phase behaviour of the confined fluid. Specifically, the nature of condensation in nanopores formed of sinusoidally-shaped walls (with amplitude $A$ and period $P$) is governed by the wall mean separation $L$ as follows. For $L>L_t$, where $L_t$ increases with $A$, the pores exhibit standard capillary condensation similar to planar slits. In contrast, for $L<L_t$, the condensation occurs in two steps, such that the fluid first condenses locally via bridging transition connecting adjacent crests of the walls, before it condenses globally. For the marginal value of $L=L_t$, all the three phases (gas-like, bridge and liquid-like) may coexist. We show that the locations of the phase transitions can be described using geometric arguments leading to modified Kelvin equations. However, for completely wet walls, to which we focus on, the phase boundaries are shifted significantly due to the presence of wetting layers. In order to take this into account, mesoscopic corrections to the macroscopic theory are proposed. The resulting predictions are shown to be in a very good agreement with a density functional theory even for molecularly narrow pores. The limits of stability of the bridge phase, controlled by the pore geometry, is also discussed in some detail.


title: Political Honeymoon Effect on Social Media: Characterizing Social Media Reaction to the Changes of Prime Minister in Japan

abstract: New leaders in democratic countries typically enjoy high approval ratings immediately after taking office. This phenomenon is called the honeymoon effect and is regarded as a significant political phenomenon; however, its mechanism remains underexplored. Therefore, this study examines how social media users respond to changes in political leadership in order to better understand the honeymoon effect in politics. In particular, we constructed a 15-year Twitter dataset on eight change timings of Japanese prime ministers consisting of 6.6M tweets and analyzed them in terms of sentiments, topics, and users. We found that, while not always, social media tend to show a honeymoon effect at the change timings of prime minister. The study also revealed that sentiment about prime ministers differed by topic, indicating that public expectations vary from one prime minister to another. Furthermore, the user base was largely replaced before and after the change in the prime minister, and their sentiment was also significantly different. The implications of this study would be beneficial for administrative management.


title: Tomography of Feshbach Resonance States

abstract: Feshbach resonances are fundamental to interparticle interactions and become particularly important in cold collisions with atoms, ions, and molecules. Here we present the detection of Feshbach resonances in a benchmark system for strongly interacting and highly anisotropic collisions -- molecular hydrogen ions colliding with noble gas atoms. The collisions are launched by cold Penning ionization exclusively populating Feshbach resonances that span both short- and long-range parts of the interaction potential. We resolved all final molecular channels in a tomographic manner using ion-electron coincidence detection. We demonstrate the non-statistical nature of the final state distribution. By performing quantum scattering calculations on ab initio potential energy surfaces, we show that the isolation of the Feshbach resonance pathways reveals their distinctive fingerprints in the collision outcome.


title: Searches for Mass-Asymmetric Compact Binary Coalescence Events using Neural Networks in the LIGO/Virgo Third Observation Period

abstract: We present the results on the search for the coalescence of compact binary mergers with very asymmetric mass configurations using convolutional neural networks and the LIGO/Virgo data for the O3 observation period. Two-dimensional images in time and frequency are used as input. Masses in the range between 0.01 Msun and 20 Msun are considered. We explore neural networks trained with input information from a single interferometer, pairs of interferometers, or all three interferometers together, indicating that the use of the maximum information available leads to an improved performance. A scan over the O3 data set using the convolutional neural networks for detection results into no significant excess from an only-noise hypothesis. The results are translated into 90% confidence level upper limits on the merger rate as a function of the mass parameters of the binary system.


title: A Ring Topology-based Communication-Efficient Scheme for D2D Wireless Federated Learning

abstract: Federated learning (FL) is an emerging technique aiming at improving communication efficiency in distributed networks, where many clients often request to transmit their calculated parameters to an FL server simultaneously. However, in wireless networks, the above mechanism may lead to prolonged transmission time due to unreliable wireless transmission and limited bandwidth. This paper proposes a communication scheme to minimize the uplink transmission time for FL in wireless networks. The proposed approach consists of two major elements, namely a modified Ring All-reduce (MRAR) architecture that integrates D2D wireless communications to facilitate the communication process in FL, and a modified Ant Colony Optimization algorithm to identify the optimal composition of the MRAR architecture. Numerical results show that our proposed approach is robust and can significantly reduce the transmission time compared to the conventional star topology. Notably, the reduction in uplink transmission time compared to baseline policies can be substantial in scenarios applicable to large-scale FL, where client devices are densely distributed.


title: 99.92%-Fidelity CNOT Gates in Solids by Filtering Time-dependent and Quantum Noises

abstract: Inevitable interactions with the reservoir largely degrade the performance of non-local gates, which hinders practical quantum computation from coming into existence. Here we experimentally demonstrate a 99.920(7)\%-fidelity controlled-NOT gate by suppressing the complicated noise in a solid-state spin system at room temperature. We found that the fidelity limited at 99\% in previous works results from only considering static noise, and thus, in this work, time-dependent noise and quantum noise are also included. All noises are dynamically corrected by an exquisitely designed shaped pulse, giving the resulting error below $10^{-4}$. The residual gate error is mainly originated from the longitudinal relaxation and the waveform distortion that can both be further reduced technically. Our noise-resistant method is universal, and will benefit other solid-state spin systems.


title: Convection and Clouds under Different Planetary Gravities Simulated by a Small-domain Cloud-resolving Model

abstract: In this study, we employ a cloud-resolving model (CRM) to investigate how gravity influences convection and clouds in a small-domain (96 km by 96 km) radiative-convective equilibrium (RCE). Our experiments are performed with a horizontal grid spacing of 1 km, which can resolve large (> 1 km$^2$) convective cells. We find that under a given stellar flux, sea surface temperature increases with decreasing gravity. This is because a lower-gravity planet has larger water vapor content and more clouds, resulting in a larger clear-sky greenhouse effect and a stronger cloud warming effect in the small domain. By increasing stellar flux under different gravity values, we find that the convection shifts from a quasi-steady state to an oscillatory state. In the oscillatory state, there are convection cycles with a period of several days, comprised of a short wet phase with intense surface precipitation and a dry phase with no surface precipitation. When convection shifts to the oscillatory state, water vapor content and high-level cloud fraction increase substantially, resulting in rapid warming. After the transition to the oscillatory state, the cloud net positive radiative effect decreases with increasing stellar flux, which indicates a stabilizing climate effect. In the quasi-steady state, the atmospheric absorption features of CO$_2$ are more detectable on lower-gravity planets because of their larger atmospheric heights. While in the oscillatory state, the high-level clouds mute almost all the absorption features, making the atmospheric components hard to be characterized.


title: A substructural logic for quantum measurements

abstract: This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic structures include a binary relation that expresses orthogonality between elements and enables the definition of an operation that generalizes the projection operation in Hilbert spaces. The language has a unitary connective, a sort of negation, and two dual binary connectives that are neither commutative nor associative, sorts of conjunction and disjunction. This provides a logic for quantum measurements whose proof theory is aesthetically pleasing.


title: The transition from non-convex region to hyperbolic region and vice versa in the Beryllium-Graphene-Beryllium three-layer structure: Plasmonics

abstract: Meta-materials are one of the important discussions of condensed matters which have unusual optical properties. They can be used to regulate light and wave propagation. Natural hyperbolic and non-convex plasmons are the characteristics of meta-materials that are observed in these materials. In this paper, we have studied Beryllium-Graphene-Beryllium (BeCBe) three-layer optical properties and have shown this material has hyperbolic plasmon in the THz frequency region and non-convex plasmons. We have shown most of the plasmon energy propagation along the $q_y$ axis for the hyperbolic region. Also, it can be seen that there is an elliptic case only in 1029.71 THz frequency. The starting point of the hyperbolic region occurs at the frequency of 289.31 THz, which is the first and the narrowest hyperbolic window. Due to the existence of far more free electrons in the BeCBe plasmonic material, the presence of the visible region in the third hyperbolic window causes a high plasma frequency.


title: BALPA: A Balanced Primal-Dual Algorithm for Nonsmooth Optimization with Application to Distributed Optimization

abstract: In this paper, we propose a novel primal-dual proximal splitting algorithm (PD-PSA), named BALPA, for the composite optimization problem with equality constraints, where the loss function consists of a smooth term and a nonsmooth term composed with a linear mapping. In BALPA, the dual update is designed as a proximal point for a time-varying quadratic function, which balances the implementation of primal and dual update and retains the proximity-induced feature of classic PD-PSAs. In addition, by this balance, BALPA eliminates the inefficiency of classic PD-PSAs for composite optimization problems in which the Euclidean norm of the linear mapping or the equality constraint mapping is large. Therefore, BALPA not only inherits the advantages of simple structure and easy implementation of classic PD-PSAs but also ensures a fast convergence when these norms are large. Moreover, we propose a stochastic version of BALPA (S-BALPA) and apply the developed BALPA to distributed optimization to devise a new distributed optimization algorithm. Furthermore, a comprehensive convergence analysis for BALPA and S-BALPA is conducted, respectively. Finally, numerical experiments demonstrate the efficiency of the proposed algorithms.


title: Robust Simulation of Poisson's Equation in a P-N Diode Down to 1 {\mu}K

abstract: Semiconductor devices are notoriously difficult to simulate at deep-cryogenic temperatures. The lowest temperature that can be simulated today in commercial TCAD is around 4.2 K, possibly 100 mK, while most experimental quantum science is performed at 10 mK or lower. Besides the challenges in transport solvers, one of the main bottlenecks is the non-convergence in the electrostatics due to the extreme sensitivity to small variations in the potential. This article proposes to reformulate Poisson's equation to take out this extreme sensitivity and improve convergence. We solve the reformulated Poisson equation for a p-n diode using an iterative Newton-Raphson scheme, demonstrating convergence for the first time down to a record low temperature of one microkelvin using the standard IEEE-754 arithmetic with double precision. We plot the potential diagrams and resolve the rapid variation of the carrier densities near the edges of the depletion layer. The main Python functions are presented in the Appendix.


title: Pretrained Diffusion Models for Unified Human Motion Synthesis

abstract: Generative modeling of human motion has broad applications in computer animation, virtual reality, and robotics. Conventional approaches develop separate models for different motion synthesis tasks, and typically use a model of a small size to avoid overfitting the scarce data available in each setting. It remains an open question whether developing a single unified model is feasible, which may 1) benefit the acquirement of novel skills by combining skills learned from multiple tasks, and 2) help in increasing the model capacity without overfitting by combining multiple data sources. Unification is challenging because 1) it involves diverse control signals as well as targets of varying granularity, and 2) motion datasets may use different skeletons and default poses. In this paper, we present MoFusion, a framework for unified motion synthesis. MoFusion employs a Transformer backbone to ease the inclusion of diverse control signals via cross attention, and pretrains the backbone as a diffusion model to support multi-granularity synthesis ranging from motion completion of a body part to whole-body motion generation. It uses a learnable adapter to accommodate the differences between the default skeletons used by the pretraining and the fine-tuning data. Empirical results show that pretraining is vital for scaling the model size without overfitting, and demonstrate MoFusion's potential in various tasks, e.g., text-to-motion, motion completion, and zero-shot mixing of multiple control signals. Project page: \url{https://ofa-sys.github.io/MoFusion/}.


title: Partial wave effects in the heavy quarkonium radiative electromagnetic decays

abstract: In a previous paper \cite{Bc}, it was pointed out that the wave functions of all particles are not pure waves, besides the main partial waves, they all contain {other partial waves}. It is very interesting to know what role these different partial waves play in particle transitions. Therefore, by using the Bethe-Salpeter equation method, we study the radiative electromagnetic decays $\psi\rightarrow\gamma\chi_{_{cJ}}$ and $\Upsilon\rightarrow\gamma\chi_{_{bJ}}$ ($J=0,1,2$). We find that for the $S$ and $P$ wave dominated states, like the $\psi(2S)$, $\Upsilon(2S)$, $\chi_{_{cJ}}(1P)$, and $\chi_{_{bJ}}(1P)$ etc., the dominant $S$ and $P$ waves provide main and nonrelativistic contrition to the decays; other partial waves mainly contribute to the relativistic correction. For the states like the $\psi(1D)$, $\Upsilon(2D)$, $\chi_{c2}(1F)$, and $\chi_{b2}(1F)$ etc., they are the $S-P-D$ mixing state dominated by $D$ wave or the $P-D-F$ mixing state dominated by $F$ wave. Large decay widths are found in the transitions $\psi(2D)\to \chi_{c2}(1F)$, $\Upsilon(1D)\to \chi_{bJ}(1P)$, and $\Upsilon(2D)\to \chi_{bJ}(2P)$ etc., which may be helpful to study the missing states $\chi_{c2}(1F)$, $\Upsilon(1D)$, and $\Upsilon(2D)$.


title: Interlayer exciton polaritons in homobilayers of transition metal dichalcogenides

abstract: Transition metal dichalcogenides integrated within a high-quality microcavity support well-defined exciton polaritons. While the role of intralayer excitons in 2D polaritonics is well studied, interlayer excitons have been largely ignored due to their weak oscillator strength. Using a microscopic and material-realistic Wannier-Hopfield model, we demonstrate that MoS$_2$ homobilayers in a Fabry-Perot cavity support polaritons that exhibit a large interlayer exciton contribution, while remaining visible in linear optical spectra. Interestingly, with suitable tuning of the cavity length, the hybridization between intra- and interlayer excitons can be 'unmixed' due to the interaction with photons. We predict formation of polaritons where > 90% of the total excitonic contribution is stemming from the interlayer exciton. Furthermore, we explore the conditions on the tunneling strength and exciton energy landscape to push this to even 100%. Despite the extremely weak oscillator strength of the underlying interlayer exciton, optical energy can be effectively fed into the polaritons once the critical coupling condition of balanced radiative and scattering decay channels is met. These findings have a wide relevance for fields ranging from nonlinear optoelectronic devices to Bose-Einstein condensation.


title: Tunable thermal conductivity of ferroelectric P(VDF-TrFE) nanofibers via molecular bond modulation

abstract: The dipoles in ferroelectric copolymer P(VDF-TrFE) can be driven by electric field, introducing phonon transport modulations through polarizing molecular chains. The thermal conductivity in single 75/25 P(VDF-TrFE) nanofibers is found to increase with electric field related phonon renormalization, resulted from change in vibrational assignment excited by polarization process. This is evidenced by a direct change of bond energy and bond length in 75/25 P(VDF-TrFE) nanofibers from Raman characterization under polarization electric field. The experimental results provide further intuitive evidences that the size of ferroelectric polymers could directly affect the ferroelectricity from the size-dependent thermal transport measurement.


title: Formation of trade networks by economies of scale and product differentiation

abstract: Understanding the structure and formation of networks is a central topic in complexity science. Economic networks are formed by decisions of individual agents and thus not properly described by established random graph models. In this article, we establish a model for the emergence of trade networks that is based on rational decisions of individual agents. The model incorporates key drivers for the emergence of trade, comparative advantage and economic scale effects, but also the heterogeneity of agents and the transportation or transaction costs. Numerical simulations show three macroscopically different regimes of the emerging trade networks. Depending on the specific transportation costs and the heterogeneity of individual preferences, we find centralized production with a star-like trade network, distributed production with all-to-all trading or local production and no trade. Using methods from statistical mechanics, we provide an analytic theory of the transitions between these regimes and estimates for critical parameters values.


title: VISEM-Tracking, a human spermatozoa tracking dataset

abstract: A manual assessment of sperm motility requires microscopy observation, which is challenging due to the fast-moving spermatozoa in the field of view. To obtain correct results, manual evaluation requires extensive training. Therefore, computer-assisted sperm analysis (CASA) has become increasingly used in clinics. Despite this, more data is needed to train supervised machine learning approaches in order to improve accuracy and reliability in the assessment of sperm motility and kinematics. In this regard, we provide a dataset called VISEM-Tracking with 20 video recordings of 30 seconds (comprising 29,196 frames) of wet sperm preparations with manually annotated bounding-box coordinates and a set of sperm characteristics analyzed by experts in the domain. In addition to the annotated data, we provide unlabeled video clips for easy-to-use access and analysis of the data via methods such as self- or unsupervised learning. As part of this paper, we present baseline sperm detection performances using the YOLOv5 deep learning (DL) model trained on the VISEM-Tracking dataset. As a result, we show that the dataset can be used to train complex DL models to analyze spermatozoa.


title: Kreisel-L\'evy-type theorems for Kripke-Platek and other set theories

abstract: We prove that, over Kripke-Platek set theory with infinity (KP), transfinite induction along the ordinal ${\epsilon}_{\Omega+1}$ is equivalent to the schema asserting the soundness of KP, where $\Omega$ denotes the supremum of all ordinals in the universe; this is analogous to the result that, over Peano arithmetic (PA), transfinite induction along ${\epsilon}_0$ is equivalent to the schema asserting the soundness of PA. In the proof we need to code infinitary proofs within KP, and it is done by using partial recursive set functions. This result can be generalised to KP + $\Gamma$-separation + $\Gamma$-collection where $\Gamma$ is any given syntactic complexity, but not to ZF.


title: Effect of local Coulomb interaction on Majorana corner modes: weak and strong correlation limits

abstract: Here we present an analysis of the evolution of Majorana corner modes realizing in a higher-order topological superconductor (HOTSC) on a square lattice under the influence of local Coulomb repulsion. The HOTSC spectral properties were considered in two regimes: when the intensities of many-body interactions are either weak or strong. The weak regime was studied using the mean-field approximation with self-consistent solutions carried out both in the uniform case and taking into account of the boundary of the finite square-shaped system. It is shown that in the uniform case the topologically nontrivial phase on the phase diagram is widened by the Coulomb repulsion. The boundary effect, resulting in an inhomogeneous spatial distribution of the correlators, leads to the appearance of the crossover from the symmetric spin-independent solution to the spin-dependent one characterized by a spontaneously broken symmetry. In the former the corner states have energies that are determined by the overlap of the excitation wave functions localized at the different corners. In the latter the corner excitation energy is defined by the Coulomb repulsion intensity with a quadratic law. The crossover is a finite size effect, i.e. the larger the system the lesser the critical value of the Coulomb repulsion. In the strong repulsion regime we derive the effective HOTSC Hamiltonian in the atomic representation and found a rich variety of interactions induced by virtual processes between the lower and upper Hubbard subbands. It is shown that Majorana corner modes still can be realized in the limit of the infinite repulsion. Although the boundaries of the topologically nontrivial phase are strongly renormalized by Hubbard corrections.


title: SSDA3D: Semi-supervised Domain Adaptation for 3D Object Detection from Point Cloud

abstract: LiDAR-based 3D object detection is an indispensable task in advanced autonomous driving systems. Though impressive detection results have been achieved by superior 3D detectors, they suffer from significant performance degeneration when facing unseen domains, such as different LiDAR configurations, different cities, and weather conditions. The mainstream approaches tend to solve these challenges by leveraging unsupervised domain adaptation (UDA) techniques. However, these UDA solutions just yield unsatisfactory 3D detection results when there is a severe domain shift, e.g., from Waymo (64-beam) to nuScenes (32-beam). To address this, we present a novel Semi-Supervised Domain Adaptation method for 3D object detection (SSDA3D), where only a few labeled target data is available, yet can significantly improve the adaptation performance. In particular, our SSDA3D includes an Inter-domain Adaptation stage and an Intra-domain Generalization stage. In the first stage, an Inter-domain Point-CutMix module is presented to efficiently align the point cloud distribution across domains. The Point-CutMix generates mixed samples of an intermediate domain, thus encouraging to learn domain-invariant knowledge. Then, in the second stage, we further enhance the model for better generalization on the unlabeled target set. This is achieved by exploring Intra-domain Point-MixUp in semi-supervised learning, which essentially regularizes the pseudo label distribution. Experiments from Waymo to nuScenes show that, with only 10% labeled target data, our SSDA3D can surpass the fully-supervised oracle model with 100% target label. Our code is available at https://github.com/yinjunbo/SSDA3D.